Login / Signup
Commutative Algebra and Computer Algebra.
Daniel Lazard
Published in:
EUROCAM (1982)
Keyphrases
</>
computer algebra
theorem prover
relational algebra
query language
boolean algebra
computer algebra systems
data model
special case
databases
algebraic expressions
decision trees
real numbers
algebraic structure
algebraic operations
data sets
automated theorem provers
database