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/issac2001.bht:"
download as .bib file
@inproceedings{DBLP:conf/issac/AbramovB01,
author = {Sergei A. Abramov and
Manuel Bronstein},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {On solutions of linear functional systems},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {1--6},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384102},
doi = {10.1145/384101.384102},
timestamp = {Mon, 03 Apr 2023 17:23:32 +0200},
biburl = {https://dblp.org/rec/conf/issac/AbramovB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/AbramovP01,
author = {Sergei A. Abramov and
Marko Petkovsek},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Minimal decomposition of indefinite hypergeometric sums},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {7--14},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384103},
doi = {10.1145/384101.384103},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/AbramovP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Adamchik01,
author = {Victor Adamchik},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {On the Barnes function},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {15--20},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384104},
doi = {10.1145/384101.384104},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Adamchik01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/AguirreJL01,
author = {Edith Aguirre and
Abdul Salam Jarrah and
Reinhard C. Laubenbacher},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Generic ideals and Moreno-Soc{\'{\i}}as conjucture},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {21--23},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384105},
doi = {10.1145/384101.384105},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/AguirreJL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ArmandoB01,
author = {Alessandro Armando and
Clemens Ballarin},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Maple's evaluation process as constraint contextual rewriting},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {32--37},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384107},
doi = {10.1145/384101.384107},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/ArmandoB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BoulierLM01,
author = {Fran{\c{c}}ois Boulier and
Fran{\c{c}}ois Lemaire and
Marc Moreno Maza},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {PARDI!},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {38--47},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384108},
doi = {10.1145/384101.384108},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BoulierLM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Buse01,
author = {Laurent Bus{\'{e}}},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Residual resultant over the projective plane and the implicitization
problem},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {48--55},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384109},
doi = {10.1145/384101.384109},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Buse01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CaboaraR01,
author = {Massimo Caboara and
Lorenzo Robbiano},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Families of estimable terms},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {56--63},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384110},
doi = {10.1145/384101.384110},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/CaboaraR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChengL01,
author = {Howard Cheng and
George Labahn},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Computing all factorizations in ***},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {64--71},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384111},
doi = {10.1145/384101.384111},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/ChengL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CioffiO01,
author = {Francesca Cioffi and
Ferruccio Orecchia},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Computation of minimal generators of ideals of fat points},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {72--76},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384112},
doi = {10.1145/384101.384112},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/CioffiO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CoopermanG01,
author = {Gene Cooperman and
Victor Grinberg},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Scalable parallel coset enumeration using bulk definition},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {77--84},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384113},
doi = {10.1145/384101.384113},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/CoopermanG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CorlessGHKW01,
author = {Robert M. Corless and
Mark Giesbrecht and
Mark van Hoeij and
Ilias S. Kotsireas and
Stephen M. Watt},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Towards factoring bivariate approximate polynomials},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {85--92},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384114},
doi = {10.1145/384101.384114},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/CorlessGHKW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Cormier01,
author = {Olivier Cormier},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {On Liouvillian solutions of linear differential equations of order
4 and 5},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {93--100},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384115},
doi = {10.1145/384101.384115},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Cormier01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DAndreaE01,
author = {Carlos D'Andrea and
Ioannis Z. Emiris},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Hybrid sparse resultant matrices for bivariate systems},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {24--31},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384106},
doi = {10.1145/384101.384106},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/DAndreaE01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DominguezR01,
author = {C{\'{e}}sar Dom{\'{\i}}nguez and
Julio Rubio},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Modeling inheritance as coercion in a symbolic computation system},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {109--115},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384117},
doi = {10.1145/384101.384117},
timestamp = {Mon, 07 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/DominguezR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DoraMMY01,
author = {Jean Della Dora and
Aude Maignan and
Mihaela Mirica{-}Ruse and
Sergio Yovine},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Hybrid computation},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {101--108},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384116},
doi = {10.1145/384101.384116},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/DoraMMY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/FortunaGT01,
author = {Elisabetta Fortuna and
Patrizia M. Gianni and
Barry M. Trager},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Computation of the radical of polynomial ideals over fields of arbitrary
characteristic},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {116--120},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384118},
doi = {10.1145/384101.384118},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/FortunaGT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Fortune01,
author = {Steven Fortune},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Polynomial root finding using iterated Eigenvalue computation},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {121--128},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384119},
doi = {10.1145/384101.384119},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Fortune01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/FoursovM01,
author = {Mikhail V. Foursov and
Marc Moreno Maza},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {On computer-assisted classification of coupled integrable equations},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {129--136},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384120},
doi = {10.1145/384101.384120},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/FoursovM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GalligoR01,
author = {Andr{\'{e}} Galligo and
David Rupprecht},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Semi-numerical determination of irreducible branches of a reduced
space curve},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {137--142},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384121},
doi = {10.1145/384101.384121},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GalligoR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Gathen01,
author = {Joachim von zur Gathen},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Irreducible trinomials over finite fields},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {332--336},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384146},
doi = {10.1145/384101.384146},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Gathen01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Gemignani01,
author = {Luca Gemignani},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {A generalized Graeffe's iteration for evaluating polynomials and rational
functions},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {143--149},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384122},
doi = {10.1145/384101.384122},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Gemignani01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GranvilliersMB01,
author = {Laurent Granvilliers and
{\'{E}}ric Monfroy and
Fr{\'{e}}d{\'{e}}ric Benhamou},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Symbolic-interval cooperation in constraint programming},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {150--166},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384123},
doi = {10.1145/384101.384123},
timestamp = {Tue, 23 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GranvilliersMB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GutierrezMS01,
author = {Jaime Gutierrez and
Rosario Rubio San Miguel and
David Sevilla},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Unirational fields of transcendence degree one and functional decomposition},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {167--174},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384124},
doi = {10.1145/384101.384124},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GutierrezMS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/HanrotM01,
author = {Guillaume Hanrot and
Fran{\c{c}}ois Morain},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Solvability by radicals from an algorithmic point of view},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {175--182},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384125},
doi = {10.1145/384101.384125},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/HanrotM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/HuntMS01,
author = {Harry B. Hunt III and
Madhav V. Marathe and
Richard Edwin Stearns},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Strongly-local reductions and the complexity/efficient approximability
of algebra and optimization on abstract algebraic structures},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {183--191},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384126},
doi = {10.1145/384101.384126},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/HuntMS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/JinwangZXM01,
author = {Jinwang Liu and
Zhuojun Liu and
Xiaoqi Liu and
Mingsheng Wang},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {The membership problem for ideals of binomial skew polynomial rings},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {192--195},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384127},
doi = {10.1145/384101.384127},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/JinwangZXM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Jurkovic01,
author = {Neven Jurkovic},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Diagnosing and correcting student's misconceptions in an educational
computer algebra system},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {195--200},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384128},
doi = {10.1145/384101.384128},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Jurkovic01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Khanin01,
author = {Raya Khanin},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Dimensional analysis in computer algebra},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {201--208},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384129},
doi = {10.1145/384101.384129},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Khanin01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Korelc01,
author = {Joze Korelc},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Hybrid system for multi-language and multi-environment generation
of numerical codes},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {209--216},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384130},
doi = {10.1145/384101.384130},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Korelc01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/MansfieldH01,
author = {Elizabeth L. Mansfield and
Peter E. Hydon},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Towards approximations which preserve integrals},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {217--222},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384131},
doi = {10.1145/384101.384131},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/MansfieldH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/McCallum01,
author = {Scott McCallum},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {On propagation of equational constraints in CAD-based quantifier elimination},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {223--231},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384132},
doi = {10.1145/384101.384132},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/McCallum01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/MicciancioW01,
author = {Daniele Micciancio and
Bogdan Warinschi},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {A linear space algorithm for computing the herite normal form},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {231--236},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384133},
doi = {10.1145/384101.384133},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/MicciancioW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/MingshengL01,
author = {Mingsheng Wang and
Zhuojun Liu},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Remarks on Gr{\"{o}}bner basis for ideals under composition},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {237--244},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384134},
doi = {10.1145/384101.384134},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/MingshengL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/MulhollandM01,
author = {Jamie Mulholland and
Michael B. Monagan},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Algorithms for trigonometric polynomials},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {245--252},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384135},
doi = {10.1145/384101.384135},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/MulhollandM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Pan01,
author = {Victor Y. Pan},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Univariate polynomials: nearly optimal algorithms for factorization
and rootfinding},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {253--267},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384136},
doi = {10.1145/384101.384136},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Pan01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/PericleousV01,
author = {Savvas Pericleous and
Nicolai N. Vorobjov Jr.},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {New complexity bounds for cylindrical decompositions of sub-pfaffian
sets},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {268--275},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384137},
doi = {10.1145/384101.384137},
timestamp = {Mon, 22 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/PericleousV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Ruatta01,
author = {Olivier Ruatta},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {A multivariate Weierstrass iterative rootfinder},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {276--283},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384138},
doi = {10.1145/384101.384138},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Ruatta01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Sasaki01,
author = {Tateaki Sasaki},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Approximate multivariate polynomial factorization based on zero-sum
relations},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {284--291},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384139},
doi = {10.1145/384101.384139},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Sasaki01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/SatoS01,
author = {Yosuke Sato and
Akira Suzuki},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Discrete comprehensive Gr{\"{o}}bner bases},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {292--296},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384140},
doi = {10.1145/384101.384140},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/SatoS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Saunders01,
author = {B. David Saunders},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Black box methods for least squares problems},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {297--302},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384141},
doi = {10.1145/384101.384141},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Saunders01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Sedjelmaci01,
author = {Sidi Mohamed Sedjelmaci},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {On a parallel Lehmer-Euclid {GCD} algorithm},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {303--308},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384142},
doi = {10.1145/384101.384142},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Sedjelmaci01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Sedoglavic01,
author = {Alexandre Sedoglavic},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {A probabilistic algorithm to test local algebraic observability in
polynomial time},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {309--317},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384143},
doi = {10.1145/384101.384143},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Sedoglavic01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/SendraW01,
author = {J. Rafael Sendra and
Franz Winkler},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Computation of the degree of rational maps between curves},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {317--322},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384144},
doi = {10.1145/384101.384144},
timestamp = {Fri, 08 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/SendraW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Thome01,
author = {Emmanuel Thom{\'{e}}},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Fast computation of linear generators for matrix sequences and application
to the block Wiedemann algorithm},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {323--331},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384145},
doi = {10.1145/384101.384145},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Thome01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/WangGKLLZ01,
author = {Paul S. Wang and
Simon Gray and
Norbert Kajler and
Dongdai Lin and
Weidong Liao and
Xiao Zou},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {{IAMC} architecture and prototyping: a progress report},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {337--344},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384147},
doi = {10.1145/384101.384147},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/WangGKLLZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Zima01,
author = {Eugene V. Zima},
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {On computational properties of chains of recurrences},
booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
pages = {345},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/384101.384148},
doi = {10.1145/384101.384148},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Zima01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2001,
editor = {Erich L. Kaltofen and
Gilles Villard},
title = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
Ontario, London, Ontario, Canada, July 22-25, 2001},
publisher = {{ACM}},
year = {2001},
url = {http://dl.acm.org/citation.cfm?id=384101},
isbn = {1-58113-417-7},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/2001.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-06-29 09:22 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:
