Mathematical Libraries as Proof Assistant Environments.

Claudio Sacerdoti Coen

Published in: MKM (2004)

Keyphrases

mathematical proofs
mathematical knowledge
digital libraries
test bed
dynamic environments
neural network
automated theorem provers
website
expert systems
mathematical expressions
linear logic
theorem proving
probabilistic model
database
search algorithm
similarity measure
genetic algorithm
real world
databases