HPC-GAP: engineering a 21st-century high-performance computer algebra system.
Reimer BehrendsKevin HammondVladimir JanjicAlexander KonovalovSteve LintonHans-Wolfgang LoidlPatrick MaierPhil TrinderPublished in: Concurr. Comput. Pract. Exp. (2016)
Keyphrases
- st century
- computer algebra
- scientific computing
- high performance computing
- theorem prover
- computer algebra systems
- experiential learning
- learning in higher education
- educational technology
- computer science
- early years
- artificial intelligence
- software engineering
- automated theorem provers
- theorem proving
- parallel computing
- fault tolerance
- statistically significant
- data management