Automated reasoning in geometry theorem proving with Prolog

Refutational proofs of geometry theorems via characteristic set computation

ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation

A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering

Journal of Automated Reasoning

Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization

ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry

GRAMY: A Geometry Theorem Prover Capable of Construction

Journal of Automated Reasoning

Visual reasoning in geometry theorem proving

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2

Visually Dynamic Presentation of Proofs in Plane Geometry

Journal of Automated Reasoning

The Area Method

Journal of Automated Reasoning