[ 2017 ]




[ 2016 ]


[ 103 ]
Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, and Yuzhen Xie. Parallel integer polynomial multiplication. CoRR, abs/1612.05778, 2016. [ http ]
@article{DBLP:journals/corr/ChenCMM0X16,
 author = {Changbo Chen and
Svyatoslav Covanov and
Farnam Mansouri and
Marc {Moreno Maza} and
Ning Xie and
Yuzhen Xie},
 journal = {CoRR},
 title = {Parallel Integer Polynomial Multiplication},
 url = {http://arxiv.org/abs/1612.05778},
 volume = {abs/1612.05778},
 year = {2016}
}

[ 102 ]
Changbo Chen and Marc Moreno Maza. Quantifier elimination by cylindrical algebraic decomposition based on regular chains. J. Symb. Comput., 75:74-93, 2016. [ http ]
@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 = {http://dx.doi.org/10.1016/j.jsc.2015.11.008},
 volume = {75},
 year = {2016}
}

[ 101 ]
Alvandi, Parisa, Kazemi, Mahsa, and Moreno Maza, Marc. Computing limits with the regularchains and powerseries libraries: from rational functions to Zariski closure. ACM Commun. Comput. Algebra, 50:93-96, 2016.
@article{MR3572094,
 author = {Alvandi, Parisa and Kazemi, Mahsa and Moreno Maza, Marc},
 journal = {ACM Commun. Comput. Algebra},
 pages = {93--96},
 title = {Computing limits with the {\ssf {R}egular{C}hains} and {\ssf
{P}ower{S}eries} libraries: from rational functions to
{Z}ariski closure},
 volume = {50},
 year = {2016}
}

[ 100 ]
Chen, Changbo, Covanov, Svyatoslav, Mansouri, Farnam, Moir, Robert H. C., Moreno Maza, Marc, Xie, Ning, and Xie, Yuzhen. The Basic Polynomial Algebra Subprograms. ACM Commun. Comput. Algebra, 50:97-100, 2016.
@article{MR3572095,
 author = {Chen, Changbo and Covanov, Svyatoslav and Mansouri, Farnam and
Moir, Robert H. C. and Moreno Maza, Marc and Xie, Ning and
Xie, Yuzhen},
 journal = {ACM Commun. Comput. Algebra},
 pages = {97--100},
 title = {The {B}asic {P}olynomial {A}lgebra {S}ubprograms},
 volume = {50},
 year = {2016}
}

[ 99 ]
Parisa Alvandi, Mahsa Kazemi, and Marc Moreno Maza. Computing limits of real multivariate rational functions. In Sergei A. Abramov, Eugene V. Zima, and Xiao-Shan Gao, editors, Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016, pages 39-46. ACM, 2016. [ http ]
@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 = {http://doi.acm.org/10.1145/2930889.2930938},
 year = {2016}
}

[ 98 ]
Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, and Yuzhen Xie. Parallel integer polynomial multiplication. In James H. Davenport, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, and Daniela Zaharie, editors, 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016, pages 72-80. IEEE Computer Society, 2016. [ http ]
@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} Computer Society},
 title = {Parallel Integer Polynomial Multiplication},
 url = {http://dx.doi.org/10.1109/SYNASC.2016.024},
 year = {2016}
}



[ 2015 ]


[ 97 ]
Alvandi, Parisa, Chen, Changbo, Hashemi, Amir, and Maza, Marc Moreno. Regular chains under linear changes of coordinates and applications. In Computer algebra in scientific computing, volume 9301, pages 30-44. Springer, Cham, 2015. [ http ]
@incollection{MR3447507,
 author = {Alvandi, Parisa and Chen, Changbo and Hashemi, Amir and Maza, Marc Moreno},
 booktitle = {Computer algebra in scientific computing},
 doi = {10.1007/978-3-319-24021-3_3},
 pages = {30--44},
 publisher = {Springer, Cham},
 title = {Regular chains under linear changes of coordinates and
applications},
 url = {http://dx.doi.org/10.1007/978-3-319-24021-3_3},
 volume = {9301},
 year = {2015}
}

[ 96 ]
Alvandi, Parisa, Maza, Marc Moreno, Schost, Éric, and Vrbik, Paul. A standard basis free algorithm for computing the tangent cones of a space curve. In Computer algebra in scientific computing, volume 9301, pages 45-60. Springer, Cham, 2015. [ http ]
@incollection{MR3447508,
 author = {Alvandi, Parisa and Maza, Marc Moreno and Schost, \'Eric and
Vrbik, Paul},
 booktitle = {Computer algebra in scientific computing},
 doi = {10.1007/978-3-319-24021-3_4},
 pages = {45--60},
 publisher = {Springer, Cham},
 title = {A standard basis free algorithm for computing the tangent
cones of a space curve},
 url = {http://dx.doi.org/10.1007/978-3-319-24021-3_4},
 volume = {9301},
 year = {2015}
}

[ 95 ]
Chen, Changbo and Maza, Marc Moreno. Simplification of cylindrical algebraic formulas. In Computer algebra in scientific computing, volume 9301, pages 119-134. Springer, Cham, 2015. [ http ]
@incollection{MR3447513,
 author = {Chen, Changbo and Maza, Marc Moreno},
 booktitle = {Computer algebra in scientific computing},
 doi = {10.1007/978-3-319-24021-3_9},
 pages = {119--134},
 publisher = {Springer, Cham},
 title = {Simplification of cylindrical algebraic formulas},
 url = {http://dx.doi.org/10.1007/978-3-319-24021-3_9},
 volume = {9301},
 year = {2015}
}

[ 94 ]
Changbo Chen, Xiaohui Chen, Abdoul-Kader Keita, Marc Moreno Maza, and Ning Xie. Metafork: a compilation framework for concurrency models targeting hardware accelerators and its application to the generation of parametric CUDA kernels. In Jordan Gould, Marin Litoiu, and Hanan Lutfiyya, editors, Proceedings of 25th Annual International Conference on Computer Science and Software Engineering, CASCON 2015, Markham, Ontario, Canada, 2-4 November, 2015, pages 70-79. IBM / ACM, 2015. [ http ]
@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}
}

[ 93 ]
Sardar Anisul Haque, Marc Moreno Maza, and Ning Xie. A many-core machine model for designing algorithms with minimum parallelism overheads. In Gerhard R. Joubert, Hugh Leather, Mark Parsons, Frans J. Peters, and Mark Sawyer, editors, Parallel Computing: On the Road to Exascale, Proceedings of the International Conference on Parallel Computing, ParCo 2015, 1-4 September 2015, Edinburgh, Scotland, UK, volume 27, pages 35-44. IOS Press, 2015. [ http ]
@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 = {http://dx.doi.org/10.3233/978-1-61499-621-7-35},
 volume = {27},
 year = {2015}
}



[ 2014 ]


[ 92 ]
Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, and David J. Wilson. Truth table invariant cylindrical algebraic decomposition by regular chains. CoRR, abs/1401.6310, 2014. [ http ]
@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},
 journal = {CoRR},
 title = {Truth Table Invariant Cylindrical Algebraic Decomposition by Regular
Chains},
 url = {http://arxiv.org/abs/1401.6310},
 volume = {abs/1401.6310},
 year = {2014}
}

