Published articles in a refereed journal

[ALM99]

P. Aubry, D. Lazard, M. Moreno Maza. On the theories of triangular sets. Journal of Symbolic Computation, 28(1-2):105-124, 1999. PDF

[AM99]

P. Aubry and M. Moreno Maza. Triangular sets for solving polynomial systems: A comparative implementation of four methods. Journal of Symbolic Computation, 28(1-2):125-154, 1999. PDF

[FM02]

M.V. Foursov and M. Moreno Maza. On computer-assisted classification of coupled integrable equations. Journal of Symbolic Computation, 33(1):647-660, 2002. PDF

[MRSW07b]

M. Moreno Maza, G. Reid, R. Scott and W. Wu. On Approximate Triangular Decompositions in Dimension Zero. Journal of Symbolic Computation, 42(7):693-716, 2007. PDF

[DJMS08]

X. Dahan, X. Jin, M. Moreno Maza and É Schost. Change of ordering for regular chains in positive dimension. Theoretical Computer Science, 392 (2008): 37­65, 2007. PDF

[CMPX07a]

C. Chen, M. Moreno Maza, W. Pan and Y. Xie. On the verification of polynomial system solvers. Frontiers of Computer Science in China, Vol 2, Numb 1, pages 55-66, 2008. PDF

[GKMO08]

O. Golubitsky, M. Kondratieva, M. Moreno Maza and A. Ovchinnikov. A bound for the Rosenfeld-Gröbner Algorithm. Journal of Symbolic Computation, 43(8): 582-610, 2008. PDF

[LMS08]

X. Li, M. Moreno Maza and É Schost. Fast arithmetic for triangular sets: from theory to practice. Journal of Symbolic Computation, 44(7): 891-907, 2009. PDF

[BLM07]

F. Boulier, F.Lemaire and M. Moreno Maza. Computing differential characteristic sets by change of ordering. To appear in the Journal of Symbolic Computation. PDF