Towards a Computer Algebra System with Automatic Differentiation for use with Object-Oriented modelling languages.
Joel AnderssonBoris HouskaMoritz DiehlPublished in: EOOLT (2010)
Keyphrases
- computer algebra
- object oriented
- expressive power
- object oriented languages
- theorem prover
- programming language
- computer algebra systems
- object oriented databases
- data model
- constraint language
- data driven
- semi automatic
- machine learning
- relational databases
- databases
- labor intensive
- language independent
- database applications
- database schema
- database
- query language
- information systems
- neural network
- data sets