@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}
}

@proceedings{DBLP:conf/issac/2022,
 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/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}
}

@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/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/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},
 journal = {CoRR},
 title = {On the Parallelization of Triangular Decomposition of Polynomial Systems},
 url = {http://arxiv.org/abs/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},
 journal = {CoRR},
 title = {A Technique for Finding Optimal Program Launch Parameters Targeting
Manycore Accelerators},
 url = {http://arxiv.org/abs/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},
 journal = {CoRR},
 title = {{KLARAPTOR:} {A} Tool for Dynamically Finding Optimal Kernel Launch
Parameters Targeting {CUDA} Programs},
 url = {http://arxiv.org/abs/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},
 journal = {CoRR},
 title = {Comprehensive Optimization of Parametric Kernels for Graphics Processing
Units},
 url = {http://arxiv.org/abs/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},
 journal = {CoRR},
 title = {Putting F{\"{u}}rer Algorithm into Practice with the {BPAS} Library},
 url = {http://arxiv.org/abs/1811.01490},
 volume = {abs/1811.01490},
 year = {2018}
}

@incollection{MR3854791,
 author = {Asadi, Mohammadali and Brandt, Alexander and Moir, Robert H.
C. and Moreno Maza, Marc},
 booktitle = {Computer algebra in scientific computing},
 doi = {10.1007/978-3-319-99639-4},
 pages = {32--50},
 publisher = {Springer, Cham},
 title = {Sparse polynomial arithmetic with the {BPAS} library},
 url = {https://doi.org/10.1007/978-3-319-99639-4},
 volume = {11077},
 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}
}

@incollection{MR3767085,
 author = {Haque, Sardar Anisul and Hashemi, Amir and Mohajerani, Davood
and Moreno Maza, Marc},
 booktitle = {P{ASCO} 2017---{I}nternational {W}orkshop on {P}arallel
{S}ymbolic {C}omputation},
 doi = {10.1145/3115936.3115946},
 pages = {Art. No. 10, 10 unnumbered pages},
 publisher = {ACM, New York},
 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/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/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 = {http://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/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}
}

@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},
 journal = {CoRR},
 title = {An Algorithm for Computing the Limit Points of the Quasi-component
of a Regular Chain},
 url = {http://arxiv.org/abs/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},
 journal = {CoRR},
 title = {Generating Program Invariants via Interpolation},
 url = {http://arxiv.org/abs/1201.5086},
 volume = {abs/1201.5086},
 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 {\textbackslash}(P{\textbackslash})
-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/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 {\textless}T{\textgreater} 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,
 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}
}

@article{DBLP:journals/cca/ChenMX10,
 author = {Changno 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 R. 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/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,
 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}
}

@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/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 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 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}
}

@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 (\emph{T}) equal sat(\emph{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,
 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}
}

@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 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}
}

@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}
}

@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 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 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}
}