Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/issac/issac2019.bht:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-08-23 23:08 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
