New Proof of Kemperman's Theorem.
Tomas BoothbyMatt DeVosAmanda MontejanoPublished in: Integers (2015)
Keyphrases
- interactive theorem proving
- theorem proving
- theorem prover
- von neumann
- genetic algorithm
- intuitionistic logic
- proof planning
- neural network
- database systems
- relational databases
- expert systems
- three dimensional
- linear logic
- automated theorem proving
- natural deduction
- proof theory
- search algorithm
- multiscale
- heavy traffic limit