Abstract
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.
Full Text
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call