Dealing with Algebraic Expressions over a Field in Coq using Maple - Archive ouverte HAL
Article Dans Une Revue Journal of Scientific Computing Année : 2005

Dealing with Algebraic Expressions over a Field in Coq using Maple

Fichier non déposé

Dates et versions

hal-01125074 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01125074 , version 1

Citer

David Delahaye, Micaela Mayero. Dealing with Algebraic Expressions over a Field in Coq using Maple. Journal of Scientific Computing, 2005, 39, pp.569-592. ⟨hal-01125074⟩

Collections

CNAM CEDRIC-CNAM
13 Consultations
0 Téléchargements

Partager

More