The Scientific Research Seminar on Computer Algebra in 1999-2000.

Sergei A. Abramov Alexander P. Kryukov V. A. Rostovtsev

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

Keyphrases

learning environment
computer algebra
theorem prover
computer algebra systems
life sciences
automated theorem provers
artificial intelligence
database systems
probability distribution
multimedia
theorem proving