Jacques D. Fleuriot

Available identifiers

zbMath Open fleuriot.jacques-dMaRDI QIDQ2102945

List of research outcomes

Publication	Date of Publication	Type
A pragmatic, scalable approach to correct-by-construction process composition using classical linear logic inference	2023-11-09	Paper
Machine Learning for Inductive Theorem Proving	2023-06-30	Paper
Correction to: ``Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL	2023-06-14	Paper
Re-imagining the Isabelle archive of formal proofs	2023-06-02	Paper
Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL	2022-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q4556039	2018-11-23	Paper
WorkflowFM: a logic-based framework for formal process specification and composition	2017-09-22	Paper
ProofScript: Proof Scripting for the Masses	2016-12-21	Paper
Type Inference for ZFH	2015-11-20	Paper
Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Proverʼs Palette	2014-07-22	Paper
A Combinator Language for Theorem Discovery	2012-09-07	Paper
Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL	2011-11-25	Paper
An Investigation of Hilbert’s Implicit Reasoning through Proof Discovery in Idle-Time	2011-11-25	Paper
Composable Discovery Engines for Interactive Theorem Proving	2011-08-17	Paper
Automation for Dependently Typed Functional Programming	2011-05-20	Paper
An Isabelle-Like Procedural Mode for HOL Light	2010-10-12	Paper
Formalizing Hilbert’s Grundlagen in Isabelle/Isar	2010-05-07	Paper
Combining Isabelle and QEPCAD-B in the Prover’s Palette	2009-01-27	Paper
A proof-centric approach to mathematical assistants	2007-02-20	Paper
Automated Deduction in Geometry	2006-10-20	Paper
Theorem Proving in Higher Order Logics	2005-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4530838	2002-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q2754041	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2739733	2001-09-16	Paper
Theorem proving in infinitesimal geometry	2001-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4946078	2001-01-11	Paper
Mechanizing Nonstandard Real Analysis	2000-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q4249889	1999-11-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jacques D. Fleuriot