[ 91 ]
Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, and David J. Wilson. Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. CoRR, abs/1404.6371, 2014. [ http ]
@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},
 journal = {CoRR},
 title = {Problem formulation for truth-table invariant cylindrical algebraic
decomposition by incremental triangular decomposition},
 url = {http://arxiv.org/abs/1404.6371},
 volume = {abs/1404.6371},
 year = {2014}
}

[ 90 ]
Sardar Anisul Haque, Marc Moreno Maza, and Ning Xie. A many-core machine model for designing algorithms with minimum parallelism overheads. CoRR, abs/1402.0264, 2014. [ http ]
@article{DBLP:journals/corr/HaqueMX14,
 author = {Sardar Anisul Haque and
Marc {Moreno Maza} and
Ning Xie},
 journal = {CoRR},
 title = {A Many-core Machine Model for Designing Algorithms with Minimum Parallelism
Overheads},
 url = {http://arxiv.org/abs/1402.0264},
 volume = {abs/1402.0264},
 year = {2014}
}

[ 89 ]
Chen, Changbo and Moreno Maza, Marc. Quantifier elimination by cylindrical algebraic decomposition based on regular chains. In ISSAC 2014-Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation, pages 91-98. ACM, New York, 2014. [ http ]
@incollection{MR3239913,
 author = {Chen, Changbo and Moreno Maza, Marc},
 booktitle = {I{SSAC} 2014---{P}roceedings of the 39th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2608628.2608666},
 pages = {91--98},
 publisher = {ACM, New York},
 title = {Quantifier elimination by cylindrical algebraic decomposition
based on regular chains},
 url = {http://dx.doi.org/10.1145/2608628.2608666},
 year = {2014}
}

[ 88 ]
Chen, Changbo and Moreno Maza, Marc. Cylindrical algebraic decomposition in the regularchains library. In Mathematical software-ICMS 2014, volume 8592, pages 425-433. Springer, Heidelberg, 2014. [ http ]
@incollection{MR3334799,
 author = {Chen, Changbo and Moreno Maza, Marc},
 booktitle = {Mathematical software---{ICMS} 2014},
 doi = {10.1007/978-3-662-44199-2_65},
 pages = {425--433},
 publisher = {Springer, Heidelberg},
 title = {Cylindrical algebraic decomposition in the {\tt
{R}egular{C}hains} library},
 url = {http://dx.doi.org/10.1007/978-3-662-44199-2_65},
 volume = {8592},
 year = {2014}
}

[ 87 ]
Alvandi, Parisa, Chen, Changbo, Marcus, Steffen, Moreno Maza, Marc, Schost, Eric, and Vrbik, Paul. Doing algebraic geometry with the RegularChains library. In Mathematical software-ICMS 2014, volume 8592, pages 472-479. Springer, Heidelberg, 2014. [ http ]
@incollection{MR3334805,
 author = {Alvandi, Parisa and Chen, Changbo and Marcus, Steffen and
Moreno Maza, Marc and Schost, Eric and Vrbik, Paul},
 booktitle = {Mathematical software---{ICMS} 2014},
 doi = {10.1007/978-3-662-44199-2_71},
 pages = {472--479},
 publisher = {Springer, Heidelberg},
 title = {Doing algebraic geometry with the {R}egular{C}hains library},
 url = {http://dx.doi.org/10.1007/978-3-662-44199-2_71},
 volume = {8592},
 year = {2014}
}

[ 86 ]
Chen, Changbo and Moreno Maza, Marc. Solving parametric polynomial systems by realcomprehensive triangularize. In Mathematical software-ICMS 2014, volume 8592, pages 504-511. Springer, Heidelberg, 2014. [ http ]
@incollection{MR3334810,
 author = {Chen, Changbo and Moreno Maza, Marc},
 booktitle = {Mathematical software---{ICMS} 2014},
 doi = {10.1007/978-3-662-44199-2_76},
 pages = {504--511},
 publisher = {Springer, Heidelberg},
 title = {Solving parametric polynomial systems by {\tt
{R}eal{C}omprehensive triangularize}},
 url = {http://dx.doi.org/10.1007/978-3-662-44199-2_76},
 volume = {8592},
 year = {2014}
}

[ 85 ]
Chen, Changbo, Covanov, Svyatoslav, Mansouri, Farnam, Moreno Maza, Marc, Xie, Ning, and Xie, Yuzhen. The basic polynomial algebra subprograms. In Mathematical software-ICMS 2014, volume 8592, pages 669-676. Springer, Heidelberg, 2014. [ http ]
@incollection{MR3334834,
 author = {Chen, Changbo and Covanov, Svyatoslav and Mansouri, Farnam and
Moreno Maza, Marc and Xie, Ning and Xie, Yuzhen},
 booktitle = {Mathematical software---{ICMS} 2014},
 doi = {10.1007/978-3-662-44199-2_100},
 pages = {669--676},
 publisher = {Springer, Heidelberg},
 title = {The basic polynomial algebra subprograms},
 url = {http://dx.doi.org/10.1007/978-3-662-44199-2_100},
 volume = {8592},
 year = {2014}
}

[ 84 ]
Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, and David J. Wilson. Truth table invariant cylindrical algebraic decomposition by regular chains. In Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, and Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings, volume 8660, pages 44-58. Springer, 2014. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-319-10515-4_4},
 volume = {8660},
 year = {2014}
}

[ 83 ]
Sardar Anisul Haque, Farnam Mansouri, and Marc Moreno Maza. On the parallelization of subproduct tree techniques targeting many-core architectures. In Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, and Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings, volume 8660, pages 171-185. Springer, 2014. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-319-10515-4_13},
 volume = {8660},
 year = {2014}
}

[ 82 ]
Changbo Chen and Marc Moreno Maza. Real quantifier elimination in the regularchains library. In Hoon Hong and Chee Yap, editors, Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, volume 8592, pages 283-290. Springer, 2014. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-662-44199-2_44},
 volume = {8592},
 year = {2014}
}

