Nakajima's remark on Henn's proof.

Massimo Giulietti Gábor Korchmáros

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

Keyphrases

theorem proving
linear logic
theorem prover
automated theorem proving
databases
machine learning
image processing
case study
cooperative
search algorithm
multiresolution
interactive theorem proving