Published articles in a refereed journal

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

moreno 2009-09-07