Partitioning of algebraic subexpressions in computer algebra systems: an alternative to matching with an application to symbolic integration.
Richard J. FatemanPublished in: ACM Commun. Comput. Algebra (2015)
Keyphrases
- computer algebra systems
- computer algebra
- theorem prover
- theorem proving
- matching algorithm
- string matching
- high level
- pattern matching
- template matching
- sql queries
- neural network
- image matching
- feature points
- object recognition
- image sequences
- artificial intelligence
- keypoints
- matching process
- data integration
- information integration
- feature matching
- graph partitioning
- matching scheme
- partitioning algorithm
- image segmentation