Algorithmes et modèles : l'histoire d'une convergence
Résumé
Les modèles et les algorithmes de transformation des démonstrations ont longtemps été opposés. Cet exposé défend que cette opposition n'est plus justifiée, car ces deux types d'outils sont aujourd'hui utilisés ensemble.
Domaines
Mathématiques [math]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|