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
3441999
On triangular decompositions of algebraic varieties
MM Maza
Technical Report TR 4/99, NAG Ltd, Oxford, UK, 1999. http://www. csd. uwo …, 2000
1172000
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
1112009
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
1102005
Comprehensive triangular decomposition
C Chen, O Golubitsky, F Lemaire, MM Maza, W Pan
International Workshop on Computer Algebra in Scientific Computing, 73-101, 2007
962007
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
961999
The regularchains library
F Lemaire, MM Maza, Y Xie
Maple conference 5, 355-368, 2005
872005
The regularchains library
F Lemaire, MM Maza, Y Xie
Maple conference 5, 355-368, 2005
872005
Algorithms for computing triangular decomposition of polynomial systems
C Chen, MM Maza
Journal of Symbolic Computation 47 (6), 610-642, 2012
822012
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
792013
Polynomial gcd computations over towers of algebraic extensions
MM Maza, R Rioboo
International Symposium on Applied Algebra, Algebraic Algorithms, and Error …, 1995
681995
Fast arithmetic for triangular sets: from theory to practice
X Li, MM Maza, É Schost
Journal of Symbolic Computation 44 (7), 891-907, 2009
672009
Quantifier elimination by cylindrical algebraic decomposition based on regular chains
C Chen, MM Maza
Journal of Symbolic Computation 75, 74-93, 2016
622016
Well known theorems on triangular systems and the D5 principle
F Boulier, F Lemaire, MM Maza
Transgressive Computing 2006, 79-91, 2006
542006
Computing canonical representatives of regular differential ideals
F Boulier, F Lemaire
Proceedings of the 2000 international symposium on Symbolic and algebraic …, 2000
542000
On the complexity of the D5 principle
X Dahan, É Schost, MM Maza, W Wu, Y Xie
ACM SIGSAM Bulletin 39 (3), 97-98, 2005
512005
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
Computing differential characteristic sets by change of ordering
F Boulier, F Lemaire, MM Maza
Journal of Symbolic Computation 45 (1), 124-149, 2010
362010
Computations modulo regular chains
X Li, MM Maza, W Pan
Proceedings of the 2009 international symposium on Symbolic and algebraic …, 2009
362009
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20