Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[2]
Hilfe
Suche: Author="Maza, Marc Moreno"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Computing the limit points of the quasi-component of a regular chain in dimension one
Parisa Alvandi
,
Changbo Chen
,
Marc Moreno Maza
Lecture Notes in Computer Science
8136
, 2013, pp. 30-45
Triangular decomposition of semi-algebraic systems
Changbo Chen
,
James H. Davenport
,
John P. May
,
Marc Moreno Maza
,
Bican Xia
,
Rong Xiao
Journal Symbolic Computation
49
, 2013, pp. 3-26
Computing with semi-algebraic sets: Relaxation techniques and effective boundaries
Changbo Chen
,
James H. Davenport
,
Marc Moreno Maza
,
Bican Xia
,
Rong Xiao
Journal Symbolic Computation
52
, 2013, pp. 72-96
Algorithms for computing triangular decomposition of polynomial systems
Changbo Chen
,
Marc Moreno Maza
Journal Symbolic Computation
47
(6), 2012, pp. 610-642
Semi-algebraic description of the equilibria of dynamical systems
Changbo Chen
,
Marc Moreno Maza
Lecture Notes in Computer Science
6885
, 2011, pp. 101-125
The modpn library: Bringing fast polynomial arithmetic into
Maple
Xin Li
,
Marc Moreno Maza
,
Raqeeb Rasheed
,
Éric Schost
Journal Symbolic Computation
46
(7), 2011, pp. 841-858
Balanced dense polynomial multiplication on multi-cores
Marc Moreno Maza
,
Yuzhen Xie
International Journal of Foundations of Computer Science
22
(5), 2011, pp. 1035-1055
Computing cylindrical algebraic decomposition via triangular decomposition
Changbo Chen
,
Marc Moreno Maza
,
Bican Xia
,
Lu Yang
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 95-102
Fast arithmetic for triangular sets: From theory to practice
Xin Li
,
Marc Moreno Maza
,
Éric Schost
Journal Symbolic Computation
44
(7), 2009, pp. 891-907
When does
\langle T \rangle
equal sat
(T)
?
François Lemaire
,
Marc Moreno Maza
,
Wei Pan
,
Yuzhen Xie
Proceedings of the 2008 International Symposium on Symbolic and Algebraic Computation, ISSAC'2008 (Hagenberg, Austria, July 20-23, 2008)
, 2008, pp. 207-214
The complete root classification of a parametric polynomial on an interval
Songxin Liang
,
David J. Jeffrey
,
Marc Moreno Maza
Proceedings of the 2008 International Symposium on Symbolic and Algebraic Computation, ISSAC'2008 (Hagenberg, Austria, July 20-23, 2008)
, 2008, pp. 189-195
Fast arithmetic for triangular sets: From theory to practice
Xin Li
,
Marc Moreno Maza
,
Éric Schost
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 269-276
Implementation techniques for fast polynomial arithmetic in a high-level programming environment
Akpodigha Filatei
,
Xin Li
,
Marc Moreno Maza
,
Éric Schost
Proceedings of the 2006 International Symposium on Symbolic and Algebraic Computation, ISSAC'2006 (Università degli Studi di Genova, Genova, Italy, July 9-12, 2006)
, 2006, pp. 93-100
Triangular decompositions of polynomial systems: From theory to practice
Marc Moreno Maza
Proceedings of the 2006 International Symposium on Symbolic and Algebraic Computation, ISSAC'2006 (Università degli Studi di Genova, Genova, Italy, July 9-12, 2006)
, 2006, pp. 8-8
Lifting techniques for triangular decompositions
Xavier Dahan
,
Marc Moreno Maza
,
Eric Schost
,
Wenyuan Wu
,
Yuzhen Xie
Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005)
, 2004, pp. 108-115
On computer-assisted classification of coupled integrable equations
Mikhail V. Foursov
,
Marc Moreno Maza
Journal Symbolic Computation
33
(5), 2002, pp. 647-660
PARDI!
François Boulier
,
François Lemaire
,
Marc Moreno Maza
Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, ISSAC'2001 (University of Western Ontario, London, Ontario, Canada, July 22-25, 2001)
, 2001, pp. 38-47
On computer-assisted classification of coupled integrable equations
Mikhail V. Foursov
,
Marc Moreno Maza
Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, ISSAC'2001 (University of Western Ontario, London, Ontario, Canada, July 22-25, 2001)
, 2001, pp. 129-136
Polynomial Gcd computations over towers of algebraic extensions
Marc Moreno Maza
,
Renaud Rioboo
Lecture Notes in Computer Science
948
, 1995, pp. 365-382