Algorithmes et modèles : l'histoire d'une convergence
Abstract
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.
Domains
Mathematics [math]
Origin : Files produced by the author(s)