[ 81 ]
Sardar Anisul Haque, Xin Li, Farnam Mansouri, Marc Moreno Maza, Wei Pan, and Ning Xie. Dense arithmetic over finite fields with the CUMODP library. In Hoon Hong and Chee Yap, editors, Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings, volume 8592, pages 725-732. Springer, 2014. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-662-44199-2_108},
 volume = {8592},
 year = {2014}
}

[ 80 ]
Xiaohui Chen, Marc Moreno Maza, Sushek Shekar, and Priya Unnikrishnan. Metafork: A framework for concurrency platforms targeting multicores. In Luiz DeRose, Bronis R. de Supinski, Stephen L. Olivier, Barbara M. Chapman, and Matthias S. Müller, editors, Using and Improving OpenMP for Devices, Tasks, and More - 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings, volume 8766, pages 30-44. Springer, 2014. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-319-11454-5_3},
 volume = {8766},
 year = {2014}
}

[ 79 ]
Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, and David J. Wilson. Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. In Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, and Josef Urban, editors, Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings, volume 8543, pages 45-60. Springer, 2014. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-319-08434-3_5},
 volume = {8543},
 year = {2014}
}



[ 2013 ]


[ 78 ]
Parisa Alvandi, Changbo Chen, and Marc Moreno Maza. An algorithm for computing the limit points of the quasi-component of a regular chain. CoRR, abs/1302.4688, 2013. [ http ]
@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}
}

[ 77 ]
Changbo Chen, Robert M. Corless, Marc Moreno Maza, Pei Yu, and Yiming Zhang. An application of regular chain theory to the study of limit cycles. I. J. Bifurcation and Chaos, 23, 2013. [ http ]
@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 = {I. J. Bifurcation and Chaos},
 title = {An Application of Regular Chain Theory to the Study of Limit cycles},
 url = {http://dx.doi.org/10.1142/S021812741350154X},
 volume = {23},
 year = {2013}
}

[ 76 ]
Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, and Rong Xiao. Triangular decomposition of semi-algebraic systems. J. Symb. Comput., 49:3-26, 2013. [ http ]
@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 = {http://dx.doi.org/10.1016/j.jsc.2011.12.014},
 volume = {49},
 year = {2013}
}

[ 75 ]
Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, and Rong Xiao. Computing with semi-algebraic sets: Relaxation techniques and effective boundaries. J. Symb. Comput., 52:72-96, 2013. [ http ]
@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 = {http://dx.doi.org/10.1016/j.jsc.2012.05.013},
 volume = {52},
 year = {2013}
}

[ 74 ]
Changbo Chen, Marc Moreno Maza, and Yuzhen Xie. Computing the supremum of the real roots of a parametric univariate polynomial (extended abstract). In Tomas Sturm, editor, Mathematical Aspects of Computer Science and Information Sciences (MACIS 2013), 2013. [ http ]
@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}
}

[ 73 ]
Parisa Alvandi, Changbo Chen, and Marc Moreno Maza. Computing the limit points of the quasi-component of a regular chain in dimension one. In Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, and Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing - 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings, volume 8136, pages 30-45. Springer, 2013. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-319-02297-0_3},
 volume = {8136},
 year = {2013}
}



[ 2012 ]


[ 72 ]
Marc Moreno Maza and Wei Pan. Solving bivariate polynomial systems on a GPU. Journal of Physics: Conference Series, 341:012022, 2012. [ http ]
@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}
}

[ 71 ]
M. Md. Ali, M. Moreno Maza, and Y. Xie. On the factor refinement principle and its implementation on multicore architectures. J. of Physics: Conference Series, 385, 2012. [ http ]
@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}
}

[ 70 ]
Marc Moreno Maza and Rong Xiao. Generating program invariants via interpolation. CoRR, abs/1201.5086, 2012. [ http ]
@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}
}

[ 69 ]
Changbo Chen and Marc Moreno Maza. An incremental algorithm for computing cylindrical algebraic decompositions. CoRR, abs/1210.5543, 2012. [ http ]
@article{DBLP:journals/corr/abs-1210-5543,
 author = {Changbo Chen and
Marc {Moreno Maza}},
 journal = {CoRR},
 title = {An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions},
 url = {http://arxiv.org/abs/1210.5543},
 volume = {abs/1210.5543},
 year = {2012}
}

[ 68 ]
Changbo Chen and Marc Moreno Maza. Algorithms for computing triangular decomposition of polynomial systems. J. Symb. Comput., 47:610-642, 2012. [ http ]
@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 = {http://dx.doi.org/10.1016/j.jsc.2011.12.023},
 volume = {47},
 year = {2012}
}

[ 67 ]
Marc Moreno Maza, Bican Xia, and Rong Xiao. On solving parametric polynomial systems. Mathematics in Computer Science, 6:457-473, 2012. [ http ]
@article{DBLP:journals/mics/MazaXX12,
 author = {Marc {Moreno Maza} and
Bican Xia and
Rong Xiao},
 doi = {10.1007/s11786-012-0136-3},
 journal = {Mathematics in Computer Science},
 pages = {457--473},
 title = {On Solving Parametric Polynomial Systems},
 url = {http://dx.doi.org/10.1007/s11786-012-0136-3},
 volume = {6},
 year = {2012}
}

[ 66 ]
S. A. Haque and M. Moreno Maza. Plain polynomial arithmetic on GPU. J. of Physics: Conference Series, 385, 2012. [ http ]
@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}
}

