Toward the Integration of Numerical Computations into the OMSCS Framework - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2004

Toward the Integration of Numerical Computations into the OMSCS Framework

Abstract

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.
Fichier principal
Vignette du fichier
A04-R-453.pdf (485.03 Ko) Télécharger le fichier

Dates and versions

inria-00099920 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00099920 , version 1

Cite

Jacques Calmet, Vincent Lefèvre. Toward the Integration of Numerical Computations into the OMSCS Framework. 7th International Workshop on Computer Algebra in Scientific Computing - CASC'2004, 2004, Saint Petersburg, Russia, pp.71-79. ⟨inria-00099920⟩
127 View
67 Download

Share

Gmail Facebook X LinkedIn More