Jacques D. Fleuriot

Available identifiers

zbMath Open fleuriot.jacques-dMaRDI QIDQ2102945

List of research outcomes

Publication	Date of Publication	Type
Formalising geometric axioms for Minkowski spacetime and without-loss-of-generality theorems	2024-12-17	Paper
Linear resources in Isabelle/HOL	2024-06-10	Paper
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

This page was built for person: Jacques D. Fleuriot