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 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998)

• An analysis of cancellation errror in multivariate Hensel construction with floating-point number arithmetic
  Tateaki Sasaki, Satoshi Yamaguchi
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 1-8
• Singular systems of polynomials
  Hans J. Stetter, Günther H. Thallinger
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 9-16
• Polytime algorithm for the shortest path in a homotopy class amidst semi-algebraic obstacles in the plane
  D. Grigoriev, A. Slissenko
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 17-24
• Complexity of computing semi-algebraic descriptions of the connected components of a semi-algebraic set
  Saugata Basu, Richard Pollack, Marie-Françoise Roy
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 25-29
• FoxBox: A system for manipulating symbolic objects in black box representation
  Angel Díaz, Erich Kaltofen
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 30-37
• The GAP 4 type system - Organising algebraic algorithms
  Thomas Breuer, Steve Linton
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 38-45
• Software components using symbolic computation for problem solving environments
  Y.N. Lakshman, Bruce Char, Jeremy Johnson
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 46-53
• Coordinating mathematical content and presentation markup in interactive mathematical documents
  Samuel S. Dooley
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 54-61
• Software components for computer algebra
  Pietro Iglio, Giuseppe Attardi
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 62-69
• Compound program packages and a nonlinear random fluctuations analysis
  Igor E. Poloskov
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 70-75
• Application of computer algebra methods to the construction of an asteroid motion theory based on Lie transforms
  Akmal A. Vakhdov, Irina V. Tupikova
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 76-79
• Lightweight formal methods for computer algebra systems
  Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 80-87
• Approaches to parallel quantifier elimination
  Andreas Dolzmann, Oliver Gloor, Thomas Sturm
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 88-95
• On bivariate Hensel lifting and its parallelization
  Laurent Bernardin
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 96-100
• An O(n^3) algorithm for the Frobenius normal form
  Arne Storjohann
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 101-104
• The modulo N extended GCD problem for polynomials
  Thom Mulders, Arne Storjohann
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 105-112
• Certifying inconsistency of sparse linear systems
  M. Giesbrecht, A. Lobo, B.D. Saunders
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 113-119
• Rational solutions of linear difference equations
  Mark van Hoeij
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 120-123
• Rational solutions of first order linear difference systems
  S.A. Abramov, M.A. Barkatou
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 124-131
• A subresultant theory for Ore polynomials with applications
  Ziming Li
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 132-139
• Canonical subalgebra bases in non-commutative polynomial rings
  Patrik Nordbeck
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 140-146
• Efficient algorithms for ideal operations
  Massimo Caboara, Carlo Traverso
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 147-152
• Deciding linear disjointness of finitely generated fields
  Jörn Müller-Quade, Martin Rötteler
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 153-160
• Covering monomial algebras
  R. Nörenberg
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 161-164
• Fast multiplication and growth in groups
  Charles C. Sims
  Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998), 1998, pp. 165-170