New existence proofs epsilon-nets.

Evangelia Pyrga Saurabh Ray

Published in: SCG (2008)

Keyphrases

theorem proving
knowledge base
mathematical proofs
data sets
neural network
e learning
expert systems
natural deduction
formal proof
formal proofs
search algorithm
digital libraries
relational databases
sample complexity
equational theories
interactive theorem proving