Case Splitting in an Automatic Theorem Prover for Real-Valued Special Functions.
James P. BridgeLawrence C. PaulsonPublished in: J. Autom. Reason. (2013)
Keyphrases
- real valued
- theorem prover
- continuous functions
- theorem proving
- automated theorem proving
- term rewriting
- first order logic
- complex valued
- formal proof
- integer valued
- inference rules
- boolean algebra
- real valued data
- neural network
- multiple instance
- latent variables
- distributed representations
- graphical models
- proof search
- proof planning