Bibliography

ALM99

P. Aubry, D. Lazard, and M. Moreno Maza.
On the theories of triangular sets.
J. Symb. Comp., 28(1-2):105-124, 1999.

AM99

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

BCLM09

F. Boulier, C. Chen, F. Lemaire, and M. Moreno Maza.
Real root isolation of regular chains, 2009.

BLM01a

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

BLM01b

F. Boulier, F. Lemaire, and M. Moreno Maza.
PARDI !
Technical Report LIFL 2001-011, Université Lille I, LIFL, 2001.

BLM01c

François Boulier, François Lemaire, and Marc Moreno Maza.
Well known theorems on triangular systems.
Technical Report LIFL 2001-09, Université Lille I, LIFL, 2001.

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, Granada, Spain, 2006.

BLM07

F. Boulier, F. Lemaire, and M. Moreno Maza.
Computing differential characteristic sets by change of ordering.
Technical report, Université Lille I, LIFL, 2007.
To appear in the Journal of Symbolic Computation.

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 proceedings of EACA'04, Universidad de Santander, Spain, 2004.

BMW07

M. Bronstein, M. Moreno Maza, and S.M. Watt.
Generic programming techniques in aldor.
In Proceedings of AWFS 2007, pages 72-77, 2007.

CDMW04a

J. Cai, M. Dunstan, M. Moreno Maza, and S Watt.
Debugging a high level language via a unified interpreter and compiler runtime environment.
In proceedings of EACA'04, Universidad de Santander, Spain, 2004.

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 proceedings of ACA'04, University of Texas at Beaumont, USA, 2004.

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. Mathematical User-Interface 2009, page 12 pages, 2009.

CLG⁺07

C. Chen, F. Lemaire, O. Golubitsky, M. Moreno Maza, and W. Pan.
Comprehensive Triangular Decomposition, volume 4770 of Lecture Notes in Computer Science, pages 73-101.
Springer Verlag, 2007.

CLL⁺08a

C. Chen, F. Lemaire, L. Liyun, M. Moreno Maza, W. Pan, and Y. Xie.
Computing with constructible sets in MAPLE, 2008.
Submitted to J. of Symbolic Computation.

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, pages 342-352. IEEE Computer Society Press, 2008.

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. of the International Conference on Computational Science (2), volume 4488 of Lecture Notes in Computer Science, pages 268-271. Springer, 2007.

CLM⁺08

C. Chen, L. Li, M. Moreno Maza, W. Pan, and Y. Xie.
On the representation of constructible sets.
In MICA'08, pages 103-108, 2008.

CMPX07a

C. Chen, M. Moreno Maza, W. Pan, and Y. Xie.
On the verification of polynomial system solvers.
Frontiers of Computer Science in China, 2(1):55-66, 2007.

CMPX07b

C. Chen, M. Moreno Maza, W. Pan, and Y. Xie.
On the verification of polynomial system solvers.
In Proceedings of AWFS 2007, pages 116-144, 2007.

CMXY

C. Chen, M. Moreno Maza, B. Xia, and L. Yang.
In Proc. ISSAC 2009, pages 95-102, New York, NY, USA. ACM Press.

DJMS06a

X. Dahan, X. Jin, M. Moreno Maza, and É Schost.
Change of ordering for regular chains in positive dimension.
In Ilias S. Kotsireas, editor, Maple Conference 2006, pages 26-34, 2006.

DJMS06b

X. Dahan, X. Jin, M. Moreno Maza, and É Schost.
Change of ordering for regular chains in positive dimension.
In Proc. of Algebraic Geometry and Geometric Modelling'06, pages 49-53, Barcelona, Spain, 2006.

DJMS08

X. Dahan, X. Jin, M. Moreno Maza, and É. Schost.
Change of order for regular chains in positive dimension.
Th. computer Science, 392(1-3):37-65, February 2008.
Computational Algebraic Geometry and Applications.

DMS⁺04

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

DMS⁺05

