Published articles in refereed conference proceedings

[MR95]

M. Moreno Maza and R. Rioboo. Polynomial gcd computations over towers of algebraic extensions. In proc. of AAECC-11, pages 365-382. Springer, 1995. PS

[FM01a]

M.V. Foursov and M. Moreno Maza. On computer-assisted classification of coupled integrable equations. In proc. of ISSAC 2001, pages 129-136, ACM Press, 2001. PS

[BLM01a]

F. Boulier, F.Lemaire and M. Moreno Maza. PARDI ! In proc. of ISSAC 2001, pages 38-47, ACM Press, 2001. PS

[KM02]

I. Kogan and M. Moreno Maza. Computation of canonical forms for ternary cubics. In proc. of ISSAC 2002, pages 151-160, ACM Press, 2002. PS

[BMC04]

F. Boulier, M. Moreno Maza and C.Oancea. A new Henselian construction and its application to polynomial gcds over direct products of fields. In proc. of EACA'04, Universidad de Santander, Spain, 2004. PS DVI

[CDMW04a]

J. Cai, M. Dunstan, M. Moreno Maza and S Watt. Debugging Aldor via a Unified Runtime Environment. In proc. of EACA'04, Universidad de Santander, Spain, 2004. PS

[CDMW04b]

J. Cai, M. Dunstan, M. Moreno Maza and S Watt. Debugging a High Level Language via a Unified Interpreter and Compiler Runtime Environment. In proc. of ACA'04, University of Texas at Beaumont, USA, 2004. PS

[DMS⁺04]

X. Dahan, M. Moreno Maza, É. Schost, W. Wu and Y. Xie. Equiprojectable decompositions of zero-dimensional varieties. In proc. of International Conference on Poynomial System Solving, University of Paris 6, France, 2004. PS

[MRSW05b]

M. Moreno Maza and G. Reid and R. Scott and W. Wu. On Approximate Triangular Decompsoitions I. Dimension Zero. In proc. of Symbolic-Numeric Computation, D. M. Wang and L. Zhi editors, Xi'an, China, 2005. PS PDF

[MRSW05a]

M. Moreno Maza and G. Reid and R. Scott and W. Wu. On Approximate Triangular Decompositions II. Linear Systems. In proc. of Symbolic-Numeric Computation, D. M. Wang and L. Zhi editors, Xi'an, China, 2005. PDF

[DMS⁺05]

X. Dahan, M. Moreno Maza, É. Schost, W. Wu and Y. Xie. Lifting techniques for triangular decompositions. In proc. of ISSAC'05, Beijing, China, ACM Press, 2005. PS PDF Distinguished Student Author Award at ISSAC'05.

[LMX05]

F. Lemaire and M. Moreno Maza and Y. Xie. The RegularChains library in Maple 10. In proc. of Maple Summer Conference'05, Ilias S. Kotsireas editor, Waterloo, Canada, 2005. PS PDF

[BLM06]

F. Boulier, F. Lemaire and M. Moreno Maza. Well known theorems on triangular systems and the D5 Principle. In proc. of Transgressive Computing 2006, J.-G. Dumas et al., editors, Granada, Spain, 2006. PS PDF

[DMSX06]

X. Dahan, M. Moreno Maza, É. Schost, and Y. Xie. On the Complexity of the D5 Principle. In proc. of Transgressive Computing 2006, J.-G. Dumas et al., editors, Granada, Spain, 2006. PS PDF

[MSZ06]

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, J.-G. Dumas et al., editors, Granada, Spain, 2006. PS PDF

[FLMS06]

A. Filatei, X. Li, M. Moreno Maza and É Schost. Implementation Techniques for Fast Polynomial Arithmetic in a High-level Programming Environment. In proc. of International Symposium of Symbolic and Algebraic Computation 2006, pages 93-100, ACM Press, 2006. PS PDF

[Mor06]

M. Moreno Maza. Triangular decompositions of polynomial systems: from theory to practice. In proc. of International Symposium of Symbolic and Algebraic Computation 2006, page 8, ACM Press, 2006. Extended abstract in PS Extended abstract in PDF Slides in PS Slides in PDF

[DJMS06a]

X. Dahan, X. Jin, M. Moreno Maza and É Schost. Change of Ordering for Regular Chains in Positive Dimension. In proc. Maple Conference 2006, pages 26-24, Maplesoft, 2006. PS PDF

[MX06b]

M. Moreno Maza and Y. Xie. An implementation report for parallel triangular decompositions. In proc. Symposium on Parallelism in Algorithms and Architectures'06, page 235, ACM Press, 2006. Extended abstract in PS Extended abstract in PDF

[DJMS06b]

X. Dahan, X. Jin, M. Moreno Maza and É Schost. Change of Ordering for Regular Chains in Positive Dimension. In proc. Algebraic Geometry and Geometric Modelling'06, pages 49-53, Universidad de Barcelona, 2006. PS PDF

[MX06c]

M. Moreno Maza and Y. Xie. Parallelization of Triangular Decompositions In proc. Algebraic Geometry and Geometric Modelling'06, pages 96-100, Universidad de Barcelona, 2006. PSMorenoXie-AGGM-06-Proceedings.ps PDF

[LM06a]

X. Li and M. Moreno Maza. Efficient Implementation of Polynomial Arithmetic in a Multiple-level Programming Environment. In proc. International Congress of Mathematical Software - ICMS 2006, pages 12-23, Springer, 2006. PS PDF

