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

List of Books and Papers

• 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
• 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