default search action
Search dblp for Publications
export results for "toc:db/conf/issac/issac2003.bht:"
@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.