The Research Seminar on Computer Algebra in 2002-2003.

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

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

Keyphrases

computer algebra
theorem prover
collaborative e learning
computer algebra systems
automated theorem provers
artificial intelligence
probabilistic model
training examples
temporal logic
inference rules