EKL - A Mathematically Oriented Proof Checker.

Published in: CADE (1984)

Keyphrases

databases
machine learning
information retrieval
computer vision
web services
support vector
computational complexity
theorem proving
linear logic
mathematical proofs