Unique Factorization Domains in the Java Computer Algebra System.
Heinz KredelPublished in: Automated Deduction in Geometry (2008)
Keyphrases
- computer algebra
- theorem prover
- open source
- application domains
- singular value decomposition
- matrix factorization
- real world
- automated theorem provers
- byte code
- object oriented
- source code
- java programs
- lightweight
- complex domains
- computer algebra systems
- factorization method
- database
- development environment
- cross domain
- data sets
- database programming
- first order logic
- web applications
- database systems
- case study
- web services