The Scientific Research Seminar on Computer Algebra in 2000-2001.

Sergei A. Abramov Alexander P. Kryukov V. A. Rostovtsev

Published in: Program. Comput. Softw. (2002)

Keyphrases

computer algebra
theorem prover
computer algebra systems
scientific data
materials science
decision support system
real time
low cost
database
machine learning
natural language
data streams
preprocessing