Formalisation des nombres algébriques : construction et théorie du premier ordre.
Cette thèse présente une formalisation des nombres algébriques et de leur théorie. Elle apporte deux nouvelles contributions importantes à la formalisation de résultats mathématiques dans des assistants à la preuve, ici Coq : la construction intuitionniste des nombres algébriques réels et la preuve...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Ecole Polytechnique X
2012
|
| Subjects: | |
| Online Access: | http://pastel.archives-ouvertes.fr/pastel-00780446 http://pastel.archives-ouvertes.fr/docs/00/78/04/46/PDF/main.pdf |