High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense.
Richard J. FatemanPublished in: ISSAC (2003)
Keyphrases
- high level
- low level
- mathematical proofs
- intermediate level
- computer programs
- semi automatic
- automated theorem provers
- multiresolution
- mathematical knowledge
- high level programming
- fully automatic
- data driven
- data sets
- open source
- theorem proving
- artificial intelligence
- mathematical expressions
- automatic programming
- higher level
- cognitive processes
- programming language
- object oriented
- case study
- learning algorithm
- data mining