Jape: A Calculator for Animating Proof-on-Paper.

Richard Bornat Bernard Sufrin

Published in: CADE (1997)

Keyphrases

theorem proving
information systems
relational databases
linear logic
mathematical proofs
database
data sets
data mining
genetic algorithm
image processing
face recognition
data structure
search algorithm
hidden markov models
theorem prover
virtual humans