The proof of Hermann's conjecture.

Renjiang Zhang Guojin Wang

Published in: Appl. Math. Lett. (2004)

Keyphrases

three dimensional
theorem proving
formal proof
artificial intelligence
image sequences
optimal solution
digital libraries
special case
linear logic
complete axiomatization
mathematical proofs