Working with Mathematical Structures in Type Theory.
Claudio Sacerdoti CoenEnrico TassiPublished in: TYPES (2007)
Keyphrases
- computer algebra
- theoretical basis
- theoretical framework
- mathematical models
- multimedia
- mathematical theory
- quantum mechanics
- image processing
- bayesian networks
- user interface
- multiresolution
- real world
- information theory
- conceptual framework
- metadata
- decision making
- multiple types
- probability theory
- machine learning