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...
Kaydedildi:
| Yayımlandı: | URI:https://journals.openedition.org/msh, |
|---|---|
| Yazar: | |
| Materyal Türü: | Article ou chapitre numérique |
| Dil: | Français |
| Baskı/Yayın Bilgisi: |
Mathématiques et sciences humaines
2006
|
| Konular: | |
| Online Erişim: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |