Mechanical proof of planimetric theorems of rational type

DOI10.1134/S0361768814020066zbMATH Open1323.68463OpenAlexW2009415488MaRDI QIDQ2017773FDOQ2017773

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Plane geometry prover based on barycentric coordinates
• Automated Deduction in Geometry
• An algorithm for solving a family of fourth-degree Diophantine equations that satisfy Runge's condition
• Title not available (Why is that?)

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)