Simplifying Polynomial Expressions in a Proof Assistant
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.
Rapport
(Rapport De Recherche)
Année : 2005
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
Dates et versions
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⟩
Collections
134
Consultations
203
Téléchargements