Login / Signup
The research seminar on computer algebra in 2005-2006.
Sergei A. Abramov
Alla A. Bogolubskaya
Vitaly Rostovtsev
Victor F. Edneral
Published in:
Program. Comput. Softw. (2007)
Keyphrases
</>
computer algebra
theorem prover
computer algebra systems
collaborative e learning
machine learning
artificial intelligence
bayesian networks
natural language
graphical models
collaborative learning
automated theorem provers