default search action

combined dblp search
author search
venue search
publication search

ask others

Search dblp for Publications

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

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

> Home > Search

download as .bib file

@inproceedings{DBLP:conf/issac/AbramovLP03,
  author       = {Sergei A. Abramov and
                  Ha Q. Le and
                  Marko Petkovsek},
  editor       = {J. Rafael Sendra},
  title        = {Rational canonical forms and efficient representations of hypergeometric
                  terms},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {7--14},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860861},
  doi          = {10.1145/860854.860861},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/AbramovLP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/ArocaCJ03,
  author       = {F. Aroca and
                  J. Cano and
                  Fran{\c{c}}oise Jung},
  editor       = {J. Rafael Sendra},
  title        = {Power series solutions for non-linear PDE's},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {15--22},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860863},
  doi          = {10.1145/860854.860863},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/ArocaCJ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Barnett03,
  author       = {Michael P. Barnett},
  editor       = {J. Rafael Sendra},
  title        = {Chemistry and computer algebra: past, present, future},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {1--2},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860856},
  doi          = {10.1145/860854.860856},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Barnett03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/BasiriF03,
  author       = {Abdolali Basiri and
                  Jean{-}Charles Faug{\`{e}}re},
  editor       = {J. Rafael Sendra},
  title        = {Changing the ordering of Gr{\"{o}}bner bases with {LLL:} case
                  of two variables},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {23--29},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860866},
  doi          = {10.1145/860854.860866},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/BasiriF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/BeaumontBD03,
  author       = {James C. Beaumont and
                  Russell J. Bradford and
                  James H. Davenport},
  editor       = {J. Rafael Sendra},
  title        = {Better simplification of elementary functions through power series},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {30--36},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860867},
  doi          = {10.1145/860854.860867},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/BeaumontBD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/BostanLS03,
  author       = {Alin Bostan and
                  Gr{\'{e}}goire Lecerf and
                  {\'{E}}ric Schost},
  editor       = {J. Rafael Sendra},
  title        = {Tellegen's principle into practice},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {37--44},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860870},
  doi          = {10.1145/860854.860870},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/BostanLS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/BoucherGU03,
  author       = {Delphine Boucher and
                  Philippe Gaillard and
                  Felix Ulmer},
  editor       = {J. Rafael Sendra},
  title        = {Fourth order linear differential equations with imprimitive group},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {45--49},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860871},
  doi          = {10.1145/860854.860871},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/BoucherGU03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Chapman03,
  author       = {Frederick W. Chapman},
  editor       = {J. Rafael Sendra},
  title        = {An elementary algorithm for the automatic derivation and proof of
                  tensor product identities via computer algebra},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {50--57},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860873},
  doi          = {10.1145/860854.860873},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Chapman03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Cluzeau03,
  author       = {Thomas Cluzeau},
  editor       = {J. Rafael Sendra},
  title        = {Factorization of differential systems in characteristic \emph{p}},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {58--65},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860875},
  doi          = {10.1145/860854.860875},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Cluzeau03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/CoopermanR03,
  author       = {Gene Cooperman and
                  Eric Robinson},
  editor       = {J. Rafael Sendra},
  title        = {Memory-based and disk-based algorithms for very high degree permutation
                  groups},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {66--73},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860877},
  doi          = {10.1145/860854.860877},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/CoopermanR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Datta03,
  author       = {Ruchira S. Datta},
  editor       = {J. Rafael Sendra},
  title        = {Using computer algebra to find nash equilibria},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {74--79},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860879},
  doi          = {10.1145/860854.860879},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/Datta03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/DinS03,
  author       = {Mohab Safey El Din and
                  {\'{E}}ric Schost},
  editor       = {J. Rafael Sendra},
  title        = {Polar varieties and computation of one point in each connected component
                  of a smooth real algebraic set},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {224--231},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860901},
  doi          = {10.1145/860854.860901},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/DinS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Eberly03,
  author       = {Wayne Eberly},
  editor       = {J. Rafael Sendra},
  title        = {Early termination over small fields},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {80--87},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860882},
  doi          = {10.1145/860854.860882},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Eberly03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Fateman03,
  author       = {Richard J. Fateman},
  editor       = {J. Rafael Sendra},
  title        = {High-level proofs of mathematical programs using automatic differentiation,
                  simplification, and some common sense},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {88--94},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860883},
  doi          = {10.1145/860854.860883},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Fateman03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/FatemanT03,
  author       = {Richard J. Fateman and
                  Raymond Toy},
  editor       = {J. Rafael Sendra},
  title        = {Converting call-by-reference to call-by-value: Fortran and Lisp coexisting},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {95--102},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860884},
  doi          = {10.1145/860854.860884},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/FatemanT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Fredet03,
  author       = {Anne Fredet},
  editor       = {J. Rafael Sendra},
  title        = {Factorization of linear differential operators in exponential extensions},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {103--110},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860885},
  doi          = {10.1145/860854.860885},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Fredet03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/GeddesZ03,
  author       = {Keith O. Geddes and
                  Wei Wei Zheng},
  editor       = {J. Rafael Sendra},
  title        = {Exploiting fast hardware floating point in high precision computation},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {111--118},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860886},
  doi          = {10.1145/860854.860886},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/GeddesZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/GerhardGSZ03,
  author       = {J{\"{u}}rgen Gerhard and
                  Mark Giesbrecht and
                  Arne Storjohann and
                  Eugene V. Zima},
  editor       = {J. Rafael Sendra},
  title        = {Shiftless decomposition and polynomial-time rational summation},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {119--126},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860887},
  doi          = {10.1145/860854.860887},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/GerhardGSZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/GiorgiJV03,
  author       = {Pascal Giorgi and
                  Claude{-}Pierre Jeannerod and
                  Gilles Villard},
  editor       = {J. Rafael Sendra},
  title        = {On the complexity of polynomial matrix computations},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {135--142},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860889},
  doi          = {10.1145/860854.860889},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/GiorgiJV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Hoeven03,
  author       = {Joris van der Hoeven},
  editor       = {J. Rafael Sendra},
  title        = {Relaxed mltiplication using the middle product},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {143--147},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860890},
  doi          = {10.1145/860854.860890},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Hoeven03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/HubertR03,
  author       = {Evelyne Hubert and
                  Nicolas Le Roux},
  editor       = {J. Rafael Sendra},
  title        = {Computing power series solutions of a nonlinear {PDE} system},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {148--155},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860891},
  doi          = {10.1145/860854.860891},
  timestamp    = {Mon, 22 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/HubertR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/HulpkeL03,
  author       = {Alexander Hulpke and
                  Steve Linton},
  editor       = {J. Rafael Sendra},
  title        = {Total ordering on subgroups and cosets},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {156--160},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860892},
  doi          = {10.1145/860854.860892},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/HulpkeL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Kaltofen03,
  author       = {Erich L. Kaltofen},
  editor       = {J. Rafael Sendra},
  title        = {Polynomial factorization: a success story},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {3--4},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860857},
  doi          = {10.1145/860854.860857},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/Kaltofen03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/KaltofenM03,
  author       = {Erich L. Kaltofen and
                  John P. May},
  editor       = {J. Rafael Sendra},
  title        = {On approximate irreducibility of polynomials in several variables},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {161--168},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860893},
  doi          = {10.1145/860854.860893},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/KaltofenM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Koepf03,
  author       = {Wolfram Koepf},
  editor       = {J. Rafael Sendra},
  title        = {Power series, Bieberbach conjecture and the de Branges and Weinstein
                  functions},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {169--175},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860894},
  doi          = {10.1145/860854.860894},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Koepf03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Laubenbacher03,
  author       = {Reinhard C. Laubenbacher},
  editor       = {J. Rafael Sendra},
  title        = {A computer algebra approach to biological systems},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {5--6},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860859},
  doi          = {10.1145/860854.860859},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Laubenbacher03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/LevandovskyyS03,
  author       = {Viktor Levandovskyy and
                  Hans Sch{\"{o}}nemann},
  editor       = {J. Rafael Sendra},
  title        = {Plural: a computer algebra system for noncommutative polynomial algebras},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {176--183},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860895},
  doi          = {10.1145/860854.860895},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/LevandovskyyS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/MansfieldS03,
  author       = {Elizabeth L. Mansfield and
                  {\'{A}}gnes Sz{\'{a}}nt{\'{o}}},
  editor       = {J. Rafael Sendra},
  title        = {Elimination theory for differential difference polynomials},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {191--198},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860897},
  doi          = {10.1145/860854.860897},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/MansfieldS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/McCallum03,
  author       = {Scott McCallum},
  editor       = {J. Rafael Sendra},
  title        = {On order-invariance of a binomial over a nullifying cell},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {184--190},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860896},
  doi          = {10.1145/860854.860896},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/McCallum03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/MeunierS03,
  author       = {Ludovic Meunier and
                  Bruno Salvy},
  editor       = {J. Rafael Sendra},
  title        = {{ESF:} an automatically generated encyclopedia of special functions},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {199--206},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860898},
  doi          = {10.1145/860854.860898},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/MeunierS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Minimair03,
  author       = {Manfred Minimair},
  editor       = {J. Rafael Sendra},
  title        = {Factoring sparse resultants of linearly combined polynomials},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {207--214},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860899},
  doi          = {10.1145/860854.860899},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/Minimair03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/ReidTZ03,
  author       = {Gregory J. Reid and
                  Jianliang Tang and
                  Lihong Zhi},
  editor       = {J. Rafael Sendra},
  title        = {A complete symbolic-numeric linear method for camera pose determination},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {215--223},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860900},
  doi          = {10.1145/860854.860900},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/ReidTZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Sasaki03,
  author       = {Tateaki Sasaki},
  editor       = {J. Rafael Sendra},
  title        = {The subresultant and clusters of close roots},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {232--239},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860902},
  doi          = {10.1145/860854.860902},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Sasaki03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/SeidlS03,
  author       = {Andreas Seidl and
                  Thomas Sturm},
  editor       = {J. Rafael Sendra},
  title        = {A generic projection operator for partial cylindrical algebraic decomposition},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {240--247},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860903},
  doi          = {10.1145/860854.860903},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/SeidlS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Shaska03,
  author       = {Tanush Shaska},
  editor       = {J. Rafael Sendra},
  title        = {Determining the automorphism group of a hyperelliptic curve},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {248--254},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860904},
  doi          = {10.1145/860854.860904},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Shaska03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Vollmer03,
  author       = {Ulrich Vollmer},
  editor       = {J. Rafael Sendra},
  title        = {A note on the hermite basis computation of large integer matrices},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {255--257},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860905},
  doi          = {10.1145/860854.860905},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Vollmer03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/WangKZZ03,
  author       = {Paul S. Wang and
                  Norbert Kajler and
                  Yi Zhou and
                  Xiao Zou},
  editor       = {J. Rafael Sendra},
  title        = {{WME:} towards a web for mathematics education},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {258--265},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860906},
  doi          = {10.1145/860854.860906},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/WangKZZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Zeng03,
  author       = {Zhonggang Zeng},
  editor       = {J. Rafael Sendra},
  title        = {A method computing multiple roots of inexact polynomials},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  pages        = {266--272},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/860854.860907},
  doi          = {10.1145/860854.860907},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Zeng03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/issac/2003,
  editor       = {J. Rafael Sendra},
  title        = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
                  2003, Proceedings},
  publisher    = {{ACM}},
  year         = {2003},
  isbn         = {1-58113-641-2},
  timestamp    = {Wed, 22 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.