A Proof for a Conjecture of Gorgol.

Victor A. Campos Raul Lopes

Published in: Electron. Notes Discret. Math. (2015)

Keyphrases

theorem proving
theorem prover
automated theorem proving
image processing
information systems
case study
control system
special case
mathematical proofs
geometry theorem proving