scientific article; zbMATH DE number 1646230

MaRDI QIDQ2739733zbMATH OpenFDO

Authors Jacques D. Fleuriot

Publication date 16 September 2001

Published in Distinguished Dissertations (Search for Journal in Brave)

zbMATH Keywords

nonstandard analysisgeometry theorem provingNewton's Principiatheorem prover Isabelle

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Recommendations

• scientific article; zbMATH DE number 1303336
• USING NONSTANDARD ANALYSIS TO ENSURE THE CORRECTNESS OF SYMBOLIC COMPUTATIONS
• Publication:4946078
• scientific article; zbMATH DE number 4201687
• scientific article; zbMATH DE number 1746669

Cited in

(11)

• Mechanizing Nonstandard Real Analysis
• Non-standard analysis in dynamic geometry
• scientific article; zbMATH DE number 1421054 (Why is no real title available?)
• What is a proof?
• A proof-centric approach to mathematical assistants
• Mechanised modal model theory
• Exploring the foundations of discrete analytical geometry in Isabelle/HOL
• Computational logic: its origins and applications
• Theorem proving in infinitesimal geometry
• scientific article; zbMATH DE number 1746669 (Why is no real title available?)
• scientific article; zbMATH DE number 6828421 (Why is no real title available?)

Describes a project that uses

Uses Software

• Isabelle

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2739733)