The research seminar on computer algebra in 2006-2007.

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

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

Keyphrases

computer algebra
theorem prover
computer algebra systems
collaborative e learning
automated theorem provers
machine learning
multimedia
learning process
artificial intelligence
probabilistic model