Towards a certified version of the encyclopedia of triangle centers
From MaRDI portal
Publication:294378
DOI10.1007/s11786-016-0254-4zbMath1343.51001OpenAlexW2320936035MaRDI QIDQ294378
Julien Narboux, David J. Braun
Publication date: 16 June 2016
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01174131/file/certified-etc.pdf
Mechanization of proofs and logical operations (03B35) Software, source code, etc. for problems pertaining to geometry (51-04)
Related Items
Formalization of the arithmetization of Euclidean plane geometry and applications, On the mechanization of straightedge and compass constructions
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Simplification of expressions involving radicals
- Triangle centers as functions
- On the normalization of numbers and functions defined by radicals
- Elimination procedures for mechanical theorem proving in geometry
- From Tarski to Hilbert
- Central Points and Central Lines in the Plane of a Triangle
- Mechanical Theorem Proving in Tarski’s Geometry
- Theorem Proving in Higher Order Logics