Transcendental functions and mechanical theorem proving in elementary geometries (Q805606)

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.