2009 |
29 | EE | Xin Li,
Marc Moreno Maza,
Wei Pan:
Computations modulo regular chains
CoRR abs/0903.3690: (2009) |
28 | EE | Changbo Chen,
Marc Moreno Maza,
Bican Xia,
Lu Yang:
Computing Cylindrical Algebraic Decomposition via Triangular Decomposition
CoRR abs/0903.5221: (2009) |
2008 |
27 | EE | Songxin Liang,
David J. Jeffrey,
Marc Moreno Maza:
The complete root classification of a parametric polynomial on an interval.
ISSAC 2008: 189-196 |
26 | EE | François Lemaire,
Marc Moreno Maza,
Wei Pan,
Yuzhen Xie:
When does (T) equal sat(T)?
ISSAC 2008: 207-214 |
25 | EE | Changbo Chen,
Marc Moreno Maza,
Wei Pan,
Yuzhen Xie:
On the verification of polynomial system solvers.
Frontiers of Computer Science in China 2(1): 55-66 (2008) |
24 | EE | Oleg Golubitsky,
Marina V. Kondratieva,
Marc Moreno Maza,
Alexey Ovchinnikov:
A bound for the Rosenfeld-Gröbner algorithm.
J. Symb. Comput. 43(8): 582-610 (2008) |
23 | EE | Xavier Dahan,
Xin Jin,
Marc Moreno Maza,
Éric Schost:
Change of order for regular chains in positive dimension.
Theor. Comput. Sci. 392(1-3): 37-65 (2008) |
2007 |
22 | | Marc Moreno Maza,
Stephen M. Watt:
Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada
ACM 2007 |
21 | EE | Changbo Chen,
Oleg Golubitsky,
François Lemaire,
Marc Moreno Maza,
Wei Pan:
Comprehensive Triangular Decomposition.
CASC 2007: 73-101 |
20 | EE | Xin Li,
Marc Moreno Maza,
Éric Schost:
Fast arithmetic for triangular sets: from theory to practice.
ISSAC 2007: 269-276 |
19 | EE | Xin Li,
Marc Moreno Maza,
Éric Schost:
On the Virtues of Generic Programming for Symbolic Computation.
International Conference on Computational Science (2) 2007: 251-258 |
18 | EE | Changbo Chen,
François Lemaire,
Marc Moreno Maza,
Wei Pan,
Yuzhen Xie:
Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library.
International Conference on Computational Science (2) 2007: 268-271 |
17 | EE | Xin Li,
Marc Moreno Maza:
Multithreaded parallel implementation of arithmetic operations modulo a triangular set.
PASCO 2007: 53-59 |
16 | EE | Marc Moreno Maza,
Ben Stephenson,
Stephen M. Watt,
Yuzhen Xie:
Multiprocessed parallelism support in ALDOR on SMPs and multicores.
PASCO 2007: 60-68 |
15 | EE | Marc Moreno Maza,
Yuzhen Xie:
Component-level parallelization of triangular decompositions.
PASCO 2007: 69-77 |
14 | EE | Marc Moreno Maza,
Gregory J. Reid,
Robin Scott,
Wenyuan Wu:
On approximate triangular decompositions in dimension zero.
J. Symb. Comput. 42(7): 693-716 (2007) |
2006 |
13 | EE | Marc Moreno Maza,
Oleg Golubitsky,
Marina V. Kondratieva,
Alexey Ovchinnikov:
Bounds and algebraic algorithms in differential algebra: the ordinary case.
Challenges in Symbolic Computation Software 2006 |
12 | EE | Xin Li,
Marc Moreno Maza:
Efficient Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment.
ICMS 2006: 12-23 |
11 | EE | Marc Moreno Maza:
Triangular decompositions of polynomial systems: from theory to practice.
ISSAC 2006: 8 |
10 | EE | Akpodigha Filatei,
Xin Li,
Marc Moreno Maza,
Éric Schost:
Implementation techniques for fast polynomial arithmetic in a high-level programming environment.
ISSAC 2006: 93-100 |
9 | EE | Marc Moreno Maza,
Yuzhen Xie:
An implementation report for parallel triangular decompositions.
SPAA 2006: 235 |
2005 |
8 | EE | Xavier Dahan,
Marc Moreno Maza,
Éric Schost,
Wenyuan Wu,
Yuzhen Xie:
Lifting techniques for triangular decompositions.
ISSAC 2005: 108-115 |
2002 |
7 | EE | Irina A. Kogan,
Marc Moreno Maza:
Computation of canonical forms for ternary cubics.
ISSAC 2002: 151-160 |
6 | EE | Mikhail V. Foursov,
Marc Moreno Maza:
On Computer-assisted Classification of Coupled Integrable Equations.
J. Symb. Comput. 33(5): 647-660 (2002) |
2001 |
5 | EE | Mikhail V. Foursov,
Marc Moreno Maza:
On computer-assisted classification of coupled integrable equations.
ISSAC 2001: 129-136 |
4 | EE | François Boulier,
François Lemaire,
Marc Moreno Maza:
PARDI!.
ISSAC 2001: 38-47 |
1999 |
3 | | Philippe Aubry,
Daniel Lazard,
Marc Moreno Maza:
On the Theories of Triangular Sets.
J. Symb. Comput. 28(1-2): 105-124 (1999) |
2 | | Philippe Aubry,
Marc Moreno Maza:
Triangular Sets for Solving Polynomial Systems: a Comparative Implementation of Four Methods.
J. Symb. Comput. 28(1-2): 125-154 (1999) |
1995 |
1 | | Marc Moreno Maza,
Renaud Rioboo:
Polynomial Gcd Computations over Towers of Algebraic Extensions.
AAECC 1995: 365-382 |