On a computer algebra technology.

Sergei A. Abramov Anna A. Ryabenko

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

Keyphrases

computer algebra
data processing
theorem prover
case study
cost effective
real time
multimedia
rapid development
key technologies
database
data sets
databases
computer vision
wireless sensor networks