Specialized computer algebra system GINV.

Yuri A. Blinkov Vladimir P. Gerdt

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

Keyphrases

computer algebra
theorem prover
general purpose
automated theorem provers
computer algebra systems
tightly coupled
databases
knowledge base
database systems
query processing
programming language
fine grained
first order logic