System Description: TRAMP: Transformation of Machine-Found Proofs into ND-Proofs at the Assertion Level.

Published in: CADE (2000)

Keyphrases

high level
theorem proving
natural deduction
formal proof
database
data mining
theorem prover
mathematical proofs
data structure
higher level
decision procedures
data sets
image sequences
multi agent
digital libraries
computer programs