Login / Signup
The research seminar on computer Algebra in 2008-2009.
Sergei A. Abramov
Alla A. Bogolyubskaya
V. A. Rostovtsev
Victor F. Edneral
Published in:
Program. Comput. Softw. (2010)
Keyphrases
</>
computer algebra
theorem prover
computer algebra systems
automated theorem provers
learning environment
graphical models
collaborative e learning