Comparison of polynomial-oriented computer algebra systems.

Robert H. Lewis Michael J. Wester

Published in: SIGSAM Bull. (1999)

Keyphrases

computer algebra systems
theorem proving
real time
information systems
relational databases
theorem prover
neural network
data mining
support vector
computer algebra