The research seminar on computer algebra in 2004-2005.

Sergei A. Abramov Alla A. Bogolubskaya V. A. Rostovtsev Victor F. Edneral

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

Keyphrases

computer algebra
theorem prover
collaborative e learning
computer algebra systems
training data
knowledge representation