Παρακολούθηση
Marc Moreno Maza
Marc Moreno Maza
Professor of Computer Science and Applied Mathematics, The University of Western Ontario
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα csd.uwo.ca - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
On the theories of triangular sets
P Aubry, D Lazard, MM Maza
Journal of Symbolic Computation 28 (1-2), 105-124, 1999
3751999
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
1071999
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
912007
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
842014
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
742007
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
602000
On the complexity of the D5 principle
X Dahan, É Schost, MM Maza, W Wu, Y Xie
ACM SIGSAM Bulletin 39 (3), 97-98, 2005
572005
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
Computing differential characteristic sets by change of ordering
F Boulier, F Lemaire, MM Maza
Journal of Symbolic Computation 45 (1), 124-149, 2010
412010
Computations modulo regular chains
X Li, MM Maza, W Pan
Proceedings of the 2009 international symposium on Symbolic and algebraic …, 2009
412009
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20