On the way to certify computer algebra systems

Electronic Notes in Theoretical Computer Science

Volumn 23, Issue 3, 1999, Pages 370-385

  Boulme S ^a   Hardin, T ^a   Hirschkoff, D ^a   Menissier Morain V ^a   Rioboo, R ^a  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ALGORITHMS; APPROXIMATION THEORY; C (PROGRAMMING LANGUAGE); COMPUTATIONAL METHODS; FORMAL LANGUAGES; PROBLEM SOLVING; SEMANTICS;

ALGORITHMIC ERRORS; COMPUTER ALGEBRA SYSTEMS; OBJECT-ORIENTED FEATURES; SYMBOLIC MANIPULATIONS;

COMPUTER SYSTEMS;

EID: 19344364447     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80609-7     Document Type: Conference Paper

References (11)

1. Guillaume Alexandre. D'Axiom à Zermelo. Thèse de I'université Paris 6, February 1998.
2. Coq project, The Coq Assistant Reference Manual, version 6.24, 1999.
3. Courant Judicaë. MC: un calcul de modules pour les systèmes de types purs. Thèse de doctorat. Ècole normale supérieure de Lyon. February 1998
4. Davenport J., Siret Y., Tournier E., Lazard D. Lazard Computer Algebra. 1993;Masson
5. Jenks Richard D., Stutor Robert S. The Scientific Computation System. 1992;Springer-Verlag
6. Xavier Leroy. The Objective Caml system, release 2.0. Software and documentation available: http://caml.inria.fr/ocaml/, 1998.
7. Rémy Didie. Des enregistrements aux objects. Mémoire d'habilitation á diriger des recherches en informatique. September 1998;Université Paris 7
8. Didier Rémy et Jéǒme Vouillon. Objective ML: An effective object-oriented extension to ML. Theory And Practice of Object Systems, 1998, to appear.
9. Stoutemyer David R. Crimes and Misdemeanors in the Computer Algebra Trade. Notice of the AMS. Vol. 38:(Number 7):September 1991;778-785
10. Jéǒme Vouillon. Using modules as classes. In Informal proceedings of the FOOL′5 workshop, 1998. available at http://pauillac.infia.fr/~remy/fool
11. Watt S., Broadbery P., Dooley S., Iglio P., Morrison S., Steinbach J., Sutor et R. AXIOM Library Complier User Guide. March 1995;NAG Ltd