[ 65 ]
Changbo Chen and Marc Moreno Maza. An incremental algorithm for computing cylindrical algebraic decompositions. In Ruyong Feng, Wen-shin Lee, and Yosuke Sato, editors, Computer Mathematics, 9th Asian Symposium (ASCM 2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM 2012), Beijing, October 2012, Contributed Papers and Invited Talks, pages 199-221. Springer, 2012. [ http ]
@inproceedings{DBLP:conf/ascm/ChenM12,
 author = {Changbo Chen and
Marc {Moreno Maza}},
 booktitle = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing, 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 = {http://dx.doi.org/10.1007/978-3-662-43799-5_17},
 year = {2012}
}

[ 64 ]
Marc Moreno Maza and Rong Xiao. Degree and dimension estimates for invariant ideals of (p) -solvable recurrences. In Ruyong Feng, Wen-shin Lee, and Yosuke Sato, editors, Computer Mathematics, 9th Asian Symposium (ASCM 2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM 2012), Beijing, October 2012, Contributed Papers and Invited Talks, pages 349-373. Springer, 2012. [ http ]
@inproceedings{DBLP:conf/ascm/MazaX12,
 author = {Marc {Moreno Maza} and
Rong Xiao},
 booktitle = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing, 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 = {http://dx.doi.org/10.1007/978-3-662-43799-5_25},
 year = {2012}
}

[ 63 ]
Steffen Marcus, Marc Moreno Maza, and Paul Vrbik. On fulton's algorithm for computing intersection multiplicities. In Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, and Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing - 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings, volume 7442, pages 198-211. Springer, 2012. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-642-32973-9_17},
 volume = {7442},
 year = {2012}
}

[ 62 ]
Marc Moreno Maza, Éric Schost, and Paul Vrbik. Inversion modulo zero-dimensional regular chains. In Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, and Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing - 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings, volume 7442, pages 224-235. Springer, 2012. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-642-32973-9_19},
 volume = {7442},
 year = {2012}
}



[ 2011 ]


[ 61 ]
C. Chen, M. Moreno Maza, and Y. Xie. Cache complexity and multicore implementation for univariate real root isolation. J. of Physics: Conference Series, 341, 2011. [ http ]
@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}
}

[ 60 ]
Changbo Chen and Marc Moreno Maza. Algorithms for computing triangular decompositions of polynomial systems. CoRR, abs/1104.0689, 2011. [ http ]
@article{DBLP:journals/corr/abs-1104-0689,
 author = {Changbo Chen and
Marc {Moreno Maza}},
 journal = {CoRR},
 title = {Algorithms for Computing Triangular Decompositions of Polynomial Systems},
 url = {http://arxiv.org/abs/1104.0689},
 volume = {abs/1104.0689},
 year = {2011}
}

[ 59 ]
Marc Moreno Maza and Yuzhen Xie. Balanced dense polynomial multiplication on multi-cores. Int. J. Found. Comput. Sci., 22:1035-1055, 2011. [ http ]
@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 = {http://dx.doi.org/10.1142/S0129054111008556},
 volume = {22},
 year = {2011}
}

[ 58 ]
François Lemaire, Marc Moreno Maza, Wei Pan, and Yuzhen Xie. When does t equal sat(t)? J. Symb. Comput., 46:1291-1305, 2011. [ http ]
@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 = {http://dx.doi.org/10.1016/j.jsc.2011.08.010},
 volume = {46},
 year = {2011}
}

[ 57 ]
Xin Li, Marc Moreno Maza, Raqeeb Rasheed, and Éric Schost. The modpn library: Bringing fast polynomial arithmetic into maple. J. Symb. Comput., 46:841-858, 2011. [ http ]
@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 = {http://dx.doi.org/10.1016/j.jsc.2010.08.016},
 volume = {46},
 year = {2011}
}

[ 56 ]
S. A. Haque and M. Moreno Maza. Determinant computation on the GPU using the condensation method. J. of Physics: Conference Series, 341, 2011. [ http ]
@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}
}

[ 55 ]
Chen, Changbo, Davenport, James H., Moreno Maza, Marc, Xia, Bican, and Xiao, Rong. Computing with semi-algebraic sets represented by triangular decomposition. In ISSAC 2011-Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, pages 75-82. ACM, New York, 2011. [ http ]
@incollection{MR2895197,
 author = {Chen, Changbo and Davenport, James H. and Moreno Maza, Marc
and Xia, Bican and Xiao, Rong},
 booktitle = {I{SSAC} 2011---{P}roceedings of the 36th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/1993886.1993903},
 pages = {75--82},
 publisher = {ACM, New York},
 title = {Computing with semi-algebraic sets represented by triangular
decomposition},
 url = {http://dx.doi.org/10.1145/1993886.1993903},
 year = {2011}
}

[ 54 ]
Chen, Changbo and Moreno Maza, Marc. Algorithms for computing triangular decompositions of polynomial systems. In ISSAC 2011-Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, pages 83-90. ACM, New York, 2011. [ http ]
@incollection{MR2895198,
 author = {Chen, Changbo and Moreno Maza, Marc},
 booktitle = {I{SSAC} 2011---{P}roceedings of the 36th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/1993886.1993904},
 pages = {83--90},
 publisher = {ACM, New York},
 title = {Algorithms for computing triangular decompositions of
polynomial systems},
 url = {http://dx.doi.org/10.1145/1993886.1993904},
 year = {2011}
}

[ 53 ]
Changbo Chen and Marc Moreno Maza. Semi-algebraic description of the equilibria of dynamical systems. In Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, and Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing - 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings, volume 6885, pages 101-125. Springer, 2011. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-642-23568-9_9},
 volume = {6885},
 year = {2011}
}

