Algorithmic proof of the epsilon constant conjecture.

Werner Bley Ruben Debeerst

Published in: Math. Comput. (2013)

Keyphrases

theorem proving
theorem prover
linear logic
mathematical proofs
computer vision
three dimensional
lower bound
proof search