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...
Gorde:
| Argitaratua izan da: | URI:https://journals.openedition.org/msh, |
|---|---|
| Egile nagusia: | |
| Formatua: | Article ou chapitre numérique |
| Hizkuntza: | Français |
| Argitaratua: |
Mathématiques et sciences humaines
2006
|
| Gaiak: | |
| Sarrera elektronikoa: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |