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/issac2017.bht:"
download as .bib file
@inproceedings{DBLP:conf/issac/AllemCHS17,
author = {Luiz Emilio Allem and
Juliane G. Capaverde and
Mark van Hoeij and
Jonas Szutkoski},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Functional Decomposition Using Principal Subfields},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {421--428},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087608},
doi = {10.1145/3087604.3087608},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/AllemCHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/AlvandiAM17,
author = {Parisa Alvandi and
Masoud Ataei and
Marc Moreno Maza},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {On the Extended Hensel Construction and its Application to the Computation
of Limit Points},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {13--20},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087658},
doi = {10.1145/3087604.3087658},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/AlvandiAM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Aoyama17,
author = {Toru Aoyama},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {An Algorithm for Computing Minimal Associated Primes of Binomial Ideals
without Producing Redundant Components},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {21--27},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087644},
doi = {10.1145/3087604.3087644},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Aoyama17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BahrdtS17,
author = {Daniel Bahrdt and
Martin P. Seybold},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Rational Points on the Unit Sphere: Approximation Complexity and Practical
Constructions},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {29--36},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087639},
doi = {10.1145/3087604.3087639},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BahrdtS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BhargavaIMS17,
author = {Vishwas Bhargava and
G{\'{a}}bor Ivanyos and
Rajat Mittal and
Nitin Saxena},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Irreducibility and Deterministic r-th Root Finding over Finite Fields},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {37--44},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087620},
doi = {10.1145/3087604.3087620},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BhargavaIMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BoerP17,
author = {Koen de Boer and
Carlo Pagano},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Calculating the Power Residue Symbol and Ibeta: Applications of Computing
the Group Structure of the Principal Units of a p-adic Number Field
Completion},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {117--124},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087637},
doi = {10.1145/3087604.3087637},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BoerP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BradfordDEEGGHK17,
author = {Russell J. Bradford and
James H. Davenport and
Matthew England and
Hassan Errami and
Vladimir P. Gerdt and
Dima Grigoriev and
Charles Tapley Hoyt and
Marek Kosta and
Ovidiu Radulescu and
Thomas Sturm and
Andreas Weber},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {A Case Study on the Parametric Occurrence of Multiple Steady States},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {45--52},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087622},
doi = {10.1145/3087604.3087622},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BradfordDEEGGHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Brown17,
author = {Christopher W. Brown},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Projection and Quantifier Elimination Using Non-uniform Cylindrical
Algebraic Decomposition},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {53--60},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087651},
doi = {10.1145/3087604.3087651},
timestamp = {Fri, 04 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Brown17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BurrGT17,
author = {Michael A. Burr and
Shuhong Gao and
Elias P. Tsigaridas},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {The Complexity of an Adaptive Subdivision Method for Approximating
Real Curves},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {61--68},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087654},
doi = {10.1145/3087604.3087654},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BurrGT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BuseN17,
author = {Laurent Bus{\'{e}} and
Ibrahim Nonkan{\'{e}}},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Discriminants of Complete Intersection Space Curves},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {69--76},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087635},
doi = {10.1145/3087604.3087635},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BuseN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CarusoB17,
author = {Xavier Caruso and
J{\'{e}}r{\'{e}}my Le Borgne},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Fast Multiplication for Skew Polynomials},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {77--84},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087617},
doi = {10.1145/3087604.3087617},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/CarusoB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CarusoRV17,
author = {Xavier Caruso and
David Roe and
Tristan Vaccon},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Characteristic Polynomials of p-adic Matrices},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {389--396},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087618},
doi = {10.1145/3087604.3087618},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/CarusoRV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChenCMM17,
author = {Liangyu Chen and
Svyatoslav Covanov and
Davood Mohajerani and
Marc Moreno Maza},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Big Prime Field {FFT} on the {GPU}},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {85--92},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087657},
doi = {10.1145/3087604.3087657},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/ChenCMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChenG17,
author = {Yu{-}Ao Chen and
Xiao{-}Shan Gao},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Criteria for Finite Difference Gr{\"{o}}bner Bases of Normal
Binomial Difference Ideals},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {93--100},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087615},
doi = {10.1145/3087604.3087615},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/ChenG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ClausenH17,
author = {Michael Clausen and
Paul H{\"{u}}hne},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Linear Time Fourier Transforms of \emph{S\({}_{\mbox{n-k}}\)}-invariant
Functions on the Symmetric Group \emph{S\({}_{\mbox{n}}\)}},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {101--108},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087628},
doi = {10.1145/3087604.3087628},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/ClausenH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Dahan17,
author = {Xavier Dahan},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Gcd Modulo a Primary Triangular Set of Dimension Zero},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {109--116},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087612},
doi = {10.1145/3087604.3087612},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Dahan17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DumasKVZ17,
author = {Jean{-}Guillaume Dumas and
Erich L. Kaltofen and
Gilles Villard and
Lihong Zhi},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Polynomial Time Interactive Proofs for Linear Algebra with Exponential
Matrix Dimensions and Scalars Given by Polynomial Time Circuits},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {125--132},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087640},
doi = {10.1145/3087604.3087640},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/DumasKVZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DumasLP17,
author = {Jean{-}Guillaume Dumas and
David Lucas and
Cl{\'{e}}ment Pernet},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Certificates for Triangular Equivalence and Rank Profiles},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {133--140},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087609},
doi = {10.1145/3087604.3087609},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/DumasLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/EderPP17,
author = {Christian Eder and
Gerhard Pfister and
Adrian Popescu},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {On Signature-Based Gr{\"{o}}bner Bases Over Euclidean Rings},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {141--148},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087614},
doi = {10.1145/3087604.3087614},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/EderPP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/EmirisKKL17,
author = {Ioannis Z. Emiris and
Christos Konaxis and
Ilias S. Kotsireas and
Cl{\'{e}}ment Laroche},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Matrix Representations by Means of Interpolation},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {149--156},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087629},
doi = {10.1145/3087604.3087629},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/EmirisKKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/FiekerHHJ17,
author = {Claus Fieker and
William Hart and
Tommy Hofmann and
Fredrik Johansson},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia
Programming Language},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {157--164},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087611},
doi = {10.1145/3087604.3087611},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/FiekerHHJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Garcia-MarcoKP17,
author = {Ignacio Garc{\'{\i}}a{-}Marco and
Pascal Koiran and
Timoth{\'{e}}e Pecatte},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Reconstruction Algorithms for Sums of Affine Powers},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {317--324},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087605},
doi = {10.1145/3087604.3087605},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Garcia-MarcoKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GelinKL17,
author = {Alexandre G{\'{e}}lin and
Thorsten Kleinjung and
Arjen K. Lenstra},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Parametrizations for Families of ECM-Friendly Curves},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {165--171},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087606},
doi = {10.1145/3087604.3087606},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GelinKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GiesbrechtHL17,
author = {Mark Giesbrecht and
Joseph Haraldson and
George Labahn},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Computing the Nearest Rank-Deficient Matrix Polynomial},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {181--188},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087648},
doi = {10.1145/3087604.3087648},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GiesbrechtHL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GraseggerV17,
author = {Georg Grasegger and
Thieu N. Vo},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {An Algebraic-Geometric Method for Computing Zolotarev Polynomials},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {173--180},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087613},
doi = {10.1145/3087604.3087613},
timestamp = {Tue, 14 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GraseggerV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/HashemiS17,
author = {Amir Hashemi and
Werner M. Seiler},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Dimension-Dependent Upper Bounds for Gr{\"{o}}bner Bases},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {189--196},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087624},
doi = {10.1145/3087604.3087624},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/HashemiS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Hoeij17,
author = {Mark van Hoeij},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Closed Form Solutions for Linear Differential and Difference Equations},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {3--4},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087660},
doi = {10.1145/3087604.3087660},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Hoeij17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/HoevenL17,
author = {Joris van der Hoeven and
Robin Larrieu},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {The Frobenius {FFT}},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {437--444},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087633},
doi = {10.1145/3087604.3087633},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/HoevenL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/HoevenL17a,
author = {Joris van der Hoeven and
Gr{\'{e}}goire Lecerf},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Composition Modulo Powers of Polynomials},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {445--452},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087634},
doi = {10.1145/3087604.3087634},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/HoevenL17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/HoffmannL17,
author = {Johannes Hoffmann and
Viktor Levandovskyy},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {A Constructive Approach to Arithmetics in Ore Localizations},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {197--204},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087649},
doi = {10.1145/3087604.3087649},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/HoffmannL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/HumenbergerJK17,
author = {Andreas Humenberger and
Maximilian Jaroschek and
Laura Kov{\'{a}}cs},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric
Sequences},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {221--228},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087623},
doi = {10.1145/3087604.3087623},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/HumenbergerJK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/HyunLS17,
author = {Seung Gyu Hyun and
Romain Lebreton and
{\'{E}}ric Schost},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Algorithms for Structured Linear Systems Solving and Their Implementation},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {205--212},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087659},
doi = {10.1145/3087604.3087659},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/HyunLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/IwaneA17,
author = {Hidenao Iwane and
Hirokazu Anai},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Formula Simplification for Real Quantifier Elimination Using Geometric
Invariance},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {213--220},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087627},
doi = {10.1145/3087604.3087627},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/IwaneA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/JindalS17,
author = {Gorav Jindal and
Michael Sagraloff},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Efficiently Computing Real Roots of Sparse Polynomials},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {229--236},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087652},
doi = {10.1145/3087604.3087652},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/JindalS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KaltofenPSW17,
author = {Erich L. Kaltofen and
Cl{\'{e}}ment Pernet and
Arne Storjohann and
Cleveland Waddell},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Early Termination in Parametric Linear System Solving and Rational
Function Vector Recovery with Error Correction},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {237--244},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087645},
doi = {10.1145/3087604.3087645},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/KaltofenPSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KauersP17,
author = {Manuel Kauers and
Gleb Pogudin},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Bounds for Substituting Algebraic Functions into D-finite Functions},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {245--252},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087616},
doi = {10.1145/3087604.3087616},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/KauersP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KhochtaliRS17,
author = {Mohamed Khochtali and
Johan Rosenkilde and
Arne Storjohann},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Popov Form Computation for Matrices of Ore Polynomials},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {253--260},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087650},
doi = {10.1145/3087604.3087650},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/KhochtaliRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Larrieu17,
author = {Robin Larrieu},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {The Truncated Fourier Transform for Mixed Radices},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {261--268},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087636},
doi = {10.1145/3087604.3087636},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Larrieu17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Li17,
author = {Hongbo Li},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Automated Geometric Reasoning with Geometric Algebra: Theory and Practice},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {7--8},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087663},
doi = {10.1145/3087604.3087663},
timestamp = {Thu, 04 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Li17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LiLL17,
author = {Hongbo Li and
Zhang Li and
Yang Li},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {269--276},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087625},
doi = {10.1145/3087604.3087625},
timestamp = {Thu, 04 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/LiLL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LuMW17,
author = {Dong Lu and
Xiaodong Ma and
Dingkang Wang},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {A New Algorithm for General Factorizations of Multivariate Polynomial
Matrices},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {277--284},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087607},
doi = {10.1145/3087604.3087607},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/LuMW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LyakhovGM17,
author = {Dmitry A. Lyakhov and
Vladimir P. Gerdt and
Dominik L. Michels},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Algorithmic Verification of Linearizability for Ordinary Differential
Equations},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {285--292},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087626},
doi = {10.1145/3087604.3087626},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/LyakhovGM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/MakarimS17,
author = {Rusydi H. Makarim and
Marc Stevens},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {{M4GB:} An Efficient Gr{\"{o}}bner-Basis Algorithm},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {293--300},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087638},
doi = {10.1145/3087604.3087638},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/MakarimS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/MantzaflarisST17,
author = {Angelos Mantzaflaris and
{\'{E}}ric Schost and
Elias P. Tsigaridas},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Sparse Rational Univariate Representation},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {301--308},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087653},
doi = {10.1145/3087604.3087653},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/MantzaflarisST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/MantzaflarisT17,
author = {Angelos Mantzaflaris and
Elias P. Tsigaridas},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Resultants and Discriminants for Bivariate Tensor-Product Polynomials},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {309--316},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087646},
doi = {10.1145/3087604.3087646},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/MantzaflarisT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Middeke17,
author = {Johannes Middeke},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Denominator Bounds and Polynomial Solutions for Systems of q-Recurrences
over K(t) for Constant {K}},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {325--332},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087619},
doi = {10.1145/3087604.3087619},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Middeke17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Mishna17,
author = {Marni Mishna},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Algorithmic Approaches for Lattice Path Combinatorics},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {9--10},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087664},
doi = {10.1145/3087604.3087664},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Mishna17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Mourrain17,
author = {Bernard Mourrain},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Fast Algorithm for Border Bases of Artinian Gorenstein Algebras},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {333--340},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087632},
doi = {10.1145/3087604.3087632},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Mourrain17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Nagasaka17,
author = {Kosaku Nagasaka},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Parametric Greatest Common Divisors using Comprehensive Gr{\"{o}}bner
Systems},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {341--348},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087621},
doi = {10.1145/3087604.3087621},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Nagasaka17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Nebe17,
author = {Gabriele Nebe},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Computing with Arithmetic Groups},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {1--2},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087661},
doi = {10.1145/3087604.3087661},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Nebe17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/NeigerRS17,
author = {Vincent Neiger and
Johan Rosenkilde and
{\'{E}}ric Schost},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Fast Computation of the Roots of Polynomials Over the Ring of Power
Series},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {349--356},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087642},
doi = {10.1145/3087604.3087642},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/NeigerRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/NeigerV17,
author = {Vincent Neiger and
Thi Xuan Vu},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Computing Canonical Bases of Modules of Univariate Relations},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {357--364},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087656},
doi = {10.1145/3087604.3087656},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/NeigerV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Perry17,
author = {John Perry},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Exploring the Dynamic Buchberger Algorithm},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {365--372},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087643},
doi = {10.1145/3087604.3087643},
timestamp = {Wed, 01 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Perry17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Piontkovski17,
author = {Dmitri Piontkovski},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Growth in Varieties of Multioperator Algebras and Groebner Bases in
Operads},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {373--380},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087655},
doi = {10.1145/3087604.3087655},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Piontkovski17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Prabhakar017,
author = {Swaroop N. Prabhakar and
Vikram Sharma},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Improved Bounds on Absolute Positiveness of Multivariate Polynomials},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {381--388},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087631},
doi = {10.1145/3087604.3087631},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Prabhakar017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Sedjelmaci17,
author = {Sidi Mohamed Sedjelmaci},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Two Fast Parallel {GCD} Algorithms of Many Integers},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {397--404},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087610},
doi = {10.1145/3087604.3087610},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Sedjelmaci17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Sircana17,
author = {Carlo Sircana},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Factorization of Polynomials over Z/(p\({}^{\mbox{n}}\))},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {405--412},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087647},
doi = {10.1145/3087604.3087647},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Sircana17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Stehle17,
author = {Damien Stehl{\'{e}}},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Lattice Reduction Algorithms},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {11--12},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087665},
doi = {10.1145/3087604.3087665},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Stehle17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Strzebonski17,
author = {Adam W. Strzebonski},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {{CAD} Adjacency Computation Using Validated Numerics},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {413--420},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087641},
doi = {10.1145/3087604.3087641},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Strzebonski17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/VacconY17,
author = {Tristan Vaccon and
Kazuhiro Yokoyama},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {A Tropical {F5} Algorithm},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {429--436},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087630},
doi = {10.1145/3087604.3087630},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/VacconY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Worrell17,
author = {James Worrell},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {The Zero Problem for Exponential Polynomials},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {5},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087662},
doi = {10.1145/3087604.3087662},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Worrell17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2017,
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604},
doi = {10.1145/3087604},
isbn = {978-1-4503-5064-8},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/2017.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-04-23 17:16 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:
