Marc Moreno Maza

	2012
51		Marc Moreno Maza, Rong Xiao: Generating Program Invariants via Interpolation CoRR abs/1201.5086: (2012)
50		Changbo Chen, Marc Moreno Maza: Algorithms for computing triangular decomposition of polynomial systems. J. Symb. Comput. 47(6): 610-642 (2012)
	2011
49		Changbo Chen, Marc Moreno Maza: Semi-algebraic Description of the Equilibria of Dynamical Systems. CASC 2011: 101-125
48		Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao: Computing with semi-algebraic sets represented by triangular decomposition. ISSAC 2011: 75-82
47		Changbo Chen, Marc Moreno Maza: Algorithms for computing triangular decompositions of polynomial systems. ISSAC 2011: 83-90
46		Changbo Chen, Marc Moreno Maza: Algorithms for Computing Triangular Decompositions of Polynomial Systems CoRR abs/1104.0689: (2011)
45		Marc Moreno Maza, Yuzhen Xie: Balanced Dense Polynomial Multiplication on Multi-Cores. Int. J. Found. Comput. Sci. 22(5): 1035-1055 (2011)
44		François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie: When does <T> equal sat(T)? J. Symb. Comput. 46(12): 1291-1305 (2011)
43		Xin Li, Marc Moreno Maza, Raqeeb Rasheed, Éric Schost: The modpn library: Bringing fast polynomial arithmetic into Maple. J. Symb. Comput. 46(7): 841-858 (2011)
	2010
42		Marc Moreno Maza, Jean-Louis Roch: Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France ACM 2010
41		Charles E. Leiserson, Liyun Li, Marc Moreno Maza, Yuzhen Xie: Efficient Evaluation of Large Polynomials. ICMS 2010: 342-353
40		Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao: Triangular decomposition of semi-algebraic systems. ISSAC 2010: 187-194
39		Lingchuan Meng, Yevgen Voronenko, Jeremy R. Johnson, Marc Moreno Maza, Franz Franchetti, Yuzhen Xie: Spiral-generated modular FFT algorithms. PASCO 2010: 169-170
38		Sardar Anisul Haque, Shahadat Hossain, Marc Moreno Maza: Cache friendly sparse matrix-vector multiplication. PASCO 2010: 175-176
37		Charles E. Leiserson, Marc Moreno Maza, Liyun Li, Yuzhen Xie: Parallel computation of the minimal elements of a poset. PASCO 2010: 53-62
36		Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao: Triangular Decomposition of Semi-algebraic Systems CoRR abs/1002.4784: (2010)
35		François Boulier, François Lemaire, Marc Moreno Maza: Computing differential characteristic sets by change of ordering. J. Symb. Comput. 45(1): 124-149 (2010)
	2009
34		Marc Moreno Maza, Yuzhen Xie: FFT-Based Dense Polynomial Arithmetic on Multi-cores. HPCS 2009: 378-399
33		Xin Li, Marc Moreno Maza, Wei Pan: Computations modulo regular chains. ISSAC 2009: 239-246
32		Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang: Computing cylindrical algebraic decomposition via triangular decomposition. ISSAC 2009: 95-102
31		Marc Moreno Maza, Yuzhen Xie: Balanced Dense Polynomial Multiplication on Multi-Cores. PDCAT 2009: 1-9
30		Xin Li, Marc Moreno Maza, Wei Pan: Computations modulo regular chains CoRR abs/0903.3690: (2009)
29		Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang: Computing Cylindrical Algebraic Decomposition via Triangular Decomposition CoRR abs/0903.5221: (2009)
28		Xin Li, Marc Moreno Maza, Éric Schost: Fast arithmetic for triangular sets: From theory to practice. J. Symb. Comput. 44(7): 891-907 (2009)
	2008
