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
Title
Cited by
Cited by
Year
On the theories of triangular sets
P Aubry, D Lazard, MM Maza
Journal of Symbolic Computation 28 (1-2), 105-124, 1999
3481999
On triangular decompositions of algebraic varieties
MM Maza
Technical Report TR 4/99, NAG Ltd, Oxford, UK, 1999. http://www. csd. uwo …, 2000
1192000
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
1152009
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
1092005
Comprehensive triangular decomposition
C Chen, O Golubitsky, F Lemaire, MM Maza, W Pan
International Workshop on Computer Algebra in Scientific Computing, 73-101, 2007
972007
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
971999
Algorithms for computing triangular decomposition of polynomial systems
C Chen, MM Maza
Journal of Symbolic Computation 47 (6), 610-642, 2012
892012
The regularchains library
F Lemaire, MM Maza, Y Xie
Maple conference 5, 355-368, 2005
882005
The regularchains library
F Lemaire, MM Maza, Y Xie
Maple conference 5, 355-368, 2005
882005
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
842013
Quantifier elimination by cylindrical algebraic decomposition based on regular chains
C Chen, MM Maza
Journal of Symbolic Computation 75, 74-93, 2016
682016
Fast arithmetic for triangular sets: from theory to practice
X Li, MM Maza, É Schost
Journal of Symbolic Computation 44 (7), 891-907, 2009
672009
Polynomial gcd computations over towers of algebraic extensions
MM Maza, R Rioboo
International Symposium on Applied Algebra, Algebraic Algorithms, and Error …, 1995
671995
Computing canonical representatives of regular differential ideals
F Boulier, F Lemaire
Proceedings of the 2000 international symposium on Symbolic and algebraic …, 2000
552000
Well known theorems on triangular systems and the D5 principle
F Boulier, F Lemaire, MM Maza
Transgressive Computing 2006, 79-91, 2006
532006
On the complexity of the D5 principle
X Dahan, É Schost, MM Maza, W Wu, Y Xie
ACM SIGSAM Bulletin 39 (3), 97-98, 2005
522005
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
462011
Pardi!
F Boulier, F Lemaire, MM Maza
Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001
442001
On triangular decompositions of algebraic varieties
M Moreno Maza
Proceedings of MEGA'2000, 1999
401999
Computing differential characteristic sets by change of ordering
F Boulier, F Lemaire, MM Maza
Journal of Symbolic Computation 45 (1), 124-149, 2010
362010
The system can't perform the operation now. Try again later.
Articles 1–20