La théorie des types et les systèmes informatiques de traitement de démonstrations mathématiques
Since the end of the sixties, several computer programs allowing to process mathematical knowledge, and in particular mathematical proofs, have been designed. Building such programs raises new questions, in particular that of the conception of logical frameworks where mathematics can be formalized i...
Saved in:
| In: | URI:https://journals.openedition.org/msh, |
|---|---|
| Main Author: | |
| Format: | Article ou chapitre numérique |
| Language: | Français |
| Published: |
Mathématiques et sciences humaines
2006
|
| Subjects: | |
| Online Access: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |