Parallelization of entanglement-resistant multi-prover interactive proofs.
Tsuyoshi ItoPublished in: Inf. Process. Lett. (2014)
Keyphrases
- theorem prover
- theorem proving
- automated theorem proving
- real world
- computer graphics
- neural network
- formal proof
- proof search
- user friendly
- highly interactive
- mathematical knowledge
- databases
- natural deduction
- interactive exploration
- graphical interface
- decision procedures
- inference rules
- parallel processing
- first order logic
- virtual reality
- distributed systems
- evolutionary algorithm
- multi agent
- website