On the theories of triangular sets P Aubry, D Lazard, MM Maza Journal of Symbolic Computation 28 (1-2), 105-124, 1999 | 376 | 1999 |
On triangular decompositions of algebraic varieties MM Maza Technical Report TR 4/99, NAG Ltd, Oxford, UK, 1999. http://www. csd. uwo …, 2000 | 130 | 2000 |
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 | 125 | 2009 |
The RegularChains library in MAPLE F Lemaire, MM Maza, Y Xie ACM SIGSAM Bulletin 39 (3), 96-97, 2005 | 122 | 2005 |
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 | 118 | 2005 |
Algorithms for computing triangular decompositions of polynomial systems C Chen, M Moreno Maza Proceedings of the 36th international symposium on Symbolic and algebraic …, 2011 | 114 | 2011 |
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 | 106 | 1999 |
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 | 93 | 2010 |
Comprehensive triangular decomposition C Chen, O Golubitsky, F Lemaire, MM Maza, W Pan Computer Algebra in Scientific Computing: 10th International Workshop, CASC …, 2007 | 92 | 2007 |
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 | 86 | 2014 |
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 | 74 | 2007 |
Polynomial gcd computations over towers of algebraic extensions MM Maza, R Rioboo Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 11th …, 1995 | 72 | 1995 |
Well known theorems on triangular systems and the D5 principle F Boulier, F Lemaire, MM Maza Transgressive Computing 2006, 79-91, 2006 | 62 | 2006 |
Computing canonical representatives of regular differential ideals F Boulier, F Lemaire Proceedings of the 2000 international symposium on Symbolic and algebraic …, 2000 | 60 | 2000 |
Calculs de pgcd au-dessus des tours d’extensions simples et résolution des systemes d’équations algébriques M Moreno-Maza Doctoral Thesis, Université Paris 6, 1997 | 58 | 1997 |
On the complexity of the D5 principle X Dahan, É Schost, MM Maza, W Wu, Y Xie ACM SIGSAM Bulletin 39 (3), 97-98, 2005 | 57 | 2005 |
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 | 47 | 2011 |
Pardi! F Boulier, F Lemaire, MM Maza Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001 | 46 | 2001 |
Computation of canonical forms for ternary cubics IA Kogan, MM Maza Proceedings of the 2002 International Symposium on Symbolic and Algebraic …, 2002 | 44 | 2002 |
Computations modulo regular chains X Li, MM Maza, W Pan Proceedings of the 2009 international symposium on Symbolic and algebraic …, 2009 | 42 | 2009 |