On a Java computer algebra system, its performance and applications.
Heinz KredelPublished in: Sci. Comput. Program. (2008)
Keyphrases
- computer algebra
- theorem prover
- object oriented
- programming language
- source code
- computer algebra systems
- open source
- automated theorem provers
- development environment
- web services
- web applications
- databases
- java programs
- database applications
- java applets
- byte code
- cross platform
- lightweight
- application server
- object oriented languages
- software engineering
- expert systems
- genetic algorithm