default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/issac/issac2020.bht:"
download as .bib file
@inproceedings{DBLP:conf/issac/000120,
author = {Vikram Sharma},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Generalizing the davenport-mahler-mignotte bound},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {410--417},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404016},
doi = {10.1145/3373207.3404016},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/000120.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/0037M20,
author = {Jie Wang and
Victor Magron},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {A second order cone characterization for sums of nonnegative circuits},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {450--457},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404033},
doi = {10.1145/3373207.3404033},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/0037M20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/AbelardCL20,
author = {Simon Abelard and
Alain Couvreur and
Gr{\'{e}}goire Lecerf},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Sub-quadratic time for riemann-roch spaces: case of smooth divisors
over nodal plane projective curves},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {14--21},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404053},
doi = {10.1145/3373207.3404053},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/AbelardCL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/AsadiBMMX20,
author = {Mohammadali Asadi and
Alexander Brandt and
Robert H. C. Moir and
Marc Moreno Maza and
Yuzhen Xie},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {On the parallelization of triangular decompositions},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {22--29},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404065},
doi = {10.1145/3373207.3404065},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/AsadiBMMX20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BazanH20,
author = {Erick Rodr{\'{\i}}guez Bazan and
Evelyne Hubert},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Ideal Interpolation, H-bases and symmetry},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {402--409},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404057},
doi = {10.1145/3373207.3404057},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/BazanH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Betten20,
author = {Anton Betten},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {The orbiter ecosystem for combinatorial data},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {30--37},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3403984},
doi = {10.1145/3373207.3403984},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Betten20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BirmpilisLS20,
author = {Stavros Birmpilis and
George Labahn and
Arne Storjohann},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {A Las Vegas algorithm for computing the smith form of a nonsingular
integer matrix},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {38--45},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404022},
doi = {10.1145/3373207.3404022},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/BirmpilisLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Bostan20,
author = {Alin Bostan},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Computing the N-th term of a q-holonomic sequence},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {46--53},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404060},
doi = {10.1145/3373207.3404060},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Bostan20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BuchacherKP20,
author = {Manfred Buchacher and
Manuel Kauers and
Gleb Pogudin},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Separating variables in bivariate polynomial ideals},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {54--61},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404028},
doi = {10.1145/3373207.3404028},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/BuchacherKP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CapcoDS20,
author = {Jose Capco and
Mohab Safey El Din and
Josef Schicho},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Robots, computer algebra and eight connected components},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {62--69},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404048},
doi = {10.1145/3373207.3404048},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/CapcoDS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CarusoVV20,
author = {Xavier Caruso and
Tristan Vaccon and
Thibaut Verron},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Signature-based algorithms for Gr{\"{o}}bner bases over tate
algebras},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {70--77},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404035},
doi = {10.1145/3373207.3404035},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/CarusoVV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CharalambousKKK20,
author = {Hara Charalambous and
Kostas Karagiannis and
Sotiris Karanikolopoulos and
Aristides Kontogeorgis},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Syzygies of ideals of polynomial rings over principal ideal domains},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {78--82},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404046},
doi = {10.1145/3373207.3404046},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/CharalambousKKK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChenDKV20,
author = {Shaoshi Chen and
Lixin Du and
Manuel Kauers and
Thibaut Verron},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Integral bases for p-recursive sequences},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {91--98},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404004},
doi = {10.1145/3373207.3404004},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/ChenDKV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChenavierHRR20,
author = {Cyrille Chenavier and
Clemens Hofstadler and
Clemens G. Raab and
Georg Regensburger},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Compatible rewriting of noncommutative polynomials for proving operator
identities},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {83--90},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404047},
doi = {10.1145/3373207.3404047},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/ChenavierHRR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChyzakD20,
author = {Fr{\'{e}}d{\'{e}}ric Chyzak and
Philippe Dumas},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {A Gr{\"{o}}bner-basis theory for divide-and-conquer recurrences},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {99--106},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404055},
doi = {10.1145/3373207.3404055},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/ChyzakD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CortadellasDM20,
author = {Teresa Cortadellas and
Carlos D'Andrea and
M. Eulalia Montoro},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Bounds for degrees of minimal \emph{{\(\mu\)}}: bases of parametric
surfaces},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {107--113},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404039},
doi = {10.1145/3373207.3404039},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/CortadellasDM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Cox20,
author = {David A. Cox},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Reflections on elimination theory},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {1--4},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3403977},
doi = {10.1145/3373207.3403977},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Cox20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Cuyt20,
author = {Annie A. M. Cuyt},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {What do sparse interpolation, pad{\'{e}} approximation, gaussian
quadrature and tensor decomposition have in common?},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {12},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3403983},
doi = {10.1145/3373207.3403983},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Cuyt20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DahanV20,
author = {Xavier Dahan and
Tristan Vaccon},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {On a non-archimedean broyden method},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {114--121},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404045},
doi = {10.1145/3373207.3404045},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/DahanV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DiPasqualeFP20,
author = {Michael DiPasquale and
Zachary Flores and
Chris Peterson},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {On the apolar algebra of a product of linear forms},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {130--137},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404014},
doi = {10.1145/3373207.3404014},
timestamp = {Wed, 08 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/DiPasqualeFP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Dickenstein20,
author = {Alicia Dickenstein},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Positive solutions of sparse polynomial systems},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {5--7},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3403978},
doi = {10.1145/3373207.3403978},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Dickenstein20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DiekertPS20,
author = {Volker Diekert and
Igor Potapov and
Pavel Semukhin},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Decidability of membership problems for flat rational subsets of GL(2,
{Q)} and singular matrices},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {122--129},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404038},
doi = {10.1145/3373207.3404038},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/DiekertPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DresslerHNW20,
author = {Mareike Dressler and
Janin Heuer and
Helen Naumann and
Timo de Wolff},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Global optimization via the dual {SONC} cone and linear programming},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {138--145},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404043},
doi = {10.1145/3373207.3404043},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/DresslerHNW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DuGLW20,
author = {Hao Du and
Jing Guo and
Ziming Li and
Elaine Wong},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {An additive decomposition in logarithmic towers and beyond},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {146--153},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404025},
doi = {10.1145/3373207.3404025},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/DuGLW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DuffR20,
author = {Timothy Duff and
Michael Ruddy},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Numerical equality tests for rational maps and signatures of curves},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {154--161},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404050},
doi = {10.1145/3373207.3404050},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/DuffR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DumasPS20,
author = {Jean{-}Guillaume Dumas and
Cl{\'{e}}ment Pernet and
Alexandre Sedoglavic},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {On fast multiplication of a matrix by its transpose},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {162--169},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404021},
doi = {10.1145/3373207.3404021},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/DumasPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ElliottGS20,
author = {Jesse Elliott and
Mark Giesbrecht and
{\'{E}}ric Schost},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {On the bit complexity of finding points in connected components of
a smooth real hypersurface},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {170--177},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404058},
doi = {10.1145/3373207.3404058},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/ElliottGS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/England20,
author = {Matthew England},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Real quantifier elimination by cylindrical algebraic decomposition,
and improvements by machine learning},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {13},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3403981},
doi = {10.1145/3373207.3403981},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/England20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/FalkensteinerGH20,
author = {Sebastian Falkensteiner and
Cristhian Garay{-}L{\'{o}}pez and
Mercedes Haiech and
Marc Paul Noordman and
Zeinab Toghani and
Fran{\c{c}}ois Boulier},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {The fundamental theorem of tropical partial differential algebraic
geometry},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {178--185},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404040},
doi = {10.1145/3373207.3404040},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/FalkensteinerGH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Garg020,
author = {Abhibhav Garg and
Nitin Saxena},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Special-case algorithms for blackbox radical membership, nullstellensatz
and transcendence degree},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {186--193},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404030},
doi = {10.1145/3373207.3404030},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Garg020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GiesbrechtHS20,
author = {Mark Giesbrecht and
Qiao{-}Long Huang and
{\'{E}}ric Schost},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Sparse multiplication for skew polynomials},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {194--201},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404023},
doi = {10.1145/3373207.3404023},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/GiesbrechtHS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GiorgiGC20,
author = {Pascal Giorgi and
Bruno Grenet and
Armelle Perret du Cray},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Essentially optimal sparse polynomial multiplication},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {202--209},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404026},
doi = {10.1145/3373207.3404026},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GiorgiGC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GiorgiGR20,
author = {Pascal Giorgi and
Bruno Grenet and
Daniel S. Roche},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Fast in-place algorithms for polynomial operations: division, evaluation,
interpolation},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {210--217},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404061},
doi = {10.1145/3373207.3404061},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GiorgiGR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Groh20,
author = {Friedemann Groh},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Subdivisions for macaulay formulas of sparse systems},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {218--225},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3403988},
doi = {10.1145/3373207.3403988},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Groh20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GuerriniLZ20,
author = {Eleonora Guerrini and
Romain Lebreton and
Ilaria Zappatore},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {On the uniqueness of simultaneous rational function reconstruction},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {226--233},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404051},
doi = {10.1145/3373207.3404051},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/GuerriniLZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Hone20,
author = {Andrew Hone},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Efficient {ECM} factorization in parallel with the lyness map},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {234--240},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404044},
doi = {10.1145/3373207.3404044},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Hone20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Huang20,
author = {Bo Huang},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Algorithmic averaging for studying periodic orbits of planar differential
systems},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {241--248},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404064},
doi = {10.1145/3373207.3404064},
timestamp = {Tue, 28 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Huang20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ImbachP20,
author = {R{\'{e}}mi Imbach and
Victor Y. Pan},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {New progress in univariate polynomial root finding},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {249--256},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404063},
doi = {10.1145/3373207.3404063},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/ImbachP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Ishihara20,
author = {Yuki Ishihara},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Modular techniques for effective localization and double ideal quotient},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {265--272},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404017},
doi = {10.1145/3373207.3404017},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Ishihara20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/IshiharaVY20,
author = {Yuki Ishihara and
Tristan Vaccon and
Kazuhiro Yokoyama},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {On {FGLM} algorithms with tropical Gr{\"{o}}bner bases},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {257--264},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404037},
doi = {10.1145/3373207.3404037},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/IshiharaVY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/JindalPSZ20,
author = {Gorav Jindal and
Anurag Pandey and
Himanshu Shukla and
Charilaos Zisopoulos},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {How many zeros of a random sparse polynomial are real?},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {273--280},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404031},
doi = {10.1145/3373207.3404031},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/JindalPSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KatsamakiRTZ20,
author = {Christina Katsamaki and
Fabrice Rouillier and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {On the geometry and the topology of parametric curves},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {281--288},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404062},
doi = {10.1145/3373207.3404062},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/KatsamakiRTZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KenisonLO020,
author = {George Kenison and
Richard Lipton and
Jo{\"{e}}l Ouaknine and
James Worrell},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {On the skolem problem and prime powers},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {289--296},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404036},
doi = {10.1145/3373207.3404036},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/KenisonLO020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LeDW20,
author = {Huu Phuoc Le and
Mohab Safey El Din and
Timo de Wolff},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Computing the real isolated points of an algebraic hypersurface},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {297--304},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404049},
doi = {10.1145/3373207.3404049},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/LeDW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LevandovskyyMZ20,
author = {Viktor Levandovskyy and
Tobias Metzlaff and
Karim Abou Zeid},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Computation of free non-commutative gr{\"{o}}bner bases over
{Z} with Singular: Letterplace},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {312--319},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404052},
doi = {10.1145/3373207.3404052},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/LevandovskyyMZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LevandovskyySZ20,
author = {Viktor Levandovskyy and
Hans Sch{\"{o}}nemann and
Karim Abou Zeid},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Letterplace: a subsystem of singular for computations with free algebras
via letterplace embedding},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {305--311},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404056},
doi = {10.1145/3373207.3404056},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/LevandovskyySZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Levin20,
author = {Alexander Levin},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Some properties of multivariate differential dimension polynomials
and their invariants},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {320--327},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404013},
doi = {10.1145/3373207.3404013},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Levin20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LimY20,
author = {Lek{-}Heng Lim and
Ke Ye},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Ubiquity of the exponent of matrix multiplication},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {8--11},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3403979},
doi = {10.1145/3373207.3403979},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/LimY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LuWX20,
author = {Dong Lu and
Dingkang Wang and
Fanghui Xiao},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Further results on the factorization and equivalence for multivariate
polynomial matrices},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {328--335},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404020},
doi = {10.1145/3373207.3404020},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/LuWX20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/MantzaflarisMS20,
author = {Angelos Mantzaflaris and
Bernard Mourrain and
{\'{A}}gnes Sz{\'{a}}nt{\'{o}}},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Punctual Hilbert scheme and certified approximate singularities},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {336--343},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404024},
doi = {10.1145/3373207.3404024},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/MantzaflarisMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Mathieu-MahiasQ20,
author = {Axel Mathieu{-}Mahias and
Micha{\"{e}}l Quisquater},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Fast multipoint evaluation and interpolation of polynomials in the
LCH-basis over F\({}_{\mbox{P}}\)\({}^{\mbox{r}}\)},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {344--351},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404009},
doi = {10.1145/3373207.3404009},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Mathieu-MahiasQ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/MelquiondR20,
author = {Guillaume Melquiond and
Rapha{\"{e}}l Rieu{-}Helft},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {WhyMP, a formally verified arbitrary-precision integer library},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {352--359},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404029},
doi = {10.1145/3373207.3404029},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/MelquiondR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/MiasnikovN20,
author = {Alexei Miasnikov and
Andrey Nikolaev},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {On parameterized complexity of the word search problem in the Baumslag-Gersten
group},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {360--363},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404042},
doi = {10.1145/3373207.3404042},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/MiasnikovN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Mou20,
author = {Chenqi Mou},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {On the chordality of ordinary differential triangular decomposition
in top-down style},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {364--371},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3403999},
doi = {10.1145/3373207.3403999},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Mou20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Nagasaka20,
author = {Kosaku Nagasaka},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Approximate {GCD} by bernstein basis, and its applications},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {372--379},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3403991},
doi = {10.1145/3373207.3403991},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Nagasaka20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/NaldiN20,
author = {Simone Naldi and
Vincent Neiger},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {A divide-and-conquer algorithm for computing gr{\"{o}}bner bases
of syzygies in finite dimension},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {380--387},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404059},
doi = {10.1145/3373207.3404059},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/NaldiN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/NeigerRS20,
author = {Vincent Neiger and
Johan Rosenkilde and
Grigory Solomatov},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Generic bivariate multi-point evaluation, interpolation and modular
composition with precomputation},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {388--395},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404032},
doi = {10.1145/3373207.3404032},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/NeigerRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Oliveira20,
author = {Rafael Oliveira},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Conditional lower bounds on the spectrahedral representation of explicit
hyperbolicity cones},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {396--401},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404010},
doi = {10.1145/3373207.3404010},
timestamp = {Fri, 23 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Oliveira20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Sottile20,
author = {Frank Sottile},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {General witness sets for numerical algebraic geometry},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {418--425},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3403995},
doi = {10.1145/3373207.3403995},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Sottile20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/TeramotoN20,
author = {Hiroshi Teramoto and
Katsusuke Nabeshima},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Parametric standard system for mixed module and its application to
singularity theory},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {426--433},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404027},
doi = {10.1145/3373207.3404027},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/TeramotoN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Tonelli-CuetoT20,
author = {Josu{\'{e}} Tonelli{-}Cueto and
Elias P. Tsigaridas},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Condition numbers for the cube: i: Univariate polynomials and hypersurfaces},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {434--441},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404054},
doi = {10.1145/3373207.3404054},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Tonelli-CuetoT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/WangWX20,
author = {Dingkang Wang and
Hesong Wang and
Fanghui Xiao},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {An extended {GCD} algorithm for parametric univariate polynomials
and application to parametric smith normal form},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {442--449},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404019},
doi = {10.1145/3373207.3404019},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/WangWX20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Zeng20,
author = {Zhonggang Zeng},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Geometric modeling and regularization of algebraic problems},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {458--465},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404066},
doi = {10.1145/3373207.3404066},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Zeng20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2020,
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207},
doi = {10.1145/3373207},
isbn = {978-1-4503-7100-1},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-12-19 16:18 CET 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:
