Using computer algebra system SINGULAR: PLURAL for computations in noncommutative polynomial algebras.

Viktor Levandovskyy Hans Schönemann

Published in: SIGSAM Bull. (2003)

Keyphrases

computer algebra
theorem prover
computer algebra systems
database
temporal reasoning
data sets
databases
learning algorithm
computer vision
natural language
expert systems
artificial neural networks
automated theorem provers
distributive lattices