Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/issac/AbramovP05,
  author       = {Sergei A. Abramov and
                  M. Petkovssek},
  editor       = {Manuel Kauers},
  title        = {Gosper's algorithm, accurate summation, and the discrete Newton-Leibniz
                  formula},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {5--12},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073888},
  doi          = {10.1145/1073884.1073888},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/AbramovP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/AdamsSW05,
  author       = {Jeffrey Adams and
                  B. David Saunders and
                  Zhendong Wan},
  editor       = {Manuel Kauers},
  title        = {Signature of symmetric rational matrices and the unitary dual of lie
                  groups},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {13--20},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073889},
  doi          = {10.1145/1073884.1073889},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/AdamsSW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/AnaiHY05,
  author       = {Hirokazu Anai and
                  Shinji Hara and
                  Kazuhiro Yokoyama},
  editor       = {Manuel Kauers},
  title        = {Sum of roots with positive real parts},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {21--28},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073890},
  doi          = {10.1145/1073884.1073890},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/AnaiHY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/ArocaCFG05,
  author       = {J. M. Aroca and
                  J. Cano and
                  Ruyong Feng and
                  Xiao{-}Shan Gao},
  editor       = {Manuel Kauers},
  title        = {Algebraic general solutions of algebraic ordinary differential equations},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {29--36},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073891},
  doi          = {10.1145/1073884.1073891},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/ArocaCFG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/BeaumontBDP05,
  author       = {James C. Beaumont and
                  Russell J. Bradford and
                  James H. Davenport and
                  Nalina Phisanbut},
  editor       = {Manuel Kauers},
  title        = {Adherence is better than adjacency: computing the Riemann index using
                  {CAD}},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {37--44},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073892},
  doi          = {10.1145/1073884.1073892},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/BeaumontBDP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/BostanCS05,
  author       = {Alin Bostan and
                  Thomas Cluzeau and
                  Bruno Salvy},
  editor       = {Manuel Kauers},
  title        = {Fast algorithms for polynomial solutions of linear differential equations},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {45--52},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073893},
  doi          = {10.1145/1073884.1073893},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/BostanCS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Boucher05,
  author       = {Delphine Boucher},
  editor       = {Manuel Kauers},
  title        = {Non complete integrability of a magnetic satellite in circular orbit},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {53--60},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073894},
  doi          = {10.1145/1073884.1073894},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Boucher05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/BrettoGL05,
  author       = {Alain Bretto and
                  Luc Gillibert and
                  Bernard Laget},
  editor       = {Manuel Kauers},
  title        = {Symmetric and semisymmetric graphs construction using G-graphs},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {61--67},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073895},
  doi          = {10.1145/1073884.1073895},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/BrettoGL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/BronsteinLW05,
  author       = {Manuel Bronstein and
                  Ziming Li and
                  Min Wu},
  editor       = {Manuel Kauers},
  title        = {Picard--Vessiot extensions for linear functional systems},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {68--75},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073896},
  doi          = {10.1145/1073884.1073896},
  timestamp    = {Thu, 03 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/BronsteinLW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/BrownM05,
  author       = {Christopher W. Brown and
                  Scott McCallum},
  editor       = {Manuel Kauers},
  title        = {On using bi-equational constraints in {CAD} construction},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {76--83},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073897},
  doi          = {10.1145/1073884.1073897},
  timestamp    = {Fri, 04 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/BrownM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Buchberger05,
  author       = {Bruno Buchberger},
  editor       = {Manuel Kauers},
  title        = {A view on the future of symbolic computation},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073885},
  doi          = {10.1145/1073884.1073885},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Buchberger05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/CarvajalCG05,
  author       = {Orlando A. Carvajal and
                  Frederick W. Chapman and
                  Keith O. Geddes},
  editor       = {Manuel Kauers},
  title        = {Hybrid symbolic-numeric integration in multiple dimensions via tensor-product
                  series},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {84--91},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073898},
  doi          = {10.1145/1073884.1073898},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/CarvajalCG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/ChenS05,
  author       = {Zhuliang Chen and
                  Arne Storjohann},
  editor       = {Manuel Kauers},
  title        = {A {BLAS} based {C} library for exact linear algebra on integer matrices},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {92--99},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073899},
  doi          = {10.1145/1073884.1073899},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/ChenS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/CostermansEMP05,
  author       = {Christian Costermans and
                  Jean{-}Yves Enjalbert and
                  Vincel Hoang Ngoc Minh and
                  Michel Petitot},
  editor       = {Manuel Kauers},
  title        = {Structure and asymptotic expansion of multiple harmonic sums},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {100--107},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073900},
  doi          = {10.1145/1073884.1073900},
  timestamp    = {Wed, 20 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/CostermansEMP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/DahanMSWX05,
  author       = {Xavier Dahan and
                  Marc Moreno Maza and
                  {\'{E}}ric Schost and
                  Wenyuan Wu and
                  Yuzhen Xie},
  editor       = {Manuel Kauers},
  title        = {Lifting techniques for triangular decompositions},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {108--115},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073901},
  doi          = {10.1145/1073884.1073901},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/DahanMSWX05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/DaytonZ05,
  author       = {Barry H. Dayton and
                  Zhonggang Zeng},
  editor       = {Manuel Kauers},
  title        = {Computing the multiplicity structure in solving polynomial systems},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {116--123},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073902},
  doi          = {10.1145/1073884.1073902},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/DaytonZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/DengCS05,
  author       = {Jiansong Deng and
                  Falai Chen and
                  Liyong Shen},
  editor       = {Manuel Kauers},
  title        = {Computing {\(\mathrm{\mu}\)}-bases of rational curves and surfaces
                  using polynomial matrix factorization},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {132--139},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073904},
  doi          = {10.1145/1073884.1073904},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/DengCS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/DumasPW05,
  author       = {Jean{-}Guillaume Dumas and
                  Cl{\'{e}}ment Pernet and
                  Zhendong Wan},
  editor       = {Manuel Kauers},
  title        = {Efficient computation of the characteristic polynomial},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {140--147},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073905},
  doi          = {10.1145/1073884.1073905},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/DumasPW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/GalligoP05,
  author       = {Andr{\'{e}} Galligo and
                  Jean Pascal Pavone},
  editor       = {Manuel Kauers},
  title        = {Selfintersections of a b{\'{e}}zier bicubic surface},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {148--155},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073906},
  doi          = {10.1145/1073884.1073906},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/GalligoP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/GerholdK05,
  author       = {Stefan Gerhold and
                  Manuel Kauers},
  editor       = {Manuel Kauers},
  title        = {A procedure for proving special function inequalities involving a
                  discrete parameter},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {156--162},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073907},
  doi          = {10.1145/1073884.1073907},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/GerholdK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/GrigorievS05,
  author       = {Dima Grigoriev and
                  Fritz Schwarz},
  editor       = {Manuel Kauers},
  title        = {Generalized Loewy-decomposition of d-modules},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {163--170},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073908},
  doi          = {10.1145/1073884.1073908},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/GrigorievS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Hitz05,
  author       = {Markus A. Hitz},
  editor       = {Manuel Kauers},
  title        = {On computing nearest singular hankel matrices},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {171--176},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073909},
  doi          = {10.1145/1073884.1073909},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Hitz05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/HoeijW05,
  author       = {Mark van Hoeij and
                  Jacques{-}Arthur Weil},
  editor       = {Manuel Kauers},
  title        = {Solving second order linear differential equations with Klein's theorem},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {340--347},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073931},
  doi          = {10.1145/1073884.1073931},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/HoeijW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/HovinenE05,
  author       = {Bradford Hovinen and
                  Wayne Eberly},
  editor       = {Manuel Kauers},
  title        = {A reliable block Lanczos algorithm over small finite fields},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {177--184},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073910},
  doi          = {10.1145/1073884.1073910},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/HovinenE05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/HuangC05,
  author       = {Fangjian Huang and
                  Shengli Chen},
  editor       = {Manuel Kauers},
  title        = {Schur partition for symmetric ternary forms and readable proof to
                  inequalities},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {185--192},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073911},
  doi          = {10.1145/1073884.1073911},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/HuangC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/JeffreyPR05,
  author       = {David J. Jeffrey and
                  Pratibha and
                  K. B. Roach},
  editor       = {Manuel Kauers},
  title        = {Affine transformations of algebraic numbers},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {193--199},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073912},
  doi          = {10.1145/1073884.1073912},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/JeffreyPR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/JohnsonKR05,
  author       = {Jeremy R. Johnson and
                  Werner Krandick and
                  Anatole D. Ruslanov},
  editor       = {Manuel Kauers},
  title        = {Architecture-aware classical Taylor shift by 1},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {200--207},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073913},
  doi          = {10.1145/1073884.1073913},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/JohnsonKR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/KaltofenK05,
  author       = {Erich L. Kaltofen and
                  Pascal Koiran},
  editor       = {Manuel Kauers},
  title        = {On the complexity of factoring bivariate supersparse (Lacunary) polynomials},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {208--215},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073914},
  doi          = {10.1145/1073884.1073914},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/KaltofenK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/KaltofenMY05,
  author       = {Erich L. Kaltofen and
                  Dmitriy Morozov and
                  George Yuhasz},
  editor       = {Manuel Kauers},
  title        = {Generic matrix multiplication and memory management in linBox},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {216--223},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073915},
  doi          = {10.1145/1073884.1073915},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/KaltofenMY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/KleineMW05,
  author       = {Jennifer de Kleine and
                  Michael B. Monagan and
                  Allan D. Wittkopf},
  editor       = {Manuel Kauers},
  title        = {Algorithms for the non-monic case of the sparse modular {GCD} algorithm},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {124--131},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073903},
  doi          = {10.1145/1073884.1073903},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/KleineMW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/LiCW05,
  author       = {Biao Li and
                  Yong Chen and
                  Qi Wang},
  editor       = {Manuel Kauers},
  title        = {Exact analytical solutions to the nonlinear Schr{\"{o}}dinger
                  equation model},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {224--230},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073916},
  doi          = {10.1145/1073884.1073916},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/LiCW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Lichtblau05,
  author       = {Daniel Lichtblau},
  editor       = {Manuel Kauers},
  title        = {Half-GCD and fast rational recovery},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {231--236},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073917},
  doi          = {10.1145/1073884.1073917},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Lichtblau05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/MaoW05,
  author       = {Weibo Mao and
                  Jinzhao Wu},
  editor       = {Manuel Kauers},
  title        = {Application of Wu's method to symbolic model checking},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {237--244},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073918},
  doi          = {10.1145/1073884.1073918},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/MaoW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Monagan05,
  author       = {Michael B. Monagan},
  editor       = {Manuel Kauers},
  title        = {Probabilistic algorithms for computing resultants},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {245--252},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073919},
  doi          = {10.1145/1073884.1073919},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Monagan05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Mourrain05,
  author       = {Bernard Mourrain},
  editor       = {Manuel Kauers},
  title        = {Generalized normal forms and polynomial system solving},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {253--260},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073920},
  doi          = {10.1145/1073884.1073920},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Mourrain05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/OanceaW05,
  author       = {Cosmin E. Oancea and
                  Stephen M. Watt},
  editor       = {Manuel Kauers},
  title        = {Domains and expressions: an interface between two approaches to computer
                  algebra},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {261--268},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073921},
  doi          = {10.1145/1073884.1073921},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/OanceaW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Perez-DiazS05,
  author       = {Sonia P{\'{e}}rez{-}D{\'{\i}}az and
                  J. Rafael Sendra},
  editor       = {Manuel Kauers},
  title        = {Partial degree formulae for rational algebraic surfaces},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {301--308},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073926},
  doi          = {10.1145/1073884.1073926},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Perez-DiazS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/ReidVWW05,
  author       = {Greg Reid and
                  Jan Verschelde and
                  Allan D. Wittkopf and
                  Wenyuan Wu},
  editor       = {Manuel Kauers},
  title        = {Symbolic-numeric completion of differential systems by homotopy continuation},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {269--276},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073922},
  doi          = {10.1145/1073884.1073922},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/ReidVWW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/RondepierreD05,
  author       = {Aude Rondepierre and
                  Jean{-}Guillaume Dumas},
  editor       = {Manuel Kauers},
  title        = {Algorithms for symbolic/numeric control of affine dynamical systems},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {277--284},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073923},
  doi          = {10.1145/1073884.1073923},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/RondepierreD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Salvy05,
  author       = {Bruno Salvy},
  editor       = {Manuel Kauers},
  title        = {D-finiteness: algorithms and applications},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {2--3},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073886},
  doi          = {10.1145/1073884.1073886},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Salvy05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Schneider05,
  author       = {Carsten Schneider},
  editor       = {Manuel Kauers},
  title        = {Finding telescopers with minimal depth for indefinite nested sum and
                  product expressions},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {285--292},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073924},
  doi          = {10.1145/1073884.1073924},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Schneider05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Schost05,
  author       = {{\'{E}}ric Schost},
  editor       = {Manuel Kauers},
  title        = {Multivariate power series multiplication},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {293--300},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073925},
  doi          = {10.1145/1073884.1073925},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Schost05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/StorjohannV05,
  author       = {Arne Storjohann and
                  Gilles Villard},
  editor       = {Manuel Kauers},
  title        = {Computing the rank and a small nullspace basis of a polynomial matrix},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {309--316},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073927},
  doi          = {10.1145/1073884.1073927},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/StorjohannV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Tournier05,
  author       = {Laurent Tournier},
  editor       = {Manuel Kauers},
  title        = {Approximation of dynamical systems using s-systems theory: application
                  to biological systems},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {317--324},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073928},
  doi          = {10.1145/1073884.1073928},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Tournier05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Tsarev05,
  author       = {Sergey P. Tsarev},
  editor       = {Manuel Kauers},
  title        = {Generalized laplace transformations and integration of hyperbolic
                  systems of linear partial differential equations},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {325--331},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073929},
  doi          = {10.1145/1073884.1073929},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Tsarev05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Turner05,
  author       = {William J. Turner},
  editor       = {Manuel Kauers},
  title        = {Preconditioners for singular black box matrices},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {332--339},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073930},
  doi          = {10.1145/1073884.1073930},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Turner05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/WangX05,
  author       = {Dongming Wang and
                  Bican Xia},
  editor       = {Manuel Kauers},
  title        = {Stability analysis of biological systems with real solution classification},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {354--361},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073933},
  doi          = {10.1145/1073884.1073933},
  timestamp    = {Tue, 19 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/WangX05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Wen-Tsun05,
  author       = {Wu Wen{-}Ts{\"{u}}n},
  editor       = {Manuel Kauers},
  title        = {On a finite kernel theorem for polynomial-type optimization problems
                  and some of its applications},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {4},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073887},
  doi          = {10.1145/1073884.1073887},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Wen-Tsun05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Woestijne05,
  author       = {Christiaan E. van de Woestijne},
  editor       = {Manuel Kauers},
  title        = {Deterministic equation solving over finite fields},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {348--353},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073932},
  doi          = {10.1145/1073884.1073932},
  timestamp    = {Mon, 07 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Woestijne05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/YangZ05,
  author       = {Lu Yang and
                  Zhenbing Zeng},
  editor       = {Manuel Kauers},
  title        = {An open problem on metric invariants of tetrahedra},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {362--364},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073934},
  doi          = {10.1145/1073884.1073934},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/YangZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Zobnin05,
  author       = {Aleksey Zobnin},
  editor       = {Manuel Kauers},
  title        = {Admissible orderings and finiteness criteria for differential standard
                  bases},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {365--372},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073935},
  doi          = {10.1145/1073884.1073935},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Zobnin05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/issac/2005,
  editor       = {Manuel Kauers},
  title        = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  publisher    = {{ACM}},
  year         = {2005},
  isbn         = {1-59593-095-7},
  timestamp    = {Wed, 22 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.