Fostering Interoperability in Java-Based Computer Algebra Software.
Heinz KredelPublished in: AINA Workshops (2012)
Keyphrases
- computer algebra
- software development
- software systems
- hardware design
- theorem prover
- computer algebra systems
- lightweight
- software architecture
- software design
- web services
- development process
- software maintenance
- software quality
- semantic technologies
- open standards
- information sharing
- real time
- software package
- computer systems
- databases