Keyphrases
- computer algebra
- numerically stable
- theorem prover
- polynomial equations
- java programs
- methods in computer vision
- computer algebra systems
- open source
- object oriented
- programming language
- development environment
- web applications
- lightweight
- database applications
- numerical stability
- algebraic equations
- java applets
- cross platform
- object oriented languages
- web services
- probabilistic model
- case study