Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories.
Pedro QuaresmaPredrag JanicicPublished in: MKM (2006)
Keyphrases
- computer systems
- three dimensional
- digital libraries
- expert systems
- software systems
- industrial strength
- commercial software
- computing systems
- changing environment
- software tools
- source code
- management system
- building blocks
- complex systems
- software development
- distributed systems
- software maintenance
- real time systems
- high end
- technical issues
- enterprise systems
- commercial off the shelf
- knowledge base