Robert H. C. Moir

dblp:199/5457 · DBLP profile ↗
← Back
4ranked-venue papers
1as first author
2since 2021 · last 2023
0000-0001-6673-0565ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 4 · 1 first-author · 2 since 2021
YearPublicationVenuePosition
2023 Parallelization of triangular decompositions: Techniques and implementation
Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza, Yuzhen Xie
J. Symb. Comput.3
2021 An unwinding number pair for continuous expressions of integrals
Robert H. C. Moir, Robert M. Corless, David J. Jeffrey
J. Symb. Comput.1
2020 On the parallelization of triangular decompositions
abstract
We discuss the parallelization of algorithms for solving polynomial systems by way of triangular decomposition. The Triangularize algorithm proceeds through incremental intersections of polynomials to produce different components (points, curves, surfaces, etc.) of the solution set. Independent components imply the opportunity for concurrency. This "component-level" parallelization of triangular decompositions, our focus here, belongs to the class of dynamic irregular parallelism. Potential parallel speed-up depends only on geometrical properties of the solution set (number of components, their dimensions and degrees); these algorithms do not scale with the number of processors. To manage the irregularities of component-level parallelization we combine different concurrency patterns, namely, workpile, producer-consumer, and fork/join. We report on our implementation in the freely available BPAS library. Experimentation with thousands of polynomial systems yield examples with up to 9.5× speed-up on a 12-core machine.
Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza, Yuzhen Xie
ISSAC3
2018 Sparse Polynomial Arithmetic with the BPAS Library
Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza
CASC3