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 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)

• Computing super-irreducible forms of systems of linear differential equations via Moser-reduction: A new approach
  Moulay A. Barkatou, Eckhard Pflügel
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 1-8
• Structured matrix-based methods for polynomial \in-GCD: Analysis and comparisons
  Dario A. Bini, Paola Boito
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 9-16
• Integer and polynomial multiplication: Towards optimal Toom-Cook matrices
  Marco Bodrato, Alberto Zanoni
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 17-24
• Differential equations for algebraic functions
  Alin Bostan, Frédéric Chyzak, Bruno Salvy, Grégoire Lecerf, Éric Schost
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 25-32
• Solving Toeplitz- and Vandermonde-like linear systems with large displacement rank
  Alin Bostan, Claude-Pierre Jeannerod, Éric Schost
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 33-40
• Nonassociative structures on polynomial algebras arising from bio-operations on formal languages: An application of computer algebra to nonassociative systems
  Murray R. Bremner, Michael J. Hancock, Yunfeng Piao
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 41-48
• G-graphs for the cage problem: A new upper bound
  Alain Bretto, Luc Gillibert
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 49-53
• The complexity of quantifier elimination and cylindrical algebraic decomposition
  Christopher W. Brown, James H. Davenport
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 54-60
• Differential forms in computational algebraic geometry
  Peter Bürgisser, Peter Scheiblechner
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 61-68
• Implicitization of bihomogeneous parametrizations of algebraic surfaces via linear Syzygies
  Laurent Busé, Marc Dohm
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 69-76
• A canonical form for piecewise defined functions
  Jacques Carette
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 77-84
• Time-and space-efficient evaluation of some hypergeometric constants
  Howard Cheng, Guillaume Hanrot, Emmanuel Thomé, Paul Zimmermann, Eugene Zima
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 85-91
• Complete numerical isolation of real zeros in zero-dimensional triangular systems
  Jin-San Cheng, Xiao-Shan Gao, Chee-Keng Yap
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 92-99
• Non-associative Gröbner bases, finitely-presented Lie rings and the Engel condition
  Serena Cicalò, Willem de Graaf
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 100-107
• Jeffery-Hamel flow with Maple: A case study of integration of elliptic functions in a CAS
  Robert M. Corless, Dawit Assefa
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 108-115
• The solution of S exp(S) = A is not always the Lambert W function of A
  Robert M. Corless, Hui Ding, Nicholas J. Higham, David J. Jeffrey
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 116-121
• A Gröbner fan method for biochemical network modeling
  Elena S. Dimitrova, Abdul Salam Jarrah, Reinhard Laubenbacher, Brandilyn Stigler
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 122-126
• On the complexity of real solving bivariate systems
  Dimitrios I. Diochnos, Ioannis Z. Emiris, Elias P. Tsigaridas
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 127-134
• Towards a new ODE solver based on Cartan's equivalence method
  Raouf Dridi, Michel Petitot
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 135-142
• Faster inversion and other black box matrix computations using efficient block projections
  Wayne Eberly, Mark Giesbrecht, Pascal Giorgi, Arne Storjohann, Gilles Villard
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 143-150
• Fast and exact geometric analysis of real algebraic plane curves
  Arno Eigenwillig, Michael Kerber, Nicola Wolpert
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 151-158
• Systems of three polynomials with two separated variables
  Mohamed Elkadi, André Galligo
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 159-166
• A GMP-based implementation of Schönhage-Strassen's large integer multiplication algorithm
  Pierrick Gaudry, Alexander Kruppa, Paul Zimmermann
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 167-174
• Structured matrix methods for polynomial root-finding
  Luca Gemignani
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 175-180
• The isomorphism problem for cyclic algebras and an application
  Timo Hanke
  Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007), 2007, pp. 181-186