Machine-checked mathematics
Résumé
In this article she gives an overview about machine-checked mathematics.
Domaines
| Origine | Fichiers éditeurs autorisés sur une archive ouverte |
|---|---|
| Licence |
Loading...
| Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
In this article she gives an overview about machine-checked mathematics.
| Origine | Fichiers éditeurs autorisés sur une archive ouverte |
|---|---|
| Licence |
Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01363284
Soumis le : mercredi 14 septembre 2016-09:19:18
Dernière modification le : mercredi 26 février 2025-15:22:03
Archivage à long terme le : jeudi 15 décembre 2016-12:16:01