[ 52 ]
Lemaire, Fran} cois, Chen, Changbo, H. Davenport, James, Moreno Maza, Marc, Phisanbut, Nalina, Xia, Bican, Xiao, Rong, and Xie, Yuzhen. Solving semi-algebraic systems with the regularchains library in maple. In Stefan Raschau, editor, Mathematical Aspects of Computer Science and Information Sciences, pages 38-51, 2011.http ]
@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}
}

[ 51 ]
Marc Moreno Maza, editor. SNC 2011, Proceedings of the 2011 Internation Workshop on Symbolic-Numeric Computation, San Jose, California, USA, June 7-9, 2011. ACM, 2011. [ http ]
@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}
}



[ 2010 ]


[ 50 ]
Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, and Rong Xiao. Triangular decomposition of semi-algebraic systems. CoRR, abs/1002.4784, 2010. [ http ]
@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},
 journal = {CoRR},
 title = {Triangular Decomposition of Semi-algebraic Systems},
 url = {http://arxiv.org/abs/1002.4784},
 volume = {abs/1002.4784},
 year = {2010}
}

[ 49 ]
François Boulier, François Lemaire, and Marc Moreno Maza. Computing differential characteristic sets by change of ordering. J. Symb. Comput., 45:124-149, 2010. [ http ]
@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 = {http://dx.doi.org/10.1016/j.jsc.2009.09.004},
 volume = {45},
 year = {2010}
}

[ 48 ]
M. Moreno Maza and W. Pan. Fast polynomial arithmetic on a GPU. J. of Physics: Conference Series, 256, 2010. [ http ]
@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}
}

[ 47 ]
Chen, Changbo, Davenport, James H., May, John P., Moreno Maza, Marc, Xia, Bican, and Xiao, Rong. Triangular decomposition of semi-algebraic systems. In ISSAC 2010-Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, pages 187-194. ACM, New York, 2010. [ http ]
@incollection{MR2920553,
 author = {Chen, Changbo and Davenport, James H. and May, John P. and
Moreno Maza, Marc and Xia, Bican and Xiao, Rong},
 booktitle = {I{SSAC} 2010---{P}roceedings of the 2010 {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/1837934.1837972},
 pages = {187--194},
 publisher = {ACM, New York},
 title = {Triangular decomposition of semi-algebraic systems},
 url = {http://dx.doi.org/10.1145/1837934.1837972},
 year = {2010}
}

[ 46 ]
Sardar Anisul Haque, Shahadat Hossain, and Marc Moreno Maza. Cache friendly sparse matrix-vector multiplication. In Marc Moreno Maza and Jean-Louis Roch, editors, Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pages 175-176. ACM, 2010. [ http ]
@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 = {http://doi.acm.org/10.1145/1837210.1837238},
 year = {2010}
}

[ 45 ]
Charles E. Leiserson, Marc Moreno Maza, Liyun Li, and Yuzhen Xie. Parallel computation of the minimal elements of a poset. In Marc Moreno Maza and Jean-Louis Roch, editors, Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pages 53-62. ACM, 2010. [ http ]
@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 = {http://doi.acm.org/10.1145/1837210.1837221},
 year = {2010}
}

[ 44 ]
Lingchuan Meng, Yevgen Voronenko, Jeremy R. Johnson, Marc Moreno Maza, Franz Franchetti, and Yuzhen Xie. Spiral-generated modular FFT algorithms. In Marc Moreno Maza and Jean-Louis Roch, editors, Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France, pages 169-170. ACM, 2010. [ http ]
@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 = {http://doi.acm.org/10.1145/1837210.1837235},
 year = {2010}
}

[ 43 ]
Charles E. Leiserson, Liyun Li, Marc Moreno Maza, and Yuzhen Xie. Efficient evaluation of large polynomials. In Komei Fukuda, Joris van der Hoeven, Michael Joswig, and Nobuki Takayama, editors, Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings, volume 6327, pages 342-353. Springer, 2010. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-642-15582-6_55},
 volume = {6327},
 year = {2010}
}

[ 42 ]
Marc Moreno Maza and Jean-Louis Roch, editors. Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France. ACM, 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}
}



[ 2009 ]


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

