When is the orbit algebra of a group an integral domain? Proof of a conjecture of P.J. Cameron.

Published in: RAIRO Theor. Informatics Appl. (2008)

Keyphrases

domain specific
query language
domain independent
relational algebra
real time
data sets
real world
feature selection
database
computer vision
decision making
first order logic
domain ontology
theorem prover
theorem proving
cross domain