An automatic parallelization framework for algebraic computation systems

DOI10.1145/1993886.1993923zbMath1323.68613OpenAlexW2157865241MaRDI QIDQ5254178

Yue Li, Gabriel Dos Reis

Publication date: 9 June 2015

Published in: Proceedings of the 36th international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1993886.1993923

zbMATH Keywords

computer algebraautomatic parallelizationuser-defined axioms

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Parallel algorithms in computer science (68W10)

Related Items (1)

Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework

Uses Software

• Fortress

This page was built for publication: An automatic parallelization framework for algebraic computation systems