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
3671999
On triangular decompositions of algebraic varieties
MM Maza
Technical Report TR 4/99, NAG Ltd, Oxford, UK, 1999. http://www. csd. uwo …, 2000
1282000
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
1212009
The RegularChains library in MAPLE
F Lemaire, MM Maza, Y Xie
ACM SIGSAM Bulletin 39 (3), 96-97, 2005
1182005
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
1152005
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
1101999
Algorithms for computing triangular decompositions of polynomial systems
C Chen, M Moreno Maza
Proceedings of the 36th international symposium on Symbolic and algebraic …, 2011
1032011
Comprehensive triangular decomposition
C Chen, O Golubitsky, F Lemaire, MM Maza, W Pan
Computer Algebra in Scientific Computing: 10th International Workshop, CASC …, 2007
1002007
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
882010
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
772014
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
712007
Polynomial gcd computations over towers of algebraic extensions
MM Maza, R Rioboo
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 11th …, 1995
711995
Well known theorems on triangular systems and the D5 principle
F Boulier, F Lemaire, MM Maza
Transgressive Computing 2006, 79-91, 2006
582006
Computing canonical representatives of regular differential ideals
F Boulier, F Lemaire
Proceedings of the 2000 international symposium on Symbolic and algebraic …, 2000
572000
On the complexity of the D5 principle
X Dahan, É Schost, MM Maza, W Wu, Y Xie
ACM SIGSAM Bulletin 39 (3), 97-98, 2005
542005
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
On triangular decompositions of algebraic varieties
M Moreno Maza
Proceedings of MEGA'2000, 1999
391999
Computing differential characteristic sets by change of ordering
F Boulier, F Lemaire, MM Maza
Journal of Symbolic Computation 45 (1), 124-149, 2010
382010
Computations modulo regular chains
X Li, MM Maza, W Pan
Proceedings of the 2009 international symposium on Symbolic and algebraic …, 2009
382009
The system can't perform the operation now. Try again later.
Articles 1–20