Transcendental functions and mechanical theorem proving in elementary geometries

DOI10.1007/BF00244356MaRDI QIDQ805606zbMATH OpenOpenAlexFDO

Authors Xiao-Shan Gao

Publication date 1990

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00244356

zbMATH Keywords

Euclidean geometrynon-Euclidean geometriesWu's method

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Review text

A new approach to prove theorems of Euclidean geometry is presented and then extended to other, non-Euclidean geometries. The approach is based on Wu's method of transforming problems with trigonometric and hyperbolic functions to algebraic polynomial equations. The transformation expressions are presented and their use is illustrated by many appropriate examples. Based on this approach, some non-trivial meta- theorems are established for four non-Euclidean geometries.

Recommendations

• scientific article; zbMATH DE number 4093424
• scientific article; zbMATH DE number 4031634
• scientific article; zbMATH DE number 4022662
• scientific article; zbMATH DE number 1189075
• Basic principles of mechanical theorem proving in elementary geometries

Cited in

(8)

• Elimination procedures for mechanical theorem proving in geometry
• Learning to solve geometric construction problems from images
• scientific article; zbMATH DE number 4022662 (Why is no real title available?)
• scientific article; zbMATH DE number 4093424 (Why is no real title available?)
• scientific article; zbMATH DE number 1189075 (Why is no real title available?)
• Algebraic factoring and geometry theorem proving
• ``Russian killer No. 2: a challenging geometric theorem with human and machine proofs.
• Geometry machines: from AI to SMC

This page was built for publication: Transcendental functions and mechanical theorem proving in elementary geometries

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