Generic, Type-Safe and Object Oriented Computer Algebra Software.
Heinz KredelRaphael JollyPublished in: CASC (2010)
Keyphrases
- computer algebra
- object oriented
- theorem prover
- industry standard
- software systems
- software development
- relational databases
- design patterns
- database applications
- software engineering
- data model
- software tools
- software design
- object oriented software development
- computer algebra systems
- object oriented software
- software quality
- source code
- query language
- database design
- computer systems
- programming language
- object oriented databases
- development process
- object oriented database systems
- hardware design
- object oriented systems
- user interface
- data sets
- probability distribution
- object oriented modeling
- programming interface