Follow
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
3761999
On triangular decompositions of algebraic varieties
MM Maza
Technical Report TR 4/99, NAG Ltd, Oxford, UK, 1999. http://www. csd. uwo …, 2000
1312000
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
1262009
The RegularChains library in MAPLE
F Lemaire, MM Maza, Y Xie
ACM SIGSAM Bulletin 39 (3), 96-97, 2005
1222005
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
1192005
Algorithms for computing triangular decompositions of polynomial systems
C Chen, M Moreno Maza
Proceedings of the 36th international symposium on Symbolic and algebraic …, 2011
1132011
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
1081999
Triangular decomposition of semi-algebraic systems
C Chen, JH Davenport, JP May, MM Maza, B Xia, R Xiao
Proceedings of the 2010 International Symposium on Symbolic and Algebraic …, 2010
942010
Comprehensive triangular decomposition
C Chen, O Golubitsky, F Lemaire, MM Maza, W Pan
Computer Algebra in Scientific Computing: 10th International Workshop, CASC …, 2007
922007
Quantifier elimination by cylindrical algebraic decomposition based on regular chains
C Chen, MM Maza
Proceedings of the 39th International Symposium on Symbolic and Algebraic …, 2014
852014
Fast arithmetic for triangular sets: from theory to practice
X Li, MM Maza, É Schost
Proceedings of the 2007 international symposium on Symbolic and algebraic …, 2007
752007
Polynomial gcd computations over towers of algebraic extensions
MM Maza, R Rioboo
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 11th …, 1995
731995
Well known theorems on triangular systems and the D5 principle
F Boulier, F Lemaire, MM Maza
Transgressive Computing 2006, 79-91, 2006
622006
Computing canonical representatives of regular differential ideals
F Boulier, F Lemaire
Proceedings of the 2000 international symposium on Symbolic and algebraic …, 2000
612000
On the complexity of the D5 principle
X Dahan, É Schost, MM Maza, W Wu, Y Xie
ACM SIGSAM Bulletin 39 (3), 97-98, 2005
582005
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
472011
Pardi!
F Boulier, F Lemaire, MM Maza
Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001
462001
Computation of canonical forms for ternary cubics
IA Kogan, MM Maza
Proceedings of the 2002 International Symposium on Symbolic and Algebraic …, 2002
432002
On triangular decompositions of algebraic varieties
M Moreno Maza
Proceedings of MEGA'2000, 1999
421999
Computing differential characteristic sets by change of ordering
F Boulier, F Lemaire, MM Maza
Journal of Symbolic Computation 45 (1), 124-149, 2010
412010
The system can't perform the operation now. Try again later.
Articles 1–20