Multivalued Elementary Functions in Computer-Algebra Systems.
David J. JeffreyPublished in: AISC (2014)
Keyphrases
- elementary functions
- computer algebra systems
- computer algebra
- theorem prover
- theorem proving
- gabor filters
- multi valued
- morphological operators
- single valued
- soft constraints
- probability distribution
- training data
- texture analysis
- database
- texture features
- binary images
- image analysis
- relational databases
- image segmentation
- case study
- computer vision
- databases