Login / Signup
The research seminar on computer algebra in 2009-2010.
Sergei A. Abramov
Alla A. Bogolyubskaya
Victor F. Edneral
Vitaly Rostovtsev
Published in:
Program. Comput. Softw. (2011)
Keyphrases
</>
computer algebra
theorem prover
automated theorem provers
collaborative e learning
computer algebra systems
artificial intelligence
natural language