Home Research Books and Papers Software Posters Talks Teaching Students Scholarly Activities

List of Books and Papers

• On the extended Hensel construction and its application to the computation of real limit points.
  Parisa Alvandi, Massoud Ataei, Mahsa Kazemi, Marc Moreno Maza.
  J. of Symbolic Computation, vol. 98, p. 120-162, 2020.
  PDF   BibTex
• Comprehensive LU factors of polynomial matrices.
  A.C. Camargos Couto, M. Moreno Maza, D. Linder, D.J. Jeffrey, R. M. Corles
  To appear in the Proceedings of Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2019. Lecture Notes in Computer Science, Springer, 9 pages.
  PDF   BibTex
• The Z_Polyhedra library in Maple.
  Rui-Juan Jing and Marc Moreno Maza.
  To appear in the Proceedings of the Maple Conference 2019. Lectures Notes in Computer Science, Springer, 13 pages.
  PDF   BibTex
• Detecting Singularities Using the PowerSeries Library
  Mahsa Kazemi and Marc Moreno Maza.
  To appear in the Proceedings of the Maple Conference 2019. Lectures Notes in Computer Science, Springer, 13 pages.
  PDF   BibTex
• Divergence Prior and Vessel-Tree Reconstruction.
  Zhongwen Zhang, Dmitrii Marin, Egor Chesakov, Marc Moreno Maza, Maria Drangova, Yuri Boykov.
  The IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 2019, pp. 10216-10224.
  PDF   BibTex
• Big Prime Field FFT on Multi-core Processors.
  Svyatoslav Covanov, Davood Mohajerani, Marc Moreno Maza, Lin-Xiao Wang.
  In Proceedings of ISSAC 2019. ACM Press, 106--113, 2019.
  PDF   BibTex
• A Short Contribution to the Theory of Regular Chains.
  Francois Boulier, Francois Lemaire, Marc Moreno Maza, Adrien Poteaux.
  Submitted to Mathematics in Computer Science. Vol. 93, p. 34--55, 2019.
  PDF   BibTex
• An equivalence theorem for regular differential chains.
  Francois Boulier, Francois Lemaire, Marc Moreno Maza, Adrien Poteaux.
  J. of Symbolic Computation. Vol. 93, p. 34--55, 2019.
  PDF   BibTex
• On the Parallelization of Triangular Decomposition of Polynomial Systems
  Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza, Yuzhen Xie
  CoRR arXiv:1906.0003
  PDF   BibTex
• Algorithms and Data Structures for Sparse Polynomial Arithmetic.
  Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, and Marc Moreno Maza.
  Mathematics 7(5), p. 1-29, 2019.
  PDF   BibTex
• Comprehensive Rank Computation for Matrices Depending on Parameters.
  R. M.~Corless, M. Moreno Maza, S. E. Thornton.
  To appear in ACM Commun. Comput. Algebra.
  See Chapter 2 in PDF   BibTex
• A Technique for Finding Optimal Program Launch Parameters Targeting Manycore Accelerators.
  Alexander Brandt, Davood Mohajerani, Marc Moreno Maza, Jeeva Paudel, Lin-Xiao Wang
  CoRR. arXiv:1906.00142
  PDF   BibTex
• Complexity Estimates for Fourier-Motzkin Elimination.
  Rui-Juan Jing, Marc Moreno-Maza, Delaram Talaashrafi.
  CoRR. arXiv:1811.01510
  PDF   BibTex
• Sparse Polynomial Arithmetic with the BPAS Library
  Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, and Marc Moreno Maza.
  Proceedings of Computer Algebra in Scientific Computing (CASC) Lecture Notes in Computer Science, volume 11077, Springer, pp. 32--50, 2018.
  PDF   BibTex
• Comprehensive Optimization of Parametric Kernels for Graphics Processing Units
  Xiaohui Chen, Marc Moreno-Maza, Jeeva Paudel, Ning Xie
  CoRR arXiv:1801.0434, 2018.
  PDF   BibTex
• Computing the Integer Points of a Polyhedron, I: Algorithm
  Rui-Juan Jing, Marc Moreno Maza.
  Proceedings of Computer Algebra in Scientific Computing 2017. Lecture Notes in Computer Science, volume 10490, Springer, pages 225-241.
  PDF   BibTex
• Computing the Integer Points of a Polyhedron, II: Complexity Estimates
  Rui-Juan Jing, Marc Moreno Maza.
  Proceedings of Computer Algebra in Scientific Computing 2017. Lecture Notes in Computer Science, volume 10490, Springer, pages 242-256.
  PDF   BibTex
• Computing the Integer Points of a Polyhedron (Extended Abstract).
  Rui-Juan Jing, Marc Moreno Maza.
  Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation (SC^2) co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017). CEUR Workshop Proceedings, volume 1974, 2017.
  PDF   BibTex
• The Z-Polyhedra library in Maple.
  R.J.~Jing, M. Moreno Maza.
  ACM Commun. Comput. Algebra. Volume 51 Issue 3, Pages 86-88, 2017.
  PDF   BibTex