27		Songxin Liang, David J. Jeffrey, Marc Moreno Maza: The complete root classification of a parametric polynomial on an interval. ISSAC 2008: 189-196
26		François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie: When does (T) equal sat(T)? ISSAC 2008: 207-214
25		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		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		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		Changbo Chen, Oleg Golubitsky, François Lemaire, Marc Moreno Maza, Wei Pan: Comprehensive Triangular Decomposition. CASC 2007: 73-101
20		Xin Li, Marc Moreno Maza, Éric Schost: Fast arithmetic for triangular sets: from theory to practice. ISSAC 2007: 269-276
19		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		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		Xin Li, Marc Moreno Maza: Multithreaded parallel implementation of arithmetic operations modulo a triangular set. PASCO 2007: 53-59
16		Marc Moreno Maza, Ben Stephenson, Stephen M. Watt, Yuzhen Xie: Multiprocessed parallelism support in ALDOR on SMPs and multicores. PASCO 2007: 60-68
15		Marc Moreno Maza, Yuzhen Xie: Component-level parallelization of triangular decompositions. PASCO 2007: 69-77
14		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		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		Xin Li, Marc Moreno Maza: Efficient Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment. ICMS 2006: 12-23
11		Marc Moreno Maza: Triangular decompositions of polynomial systems: from theory to practice. ISSAC 2006: 8
10		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		Marc Moreno Maza, Yuzhen Xie: An implementation report for parallel triangular decompositions. SPAA 2006: 235
	2005
8		Xavier Dahan, Marc Moreno Maza, Éric Schost, Wenyuan Wu, Yuzhen Xie: Lifting techniques for triangular decompositions. ISSAC 2005: 108-115
	2002
7		Irina A. Kogan, Marc Moreno Maza: Computation of canonical forms for ternary cubics. ISSAC 2002: 151-160
6		Mikhail V. Foursov, Marc Moreno Maza: On Computer-assisted Classification of Coupled Integrable Equations. J. Symb. Comput. 33(5): 647-660 (2002)
	2001
5		Mikhail V. Foursov, Marc Moreno Maza: On computer-assisted classification of coupled integrable equations. ISSAC 2001: 129-136
4		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

Coauthor Index

1	Philippe Aubry	[2] [3]
2	François Boulier	[4] [35]
3	Changbo Chen	[18] [21] [25] [29] [32] [36] [40] [46] [47] [48] [49] [50]
4	Xavier Dahan	[8] [23]
5	James H. Davenport (James Harold Davenport)	[36] [40] [48]
6	Akpodigha Filatei	[10]
7	Mikhail V. Foursov	[5] [6]
8	Franz Franchetti	[39]
9	Oleg Golubitsky	[13] [21] [24]
10	Sardar Anisul Haque	[38]
11	Shahadat Hossain	[38]
12	David J. Jeffrey	[27]
13	Xin Jin	[23]
14	Jeremy R. Johnson	[39]
15	Irina A. Kogan	[7]
16	Marina V. Kondratieva	[13] [24]
17	Daniel Lazard	[3]
18	Charles E. Leiserson	[37] [41]
19	François Lemaire	[4] [18] [21] [26] [35] [44]
20	Liyun Li	[37] [41]
21	Xin Li	[10] [12] [17] [19] [20] [28] [30] [33] [43]
22	Songxin Liang	[27]
23	John P. May	[36] [40]
24	Lingchuan Meng	[39]
25	Alexey Ovchinnikov	[13] [24]
26	Wei Pan	[18] [21] [25] [26] [30] [33] [44]
27	Raqeeb Rasheed	[43]
28	Gregory J. Reid (Greg Reid)	[14]
29	Renaud Rioboo	[1]
30	Jean-Louis Roch	[42]
31	Éric Schost	[8] [10] [19] [20] [23] [28] [43]
32	Robin Scott	[14]
33	Ben Stephenson	[16]
34	Yevgen Voronenko	[39]
35	Stephen M. Watt	[16] [22]
36	Wenyuan Wu	[8] [14]
37	Bican Xia	[29] [32] [36] [40] [48]
38	Rong Xiao	[36] [40] [48] [51]
39	Yuzhen Xie	[8] [9] [15] [16] [18] [25] [26] [31] [34] [37] [39] [41] [44] [45]
40	Lu Yang	[29] [32]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page