scientific article; zbMATH DE number 1421054
From MaRDI portal
Publication:4946078
zbMath0952.03004MaRDI QIDQ4946078
Jacques D. Fleuriot, Lawrence Charles Paulson
Publication date: 11 January 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Celestial mechanics (70F15) History of mathematics in the 17th century (01A45) Nonstandard models in mathematics (03H05) Software, source code, etc. for problems pertaining to mechanics of particles and systems (70-04) Nonstandard analysis (26E35)
Related Items (2)
Automated theorem provers: a practical tool for the working mathematician? ⋮ Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL
Uses Software
This page was built for publication:
