A proof for a conjecture of Gorgol.

Victor A. Campos Raul Lopes

Published in: Discret. Appl. Math. (2018)

Keyphrases

computer vision
information systems
decision making
theorem prover
knowledge base
learning environment
mobile robot
theorem proving
geometry theorem proving