Plural: a computer algebra system for noncommutative polynomial algebras.

Viktor Levandovskyy Hans Schönemann

Published in: ISSAC (2003)

Keyphrases

computer algebra
theorem prover
computer algebra systems
spatial reasoning
data sets
genetic algorithm
website
support vector
inference rules
low degree
clifford algebra