Fakultät für Informatik - Technische Universität München Lehrstuhl für Effiziente Algorithmen

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen	Hilfe

Suche: Booktitle=Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005)

• A view on the future of symbolic computation
  Bruno Buchberger
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 1-1
• D-finiteness: Algorithms and applications
  Bruno Salvy
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 2-3
• On a finite kernel theorem for polynomial-type optimization problems and some of its applications
  Wen-tsun Wu
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 4-4
• Gosper's algorithm, accurate summation, and the discrete Newton-Leibniz formula
  S.A. Abramov, M. Petkovs̑sek
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 5-12
• Signature of symmetric rational matrices and the unitary dual of Lie groups
  Jeffrey Adams, B. David Saunders, Zhendong Wan
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 13-20
• Sum of roots with positive real parts
  Hirokazu Anai, Shinji Hara, Kazuhiro Yokoyama
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 21-28
• Algebraic general solutions of algebraic ordinary differential equations
  J.M. Aroca, J. Cano, R. Feng, X.S. Gao
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 29-36
• Adherence is better than adjacency: Computing the Riemann index using CAD
  James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 37-44
• Fast algorithms for polynomial solutions of linear differential equations
  Alin Bostan, Thomas Cluzeau, Bruno Salvy
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 45-52
• Non complete integrability of a magnetic satellite in circular orbit
  Delphine Boucher
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 53-60
• Symmetric and semisymmetric graphs construction using G-graphs
  Alain Bretto, Luc Gillibert, Bernard Laget
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 61-67
• Picard-Vessiot extensions for linear functional systems
  Manuel Bronstein, Ziming Li, Min Wu
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 68-75
• On using bi-equational constraints in CAD construction
  Christopher W. Brown, Scott McCallum
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 76-83
• Hybrid symbolic-numeric integration in multiple dimensions via tensor-product series
  Orlando A. Carvajal, Frederick W. Chapman, Keith O. Geddes
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 84-91
• A BLAS based C library for exact linear algebra on integer matrices
  Zhuliang Chen, Arne Storjohann
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 92-99
• Structure and asymptotic expansion of multiple harmonic sums
  C. Costermans, J.Y. Enjalbert, Hoang Ngoc Minh, M. Petitot
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 100-107
• Lifting techniques for triangular decompositions
  Xavier Dahan, Marc Moreno Maza, Eric Schost, Wenyuan Wu, Yuzhen Xie
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 108-115
• Computing the multiplicity structure in solving polynomial systems
  Barry H. Dayton, Zhonggang Zeng
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 116-123
• Algorithms for the non-monic case of the sparse modular GCD algorithm
  Jennifer de Kleine, Michael Monagan, Allan Wittkopf
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 124-131
• Computing \mu-bases of rational curves and surfaces using polynomial matrix factorization
  Jiansong Deng, Falai Chen, Liyong Shen
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 132-139
• Efficient computation of the characteristic polynomial
  Jean-Guillaume Dumas, Clément Pernet, Zhendong Wan
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 140-147
• Selfintersections of a Bézier bicubic surface
  André Galligo, Jean Pascal Pavone
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 148-155
• A procedure for proving special function inequalities involving a discrete parameter
  Stefan Gerhold, Manuel Kauers
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 156-162
• Generalized Loewy-decomposition of d-modules
  Dima Grigoriev, Fritz Schwarz
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 163-170
• On computing nearest singular Hankel matrices
  Markus A. Hitz
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005), 2004, pp. 171-176