David Delahaye

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An Automation-Friendly Set Theory for the B Method Lecture Notes in Computer Science	2023-03-10	Paper
\textsf{Goéland}: a concurrent tableau-based theorem prover (system description)	2022-12-07	Paper
First-order automated reasoning with theories: when deduction modulo theory meets practice Journal of Automated Reasoning	2020-11-02	Paper
Integrating simplex with tableaux Lecture Notes in Computer Science	2015-12-11	Paper
Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper
Quantifier elimination over algebraically closed fields in a proof assistant using a computer algebra system	2013-10-07	Paper
A proof dedicated meta-language	2013-08-19	Paper
Producing certified functional code from inductive specifications Certified Programs and Proofs	2013-04-19	Paper
Tableaux modulo theories using superdeduction. An application to the verification of B proof rules with the Zenon automated theorem prover Automated Reasoning	2012-09-05	Paper
Verifying B proof rules using deep embedding and automated theorem proving Software Engineering and Formal Methods	2011-10-28	Paper
Extracting Purely Functional Contents from Logical Inductive Types Lecture Notes in Computer Science	2008-09-02	Paper
Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-15	Paper
Dealing with algebraic expressions over a field in Coq using Maple Journal of Symbolic Computation	2007-10-19	Paper
scientific article; zbMATH DE number 1927421 (Why is no real title available?)	2003-06-12	Paper
scientific article; zbMATH DE number 1696760 (Why is no real title available?)	2002-07-22	Paper
scientific article; zbMATH DE number 1696613 (Why is no real title available?)	2002-07-22	Paper

Research outcomes over time

This page was built for person: David Delahaye