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...
Enregistré dans:
| Dans: | URI:https://journals.openedition.org/msh, |
|---|---|
| Auteur principal: | |
| Format: | Article ou chapitre numérique |
| Langue: | Français |
| Publié: |
Mathématiques et sciences humaines
2006
|
| Sujets: | |
| Accès en ligne: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |