An automatic parallelization framework for algebraic computation systems

DOI10.1145/1993886.1993923MaRDI QIDQ5254178zbMATH OpenOpenAlexFDO

Authors 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

automatic parallelizationcomputer algebrauser-defined axioms

Mathematics Subject Classification ID

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

Recommendations

• A para-functional programming interface for a parallel computer algebra package
• Representations and Parallel Computations for Rational Functions
• Parallel processors and systems for algebraic manipulation: current work
• Development of algorithmic algebra tools to design parallel programs using heuristics
• Construction of parallel iterative programs in computer algebra systems

Cited in

(10)

• Tools for simulation of parallel computations in a system of algebraic programming
• A para-functional programming interface for a parallel computer algebra package
• scientific article; zbMATH DE number 2125610 (Why is no real title available?)
• scientific article; zbMATH DE number 1972791 (Why is no real title available?)
• scientific article; zbMATH DE number 1534583 (Why is no real title available?)
• scientific article; zbMATH DE number 1830938 (Why is no real title available?)
• Retargeting OpenAxiom to Poly/ML: towards an integrated proof assistants and computer algebra system framework
• Automatic implementation of affine iterative algorithms: Design flow and communication synthesis
• Glushkov's algorithmic algebras and automated parallel computing design
• Software tools for automation of parallel programming on the basis of algebra of algorithms

Describes a project that uses

Uses Software

• Fortress

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5254178)