inria-00099920, version 1
Toward the Integration of Numerical Computations into the OMSCS Framework
Jacques Calmet a, 1Vincent Lefèvre
b, 2
7th International Workshop on Computer Algebra in Scientific Computing - CASC'2004 (2004) 71-79
Résumé : Computer algebra systems and automated theorem provers, which have complementary abilities, can be integrated to form an Open Mechanized Symbolic Computation System (OMSCS). This framework could be extended to integrate numerical computation systems. This paper aims at showing what problems can occur when dealing with numerical computations and what can be done to solve them or at least to provide a clear meaning of a numerical result; it constitutes a step toward this integration.
- a – UNIVERSITäT KARLSRUHE
- b – INRIA
- 1 : Universität Karlsruhe (IAKS)
- Universität Karlsruhe
- 2 : SPACES (INRIA Lorraine - LORIA)
- INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine
- Domaine : Informatique/Autre
- Mots-clés : formal proof – numerical computation – floating-point arithmetic – fixed-point arithmetic || preuve formelle – calcul numérique – arithmétique virgule flottante – arithmétique virgule fixe
- Référence interne : A04-R-453 || calmet04a
- Commentaire : Colloque avec actes et comité de lecture. internationale.
- inria-00099920, version 1
- http://hal.inria.fr/inria-00099920
- oai:hal.inria.fr:inria-00099920
- Contributeur : Publications Loria
- Soumis le : Mardi 26 Septembre 2006, 10:09:06
- Dernière modification le : Jeudi 28 Septembre 2006, 15:22:46
Exporter