Challenging Theorem Provers with Mathematical Olympiad Problems in Solid Geometry.

Changpeng Shao Hongbo Li Lei Huang

Published in: Math. Comput. Sci. (2016)

Keyphrases

theorem prover
computer algebra
automated reasoning
three dimensional
theorem proving
first order logic
automated theorem proving