The research seminar on computer algebra in 2007-2008.

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

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

Keyphrases

computer algebra
theorem prover
collaborative e learning
computer algebra systems
automated theorem provers
probabilistic model
inference rules