Reverse Mathematics and Uniformity in Proofs without Excluded Middle.
Jeffry L. HirstCarl MummertPublished in: Notre Dame J. Formal Log. (2011)
Keyphrases
- mathematical knowledge
- theorem prover
- computer algebra
- computer science
- automated theorem provers
- equational theories
- computer algebra systems
- theorem proving
- computer software
- computer assisted instruction
- formal proofs
- natural deduction
- computer assisted learning
- genetic algorithm
- data mining
- databases
- database
- data structure
- database systems
- artificial intelligence
- learning algorithm
- mathematical proofs