The research seminar on computer algebra in 2003-2004.

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

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

Keyphrases

computer algebra
theorem prover
collaborative e learning
automated theorem provers
computer algebra systems
temporal logic