Search results for "Marc Moreno Maza"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Changbo Chen, Marc Moreno Maza	Algorithms for computing triangular decomposition of polynomial systems.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
1	Marc Moreno Maza, Rong Xiao	Generating Program Invariants via Interpolation	CoRR	2012	DBLP BibTeX RDF
1	François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie	When does equal sat(T)?	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Xin Li, Marc Moreno Maza, Raqeeb Rasheed, Éric Schost	The modpn library: Bringing fast polynomial arithmetic into Maple.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Marc Moreno Maza, Yuzhen Xie	Balanced Dense Polynomial Multiplication on Multi-Cores.	Int. J. Found. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Changbo Chen, Marc Moreno Maza	Algorithms for Computing Triangular Decompositions of Polynomial Systems	CoRR	2011	DBLP BibTeX RDF
1	Changbo Chen, Marc Moreno Maza	Algorithms for computing triangular decompositions of polynomial systems.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao	Computing with semi-algebraic sets represented by triangular decomposition.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Changbo Chen, Marc Moreno Maza	Semi-algebraic Description of the Equilibria of Dynamical Systems.	CASC	2011	DBLP DOI BibTeX RDF
1	François Boulier, François Lemaire, Marc Moreno Maza	Computing differential characteristic sets by change of ordering.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao	Triangular Decomposition of Semi-algebraic Systems	CoRR	2010	DBLP BibTeX RDF
1	Lingchuan Meng, Yevgen Voronenko, Jeremy R. Johnson, Marc Moreno Maza, Franz Franchetti, Yuzhen Xie	Spiral-generated modular FFT algorithms.	PASCO	2010	DBLP DOI BibTeX RDF
1	Marc Moreno Maza, Jean-Louis Roch (eds.)	Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France	PASCO	2010	DBLP BibTeX RDF
1	Charles E. Leiserson, Marc Moreno Maza, Liyun Li, Yuzhen Xie	Parallel computation of the minimal elements of a poset.	PASCO	2010	DBLP DOI BibTeX RDF
1	Sardar Anisul Haque, Shahadat Hossain, Marc Moreno Maza	Cache friendly sparse matrix-vector multiplication.	PASCO	2010	DBLP DOI BibTeX RDF
1	Charles E. Leiserson, Liyun Li, Marc Moreno Maza, Yuzhen Xie	Efficient Evaluation of Large Polynomials.	ICMS	2010	DBLP DOI BibTeX RDF
1	Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao	Triangular decomposition of semi-algebraic systems.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Xin Li, Marc Moreno Maza, Éric Schost	Fast arithmetic for triangular sets: From theory to practice.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
1	Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang	Computing Cylindrical Algebraic Decomposition via Triangular Decomposition	CoRR	2009	DBLP BibTeX RDF
1	Xin Li, Marc Moreno Maza, Wei Pan	Computations modulo regular chains	CoRR	2009	DBLP BibTeX RDF
1	Marc Moreno Maza, Yuzhen Xie	FFT-Based Dense Polynomial Arithmetic on Multi-cores.	HPCS	2009	DBLP DOI BibTeX RDF
1	Marc Moreno Maza, Yuzhen Xie	Balanced Dense Polynomial Multiplication on Multi-Cores.	PDCAT	2009	DBLP DOI BibTeX RDF
1	Xin Li, Marc Moreno Maza, Wei Pan	Computations modulo regular chains.	ISSAC	2009	DBLP DOI BibTeX RDF	fast polynomial arithmetic, regular chain, regular gcd, polynomial systems, triangular decomposition, subresultants
1	Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang	Computing cylindrical algebraic decomposition via triangular decomposition.	ISSAC	2009	DBLP DOI BibTeX RDF	regular chain, triangular decomposition, cad
1	Xavier Dahan, Xin Jin, Marc Moreno Maza, Éric Schost	Change of order for regular chains in positive dimension.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Oleg Golubitsky, Marina V. Kondratieva, Marc Moreno Maza, Alexey Ovchinnikov	A bound for the Rosenfeld-Gröbner algorithm.	J. Symb. Comput.	2008	DBLP DOI BibTeX RDF
1	Changbo Chen, Marc Moreno Maza, Wei Pan, Yuzhen Xie	On the verification of polynomial system solvers.	Frontiers of Computer Science in China	2008	DBLP DOI BibTeX RDF	polynomial system solver, software verification, triangular decomposition
1	François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie	When does (T) equal sat(T)?	ISSAC	2008	DBLP DOI BibTeX RDF	megasquid, primitivity of polynomials, regular chain, saturated ideal
1	Songxin Liang, David J. Jeffrey, Marc Moreno Maza	The complete root classification of a parametric polynomial on an interval.	ISSAC	2008	DBLP DOI BibTeX RDF	complete root classification, parametric polynomial, real quantifier elimination, interval, real root
1	Marc Moreno Maza, Gregory J. Reid, Robin Scott, Wenyuan Wu	On approximate triangular decompositions in dimension zero.	J. Symb. Comput.	2007	DBLP DOI BibTeX RDF
1	Xin Li, Marc Moreno Maza, Éric Schost	On the Virtues of Generic Programming for Symbolic Computation.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	fast arithmetic, polynomials, high performance, Generic programming, efficient implementation
1	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	2007	DBLP DOI BibTeX RDF	RegularChains, quasi-component, inclusion test, irredundant triangular decomposition
1	Xin Li, Marc Moreno Maza, Éric Schost	Fast arithmetic for triangular sets: from theory to practice.	ISSAC	2007	DBLP DOI BibTeX RDF	high-performance, multiplication, triangular set
1	Xin Li, Marc Moreno Maza	Multithreaded parallel implementation of arithmetic operations modulo a triangular set.	PASCO	2007	DBLP DOI BibTeX RDF	algorithms, parallelization, polynomials, high-performance, normal form
1	Marc Moreno Maza, Ben Stephenson, Stephen M. Watt, Yuzhen Xie	Multiprocessed parallelism support in ALDOR on SMPs and multicores.	PASCO	2007	DBLP DOI BibTeX RDF	aldor, categorical parallelism, dynamic process management, multiprocessor parallelism, shared memory
1	Marc Moreno Maza, Stephen M. Watt (eds.)	Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada	PASCO	2007	DBLP BibTeX RDF
1	Marc Moreno Maza, Yuzhen Xie	Component-level parallelization of triangular decompositions.	PASCO	2007	DBLP DOI BibTeX RDF	component-level, parallelization, triangular decompositions, polynomial system solving
1	Changbo Chen, Oleg Golubitsky, François Lemaire, Marc Moreno Maza, Wei Pan	Comprehensive Triangular Decomposition.	CASC	2007	DBLP DOI BibTeX RDF
1	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	DBLP BibTeX RDF
1	Marc Moreno Maza, Yuzhen Xie	An implementation report for parallel triangular decompositions.	SPAA	2006	DBLP DOI BibTeX RDF	polynomial system solver, parallel execution
1	Xin Li, Marc Moreno Maza	Efficient Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment.	ICMS	2006	DBLP DOI BibTeX RDF
1	Marc Moreno Maza	Triangular decompositions of polynomial systems: from theory to practice.	ISSAC	2006	DBLP DOI BibTeX RDF
1	Akpodigha Filatei, Xin Li, Marc Moreno Maza, Éric Schost	Implementation techniques for fast polynomial arithmetic in a high-level programming environment.	ISSAC	2006	DBLP DOI BibTeX RDF	Aldor, polynomials, high-performance, Axiom
1	Xavier Dahan, Marc Moreno Maza, Éric Schost, Wenyuan Wu, Yuzhen Xie	Lifting techniques for triangular decompositions.	ISSAC	2005	DBLP DOI BibTeX RDF	Hensel lifting, polynomial systems, triangular sets
1	Mikhail V. Foursov, Marc Moreno Maza	On Computer-assisted Classification of Coupled Integrable Equations.	J. Symb. Comput.	2002	DBLP DOI BibTeX RDF
1	Irina A. Kogan, Marc Moreno Maza	Computation of canonical forms for ternary cubics.	ISSAC	2002	DBLP DOI BibTeX RDF	classical invariant theory, method of moving frames, systems of algebraic equations, ternary cubics, elliptic curves, triangular decompositions
1	Mikhail V. Foursov, Marc Moreno Maza	On computer-assisted classification of coupled integrable equations.	ISSAC	2001	DBLP DOI BibTeX RDF	generalized symmetries, integrable PDEs, mathematical physics, polynomial systems, triangular decompositions
1	François Boulier, François Lemaire, Marc Moreno Maza	PARDI!.	ISSAC	2001	DBLP DOI BibTeX RDF	change of rankings, PDE, differential algebra, characteristic sets, gcd
1	Philippe Aubry, Marc Moreno Maza	Triangular Sets for Solving Polynomial Systems: a Comparative Implementation of Four Methods.	J. Symb. Comput.	1999	DBLP DOI BibTeX RDF
1	Philippe Aubry, Daniel Lazard, Marc Moreno Maza	On the Theories of Triangular Sets.	J. Symb. Comput.	1999	DBLP DOI BibTeX RDF
1	Marc Moreno Maza, Renaud Rioboo	Polynomial Gcd Computations over Towers of Algebraic Extensions.	AAECC	1995	DBLP DOI BibTeX RDF	Polynomial gcd, zero dimensional systems, AXIOM, triangular sets, algebraic numbers, subresultants

Publications of "Marc Moreno Maza" ( http://dblp.L3S.de/Authors/Marc_Moreno_Maza )