Mechanical proof of planimetric theorems of rational type

DOI10.1134/S0361768814020066MaRDI QIDQ2017773zbMATH OpenOpenAlexFDO

Authors Nikolay N. Osipov

Publication date 23 March 2015

Published in Programming and Computer Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s0361768814020066

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to geometry (51-04)

Recommendations

• Mechanical geometry theorem proving
• Elimination procedures for mechanical theorem proving in geometry
• Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
• scientific article; zbMATH DE number 4021099
• Basic principles of mechanical theorem proving in elementary geometries

Cited in

(5)

• Plane geometry prover based on barycentric coordinates
• An algorithm for solving a family of fourth-degree Diophantine equations that satisfy Runge's condition
• Generalizing Morley's and other theorems with automated realization
• Automated Deduction in Geometry
• scientific article; zbMATH DE number 2237538 (Why is no real title available?)

Describes a project that uses

Uses Software

• Maple
• geom

This page was built for publication: Mechanical proof of planimetric theorems of rational type

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