New Features in the Second Version of the Cadabra Computer Algebra System.
Dmitry S. KulyabovAnna V. KorolkovaLeonid A. SevastyanovPublished in: Program. Comput. Softw. (2019)
Keyphrases
- computer algebra
- extracting features
- feature space
- feature vectors
- image features
- website
- structural information
- classification accuracy
- co occurrence
- low level
- feature detection
- theorem prover
- false positives
- benchmark datasets
- data sets
- hidden markov models
- similarity measure
- image sequences
- case study
- computer vision
- neural network