Commutative Algebra in the Mizar System.

Piotr Rudnicki Christoph Schwarzweller Andrzej Trybulec

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

Keyphrases

computer assisted
query language
algebraic expressions
data model
special case
search engine
relational algebra
data structure
distributive lattices
data sets
boolean algebra
real numbers
multimedia
image processing
computer vision
artificial intelligence
neural network
databases