High-Performance Computer Algebra: A Hecke Algebra Case Study.
Patrick MaierDaria LiveseyHans-Wolfgang LoidlPhil TrinderPublished in: Euro-Par (2014)
Keyphrases
- computer algebra
- case study
- theorem prover
- lessons learned
- real world
- algebraic expressions
- boolean algebra
- genetic algorithm
- query language
- software development
- development process
- relational algebra
- automated theorem provers
- real time
- data intensive
- high efficiency
- computer algebra systems
- cost effective
- knowledge management
- databases
- first order logic
- high reliability
- scientific computing
- semi supervised
- laplace transform
- expert systems
- data sets