A Computer Algebra System Based on Ordersorted Algebra.

Anthony C. Hearn Eberhard Schrüfer

Published in: J. Symb. Comput. (1995)

Keyphrases

computer algebra
theorem prover
data model
boolean algebra
query language
relational algebra
algebraic structure
algebraic expressions
image sequences
automated theorem provers
computer algebra systems
computer vision
similarity measure
bayesian networks
real numbers
algebraic geometry