A categorical equivalence of proofs.

Manfred E. Szabo

Published in: Notre Dame J. Formal Log. (1974)

Keyphrases

categorical data
theorem proving
neural network
formal proof
theorem prover
data sets
equational theories
numerical values
multiscale
case study
image processing
computer vision
artificial intelligence
real time
mathematical proofs
similarity measure
database systems
numerical data
natural deduction
formal proofs