![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/issac/issac2019.bht:"
@inproceedings{DBLP:conf/issac/Aoki19, author = {Satoshi Aoki}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Algebraic Methods in the Design of Experiments}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {15--20}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326278}, doi = {10.1145/3326229.3326278}, timestamp = {Wed, 31 Jan 2024 21:56:28 +0100}, biburl = {https://dblp.org/rec/conf/issac/Aoki19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/BarkatouCE19, author = {Moulay A. Barkatou and Thomas Cluzeau and Ali El{-}Hajj}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Simple Forms and Rational Solutions of Pseudo-Linear Systems}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {26--33}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326246}, doi = {10.1145/3326229.3326246}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/BarkatouCE19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/BazanH19, author = {Erick Rodr{\'{\i}}guez Bazan and Evelyne Hubert}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Symmetry Preserving Interpolation}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {34--41}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326247}, doi = {10.1145/3326229.3326247}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/BazanH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/BenderFT19, author = {Mat{\'{\i}}as R. Bender and Jean{-}Charles Faug{\`{e}}re and Elias P. Tsigaridas}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Gr{\"{o}}bner Basis over Semigroup Algebras: Algorithms and Applications for Sparse Polynomial Systems}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {42--49}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326248}, doi = {10.1145/3326229.3326248}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/BenderFT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Bigatti19, author = {Anna Maria Bigatti}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Linear Algebra for Zero-Dimensional Ideals}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {21--25}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326279}, doi = {10.1145/3326229.3326279}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/Bigatti19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/BigattiHS19, author = {Anna Maria Bigatti and J{\'{o}}nathan Heras and Eduardo S{\'{a}}enz{-}de{-}Cabez{\'{o}}n}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Monomial Resolutions for Efficient Computation of Simplicial Homology}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {50--57}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326266}, doi = {10.1145/3326229.3326266}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/BigattiHS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/BirmpilisLS19, author = {Stavros Birmpilis and George Labahn and Arne Storjohann}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Deterministic Reduction of Integer Nonsingular Linear System Solving to Matrix Multiplication}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {58--65}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326263}, doi = {10.1145/3326229.3326263}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/BirmpilisLS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/BrehardJL19, author = {Florent Br{\'{e}}hard and Mioara Joldes and Jean{-}Bernard Lasserre}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {On Moment Problems with Holonomic Functions}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {66--73}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326258}, doi = {10.1145/3326229.3326258}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/BrehardJL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/BurrLL19, author = {Michael A. Burr and Kisun Lee and Anton Leykin}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Effective Certification of Approximate Solutions to Systems of Equations Involving Analytic Functions}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {267--274}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326235}, doi = {10.1145/3326229.3326235}, timestamp = {Fri, 10 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/BurrLL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/CarusoVV19, author = {Xavier Caruso and Tristan Vaccon and Thibaut Verron}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Gr{\"{o}}bner Bases Over Tate Algebras}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {74--81}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326257}, doi = {10.1145/3326229.3326257}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/CarusoVV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Chen19, author = {William Y. C. Chen}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {The Art of Telescoping}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {1--3}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326280}, doi = {10.1145/3326229.3326280}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/Chen19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Chen19a, author = {Shaoshi Chen}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {A Reduction Approach to Creative Telescoping}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {11--14}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326277}, doi = {10.1145/3326229.3326277}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/Chen19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/ChenDZ19, author = {Shaoshi Chen and Lixin Du and Chaochao Zhu}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Existence Problem of Telescopers for Rational Functions in Three Variables: the Mixed Cases}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {82--89}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326231}, doi = {10.1145/3326229.3326231}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/ChenDZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/ChengW19, author = {Jin{-}San Cheng and Junyi Wen}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Certified Numerical Real Root Isolation for Bivariate Polynomial Systems}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {90--97}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326237}, doi = {10.1145/3326229.3326237}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/ChengW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Combot19, author = {Thierry Combot}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Symbolic Integration of Hyperexponential 1-Forms}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {98--105}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326245}, doi = {10.1145/3326229.3326245}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/Combot19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/CovanovMMW19, author = {Svyatoslav Covanov and Davood Mohajerani and Marc Moreno Maza and Lin{-}Xiao Wang}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Big Prime Field {FFT} on Multi-core Processors}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {106--113}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326273}, doi = {10.1145/3326229.3326273}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/CovanovMMW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/CuckerET19, author = {Felipe Cucker and Alperen Ali Erg{\"{u}}r and Josu{\'{e}} Tonelli{-}Cueto}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Plantinga-Vegter Algorithm takes Average Polynomial Time}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {114--121}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326252}, doi = {10.1145/3326229.3326252}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/CuckerET19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/DumasHPR19, author = {Jean{-}Guillaume Dumas and Joris van der Hoeven and Cl{\'{e}}ment Pernet and Daniel S. Roche}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {{LU} Factorization with Errors}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {131--138}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326244}, doi = {10.1145/3326229.3326244}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/DumasHPR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/DwivediM019, author = {Ashish Dwivedi and Rajat Mittal and Nitin Saxena}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Efficiently Factoring Polynomials Modulo p4}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {139--146}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326233}, doi = {10.1145/3326229.3326233}, timestamp = {Wed, 26 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/DwivediM019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Eberl19, author = {Manuel Eberl}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Verified Real Asymptotics in Isabelle/HOL}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {147--154}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326240}, doi = {10.1145/3326229.3326240}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/Eberl19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/FeoRR19, author = {Luca De Feo and Hugues Randriam and {\'{E}}douard Rousseau}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Standard Lattices of Compatibly Embedded Finite Fields}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {122--130}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326251}, doi = {10.1145/3326229.3326251}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/FeoRR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/GaarWKM19, author = {Elisabeth Gaar and Angelika Wiegele and Daniel Krenn and Susan Margulies}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {An Optimization-Based Sum-of-Squares Approach to Vizing's Conjecture}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {155--162}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326239}, doi = {10.1145/3326229.3326239}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/GaarWKM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/GerdtR19, author = {Vladimir P. Gerdt and Daniel Robertz}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Algorithmic Approach to Strong Consistency Analysis of Finite Difference Approximations to {PDE} Systems}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {163--170}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326255}, doi = {10.1145/3326229.3326255}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/GerdtR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/GiesbrechtHLZ19, author = {Mark Giesbrecht and Hui Huang and George Labahn and Eugene V. Zima}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Efficient Integer-Linear Decomposition of Multivariate Polynomials}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {171--178}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326261}, doi = {10.1145/3326229.3326261}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/GiesbrechtHLZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/GiesbrechtJS19, author = {Mark Giesbrecht and Armin Jamshidpey and {\'{E}}ric Schost}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Quadratic-Time Algorithms for Normal Elements}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {179--186}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326260}, doi = {10.1145/3326229.3326260}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/GiesbrechtJS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/GiorgiGR19, author = {Pascal Giorgi and Bruno Grenet and Daniel S. Roche}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Generic Reductions for In-place Polynomial Multiplication}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {187--194}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326249}, doi = {10.1145/3326229.3326249}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/GiorgiGR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/GuidolinDRV19, author = {Andrea Guidolin and Jose Divas{\'{o}}n and Ana Romero and Francesco Vaccarino}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Computing Multipersistence by Means of Spectral Systems}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {195--202}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326253}, doi = {10.1145/3326229.3326253}, timestamp = {Tue, 15 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/GuidolinDRV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Huang19, author = {Qiao{-}Long Huang}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Sparse Polynomial Interpolation over Fields with Large or Zero Characteristic}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {219--226}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326250}, doi = {10.1145/3326229.3326250}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/Huang19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/HuangLGMZ19, author = {Pei Huang and Minghao Liu and Cunjing Ge and Feifei Ma and Jian Zhang}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {203--210}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326232}, doi = {10.1145/3326229.3326232}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/HuangLGMZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/HuangY19, author = {Bo Huang and Chee Yap}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {An Algorithmic Approach to Limit Cycles of Nonlinear Differential Systems: The Averaging Method Revisited}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {211--218}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326234}, doi = {10.1145/3326229.3326234}, timestamp = {Tue, 28 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/HuangY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/HyunMSS19, author = {Seung Gyu Hyun and Stephen Melczer and {\'{E}}ric Schost and Catherine St{-}Pierre}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Change of Basis for m-primary Ideals in One and Two Variables}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {227--234}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326268}, doi = {10.1145/3326229.3326268}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/HyunMSS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/HyunNS19, author = {Seung Gyu Hyun and Vincent Neiger and {\'{E}}ric Schost}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Implementations of Efficient Univariate Polynomial Matrix Algorithms and Application to Bivariate Resultants}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {235--242}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326272}, doi = {10.1145/3326229.3326272}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/HyunNS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Kousidis19, author = {Stavros Kousidis}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Krawtchouk Polynomials and Quadratic Semi-Regular Sequences}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {243--250}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326230}, doi = {10.1145/3326229.3326230}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/Kousidis19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/KurpiszW19, author = {Adam Kurpisz and Timo de Wolff}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {New Dependencies of Hierarchies in Polynomial Optimization}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {251--258}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326269}, doi = {10.1145/3326229.3326269}, timestamp = {Sun, 06 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/KurpiszW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/LairezMD19, author = {Pierre Lairez and Marc Mezzarobba and Mohab Safey El Din}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Computing the Volume of Compact Semi-Algebraic Sets}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {259--266}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326262}, doi = {10.1145/3326229.3326262}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/LairezMD19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/LiN19, author = {Jianwei Li and Phong Q. Nguyen}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Computing a Lattice Basis Revisited}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {275--282}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326265}, doi = {10.1145/3326229.3326265}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/LiN19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/LiuP19, author = {Renzhang Liu and Yanbin Pan}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Computing Hermite Normal Form Faster via Solving System of Linear Equations}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {283--290}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326238}, doi = {10.1145/3326229.3326238}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/LiuP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/MagronSW19, author = {Victor Magron and Henning Seidler and Timo de Wolff}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Exact Optimization via Sums of Nonnegative Circuits and Arithmetic-geometric-mean-exponentials}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {291--298}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326271}, doi = {10.1145/3326229.3326271}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/MagronSW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/MohammadiRH19, author = {Zahra Mohammadi and Gregory J. Reid and Tracy Shih{-}lung Huang}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Introduction of the MapDE Algorithm for Determination of Mappings Relating Differential Equations}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {331--338}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326259}, doi = {10.1145/3326229.3326259}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/MohammadiRH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Monagan19, author = {Michael B. Monagan}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Linear Hensel Lifting for Fp[x, y] and Z[x] with Cubic Cost}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {299--306}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326242}, doi = {10.1145/3326229.3326242}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/Monagan19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/MuslehS19, author = {Yossef Musleh and {\'{E}}ric Schost}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Computing the Characteristic Polynomial of a Finite Rank Two Drinfeld Module}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {307--314}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326256}, doi = {10.1145/3326229.3326256}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/MuslehS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Oki19, author = {Taihei Oki}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Improved Structural Methods for Nonlinear Differential-Algebraic Equations via Combinatorial Relaxation}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {315--322}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326236}, doi = {10.1145/3326229.3326236}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/Oki19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/PaourisPR19, author = {Grigoris Paouris and Kaitlyn Phillipson and J. Maurice Rojas}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {A Faster Solution to Smale's 17th Problem {I:} Real Binomial Systems}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {323--330}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326267}, doi = {10.1145/3326229.3326267}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/PaourisPR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Robbiano19, author = {Lorenzo Robbiano}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Linear Algebra, Old and New}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {4--9}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326281}, doi = {10.1145/3326229.3326281}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/Robbiano19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/TangWZ19, author = {Xiaoxian Tang and Timo de Wolff and Rukai Zhao}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {A New Method for Computing Elimination Ideals of Likelihood Equations}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {339--346}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326241}, doi = {10.1145/3326229.3326241}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/TangWZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/WangLX19, author = {Jie Wang and Haokun Li and Bican Xia}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {A New Sparse {SOS} Decomposition Algorithm Based on Term Sparsity}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {347--354}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326254}, doi = {10.1145/3326229.3326254}, timestamp = {Thu, 06 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/WangLX19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/Williams19, author = {Virginia Vassilevska Williams}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Limits on All Known (and Some Unknown) Approaches to Matrix Multiplication}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {10}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326282}, doi = {10.1145/3326229.3326282}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/Williams19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/XuY19, author = {Juan Xu and Chee Yap}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Effective Subdivision Algorithm for Isolating Zeros of Real Systems of Equations, with Complexity Analysis}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {355--362}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326270}, doi = {10.1145/3326229.3326270}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/XuY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/ZengYD19, author = {Zhenbing Zeng and Lu Yang and Lydia Dehbi}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {On the Number of Congruent Classes of the Tetrahedra Determined by Given Volume, Circumradius and Face Areas}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {363--370}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326264}, doi = {10.1145/3326229.3326264}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/ZengYD19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/ZhengX19, author = {Tao Zheng and Bican Xia}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {An Effective Framework for Constructing Exponent Lattice Basis of Nonzero Algebraic Numbers}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, pages = {371--378}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229.3326243}, doi = {10.1145/3326229.3326243}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/ZhengX19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/issac/2019, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, title = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326229}, doi = {10.1145/3326229}, isbn = {978-1-4503-6084-5}, timestamp = {Wed, 31 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.