Dealing with Algebraic Expressions over a Field in Coq using Maple

Article de revue

Avec comité de lecture

David Delahaye et Micaela Mayero

Journal of Symbolic Computation, Vol.39(5), pp.569-592

2005

Fichiers et liens (1)

url

Find in HALAfficher

1 Consultations de la notice

Titre: Dealing with Algebraic Expressions over a Field in Coq using Maple
Créateurs - sans rôle: David Delahaye - Conservatoire National des Arts et Métiers
Micaela Mayero - Délégation Paris 7
Détails de publication: Journal of Symbolic Computation, Vol.39(5), pp.569-592
Identifiants: 99150202909311
Unité académique: Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
Langue: English
Type de ressource: Journal article
Champs locaux: hal-01125074