Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDMarc Moreno Maza
Person information
- affiliation: University of Western Ontario, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j46]François Boulier, François Lemaire, Marc Moreno Maza, Adrien Poteaux:
A Short Contribution to the Theory of Regular Chains. Math. Comput. Sci. 15(2): 177-188 (2021)- [c80]Mohammadali Asadi, Alexander Brandt
, Marc Moreno Maza:
Computational Schemes for Subresultant Chains. CASC 2021: 21-41 - [c79]Alexander Brandt, Marc Moreno Maza:
On the Complexity and Parallel Implementation of Hensel's Lemma and Weierstrass Preparation. CASC 2021: 78-99 - [c78]Marc Moreno Maza, Ryan Sandford:
Towards Extending Fulton's Algorithm for Computing Intersection Multiplicities Beyond the Bivariate Case. CASC 2021: 232-251 - [c77]Marc Moreno Maza, Linxiao Wang:
On the Pseudo-Periodicity of the Integer Hull of Parametric Convex Polygons. CASC 2021: 252-271 - [c76]Marc Moreno Maza:
Design and Implementation of Multi-Threaded Algorithms in Polynomial Algebra. ISSAC 2021: 15-20 - [i21]Alexander Brandt, Marc Moreno Maza:
On the Complexity and Parallel Implementation of Hensel's Lemma and Weierstrass Preparation. CoRR abs/2105.10798 (2021) - [i20]Mohammadali Asadi, Alexander Brandt, Mahsa Kazemi, Marc Moreno Maza, Erik Postma:
Multivariate Power Series in Maple. CoRR abs/2106.15519 (2021) - 2020
- [j45]Parisa Alvandi, Masoud Ataei, Mahsa Kazemi, Marc Moreno Maza:
On the Extended Hensel Construction and its application to the computation of real limit points. J. Symb. Comput. 98: 120-162 (2020) - [j44]Robert H. C. Moir, Robert M. Corless, Marc Moreno Maza, Ning Xie:
Symbolic-numeric integration of rational functions. Numer. Algorithms 83(4): 1295-1320 (2020) - [c75]Alexander Brandt, Mahsa Kazemi, Marc Moreno Maza:
Power Series Arithmetic with the BPAS Library. CASC 2020: 108-128 - [c74]Rui-Juan Jing, Marc Moreno Maza, Delaram Talaashrafi:
Complexity Estimates for Fourier-Motzkin Elimination. CASC 2020: 282-306 - [c73]Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza:
Employing C++ Templates in the Design of a Computer Algebra Library. ICMS 2020: 342-352 - [c72]Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza, Yuzhen Xie:
On the parallelization of triangular decompositions. ISSAC 2020: 22-29 - [c71]Mohammadali Asadi, Alexander Brandt, Mahsa Kazemi, Marc Moreno Maza, Erik J. Postma:
Multivariate Power Series in Maple. MC 2020: 48-66
2010 – 2019
- 2019
- [j43]François Boulier, François Lemaire, Adrien Poteaux, Marc Moreno Maza:
An equivalence theorem for regular differential chains. J. Symb. Comput. 93: 34-55 (2019) - [c70]Zhongwen Zhang, Dmitrii Marin, Egor Chesakov, Marc Moreno Maza, Maria Drangova, Yuri Boykov:
Divergence Prior and Vessel-Tree Reconstruction. CVPR 2019: 10216-10224 - [c69]Svyatoslav Covanov, Davood Mohajerani, Marc Moreno Maza, Lin-Xiao Wang:
Big Prime Field FFT on Multi-core Processors. ISSAC 2019: 106-113 - [c68]Ana C. Camargos Couto, Marc Moreno Maza, David Linder, David J. Jeffrey, Robert M. Corless:
Comprehensive LU Factors of Polynomial Matrices. MACIS 2019: 80-88 - [c67]Rui-Juan Jing, Marc Moreno Maza:
The Z_Polyhedra Library in Maple. MC 2019: 132-144 - [c66]Mahsa Kazemi, Marc Moreno Maza:
Detecting Singularities Using the PowerSeries Library. MC 2019: 145-155 - [i19]Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza, Yuzhen Xie:
On the Parallelization of Triangular Decomposition of Polynomial Systems. CoRR abs/1906.00039 (2019) - [i18]Alexander Brandt, Davood Mohajerani, Marc Moreno Maza, Jeeva Paudel, Lin-Xiao Wang:
A Technique for Finding Optimal Program Launch Parameters Targeting Manycore Accelerators. CoRR abs/1906.00142 (2019) - [i17]Alexander Brandt, Davood Mohajerani, Marc Moreno Maza, Jeeva Paudel, Lin-Xiao Wang:
KLARAPTOR: A Tool for Dynamically Finding Optimal Kernel Launch Parameters Targeting CUDA Programs. CoRR abs/1911.02373 (2019) - 2018
- [j42]Rui-Juan Jing, Marc Moreno Maza:
Computing the integer points of a polyhedron. ACM Commun. Comput. Algebra 52(4): 126-129 (2018) - [c65]Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza:
Sparse Polynomial Arithmetic with the BPAS Library. CASC 2018: 32-50 - [i16]Xiaohui Chen, Marc Moreno Maza, Jeeva Paudel, Ning Xie:
Comprehensive Optimization of Parametric Kernels for Graphics Processing Units. CoRR abs/1801.04348 (2018) - [i15]Sviatoslav Covanov, Davood Mohajerani, Marc Moreno Maza, Lin-Xiao Wang:
Putting Fürer Algorithm into Practice with the BPAS Library. CoRR abs/1811.01490 (2018) - [i14]Rui-Juan Jing, Marc Moreno Maza, Delaram Talaashrafi:
Complexity Estimates for Fourier-Motzkin Elimination. CoRR abs/1811.01510 (2018) - 2017
- [j41]Rui-Juan Jing, Marc Moreno Maza:
The polyhedra library in maple. ACM Commun. Comput. Algebra 51(3): 86-88 (2017) - [j40]Sardar Anisul Haque, X. Li, Farnam Mansouri, Marc Moreno Maza, Davood Mohajerani, Wei Pan:
CUMODP: a CUDA library for modular polynomial computation. ACM Commun. Comput. Algebra 51(3): 89-91 (2017) - [c64]Rui-Juan Jing, Marc Moreno Maza:
Computing the Integer Points of a Polyhedron, I: Algorithm. CASC 2017: 225-241 - [c63]Rui-Juan Jing, Marc Moreno Maza:
Computing the Integer Points of a Polyhedron, II: Complexity Estimates. CASC 2017: 242-256 - [c62]Marc Moreno Maza:
Multithreaded programming on the GPU: pointers and hints for the computer algebraist. PASCO@ISSAC 2017: 3:1 - [c61]Sardar Anisul Haque, Amir Hashemi, Davood Mohajerani, Marc Moreno Maza:
Plain, and Somehow Sparse, Univariate Polynomial Division on Graphics Processing Units. PASCO@ISSAC 2017: 10:1-10:10 - [c60]Parisa Alvandi, Masoud Ataei, Marc Moreno Maza:
On the Extended Hensel Construction and its Application to the Computation of Limit Points. ISSAC 2017: 13-20 - [c59]Liangyu Chen, Svyatoslav Covanov, Davood Mohajerani, Marc Moreno Maza:
Big Prime Field FFT on the GPU. ISSAC 2017: 85-92 - [c58]Rui-Juan Jing, Marc Moreno Maza:
Computing the Integer Points of a Polyhedron. SC²@ISSAC 2017 - [c57]Robert M. Corless, Marc Moreno Maza, Steven E. Thornton:
Jordan Canonical Form with Parameters from Frobenius Form with Parameters. MACIS 2017: 179-194 - [i13]Robert M. Corless, Robert H. C. Moir, Marc Moreno Maza, Ning Xie:
Symbolic-Numeric Integration of Rational Functions. CoRR abs/1712.01752 (2017) - 2016
- [j39]Parisa Alvandi, Mahsa Kazemi, Marc Moreno Maza:
Computing limits with the regularchains and powerseries libraries: from rational functions to Zariski closure. ACM Commun. Comput. Algebra 50(3): 93-96 (2016) - [j38]Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Robert H. C. Moir, Marc Moreno Maza, Ning Xie, Yuzhen Xie:
The basic polynomial algebra subprograms. ACM Commun. Comput. Algebra 50(3): 97-100 (2016) - [j37]Parisa Alvandi, Marc Moreno Maza:
Real limit points of quasi-componenets of regular chains. ACM Commun. Comput. Algebra 50(4): 148-150 (2016) - [j36]Changbo Chen, Marc Moreno Maza:
Quantifier elimination by cylindrical algebraic decomposition based on regular chains. J. Symb. Comput. 75: 74-93 (2016) - [c56]Parisa Alvandi, Mahsa Kazemi, Marc Moreno Maza:
Computing Limits of Real Multivariate Rational Functions. ISSAC 2016: 39-46 - [c55]Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie:
Parallel Integer Polynomial Multiplication. SYNASC 2016: 72-80 - [i12]Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie:
Parallel Integer Polynomial Multiplication. CoRR abs/1612.05778 (2016) - 2015
- [j35]Marc Moreno Maza:
Doing algebraic geometry with the RegularChains library. ACM Commun. Comput. Algebra 49(2): 54 (2015) - [c54]Parisa Alvandi, Changbo Chen, Amir Hashemi, Marc Moreno Maza:
Regular Chains under Linear Changes of Coordinates and Applications. CASC 2015: 30-44 - [c53]Parisa Alvandi, Marc Moreno Maza, Éric Schost, Paul Vrbik:
A Standard Basis Free Algorithm for Computing the Tangent Cones of a Space Curve. CASC 2015: 45-60 - [c52]Changbo Chen, Marc Moreno Maza:
Simplification of Cylindrical Algebraic Formulas. CASC 2015: 119-134 - [c51]Changbo Chen, Xiaohui Chen, Abdoul-Kader Keita, Marc Moreno Maza, Ning Xie:
MetaFork: a compilation framework for concurrency models targeting hardware accelerators and its application to the generation of parametric CUDA kernels. CASCON 2015: 70-79 - [c50]Sardar Anisul Haque, Marc Moreno Maza, Ning Xie:
A Many-Core Machine Model for Designing Algorithms with Minimum Parallelism Overheads. PARCO 2015: 35-44 - 2014
- [j34]Robert M. Corless, Marc Moreno Maza, Steven E. Thornton:
Zigzag Form over Families of Parametric Matrices. ACM Commun. Comput. Algebra 48(3/4): 109-112 (2014) - [j33]Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie:
Basic Polynomial Algebra Subprograms. ACM Commun. Comput. Algebra 48(3/4): 197-201 (2014) - [c49]Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson:
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. CASC 2014: 44-58 - [c48]Sardar Anisul Haque, Farnam Mansouri, Marc Moreno Maza:
On the Parallelization of Subproduct Tree Techniques Targeting Many-Core Architectures. CASC 2014: 171-185 - [c47]Changbo Chen, Marc Moreno Maza:
Real Quantifier Elimination in the RegularChains Library. ICMS 2014: 283-290 - [c46]Changbo Chen, Marc Moreno Maza:
Cylindrical Algebraic Decomposition in the RegularChains Library. ICMS 2014: 425-433 - [c45]Parisa Alvandi, Changbo Chen, Steffen Marcus, Marc Moreno Maza, Éric Schost, Paul Vrbik:
Doing Algebraic Geometry with the RegularChains Library. ICMS 2014: 472-479 - [c44]Changbo Chen, Marc Moreno Maza:
Solving Parametric Polynomial Systems by RealComprehensiveTriangularize. ICMS 2014: 504-511 - [c43]Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie:
The Basic Polynomial Algebra Subprograms. ICMS 2014: 669-676 - [c42]Sardar Anisul Haque, Xin Li, Farnam Mansouri, Marc Moreno Maza, Wei Pan, Ning Xie:
Dense Arithmetic over Finite Fields with the CUMODP Library. ICMS 2014: 725-732 - [c41]Changbo Chen, Marc Moreno Maza:
Quantifier elimination by cylindrical algebraic decomposition based on regular chains. ISSAC 2014: 91-98 - [c40]Xiaohui Chen, Marc Moreno Maza, Sushek Shekar, Priya Unnikrishnan:
MetaFork: A Framework for Concurrency Platforms Targeting Multicores. IWOMP 2014: 30-44 - [c39]Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson:
Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. CICM 2014: 45-60 - [i11]Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson:
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. CoRR abs/1401.6310 (2014) - [i10]Sardar Anisul Haque, Marc Moreno Maza, Ning Xie:
A Many-core Machine Model for Designing Algorithms with Minimum Parallelism Overheads. CoRR abs/1402.0264 (2014) - [i9]Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson:
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. CoRR abs/1404.6371 (2014) - 2013
- [j32]Changbo Chen, Robert M. Corless, Marc Moreno Maza, Pei Yu, Yiming Zhang:
An Application of Regular Chain Theory to the Study of Limit cycles. Int. J. Bifurc. Chaos 23(9) (2013) - [j31]Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao:
Triangular decomposition of semi-algebraic systems. J. Symb. Comput. 49: 3-26 (2013) - [j30]Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao:
Computing with semi-algebraic sets: Relaxation techniques and effective boundaries. J. Symb. Comput. 52: 72-96 (2013) - [c38]Parisa Alvandi, Changbo Chen, Marc Moreno Maza:
Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One. CASC 2013: 30-45 - [i8]Parisa Alvandi, Changbo Chen, Marc Moreno Maza:
An Algorithm for Computing the Limit Points of the Quasi-component of a Regular Chain. CoRR abs/1302.4688 (2013) - 2012
- [j29]Changbo Chen, Marc Moreno Maza:
Algorithms for computing triangular decomposition of polynomial systems. J. Symb. Comput. 47(6): 610-642 (2012) - [j28]Marc Moreno Maza, Bican Xia, Rong Xiao:
On Solving Parametric Polynomial Systems. Math. Comput. Sci. 6(4): 457-473 (2012) - [c37]Changbo Chen, Marc Moreno Maza:
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions. ASCM 2012: 199-221 - [c36]Marc Moreno Maza, Rong Xiao:
Degree and Dimension Estimates for Invariant Ideals of \(P\) -Solvable Recurrences. ASCM 2012: 349-373 - [c35]Steffen Marcus, Marc Moreno Maza, Paul Vrbik:
On Fulton's Algorithm for Computing Intersection Multiplicities. CASC 2012: 198-211 - [c34]Marc Moreno Maza, Éric Schost, Paul Vrbik:
Inversion Modulo Zero-Dimensional Regular Chains. CASC 2012: 224-235 - [i7]Marc Moreno Maza, Rong Xiao:
Generating Program Invariants via Interpolation. CoRR abs/1201.5086 (2012) - [i6]Changbo Chen, Marc Moreno Maza:
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions. CoRR abs/1210.5543 (2012) - 2011
- [j27]Marc Moreno Maza, Wei Pan:
Solving bivariate polynomial systems on a GPU. ACM Commun. Comput. Algebra 45(1/2): 127-128 (2011) - [j26]Marc Moreno Maza, Paul Vrbik:
Inverting matrices modulo regular chains. ACM Commun. Comput. Algebra 45(1/2): 129-130 (2011) - [j25]Changbo Chen, James H. Davenport, François Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie:
Computing the real solutions of polynomial systems with the RegularChains library in Maple. ACM Commun. Comput. Algebra 45(3/4): 166-168 (2011) - [j24]Marc Moreno Maza, Yuzhen Xie:
Balanced Dense Polynomial Multiplication on Multi-Cores. Int. J. Found. Comput. Sci. 22(5): 1035-1055 (2011) - [j23]Xin Li, Marc Moreno Maza, Raqeeb Rasheed, Éric Schost:
The modpn library: Bringing fast polynomial arithmetic into Maple. J. Symb. Comput. 46(7): 841-858 (2011) - [j22]François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie:
When does <T> equal sat(T)? J. Symb. Comput. 46(12): 1291-1305 (2011) - [c33]Changbo Chen, Marc Moreno Maza:
Semi-algebraic Description of the Equilibria of Dynamical Systems. CASC 2011: 101-125 - [c32]Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao:
Computing with semi-algebraic sets represented by triangular decomposition. ISSAC 2011: 75-82 - [c31]Changbo Chen, Marc Moreno Maza:
Algorithms for computing triangular decompositions of polynomial systems. ISSAC 2011: 83-90 - [e3]Marc Moreno Maza:
SNC 2011, Proceedings of the 2011 Internation Workshop on Symbolic-Numeric Computation, San Jose, California, USA, June 7-9, 2011. ACM 2011, ISBN 978-1-4503-0515-0 [contents] - [i5]Changbo Chen, Marc Moreno Maza:
Algorithms for Computing Triangular Decompositions of Polynomial Systems. CoRR abs/1104.0689 (2011) - 2010
- [j21]Lingchuan Meng, Jeremy R. Johnson, Franz Franchetti, Yevgen Voronenko, Marc Moreno Maza, Yuzhen Xie:
Abstract only: SPIRAL-generated modular FFTs. ACM Commun. Comput. Algebra 44(1/2): 25-26 (2010) - [j20]Changno Chen, Marc Moreno Maza, Yuzhen Xie:
Cache complexity and multicore implementation for univariate real root isolation. ACM Commun. Comput. Algebra 44(3/4): 97-98 (2010) - [j19]Muhammad F. I. Chowdhury, Marc Moreno Maza, Wei Pan, Éric Schost:
Complexity and performance results for non FFT-based univariate polynomial multiplication. ACM Commun. Comput. Algebra 44(3/4): 99-100 (2010) - [j18]Xavier Dahan, Marc Moreno Maza, Éric Schost, Adrien Poteaux:
Almost linear time operations with triangular sets. ACM Commun. Comput. Algebra 44(3/4): 103-104 (2010) - [j17]Sardar Anisul Haque, Shahadat Hossain, Marc Moreno Maza:
Cache friendly sparse matrix-vector multiplication. ACM Commun. Comput. Algebra 44(3/4): 111-112 (2010) - [j16]François Boulier, François Lemaire, Marc Moreno Maza:
Computing differential characteristic sets by change of ordering. J. Symb. Comput. 45(1): 124-149 (2010) - [c30]Charles E. Leiserson, Marc Moreno Maza, Liyun Li, Yuzhen Xie:
Parallel computation of the minimal elements of a poset. PASCO 2010: 53-62 - [c29]Lingchuan Meng, Yevgen Voronenko, Jeremy R. Johnson, Marc Moreno Maza, Franz Franchetti, Yuzhen Xie:
Spiral-generated modular FFT algorithms. PASCO 2010: 169-170 - [c28]Sardar Anisul Haque, Shahadat Hossain, Marc Moreno Maza:
Cache friendly sparse matrix-vector multiplication. PASCO 2010: 175-176 - [c27]Charles E. Leiserson, Liyun Li, Marc Moreno Maza, Yuzhen Xie:
Efficient Evaluation of Large Polynomials. ICMS 2010: 342-353 - [c26]Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao:
Triangular decomposition of semi-algebraic systems. ISSAC 2010: 187-194 - [e2]Marc Moreno Maza, Jean-Louis Roch:
Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France. ACM 2010, ISBN 978-1-4503-0067-4 [contents] - [i4]Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao:
Triangular Decomposition of Semi-algebraic Systems. CoRR abs/1002.4784 (2010)
2000 – 2009
- 2009
- [j15]Marc Moreno Maza, Yuzhen Xie:
Balanced dense polynomial multiplication on multi-cores. ACM Commun. Comput. Algebra 43(3/4): 85-87 (2009) - [j14]Xin Li, Marc Moreno Maza, Éric Schost:
Fast arithmetic for triangular sets: From theory to practice. J. Symb. Comput. 44(7): 891-907 (2009) - [c25]François Boulier, Changbo Chen, François Lemaire, Marc Moreno Maza:
Real Root Isolation of Regular Chains. ASCM 2009: 33-48 - [c24]Marc Moreno Maza, Yuzhen Xie:
FFT-Based Dense Polynomial Arithmetic on Multi-cores. HPCS 2009: 378-399 - [c23]Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang:
Computing cylindrical algebraic decomposition via triangular decomposition. ISSAC 2009: 95-102 - [c22]Xin Li, Marc Moreno Maza, Wei Pan:
Computations modulo regular chains. ISSAC 2009: 239-246 - [c21]Marc Moreno Maza, Yuzhen Xie:
Balanced Dense Polynomial Multiplication on Multi-Cores. PDCAT 2009: 1-9 - [i3]Xin Li, Marc Moreno Maza, Wei Pan:
Computations modulo regular chains. CoRR abs/0903.3690 (2009) - [i2]Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang:
Computing Cylindrical Algebraic Decomposition via Triangular Decomposition. CoRR abs/0903.5221 (2009) - 2008
- [j13]John P. May, Mark Giesbrecht, Daniel S. Roche, Marc Moreno Maza, Yuzhen Xie:
Automatic variable order selection for polynomial system solving (abstract only). ACM Commun. Comput. Algebra 42(1-2): 83 (2008) - [j12]Changbo Chen, Liyun Li, Marc Moreno Maza, Wei Pan, Yuzhen Xie:
On the representation of constructible sets. ACM Commun. Comput. Algebra 42(3): 162-163 (2008) - [j11]Xin Li, Marc Moreno Maza, Raqeeb Rasheed, Éric Schost:
The modpn library: bringing fast polynomial arithmetic into MAPLE. ACM Commun. Comput. Algebra 42(3): 172-174 (2008) - [j10]Changbo Chen, Marc Moreno Maza, François Lemaire, Wei Pan, Liyun Li, Yuzhen Xie:
The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple. ACM Commun. Comput. Algebra 42(3): 182-184 (2008) - [j9]Changbo Chen, Marc Moreno Maza, Wei Pan, Yuzhen Xie:
On the verification of polynomial system solvers. Frontiers Comput. Sci. China 2(1): 55-66 (2008) - [j8]Oleg Golubitsky, Marina V. Kondratieva, Marc Moreno Maza, Alexey Ovchinnikov:
A bound for the Rosenfeld-Gröbner algorithm. J. Symb. Comput. 43(8): 582-610 (2008) - [j7]Xavier Dahan, Xin Jin, Marc Moreno Maza,