Mechanically Proving Geometry Theorems Using a Combination of Wu's Method and Collins' Method

Authors:
Nicholas Freitag McPhee;Shang-Ching Chou;Xiao-Shan Gao
Affiliations:
-;-;-
Venue:
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Year:
1994

Citing 0
Cited 3

Symbolic-interval cooperation in constraint programming

Proceedings of the 2001 international symposium on Symbolic and algebraic computation
A New Approach for Automatic Theorem Proving in Real Geometry

Journal of Automated Reasoning
A Practical Program of Automated Proving for a Class of Geometric Inequalities

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

Quantified Score

Hi-index	0.02

Visualization

Abstract