[ 40 ]
Changbo Chen, Marc Moreno Maza, Bican Xia, and Lu Yang. Computing cylindrical algebraic decomposition via triangular decomposition. CoRR, abs/0903.5221, 2009. [ http ]
@article{DBLP:journals/corr/abs-0903-5221,
 author = {Changbo Chen and
Marc {Moreno Maza} and
Bican Xia and
Lu Yang},
 journal = {CoRR},
 title = {Computing Cylindrical Algebraic Decomposition via Triangular Decomposition},
 url = {http://arxiv.org/abs/0903.5221},
 volume = {abs/0903.5221},
 year = {2009}
}

[ 39 ]
Xin Li, Marc Moreno Maza, and Éric Schost. Fast arithmetic for triangular sets: From theory to practice. J. Symb. Comput., 44:891-907, 2009. [ http ]
@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 = {http://dx.doi.org/10.1016/j.jsc.2008.04.019},
 volume = {44},
 year = {2009}
}

[ 38 ]
Boulier, François, Chen, Changbo, Lemaire, François, and Maza, Marc Moreno. Real root isolation of regular chains. In The Joint Conference of ASCM 2009 and MACIS 2009, volume 22, pages 15-29. Kyushu Univ. Fac. Math., Fukuoka, 2009.
@incollection{MR2681667,
 author = {Boulier, Fran\c{c}ois and Chen, Changbo and Lemaire, Fran\c{c}ois and
Maza, Marc Moreno},
 booktitle = {The {J}oint {C}onference of {ASCM} 2009 and {MACIS} 2009},
 pages = {15--29},
 publisher = {Kyushu Univ. Fac. Math., Fukuoka},
 title = {Real root isolation of regular chains},
 volume = {22},
 year = {2009}
}

[ 37 ]
Chen, Changbo, Moreno Maza, Marc, Xia, Bican, and Yang, Lu. Computing cylindrical algebraic decomposition via triangular decomposition. In ISSAC 2009-Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, pages 95-102. ACM, New York, 2009. [ http ]
@incollection{MR2742696,
 author = {Chen, Changbo and Moreno Maza, Marc and Xia, Bican and Yang, Lu},
 booktitle = {I{SSAC} 2009---{P}roceedings of the 2009 {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/1576702.1576718},
 pages = {95--102},
 publisher = {ACM, New York},
 title = {Computing cylindrical algebraic decomposition via triangular
decomposition},
 url = {http://dx.doi.org/10.1145/1576702.1576718},
 year = {2009}
}

[ 36 ]
Li, Xin, Moreno Maza, Marc, and Pan, Wei. Computations modulo regular chains. In ISSAC 2009-Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, pages 239-246. ACM, New York, 2009. [ http ]
@incollection{MR2742713,
 author = {Li, Xin and Moreno Maza, Marc and Pan, Wei},
 booktitle = {I{SSAC} 2009---{P}roceedings of the 2009 {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/1576702.1576736},
 pages = {239--246},
 publisher = {ACM, New York},
 title = {Computations modulo regular chains},
 url = {http://dx.doi.org/10.1145/1576702.1576736},
 year = {2009}
}

[ 35 ]
François Boulier, Changbo Chen, François Lemaire, and Marc Moreno Maza. Real root isolation of regular chains. In Ruyong Feng, Wen-shin Lee, and Yosuke Sato, editors, Computer Mathematics, 9th Asian Symposium (ASCM 2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM 2012), Beijing, October 2012, Contributed Papers and Invited Talks, pages 33-48. Springer, 2009. [ http ]
@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, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing, 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 = {http://dx.doi.org/10.1007/978-3-662-43799-5_4},
 year = {2009}
}

[ 34 ]
Marc Moreno Maza and Yuzhen Xie. Fft-based dense polynomial arithmetic on multi-cores. In Douglas J. K. Mewhort, Natalie M. Cann, Gary W. Slater, and Thomas J. Naughton, editors, High Performance Computing Systems and Applications, 23rd International Symposium, HPCS 2009, Kingston, ON, Canada, June 14-17, 2009, Revised Selected Papers, volume 5976, pages 378-399. Springer, 2009. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-642-12659-8_28},
 volume = {5976},
 year = {2009}
}

[ 33 ]
Marc Moreno Maza and Yuzhen Xie. Balanced dense polynomial multiplication on multi-cores. In 2009 International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2009, Higashi Hiroshima, Japan, 8-11 December 2009, pages 1-9. IEEE Computer Society, 2009. [ http ]
@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 = {http://dx.doi.org/10.1109/PDCAT.2009.87},
 year = {2009}
}



[ 2008 ]


[ 32 ]
Changbo Chen, Marc Moreno Maza, Wei Pan, and Yuzhen Xie. On the verification of polynomial system solvers. Frontiers of Computer Science in China, 2:55-66, 2008. [ http ]
@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 of Computer Science in China},
 pages = {55--66},
 title = {On the verification of polynomial system solvers},
 url = {http://dx.doi.org/10.1007/s11704-008-0006-y},
 volume = {2},
 year = {2008}
}

[ 31 ]
Oleg Golubitsky, Marina V. Kondratieva, Marc Moreno Maza, and Alexey Ovchinnikov. A bound for the rosenfeld-gröbner algorithm. J. Symb. Comput., 43:582-610, 2008. [ http ]
@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 = {http://dx.doi.org/10.1016/j.jsc.2007.12.002},
 volume = {43},
 year = {2008}
}

[ 30 ]
Xavier Dahan, Xin Jin, Marc Moreno Maza, and Éric Schost. Change of order for regular chains in positive dimension. Theor. Comput. Sci., 392:37-65, 2008. [ http ]
@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 = {http://dx.doi.org/10.1016/j.tcs.2007.10.003},
 volume = {392},
 year = {2008}
}

[ 29 ]
Liang, Songxin, Jeffrey, David J., and Moreno Maza, Marc. The complete root classification of a parametric polynomial on an interval. In ISSAC 2008, pages 189-195. ACM, New York, 2008. [ http ]
@incollection{MR2513505,
 author = {Liang, Songxin and Jeffrey, David J. and Moreno Maza, Marc},
 booktitle = {I{SSAC} 2008},
 doi = {10.1145/1390768.1390796},
 pages = {189--195},
 publisher = {ACM, New York},
 title = {The complete root classification of a parametric polynomial on
an interval},
 url = {http://dx.doi.org/10.1145/1390768.1390796},
 year = {2008}
}

[ 28 ]
Lemaire, François, Moreno Maza, Marc, Pan, Wei, and Xie, Yuzhen. When does T equal sat(T)? In ISSAC 2008, pages 207-214. ACM, New York, 2008. [ http ]
@incollection{MR2513507,
 author = {Lemaire, Fran\c{c}ois and Moreno Maza, Marc and Pan, Wei and Xie, Yuzhen},
 booktitle = {I{SSAC} 2008},
 doi = {10.1145/1390768.1390798},
 pages = {207--214},
 publisher = {ACM, New York},
 title = {When does {$\langle T\rangle$} equal {${\rm sat}(T)$}?},
 url = {http://dx.doi.org/10.1145/1390768.1390798},
 year = {2008}
}

[ 27 ]
Changbo Chen, François Lemaire, Liyun Li, Marc Moreno Maza, Wei Pan, and Yuzhen Xie. The constructiblesettools and parametricsystemtools modules of the regularchains library in maple. In Marina L. Gavrilova, Osvaldo Gervasi, Antonio Laganà, Youngsong Mun, and Andrés Iglesias, editors, Selected Papers of the Sixth International Conference on Computational Sciences and Its Applications, ICCSA '08, Perugia, Italy, June 30 - July 3, 2008, pages 342-352. IEEE Computer Society, 2008. [ http ]
@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 = {http://dx.doi.org/10.1109/ICCSA.2008.61},
 year = {2008}
}

[ 26 ]
Xin Li, Marc Moreno Maza, Raqeeb Rasheed, and Éric Schost. High-performance symbolic computation in a hybrid compiled-interpreted programming environment. In Marina L. Gavrilova, Osvaldo Gervasi, Antonio Laganà, Youngsong Mun, and Andrés Iglesias, editors, Selected Papers of the Sixth International Conference on Computational Sciences and Its Applications, ICCSA '08, Perugia, Italy, June 30 - July 3, 2008, pages 331-341. IEEE Computer Society, 2008. [ http ]
@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 = {http://dx.doi.org/10.1109/ICCSA.2008.68},
 year = {2008}
}



[ 2007 ]


[ 25 ]
Marc Moreno Maza, Gregory J. Reid, Robin Scott, and Wenyuan Wu. On approximate triangular decompositions in dimension zero. J. Symb. Comput., 42:693-716, 2007. [ http ]
@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 = {http://dx.doi.org/10.1016/j.jsc.2006.12.004},
 volume = {42},
 year = {2007}
}

[ 24 ]
Moreno Maza, Marc, Reid, Greg J., Scott, Robin, and Wu, Wenyuan. On Approximate Linearized Triangular Decompositions, pages 279-298. Birkhäuser Basel, 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},
 year = {2007}
}

[ 23 ]
Li, Xin, Maza, Marc Moreno, and Schost, Éric. Fast arithmetic for triangular sets: from theory to practice. In ISSAC 2007, pages 269-276. ACM, New York, 2007. [ http ]
@incollection{MR2402271,
 author = {Li, Xin and Maza, Marc Moreno and Schost, \'Eric},
 booktitle = {I{SSAC} 2007},
 doi = {10.1145/1277548.1277585},
 pages = {269--276},
 publisher = {ACM, New York},
 title = {Fast arithmetic for triangular sets: from theory to practice},
 url = {http://dx.doi.org/10.1145/1277548.1277585},
 year = {2007}
}

[ 22 ]
Moreno Maza, Marc and Xie, Yuzhen. Component-level parallelization of triangular decompositions. In PASCO'07, pages 69-77. ACM, New York, 2007. [ http ]
@incollection{MR2404061,
 author = {Moreno Maza, Marc and Xie, Yuzhen},
 booktitle = {P{ASCO}'07},
 doi = {10.1145/1278177.1278189},
 pages = {69--77},
 publisher = {ACM, New York},
 title = {Component-level parallelization of triangular decompositions},
 url = {http://dx.doi.org/10.1145/1278177.1278189},
 year = {2007}
}

[ 21 ]
Changbo Chen, Oleg Golubitsky, François Lemaire, Marc Moreno Maza, and Wei Pan. Comprehensive triangular decomposition. In Victor G. Ganzha, Ernst W. Mayr, and Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing, 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings, volume 4770, pages 73-101. Springer, 2007. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-540-75187-8_7},
 volume = {4770},
 year = {2007}
}

[ 20 ]
Changbo Chen, François Lemaire, Marc Moreno Maza, Wei Pan, and Yuzhen Xie. Efficient computations of irredundant triangular decompositions with the regularchains library. In Yong Shi, G. Dick van Albada, Jack Dongarra, and Peter M. A. Sloot, editors, Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II, volume 4488, pages 268-271. Springer, 2007. [ http ]
@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 Dongarra and
Peter M. A. Sloot},
 pages = {268--271},
 publisher = {Springer},
 title = {Efficient Computations of Irredundant Triangular Decompositions with
the RegularChains Library},
 url = {http://dx.doi.org/10.1007/978-3-540-72586-2_38},
 volume = {4488},
 year = {2007}
}

[ 19 ]
Xin Li, Marc Moreno Maza, and Éric Schost. On the virtues of generic programming for symbolic computation. In Yong Shi, G. Dick van Albada, Jack Dongarra, and Peter M. A. Sloot, editors, Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II, volume 4488, pages 251-258. Springer, 2007. [ http ]
@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 Dongarra and
Peter M. A. Sloot},
 pages = {251--258},
 publisher = {Springer},
 title = {On the Virtues of Generic Programming for Symbolic Computation},
 url = {http://dx.doi.org/10.1007/978-3-540-72586-2_35},
 volume = {4488},
 year = {2007}
}

[ 18 ]
Xin Li and Marc Moreno Maza. Multithreaded parallel implementation of arithmetic operations modulo a triangular set. In Marc Moreno Maza and Stephen M. Watt, editors, Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pages 53-59. ACM, 2007. [ http ]
@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 = {http://doi.acm.org/10.1145/1278177.1278187},
 year = {2007}
}

[ 17 ]
Marc Moreno Maza, Ben Stephenson, Stephen M. Watt, and Yuzhen Xie. Multiprocessed parallelism support in ALDOR on smps and multicores. In Marc Moreno Maza and Stephen M. Watt, editors, Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pages 60-68. ACM, 2007. [ http ]
@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 = {http://doi.acm.org/10.1145/1278177.1278188},
 year = {2007}
}

[ 16 ]
Marc Moreno Maza and Stephen M. Watt, editors. Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada. ACM, 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}
}



