Mechanical proof of planimetric theorems of rational type. An elementary approach is proposed to the mechanical proof of planimetric theorems of rational type. This approach is implemented in the form of geom software modules and their modified version geom_zeta, which are developed in the Maple computer algebra system. Examples of mechanical proofs of difficult planimetric theorems (both well-known and comparatively new ones) are presented on the basis of convenient rational parametrizations.
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.