scientific article; zbMATH DE number 1303336
From MaRDI portal
Publication:4249889
zbMath0924.03022MaRDI QIDQ4249889
Jacques D. Fleuriot, Lawrence Charles Paulson
Publication date: 16 November 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Newton's Principiageometry theorem provingNonstandard Analysisinfinitesimal geometrytheorem prover Isabelle
Mechanization of proofs and logical operations (03B35) Software, source code, etc. for problems pertaining to real functions (26-04) Nonstandard models in mathematics (03H05) Nonstandard analysis (26E35)
Related Items (3)
A system for automated deduction in engineering mechanics ⋮ Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL ⋮ Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
Uses Software
This page was built for publication:
