Symbolic Computation in Java: An Appraisement.
Laurent BernardinBruce W. CharErich KaltofenPublished in: ISSAC (1999)
Keyphrases
- source code
- object oriented
- programming language
- open source
- java programs
- automated deduction
- cross platform
- database applications
- development environment
- case study
- application server
- imperative programs
- databases
- java language
- java virtual machine
- garbage collection
- database access
- lightweight
- web applications
- expert systems
- knowledge base
- genetic algorithm