A Coordinate-Based Proof of the Scallop Theorem.

Kenta Ishimoto Michio Yamada

Published in: SIAM J. Appl. Math. (2012)

Keyphrases

interactive theorem proving
von neumann
learning algorithm
linear logic
theorem prover
theorem proving
intuitionistic logic
data sets
image processing
three dimensional
objective function
optimal solution
natural language
multi agent systems
proof theory
complete axiomatization