X. Dahan, M. Moreno Maza, É. Schost, W. Wu, and Y. Xie.
Lifting techniques for triangular decompositions.
In ISSAC'05, pages 108-115. ACM Press, 2005.

DMSX06

X. Dahan, M. Moreno Maza, É. Schost, and Y. Xie.
On the complexity of the D5 principle.
In Proc. of Transgressive Computing 2006, Granada, Spain, 2006.

FLMS06

A. Filatei, X. Li, M. Moreno Maza, and É Schost.
Implementation techniques for fast polynomial arithmetic in a high-level programming environment.
In Proc. ISSAC'06, pages 93-100, New York, NY, USA, 2006. ACM Press.

FM01a

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

FM01b

M.V. Foursov and M. Moreno Maza.
On the relationship between the kaup-kupershmidt and sawada-kotera equations.
Technical Report LIFL 2001-04, Université de Lille-I, 2001.

FM02

M.V. Foursov and M. Moreno Maza.
On computer-assisted classification of coupled integrable equations.
J. Symb. Comp., 33:647-660, 2002.

GKMO06

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

GKMO08

O. Golubitsky, M. Kondratieva, M. Moreno Maza, and A. Ovchinnikov.
A bound for the rosenfeld-gröbner algorithm.
J. Symb. Comp., 43(8):582-610, 2008.

KM02

I. A. Kogan and M. Moreno Maza.
Computation of canonical forms for ternary cubics.
In Teo Mora, editor, Proc. ISSAC 2002, pages 151-160. ACM Press, July 2002.

LJM08

Songxin Liang, David J. Jeffrey, and Marc Moreno Maza.
The complete root classification of a parametric polynomial on an interval.
In ISSAC '08: Proceedings of the twenty-first international symposium on Symbolic and algebraic computation, pages 189-196, New York, NY, USA, 2008. ACM.

LM06a

X. Li and M. Moreno Maza.
Efficient implementation of polynomial arithmetic in a multiple-level programming environment.
In A. Iglesias and N. Takayama, editors, Proc. International Congress of Mathematical Software - ICMS 2006, pages 12-23. Springer, 2006.

LM06b

X. Li and M. Moreno Maza.
Multithreaded parallel implementation of arithmetic operations modulo a triangular set.
In Proc. PASCO'07, pages 53-59, New York, NY, USA, 2006. ACM Press.

LMP09

X. Li, M. Moreno Maza, and W. Pan.
Computations modulo regular chains.
In Proc. ISSAC'09, pages 239-246, New York, NY, USA, 2009. ACM Press.

LMPX08a

F. Lemaire, M. Moreno Maza, W. Pan, and Y. Xie.
When does (t) equal sat(t)?
In Proc. ISSAC'20008, pages 207-214. ACM Press, 2008.

LMPX08b

F. Lemaire, M. Moreno Maza, W. Pan, and Y. Xie.
When does (t) equal sat(t)?, 2008.
Submitted to the J. of Symbolic Computation.

LMRS08a

X. Li, M. Moreno Maza, R. Rasheed, and É. Schost.
In Proc. of the International Conference on Computational Science and Applications, pages 331-341. IEEE Computer Society Press, 2008.

LMRS08b

X. Li, M. Moreno Maza, R. Rasheed, and É. Schost.
The modpn library: Bringing fast polynomial arithmetic into maple.
In MICA'08, pages 73-80, 2008.

LMRS08c

X. Li, M. Moreno Maza, R. Rasheed, and É. Schost.
The modpn library: Bringing fast polynomial arithmetic into maple, 2008.
Submitted to J. of Symbolic Computation.

LMS07a

X. Li, M. Moreno Maza, and É Schost.
Fast arithmetic for triangular sets: From theory to practice.
In Proc. ISSAC'07, pages 269-276, New York, NY, USA, 2007. ACM Press.

LMS07b

X. Li, M. Moreno Maza, and É Schost.
On the virtues of generic programming for symbolic computation.
In Proc. of the International Conference on Computational Science (2), volume 4488 of Lecture Notes in Computer Science, pages 251-258. Springer, 2007.

LMS08

