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=Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996)

• Computational method for solving the systems of recurrent equations
  Vladimir B. Balakirsky
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 1-3
• Functional aspects of some approximate methods
  Rémi Barrère
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 5-8
• Computer algebra system as a tool: Exact evaluation of definite n-dimensional integrals with undetermined a priory integer n
  Vladimir V. Bondarenko
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 9-12
• Numerical integration of dynamical systems using Taylor series
  L. Brenig, M. Codutti, A. Figueiredo
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 13-16
• Compatible module orderings
  Massimo Caboara, Marco Silvestri
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 17-20
• Domains of computation in the computer algebra system MuPAD
  Klaus Drescher
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 21-23
• ANNA: An expert system for choosing and applying numerical library routines
  Brian J. Dupée
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 25-28
• Algorithms for the computation of power integral bases in algebraic number fields
  István Gaál
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 29-32
• SINGULAR - A computer algebra system for singularity theory, algebraic geometry and communtative algebra
  G.-M. Greuel, G. Pfister, H. Schönemann
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 33-36
• Code abstraction to facilitate numerical program generation in REDUCE
  I. Heitlager, N.R. van den Berg, J.B. van Veelen, V.V. Goldman, J.A. van Hulzen
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 37-40
• Computing the Galois group of a differential equation of order 4
  Sabrina A. Hessinger
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 41-44
• LWB - The logics workbench 1.0
  Alain Heuerding, Gerhard Jäger, Stefan Schwendimann
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 45-48
• A graphical interface for geometric theorem proving
  Günter Hotz, Eva Rohnert, Elmar Schömer
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 49-52
• Module design of computer algebra interfaces and windows technology for PC
  Oleg Ivanov, Sergei Ivanov
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 53-54
• Random effects analysis with computer algebra systems
  V.V. Malanin, I.E. Poloskov
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 55-58
• Multivariate polynomial matrices using straight-line programs
  Raquel Martínez, Bonifacio Castaño, Juan Llovet
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 59-62
• Algorithms for computing in subalgebras of polynomial algebras over a ring
  J. Lyn Miller
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 63-66
• On the latest version of DESIR-II
  Eckhard Pflügel
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 71-74
• Automatic algorithm stabilization
  Kiyoshi Shirayanagi, Moss Sweedler
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 75-78
• Implementation of convex analysis operations using Maple
  Margarita Spiridonova, Ljubomir Alamanov, Peter Kenderov
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 79-82
• Object-oriented design and symbolic computation
  W.-H. Steeb, Tan Kiat Shi
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 83-86
• FACTORY - A C++ class library for multivariate polynomial arithmetic
  Rüdiger Stobbe
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 87-87
• GRC_{EC}: Computer algebra system for applications in gravitation theory
  Sergey I. Tertychniy, Irina G. Obukhova
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 89-92
• Testing torsion divisors for symbolic integration
  Emil Volcheck
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 93-94
• The lattice class in LiDIA
  Susanne Wetzel, Werner Backes, Thorsten Lauer
  Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 95-98