• Symbolic-Numeric Integration of Rational Functions
  Robert M. Corless, Robert H.C. Moir, Marc Moreno Maza, Ning Xie.
  J. of Numerical Algorithms. Pages 1-26, 2019.
  PDF   BibTex
• Jordan Canonical Form with Parameters From Frobenius Form with Parameters
  Robert M. Corless, Steven E,. Thornton, Marc Moreno Maza.
  Proceedings of the Seventh Internationa Conference on Mathematical Aspects of Computer Science and Information Sciences (MACIS 2017). Volume 10693 of the Lecture Notes in Computer Science series, Springer-Verlag, 19 pages, 2017.
  PDF   BibTex
• On the Extended Hensel Construction and its Application to the Computation of Limit Points
  Parisa Alvandi, Masoud Ataei, Marc Moreno Maza.
  ISSAC '17 Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation. Pages 13-20, ACM New York, NY, USA.
  PDF   BibTex
• Big Prime Field FFT on the GPU
  Liangyu Chen, Svyatoslav Covanov, Davood Mohajerani, Marc Moreno Maza.
  ISSAC '17 Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation. Pages 85-92, ACM New York, NY, USA.
  PDF   BibTex
• Plain, and Somehow Sparse, Univariate Polynomial Division on Graphics Processing Units.
  Sardar Anisul Haque, Amir Hashemi, Davood Mohajerani and Marc Moreno Maza.
  Proceedings of the 6th International Workshop on Parallel and Symbolic Computation (PASCO'17)}. ACM Press, 2010, pp. 10:1--10:10, 2017.
  PDF   BibTex
• Multithreaded programming on the GPU: pointers and hints for the computer algebraist
  Marc Moreno Maza.
  Proceedings of the 6th International Workshop on Parallel and Symbolic Computation (PASCO'17)}. ACM Press, 2010, pp. 3:1--3:1, 2017.
  PDF   BibTex
• Parallel Integer Polynomial Multiplication
  Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie.
  International Symposium on Symbolic and Numeric Algorithms for Scientific Computing {SYNASC} Pages 72-80, IEEE Society, 2016.
  PDF   BibTex
• Computing Limits of Real Multivariate Rational Functions
  Parisa Alvandi, Mahsa Kazemi, Marc Moreno Maza.
  ISSAC '16 Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation Pages 39-46, ACM New York, NY, USA.
  PDF   BibTex
• Computing limits with the regularchains and powerseries libraries: from rational functions to Zariski closure (software demo abstract)
  Parisa Alvandi, Mahsa Kazemi, Marc Moreno Maza.
  ACM Communications in Computer Algebra. Volume 50 Issue 3, September 2016 Pages 93-96 ACM New York, NY, USA.
  PDF   BibTex
• Basic Polynomial Algebra Subprograms (software demo abstract)
  Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Robert H. C. Moir, Marc Moreno Maza, Ning Xie, Yuzhen Xie
  ACM Communications in Computer Algebra. Volume 48 Issue 3/4, September/December 2014 Pages 197-201 ACM New York, NY, USA.
  PDF   BibTex
• Quantifier Elimination by Cylindrical Algebraic Decomposition Based on Regular Chains
  Changbo Chen, Marc Moreno Maza.
  Journal of Symbolic Computation, 75: 74-93 (20), 2016.
  PDF   BibTex
• MetaFork: A Compilation Framework for Concurrency Models Targeting Hardware Accelerators and Its Application to the Generation of Parametric CUDA Kernels
  Changbo Chen, Xiaohui Chen, Abdoul-Kader Keita, Marc Moreno Maza, Ning Xie.
  Proceedings of 25th Annual International Conference on Computer Science and Software Engineering, {CASCON} 2015, Markham, Ontario, Canada, 2-4 November, 2015. Published by IBM and the ACN, p. 70--79.
  PDF   BibTex
• Regular Chains under Linear Changes of Coordinates and Applications
  Parisa Alvandi, Changbo Chen, Amir Hashemi, Marc Moreno Maza.
  Proceedings of Computer Algebra in Scientific Computing 2015 - Lecture Notes in Computer Science, volume 9301, Springer, pages 30-44.
  PDF   BibTex
• A Standard Basis Free Algorithm for Computing the Tangent Cones of a Space Curve
  Parisa Alvandi, Marc Moreno Maza, Eric Schost, Paul Vrbik.
  Proceedings of Computer Algebra in Scientific Computing 2015 - Lecture Notes in Computer Science, volume 9301, Springer, pages 45-60.
  PDF   BibTex
• Simplification of Cylindrical Algebraic Formulas
  Changbo Chen, Marc Moreno Maza.
  Proceedings of Computer Algebra in Scientific Computing 2015 - Lecture Notes in Computer Science, volume 9301, Springer, pages 119-134.
  PDF   BibTex
• A Many-Core Machine Model for Designing Algorithms with Minimum Parallelism Overheads
  Sardar Anisul Haque, Marc Moreno Maza, Ning Xie.
  Proceedings of the International Conference on Parallel Computing 2015, p. 35-44, Published by IOS Press.
  PDF   BibTex
• Zigzag Form over Families of Parametric Matrices
  Robert M. Corless, Marc Moreno Maza, Steven E. Thornton.
  ACM Communications in Computer Algebra archive Volume 48 Issue 3/4, September/December 2014 Pages 109-112 ACM New York, NY, USA.
  PDF   BibTex
• Real Quantifier Elimination in the RegularChains Library
  Changbo Chen, Marc Moreno Maza.
  Proceedings of ICMS 2014 - 4th International Congress of Mathematical Software, Seoul, South Korea, Lecture Notes in Computer Science, volume 8592, pages 283-290.
  PDF   BibTex
• Cylindrical Algebraic Decomposition in the RegularChains Library
  Changbo Chen, Marc Moreno Maza.
  Proceedings of ICMS 2014 - 4th International Congres of Mathematical Softwares, Seoul, South Korea, Lecture Notes in Computer Science, volume 8592, pages 425-433.
  PDF   BibTex
• Doing Algebraic Geometry with the RegularChains Library
  Parisa Alvandi, Changbo Chen, Steffen Marcus, Marc Moreno Maza, Éric Schost, Paul Vrbik.
  Proceedings of ICMS 2014 - 4th International Congress of Mathematical Softwares, Seoul, South Korea, Lecture Notes in Computer Science, volume 8592, pages 472-479.
  PDF   BibTex
• Solving Parametric Polynomial Systems by RealComprehensiveTriangularize
  Changbo Chen, Marc Moreno Maza.
  Proceedings of ICMS 2014 - 4th International Congress of Mathematical Softwares, Seoul, South Korea, Lecture Notes in Computer Science, volume 8592, pages 504-511.
  PDF   BibTex
• The Basic Polynomial Algebra Subprograms
  Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie.
  Proceedings of ICMS 2014 - 4th International Congress of Mathematical Softwares, Seoul, South Korea, Lecture Notes in Computer Science, volume 8592, pages 669-676.
  PDF   BibTex
• Dense Arithmetic over Finite Fields with the CUMODP Library
  Sardar Anisul Haque, Xin Li, Farnam Mansouri, Marc Moreno Maza, Wei Pan, Ning Xie.
  Proceedings of ICMS 2014 - 4th International Congress of Mathematical Softwares, Seoul, South Korea, Lecture Notes in Computer Science, volume 8592, pages 725-732.
  PDF   BibTex
• Quantifier Elimination by Cylindrical Algebraic Decomposition Based on Regular Chains
  Changbo Chen, Marc Moreno Maza.
  Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, ACM, pages 91-98.
  PDF   BibTex
• Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
  Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson. Proceedings of Computer Algebra in Scientific Computing - Lecture Notes in Computer Science, volume 8660, Springer, pages 44-59.
  PDF   BibTex
• Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
  Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson.
  Proceedings of Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7, Lecture Notes in Computer Science, volume 8543, Springer, pages 45-60.
  PDF   BibTex
• On the Parallelization of Subproduct Tree Techniques Targeting Many-Core Architectures
  Sardar Anisul Haque, Farnam Mansouri, Marc Moreno Maza.
  Proceedings of Computer Algebra in Scientific Computing - Lecture Notes in Computer Science, volume 8660, Springer, pages 171-185.
  PDF   BibTex
• MetaFork: A Framework for Concurrency Platforms Targeting Multicores
  Xiaohui Chen, M. Moreno Maza, Sushek Shekar and Priya Unnikrishnan.
  Proceedings of the International Workshop on OpenMP (IWOMP), volume 8766 of Lecture Notes in Computer, Springer, p. 30-44, 2014. Science
  PDF  
• Computing the Supremum of the Real Roots of a Parametric Univariate Polynomial
  Changbo Chen, Marc Moreno Maza, Yuzhen Xie.
  Proceedings of the Fifth Internationa Conference on Mathematical Aspects of Computer Science and Information Sciences (MACIS 2013), Edited by Tomas Sturm, 10 pages, 2013.
  PDF   BibTex
• An application of regular chain theory to the study of limit cycles
  Changbo Chen, Robert M. Corless, Marc Moreno Maza, Pei Yu, Yiming Zhang.
  International Journal of Bifurcation and Chaos, volume 23, number 9, 2013.
  PDF   BibTex
• Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One
  Parisa Alvandi, Changbo Chen, Marc Moreno Maza.
  Proceedings of Computer Algebra in Scientific Computing - 15th International Workshop, CASC 2013, Berlin, Germany, Lecture Notes in Computer Science, volume 8136, Springer-Verlag, pages 30-45.
  PDF   BibTex
• Triangular decomposition of semi-algebraic systems
  Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao.
  Journal of Symbolic Computation. 49: 3-26, 2013.
  PDF   BibTex
• Computing with semi-algebraic sets: Relaxation techniques and effective boundaries
  Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao.
  Journal of Symbolic Computation. 52: 72-96, 2013.
  PDF   BibTex
• On Fulton's Algorithm for Computing Intersection Multiplicities
  Steffen Marcus, Marc Moreno Maza, Paul Vrbik.
  Proceedings of Computer Algebra in Scientific Computing (CASC 2012), Springer Verlag, LNCS 6885, pages 198-211, 2012.
  PDF   BibTex
• Inversion Modulo Zero-Dimensional Regular Chains
  Marc Moreno Maza, Éric Schost, Paul Vrbik.
  Proceedings of Computer Algebra in Scientific Computing (CASC 2012), Springer Verlag, LNCS 6885, pages 224-235, 2012.
  PDF   BibTex
• Generating Program Invariants via Interpolation
  Marc Moreno Maza, Rong Xiao.
  CoRR, abs/1201.5086, 2012.
  PDF   BibTex
• Degree and dimension estimates for invariant ideals of P-solvable recurrences
  Marc Moreno Maza, Rong Xiao.
  Proc. of the 2012 Asian Symposium of Computer Mathematics (ASCM), Springer, pages 349-373, 2012.
  PDF   BibTex
• An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
  Changbo Chen, Marc Moreno Maza
  Proc. of the 2012 Asian Symposium of Computer Mathematics (ASCM), Springer, p. 199-221, 2012.
  PDF   BibTex
• Plain polynomial arithmetic on GPU
  Sardar Anisul Haque and Marc Moreno Maza.
  High Performance Computing Symposium (HPCS2012). J. of Physics: Conference Series, 385, 10 pages, 2012.
  PDF   BibTex
• On the Factor Refinement Principle and its Implementation on Multicore Architectures
  Moshin Md. Ali and Marc Moreno Maza, Yuzhen Xie.
  High Performance Computing Symposium (HPCS2012). J. of Physics: Conference Series, 385, 10 pages, 2012.
  PDF   BibTex
• On solving parametric polynomial systems
  Marc Moreno Maza, Bican Xia, Rong Xiao.
  J. of Mathematics in Computer Science. 5(4):457-473 (2012).
  PDF   BibTex
• Algorithms for computing triangular decompositions of polynomial systems
  Changbo Chen and M. Moreno Maza.
  Journal of Symbolic Computation, 47(6): 610-642 (2012).
  PDF   BibTex
• Solving Bivariate Polynomial Systems on a GPU
  Marc Moreno Maza and Wei Pan.
  High Performance Computing Symposium (HPCS2011). J. of Physics: Conference Series, vol. 341, 2011.
  PDF   BibTex
• Determinant Computation on the GPU using the Condensation Method
  Sardar Anisul Haque and Marc Moreno Maza.
  High Performance Computing Symposium (HPCS2010). J. of Physics: Conference Series, vol. 341, 2011.
  PDF   BibTex
• Cache Complexity and Multicore Implementation for Univariate Real Root Isolation
  Changbo Chen, Marc Moreno Maza and Yuzhen Xie.
  High Performance Computing Symposium (HPCS2010). J. of Physics: Conference Series, vol. 341, 2011.
  PDF   BibTex
• Solving semi-algebraic systems with the RegularChains library in Maple
  Changbo Chen, James H. Davenport, Francois Lemaire, Marc Moreno Maza, Nalina Phisanbut, Bican Xia, Rong Xiao, Yuzhen Xie.
  Proceedings of the Fourth Internationa Conference on Mathematical Aspects of Computer Science and Information Sciences (MACIS 2011), Edited by Stefan Raschau, pp. 38--51, 2011.
  PDF   BibTex
• On solving parametric polynomial systems
  Marc Moreno Maza, Bican Xia, Rong Xiao.
  Proceedings of the Fourth Internationa Conference on Mathematical Aspects of Computer Science and Information Sciences (MACIS 2011), Edited by Stefan Raschau, pp. 205--215, 2011.
  PDF   BibTex
• Computing with semi-algebraic sets represented by triangular decomposition
  Changbo Chen, James H. Davenport, M. Moreno Maza, Bican Xia, Rong Xiao.
  Proceedings of 2011 International Symposium on Symbolic and Algebraic Computation (ISSAC 2011), ACM Press, pp. 75--82, 2011.
  PDF   BibTex
• Algorithms for computing triangular decompositions of polynomial systems
  Changbo Chen and M. Moreno Maza.
  Proceedings of 2011 International Symposium on Symbolic and Algebraic Computation (ISSAC 2011), ACM Press, pp. 83--90, 2011.
  PDF   BibTex
• Semi-algebraic description of the equilibria of dynamical systems
  Changbo Chen and M. Moreno Maza.
  Proceedings of 2011 Computer Algebra in Scientific Computing (CASC 2011), Springer Verlag, LNCS 6885, pages 101-125, 2011.
  PDF   BibTex
• Proceedings of the 4th International Workshop on Symbolic-Numeric Computation (SNC'11).
  M. Moreno Maza, Editor.
  ISBN: 978-1-4503-0515-0. ACM Press, 204 pages, New York, NY, USA, 2011.
  PDF   BibTex
• The Modpn Library: Bringing Fast Polynomial Arithmetic into Maple
  X. Li, M. Moreno Maza, R. Rasheed and É. Schost.
  J. of Symbolic Computation, 46(7): 841-858, 2011.
  PDF   BibTex
• Balanced Dense Polynomial Multiplication on Multi-cores
  M. Moreno Maza and Yuzhen Xie.
  International Journal of Foundations of Computer Science. 22(5): 1035-1055, 2011.
  PDF   BibTex
• When does 〈T〉 Equal sat(T)?
  F. Lemaire, M. Moreno Maza, W. Pan and Y. Xie.
  Journal of Symbolic Computation, 46(12): 1291-1305, 2011.
  PDF   BibTex
• Fast polynomial multiplication on a GPU
  M. Moreno Maza and Wei Pan.
  High Performance Computing Symposium (HPCS2010) in Journal of Physics: Conference Series 256 (2010) 012009
  PDF   BibTex
• Proceedings of the 4th International Workshop on Parallel and Symbolic Computation (PASCO'10).
  M. Moreno Maza and Jean-Louis Roch, Editors.
  ISBN: 978-1-4503-0067-4. ACM Press, 192 pages, New York, NY, USA, 2010.
  PDF   BibTex
• Triangular decomposition of semi-algebraic systems
  Changbo Chen, James H. Davenport, John P. May, M. Moreno Maza, Bican Xia, Rong Xiao.
  Proceedings of 2010 International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), ACM Press, pp. 187--194, 2010.
  PDF   BibTex
• Parallel computation of the minimal elements of a poset
  Charles E. Leiserson, Liyun Li, M. Moreno Maza, and Yuzhen Xie.
  Proceedings of the 4th International Workshop on Parallel and Symbolic Computation (PASCO'10), ACM Press, 2010, pp. 53--62.
  PDF   BibTex
• Efficient Evaluation of Large Polynomials
  Charles E. Leiserson, Liyun Li, M. Moreno Maza, and Yuzhen Xie.
  Proceedings of the International Congress of Mathematical Software (ICMS 2010), LNCS 6327, Springer, 2010.
  PDF   BibTex
• Cache friendly sparse matrix-vector multiplication
  Sardar Anisul Haque, Shahadat Hossain and M. Moreno Maza.
  Proceedings of the 4th International Workshop on Parallel and Symbolic Computation (PASCO'10), ACM Press, 2010, pp. 175-176.
  PDF   BibTex
• SPIRAL-generated modular FFT algorithms
  Lingchua Meng, Yevgen Voronenko, Jeremy R. Johnson, M. Moreno Maza, Franz Franchetti and Yuzhen Xie.
  Proceedings of 4th International Workshop on Parallel and Symbolic Computation (PASCO'10), ACM Press, 2010, pp. 169-170.
  PDF   BibTex
• GCD Computations Modulo Regular Chains
  X. Li, M. Moreno Maza, W. Pan.
  Submitted to the Journal of Symbolic Computation.
  PDF   BibTex
• Balanced Dense Polynomial Multiplication on Multi-cores
  M. Moreno Maza and Y. Xie.
  Proceedings of Parallel and Distributed Computing, Applications and Technologies (PDCAT) , 9 pages, 2009
  PDF  BibTex
• Multicore-enabling Dense Polynomial Multiplication
  M. Moreno Maza and Y. Xie.
  Intel, Developer Zone , 2009
  HTML  BibTex
• Computations Modulo Regular Chains
  X. Li, M. Moreno Maza, W. Pan.
  Proceedings of ISSAC 2009, pages 239-246, ACM Press, New York, 2009
  PDF   BibTex
• Computing Cylindrical Algebraic Decomposition via Triangular Decomposition
  C. Chen, M. Moreno Maza, B. Xia, L. Yang.
  Proceedings of ISSAC 2009, pages 95-102, ACM Press, New York, 2009
  PDF   BibTex
• Computing Differential Characteristic Sets by Change of Ordering
  F. Boulier, F. Lemaire and M. Moreno Maza.
  Journal of Symbolic Computation Volume 45, Issue 1, Pages: 124-149, Janvier 2010.
  PDF   BibTex
• Fast Arithmetic for Triangular Sets: from Theory to Practice
  X. Li, M. Moreno Maza and É Schost.
  Journal of Symbolic Computation, 44(7): 891-907, 2009
  PDF   BibTex
• User Interface Design for Geometrical Decomposition Algorithms in Maple
  C. Chen, J. H. Davenport, J. May, M. Moreno Maza, B. Xia, R. Xiao and Y. Xie.
  Proceedings of Mathematical User-Interface, 12 pages, 2009
  PDF   BibTex
• FFT-based Dense Polynomial Arithmetic on Multi-cores
  M. Moreno Maza and Y. Xie.
  In High Performance Computing Systems and Applications. 23rd International Symposium HPCS 2009, Revised Selected Papers.
  LNCS 5976, Springer, pp 378-399, 2009.
  PDF   BibTex
• Real Root Isolation of Regular Chains
  F. Boulier, C. Chen, F.Lemaire and M. Moreno Maza.
  In Proceedings of the 2009 Asian Symposium on Computer Mathematics (ASCM 2009) Math-for-Industry, pp 15-29, 2009.
  PDF and PDF (updated 2013, for post-conference proceedings to appear)   BibTex
• Computing with Constructible Sets in Maple
  C. Chen, F. Lemaire, L. Liyun, M. Moreno Maza, W. Pan and Y. Xie.
  Submitted to J. of Symbolic Computation, 2009
  PDF   BibTex
• Multicore-enabling Dense Polynomial Multiplication
  M. Moreno Maza and Y. Xie.
  Multicore Programming Blog, Cilk Arts, 2009
  Blog   BibTex
• Change of Ordering for Regular Chains in Positive Dimension
  X. Dahan, X. Jin, M. Moreno Maza and É Schost.
  Theoretical Computer Science, 392 (2008): 37­65, 2008
  PDF   BibTex
• A Bound for the Rosenfeld-Gröbner Algorithm
  O. Golubitsky, M. Kondratieva, M. Moreno Maza and A. Ovchinnikov
  Journal of Symbolic Computation, 43(8): 582-610, 2008
  PDF   BibTex
• On the Verification of Polynomial System Solvers
  C. Chen, M. Moreno Maza, W. Pan and Y. Xie
  Frontiers of Computer Science in China, Vol 2, Numb 1, pages 55-66, 2008
  PDF   BibTex
• When does 〈T〉 Equal sat(T)?
  F. Lemaire, M. Moreno Maza, W. Pan and Y. Xie
  Proceedings of ISSAC 2008, pages 207-214, ACM Press, New York, NY, USA, 2008
  PDF   BibTex
• The Complete Root Classification of a Parametric Polynomial on an Interval
  S. Liang, D.J. Jeffrey, M. Moreno Maza
  Proceedings of ISSAC 2008, pages 189-196, ACM Press, New York, 2008
  PDF   BibTex
• On the Representation of Constructible Sets
  C. Chen, L. Li, M. Moreno Maza, W. Pan and Y. Xie
  Proceedings of Milestones in Computer Algebra 2008, pages 103-108, Trinidad and Tobago, 2008
  PDF   BibTex
• The ConstructibleSetTools and ParametricSystemsTools Modules of the RegularChains Library in Maple
  C. Chen, F. Lemaire, L. Liyun, M. Moreno Maza, W. Pan and Y. Xie
  Proceedings of the International Conference on Computational Science and Applications, IEEE Computer Society, pages 342-352, 2008
  PDF   BibTex
• The Modpn Library: Bringing Fast Polynomial Arithmetic into Maple
  X. Li, M. Moreno Maza, R. Rasheed and É. Schost
  Proceedings of Milestones in Computer Algebra 2008, pages 73-80, Trinidad and Tobago, 2008
  PDF   BibTex
• High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted Programming Environment
  X. Li, M. Moreno Maza, R. Rasheed and É. Schost
  Proceedings of International Conference on Computational Sciences and Its Applications, pages 331-341. IEEE Computer Society, 2008
  PDF   BibTex
• MICA '08: Proceedings of Milestones in Computer Algebra 2008: A Conference in Honour of Keith Geddes' 60th Birthday
  edited by M. Moreno Maza and S. M. Watt
  ISBN 978-0-7714-2682-7, Trinidad and Tobago, 217 pages, 2008
  PDF   BibTex
• On Approximate Triangular Decompositions in Dimension Zero
  M. Moreno Maza, G. Reid, R. Scott and W. Wu
  Journal of Symbolic Computation, 42(7):693-716, 2007
  PDF   BibTex
• On Approximate Linearized Triangular Decompositions
  M. Moreno Maza, G. Reid, R. Scott and W. Wu
  book chapter of Advances on Symbolic-Numeric Computation, edited by D. M. Wang and L. Zhi, p. 268-287, Springer, 2007
  PDF   BibTex
• Fast Arithmetic for Triangular Sets: From Theory to Practice
  X. Li, M. Moreno Maza and É. Schost
  Proceedings of ISSAC 2007, pages 269-276, ACM Press, New York, NY, USA, 2007
  PDF   BibTex
• Component-level Parallelization of Triangular Decompositions
  M. Moreno Maza and Y. Xie
  Proceedings of Parallel Symbolic Computation'07, pages 69-77, ACM Press, New York, NY, USA, 2007
  PDF   BibTex
• Multiprocessed Parallelism Support in Aldor on SMPs and Multicores
  M. Moreno Maza, B. Stephenson, Y. Xie and S.M. Watt
  Proceedings of Parallel Symbolic Computation'07, pages 60-68, ACM Press, New York, NY, USA, 2007
  PDF   BibTex
• Multithreaded Parallel Implementation of Arithmetic Operations modulo a Triangular Set
  X. Li and M. Moreno Maza
  Proceedings of Parallel Symbolic Computation'07, pages 53-59, ACM Press, New York, NY, USA, 2007
  PDF   BibTex
• Comprehensive Triangular Decomposition
  C. Chen, F. Lemaire, O. Golubitsky, M. Moreno Maza and W. Pan
  Proceedings of CASC 2007: Computer Algebra in Scientific Computing, pages 73-101, Lecture Notes in Computer Science, vol. 4770, Springer-Verlag, 2007
  PDF   BibTex
• Generic Programming Techniques in ALDOR
  M. Bronstein, M. Moreno Maza and S.M. Watt
  Proceedings of the Fifth Asian Workshop on Foundations of Software, pages 72-77, University of Xiamen, China, 2007
  PDF   BibTex
• On the Verification of Polynomial System Solvers
  C. Chen, M. Moreno Maza, W. Pan and Y. Xie
  Proceedings of the Fifth Asian Workshop on Foundations of Software, pages 116-144, University of Xiamen, China, 2007
  PDF   BibTex
• On the Virtues of Generic Programming for Symbolic Computation
  X. Li, M. Moreno Maza and É Schost
  Proceedings of Computer Algebra Systems and Their Applications'07, Y. Shi et al. (Eds.): ICCS 2007, Part II, LNCS 4488, pp. 251­258, Springer-Verlag Berlin Heidelberg 2007
  PDF   BibTex
• Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library
  C. Chen, F. Lemaire, M. Moreno Maza, W. Pan and Y. Xie
  Proceedings of Computer Algebra Systems and Their Applications'07, Y. Shi et al. (Eds.): ICCS 2007, Part II, LNCS 4488, pp. 268­271, Springer-Verlag Berlin Heidelberg 2007
  PDF   BibTex
• PASCO '07: Proceedings of the 2007 international workshop on Parallel symbolic computation
  edited by M. Moreno Maza and S. M. Watt
  ISBN 978-1-59593-741-4, ACM Press, 107 pages, New York, NY, USA, 2007
  BibTex
• Tutorial: Triangular Decompositions of Polynomial Systems: from Theory to Practice
  M. Moreno Maza
  Proceedings of ISSAC'06, page 8, ACM Press, 2006
  Extended abstract in PDF   Slides in PDF   BibTex
• Implementation Techniques for Fast Polynomial Arithmetic in a High-level Programming Environment
  A. Filatei, X. Li, M. Moreno Maza and É Schost
  Proceedings of ISSAC'06, pages 93-100, ACM Press, 2006
  PDF   BibTex
• Brief Announcement: An Implementation Report for Parallel Triangular Decompositions
  Moreno Maza, M. and Xie, Y
  Proceedings of 19th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), page 235, ACM Press, 2006
  PDF   BibTex
• Change of Ordering for Regular Chains in Positive Dimension
  X. Dahan, X. Jin, M. Moreno Maza and É Schost
  Proceedings of Algebraic Geometry and Geometric Modelling'06, pages 49-53, Universidad de Barcelona, 2006
  PDF   BibTex
• Parallelization of Triangular Decompositions
  M. Moreno Maza and Y. Xie
  Proceedings of Algebraic Geometry and Geometric Modelling'06, pages 96-100, Universidad de Barcelona, 2006
  PDF   BibTex
• Efficient Implementation of Polynomial Arithmetic in a Multiple-level Programming Environment
  X. Li and M. Moreno Maza
  Proceedings of International Congress of Mathematical Software - ICMS 2006, pages 12-23, Springer, 2006
  PDF   BibTex
• Bounds and Algebraic Algorithms in Differential Algebra: the Ordinary Case
  O. Golubitsky, M. Kondratieva, M. Moreno Maza and A. Ovchinnikov
  Proceedings of the 9th Intern. Conf. on Intelligent Systems and Computer Science'06, pages 7-11, Faculty of Mechanics and Mathematics, Moscow State University, 2006
  PDF   BibTex
• Change of Ordering for Regular Chains in Positive Dimension
  X. Dahan, X. Jin, M. Moreno Maza and É Schost
  Proceedings of Maple Conference 2006, pages 26-24, Maplesoft, 2006
  PDF   BibTex
• Well Known Theorems on Triangular Systems and the D5 Principle
  F. Boulier, F. Lemaire and M. Moreno Maza
  Proceedings of Transgressive Computing 2006, J.-G. Dumas et al., editors, Granada, Spain, 2006
  PDF   BibTex
• On the Complexity of the D5 Principle
  X. Dahan, M. Moreno Maza, É. Schost, and Y. Xie
  Proceedings of Transgressive Computing 2006, J.-G. Dumas et al., editors, Granada, Spain, 2006
  PDF   BibTex
• Primary Decomposition of Zero-dimensional Ideals: Putting Monico's Algorithm into Practice
  M. Moreno Maza, É. Schost, and W. Zhou
  Proceedings of Transgressive Computing 2006, J.-G. Dumas et al., editors, Granada, Spain, 2006
  PDF   BibTex
• Making a Sophisticated Symbolic Solver Available to Different Communities of Users
  F. Lemaire, M. Moreno Maza and Y. Xie
  Proceedings of Asian Technology Conference in Mathematics'06, Polytechnic University of Hong Kong, 2006
  PDF   BibTex
• On Approximate Triangular Decompsoitions I. Dimension Zero
  M. Moreno Maza and G. Reid and R. Scott and W. Wu
  Proceedings of Symbolic-Numeric Computation'05, D. M. Wang and L. Zhi editors, Xi'an, China, 2005
  PDF   BibTex
• On Approximate Triangular Decompositions II. Linear Systems
  M. Moreno Maza and G. Reid and R. Scott and W. Wu
  Proceedings of Symbolic-Numeric Computation'05, D. M. Wang and L. Zhi editors, Xi'an, China, 2005
  PDF   BibTex
• Lifting Techniques for Triangular Decompositions
  X. Dahan, M. Moreno Maza, É. Schost, W. Wu and Y. Xie
  Proceedings of ISSAC'05, Beijing, China, ACM Press, 2005
  Distinguished Student Author Award
  PDF   BibTex
• The RegularChains Library in Maple 10
  F. Lemaire and M. Moreno Maza and Y. Xie
  Proceedings of Maple Summer Conference'05, Ilias S. Kotsireas editor, Waterloo, Canada, 2005
  PDF   BibTex
• A New Henselian Construction and its Application to Polynomial GCDs over Direct Products of Fields
  F. Boulier, M. Moreno Maza and C.Oancea
  Proceedings of EACA'04, Universidad de Santander, Spain, 2004
  PS   BibTex
• Debugging Aldor via a Unified Runtime Environment
  J. Cai, M. Dunstan, M. Moreno Maza and S Watt
  Proceedings of EACA'04, Universidad de Santander, Spain, 2004
  PS   BibTex
• Debugging a High Level Language via a Unified Interpreter and Compiler Runtime Environment
  J. Cai, M. Dunstan, M. Moreno Maza and S Watt
  Proceedings of ACA'04, University of Texas at Beaumont, USA, 2004
  PS   BibTex
• Equiprojectable Decompositions of Zero-dimensional Varieties
  X. Dahan, M. Moreno Maza, É. Schost, W. Wu and Y. Xie
  Proceedings of International Conference on Poynomial System Solving, University of Paris 6, France, 2004
  PDF   BibTex
• On Computer-assisted Classification of Coupled Integrable Equations
  M.V. Foursov and M. Moreno Maza
  Journal of Symbolic Computation, 33(1):647-660, 2002
  PDF   BibTex
• Computation of Canonical Forms for Ternary Cubics
  I. Kogan and M. Moreno Maza
  Proceedings of ISSAC 2002, pages 151-160, ACM Press, 2002
  PS   BibTex
• On Computer-assisted Classification of Coupled Integrable Equations
  M.V. Foursov and M. Moreno Maza
  Proceedings of ISSAC 2001, pages 129-136, ACM Press, 2001
  PS   BibTex
• PARDI !
  F. Boulier, F.Lemaire and M. Moreno Maza
  Proceedings of ISSAC 2001, pages 38-47, ACM Press, 2001
  PS   BibTex
• On the Relationship between the Kaup-Kupershmidt and Sawada-Kotera Equations
  M.V. Foursov and M. Moreno Maza
  Tech. Rep. LIFL 2001-04, Univ. of Lille 1, 2001
  PS   BibTex
• Well Known Theorems on Triangular Systems
  F. Boulier, F. Lemaire and M. Moreno Maza
  Tech. Rep. LIFL 2001-09, Univ. of Lille 1, 2001
  PS   BibTex
• PARDI !
  F. Boulier, F. Lemaire and M. Moreno Maza
  Tech. Rep. LIFL 2001-011, Univ. of Lille 1, 2001
  PDF   BibTex
• On Triangular Decompositions of Algebraic Varieties
  M. Moreno Maza
  Presented at the MEGA-2000 conference, Bath, UK, June 2000
  PS   BibTex
• On the Theories of Triangular Sets
  P. Aubry, D. Lazard, M. Moreno Maza
  Journal of Symbolic Computation, 28(1-2):105-124, 1999
  PDF   BibTex
• Triangular Sets for Solving Polynomial Systems: A Comparative Implementation of Four Methods
  P. Aubry and M. Moreno Maza
  Journal of Symbolic Computation, 28(1-2):125-154, 1999
  PDF   BibTex
• Calculs de Pgcd au-dessus des Tours d'Extensions Simples et Résolution des Systèmes d'Équations Algébriques
  M. Moreno Maza
  PhD Thesis, Universit'e Paris 6, France, 1997
  PS.GZ   BibTex
• Polynomial GCD Computations over Towers of Algebraic Extensions
  M. Moreno Maza and R. Rioboo
  Proceedings of AAECC-11, pages 365-382. Springer, 1995
  PS   BibTex
• 
  by
  Proceedings of
  PDF   BibTex