Data Representation and In-built Compilation in the Computer Algebra Program FELIX.
Joachim ApelUwe KlausPublished in: DISCO (1992)
Keyphrases
- data representation
- computer algebra
- theorem prover
- data representations
- representational power
- xml schema
- computer algebra systems
- programs written
- dimensionality reduction
- discriminative information
- feature construction
- automated theorem provers
- database
- tensor decomposition
- feature space
- pattern recognition
- face recognition