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.
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [101 references]  Display  Hide  Download

https://hal.inria.fr/tel-01089490
Contributor : Evelyne Contejean <>
Submitted on : Monday, December 1, 2014 - 6:47:07 PM
Last modification on : Thursday, April 5, 2018 - 12:30:22 PM
Long-term archiving on : Monday, March 2, 2015 - 1:38:03 PM

File

Identifiers

  • HAL Id : tel-01089490, version 1

Collections

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⟩

Share

Metrics

Record views

640

Files downloads

292