Symbolic Computation: Recent Progress and New Frontiers

Paul Zimmermann 1
1 SPACES - Solving problems through algebraic computation and efficient software
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Symbolic computation and computer algebra systems are usually known to be either very slow, or memory expensive. However, some specific symbolic computation problems have received in the last years new algorithmic solutions, which enabled to push further the limits of what is doable within a reasonable amount of time and space. Some noticeable examples are polynomial factorisation, lattice reduction, Groebner basis computation. We will present a few such algorithms, together with a state-of-the-art of what problems computer algebra systems can (or cannot) solve, and for each problem what the current frontiers are.
Type de document :
Communication dans un congrès
International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), Sep 2002, none, 2002
Liste complète des métadonnées

https://hal.inria.fr/inria-00107625
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:03:19
Dernière modification le : jeudi 11 janvier 2018 - 06:20:00
Document(s) archivé(s) le : mercredi 29 mars 2017 - 13:04:45

Identifiants

  • HAL Id : inria-00107625, version 1

Collections

Citation

Paul Zimmermann. Symbolic Computation: Recent Progress and New Frontiers. International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), Sep 2002, none, 2002. 〈inria-00107625〉

Partager

Métriques

Consultations de la notice

102

Téléchargements de fichiers

31