The interplay between commutative algebra and computer algebra.

Ferdinando Mora Lorenzo Robbiano

Published in: SIGSAM Bull. (1984)

Keyphrases

computer algebra
theorem prover
boolean algebra
relational algebra
data model
query language
computer algebra systems
automated theorem provers
special case
real numbers
algebraic operations
real world
algebraic geometry
distributive lattices
complex objects
multiscale
case study
set theory
decision trees
database