The scientific research Seminar on Computer Algebra in 1998-1999.

Sergei A. Abramov Alexander P. Kryukov Vitaly Rostovtsev

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

Keyphrases

computer algebra
theorem prover
databases
scientific data
computer algebra systems
materials science
life sciences
automated theorem provers
real time
decision making
case study
wireless sensor networks
graphical models
theorem proving