Facettes de la preuve : Jeux de reflets entre démonstration automatique et preuve assistée

Évelyne Contejean 1, 2
2 TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Abstract : Ce document présente les recherches que j'ai effectuées ces dernières années dans le domaine des preuves automatqiues et/ou assistées par ordinateurs, ainsi que les liens entre ces deux approches.
Type de document :
HDR
Logique en informatique [cs.LO]. Université Paris-Sud, 2014
Liste complète des métadonnées


https://hal.inria.fr/tel-01089490
Contributeur : Evelyne Contejean <>
Soumis le : lundi 1 décembre 2014 - 18:47:07
Dernière modification le : jeudi 9 février 2017 - 15:52:41
Document(s) archivé(s) le : lundi 2 mars 2015 - 13:38:03

Fichier

Identifiants

  • HAL Id : tel-01089490, version 1

Citation

Évelyne Contejean. Facettes de la preuve : Jeux de reflets entre démonstration automatique et preuve assistée. Logique en informatique [cs.LO]. Université Paris-Sud, 2014. <tel-01089490>

Partager

Métriques

Consultations de
la notice

158

Téléchargements du document

152