X. Li, M. Moreno Maza, and É. Schost.
Fast arithmetic for triangular sets: From theory to practice.
J. Symb. Comp., 44(7):891-907, 2008.

LMX05

F. Lemaire, M. Moreno Maza, and Y. Xie.
The RegularChains library.
In Ilias S. Kotsireas, editor, Maple Conference 2005, pages 355-368, 2005.

LMX06

F. Lemaire, M. Moreno Maza, and Y. Xie.
Making a sophisticated symbolic solver available to different communities of users.
In Proc. of Asian Technology Conference in Mathematics'06, 2006.

Mor97

M. Moreno Maza.
Calculs de Pgcd au-dessus des Tours d'Extensions Simples et Résolution des Systèmes d'Équations Algébriques.
PhD thesis, Université Paris 6, 1997.

Mor99

M. Moreno Maza.
On triangular decompositions of algebraic varieties.
Technical Report TR 4/99, NAG Ltd, Oxford, UK, 1999.
Presented at the MEGA-2000 Conference, Bath, England.

Mor06

Marc Moreno Maza.
Triangular decompositions of polynomial systems: from theory to practice.
In ISSAC '06: Proceedings of the 2006 international symposium on Symbolic and algebraic computation, pages 8-8, New York, NY, USA, 2006. ACM Press.

MR95

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

MRSW05a

M. Moreno Maza, G. Reid, R. Scott, and W. Wu.
On approximate triangular decompositions ii. linear systems.
In D. M. Wang and L. Zhi, editors, Symbolic-Numeric Computation, Xi'an, China, 2005.

MRSW05b

M. Moreno Maza, G. Reid, R. Scott, and W. Wu.
On approximate triangular decompsoitions i. dimension zero.
In D. M. Wang and L. Zhi, editors, Symbolic-Numeric Computation, Xi'an, China, 2005.

MRSW07a

M. Moreno Maza, G. Reid, R. Scott, and W. Wu.
Advances on Symbolic-Numeric Computation, chapter On Approximate Linearized Triangular Decompositions, pages 268-287.
Springer, 2007.

MRSW07b

M. Moreno Maza, G. Reid, R. Scott, and W. Wu.
On approximate triangular decompositions in dimension zero.
J. Symb. Comp, 42(7):693-716, 2007.

MSWX06

M. Moreno Maza, B. Stephenson, S. M. Watt, and Y. Xie.
Multiprocessed parallelism support in aldor on smps and multicores.
In Proc. PASCO'07, pages 60-68, New York, NY, USA, 2006. ACM Press.

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, Granada, Spain, 2006.

MW07

M. Moreno Maza and S. M. Watt, editors.
PASCO '07: Proceedings of the 2007 international workshop on Parallel symbolic computation.
ACM Press, New York, NY, USA, 2007.

MW08

M. Moreno Maza and S. M. Watt, editors.
MICA'08: Proceedings of Milestones in Computer Algebra 2008: A Conference in Honour of Keith Geddes’ 60th Birthday.
Trinidad and Tobago, 2008.

MX06a

M. Moreno Maza and Y. Xie.
Component-level parallelization of triangular decompositions.
In Proc. PASCO'07, pages 69-77, New York, NY, USA, 2006. ACM Press.

MX06b

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

MX06c

M. Moreno Maza and Y. Xie.
Parallelization of triangular decompositions.
In Proc. of Algebraic Geometry and Geometric Modelling'06, pages 96-100, Barcelona, Spain, 2006.

MX09a

M. Moreno Maza and Y. Xie.
Balanced dense polynomial multiplication on multicores.
In Proc. of PDCAT'09. IEEE Computer Society, 2009.

MX09b

M. Moreno Maza and Y. Xie.
Fft-based dense polynomial arithmetic on multi-cores, 2009.
Presented at HPCS'09 and submitted to its post-conference proceedings.

MX09c

M. Moreno Maza and Y. Xie.
Multicore-enabling dense polynomial multiplication.
http://www.cilk.com/multicore-blog/bid/9543, 2009.
Multicore Programming Blog.