[ 2006 ]


[ 15 ]
Filatei, Akpodigha, Li, Xin, Moreno Maza, Marc, and Schost, Éric. Implementation techniques for fast polynomial arithmetic in a high-level programming environment. In ISSAC 2006, pages 93-100. ACM, New York, 2006. [ http ]
@incollection{MR2289106,
 author = {Filatei, Akpodigha and Li, Xin and Moreno Maza, Marc and
Schost, \'Eric},
 booktitle = {I{SSAC} 2006},
 doi = {10.1145/1145768.1145789},
 pages = {93--100},
 publisher = {ACM, New York},
 title = {Implementation techniques for fast polynomial arithmetic in a
high-level programming environment},
 url = {http://dx.doi.org/10.1145/1145768.1145789},
 year = {2006}
}

[ 14 ]
Li, Xin and Moreno Maza, Marc. Efficient implementation of polynomial arithmetic in a multiple-level programming environment. In Mathematical software-ICMS 2006, volume 4151, pages 12-23. Springer, Berlin, 2006. [ http ]
@incollection{MR2387157,
 author = {Li, Xin and Moreno Maza, Marc},
 booktitle = {Mathematical software---{ICMS} 2006},
 doi = {10.1007/11832225_2},
 pages = {12--23},
 publisher = {Springer, Berlin},
 title = {Efficient implementation of polynomial arithmetic in a
multiple-level programming environment},
 url = {http://dx.doi.org/10.1007/11832225_2},
 volume = {4151},
 year = {2006}
}

[ 13 ]
Boulier, Fran} cois, Lemaire, Fran} cois, and Moreno Maza, Marc. Well known theorems on triangular systems and the d5 principle. In Transgressive Computing 2006, pages 79-91. J.-G. Dumas, Université Joseph Fourier, Grenoble, France, 2006.http ]
@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}
}

