Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Area Method Proofs
The area method is a decision procedure for geometry developed by Chou et al. in the 1990's. The method aims to reduce a specified hypothesis to an algebraically verifiable form by applying elimination lemmas. The order in which the lemmas are applied is determined by the stated conjecture and the underlying geometric construction.
— formally verify a geometric theorem
Elementary Construction Steps
Composite Construction Steps
Primitive and Derived Functions
Conjecture Stating Predicates
|
""