Marc Moreno Maza
Marc Moreno Maza
Professor of Computer Science and Applied Mathematics, The University of Western Ontario
Verified email at csd.uwo.ca - Homepage
TitleCited byYear
On the theories of triangular sets
P Aubry, D Lazard, MM Maza
Journal of Symbolic Computation 28 (1-2), 105-124, 1999
3341999
On triangular decompositions of algebraic varieties
MM Maza
Technical Report TR 4/99, NAG Ltd, Oxford, UK, 1999. http://www. csd. uwo …, 2000
1142000
Computing cylindrical algebraic decomposition via triangular decomposition
C Chen, MM Maza, B Xia, L Yang
Proceedings of the 2009 international symposium on Symbolic and algebraic …, 2009
1032009
Lifting techniques for triangular decompositions
X Dahan, MM Maza, E Schost, W Wu, Y Xie
Proceedings of the 2005 international symposium on Symbolic and algebraic …, 2005
1012005
Triangular sets for solving polynomial systems: a comparative implementation of four methods
P Aubry, MM Maza
Journal of Symbolic Computation 28 (1-2), 125-154, 1999
1001999
The regularchains library
F Lemaire, MM Maza, Y Xie
Maple conference 5, 355-368, 2005
832005
The regularchains library
F Lemaire, MM Maza, Y Xie
Maple conference 5, 355-368, 2005
832005
Comprehensive triangular decomposition
C Chen, O Golubitsky, F Lemaire, MM Maza, W Pan
International Workshop on Computer Algebra in Scientific Computing, 73-101, 2007
762007
Triangular decomposition of semi-algebraic systems
C Chen, JH Davenport, JP May, MM Maza, B Xia, R Xiao
Journal of Symbolic Computation 49, 3-26, 2013
732013
Algorithms for computing triangular decomposition of polynomial systems
C Chen, MM Maza
Journal of Symbolic Computation 47 (6), 610-642, 2012
722012
Fast arithmetic for triangular sets: from theory to practice
X Li, MM Maza, É Schost
Journal of Symbolic Computation 44 (7), 891-907, 2009
662009
Polynomial gcd computations over towers of algebraic extensions
MM Maza, R Rioboo
International Symposium on Applied Algebra, Algebraic Algorithms, and Error …, 1995
651995
Quantifier elimination by cylindrical algebraic decomposition based on regular chains
C Chen, MM Maza
Journal of Symbolic Computation 75, 74-93, 2016
502016
On the complexity of the D5 principle
X Dahan, É Schost, MM Maza, W Wu, Y Xie
ACM SIGSAM Bulletin 39 (3), 97-98, 2005
502005
Computing canonical representatives of regular differential ideals
F Boulier, F Lemaire
Proceedings of the 2000 international symposium on Symbolic and algebraic …, 2000
492000
Well known theorems on triangular systems and the D5 principle
F Boulier, F Lemaire, MM Maza
482006
Truth table invariant cylindrical algebraic decomposition
R Bradford, JH Davenport, M England, S McCallum, D Wilson
Journal of Symbolic Computation 76, 1-35, 2016
45*2016
Pardi!
F Boulier, F Lemaire, MM Maza
Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001
452001
The modpn library: Bringing fast polynomial arithmetic into maple
X Li, MM Maza, R Rasheed, É Schost
Journal of Symbolic Computation 46 (7), 841-858, 2011
422011
Computation of canonical forms for ternary cubics
IA Kogan, MM Maza
Proceedings of the 2002 international symposium on Symbolic and algebraic …, 2002
362002
The system can't perform the operation now. Try again later.
Articles 1–20