[ 12 ]
Marc Moreno Maza, Oleg Golubitsky, Marina V. Kondratieva, and Alexey Ovchinnikov. Bounds and algebraic algorithms in differential algebra: the ordinary case. In Wolfram Decker, Mike Dewar, Erich Kaltofen, and Stephen M. Watt, editors, Challenges in Symbolic Computation Software, 02.07. - 07.07.2006, volume 06271. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. [ http ]
@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}
}

[ 11 ]
Marc Moreno Maza. Triangular decompositions of polynomial systems: from theory to practice. In Barry M. Trager, editor, Symbolic and Algebraic Computation, International Symposium, ISSAC 2006, Genoa, Italy, July 9-12, 2006, Proceedings, page 8. ACM, 2006. [ http ]
@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 = {http://doi.acm.org/10.1145/1145768.1145776},
 year = {2006}
}

[ 10 ]
Marc Moreno Maza and Yuzhen Xie. An implementation report for parallel triangular decompositions. In Phillip B. Gibbons and Uzi Vishkin, editors, SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30 - August 2, 2006, page 235. ACM, 2006. [ http ]
@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 = {http://doi.acm.org/10.1145/1148109.1148149},
 year = {2006}
}

[ 9 ]
X. Dahan, M. Moreno Maza, É. Schost, and Y. Xie. On the complexity of the D5 principle. In Proc. of Transgressive Computing 2006, 2006. [ .pdf ]
@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}
}

[ 8 ]
M. Moreno Maza, É. Schost, and W. Zhou. Primary decomposition of zero-dimensional ideals: Putting monico's algorithm into practice. In Proc. of Transgressive Computing 2006, 2006. [ .pdf ]
@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}
}



[ 2005 ]


[ 7 ]
Dahan, Xavier, Moreno Maza, Marc, Schost, Eric, Wu, Wenyuan, and Xie, Yuzhen. Lifting techniques for triangular decompositions. In ISSAC'05, pages 108-115. ACM, New York, 2005. [ http ]
@incollection{MR2280536,
 author = {Dahan, Xavier and Moreno Maza, Marc and Schost, Eric and Wu, Wenyuan and Xie, Yuzhen},
 booktitle = {I{SSAC}'05},
 doi = {10.1145/1073884.1073901},
 pages = {108--115},
 publisher = {ACM, New York},
 title = {Lifting techniques for triangular decompositions},
 url = {http://dx.doi.org/10.1145/1073884.1073901},
 year = {2005}
}



[ 2004 ]




[ 2003 ]




[ 2002 ]


[ 6 ]
Mikhail V. Foursov and Marc Moreno Maza. On computer-assisted classification of coupled integrable equations. J. Symb. Comput., 33:647-660, 2002. [ http ]
@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 = {http://dx.doi.org/10.1006/jsco.2002.0527},
 volume = {33},
 year = {2002}
}

[ 5 ]
Irina A. Kogan and Marc Moreno Maza. Computation of canonical forms for ternary cubics. In Teo Mora, editor, Symbolic and Algebraic Computation, International Symposium ISSAC 2002, Lille, France, July 7-10, 2002, Proceedings, pages 151-160. ACM, 2002. [ http ]
@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 = {http://doi.acm.org/10.1145/780506.780526},
 year = {2002}
}



[ 2001 ]


[ 4 ]
François Boulier, François Lemaire, and Marc Moreno Maza. Pardi! In Erich Kaltofen and Gilles Villard, editors, 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, pages 38-47. ACM, 2001. [ http ]
@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 = {http://doi.acm.org/10.1145/384101.384108},
 year = {2001}
}

[ 3 ]
Mikhail V. Foursov and Marc Moreno Maza. On computer-assisted classification of coupled integrable equations. In Erich Kaltofen and Gilles Villard, editors, 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, pages 129-136. ACM, 2001. [ http ]
@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 = {http://doi.acm.org/10.1145/384101.384120},
 year = {2001}
}



[ 2000 ]




[ 1999 ]


[ 2 ]
Philippe Aubry, Daniel Lazard, and Marc Moreno Maza. On the theories of triangular sets. J. Symb. Comput., 28:105-124, 1999. [ http ]
@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 = {http://dx.doi.org/10.1006/jsco.1999.0269},
 volume = {28},
 year = {1999}
}

[ 1 ]
Philippe Aubry and Marc Moreno Maza. Triangular sets for solving polynomial systems: a comparative implementation of four methods. J. Symb. Comput., 28:125-154, 1999. [ http ]
@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 = {http://dx.doi.org/10.1006/jsco.1999.0270},
 volume = {28},
 year = {1999}
}



[ 1998 ]




[ 1997 ]