scientific article; zbMATH DE number 1646230

zbMATH Open0976.68133MaRDI QIDQ2739733FDOQ2739733

Authors: Jacques D. Fleuriot 

Publication date: 16 September 2001

Published in: Distinguished Dissertations (Search for Journal in Brave)

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (11)

• Non-standard analysis in dynamic geometry
• A proof-centric approach to mathematical assistants
• Mechanised modal model theory
• Title not available (Why is that?)
• Exploring the foundations of discrete analytical geometry in Isabelle/HOL
• Theorem proving in infinitesimal geometry
• Mechanizing Nonstandard Real Analysis
• Computational logic: its origins and applications
• Title not available (Why is that?)
• What is a proof?
• Title not available (Why is that?)

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)