Algorithmes et modèles : l'histoire d'une convergence - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2012

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]
Fichier principal
Vignette du fichier
lma.pdf (568.63 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Gilles Dowek  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-04061691

Soumis le : vendredi 7 avril 2023-09:04:55

Dernière modification le : mardi 16 avril 2024-10:24:38

Télécharger pour visualiser

Dates et versions

hal-04061691 , version 1 (07-04-2023)

Identifiants

  • HAL Id : hal-04061691 , version 1

Citer

Gilles Dowek. Algorithmes et modèles : l'histoire d'une convergence. 2012. ⟨hal-04061691⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN INRIA2 ENS-PARIS-SACLAY LMF
31 Consultations
19 Téléchargements

Partager

Gmail Facebook X LinkedIn More