Simplifying Polynomial Expressions in a Proof Assistant - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 2005

Simplifying Polynomial Expressions in a Proof Assistant

Laurent Théry
Software and mathematics

Résumé

This paper presents a simple way of performing polynomial simplifications in a proof assistant. This method has been implemented and tested within the Coq prover.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-5614.pdf (240.91 Ko) Télécharger le fichier

Rapport De Recherche Inria  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00070394

Soumis le : vendredi 19 mai 2006-20:22:31

Dernière modification le : mercredi 15 mars 2023-08:58:09

Archivage à long terme le : dimanche 4 avril 2010-21:06:46

Télécharger pour visualiser

Dates et versions

inria-00070394 , version 1 (19-05-2006)

Identifiants

  • HAL Id : inria-00070394 , version 1

Citer

Laurent Théry. Simplifying Polynomial Expressions in a Proof Assistant. [Research Report] RR-5614, INRIA. 2005, pp.16. ⟨inria-00070394⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA-RRRT INRIA2 LARA
156 Consultations
212 Téléchargements

Partager

More