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

List of Books and Papers

• Algorithms for computing triangular decompositions of polynomial systems
  by Changbo Chen and Marc Moreno Maza.
  To appear in the Journal of Symbolic Computation.
  PDF   BibTex
• Solving Bivariate Polynomial Systems on a GPU
  by Marc Moreno Maza and Wei Pan.
  High Performance Computing Symposium (HPCS2011). To appear the in the Journal of Physics: Conference Series.
  PDF   BibTex
• Determinant Computation on the GPU using the Condensation Method
  by Sardar Anisul Haque and Marc Moreno Maza.
  High Performance Computing Symposium (HPCS2010). To appear in the Journal of Physics: Conference Series.
  PDF   BibTex
• Cache Complexity and Multicore Implementation for Univariate Real Root Isolation
  by Changbo Chen, Marc Moreno Maza and Yuzhen Xie.
  High Performance Computing Symposium (HPCS2010). To appear in the Journal of Physics: Conference Series.
  PDF   BibTex
• Solving semi-algebraic systems with the RegularChains library in Maple
  by 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
  by 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
  by 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.
  by 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.
  by Changbo Chen and M. Moreno Maza.
  Proceedings of 2011 Computer Algebra in Scientific Computing (CASC 2011), Springer Verlag, LNCS 6885, 2011.
  PDF   BibTex
• Triangular decomposition of semi-algebraic systems.
  by Changbo Chen, James H. Davenport, John P. May, M. Moreno Maza, Bican Xia, Rong Xiao.
  To appear in the Journal of Symbolic Computation.
  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
• Fast polynomial multiplication on a GPU
  by 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
• Balanced Dense Polynomial Multiplication on Multi-cores
  by M. Moreno Maza and Yuzhen Xie.
  International Journal of Foundations of Computer Science. 22(5): 1035-1055, 2011.
  PDF   BibTex
• The Modpn Library: Bringing Fast Polynomial Arithmetic into Maple
  by X. Li, M. Moreno Maza, R. Rasheed and É. Schost.
  J. of Symbolic Computation, 46(7): 841-858, 2011.
  PDF   BibTex
• Triangular decomposition of semi-algebraic systems
  by 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
  by 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
  by 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
  by 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
  by 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
  by X. Li, M. Moreno Maza, W. Pan.
  Submitted to the Journal of Symbolic Computation.
  PDF   BibTex
• Balanced Dense Polynomial Multiplication on Multi-cores
  by M. Moreno Maza and Y. Xie.
  Proceedings of Parallel and Distributed Computing, Applications and Technologies (PDCAT) , 9 pages, 2009
  PDF  BibTex
• Computations Modulo Regular Chains
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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 1-15, 2009.
  PDF   BibTex
• When does 〈T〉 Equal sat(T)?
  by F. Lemaire, M. Moreno Maza, W. Pan and Y. Xie.
  Journal of Symbolic Computation, 46(12): 1291-1305, 2011.
  PDF   BibTex
• Computing with Constructible Sets in Maple
  by 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
  by M. Moreno Maza and Y. Xie.
  Multicore Programming Blog, Cilk Arts, 2009
  Blog   BibTex
• Change of Ordering for Regular Chains in Positive Dimension
  by 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
  by 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
  by 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)?
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by 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
  by M.V. Foursov and M. Moreno Maza
  Proceedings of ISSAC 2001, pages 129-136, ACM Press, 2001
  PS   BibTex
• PARDI !
  by 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
  by 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
  by F. Boulier, F. Lemaire and M. Moreno Maza
  Tech. Rep. LIFL 2001-09, Univ. of Lille 1, 2001
  PS   BibTex
• PARDI !
  by 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
  by M. Moreno Maza
  Presented at the MEGA-2000 conference, Bath, UK, June 2000
  PS   BibTex
• On the Theories of Triangular Sets
  by 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
  by 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
  by M. Moreno Maza
  PhD Thesis, Universit'e Paris 6, France, 1997
  PS.GZ   BibTex
• Polynomial GCD Computations over Towers of Algebraic Extensions
  by M. Moreno Maza and R. Rioboo
  Proceedings of AAECC-11, pages 365-382. Springer, 1995
  PS   BibTex
• 
  by
  Proceedings of
  PDF   BibTex