LinBox and future high performance computer algebra.

Bruce W. Char B. David Saunders Bryan S. Youse

Published in: PASCO (2007)

Keyphrases

computer algebra
theorem prover
automated theorem provers
cost effective
computer algebra systems
computer vision
search algorithm
general purpose
predicting future
data mining
search engine
information systems
clustering algorithm
high efficiency
high reliability