GridTPT: a distributed platform for Theorem Prover Testing.
Thomas BoutonDiego CaminhaDavid DéharbePascal FontainePublished in: PAAR@IJCAR (2010)
Keyphrases
- theorem prover
- theorem proving
- first order logic
- inference rules
- automated reasoning
- automated theorem proving
- distributed architecture
- computer algebra
- formal proof
- distributed systems
- term rewriting
- natural deduction
- cooperative
- multi agent
- higher order logic
- distributed environment
- proof search
- timed automata
- mathematical knowledge
- computing platform
- real time
- boolean algebra
- learning algorithm