Mechanised Separation Algebra.

Gerwin Klein Rafal Kolanski Andrew Boyton

Published in: ITP (2012)

Keyphrases

algebraic expressions
algebraic geometry
boolean algebra
relational algebra
data model
query language
set theory
real time
computer vision
information retrieval
expert systems
decision trees
fuzzy sets
image processing
real numbers
web pages
algebraic operations
data mining