Towards a Theory for the Animation of Algebraic Specification.
Catharina RieckhoffPublished in: COMPASS/ADT (1992)
Keyphrases
- linear algebra
- theoretical framework
- algebraic geometry
- theoretical basis
- real time
- computer algebra
- general theory
- decision making
- computational model
- computer graphics
- machine learning
- information theory
- user defined
- formal theory
- set theoretic
- data sets
- formal methods
- real world
- higher order
- high level
- case study
- search engine