Towards a certified version of the encyclopedia of triangle centers

DOI10.1007/S11786-016-0254-4zbMATH Open1343.51001OpenAlexW2320936035MaRDI QIDQ294378FDOQ294378

Authors: 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

Recommendations

• scientific article; zbMATH DE number 1220199
• scientific article; zbMATH DE number 2061008
• Central Points and Central Lines in the Plane of a Triangle
• Point-to-line distances in the plane of a triangle
• scientific article; zbMATH DE number 6801906

zbMATH Keywords

geometryCoqformal proofproof assistanttriangle centers

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Software, source code, etc. for problems pertaining to geometry (51-04)

Cites Work

• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Central Points and Central Lines in the Plane of a Triangle
• Mechanical Theorem Proving in Tarski’s Geometry
• Theorem Proving in Higher Order Logics

Cited In (2)

• On the mechanization of straightedge and compass constructions
• Formalization of the arithmetization of Euclidean plane geometry and applications

Uses Software

• Coq

This page was built for publication: Towards a certified version of the encyclopedia of triangle centers

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