Search dblp for Publications

export results for "toc:db/conf/issac/issac2002.bht:"

 download as .bib file

@inproceedings{DBLP:conf/issac/Abramov02,
  author       = {Sergei A. Abramov},
  editor       = {Teo Mora},
  title        = {Applicability of Zeilberger's algorithm to hypergeometric terms},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {1--7},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780507},
  doi          = {10.1145/780506.780507},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Abramov02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BeckermannCL02,
  author       = {Bernhard Beckermann and
                  Howard Cheng and
                  George Labahn},
  editor       = {Teo Mora},
  title        = {Fraction-free row reduction of matrices of skew polynomials},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {8--15},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780508},
  doi          = {10.1145/780506.780508},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/BeckermannCL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BradfordD02,
  author       = {Russell J. Bradford and
                  James H. Davenport},
  editor       = {Teo Mora},
  title        = {Towards better simplification of elementary functions},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {16--22},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780509},
  doi          = {10.1145/780506.780509},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/BradfordD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BronsteinL02,
  author       = {Manuel Bronstein and
                  S{\'{e}}bastien Lafaille},
  editor       = {Teo Mora},
  title        = {Solutions of linear ordinary differential equations in terms of special
                  functions},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {23--28},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780510},
  doi          = {10.1145/780506.780510},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/BronsteinL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChtcherbaK02,
  author       = {Arthur D. Chtcherba and
                  Deepak Kapur},
  editor       = {Teo Mora},
  title        = {On the efficiency and optimality of Dixon-based resultant methods},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {29--36},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780511},
  doi          = {10.1145/780506.780511},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/ChtcherbaK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CorlessGKW02,
  author       = {Robert M. Corless and
                  Andr{\'{e}} Galligo and
                  Ilias S. Kotsireas and
                  Stephen M. Watt},
  editor       = {Teo Mora},
  title        = {A geometric-numeric algorithm for absolute factorization of multivariate
                  polynomials},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {37--45},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780512},
  doi          = {10.1145/780506.780512},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/CorlessGKW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DickensteinE02,
  author       = {Alicia Dickenstein and
                  Ioannis Z. Emiris},
  editor       = {Teo Mora},
  title        = {Multihomogeneous resultant matrices},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {46--54},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780513},
  doi          = {10.1145/780506.780513},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/DickensteinE02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Dooley02,
  author       = {Samuel S. Dooley},
  editor       = {Teo Mora},
  title        = {Editing mathematical content and presentation markup in interactive
                  mathematical documents},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {55--62},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780514},
  doi          = {10.1145/780506.780514},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Dooley02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DumasGP02,
  author       = {Jean{-}Guillaume Dumas and
                  Thierry Gautier and
                  Cl{\'{e}}ment Pernet},
  editor       = {Teo Mora},
  title        = {Finite field linear algebra subroutines},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {63--74},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780515},
  doi          = {10.1145/780506.780515},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/DumasGP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Fernandez-FerreirosGG02,
  author       = {Pilar Fernandez{-}Ferreiros and
                  Maria de los Angeles Gomez{-}Molleda and
                  Laureano Gonz{\'{a}}lez{-}Vega},
  editor       = {Teo Mora},
  title        = {Partial solvability by radicals},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {84--91},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780517},
  doi          = {10.1145/780506.780517},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Fernandez-FerreirosGG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/FortunaGPT02,
  author       = {Elisabetta Fortuna and
                  Patrizia M. Gianni and
                  Paola Parenti and
                  Carlo Traverso},
  editor       = {Teo Mora},
  title        = {Computing the topology of real algebraic surfaces},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {92--100},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780518},
  doi          = {10.1145/780506.780518},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/FortunaGPT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GiesbrechtKL02,
  author       = {Mark Giesbrecht and
                  Erich L. Kaltofen and
                  Wen{-}shin Lee},
  editor       = {Teo Mora},
  title        = {Algorithms for computing the sparsest shifts of polynomials via the
                  Berlekamp/Massey algorithm},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {101--108},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780519},
  doi          = {10.1145/780506.780519},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/GiesbrechtKL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/HoeijM02,
  author       = {Mark van Hoeij and
                  Michael B. Monagan},
  editor       = {Teo Mora},
  title        = {A modular {GCD} algorithm over number fields presented with multiple
                  extensions},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {109--116},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780520},
  doi          = {10.1145/780506.780520},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/HoeijM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Hoeven02,
  author       = {Joris van der Hoeven},
  editor       = {Teo Mora},
  title        = {A new zero-test for formal power series},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {117--122},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780521},
  doi          = {10.1145/780506.780521},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Hoeven02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/HossainS02,
  author       = {Shahadat Hossain and
                  Trond Steihaug},
  editor       = {Teo Mora},
  title        = {Sparsity issues in the computation of Jacobian matrices},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {123--130},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780522},
  doi          = {10.1145/780506.780522},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/HossainS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Jeannerod02,
  author       = {Claude{-}Pierre Jeannerod},
  editor       = {Teo Mora},
  title        = {A reduced form for perturbed matrix polynomials},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {131--137},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780523},
  doi          = {10.1145/780506.780523},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Jeannerod02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Kaltofen02,
  author       = {Erich L. Kaltofen},
  editor       = {Teo Mora},
  title        = {An output-sensitive variant of the baby steps/giant steps determinant
                  algorithm},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {138--144},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780524},
  doi          = {10.1145/780506.780524},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/Kaltofen02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Khetan02,
  author       = {Amit Khetan},
  editor       = {Teo Mora},
  title        = {Determinantal formula for the chow form of a toric surface},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {145--150},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780525},
  doi          = {10.1145/780506.780525},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Khetan02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KoganM02,
  author       = {Irina A. Kogan and
                  Marc Moreno Maza},
  editor       = {Teo Mora},
  title        = {Computation of canonical forms for ternary cubics},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {151--160},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780526},
  doi          = {10.1145/780506.780526},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/KoganM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Le02,
  author       = {Ha Q. Le},
  editor       = {Teo Mora},
  title        = {Simplification of definite sums of rational functions by creative
                  symmetrizing method},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {161--167},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780527},
  doi          = {10.1145/780506.780527},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Le02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LiST02,
  author       = {Ziming Li and
                  Fritz Schwarz and
                  Serguei P. Tsarev},
  editor       = {Teo Mora},
  title        = {Factoring zero-dimensional ideals of linear partial differential operators},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {168--175},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780528},
  doi          = {10.1145/780506.780528},
  timestamp    = {Wed, 02 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/LiST02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LuksM02,
  author       = {Eugene M. Luks and
                  Takunari Miyazaki},
  editor       = {Teo Mora},
  title        = {Polynomial-time normalizers for permutation groups with restricted
                  composition factors},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {176--183},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780529},
  doi          = {10.1145/780506.780529},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/LuksM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/MateraS02,
  author       = {Guillermo Matera and
                  Alexandre Sedoglavic},
  editor       = {Teo Mora},
  title        = {The differential Hilbert function of a differential rational mapping
                  can be computed in polynomial time},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {184--191},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780530},
  doi          = {10.1145/780506.780530},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/MateraS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Nagasaka02,
  author       = {Kosaku Nagasaka},
  editor       = {Teo Mora},
  title        = {Towards certified irreducibility testing of bivariate approximate
                  polynomials},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {192--199},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780531},
  doi          = {10.1145/780506.780531},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Nagasaka02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/NoroY02,
  author       = {Masayuki Noro and
                  Kazuhiro Yokoyama},
  editor       = {Teo Mora},
  title        = {Yet another practical implementation of polynomial factorization over
                  finite fields},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {200--206},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780532},
  doi          = {10.1145/780506.780532},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/NoroY02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/PanW02,
  author       = {Victor Y. Pan and
                  Xinmao Wang},
  editor       = {Teo Mora},
  title        = {Acceleration of Euclidean algorithm and extensions},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {207--213},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780533},
  doi          = {10.1145/780506.780533},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/PanW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/RichardsonL02,
  author       = {Daniel Richardson and
                  Simon Langley},
  editor       = {Teo Mora},
  title        = {Some observations on familiar numbers},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {214--220},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780534},
  doi          = {10.1145/780506.780534},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/RichardsonL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Rioboo02,
  author       = {Renaud Rioboo},
  editor       = {Teo Mora},
  title        = {Towards faster real algebraic numbers},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {221--228},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780535},
  doi          = {10.1145/780506.780535},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Rioboo02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Schicho02,
  author       = {Josef Schicho},
  editor       = {Teo Mora},
  title        = {Simplification of surface parametrizations},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {229--237},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780536},
  doi          = {10.1145/780506.780536},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Schicho02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Schost02,
  author       = {{\'{E}}ric Schost},
  editor       = {Teo Mora},
  title        = {Degree bounds and lifting techniques for triangular sets},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {238--245},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780537},
  doi          = {10.1145/780506.780537},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Schost02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Storjohann02,
  author       = {Arne Storjohann},
  editor       = {Teo Mora},
  title        = {High-order lifting},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {246--254},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780538},
  doi          = {10.1145/780506.780538},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Storjohann02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/SuzukiS02,
  author       = {Akira Suzuki and
                  Yosuke Sato},
  editor       = {Teo Mora},
  title        = {An alternative approach to comprehensive Gr{\"{o}}bner bases},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {255--261},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780539},
  doi          = {10.1145/780506.780539},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/SuzukiS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/TraversoZ02,
  author       = {Carlo Traverso and
                  Alberto Zanoni},
  editor       = {Teo Mora},
  title        = {Numerical stability and stabilization of Groebner basis computation},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {262--269},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780540},
  doi          = {10.1145/780506.780540},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/TraversoZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Weispfenning02,
  author       = {Volker Weispfenning},
  editor       = {Teo Mora},
  title        = {Canonical comprehensive Gr{\"{o}}bner bases},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {270--276},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780541},
  doi          = {10.1145/780506.780541},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Weispfenning02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2002,
  editor       = {Teo Mora},
  title        = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  publisher    = {{ACM}},
  year         = {2002},
  isbn         = {1-58113-484-3},
  timestamp    = {Wed, 22 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics