MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions.
Behzad AkbarpourLawrence C. PaulsonPublished in: J. Autom. Reason. (2010)
Keyphrases
- real valued
- theorem prover
- continuous functions
- complex valued
- first order logic
- theorem proving
- term rewriting
- inference rules
- automated theorem proving
- real valued data
- integer valued
- formal proof
- multiple instance
- natural deduction
- machine learning
- neural network
- boolean algebra
- distributed representations
- class labels
- knowledge representation
- probabilistic model
- mathematical knowledge
- search engine