Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction.
John T. BaldwinPublished in: WoLLIC (2016)
Keyphrases
- mathematical knowledge
- computer algebra
- computer algebra systems
- artificial intelligence
- computer science
- machine learning
- theorem prover
- explanation based learning
- program synthesis
- mathematical expressions
- mathematical models
- inference rules
- constructive induction
- reliability analysis
- reliability assessment
- inductive learning
- data mining