@article{DBLP:journals/jsc/JingMMXY26,
 author = {Rui-Juan Jing and
Marc Moreno Maza and
Chirantan Mukherjee and
Yan-Feng Xie and
Chun-Ming Yuan},
 doi = {10.1016/j.jsc.2025.102527},
 journal = {J. Symb. Comput.},
 pages = {102527},
 title = {Efficient detection of redundancies in systems of linear inequalities},
 url = {https://doi.org/10.1016/j.jsc.2025.102527},
 volume = {135},
 year = {2026}
}

@article{DBLP:journals/maple/MazaR26,
 author = {Marc Moreno Maza and
Tom{\'{a}}s Recio},
 doi = {10.5206/mt.v6i1.24787},
 journal = {Maple Trans.},
 title = {Matrices and Polynomials In Computer Algebra: LALO60},
 url = {https://doi.org/10.5206/mt.v6i1.24787},
 volume = {6},
 year = {2026}
}

@article{DBLP:journals/mics/BahramiM26,
 author = {Sepideh Bahrami and
Marc Moreno Maza},
 doi = {10.1007/s11786-026-00628-6},
 journal = {Math. Comput. Sci.},
 pages = {12},
 title = {Osculating Spaces of Plane Curves},
 url = {https://doi.org/10.1007/s11786-026-00628-6},
 volume = {20},
 year = {2026}
}

@inproceedings{DBLP:conf/casc/JingLMM26,
 author = {Rui-Juan Jing and
Yuzhuo Lei and
Marc Moreno Maza and
Chirantan Mukherjee},
 booktitle = {Computer Algebra in Scientific Computing - 28th International Workshop, CASC 2026, Bath, UK, August 31 - September 4, 2026, Proceedings},
 doi = {10.1007/978-3-032-34586-8_10},
 editor = {Fran{\c{c}}ois Boulier and
Chenqi Mou and
Timur M. Sadykov and
Ali Kemal Uncu},
 pages = {189--209},
 publisher = {Springer},
 title = {On the Computation of Extended Convex Hulls},
 url = {https://doi.org/10.1007/978-3-032-34586-8_10},
 volume = {16844},
 year = {2026}
}

@article{DBLP:journals/cca/JingLMMM25,
 author = {Rui-Juan Jing and
Yuzhuo Lei and
Christopher F. S. Maligec and
Marc Moreno Maza and
Chirantan Mukherjee},
 doi = {10.1145/3787957.3787958},
 journal = {ACM Commun. Comput. Algebra},
 pages = {41--46},
 title = {Integer Hulls, Z-Polyhedra and Presburger Arithmetic in Action},
 url = {https://doi.org/10.1145/3787957.3787958},
 volume = {59},
 year = {2025}
}

@article{DBLP:journals/maple/LeiMMJW25,
 author = {Yuzhuo Lei and
Marc Moreno Maza and
Christopher F. S. Maligec and
Rui-Juan Jing and
Linxiao Wang},
 doi = {10.5206/mt.v5i2.22392},
 journal = {Maple Trans.},
 title = {Counting the number of integer points of non-parametric and parametric polytopes with the PolyhedralSets in Maple},
 url = {https://doi.org/10.5206/mt.v5i2.22392},
 volume = {5},
 year = {2025}
}

@article{DBLP:journals/maple/TrochezCMPRB25,
 author = {Juan Pablo Gonz{\'{a}}lez Trochez and
Matt Calder and
Marc Moreno Maza and
Erik Postma and
Manuel Romero and
Alexander Brandt},
 doi = {10.5206/mt.v5i2.22367},
 journal = {Maple Trans.},
 title = {The Multivariate Power Series Package in Maple 2024},
 url = {https://doi.org/10.5206/mt.v5i2.22367},
 volume = {5},
 year = {2025}
}

@inproceedings{DBLP:conf/casc/SolisReyesMB25,
 author = {Greg Alejandro Solis-Reyes and
Marc Moreno Maza and
Alexander Brandt},
 booktitle = {Computer Algebra in Scientific Computing - 27th International Workshop, CASC 2025, Dubai, United Arab Emirates, November 24-28, 2025, Proceedings},
 doi = {10.1007/978-3-032-09645-6_20},
 editor = {Fran{\c{c}}ois Boulier and
Chenqi Mou and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {380--400},
 publisher = {Springer},
 title = {Parallel Computation of the Power Series Solutions to Linear Ordinary Differential Equations},
 url = {https://doi.org/10.1007/978-3-032-09645-6_20},
 volume = {16235},
 year = {2025}
}

@inproceedings{DBLP:conf/issac/JingLMMM25,
 author = {Rui-Juan Jing and
Yuzhuo Lei and
Christopher Frank Stephan Maligec and
Marc Moreno Maza and
Chirantan Mukherjee},
 booktitle = {Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation, ISSAC 2025, Guanajuato, Mexico, 28 July 2025 - 1 August 2025},
 doi = {10.1145/3747199.3747580},
 editor = {Carlos D'Andrea and
Sonia P{\'{e}}rez-D{\'{i}}az and
Santiago Laplagne},
 pages = {353--362},
 publisher = {ACM},
 title = {Quantifier Elimination Over the Integers},
 url = {https://doi.org/10.1145/3747199.3747580},
 year = {2025}
}

@inproceedings{DBLP:conf/synasc/OlagunjuMJ25,
 author = {Aishat Olagunju and
Marc Moreno Maza and
David J. Jeffrey},
 booktitle = {27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2025, Timisoara, Romania, September 22-25, 2025},
 doi = {10.1109/SYNASC69064.2025.00014},
 pages = {45--52},
 publisher = {IEEE},
 title = {Fraction-Free Comprehensive LU Decomposition and Variants},
 url = {https://doi.org/10.1109/SYNASC69064.2025.00014},
 year = {2025}
}

@inproceedings{DBLP:conf/casc/JingLMM24,
 author = {Rui-Juan Jing and
Yuzhuo Lei and
Christopher F. S. Maligec and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 26th International Workshop, CASC 2024, Rennes, France, September 2-6, 2024, Proceedings},
 doi = {10.1007/978-3-031-69070-9_9},
 editor = {Fran{\c{c}}ois Boulier and
Chenqi Mou and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {140--160},
 publisher = {Springer},
 title = {Counting the Integer Points of Parametric Polytopes: A Maple Implementation},
 url = {https://doi.org/10.1007/978-3-031-69070-9_9},
 volume = {14938},
 year = {2024}
}

@inproceedings{DBLP:conf/issac/JingMXY24,
 author = {Rui-Juan Jing and
Marc Moreno Maza and
Yan-Feng Xie and
Chun-Ming Yuan},
 booktitle = {Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, ISSAC 2024, Raleigh, NC, USA, July 16-19, 2024},
 doi = {10.1145/3666000.3669708},
 editor = {Jonathan D. Hauenstein and
Wen-shin Lee and
Shaoshi Chen},
 pages = {351--360},
 publisher = {ACM},
 title = {Efficient detection of redundancies in systems of linear inequalities✱},
 url = {https://doi.org/10.1145/3666000.3669708},
 year = {2024}
}

@inproceedings{DBLP:conf/synasc/OlagunjuMJ24,
 author = {Aishat Olagunju and
Marc Moreno Maza and
David J. Jeffrey},
 booktitle = {26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2024, Timisoara, Romania, September 16-19, 2024},
 doi = {10.1109/SYNASC65383.2024.00016},
 pages = {17--24},
 publisher = {IEEE},
 title = {Comprehensive LU Decomposition and True Path},
 url = {https://doi.org/10.1109/SYNASC65383.2024.00016},
 year = {2024}
}

@article{DBLP:journals/jsc/AsadiBMMX23,
 author = {Mohammadali Asadi and
Alexander Brandt and
Robert H. C. Moir and
Marc Moreno Maza and
Yuzhen Xie},
 doi = {10.1016/j.jsc.2022.08.015},
 journal = {J. Symb. Comput.},
 pages = {371--406},
 title = {Parallelization of triangular decompositions: Techniques and implementation},
 url = {https://doi.org/10.1016/j.jsc.2022.08.015},
 volume = {115},
 year = {2023}
}

@article{DBLP:journals/maple/TrochezMPC23,
 author = {Juan Pablo Gonz{\'{a}}lez Trochez and
Marc Moreno Maza and
Erik Postma and
Matt Calder},
 doi = {10.5206/mt.v3i2.16000},
 journal = {Maple Trans.},
 title = {Laurent Series and Puiseux Series in Maple},
 url = {https://doi.org/10.5206/mt.v3i2.16000},
 volume = {3},
 year = {2023}
}

@inproceedings{DBLP:conf/casc/BrandtTMY23,
 author = {Alexander Brandt and
Juan Pablo Gonz{\'{a}}lez Trochez and
Marc Moreno Maza and
Haoze Yuan},
 booktitle = {Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings},
 doi = {10.1007/978-3-031-41724-5_4},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Ilias S. Kotsireas and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {69--89},
 publisher = {Springer},
 title = {A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface},
 url = {https://doi.org/10.1007/978-3-031-41724-5_4},
 volume = {14139},
 year = {2023}
}

@inproceedings{DBLP:conf/cascon/BrandtMJWMP23,
 author = {Alexander Brandt and
Marc Moreno Maza and
Taabish Jeshani and
Linxiao Wang and
Davood Mohajerani and
Jeeva Paudel},
 booktitle = {Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, CASCON 2023, Las Vegas, NV, USA, September 11-14, 2023},
 editor = {Paria Shirani and
Iosif-Viorel Onut and
Paula Branco},
 pages = {64--73},
 publisher = {ACM},
 title = {Dynamically Finding Optimal Kernel Launch Parameters for CUDA Programs},
 url = {https://dl.acm.org/doi/10.5555/3615924.3615931},
 year = {2023}
}

@article{DBLP:journals/cca/TrochezMCP22,
 author = {Juan Pablo Gonz{\'{a}}lez Trochez and
Marc Moreno Maza and
Matt Calder and
Erik Postma},
 doi = {10.1145/3572867.3572877},
 journal = {ACM Commun. Comput. Algebra},
 pages = {64--67},
 title = {Algorithms for multivariate laurent series},
 url = {https://doi.org/10.1145/3572867.3572877},
 volume = {56},
 year = {2022}
}

@article{DBLP:journals/maple/PostmaM22,
 author = {Erik Postma and
Marc Moreno Maza},
 doi = {10.5206/mt.v2i1.14469},
 journal = {Maple Trans.},
 title = {Substituting Units into Multivariate Power Series},
 url = {https://doi.org/10.5206/mt.v2i1.14469},
 volume = {2},
 year = {2022}
}

@article{DBLP:journals/maple/SandfordGM22,
 author = {Ryan Sandford and
J{\"{u}}rgen Gerhard and
Marc Moreno Maza},
 doi = {10.5206/mt.v2i1.14463},
 journal = {Maple Trans.},
 title = {Computing Intersection Multiplicities with Regular Chains},
 url = {https://doi.org/10.5206/mt.v2i1.14463},
 volume = {2},
 year = {2022}
}

@article{DBLP:journals/maple/TrochezCMP22,
 author = {Juan Pablo Gonz{\'{a}}lez Trochez and
Matt Calder and
Marc Moreno Maza and
Erik Postma},
 doi = {10.5206/mt.v2i1.14448},
 journal = {Maple Trans.},
 title = {A Maple implementation of a modular algorithm for computing the common zeros of a polynomial and a regular chain},
 url = {https://doi.org/10.5206/mt.v2i1.14448},
 volume = {2},
 year = {2022}
}

@inproceedings{DBLP:conf/casc/AsadiBJM22,
 author = {Mohammadali Asadi and
Alexander Brandt and
David J. Jeffrey and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
 doi = {10.1007/978-3-031-14788-3_3},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {29--50},
 publisher = {Springer},
 title = {Subresultant Chains Using B{\'{e}}zout Matrices},
 url = {https://doi.org/10.1007/978-3-031-14788-3_3},
 volume = {13366},
 year = {2022}
}

@inproceedings{DBLP:conf/casc/MazaW22,
 author = {Marc Moreno Maza and
Linxiao Wang},
 booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
 doi = {10.1007/978-3-031-14788-3_14},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {246--267},
 publisher = {Springer},
 title = {Computing the Integer Hull of Convex Polyhedral Sets},
 url = {https://doi.org/10.1007/978-3-031-14788-3_14},
 volume = {13366},
 year = {2022}
}

@inproceedings{DBLP:conf/icppw/TalaashrafiDM22,
 author = {Delaram Talaashrafi and
Johannes Doerfert and
Marc Moreno Maza},
 booktitle = {Workshop Proceedings of the 51st International Conference on Parallel Processing, ICPP Workshops 2022, Bordeaux, France, 29 August 2022 - 1 September 2022},
 doi = {10.1145/3547276.3548445},
 pages = {18:1--18:10},
 publisher = {ACM},
 title = {A Pipeline Pattern Detection Technique in Polly},
 url = {https://doi.org/10.1145/3547276.3548445},
 year = {2022}
}

@inproceedings{DBLP:conf/iwomp/TalaashrafiMD22,
 author = {Delaram Talaashrafi and
Marc Moreno Maza and
Johannes Doerfert},
 booktitle = {OpenMP in a Modern World: From Multi-device Support to Meta Programming - 18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27-30, 2022, Proceedings},
 doi = {10.1007/978-3-031-15922-0_5},
 editor = {Michael Klemm and
Bronis R. de Supinski and
Jannis Klinkenberg and
Brandon Neth},
 pages = {67--80},
 publisher = {Springer},
 title = {Towards Automatic OpenMP-Aware Utilization of Fast GPU Memory},
 url = {https://doi.org/10.1007/978-3-031-15922-0_5},
 volume = {13527},
 year = {2022}
}

@inproceedings{DBLP:conf/synasc/MazaY22,
 author = {Marc Moreno Maza and
Haoze Yuan},
 booktitle = {24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022},
 doi = {10.1109/SYNASC57785.2022.00015},
 editor = {Bruno Buchberger and
Mircea Marin and
Viorel Negru and
Daniela Zaharie},
 pages = {35--42},
 publisher = {IEEE},
 title = {Balanced Dense Multivariate Multiplication: The General Case},
 url = {https://doi.org/10.1109/SYNASC57785.2022.00015},
 year = {2022}
}

@proceedings{DBLP:conf/issac/2022,
 booktitle = {ISSAC},
 doi = {10.1145/3476446},
 editor = {Marc Moreno Maza and
Lihong Zhi},
 publisher = {ACM},
 title = {ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022},
 url = {https://doi.org/10.1145/3476446},
 year = {2022}
}

@article{DBLP:journals/corr/abs-2105-10798,
 author = {Alexander Brandt and
Marc Moreno Maza},
 doi = {10.48550/arXiv.2105.10798},
 journal = {CoRR},
 title = {On the Complexity and Parallel Implementation of Hensel's Lemma and Weierstrass Preparation},
 url = {https://doi.org/10.48550/arXiv.2105.10798},
 volume = {abs/2105.10798},
 year = {2021}
}

@article{DBLP:journals/corr/abs-2106-15519,
 author = {Mohammadali Asadi and
Alexander Brandt and
Mahsa Kazemi and
Marc Moreno Maza and
Erik Postma},
 doi = {10.48550/arXiv.2106.15519},
 journal = {CoRR},
 title = {Multivariate Power Series in Maple},
 url = {https://doi.org/10.48550/arXiv.2106.15519},
 volume = {abs/2106.15519},
 year = {2021}
}

@article{DBLP:journals/mics/BoulierLMP21,
 author = {Fran{\c{c}}ois Boulier and
Fran{\c{c}}ois Lemaire and
Marc Moreno Maza and
Adrien Poteaux},
 doi = {10.1007/s11786-020-00477-x},
 journal = {Math. Comput. Sci.},
 pages = {177--188},
 title = {A Short Contribution to the Theory of Regular Chains},
 url = {https://doi.org/10.1007/s11786-020-00477-x},
 volume = {15},
 year = {2021}
}

@inproceedings{DBLP:conf/casc/AsadiBM21,
 author = {Mohammadali Asadi and
Alexander Brandt and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings},
 doi = {10.1007/978-3-030-85165-1_3},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {21--41},
 publisher = {Springer},
 title = {Computational Schemes for Subresultant Chains},
 url = {https://doi.org/10.1007/978-3-030-85165-1_3},
 volume = {12865},
 year = {2021}
}

@inproceedings{DBLP:conf/casc/BrandtM21,
 author = {Alexander Brandt and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings},
 doi = {10.1007/978-3-030-85165-1_6},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {78--99},
 publisher = {Springer},
 title = {On the Complexity and Parallel Implementation of Hensel's Lemma and Weierstrass Preparation},
 url = {https://doi.org/10.1007/978-3-030-85165-1_6},
 volume = {12865},
 year = {2021}
}

@inproceedings{DBLP:conf/casc/MazaS21,
 author = {Marc Moreno Maza and
Ryan Sandford},
 booktitle = {Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings},
 doi = {10.1007/978-3-030-85165-1_14},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {232--251},
 publisher = {Springer},
 title = {Towards Extending Fulton's Algorithm for Computing Intersection Multiplicities Beyond the Bivariate Case},
 url = {https://doi.org/10.1007/978-3-030-85165-1_14},
 volume = {12865},
 year = {2021}
}

@inproceedings{DBLP:conf/casc/MazaW21,
 author = {Marc Moreno Maza and
Linxiao Wang},
 booktitle = {Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings},
 doi = {10.1007/978-3-030-85165-1_15},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {252--271},
 publisher = {Springer},
 title = {On the Pseudo-Periodicity of the Integer Hull of Parametric Convex Polygons},
 url = {https://doi.org/10.1007/978-3-030-85165-1_15},
 volume = {12865},
 year = {2021}
}

@inproceedings{DBLP:conf/issac/Maza21,
 author = {Marc Moreno Maza},
 booktitle = {ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021},
 doi = {10.1145/3452143.3465511},
 editor = {Fr{\'{e}}d{\'{e}}ric Chyzak and
George Labahn},
 pages = {15--20},
 publisher = {ACM},
 title = {Design and Implementation of Multi-Threaded Algorithms in Polynomial Algebra},
 url = {https://doi.org/10.1145/3452143.3465511},
 year = {2021}
}

@article{DBLP:journals/jsc/AlvandiAKM20,
 author = {Parisa Alvandi and
Masoud Ataei and
Mahsa Kazemi and
Marc Moreno Maza},
 doi = {10.1016/j.jsc.2019.07.009},
 journal = {J. Symb. Comput.},
 pages = {120--162},
 title = {On the Extended Hensel Construction and its application to the computation of real limit points},
 url = {https://doi.org/10.1016/j.jsc.2019.07.009},
 volume = {98},
 year = {2020}
}

@article{DBLP:journals/na/MoirCMX20,
 author = {Robert H. C. Moir and
Robert M. Corless and
Marc Moreno Maza and
Ning Xie},
 doi = {10.1007/s11075-019-00726-6},
 journal = {Numer. Algorithms},
 pages = {1295--1320},
 title = {Symbolic-numeric integration of rational functions},
 url = {https://doi.org/10.1007/s11075-019-00726-6},
 volume = {83},
 year = {2020}
}

@inproceedings{DBLP:conf/casc/BrandtKM20,
 author = {Alexander Brandt and
Mahsa Kazemi and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings},
 doi = {10.1007/978-3-030-60026-6_7},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {108--128},
 publisher = {Springer},
 title = {Power Series Arithmetic with the BPAS Library},
 url = {https://doi.org/10.1007/978-3-030-60026-6_7},
 volume = {12291},
 year = {2020}
}

@inproceedings{DBLP:conf/casc/JingMT20,
 author = {Rui-Juan Jing and
Marc Moreno Maza and
Delaram Talaashrafi},
 booktitle = {Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings},
 doi = {10.1007/978-3-030-60026-6_16},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {282--306},
 publisher = {Springer},
 title = {Complexity Estimates for Fourier-Motzkin Elimination},
 url = {https://doi.org/10.1007/978-3-030-60026-6_16},
 volume = {12291},
 year = {2020}
}

@inproceedings{DBLP:conf/icms/BrandtMM20,
 author = {Alexander Brandt and
Robert H. C. Moir and
Marc Moreno Maza},
 booktitle = {Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings},
 doi = {10.1007/978-3-030-52200-1_34},
 editor = {Anna Maria Bigatti and
Jacques Carette and
James H. Davenport and
Michael Joswig and
Timo de Wolff},
 pages = {342--352},
 publisher = {Springer},
 title = {Employing C++ Templates in the Design of a Computer Algebra Library},
 url = {https://doi.org/10.1007/978-3-030-52200-1_34},
 volume = {12097},
 year = {2020}
}

@inproceedings{DBLP:conf/issac/AsadiBMMX20,
 author = {Mohammadali Asadi and
Alexander Brandt and
Robert H. C. Moir and
Marc Moreno Maza and
Yuzhen Xie},
 booktitle = {ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020},
 doi = {10.1145/3373207.3404065},
 editor = {Ioannis Z. Emiris and
Lihong Zhi},
 pages = {22--29},
 publisher = {ACM},
 title = {On the parallelization of triangular decompositions},
 url = {https://doi.org/10.1145/3373207.3404065},
 year = {2020}
}

@inproceedings{DBLP:conf/mc2/AsadiBKMP20,
 author = {Mohammadali Asadi and
Alexander Brandt and
Mahsa Kazemi and
Marc Moreno Maza and
Erik J. Postma},
 booktitle = {Maple in Mathematics Education and Research - 4th Maple Conference, MC 2020, Waterloo, Ontario, Canada, November 2-6, 2020, Revised Selected Papers},
 doi = {10.1007/978-3-030-81698-8_4},
 editor = {Robert M. Corless and
J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
 pages = {48--66},
 publisher = {Springer},
 title = {Multivariate Power Series in Maple},
 url = {https://doi.org/10.1007/978-3-030-81698-8_4},
 volume = {1414},
 year = {2020}
}

@article{DBLP:journals/corr/abs-1906-00039,
 author = {Mohammadali Asadi and
Alexander Brandt and
Robert H. C. Moir and
Marc Moreno Maza and
Yuzhen Xie},
 doi = {10.48550/arXiv.1906.00039},
 journal = {CoRR},
 title = {On the Parallelization of Triangular Decomposition of Polynomial Systems},
 url = {https://doi.org/10.48550/arXiv.1906.00039},
 volume = {abs/1906.00039},
 year = {2019}
}

@article{DBLP:journals/corr/abs-1906-00142,
 author = {Alexander Brandt and
Davood Mohajerani and
Marc Moreno Maza and
Jeeva Paudel and
Lin-Xiao Wang},
 doi = {10.48550/arXiv.1906.00142},
 journal = {CoRR},
 title = {A Technique for Finding Optimal Program Launch Parameters Targeting Manycore Accelerators},
 url = {https://doi.org/10.48550/arXiv.1906.00142},
 volume = {abs/1906.00142},
 year = {2019}
}

@article{DBLP:journals/corr/abs-1911-02373,
 author = {Alexander Brandt and
Davood Mohajerani and
Marc Moreno Maza and
Jeeva Paudel and
Lin-Xiao Wang},
 doi = {10.48550/arXiv.1911.02373},
 journal = {CoRR},
 title = {KLARAPTOR: A Tool for Dynamically Finding Optimal Kernel Launch Parameters Targeting CUDA Programs},
 url = {https://doi.org/10.48550/arXiv.1911.02373},
 volume = {abs/1911.02373},
 year = {2019}
}

@article{DBLP:journals/jsc/BoulierLPM19,
 author = {Fran{\c{c}}ois Boulier and
Fran{\c{c}}ois Lemaire and
Adrien Poteaux and
Marc Moreno Maza},
 doi = {10.1016/j.jsc.2018.04.011},
 journal = {J. Symb. Comput.},
 pages = {34--55},
 title = {An equivalence theorem for regular differential chains},
 url = {https://doi.org/10.1016/j.jsc.2018.04.011},
 volume = {93},
 year = {2019}
}

@inproceedings{DBLP:conf/cvpr/ZhangMCMDB19,
 author = {Zhongwen Zhang and
Dmitrii Marin and
Egor Chesakov and
Marc Moreno Maza and
Maria Drangova and
Yuri Boykov},
 booktitle = {IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2019, Long Beach, CA, USA, June 16-20, 2019},
 doi = {10.1109/CVPR.2019.01046},
 pages = {10216--10224},
 publisher = {Computer Vision Foundation / IEEE},
 title = {Divergence Prior and Vessel-Tree Reconstruction},
 url = {http://openaccess.thecvf.com/content_CVPR_2019/html/Zhang_Divergence_Prior_and_Vessel-Tree_Reconstruction_CVPR_2019_paper.html},
 year = {2019}
}

@inproceedings{DBLP:conf/issac/CovanovMMW19,
 author = {Svyatoslav Covanov and
Davood Mohajerani and
Marc Moreno Maza and
Lin-Xiao Wang},
 booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, ISSAC 2019, Beijing, China, July 15-18, 2019.},
 doi = {10.1145/3326229.3326273},
 editor = {James H. Davenport and
Dongming Wang and
Manuel Kauers and
Russell J. Bradford},
 pages = {106--113},
 publisher = {ACM},
 title = {Big Prime Field FFT on Multi-core Processors},
 url = {https://doi.org/10.1145/3326229.3326273},
 year = {2019}
}

@inproceedings{DBLP:conf/macis/CoutoMLJC19,
 author = {Ana C. Camargos Couto and
Marc Moreno Maza and
David Linder and
David J. Jeffrey and
Robert M. Corless},
 booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International Conference, MACIS 2019, Gebze, Turkey, November 13-15, 2019, Revised Selected Papers},
 doi = {10.1007/978-3-030-43120-4_8},
 editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
 pages = {80--88},
 publisher = {Springer},
 title = {Comprehensive LU Factors of Polynomial Matrices},
 url = {https://doi.org/10.1007/978-3-030-43120-4_8},
 volume = {11989},
 year = {2019}
}

@inproceedings{DBLP:conf/mc2/JingM19,
 author = {Rui-Juan Jing and
Marc Moreno Maza},
 booktitle = {Maple in Mathematics Education and Research - Third Maple Conference, MC 2019, Waterloo, Ontario, Canada, October 15-17, 2019, Proceedings},
 doi = {10.1007/978-3-030-41258-6_10},
 editor = {J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
 pages = {132--144},
 publisher = {Springer},
 title = {The Z\_Polyhedra Library in Maple},
 url = {https://doi.org/10.1007/978-3-030-41258-6_10},
 volume = {1125},
 year = {2019}
}

@inproceedings{DBLP:conf/mc2/KazemiM19,
 author = {Mahsa Kazemi and
Marc Moreno Maza},
 booktitle = {Maple in Mathematics Education and Research - Third Maple Conference, MC 2019, Waterloo, Ontario, Canada, October 15-17, 2019, Proceedings},
 doi = {10.1007/978-3-030-41258-6_11},
 editor = {J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
 pages = {145--155},
 publisher = {Springer},
 title = {Detecting Singularities Using the PowerSeries Library},
 url = {https://doi.org/10.1007/978-3-030-41258-6_11},
 volume = {1125},
 year = {2019}
}

@article{DBLP:journals/cca/JingM18,
 author = {Rui-Juan Jing and
Marc Moreno Maza},
 doi = {10.1145/3338637.3338642},
 journal = {ACM Commun. Comput. Algebra},
 pages = {126--129},
 title = {Computing the integer points of a polyhedron},
 url = {https://doi.org/10.1145/3338637.3338642},
 volume = {52},
 year = {2018}
}

@article{DBLP:journals/corr/abs-1801-04348,
 author = {Xiaohui Chen and
Marc Moreno Maza and
Jeeva Paudel and
Ning Xie},
 doi = {10.48550/arXiv.1801.04348},
 journal = {CoRR},
 title = {Comprehensive Optimization of Parametric Kernels for Graphics Processing Units},
 url = {https://doi.org/10.48550/arXiv.1801.04348},
 volume = {abs/1801.04348},
 year = {2018}
}

@article{DBLP:journals/corr/abs-1811-01490,
 author = {Sviatoslav Covanov and
Davood Mohajerani and
Marc Moreno Maza and
Lin-Xiao Wang},
 doi = {10.48550/arXiv.1811.01490},
 journal = {CoRR},
 title = {Putting F{\"{u}}rer Algorithm into Practice with the BPAS Library},
 url = {https://doi.org/10.48550/arXiv.1811.01490},
 volume = {abs/1811.01490},
 year = {2018}
}

@article{DBLP:journals/corr/abs-1811-01510,
 author = {Rui-Juan Jing and
Marc Moreno Maza and
Delaram Talaashrafi},
 doi = {10.48550/arXiv.1811.01510},
 journal = {CoRR},
 title = {Complexity Estimates for Fourier-Motzkin Elimination},
 url = {https://doi.org/10.48550/arXiv.1811.01510},
 volume = {abs/1811.01510},
 year = {2018}
}

@inproceedings{DBLP:conf/casc/AsadiBMM18,
 author = {Mohammadali Asadi and
Alexander Brandt and
Robert H. C. Moir and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings},
 doi = {10.1007/978-3-319-99639-4_3},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {32--50},
 publisher = {Springer},
 title = {Sparse Polynomial Arithmetic with the BPAS Library},
 url = {https://doi.org/10.1007/978-3-319-99639-4_3},
 volume = {11077},
 year = {2018}
}

@article{DBLP:journals/cca/HaqueLMMMP17,
 author = {Sardar Anisul Haque and
X. Li and
Farnam Mansouri and
Marc Moreno Maza and
Davood Mohajerani and
Wei Pan},
 doi = {10.1145/3177795.3177799},
 journal = {ACM Commun. Comput. Algebra},
 pages = {89--91},
 title = {CUMODP: a CUDA library for modular polynomial computation},
 url = {https://doi.org/10.1145/3177795.3177799},
 volume = {51},
 year = {2017}
}

@article{DBLP:journals/cca/JingM17,
 author = {Rui-Juan Jing and
Marc Moreno Maza},
 doi = {10.1145/3177795.3177798},
 journal = {ACM Commun. Comput. Algebra},
 pages = {86--88},
 title = {The polyhedra library in maple},
 url = {https://doi.org/10.1145/3177795.3177798},
 volume = {51},
 year = {2017}
}

@article{DBLP:journals/corr/abs-1712-01752,
 author = {Robert M. Corless and
Robert H. C. Moir and
Marc Moreno Maza and
Ning Xie},
 doi = {10.48550/arXiv.1712.01752},
 journal = {CoRR},
 title = {Symbolic-Numeric Integration of Rational Functions},
 url = {https://doi.org/10.48550/arXiv.1712.01752},
 volume = {abs/1712.01752},
 year = {2017}
}

@inproceedings{DBLP:conf/casc/JingM17a,
 author = {Rui-Juan Jing and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings},
 doi = {10.1007/978-3-319-66320-3_18},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {242--256},
 publisher = {Springer},
 title = {Computing the Integer Points of a Polyhedron, II: Complexity Estimates},
 url = {https://doi.org/10.1007/978-3-319-66320-3_18},
 volume = {10490},
 year = {2017}
}

@inproceedings{DBLP:conf/casc/JingM17,
 author = {Rui-Juan Jing and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings},
 doi = {10.1007/978-3-319-66320-3_17},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {225--241},
 publisher = {Springer},
 title = {Computing the Integer Points of a Polyhedron, I: Algorithm},
 url = {https://doi.org/10.1007/978-3-319-66320-3_17},
 volume = {10490},
 year = {2017}
}

@inproceedings{DBLP:conf/issac/AlvandiAM17,
 author = {Parisa Alvandi and
Masoud Ataei and
Marc Moreno Maza},
 booktitle = {Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2017, Kaiserslautern, Germany, July 25-28, 2017},
 doi = {10.1145/3087604.3087658},
 editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
 pages = {13--20},
 publisher = {ACM},
 title = {On the Extended Hensel Construction and its Application to the Computation of Limit Points},
 url = {https://doi.org/10.1145/3087604.3087658},
 year = {2017}
}

@inproceedings{DBLP:conf/issac/ChenCMM17,
 author = {Liangyu Chen and
Svyatoslav Covanov and
Davood Mohajerani and
Marc Moreno Maza},
 booktitle = {Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2017, Kaiserslautern, Germany, July 25-28, 2017},
 doi = {10.1145/3087604.3087657},
 editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
 pages = {85--92},
 publisher = {ACM},
 title = {Big Prime Field FFT on the GPU},
 url = {https://doi.org/10.1145/3087604.3087657},
 year = {2017}
}

@inproceedings{DBLP:conf/issac/HaqueHMM17,
 author = {Sardar Anisul Haque and
Amir Hashemi and
Davood Mohajerani and
Marc Moreno Maza},
 booktitle = {Proceedings of the International Workshop on Parallel Symbolic Computation, PASCO@ISSAC 2017, Kaiserslautern, Germany, July 23-24, 2017},
 doi = {10.1145/3115936.3115946},
 editor = {Jean-Charles Faug{\`{e}}re and
Michael B. Monagan and
Hans-Wolfgang Loidl},
 pages = {10:1--10:10},
 publisher = {ACM},
 title = {Plain, and Somehow Sparse, Univariate Polynomial Division on Graphics Processing Units},
 url = {https://doi.org/10.1145/3115936.3115946},
 year = {2017}
}

@inproceedings{DBLP:conf/issac/JingM17,
 author = {Rui-Juan Jing and
Marc Moreno Maza},
 booktitle = {Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), Kaiserslautern, Germany, July 29, 2017.},
 editor = {Matthew England and
Vijay Ganesh},
 publisher = {CEUR-WS.org},
 title = {Computing the Integer Points of a Polyhedron},
 url = {https://ceur-ws.org/Vol-1974/EAa.pdf},
 volume = {1974},
 year = {2017}
}

@inproceedings{DBLP:conf/issac/Maza17,
 author = {Marc Moreno Maza},
 booktitle = {Proceedings of the International Workshop on Parallel Symbolic Computation, PASCO@ISSAC 2017, Kaiserslautern, Germany, July 23-24, 2017},
 doi = {10.1145/3115936.3115939},
 editor = {Jean-Charles Faug{\`{e}}re and
Michael B. Monagan and
Hans-Wolfgang Loidl},
 pages = {3:1},
 publisher = {ACM},
 title = {Multithreaded programming on the GPU: pointers and hints for the computer algebraist},
 url = {https://doi.org/10.1145/3115936.3115939},
 year = {2017}
}

@inproceedings{DBLP:conf/macis/CorlessMT17,
 author = {Robert M. Corless and
Marc Moreno Maza and
Steven E. Thornton},
 booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
 doi = {10.1007/978-3-319-72453-9_13},
 editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
 pages = {179--194},
 publisher = {Springer},
 title = {Jordan Canonical Form with Parameters from Frobenius Form with Parameters},
 url = {https://doi.org/10.1007/978-3-319-72453-9_13},
 volume = {10693},
 year = {2017}
}

@article{DBLP:journals/cca/AlvandiKM16,
 author = {Parisa Alvandi and
Mahsa Kazemi and
Marc Moreno Maza},
 doi = {10.1145/3015306.3015311},
 journal = {ACM Commun. Comput. Algebra},
 pages = {93--96},
 title = {Computing limits with the regularchains and powerseries libraries: from rational functions to Zariski closure},
 url = {https://doi.org/10.1145/3015306.3015311},
 volume = {50},
 year = {2016}
}

@article{DBLP:journals/cca/AlvandiM16,
 author = {Parisa Alvandi and
Marc Moreno Maza},
 doi = {10.1145/3055282.3055286},
 journal = {ACM Commun. Comput. Algebra},
 pages = {148--150},
 title = {Real limit points of quasi-componenets of regular chains},
 url = {https://doi.org/10.1145/3055282.3055286},
 volume = {50},
 year = {2016}
}

@article{DBLP:journals/cca/ChenCMMM0X16,
 author = {Changbo Chen and
Svyatoslav Covanov and
Farnam Mansouri and
Robert H. C. Moir and
Marc Moreno Maza and
Ning Xie and
Yuzhen Xie},
 doi = {10.1145/3015306.3015312},
 journal = {ACM Commun. Comput. Algebra},
 pages = {97--100},
 title = {The basic polynomial algebra subprograms},
 url = {https://doi.org/10.1145/3015306.3015312},
 volume = {50},
 year = {2016}
}

@article{DBLP:journals/corr/ChenCMM0X16,
 author = {Changbo Chen and
Svyatoslav Covanov and
Farnam Mansouri and
Marc Moreno Maza and
Ning Xie and
Yuzhen Xie},
 doi = {10.48550/arXiv.1612.05778},
 journal = {CoRR},
 title = {Parallel Integer Polynomial Multiplication},
 url = {https://doi.org/10.48550/arXiv.1612.05778},
 volume = {abs/1612.05778},
 year = {2016}
}

@article{DBLP:journals/jsc/ChenM16,
 author = {Changbo Chen and
Marc Moreno Maza},
 doi = {10.1016/j.jsc.2015.11.008},
 journal = {J. Symb. Comput.},
 pages = {74--93},
 title = {Quantifier elimination by cylindrical algebraic decomposition based on regular chains},
 url = {https://doi.org/10.1016/j.jsc.2015.11.008},
 volume = {75},
 year = {2016}
}

@inproceedings{DBLP:conf/issac/AlvandiKM16,
 author = {Parisa Alvandi and
Mahsa Kazemi and
Marc Moreno Maza},
 booktitle = {Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016},
 doi = {10.1145/2930889.2930938},
 editor = {Sergei A. Abramov and
Eugene V. Zima and
Xiao-Shan Gao},
 pages = {39--46},
 publisher = {ACM},
 title = {Computing Limits of Real Multivariate Rational Functions},
 url = {https://doi.org/10.1145/2930889.2930938},
 year = {2016}
}

@inproceedings{DBLP:conf/synasc/ChenCMM0X16,
 author = {Changbo Chen and
Svyatoslav Covanov and
Farnam Mansouri and
Marc Moreno Maza and
Ning Xie and
Yuzhen Xie},
 booktitle = {18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016},
 doi = {10.1109/SYNASC.2016.024},
 editor = {James H. Davenport and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 pages = {72--80},
 publisher = {IEEE},
 title = {Parallel Integer Polynomial Multiplication},
 url = {https://doi.org/10.1109/SYNASC.2016.024},
 year = {2016}
}

@article{DBLP:journals/cca/Maza15,
 author = {Marc Moreno Maza},
 doi = {10.1145/2815111.2815129},
 journal = {ACM Commun. Comput. Algebra},
 pages = {54},
 title = {Doing algebraic geometry with the RegularChains library},
 url = {https://doi.org/10.1145/2815111.2815129},
 volume = {49},
 year = {2015}
}

@inproceedings{DBLP:conf/casc/AlvandiCHM15,
 author = {Parisa Alvandi and
Changbo Chen and
Amir Hashemi and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings},
 doi = {10.1007/978-3-319-24021-3_3},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {30--44},
 publisher = {Springer},
 title = {Regular Chains under Linear Changes of Coordinates and Applications},
 url = {https://doi.org/10.1007/978-3-319-24021-3_3},
 volume = {9301},
 year = {2015}
}

@inproceedings{DBLP:conf/casc/AlvandiMSV15,
 author = {Parisa Alvandi and
Marc Moreno Maza and
{\'{E}}ric Schost and
Paul Vrbik},
 booktitle = {Computer Algebra in Scientific Computing - 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings},
 doi = {10.1007/978-3-319-24021-3_4},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {45--60},
 publisher = {Springer},
 title = {A Standard Basis Free Algorithm for Computing the Tangent Cones of a Space Curve},
 url = {https://doi.org/10.1007/978-3-319-24021-3_4},
 volume = {9301},
 year = {2015}
}

@inproceedings{DBLP:conf/casc/ChenM15,
 author = {Changbo Chen and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings},
 doi = {10.1007/978-3-319-24021-3_9},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {119--134},
 publisher = {Springer},
 title = {Simplification of Cylindrical Algebraic Formulas},
 url = {https://doi.org/10.1007/978-3-319-24021-3_9},
 volume = {9301},
 year = {2015}
}

@inproceedings{DBLP:conf/cascon/ChenCKMX15,
 author = {Changbo Chen and
Xiaohui Chen and
Abdoul-Kader Keita and
Marc Moreno Maza and
Ning Xie},
 booktitle = {Proceedings of 25th Annual International Conference on Computer Science and Software Engineering, CASCON 2015, Markham, Ontario, Canada, 2-4 November, 2015},
 editor = {Jordan Gould and
Marin Litoiu and
Hanan Lutfiyya},
 pages = {70--79},
 publisher = {IBM / ACM},
 title = {MetaFork: a compilation framework for concurrency models targeting hardware accelerators and its application to the generation of parametric CUDA kernels},
 url = {http://dl.acm.org/citation.cfm?id=2886456},
 year = {2015}
}

@inproceedings{DBLP:conf/parco/HaqueMX15,
 author = {Sardar Anisul Haque and
Marc Moreno Maza and
Ning Xie},
 booktitle = {Parallel Computing: On the Road to Exascale, Proceedings of the International Conference on Parallel Computing, ParCo 2015, 1-4 September 2015, Edinburgh, Scotland, UK},
 doi = {10.3233/978-1-61499-621-7-35},
 editor = {Gerhard R. Joubert and
Hugh Leather and
Mark Parsons and
Frans J. Peters and
Mark Sawyer},
 pages = {35--44},
 publisher = {IOS Press},
 title = {A Many-Core Machine Model for Designing Algorithms with Minimum Parallelism Overheads},
 url = {https://doi.org/10.3233/978-1-61499-621-7-35},
 volume = {27},
 year = {2015}
}

@article{DBLP:journals/cca/ChenCMM0X14,
 author = {Changbo Chen and
Svyatoslav Covanov and
Farnam Mansouri and
Marc Moreno Maza and
Ning Xie and
Yuzhen Xie},
 doi = {10.1145/2733693.2733723},
 journal = {ACM Commun. Comput. Algebra},
 pages = {197--201},
 title = {Basic Polynomial Algebra Subprograms},
 url = {https://doi.org/10.1145/2733693.2733723},
 volume = {48},
 year = {2014}
}

@article{DBLP:journals/cca/CorlessMT14,
 author = {Robert M. Corless and
Marc Moreno Maza and
Steven E. Thornton},
 doi = {10.1145/2733693.2733702},
 journal = {ACM Commun. Comput. Algebra},
 pages = {109--112},
 title = {Zigzag Form over Families of Parametric Matrices},
 url = {https://doi.org/10.1145/2733693.2733702},
 volume = {48},
 year = {2014}
}

@article{DBLP:journals/corr/BradfordCDEMW14,
 author = {Russell J. Bradford and
Changbo Chen and
James H. Davenport and
Matthew England and
Marc Moreno Maza and
David J. Wilson},
 doi = {10.48550/arXiv.1401.6310},
 journal = {CoRR},
 title = {Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains},
 url = {https://doi.org/10.48550/arXiv.1401.6310},
 volume = {abs/1401.6310},
 year = {2014}
}

@article{DBLP:journals/corr/EnglandBCDMW14,
 author = {Matthew England and
Russell J. Bradford and
Changbo Chen and
James H. Davenport and
Marc Moreno Maza and
David J. Wilson},
 doi = {10.48550/arXiv.1404.6371},
 journal = {CoRR},
 title = {Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition},
 url = {https://doi.org/10.48550/arXiv.1404.6371},
 volume = {abs/1404.6371},
 year = {2014}
}

@article{DBLP:journals/corr/HaqueMX14,
 author = {Sardar Anisul Haque and
Marc Moreno Maza and
Ning Xie},
 doi = {10.48550/arXiv.1402.0264},
 journal = {CoRR},
 title = {A Many-core Machine Model for Designing Algorithms with Minimum Parallelism Overheads},
 url = {https://doi.org/10.48550/arXiv.1402.0264},
 volume = {abs/1402.0264},
 year = {2014}
}

@inproceedings{DBLP:conf/casc/BradfordCDEMW14,
 author = {Russell J. Bradford and
Changbo Chen and
James H. Davenport and
Matthew England and
Marc Moreno Maza and
David J. Wilson},
 booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings},
 doi = {10.1007/978-3-319-10515-4_4},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {44--58},
 publisher = {Springer},
 title = {Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains},
 url = {https://doi.org/10.1007/978-3-319-10515-4_4},
 volume = {8660},
 year = {2014}
}

@inproceedings{DBLP:conf/casc/HaqueMM14,
 author = {Sardar Anisul Haque and
Farnam Mansouri and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings},
 doi = {10.1007/978-3-319-10515-4_13},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {171--185},
 publisher = {Springer},
 title = {On the Parallelization of Subproduct Tree Techniques Targeting Many-Core Architectures},
 url = {https://doi.org/10.1007/978-3-319-10515-4_13},
 volume = {8660},
 year = {2014}
}

@inproceedings{DBLP:conf/icms/AlvandiCMMSV14,
 author = {Parisa Alvandi and
Changbo Chen and
Steffen Marcus and
Marc Moreno Maza and
{\'{E}}ric Schost and
Paul Vrbik},
 booktitle = {Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings},
 doi = {10.1007/978-3-662-44199-2_71},
 editor = {Hoon Hong and
Chee Yap},
 pages = {472--479},
 publisher = {Springer},
 title = {Doing Algebraic Geometry with the RegularChains Library},
 url = {https://doi.org/10.1007/978-3-662-44199-2_71},
 volume = {8592},
 year = {2014}
}

@inproceedings{DBLP:conf/icms/ChenCMMXX14,
 author = {Changbo Chen and
Svyatoslav Covanov and
Farnam Mansouri and
Marc Moreno Maza and
Ning Xie and
Yuzhen Xie},
 booktitle = {Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings},
 doi = {10.1007/978-3-662-44199-2_100},
 editor = {Hoon Hong and
Chee Yap},
 pages = {669--676},
 publisher = {Springer},
 title = {The Basic Polynomial Algebra Subprograms},
 url = {https://doi.org/10.1007/978-3-662-44199-2_100},
 volume = {8592},
 year = {2014}
}

@inproceedings{DBLP:conf/icms/ChenM14a,
 author = {Changbo Chen and
Marc Moreno Maza},
 booktitle = {Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings},
 doi = {10.1007/978-3-662-44199-2_65},
 editor = {Hoon Hong and
Chee Yap},
 pages = {425--433},
 publisher = {Springer},
 title = {Cylindrical Algebraic Decomposition in the RegularChains Library},
 url = {https://doi.org/10.1007/978-3-662-44199-2_65},
 volume = {8592},
 year = {2014}
}

@inproceedings{DBLP:conf/icms/ChenM14b,
 author = {Changbo Chen and
Marc Moreno Maza},
 booktitle = {Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings},
 doi = {10.1007/978-3-662-44199-2_76},
 editor = {Hoon Hong and
Chee Yap},
 pages = {504--511},
 publisher = {Springer},
 title = {Solving Parametric Polynomial Systems by RealComprehensiveTriangularize},
 url = {https://doi.org/10.1007/978-3-662-44199-2_76},
 volume = {8592},
 year = {2014}
}

@inproceedings{DBLP:conf/icms/ChenM14,
 author = {Changbo Chen and
Marc Moreno Maza},
 booktitle = {Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings},
 doi = {10.1007/978-3-662-44199-2_44},
 editor = {Hoon Hong and
Chee Yap},
 pages = {283--290},
 publisher = {Springer},
 title = {Real Quantifier Elimination in the RegularChains Library},
 url = {https://doi.org/10.1007/978-3-662-44199-2_44},
 volume = {8592},
 year = {2014}
}

@inproceedings{DBLP:conf/icms/HaqueLMMPX14,
 author = {Sardar Anisul Haque and
Xin Li and
Farnam Mansouri and
Marc Moreno Maza and
Wei Pan and
Ning Xie},
 booktitle = {Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings},
 doi = {10.1007/978-3-662-44199-2_108},
 editor = {Hoon Hong and
Chee Yap},
 pages = {725--732},
 publisher = {Springer},
 title = {Dense Arithmetic over Finite Fields with the CUMODP Library},
 url = {https://doi.org/10.1007/978-3-662-44199-2_108},
 volume = {8592},
 year = {2014}
}

@inproceedings{DBLP:conf/issac/ChenM14,
 author = {Changbo Chen and
Marc Moreno Maza},
 booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014},
 doi = {10.1145/2608628.2608666},
 editor = {Katsusuke Nabeshima and
Kosaku Nagasaka and
Franz Winkler and
{\'{A}}gnes Sz{\'{a}}nt{\'{o}}},
 pages = {91--98},
 publisher = {ACM},
 title = {Quantifier elimination by cylindrical algebraic decomposition based on regular chains},
 url = {https://doi.org/10.1145/2608628.2608666},
 year = {2014}
}

@inproceedings{DBLP:conf/iwomp/ChenMSU14,
 author = {Xiaohui Chen and
Marc Moreno Maza and
Sushek Shekar and
Priya Unnikrishnan},
 booktitle = {Using and Improving OpenMP for Devices, Tasks, and More - 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings},
 doi = {10.1007/978-3-319-11454-5_3},
 editor = {Luiz DeRose and
Bronis R. de Supinski and
Stephen L. Olivier and
Barbara M. Chapman and
Matthias S. M{\"{u}}ller},
 pages = {30--44},
 publisher = {Springer},
 title = {MetaFork: A Framework for Concurrency Platforms Targeting Multicores},
 url = {https://doi.org/10.1007/978-3-319-11454-5_3},
 volume = {8766},
 year = {2014}
}

@inproceedings{DBLP:conf/mkm/EnglandBCDMW14,
 author = {Matthew England and
Russell J. Bradford and
Changbo Chen and
James H. Davenport and
Marc Moreno Maza and
David J. Wilson},
 booktitle = {Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings},
 doi = {10.1007/978-3-319-08434-3_5},
 editor = {Stephen M. Watt and
James H. Davenport and
Alan P. Sexton and
Petr Sojka and
Josef Urban},
 pages = {45--60},
 publisher = {Springer},
 title = {Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition},
 url = {https://doi.org/10.1007/978-3-319-08434-3_5},
 volume = {8543},
 year = {2014}
}

@article{DBLP:journals/corr/abs-1302-4688,
 author = {Parisa Alvandi and
Changbo Chen and
Marc Moreno Maza},
 doi = {10.48550/arXiv.1302.4688},
 journal = {CoRR},
 title = {An Algorithm for Computing the Limit Points of the Quasi-component of a Regular Chain},
 url = {https://doi.org/10.48550/arXiv.1302.4688},
 volume = {abs/1302.4688},
 year = {2013}
}

@article{DBLP:journals/ijbc/ChenCMYZ13,
 author = {Changbo Chen and
Robert M. Corless and
Marc Moreno Maza and
Pei Yu and
Yiming Zhang},
 doi = {10.1142/S021812741350154X},
 journal = {Int. J. Bifurc. Chaos},
 title = {An Application of Regular Chain Theory to the Study of Limit cycles},
 url = {https://doi.org/10.1142/S021812741350154X},
 volume = {23},
 year = {2013}
}

@article{DBLP:journals/jsc/ChenDMMXX13,
 author = {Changbo Chen and
James H. Davenport and
John P. May and
Marc Moreno Maza and
Bican Xia and
Rong Xiao},
 doi = {10.1016/j.jsc.2011.12.014},
 journal = {J. Symb. Comput.},
 pages = {3--26},
 title = {Triangular decomposition of semi-algebraic systems},
 url = {https://doi.org/10.1016/j.jsc.2011.12.014},
 volume = {49},
 year = {2013}
}

@article{DBLP:journals/jsc/ChenDMXX13,
 author = {Changbo Chen and
James H. Davenport and
Marc Moreno Maza and
Bican Xia and
Rong Xiao},
 doi = {10.1016/j.jsc.2012.05.013},
 journal = {J. Symb. Comput.},
 pages = {72--96},
 title = {Computing with semi-algebraic sets: Relaxation techniques and effective boundaries},
 url = {https://doi.org/10.1016/j.jsc.2012.05.013},
 volume = {52},
 year = {2013}
}

@inproceedings{Chen2013ComputingTS,
 author = {Changbo Chen and Marc Moreno Maza and Yuzhen Xie},
 booktitle = {{Mathematical Aspects of Computer Science and Information Sciences (MACIS 2013)}},
 editor = {Tomas Sturm},
 title = {Computing the Supremum of the Real Roots of a Parametric Univariate Polynomial (extended Abstract)},
 url = {https://pdfs.semanticscholar.org/9c9e/8e6ed2bda2f65120d797fd1cf92164a11d78.pdf?_ga=1.204788496.1298320037.1479263167},
 year = {2013}
}

@inproceedings{DBLP:conf/casc/AlvandiCM13,
 author = {Parisa Alvandi and
Changbo Chen and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings},
 doi = {10.1007/978-3-319-02297-0_3},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
 pages = {30--45},
 publisher = {Springer},
 title = {Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One},
 url = {https://doi.org/10.1007/978-3-319-02297-0_3},
 volume = {8136},
 year = {2013}
}

@article{1742-6596-341-1-012022,
 author = {Marc {Moreno Maza} and Wei Pan},
 journal = {Journal of Physics: Conference Series},
 pages = {012022},
 title = {Solving Bivariate Polynomial Systems on a {GPU}},
 url = {http://stacks.iop.org/1742-6596/341/i=1/a=012022},
 volume = {341},
 year = {2012}
}

@article{AMX11,
 author = {M. Md. {Ali} and M. {Moreno Maza} and  Y. Xie},
 journal = {J. of Physics: Conference Series},
 title = {On the Factor Refinement Principle and its Implementation on Multicore Architectures},
 url = {http://iopscience.iop.org/1742-6596/385/1/012015},
 volume = {385},
 year = {2012}
}

@article{DBLP:journals/corr/abs-1201-5086,
 author = {Marc Moreno Maza and
Rong Xiao},
 doi = {10.48550/arXiv.1201.5086},
 journal = {CoRR},
 title = {Generating Program Invariants via Interpolation},
 url = {https://doi.org/10.48550/arXiv.1201.5086},
 volume = {abs/1201.5086},
 year = {2012}
}

@article{DBLP:journals/corr/abs-1210-5543,
 author = {Changbo Chen and
Marc Moreno Maza},
 doi = {10.48550/arXiv.1210.5543},
 journal = {CoRR},
 title = {An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions},
 url = {https://doi.org/10.48550/arXiv.1210.5543},
 volume = {abs/1210.5543},
 year = {2012}
}

@article{DBLP:journals/jsc/ChenM12,
 author = {Changbo Chen and
Marc Moreno Maza},
 doi = {10.1016/j.jsc.2011.12.023},
 journal = {J. Symb. Comput.},
 pages = {610--642},
 title = {Algorithms for computing triangular decomposition of polynomial systems},
 url = {https://doi.org/10.1016/j.jsc.2011.12.023},
 volume = {47},
 year = {2012}
}

@article{DBLP:journals/mics/MazaXX12,
 author = {Marc Moreno Maza and
Bican Xia and
Rong Xiao},
 doi = {10.1007/s11786-012-0136-3},
 journal = {Math. Comput. Sci.},
 pages = {457--473},
 title = {On Solving Parametric Polynomial Systems},
 url = {https://doi.org/10.1007/s11786-012-0136-3},
 volume = {6},
 year = {2012}
}

@article{haque2012EuclideanAlgorithm,
 author = {{S. A.}~Haque and M. {Moreno Maza}},
 journal = {J. of Physics: Conference Series},
 title = {Plain Polynomial Arithmetic on {GPU}},
 url = {http://iopscience.iop.org/1742-6596/385/1/012014},
 volume = {385},
 year = {2012}
}

@inproceedings{DBLP:conf/ascm/ChenM12,
 author = {Changbo Chen and
Marc Moreno Maza},
 booktitle = {Computer Mathematics, 9th Asian Symposium (ASCM 2009), Fukuoka, Japan, December 2009, 10th Asian Symposium (ASCM 2012), Beijing, China, October 2012, Contributed Papers and Invited Talks},
 doi = {10.1007/978-3-662-43799-5_17},
 editor = {Ruyong Feng and
Wen-shin Lee and
Yosuke Sato},
 pages = {199--221},
 publisher = {Springer},
 title = {An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions},
 url = {https://doi.org/10.1007/978-3-662-43799-5_17},
 year = {2012}
}

@inproceedings{DBLP:conf/ascm/MazaX12,
 author = {Marc Moreno Maza and
Rong Xiao},
 booktitle = {Computer Mathematics, 9th Asian Symposium (ASCM 2009), Fukuoka, Japan, December 2009, 10th Asian Symposium (ASCM 2012), Beijing, China, October 2012, Contributed Papers and Invited Talks},
 doi = {10.1007/978-3-662-43799-5_25},
 editor = {Ruyong Feng and
Wen-shin Lee and
Yosuke Sato},
 pages = {349--373},
 publisher = {Springer},
 title = {Degree and Dimension Estimates for Invariant Ideals of \(P\) -Solvable Recurrences},
 url = {https://doi.org/10.1007/978-3-662-43799-5_25},
 year = {2012}
}

@inproceedings{DBLP:conf/casc/MarcusMV12,
 author = {Steffen Marcus and
Marc Moreno Maza and
Paul Vrbik},
 booktitle = {Computer Algebra in Scientific Computing - 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings},
 doi = {10.1007/978-3-642-32973-9_17},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
 pages = {198--211},
 publisher = {Springer},
 title = {On Fulton's Algorithm for Computing Intersection Multiplicities},
 url = {https://doi.org/10.1007/978-3-642-32973-9_17},
 volume = {7442},
 year = {2012}
}

@inproceedings{DBLP:conf/casc/MazaSV12,
 author = {Marc Moreno Maza and
{\'{E}}ric Schost and
Paul Vrbik},
 booktitle = {Computer Algebra in Scientific Computing - 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings},
 doi = {10.1007/978-3-642-32973-9_19},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
 pages = {224--235},
 publisher = {Springer},
 title = {Inversion Modulo Zero-Dimensional Regular Chains},
 url = {https://doi.org/10.1007/978-3-642-32973-9_19},
 volume = {7442},
 year = {2012}
}

@article{CMX11,
 author = {C. {Chen} and M. {Moreno Maza} and  Y. Xie},
 journal = {J. of Physics: Conference Series},
 title = {Cache Complexity and Multicore Implementation for Univariate Real Root Isolation},
 url = {http://iopscience.iop.org/article/10.1088/1742-6596/341/1/012026/pdf},
 volume = {341},
 year = {2011}
}

@article{DBLP:journals/cca/ChenDLMXXX11,
 author = {Changbo Chen and
James H. Davenport and
Fran{\c{c}}ois Lemaire and
Marc Moreno Maza and
Bican Xia and
Rong Xiao and
Yuzhen Xie},
 doi = {10.1145/2110170.2110174},
 journal = {ACM Commun. Comput. Algebra},
 pages = {166--168},
 title = {Computing the real solutions of polynomial systems with the RegularChains library in Maple},
 url = {https://doi.org/10.1145/2110170.2110174},
 volume = {45},
 year = {2011}
}

@article{DBLP:journals/cca/MazaP11,
 author = {Marc Moreno Maza and
Wei Pan},
 doi = {10.1145/2016567.2016589},
 journal = {ACM Commun. Comput. Algebra},
 pages = {127--128},
 title = {Solving bivariate polynomial systems on a GPU},
 url = {https://doi.org/10.1145/2016567.2016589},
 volume = {45},
 year = {2011}
}

@article{DBLP:journals/cca/MazaV11,
 author = {Marc Moreno Maza and
Paul Vrbik},
 doi = {10.1145/2016567.2016590},
 journal = {ACM Commun. Comput. Algebra},
 pages = {129--130},
 title = {Inverting matrices modulo regular chains},
 url = {https://doi.org/10.1145/2016567.2016590},
 volume = {45},
 year = {2011}
}

@article{DBLP:journals/corr/abs-1104-0689,
 author = {Changbo Chen and
Marc Moreno Maza},
 doi = {10.48550/arXiv.1104.0689},
 journal = {CoRR},
 title = {Algorithms for Computing Triangular Decompositions of Polynomial Systems},
 url = {https://doi.org/10.48550/arXiv.1104.0689},
 volume = {abs/1104.0689},
 year = {2011}
}

@article{DBLP:journals/ijfcs/MazaX11,
 author = {Marc Moreno Maza and
Yuzhen Xie},
 doi = {10.1142/S0129054111008556},
 journal = {Int. J. Found. Comput. Sci.},
 pages = {1035--1055},
 title = {Balanced Dense Polynomial Multiplication on Multi-Cores},
 url = {https://doi.org/10.1142/S0129054111008556},
 volume = {22},
 year = {2011}
}

@article{DBLP:journals/jsc/LemaireMPX11,
 author = {Fran{\c{c}}ois Lemaire and
Marc Moreno Maza and
Wei Pan and
Yuzhen Xie},
 doi = {10.1016/j.jsc.2011.08.010},
 journal = {J. Symb. Comput.},
 pages = {1291--1305},
 title = {When does  equal sat(T)?},
 url = {https://doi.org/10.1016/j.jsc.2011.08.010},
 volume = {46},
 year = {2011}
}

@article{DBLP:journals/jsc/LiMRS11,
 author = {Xin Li and
Marc Moreno Maza and
Raqeeb Rasheed and
{\'{E}}ric Schost},
 doi = {10.1016/j.jsc.2010.08.016},
 journal = {J. Symb. Comput.},
 pages = {841--858},
 title = {The modpn library: Bringing fast polynomial arithmetic into Maple},
 url = {https://doi.org/10.1016/j.jsc.2010.08.016},
 volume = {46},
 year = {2011}
}

@article{haque2011determinant,
 author = {{S. A.}~{Haque} and M. {Moreno Maza}},
 journal = {J. of Physics: Conference Series},
 title = {Determinant Computation on the {GPU} using the Condensation Method},
 url = {http://hgpu.org/?p=7012},
 volume = {341},
 year = {2011}
}

@inproceedings{DBLP:conf/casc/ChenM11,
 author = {Changbo Chen and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings},
 doi = {10.1007/978-3-642-23568-9_9},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
 pages = {101--125},
 publisher = {Springer},
 title = {Semi-algebraic Description of the Equilibria of Dynamical Systems},
 url = {https://doi.org/10.1007/978-3-642-23568-9_9},
 volume = {6885},
 year = {2011}
}

@inproceedings{DBLP:conf/issac/ChenDMXX11,
 author = {Changbo Chen and
James H. Davenport and
Marc Moreno Maza and
Bican Xia and
Rong Xiao},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings},
 doi = {10.1145/1993886.1993903},
 editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
 pages = {75--82},
 publisher = {ACM},
 title = {Computing with semi-algebraic sets represented by triangular decomposition},
 url = {https://doi.org/10.1145/1993886.1993903},
 year = {2011}
}

@inproceedings{DBLP:conf/issac/ChenM11,
 author = {Changbo Chen and
Marc Moreno Maza},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings},
 doi = {10.1145/1993886.1993904},
 editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
 pages = {83--90},
 publisher = {ACM},
 title = {Algorithms for computing triangular decompositions of polynomial systems},
 url = {https://doi.org/10.1145/1993886.1993904},
 year = {2011}
}

@inproceedings{lemaire:hal-00825013,
 author = {Lemaire, Fran{\c c}ois and Chen, Changbo and H. Davenport, James and {Moreno Maza}, Marc and Phisanbut, Nalina and Xia, Bican and Xiao, Rong and Xie, Yuzhen},
 booktitle = {{Mathematical Aspects of Computer Science and Information Sciences}},
 editor = {Stefan Raschau},
 pages = {38--51},
 title = {{Solving semi-algebraic systems with the RegularChains library in Maple}},
 url = {https://hal.archives-ouvertes.fr/hal-00825013},
 year = {2011}
}

@proceedings{DBLP:conf/snc/2011,
 booktitle = {SNC},
 editor = {Marc Moreno Maza},
 publisher = {ACM},
 title = {SNC 2011, Proceedings of the 2011 Internation Workshop on Symbolic-Numeric Computation, San Jose, California, USA, June 7-9, 2011},
 url = {http://dl.acm.org/citation.cfm?id=2331684},
 year = {2011}
}

@proceedings{zbMATH6545158,
 doi = {10.1145/2331684},
 editor = {Moreno Maza, Marc},
 publisher = {New York, NY: Association for Computing Machinery (ACM)},
 title = {Proceedings of the 2011 international workshop on symbolic-numeric computation, SNC 2011, San Jose, CA, USA, June 7--11, 2011},
 url = {https://doi.org/10.1145/2331684},
 year = {2011}
}

@article{DBLP:journals/cca/ChenMX10,
 author = {Changbo Chen and
Marc Moreno Maza and
Yuzhen Xie},
 doi = {10.1145/1940475.1940483},
 journal = {ACM Commun. Comput. Algebra},
 pages = {97--98},
 title = {Cache complexity and multicore implementation for univariate real root isolation},
 url = {https://doi.org/10.1145/1940475.1940483},
 volume = {44},
 year = {2010}
}

@article{DBLP:journals/cca/ChowdhuryMPS10,
 author = {Muhammad F. I. Chowdhury and
Marc Moreno Maza and
Wei Pan and
{\'{E}}ric Schost},
 doi = {10.1145/1940475.1940484},
 journal = {ACM Commun. Comput. Algebra},
 pages = {99--100},
 title = {Complexity and performance results for non FFT-based univariate polynomial multiplication},
 url = {https://doi.org/10.1145/1940475.1940484},
 volume = {44},
 year = {2010}
}

@article{DBLP:journals/cca/DahanMSP10,
 author = {Xavier Dahan and
Marc Moreno Maza and
{\'{E}}ric Schost and
Adrien Poteaux},
 doi = {10.1145/1940475.1940486},
 journal = {ACM Commun. Comput. Algebra},
 pages = {103--104},
 title = {Almost linear time operations with triangular sets},
 url = {https://doi.org/10.1145/1940475.1940486},
 volume = {44},
 year = {2010}
}

@article{DBLP:journals/cca/HaqueHM10,
 author = {Sardar Anisul Haque and
Shahadat Hossain and
Marc Moreno Maza},
 doi = {10.1145/1940475.1940490},
 journal = {ACM Commun. Comput. Algebra},
 pages = {111--112},
 title = {Cache friendly sparse matrix-vector multiplication},
 url = {https://doi.org/10.1145/1940475.1940490},
 volume = {44},
 year = {2010}
}

@article{DBLP:journals/cca/MengJFVMX10,
 author = {Lingchuan Meng and
Jeremy Johnson and
Franz Franchetti and
Yevgen Voronenko and
Marc Moreno Maza and
Yuzhen Xie},
 doi = {10.1145/1838599.1838616},
 journal = {ACM Commun. Comput. Algebra},
 pages = {25--26},
 title = {Abstract only: SPIRAL-generated modular FFTs},
 url = {https://doi.org/10.1145/1838599.1838616},
 volume = {44},
 year = {2010}
}

@article{DBLP:journals/corr/abs-1002-4784,
 author = {Changbo Chen and
James H. Davenport and
John P. May and
Marc Moreno Maza and
Bican Xia and
Rong Xiao},
 doi = {10.48550/arXiv.1002.4784},
 journal = {CoRR},
 title = {Triangular Decomposition of Semi-algebraic Systems},
 url = {https://doi.org/10.48550/arXiv.1002.4784},
 volume = {abs/1002.4784},
 year = {2010}
}

@article{DBLP:journals/jsc/BoulierLM10,
 author = {Fran{\c{c}}ois Boulier and
Fran{\c{c}}ois Lemaire and
Marc Moreno Maza},
 doi = {10.1016/j.jsc.2009.09.004},
 journal = {J. Symb. Comput.},
 pages = {124--149},
 title = {Computing differential characteristic sets by change of ordering},
 url = {https://doi.org/10.1016/j.jsc.2009.09.004},
 volume = {45},
 year = {2010}
}

@article{MP10,
 author = {M. {Moreno Maza} and  W.~Pan},
 journal = {J. of Physics: Conference Series},
 title = {Fast polynomial arithmetic on a {GPU}},
 url = {http://iopscience.iop.org/1742-6596/256/1/012009},
 volume = {256},
 year = {2010}
}

@inproceedings{DBLP:conf/cap/HaqueHM10,
 author = {Sardar Anisul Haque and
Shahadat Hossain and
Marc Moreno Maza},
 booktitle = {Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France},
 doi = {10.1145/1837210.1837238},
 editor = {Marc Moreno Maza and
Jean-Louis Roch},
 pages = {175--176},
 publisher = {ACM},
 title = {Cache friendly sparse matrix-vector multiplication},
 url = {https://doi.org/10.1145/1837210.1837238},
 year = {2010}
}

@inproceedings{DBLP:conf/cap/LeisersonMLX10,
 author = {Charles E. Leiserson and
Marc Moreno Maza and
Liyun Li and
Yuzhen Xie},
 booktitle = {Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France},
 doi = {10.1145/1837210.1837221},
 editor = {Marc Moreno Maza and
Jean-Louis Roch},
 pages = {53--62},
 publisher = {ACM},
 title = {Parallel computation of the minimal elements of a poset},
 url = {https://doi.org/10.1145/1837210.1837221},
 year = {2010}
}

@inproceedings{DBLP:conf/cap/MengVJMFX10,
 author = {Lingchuan Meng and
Yevgen Voronenko and
Jeremy R. Johnson and
Marc Moreno Maza and
Franz Franchetti and
Yuzhen Xie},
 booktitle = {Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France},
 doi = {10.1145/1837210.1837235},
 editor = {Marc Moreno Maza and
Jean-Louis Roch},
 pages = {169--170},
 publisher = {ACM},
 title = {Spiral-generated modular FFT algorithms},
 url = {https://doi.org/10.1145/1837210.1837235},
 year = {2010}
}

@inproceedings{DBLP:conf/icms/LeisersonLMX10,
 author = {Charles E. Leiserson and
Liyun Li and
Marc Moreno Maza and
Yuzhen Xie},
 booktitle = {Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings},
 doi = {10.1007/978-3-642-15582-6_55},
 editor = {Komei Fukuda and
Joris van der Hoeven and
Michael Joswig and
Nobuki Takayama},
 pages = {342--353},
 publisher = {Springer},
 title = {Efficient Evaluation of Large Polynomials},
 url = {https://doi.org/10.1007/978-3-642-15582-6_55},
 volume = {6327},
 year = {2010}
}

@inproceedings{DBLP:conf/issac/ChenDMMXX10,
 author = {Changbo Chen and
James H. Davenport and
John P. May and
Marc Moreno Maza and
Bican Xia and
Rong Xiao},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, ISSAC 2010, Munich, Germany, July 25-28, 2010, Proceedings},
 doi = {10.1145/1837934.1837972},
 editor = {Wolfram Koepf},
 pages = {187--194},
 publisher = {ACM},
 title = {Triangular decomposition of semi-algebraic systems},
 url = {https://doi.org/10.1145/1837934.1837972},
 year = {2010}
}

@proceedings{DBLP:conf/cap/2010,
 booktitle = {PASCO},
 editor = {Marc Moreno Maza and
Jean-Louis Roch},
 publisher = {ACM},
 title = {Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France},
 year = {2010}
}

@proceedings{zbMATH7009585,
 doi = {10.1145/1837210},
 editor = {Moreno Maza, Marc and Roch, Jean-Louis},
 publisher = {New York, NY: Association for Computing Machinery (ACM)},
 title = {PASCO 2010 -- Proceedings of the 4th international workshop on parallel symbolic computation, Grenoble, France, July 21--23, 2010},
 url = {https://doi.org/10.1145/1837210},
 year = {2010}
}

@article{DBLP:journals/cca/MazaX09,
 author = {Marc Moreno Maza and
Yuzhen Xie},
 doi = {10.1145/1823931.1823942},
 journal = {ACM Commun. Comput. Algebra},
 pages = {85--87},
 title = {Balanced dense polynomial multiplication on multi-cores},
 url = {https://doi.org/10.1145/1823931.1823942},
 volume = {43},
 year = {2009}
}

@article{DBLP:journals/corr/abs-0903-3690,
 author = {Xin Li and
Marc Moreno Maza and
Wei Pan},
 doi = {10.48550/arXiv.0903.3690},
 journal = {CoRR},
 title = {Computations modulo regular chains},
 url = {https://doi.org/10.48550/arXiv.0903.3690},
 volume = {abs/0903.3690},
 year = {2009}
}

@article{DBLP:journals/corr/abs-0903-5221,
 author = {Changbo Chen and
Marc Moreno Maza and
Bican Xia and
Lu Yang},
 doi = {10.48550/arXiv.0903.5221},
 journal = {CoRR},
 title = {Computing Cylindrical Algebraic Decomposition via Triangular Decomposition},
 url = {https://doi.org/10.48550/arXiv.0903.5221},
 volume = {abs/0903.5221},
 year = {2009}
}

@article{DBLP:journals/jsc/LiMS09,
 author = {Xin Li and
Marc Moreno Maza and
{\'{E}}ric Schost},
 doi = {10.1016/j.jsc.2008.04.019},
 journal = {J. Symb. Comput.},
 pages = {891--907},
 title = {Fast arithmetic for triangular sets: From theory to practice},
 url = {https://doi.org/10.1016/j.jsc.2008.04.019},
 volume = {44},
 year = {2009}
}

@inproceedings{DBLP:conf/ascm/BoulierCLM09,
 author = {Fran{\c{c}}ois Boulier and
Changbo Chen and
Fran{\c{c}}ois Lemaire and
Marc Moreno Maza},
 booktitle = {Computer Mathematics, 9th Asian Symposium (ASCM 2009), Fukuoka, Japan, December 2009, 10th Asian Symposium (ASCM 2012), Beijing, China, October 2012, Contributed Papers and Invited Talks},
 doi = {10.1007/978-3-662-43799-5_4},
 editor = {Ruyong Feng and
Wen-shin Lee and
Yosuke Sato},
 pages = {33--48},
 publisher = {Springer},
 title = {Real Root Isolation of Regular Chains},
 url = {https://doi.org/10.1007/978-3-662-43799-5_4},
 year = {2009}
}

@inproceedings{DBLP:conf/hpcs/MazaX09,
 author = {Marc Moreno Maza and
Yuzhen Xie},
 booktitle = {High Performance Computing Systems and Applications, 23rd International Symposium, HPCS 2009, Kingston, ON, Canada, June 14-17, 2009, Revised Selected Papers},
 doi = {10.1007/978-3-642-12659-8_28},
 editor = {Douglas J. K. Mewhort and
Natalie M. Cann and
Gary W. Slater and
Thomas J. Naughton},
 pages = {378--399},
 publisher = {Springer},
 title = {FFT-Based Dense Polynomial Arithmetic on Multi-cores},
 url = {https://doi.org/10.1007/978-3-642-12659-8_28},
 volume = {5976},
 year = {2009}
}

@inproceedings{DBLP:conf/issac/ChenMXY09,
 author = {Changbo Chen and
Marc Moreno Maza and
Bican Xia and
Lu Yang},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings},
 doi = {10.1145/1576702.1576718},
 editor = {Jeremy R. Johnson and
Hyungju Park and
Erich L. Kaltofen},
 pages = {95--102},
 publisher = {ACM},
 title = {Computing cylindrical algebraic decomposition via triangular decomposition},
 url = {https://doi.org/10.1145/1576702.1576718},
 year = {2009}
}

@inproceedings{DBLP:conf/issac/LiMP09,
 author = {Xin Li and
Marc Moreno Maza and
Wei Pan},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings},
 doi = {10.1145/1576702.1576736},
 editor = {Jeremy R. Johnson and
Hyungju Park and
Erich L. Kaltofen},
 pages = {239--246},
 publisher = {ACM},
 title = {Computations modulo regular chains},
 url = {https://doi.org/10.1145/1576702.1576736},
 year = {2009}
}

@inproceedings{DBLP:conf/pdcat/MazaX09,
 author = {Marc Moreno Maza and
Yuzhen Xie},
 booktitle = {2009 International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2009, Higashi Hiroshima, Japan, 8-11 December 2009},
 doi = {10.1109/PDCAT.2009.87},
 pages = {1--9},
 publisher = {IEEE Computer Society},
 title = {Balanced Dense Polynomial Multiplication on Multi-Cores},
 url = {https://doi.org/10.1109/PDCAT.2009.87},
 year = {2009}
}

@inproceedings{zbMATH5679818,
 author = {Chen, Changbo and Moreno Maza, Marc},
 booktitle = {Suzuki, Masakazu (ed.) et al., The joint conference of ASCM 2009 and MACIS 2009. 9th international conference on Asian symposium on computer mathematics and 3rd international conference on mathematical aspects of computer and information sciences, Fukuoka, Japan, December 14--17, 2009. Selected papers. Fukuoka: Kyushu University, Faculty of Mathematics. COE Lecture Note 22, 343},
 pages = {343},
 title = {Intersection formulas and algorithms for computing triangular decompositions},
 year = {2009}
}

@article{DBLP:journals/cca/0009MRS08,
 author = {Xin Li and
Marc Moreno Maza and
Raqeeb Rasheed and
{\'{E}}ric Schost},
 doi = {10.1145/1504347.1504374},
 journal = {ACM Commun. Comput. Algebra},
 pages = {172--174},
 title = {The modpn library: bringing fast polynomial arithmetic into MAPLE},
 url = {https://doi.org/10.1145/1504347.1504374},
 volume = {42},
 year = {2008}
}

@article{DBLP:journals/cca/ChenLMPX08,
 author = {Changbo Chen and
Liyun Li and
Marc Moreno Maza and
Wei Pan and
Yuzhen Xie},
 doi = {10.1145/1504347.1504368},
 journal = {ACM Commun. Comput. Algebra},
 pages = {162--163},
 title = {On the representation of constructible sets},
 url = {https://doi.org/10.1145/1504347.1504368},
 volume = {42},
 year = {2008}
}

@article{DBLP:journals/cca/ChenMLPLX08,
 author = {Changbo Chen and
Marc Moreno Maza and
Fran{\c{c}}ois Lemaire and
Wei Pan and
Liyun Li and
Yuzhen Xie},
 doi = {10.1145/1504347.1504378},
 journal = {ACM Commun. Comput. Algebra},
 pages = {182--184},
 title = {The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple},
 url = {https://doi.org/10.1145/1504347.1504378},
 volume = {42},
 year = {2008}
}

@article{DBLP:journals/cca/MayGRMX08,
 author = {John P. May and
Mark Giesbrecht and
Daniel S. Roche and
Marc Moreno Maza and
Yuzhen Xie},
 doi = {10.1145/1394042.1394090},
 journal = {ACM Commun. Comput. Algebra},
 pages = {83},
 title = {Automatic variable order selection for polynomial system solving (abstract only)},
 url = {https://doi.org/10.1145/1394042.1394090},
 volume = {42},
 year = {2008}
}

@article{DBLP:journals/fcsc/ChenMPX08,
 author = {Changbo Chen and
Marc Moreno Maza and
Wei Pan and
Yuzhen Xie},
 doi = {10.1007/s11704-008-0006-y},
 journal = {Frontiers Comput. Sci. China},
 pages = {55--66},
 title = {On the verification of polynomial system solvers},
 url = {https://doi.org/10.1007/s11704-008-0006-y},
 volume = {2},
 year = {2008}
}

@article{DBLP:journals/jsc/GolubitskyKMO08,
 author = {Oleg Golubitsky and
Marina V. Kondratieva and
Marc Moreno Maza and
Alexey Ovchinnikov},
 doi = {10.1016/j.jsc.2007.12.002},
 journal = {J. Symb. Comput.},
 pages = {582--610},
 title = {A bound for the Rosenfeld-Gr{\"{o}}bner algorithm},
 url = {https://doi.org/10.1016/j.jsc.2007.12.002},
 volume = {43},
 year = {2008}
}

@article{DBLP:journals/tcs/DahanJMS08,
 author = {Xavier Dahan and
Xin Jin and
Marc Moreno Maza and
{\'{E}}ric Schost},
 doi = {10.1016/j.tcs.2007.10.003},
 journal = {Theor. Comput. Sci.},
 pages = {37--65},
 title = {Change of order for regular chains in positive dimension},
 url = {https://doi.org/10.1016/j.tcs.2007.10.003},
 volume = {392},
 year = {2008}
}

@inproceedings{DBLP:conf/iccsa/ChenLLMPX08,
 author = {Changbo Chen and
Fran{\c{c}}ois Lemaire and
Liyun Li and
Marc Moreno Maza and
Wei Pan and
Yuzhen Xie},
 booktitle = {Selected Papers of the Sixth International Conference on Computational Sciences and Its Applications, ICCSA '08, Perugia, Italy, June 30 - July 3, 2008},
 doi = {10.1109/ICCSA.2008.61},
 editor = {Marina L. Gavrilova and
Osvaldo Gervasi and
Antonio Lagan{\`{a}} and
Youngsong Mun and
Andr{\'{e}}s Iglesias},
 pages = {342--352},
 publisher = {IEEE Computer Society},
 title = {The ConstructibleSetTools and ParametricSystemTools Modules of the RegularChains Library in Maple},
 url = {https://doi.org/10.1109/ICCSA.2008.61},
 year = {2008}
}

@inproceedings{DBLP:conf/iccsa/LiMRS08,
 author = {Xin Li and
Marc Moreno Maza and
Raqeeb Rasheed and
{\'{E}}ric Schost},
 booktitle = {Selected Papers of the Sixth International Conference on Computational Sciences and Its Applications, ICCSA '08, Perugia, Italy, June 30 - July 3, 2008},
 doi = {10.1109/ICCSA.2008.68},
 editor = {Marina L. Gavrilova and
Osvaldo Gervasi and
Antonio Lagan{\`{a}} and
Youngsong Mun and
Andr{\'{e}}s Iglesias},
 pages = {331--341},
 publisher = {IEEE Computer Society},
 title = {High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted Programming Environment},
 url = {https://doi.org/10.1109/ICCSA.2008.68},
 year = {2008}
}

@inproceedings{DBLP:conf/issac/LemaireMPX08,
 author = {Fran{\c{c}}ois Lemaire and
Marc Moreno Maza and
Wei Pan and
Yuzhen Xie},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
 doi = {10.1145/1390768.1390798},
 editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez-Vega},
 pages = {207--214},
 publisher = {ACM},
 title = {When does (T) equal sat(T)?},
 url = {https://doi.org/10.1145/1390768.1390798},
 year = {2008}
}

@inproceedings{DBLP:conf/issac/LiangJM08,
 author = {Songxin Liang and
David J. Jeffrey and
Marc Moreno Maza},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
 doi = {10.1145/1390768.1390796},
 editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez-Vega},
 pages = {189--196},
 publisher = {ACM},
 title = {The complete root classification of a parametric polynomial on an interval},
 url = {https://doi.org/10.1145/1390768.1390796},
 year = {2008}
}

@article{DBLP:journals/jsc/MazaRSW07,
 author = {Marc Moreno Maza and
Gregory J. Reid and
Robin Scott and
Wenyuan Wu},
 doi = {10.1016/j.jsc.2006.12.004},
 journal = {J. Symb. Comput.},
 pages = {693--716},
 title = {On approximate triangular decompositions in dimension zero},
 url = {https://doi.org/10.1016/j.jsc.2006.12.004},
 volume = {42},
 year = {2007}
}

@inbook{MorenoMaza2007,
 author = {Moreno Maza, Marc
and Reid, Greg J.
and Scott, Robin
and Wu, Wenyuan},
 booktitle = {Symbolic-Numeric Computation},
 doi = {10.1007/978-3-7643-7984-1_17},
 editor = {Wang, Dongming
and Zhi, Lihong},
 pages = {279--298},
 publisher = {Birkh{\"a}user Basel},
 title = {On Approximate Linearized Triangular Decompositions},
 url = {http://dx.doi.org/10.1007/978-3-7643-7984-1_17},
 year = {2007}
}

@inproceedings{DBLP:conf/casc/ChenGLMP07,
 author = {Changbo Chen and
Oleg Golubitsky and
Fran{\c{c}}ois Lemaire and
Marc Moreno Maza and
Wei Pan},
 booktitle = {Computer Algebra in Scientific Computing, 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
 doi = {10.1007/978-3-540-75187-8_7},
 editor = {Victor G. Ganzha and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
 pages = {73--101},
 publisher = {Springer},
 title = {Comprehensive Triangular Decomposition},
 url = {https://doi.org/10.1007/978-3-540-75187-8_7},
 volume = {4770},
 year = {2007}
}

@inproceedings{DBLP:conf/iccS/ChenLMPX07,
 author = {Changbo Chen and
Fran{\c{c}}ois Lemaire and
Marc Moreno Maza and
Wei Pan and
Yuzhen Xie},
 booktitle = {Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II},
 doi = {10.1007/978-3-540-72586-2_38},
 editor = {Yong Shi and
G. Dick van Albada and
Jack J. Dongarra and
Peter M. A. Sloot},
 pages = {268--271},
 publisher = {Springer},
 title = {Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library},
 url = {https://doi.org/10.1007/978-3-540-72586-2_38},
 volume = {4488},
 year = {2007}
}

@inproceedings{DBLP:conf/iccS/LiMS07,
 author = {Xin Li and
Marc Moreno Maza and
{\'{E}}ric Schost},
 booktitle = {Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II},
 doi = {10.1007/978-3-540-72586-2_35},
 editor = {Yong Shi and
G. Dick van Albada and
Jack J. Dongarra and
Peter M. A. Sloot},
 pages = {251--258},
 publisher = {Springer},
 title = {On the Virtues of Generic Programming for Symbolic Computation},
 url = {https://doi.org/10.1007/978-3-540-72586-2_35},
 volume = {4488},
 year = {2007}
}

@inproceedings{DBLP:conf/issac/LiM07,
 author = {Xin Li and
Marc Moreno Maza},
 booktitle = {Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada},
 doi = {10.1145/1278177.1278187},
 editor = {Marc Moreno Maza and
Stephen M. Watt},
 pages = {53--59},
 publisher = {ACM},
 title = {Multithreaded parallel implementation of arithmetic operations modulo a triangular set},
 url = {https://doi.org/10.1145/1278177.1278187},
 year = {2007}
}

@inproceedings{DBLP:conf/issac/LiMS07,
 author = {Xin Li and
Marc Moreno Maza and
{\'{E}}ric Schost},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
 doi = {10.1145/1277548.1277585},
 editor = {Dongming Wang},
 pages = {269--276},
 publisher = {ACM},
 title = {Fast arithmetic for triangular sets: from theory to practice},
 url = {https://doi.org/10.1145/1277548.1277585},
 year = {2007}
}

@inproceedings{DBLP:conf/issac/MazaSWX07,
 author = {Marc Moreno Maza and
Ben Stephenson and
Stephen M. Watt and
Yuzhen Xie},
 booktitle = {Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada},
 doi = {10.1145/1278177.1278188},
 editor = {Marc Moreno Maza and
Stephen M. Watt},
 pages = {60--68},
 publisher = {ACM},
 title = {Multiprocessed parallelism support in ALDOR on SMPs and multicores},
 url = {https://doi.org/10.1145/1278177.1278188},
 year = {2007}
}

@inproceedings{DBLP:conf/issac/MazaX07,
 author = {Marc Moreno Maza and
Yuzhen Xie},
 booktitle = {Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada},
 doi = {10.1145/1278177.1278189},
 editor = {Marc Moreno Maza and
Stephen M. Watt},
 pages = {69--77},
 publisher = {ACM},
 title = {Component-level parallelization of triangular decompositions},
 url = {https://doi.org/10.1145/1278177.1278189},
 year = {2007}
}

@proceedings{DBLP:conf/issac/2007pasco,
 booktitle = {PASCO},
 editor = {Marc Moreno Maza and
Stephen M. Watt},
 publisher = {ACM},
 title = {Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada},
 year = {2007}
}

@proceedings{zbMATH5358528,
 editor = {Moreno Maza, Marc and Watt, Stephen M.},
 publisher = {New York, NY: Association for Computing Machinery (ACM)},
 title = {PASCO'07. Proceedings of the 2007 international workshop on parallel symbolic computation, London, ON, Canada, July 27--28, 2007.},
 year = {2007}
}

@inproceedings{boulier:hal-00137158,
 author = {Boulier, Fran{\c c}ois and Lemaire, Fran{\c c}ois and {Moreno Maza}, Marc},
 booktitle = {{Transgressive Computing 2006}},
 pages = {79-91},
 publisher = {{J.-G. Dumas, Universit{\'e} Joseph Fourier, Grenoble, France}},
 title = {{Well known theorems on triangular systems and the D5 principle}},
 url = {https://hal.archives-ouvertes.fr/hal-00137158},
 year = {2006}
}

@inproceedings{DBLP:conf/dagstuhl/MazaGKO06,
 author = {Marc Moreno Maza and
Oleg Golubitsky and
Marina V. Kondratieva and
Alexey Ovchinnikov},
 booktitle = {Challenges in Symbolic Computation Software, 02.07. - 07.07.2006},
 editor = {Wolfram Decker and
Mike Dewar and
Erich L. Kaltofen and
Stephen M. Watt},
 publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
 title = {Bounds and algebraic algorithms in differential algebra: the ordinary case},
 url = {http://drops.dagstuhl.de/opus/volltexte/2007/1021},
 volume = {06271},
 year = {2006}
}

@inproceedings{DBLP:conf/icms/LiM06,
 author = {Xin Li and
Marc Moreno Maza},
 booktitle = {Mathematical Software - ICMS 2006, Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings},
 doi = {10.1007/11832225_2},
 editor = {Andr{\'{e}}s Iglesias and
Nobuki Takayama},
 pages = {12--23},
 publisher = {Springer},
 title = {Efficient Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment},
 url = {https://doi.org/10.1007/11832225_2},
 volume = {4151},
 year = {2006}
}

@inproceedings{DBLP:conf/issac/FilateiLMS06,
 author = {Akpodigha Filatei and
Xin Li and
Marc Moreno Maza and
{\'{E}}ric Schost},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, ISSAC 2006, Genoa, Italy, July 9-12, 2006, Proceedings},
 doi = {10.1145/1145768.1145789},
 editor = {Barry M. Trager},
 pages = {93--100},
 publisher = {ACM},
 title = {Implementation techniques for fast polynomial arithmetic in a high-level programming environment},
 url = {https://doi.org/10.1145/1145768.1145789},
 year = {2006}
}

@inproceedings{DBLP:conf/issac/Maza06,
 author = {Marc Moreno Maza},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, ISSAC 2006, Genoa, Italy, July 9-12, 2006, Proceedings},
 doi = {10.1145/1145768.1145776},
 editor = {Barry M. Trager},
 pages = {8},
 publisher = {ACM},
 title = {Triangular decompositions of polynomial systems: from theory to practice},
 url = {https://doi.org/10.1145/1145768.1145776},
 year = {2006}
}

@inproceedings{DBLP:conf/spaa/MazaX06,
 author = {Marc Moreno Maza and
Yuzhen Xie},
 booktitle = {SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30 - August 2, 2006},
 doi = {10.1145/1148109.1148149},
 editor = {Phillip B. Gibbons and
Uzi Vishkin},
 pages = {235},
 publisher = {ACM},
 title = {An implementation report for parallel triangular decompositions},
 url = {https://doi.org/10.1145/1148109.1148149},
 year = {2006}
}

@inproceedings{DMSX06,
 author = {X.~{Dahan} and M.~{{Moreno Maza}} and {\'E}.~{Schost} and Y.~{Xie}},
 booktitle = {Proc. of {\em Transgressive Computing 2006}},
 title = {On the complexity of the {{D5}} principle},
 url = {http://www.csd.uwo.ca/~eschost/publications/DMSWX-05b-TC-2006.pdf},
 year = {2006}
}

@inproceedings{MoScZh06,
 author = {M. {{Moreno Maza}} and {\'E}. {Schost} and W. Zhou},
 booktitle = {Proc. of {\em Transgressive Computing 2006}},
 title = {{Primary decomposition of zero-dimensional ideals: Putting
Monico's algorithm into practice}},
 url = {http://www.csd.uwo.ca/~eschost/publications/MoScZh.pdf},
 year = {2006}
}

@inproceedings{zbMATH5117574,
 author = {Dahan, X. and Jin, X. and Moreno Maza, M. and Schost, {\'{E}}.},
 booktitle = {Kotsireas, Ilias (ed.) et al., Maple conference 2006. Proceedings of the conference, Waterloo, Ontario, Canada, July 23--26, 2006. Waterloo: Maplesoft (ISBN 1-897310-13-7/pbk). 26-34},
 pages = {26--34},
 title = {Change of ordering for regular chains in positive dimension},
 year = {2006}
}

@article{DBLP:journals/cca/DahanSMWX05,
 author = {Xavier Dahan and
{\'{E}}ric Schost and
Marc Moreno Maza and
Wenyuan Wu and
Yuzhen Xie},
 doi = {10.1145/1113439.1113457},
 journal = {SIGSAM Bull.},
 pages = {97--98},
 title = {On the complexity of the D5 principle},
 url = {https://doi.org/10.1145/1113439.1113457},
 volume = {39},
 year = {2005}
}

@article{DBLP:journals/cca/LemaireMX05,
 author = {Fran{\c{c}}ois Lemaire and
Marc Moreno Maza and
Yuzhen Xie},
 doi = {10.1145/1113439.1113456},
 journal = {SIGSAM Bull.},
 pages = {96--97},
 title = {The RegularChains library in MAPLE},
 url = {https://doi.org/10.1145/1113439.1113456},
 volume = {39},
 year = {2005}
}

@inproceedings{DBLP:conf/issac/DahanMSWX05,
 author = {Xavier Dahan and
Marc Moreno Maza and
{\'{E}}ric Schost and
Wenyuan Wu and
Yuzhen Xie},
 booktitle = {Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings},
 doi = {10.1145/1073884.1073901},
 editor = {Manuel Kauers},
 pages = {108--115},
 publisher = {ACM},
 title = {Lifting techniques for triangular decompositions},
 url = {https://doi.org/10.1145/1073884.1073901},
 year = {2005}
}

@inproceedings{zbMATH5117557,
 author = {Lemaire, F. and Moreno Maza, M. and Xie, Y.},
 booktitle = {Kotsireas, Ilias S. (ed.), Maple conference 2005. Proceedings of the conference, Waterloo Ontario, Canada, July 17--21, 2005.With the assistance of Ian J. Sinclair, James Duketow, Robert M. Kalbfleisch. Waterloo: Maplesoft (ISBN 1-894511-85-9/pbk). 355-368},
 pages = {355--368},
 title = {The RegularChains library in Maple 10},
 year = {2005}
}

@article{DBLP:journals/jsc/FoursovM02,
 author = {Mikhail V. Foursov and
Marc Moreno Maza},
 doi = {10.1006/jsco.2002.0527},
 journal = {J. Symb. Comput.},
 pages = {647--660},
 title = {On Computer-assisted Classification of Coupled Integrable Equations},
 url = {https://doi.org/10.1006/jsco.2002.0527},
 volume = {33},
 year = {2002}
}

@inproceedings{DBLP:conf/issac/KoganM02,
 author = {Irina A. Kogan and
Marc Moreno Maza},
 booktitle = {Symbolic and Algebraic Computation, International Symposium ISSAC 2002, Lille, France, July 7-10, 2002, Proceedings},
 doi = {10.1145/780506.780526},
 editor = {Teo Mora},
 pages = {151--160},
 publisher = {ACM},
 title = {Computation of canonical forms for ternary cubics},
 url = {https://doi.org/10.1145/780506.780526},
 year = {2002}
}

@inproceedings{DBLP:conf/issac/BoulierLM01,
 author = {Fran{\c{c}}ois Boulier and
Fran{\c{c}}ois Lemaire and
Marc Moreno Maza},
 booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, ISSAC 2001, ORCCA \& University of Western Ontario, London, Ontario, Canada, July 22-25, 2001},
 doi = {10.1145/384101.384108},
 editor = {Erich L. Kaltofen and
Gilles Villard},
 pages = {38--47},
 publisher = {ACM},
 title = {PARDI!},
 url = {https://doi.org/10.1145/384101.384108},
 year = {2001}
}

@inproceedings{DBLP:conf/issac/FoursovM01,
 author = {Mikhail V. Foursov and
Marc Moreno Maza},
 booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, ISSAC 2001, ORCCA \& University of Western Ontario, London, Ontario, Canada, July 22-25, 2001},
 doi = {10.1145/384101.384120},
 editor = {Erich L. Kaltofen and
Gilles Villard},
 pages = {129--136},
 publisher = {ACM},
 title = {On computer-assisted classification of coupled integrable equations},
 url = {https://doi.org/10.1145/384101.384120},
 year = {2001}
}

@article{DBLP:journals/jsc/AubryLM99,
 author = {Philippe Aubry and
Daniel Lazard and
Marc Moreno Maza},
 doi = {10.1006/jsco.1999.0269},
 journal = {J. Symb. Comput.},
 pages = {105--124},
 title = {On the Theories of Triangular Sets},
 url = {https://doi.org/10.1006/jsco.1999.0269},
 volume = {28},
 year = {1999}
}

@article{DBLP:journals/jsc/AubryM99,
 author = {Philippe Aubry and
Marc Moreno Maza},
 doi = {10.1006/jsco.1999.0270},
 journal = {J. Symb. Comput.},
 pages = {125--154},
 title = {Triangular Sets for Solving Polynomial Systems: a Comparative Implementation of Four Methods},
 url = {https://doi.org/10.1006/jsco.1999.0270},
 volume = {28},
 year = {1999}
}

@article{zbMATH1369541,
 author = {Aubry, Philippe and Lazard, Daniel and Moreno Maza, Marc},
 journal = {Journal of Symbolic Computation},
 pages = {105--124},
 title = {On the theories of triangular sets},
 volume = {28},
 year = {1999}
}

@article{zbMATH1369542,
 author = {Aubry, Philippe and Moreno Maza, Marc},
 journal = {Journal of Symbolic Computation},
 pages = {125--154},
 title = {Triangular sets for solving polynomial systems: a comparative implementation of four methods},
 volume = {28},
 year = {1999}
}

@inproceedings{DBLP:conf/aaecc/MazaR95,
 author = {Marc Moreno Maza and
Renaud Rioboo},
 booktitle = {Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 11th International Symposium, AAECC-11, Paris, France, July 17-22, 1995, Proceedings},
 doi = {10.1007/3-540-60114-7_28},
 editor = {G{\'{e}}rard D. Cohen and
Marc Giusti and
Teo Mora},
 pages = {365--382},
 publisher = {Springer},
 title = {Polynomial Gcd Computations over Towers of Algebraic Extensions},
 url = {https://doi.org/10.1007/3-540-60114-7_28},
 volume = {948},
 year = {1995}
}