Proof Spaces for Unbounded Parallelism.
Azadeh FarzanZachary KincaidAndreas PodelskiPublished in: POPL (2015)
Keyphrases
- computational power
- shared memory
- artificial neural networks
- parallel processing
- linear logic
- neural network
- mathematical proofs
- data parallelism
- fine grain
- parallel computation
- data flow
- search algorithm
- data sets
- theorem proving
- expert systems
- natural deduction
- genetic algorithm
- proof planning
- geometry theorem proving