Cookies help us deliver our services. By using our services, you agree to our use of cookies.
Matsuyama, Takashi and
Nitta, Tomoaki. 1995.
“Geometric Theorem Proving by Integrated Logical and Algebraic Reasoning.” Artificial Intelligence 75(1): 93–113.