[GKMO06]

O. Golubitsky, M. Kondratieva, M. Moreno Maza and A. Ovchinnikov. Bounds and algebraic algorithms in differential algebra: the ordinary case. In proc. of the 9th Intern. Conf. on Intelligent Systems and Computer Science'06, pages 7-11, Faculty of Mechanics and Mathematics, Moscow State University, 2006. PS PDF

[LMX06]

F. Lemaire, M. Moreno Maza and Y. Xie. Making a Sophisticated Symbolic Solver Available to Different Communities of Users. In proc. Asian Technology Conference in Mathematics'06, Polytechnic University of Hong Kong, 2006. PDF

[CLM⁺07]

C. Chen, F. Lemaire, M. Moreno Maza, W. Pan and Y. Xie. Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library. In proc. 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. PS PDF

[LMS07b]

X. Li, M. Moreno Maza and É Schost. On the Virtues of Generic Programming for Symbolic Computation. In proc. 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. PS PDF

[CMPX07b]

C. Chen, M. Moreno Maza, W. Pan and Y. Xie. On the verification of polynomial system solvers. In proc. of the Fifth Asian Workshop on Foundations of Software, pages 116-144, University of Xiamen, China, 2007. PDF

[BMW07]

M. Bronstein, M. Moreno Maza and S.M. Watt. Generic programming techniques in ALDOR, In proc. of the Fifth Asian Workshop on Foundations of Software, pages 72-77, University of Xiamen, China, 2007. PDF

[CLG⁺07]

C. Chen, F. Lemaire, O. Golubitsky, M. Moreno Maza and W. Pan. Comprehensive Triangular Decomposition. In CASC 2007: Computer Algebra in Scientific Computing, pages 73-101, Lecture Notes in Computer Science, vol. 4770, Springer-Verlag, 2007. PDF

[LMS07a]

X. Li, M. Moreno Maza and É. Schost. Fast Arithmetic for Triangular Sets: From Theory to Practice. In proc. ISSAC 2007, pages 269-276, ACM Press, New York, NY, USA, 2007. PS PDF

[LM06b]

X. Li and M. Moreno Maza. Multithreaded parallel implementation of arithmetic operations modulo a triangular set. In proc. Parallel Symbolic Computation'07, pages 53-59, ACM Press, New York, NY, USA, 2007. PDF

[MSWX06]

M. Moreno Maza, B. Stephenson, Y. Xie and S.M. Watt. Multiprocessed parallelism support in ALDOR. In proc. Parallel Symbolic Computation'07, pages 60-68, ACM Press, New York, NY, USA, 2007. PDF

[MX06a]

M. Moreno Maza and Y. Xie. Component-level Parallelization of Triangular Decompositions. In proc. Parallel Symbolic Computation'07, pages 69-77, ACM Press, New York, NY, USA, 2007. PDF

[LMRS08b]

X. Li, M. Moreno Maza, R. Rasheed and É. Schost. The Modpn library: Bringing Fast Polynomial Arithmetic into Maple. In Milestones in Computer Algebra 2008, pages 73-80, Trinidad and Tobago, 2008. PDF

[CLM⁺08]

C. Chen, L. Li, M. Moreno Maza, W. Pan and Y. Xie. On the Representation of Constructible Sets. In Milestones in Computer Algebra 2008, pages 103-108, Trinidad and Tobago, 2008. PDF

[CLL⁺08b]

C. Chen, F. Lemaire, L. Liyun, M. Moreno Maza, W. Pan and Y. Xie. The ConstructibleSetTools and ParametricSystemsTools modules of the RegularChains library in MAPLE. In Proc. of the International Conference on Computational Science and Applications, IEEE Computer Society, pp 342-352, 2008. PDF

[LMRS08a]

X. Li, M. Moreno Maza, R. Rasheed and É. Schost. High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted Programming Environment. In Proc. 2008 International Conference on Computational Sciences and Its Applications, pages 331-341. IEEE Computer Society, 2008. PDF

[LMPX08a]

F. Lemaire, M. Moreno Maza, W. Pan and Y. Xie. When does $\langle T \rangle$ equal ${\rm Sat}(T)$? In proc. ISSAC 2008, pages 207-214, ACM Press, New York, NY, USA, 2008. PDF

[LJM08]

S. Liang, D.J. Jeffrey, M. Moreno Maza. The complete root classification of a parametric polynomial on an interval. In proc. ISSAC 2008, ACM Press, New York, 2008, pp 189-196. PDF

[CMXY]

C. Chen, M. Moreno Maza, B. Xia, L. Yang. Computing Cylindrical Algebraic Decomposition via Triangular Decomposition, In proc. ISSAC 2009, ACM Press, New York, 2009, pp 95-102. PDF

[LMP09]

X. Li, M. Moreno Maza, W. Pan. Computations modulo regular chains. In proc. ISSAC 2009, ACM Press, New York, 2009, pp 239-246. PDF

[CJJ⁺09]

C. Chen, J H. Davenport, J. May, M. Moreno Maza, B. Xia, R. Xiao and Y. Xie. User Interface Design for Geometrical Decomposition Algorithms in Maple. In proc. athematical User-Interface 2009, 12 pages, 2009. PDF

[MX09a]

Balanced Dense Polynomial Multiplication on Multi-cores. M. Moreno Maza, Y. Xie. In proc. Parallel and Distributed Computing, Applications and Technologies (PDCAT), 9 pages, 2009. PDF