Integration of Graphical Tools in a Computer Algebra System.

Guilherme Bittencourt

Published in: AAECC (1986)

Keyphrases

computer algebra
automated theorem provers
theorem prover
data integration
software tools
information integration
management tools
database
user friendly
visualization tools
software components
object oriented
expert systems
digital libraries
information systems
databases
real time