-
On the extended Hensel construction and its
application to the computation of real limit points.
Parisa Alvandi, Massoud Ataei, Mahsa Kazemi, Marc Moreno Maza.
J. of Symbolic Computation, vol. 98, p. 120-162, 2020.
PDF
BibTex
-
Comprehensive LU factors of polynomial matrices.
A.C. Camargos Couto, M. Moreno Maza, D. Linder, D.J. Jeffrey, R. M. Corles
To appear in the Proceedings of
Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2019.
Lecture Notes in Computer Science, Springer, 9 pages.
PDF
BibTex
-
The Z_Polyhedra library in Maple.
Rui-Juan Jing and Marc Moreno Maza.
To appear in the Proceedings of the Maple Conference 2019.
Lectures Notes in Computer Science, Springer, 13 pages.
PDF
BibTex
-
Detecting Singularities Using the PowerSeries Library
Mahsa Kazemi and Marc Moreno Maza.
To appear in the Proceedings of the Maple Conference 2019.
Lectures Notes in Computer Science, Springer, 13 pages.
PDF
BibTex
-
Divergence Prior and Vessel-Tree Reconstruction.
Zhongwen Zhang, Dmitrii Marin, Egor Chesakov, Marc Moreno Maza, Maria Drangova, Yuri Boykov.
The IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 2019, pp. 10216-10224.
PDF
BibTex
-
Big Prime Field FFT on Multi-core Processors.
Svyatoslav Covanov, Davood Mohajerani, Marc Moreno Maza, Lin-Xiao Wang.
In Proceedings of ISSAC 2019.
ACM Press, 106--113, 2019.
PDF
BibTex
-
A Short Contribution to the Theory of Regular Chains.
Francois Boulier, Francois Lemaire, Marc Moreno Maza, Adrien Poteaux.
Submitted to Mathematics in Computer Science.
Vol. 93, p. 34--55, 2019.
PDF
BibTex
-
An equivalence theorem for regular differential chains.
Francois Boulier, Francois Lemaire, Marc Moreno Maza, Adrien Poteaux.
J. of Symbolic Computation.
Vol. 93, p. 34--55, 2019.
PDF
BibTex
-
On the Parallelization of Triangular Decomposition of Polynomial Systems
Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza, Yuzhen Xie
CoRR
arXiv:1906.0003
PDF
BibTex
-
Algorithms and Data Structures for Sparse Polynomial Arithmetic.
Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, and Marc Moreno Maza.
Mathematics
7(5), p. 1-29, 2019.
PDF
BibTex
-
Comprehensive Rank Computation for Matrices Depending on Parameters.
R. M.~Corless, M. Moreno Maza, S. E. Thornton.
To appear in ACM Commun. Comput. Algebra.
See Chapter 2 in
PDF
BibTex
-
A Technique for Finding Optimal Program Launch Parameters Targeting Manycore Accelerators.
Alexander Brandt, Davood Mohajerani, Marc Moreno Maza, Jeeva Paudel, Lin-Xiao Wang
CoRR.
arXiv:1906.00142
PDF
BibTex
-
Complexity Estimates for Fourier-Motzkin Elimination.
Rui-Juan Jing, Marc Moreno-Maza, Delaram Talaashrafi.
CoRR.
arXiv:1811.01510
PDF
BibTex
-
Sparse Polynomial Arithmetic with the BPAS Library
Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, and Marc Moreno Maza.
Proceedings of Computer Algebra in Scientific Computing (CASC)
Lecture Notes in Computer Science, volume 11077, Springer, pp. 32--50, 2018.
PDF
BibTex
-
Comprehensive Optimization of Parametric Kernels for Graphics Processing Units
Xiaohui Chen, Marc Moreno-Maza, Jeeva Paudel, Ning Xie
CoRR
arXiv:1801.0434, 2018.
PDF
BibTex
-
Computing the Integer Points of a Polyhedron, I: Algorithm
Rui-Juan Jing, Marc Moreno Maza.
Proceedings of Computer Algebra in Scientific Computing 2017.
Lecture Notes in Computer Science, volume 10490, Springer, pages 225-241.
PDF
BibTex
-
Computing the Integer Points of a Polyhedron, II: Complexity Estimates
Rui-Juan Jing, Marc Moreno Maza.
Proceedings of Computer Algebra in Scientific Computing 2017.
Lecture Notes in Computer Science, volume 10490, Springer, pages 242-256.
PDF
BibTex
-
Computing the Integer Points of a Polyhedron (Extended Abstract).
Rui-Juan Jing, Marc Moreno Maza.
Proceedings of the 2nd International Workshop on Satisfiability Checking
and Symbolic Computation (SC^2) co-located with the 42nd International Symposium
on Symbolic and Algebraic Computation (ISSAC 2017).
CEUR Workshop Proceedings, volume 1974, 2017.
PDF
BibTex
-
The Z-Polyhedra library in Maple.
R.J.~Jing, M. Moreno Maza.
ACM Commun. Comput. Algebra.
Volume 51 Issue 3, Pages 86-88, 2017.
PDF
BibTex
-
Symbolic-Numeric Integration of Rational Functions
Robert M. Corless, Robert H.C. Moir, Marc Moreno Maza, Ning Xie.
J. of Numerical Algorithms.
Pages 1-26, 2019.
PDF
BibTex
-
Jordan Canonical Form with Parameters From
Frobenius Form with Parameters
Robert M. Corless, Steven E,. Thornton, Marc Moreno Maza.
Proceedings of
the Seventh Internationa Conference on Mathematical Aspects of Computer
Science and Information Sciences
(MACIS 2017).
Volume 10693 of the
Lecture Notes in Computer Science series, Springer-Verlag, 19 pages, 2017.
PDF
BibTex
-
On the Extended Hensel Construction and its Application to the Computation of Limit Points
Parisa Alvandi, Masoud Ataei, Marc Moreno Maza.
ISSAC '17 Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation.
Pages 13-20,
ACM New York, NY, USA.
PDF
BibTex
-
Big Prime Field FFT on the GPU
Liangyu Chen, Svyatoslav Covanov, Davood Mohajerani, Marc Moreno Maza.
ISSAC '17 Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation.
Pages 85-92,
ACM New York, NY, USA.
PDF
BibTex
-
Plain, and Somehow Sparse, Univariate Polynomial Division on Graphics Processing Units.
Sardar Anisul Haque, Amir Hashemi, Davood Mohajerani and Marc Moreno Maza.
Proceedings of the 6th International Workshop on Parallel and Symbolic Computation (PASCO'17)}.
ACM Press, 2010, pp. 10:1--10:10, 2017.
PDF
BibTex
-
Multithreaded programming on the GPU: pointers and hints for the computer algebraist
Marc Moreno Maza.
Proceedings of the 6th International Workshop on Parallel and Symbolic Computation (PASCO'17)}.
ACM Press, 2010, pp. 3:1--3:1, 2017.
PDF
BibTex
-
Parallel Integer Polynomial Multiplication
Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie.
International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing {SYNASC}
Pages 72-80, IEEE Society, 2016.
PDF
BibTex
-
Computing Limits of Real Multivariate Rational Functions
Parisa Alvandi, Mahsa Kazemi, Marc Moreno Maza.
ISSAC '16 Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation
Pages 39-46,
ACM New York, NY, USA.
PDF
BibTex
-
Computing limits with the regularchains and powerseries libraries: from rational functions to Zariski closure
(software demo abstract)
Parisa Alvandi, Mahsa Kazemi, Marc Moreno Maza.
ACM Communications in Computer Algebra.
Volume 50 Issue 3, September 2016
Pages 93-96
ACM New York, NY, USA.
PDF
BibTex
-
Basic Polynomial Algebra Subprograms (software demo abstract)
Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Robert H. C. Moir, Marc Moreno Maza, Ning Xie, Yuzhen Xie
ACM Communications in Computer Algebra.
Volume 48 Issue 3/4, September/December 2014
Pages 197-201
ACM New York, NY, USA.
PDF
BibTex
-
Quantifier Elimination by Cylindrical Algebraic Decomposition Based on Regular Chains
Changbo Chen, Marc Moreno Maza.
Journal of Symbolic Computation, 75: 74-93 (20), 2016.
PDF
BibTex
-
MetaFork: A Compilation Framework for Concurrency
Models Targeting Hardware Accelerators and Its
Application to the Generation of Parametric CUDA Kernels
Changbo Chen, Xiaohui Chen, Abdoul-Kader Keita,
Marc Moreno Maza, Ning Xie.
Proceedings of 25th Annual International Conference on Computer Science
and Software Engineering, {CASCON} 2015, Markham, Ontario, Canada, 2-4 November, 2015.
Published by IBM and the ACN, p. 70--79.
PDF
BibTex
-
Regular Chains under Linear Changes of Coordinates
and Applications
Parisa Alvandi, Changbo Chen, Amir Hashemi, Marc Moreno Maza.
Proceedings of Computer Algebra in Scientific Computing 2015 -
Lecture Notes in Computer Science, volume 9301, Springer, pages 30-44.
PDF
BibTex
-
A Standard Basis Free Algorithm for Computing the Tangent Cones of
a Space Curve
Parisa Alvandi, Marc Moreno Maza, Eric Schost, Paul Vrbik.
Proceedings of Computer Algebra in Scientific Computing 2015 -
Lecture Notes in Computer Science, volume 9301, Springer, pages 45-60.
PDF
BibTex
-
Simplification of Cylindrical Algebraic Formulas
Changbo Chen, Marc Moreno Maza.
Proceedings of Computer Algebra in Scientific Computing 2015 -
Lecture Notes in Computer Science, volume 9301, Springer, pages 119-134.
PDF
BibTex
-
A Many-Core Machine Model for Designing Algorithms with
Minimum Parallelism Overheads
Sardar Anisul Haque, Marc Moreno Maza, Ning Xie.
Proceedings of the International Conference on Parallel Computing 2015,
p. 35-44,
Published by IOS Press.
PDF
BibTex
-
Zigzag Form over Families of Parametric Matrices
Robert M. Corless, Marc Moreno Maza, Steven E. Thornton.
ACM Communications in Computer Algebra archive
Volume 48 Issue 3/4, September/December 2014
Pages 109-112
ACM New York, NY, USA.
PDF
BibTex
-
Real Quantifier Elimination in the RegularChains Library
Changbo Chen, Marc Moreno Maza.
Proceedings of ICMS 2014 - 4th International Congress of Mathematical Software,
Seoul, South Korea,
Lecture Notes in Computer Science, volume 8592, pages 283-290.
PDF
BibTex
-
Cylindrical Algebraic Decomposition in the RegularChains Library
Changbo Chen, Marc Moreno Maza.
Proceedings of ICMS 2014 - 4th International Congres of Mathematical Softwares,
Seoul, South Korea,
Lecture Notes in Computer Science, volume 8592, pages 425-433.
PDF
BibTex
-
Doing Algebraic Geometry with the RegularChains Library
Parisa Alvandi, Changbo Chen, Steffen Marcus, Marc Moreno Maza, Éric Schost, Paul Vrbik.
Proceedings of ICMS 2014 - 4th International Congress of Mathematical Softwares,
Seoul, South Korea,
Lecture Notes in Computer Science, volume 8592, pages 472-479.
PDF
BibTex
-
Solving Parametric Polynomial Systems by RealComprehensiveTriangularize
Changbo Chen, Marc Moreno Maza.
Proceedings of ICMS 2014 - 4th International Congress of Mathematical Softwares,
Seoul, South Korea,
Lecture Notes in Computer Science, volume 8592, pages 504-511.
PDF
BibTex
-
The Basic Polynomial Algebra Subprograms
Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie.
Proceedings of ICMS 2014 - 4th International Congress of Mathematical Softwares,
Seoul, South Korea,
Lecture Notes in Computer Science, volume 8592, pages 669-676.
PDF
BibTex
-
Dense Arithmetic over Finite Fields with the CUMODP Library
Sardar Anisul Haque, Xin Li, Farnam Mansouri, Marc Moreno Maza, Wei Pan, Ning Xie.
Proceedings of ICMS 2014 - 4th International Congress of Mathematical Softwares,
Seoul, South Korea,
Lecture Notes in Computer Science, volume 8592, pages 725-732.
PDF
BibTex
-
Quantifier Elimination by Cylindrical Algebraic
Decomposition Based on Regular Chains
Changbo Chen, Marc Moreno Maza.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, ACM, pages 91-98.
PDF
BibTex
-
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson.
Proceedings of Computer Algebra in Scientific Computing -
Lecture Notes in Computer Science, volume 8660, Springer, pages 44-59.
PDF
BibTex
-
Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson.
Proceedings of Intelligent Computer Mathematics - International Conference,
CICM 2014, Coimbra, Portugal, July 7,
Lecture Notes in Computer Science, volume 8543, Springer, pages 45-60.
PDF
BibTex
-
On the Parallelization of Subproduct Tree
Techniques Targeting Many-Core Architectures
Sardar Anisul Haque, Farnam Mansouri, Marc Moreno Maza.
Proceedings of Computer Algebra in Scientific Computing -
Lecture Notes in Computer Science, volume 8660, Springer, pages 171-185.
PDF
BibTex
-
MetaFork: A Framework for Concurrency
Platforms Targeting Multicores
Xiaohui Chen, M. Moreno Maza, Sushek Shekar and Priya Unnikrishnan.
Proceedings of
the International Workshop on OpenMP (IWOMP), volume 8766 of Lecture Notes in Computer, Springer, p. 30-44, 2014.
Science
PDF
-
Computing the Supremum of the Real Roots of a Parametric Univariate Polynomial
Changbo Chen, Marc Moreno Maza, Yuzhen Xie.
Proceedings of
the Fifth Internationa Conference on Mathematical Aspects of Computer
Science and Information Sciences
(MACIS 2013),
Edited by Tomas Sturm, 10 pages, 2013.
PDF
BibTex
-
An application of regular chain theory to the study of limit cycles
Changbo Chen, Robert M. Corless, Marc Moreno Maza, Pei Yu, Yiming Zhang.
International Journal of Bifurcation and Chaos, volume 23, number 9, 2013.
PDF
BibTex
-
Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One
Parisa Alvandi, Changbo Chen, Marc Moreno Maza.
Proceedings of Computer Algebra in Scientific Computing - 15th International
Workshop, CASC 2013, Berlin, Germany,
Lecture Notes in Computer Science, volume 8136, Springer-Verlag, pages 30-45.
PDF
BibTex
-
Triangular decomposition of semi-algebraic systems
Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza,
Bican Xia, Rong Xiao.
Journal of Symbolic Computation.
49: 3-26, 2013.
PDF
BibTex
-
Computing with semi-algebraic sets: Relaxation techniques and effective boundaries
Changbo Chen, James H. Davenport, Marc Moreno Maza,
Bican Xia, Rong Xiao.
Journal of Symbolic Computation.
52: 72-96, 2013.
PDF
BibTex
-
On Fulton's Algorithm for Computing Intersection Multiplicities
Steffen Marcus, Marc Moreno Maza, Paul Vrbik.
Proceedings of Computer Algebra in Scientific Computing
(CASC 2012),
Springer Verlag, LNCS 6885, pages 198-211, 2012.
PDF
BibTex
-
Inversion Modulo Zero-Dimensional Regular Chains
Marc Moreno Maza, Éric Schost, Paul Vrbik.
Proceedings of Computer Algebra in Scientific Computing
(CASC 2012),
Springer Verlag, LNCS 6885, pages 224-235, 2012.
PDF
BibTex
-
Generating Program Invariants via Interpolation
Marc Moreno Maza, Rong Xiao.
CoRR,
abs/1201.5086, 2012.
PDF
BibTex
-
Degree and dimension estimates for invariant ideals of P-solvable recurrences
Marc Moreno Maza, Rong Xiao.
Proc. of the 2012 Asian Symposium of Computer Mathematics (ASCM),
Springer,
pages 349-373, 2012.
PDF
BibTex
-
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
Changbo Chen, Marc Moreno Maza
Proc. of the 2012 Asian Symposium of Computer Mathematics (ASCM),
Springer,
p. 199-221, 2012.
PDF
BibTex
-
Plain polynomial arithmetic on GPU
Sardar Anisul Haque and Marc Moreno Maza.
High Performance Computing Symposium (HPCS2012).
J. of Physics: Conference Series,
385, 10 pages, 2012.
PDF
BibTex
-
On the Factor Refinement Principle and its
Implementation on Multicore Architectures
Moshin Md. Ali and Marc Moreno Maza, Yuzhen Xie.
High Performance Computing Symposium (HPCS2012).
J. of Physics: Conference Series,
385, 10 pages, 2012.
PDF
BibTex
-
On solving parametric polynomial systems
Marc Moreno Maza, Bican Xia, Rong Xiao.
J. of Mathematics in Computer Science.
5(4):457-473 (2012).
PDF
BibTex
-
Algorithms for computing triangular decompositions of polynomial systems
Changbo Chen and M. Moreno Maza.
Journal of Symbolic Computation,
47(6): 610-642 (2012).
PDF
BibTex
-
Solving Bivariate Polynomial Systems on a GPU
Marc Moreno Maza and Wei Pan.
High Performance Computing Symposium (HPCS2011).
J. of Physics: Conference Series,
vol. 341, 2011.
PDF
BibTex
-
Determinant Computation on the GPU using the Condensation Method
Sardar Anisul Haque and Marc Moreno Maza.
High Performance Computing Symposium (HPCS2010).
J. of Physics: Conference Series,
vol. 341, 2011.
PDF
BibTex
-
Cache Complexity and Multicore Implementation for Univariate Real Root Isolation
Changbo Chen, Marc Moreno Maza and Yuzhen Xie.
High Performance Computing Symposium (HPCS2010).
J. of Physics: Conference Series,
vol. 341, 2011.
PDF
BibTex
-
Solving semi-algebraic systems with the RegularChains library in Maple
Changbo Chen, James H. Davenport, Francois Lemaire, Marc Moreno Maza,
Nalina Phisanbut, Bican Xia, Rong Xiao, Yuzhen Xie.
Proceedings of
the Fourth Internationa Conference on Mathematical Aspects of Computer
Science and Information Sciences
(MACIS 2011),
Edited by Stefan Raschau, pp. 38--51, 2011.
PDF
BibTex
-
On solving parametric polynomial systems
Marc Moreno Maza, Bican Xia, Rong Xiao.
Proceedings of
the Fourth Internationa Conference on Mathematical Aspects of Computer
Science and Information Sciences
(MACIS 2011),
Edited by Stefan Raschau, pp. 205--215, 2011.
PDF
BibTex
-
Computing with semi-algebraic sets represented by triangular decomposition
Changbo Chen, James H. Davenport, M. Moreno Maza,
Bican Xia, Rong Xiao.
Proceedings of
2011 International Symposium on Symbolic and Algebraic Computation
(ISSAC 2011),
ACM Press, pp. 75--82, 2011.
PDF
BibTex
-
Algorithms for computing triangular decompositions of polynomial systems
Changbo Chen and M. Moreno Maza.
Proceedings of
2011 International Symposium on Symbolic and Algebraic Computation
(ISSAC 2011),
ACM Press, pp. 83--90, 2011.
PDF
BibTex
-
Semi-algebraic description of the equilibria of dynamical systems
Changbo Chen and M. Moreno Maza.
Proceedings of
2011 Computer Algebra in Scientific Computing
(CASC 2011),
Springer Verlag, LNCS 6885, pages 101-125, 2011.
PDF
BibTex
-
Proceedings of the 4th International Workshop on
Symbolic-Numeric Computation (SNC'11).
M. Moreno Maza, Editor.
ISBN: 978-1-4503-0515-0.
ACM Press, 204 pages, New York, NY, USA, 2011.
PDF
BibTex
-
The Modpn Library: Bringing Fast Polynomial Arithmetic into Maple
X. Li, M. Moreno Maza, R. Rasheed
and É. Schost.
J. of Symbolic Computation,
46(7): 841-858, 2011.
PDF
BibTex
-
Balanced Dense Polynomial Multiplication
on Multi-cores
M. Moreno Maza and Yuzhen Xie.
International Journal of Foundations
of Computer Science.
22(5): 1035-1055, 2011.
PDF
BibTex
-
When does 〈T〉 Equal sat(T)?
F. Lemaire, M. Moreno Maza, W. Pan and Y. Xie.
Journal of Symbolic Computation,
46(12): 1291-1305, 2011.
PDF
BibTex
-
Fast polynomial multiplication on a GPU
M. Moreno Maza and Wei Pan.
High Performance Computing Symposium (HPCS2010)
in Journal of Physics: Conference Series 256 (2010) 012009
PDF
BibTex
-
Proceedings of the 4th International Workshop on
Parallel and Symbolic Computation (PASCO'10).
M. Moreno Maza and Jean-Louis Roch, Editors.
ISBN: 978-1-4503-0067-4.
ACM Press, 192 pages, New York, NY, USA, 2010.
PDF
BibTex
-
Triangular decomposition of semi-algebraic systems
Changbo Chen, James H. Davenport, John P. May, M. Moreno Maza,
Bican Xia, Rong Xiao.
Proceedings of
2010 International Symposium on Symbolic and Algebraic Computation
(ISSAC 2010),
ACM Press, pp. 187--194, 2010.
PDF
BibTex
-
Parallel computation of the minimal elements of a poset
Charles E. Leiserson, Liyun Li, M. Moreno Maza, and Yuzhen Xie.
Proceedings of the 4th International Workshop on Parallel and Symbolic Computation (PASCO'10),
ACM Press, 2010, pp. 53--62.
PDF
BibTex
-
Efficient Evaluation of Large Polynomials
Charles E. Leiserson, Liyun Li, M. Moreno Maza, and Yuzhen Xie.
Proceedings of the International Congress of Mathematical Software (ICMS 2010),
LNCS 6327, Springer, 2010.
PDF
BibTex
-
Cache friendly sparse matrix-vector multiplication
Sardar Anisul Haque, Shahadat Hossain and M. Moreno Maza.
Proceedings of the 4th International Workshop on Parallel and Symbolic Computation (PASCO'10),
ACM Press, 2010, pp. 175-176.
PDF
BibTex
-
SPIRAL-generated modular FFT algorithms
Lingchua Meng, Yevgen Voronenko, Jeremy R. Johnson, M. Moreno Maza, Franz Franchetti and Yuzhen Xie.
Proceedings of 4th International Workshop on Parallel and Symbolic Computation (PASCO'10),
ACM Press, 2010, pp. 169-170.
PDF
BibTex
-
GCD Computations Modulo Regular Chains
X. Li, M. Moreno Maza, W. Pan.
Submitted to the
Journal of Symbolic Computation.
PDF
BibTex
-
Balanced Dense Polynomial Multiplication
on Multi-cores
M. Moreno Maza and Y. Xie.
Proceedings of Parallel and Distributed Computing, Applications and
Technologies (PDCAT)
, 9 pages, 2009
PDF
BibTex
-
Multicore-enabling Dense Polynomial Multiplication
M. Moreno Maza and Y. Xie.
Intel, Developer Zone
, 2009
HTML
BibTex
-
Computations Modulo Regular Chains
X. Li, M. Moreno Maza, W. Pan.
Proceedings of ISSAC 2009,
pages 239-246, ACM Press, New York,
2009
PDF
BibTex
-
Computing Cylindrical Algebraic Decomposition via
Triangular Decomposition
C. Chen, M. Moreno Maza, B. Xia, L. Yang.
Proceedings of ISSAC 2009,
pages 95-102, ACM Press, New York, 2009
PDF
BibTex
-
Computing Differential Characteristic Sets by Change of Ordering
F. Boulier, F. Lemaire and M. Moreno Maza.
Journal of Symbolic Computation
Volume 45, Issue 1, Pages: 124-149, Janvier 2010.
PDF
BibTex
-
Fast Arithmetic for Triangular Sets: from Theory to Practice
X. Li, M. Moreno Maza and É Schost.
Journal of Symbolic Computation,
44(7): 891-907, 2009
PDF
BibTex
-
User Interface Design for Geometrical
Decomposition Algorithms in Maple
C. Chen, J. H. Davenport, J. May,
M. Moreno Maza, B. Xia, R. Xiao and Y. Xie.
Proceedings of Mathematical User-Interface,
12 pages, 2009
PDF
BibTex
-
FFT-based Dense Polynomial Arithmetic on Multi-cores
M. Moreno Maza and Y. Xie.
In
High Performance Computing Systems and Applications.
23rd International Symposium HPCS 2009,
Revised Selected Papers.
LNCS 5976, Springer, pp 378-399, 2009.
PDF
BibTex
-
Real Root Isolation of Regular Chains
F. Boulier, C. Chen, F.Lemaire and M. Moreno Maza.
In
Proceedings of the 2009 Asian Symposium on Computer Mathematics (ASCM 2009)
Math-for-Industry, pp 15-29, 2009.
PDF
and
PDF (updated 2013, for post-conference proceedings to appear)
BibTex
-
Computing with Constructible Sets in Maple
C. Chen, F. Lemaire, L. Liyun, M. Moreno Maza,
W. Pan and Y. Xie.
Submitted to J. of Symbolic Computation,
2009
PDF
BibTex
-
Multicore-enabling Dense Polynomial Multiplication
M. Moreno Maza and Y. Xie.
Multicore Programming Blog,
Cilk Arts, 2009
Blog
BibTex
-
Change of Ordering for Regular Chains in Positive Dimension
X. Dahan, X. Jin, M. Moreno Maza and É Schost.
Theoretical Computer Science,
392 (2008): 3765, 2008
PDF
BibTex
-
A Bound for the Rosenfeld-Gröbner Algorithm
O. Golubitsky, M. Kondratieva, M. Moreno Maza and A. Ovchinnikov
Journal of Symbolic Computation,
43(8): 582-610, 2008
PDF
BibTex
-
On the Verification of Polynomial System Solvers
C. Chen, M. Moreno Maza, W. Pan and Y. Xie
Frontiers of Computer Science in China,
Vol 2, Numb 1, pages 55-66, 2008
PDF
BibTex
-
When does 〈T〉 Equal sat(T)?
F. Lemaire, M. Moreno Maza, W. Pan and Y. Xie
Proceedings of ISSAC 2008,
pages 207-214,
ACM Press, New York, NY, USA, 2008
PDF
BibTex
-
The Complete Root Classification of a Parametric Polynomial on an
Interval
S. Liang, D.J. Jeffrey, M. Moreno Maza
Proceedings of ISSAC 2008,
pages 189-196, ACM Press, New York, 2008
PDF
BibTex
-
On the Representation of Constructible Sets
C. Chen, L. Li, M. Moreno Maza, W. Pan
and Y. Xie
Proceedings of Milestones in Computer Algebra 2008,
pages 103-108,
Trinidad and Tobago, 2008
PDF
BibTex
-
The ConstructibleSetTools and
ParametricSystemsTools Modules of the
RegularChains Library in Maple
C. Chen, F. Lemaire, L. Liyun, M. Moreno Maza,
W. Pan and Y. Xie
Proceedings of the International Conference on Computational Science
and Applications, IEEE Computer Society,
pages 342-352, 2008
PDF
BibTex
-
The Modpn Library: Bringing Fast Polynomial Arithmetic into Maple
X. Li, M. Moreno Maza, R. Rasheed and É. Schost
Proceedings of Milestones in Computer Algebra 2008,
pages 73-80,
Trinidad and Tobago, 2008
PDF
BibTex
-
High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted Programming Environment
X. Li, M. Moreno Maza, R. Rasheed
and É. Schost
Proceedings of International Conference on Computational Sciences and
Its Applications,
pages 331-341. IEEE Computer Society, 2008
PDF
BibTex
-
MICA '08: Proceedings of Milestones in Computer Algebra 2008: A Conference in Honour of Keith Geddes' 60th Birthday
edited by M. Moreno Maza and S. M. Watt
ISBN 978-0-7714-2682-7,
Trinidad and Tobago, 217 pages, 2008
PDF
BibTex
-
On Approximate Triangular Decompositions in Dimension Zero
M. Moreno Maza, G. Reid, R. Scott and W. Wu
Journal of Symbolic Computation,
42(7):693-716, 2007
PDF
BibTex
-
On Approximate Linearized Triangular Decompositions
M. Moreno Maza, G. Reid, R. Scott and W. Wu
book chapter of
Advances on Symbolic-Numeric Computation,
edited by D. M. Wang and L. Zhi, p. 268-287, Springer, 2007
PDF
BibTex
-
Fast Arithmetic for Triangular Sets: From Theory to Practice
X. Li, M. Moreno Maza and É. Schost
Proceedings of ISSAC 2007,
pages 269-276, ACM Press, New York, NY, USA, 2007
PDF
BibTex
-
Component-level Parallelization of Triangular Decompositions
M. Moreno Maza and Y. Xie
Proceedings of Parallel Symbolic Computation'07,
pages 69-77,
ACM Press, New York, NY, USA, 2007
PDF
BibTex
-
Multiprocessed Parallelism Support in Aldor on SMPs and Multicores
M. Moreno Maza, B. Stephenson, Y. Xie and S.M. Watt
Proceedings of Parallel Symbolic Computation'07,
pages 60-68,
ACM Press, New York, NY, USA, 2007
PDF
BibTex
-
Multithreaded Parallel Implementation of
Arithmetic Operations modulo a Triangular Set
X. Li and M. Moreno Maza
Proceedings of Parallel Symbolic Computation'07,
pages 53-59,
ACM Press, New York, NY, USA, 2007
PDF
BibTex
-
Comprehensive Triangular Decomposition
C. Chen, F. Lemaire, O. Golubitsky, M. Moreno Maza and W. Pan
Proceedings of CASC 2007: Computer Algebra in Scientific Computing,
pages 73-101,
Lecture Notes in Computer Science, vol. 4770,
Springer-Verlag, 2007
PDF
BibTex
-
Generic Programming Techniques in ALDOR
M. Bronstein, M. Moreno Maza and S.M. Watt
Proceedings of the Fifth Asian Workshop on Foundations of Software,
pages 72-77, University of Xiamen, China, 2007
PDF
BibTex
-
On the Verification of Polynomial System Solvers
C. Chen, M. Moreno Maza, W. Pan and Y. Xie
Proceedings of the Fifth Asian Workshop on Foundations of Software,
pages 116-144, University of Xiamen, China, 2007
PDF
BibTex
-
On the Virtues of Generic Programming for Symbolic Computation
X. Li, M. Moreno Maza and É Schost
Proceedings of Computer Algebra Systems and Their Applications'07,
Y. Shi et al. (Eds.): ICCS 2007, Part II, LNCS 4488, pp. 251258,
Springer-Verlag Berlin Heidelberg 2007
PDF
BibTex
-
Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library
C. Chen, F. Lemaire, M. Moreno Maza, W. Pan and Y. Xie
Proceedings of Computer Algebra Systems and Their Applications'07,
Y. Shi et al. (Eds.): ICCS 2007, Part II, LNCS 4488, pp. 268271,
Springer-Verlag Berlin Heidelberg 2007
PDF
BibTex
-
PASCO '07: Proceedings of the 2007 international workshop on Parallel symbolic computation
edited by M. Moreno Maza and S. M. Watt
ISBN 978-1-59593-741-4,
ACM Press, 107 pages, New York, NY, USA, 2007
BibTex
-
Tutorial: Triangular Decompositions of Polynomial Systems: from Theory to Practice
M. Moreno Maza
Proceedings of ISSAC'06,
page 8, ACM Press, 2006
Extended abstract in PDF
Slides in PDF
BibTex
-
Implementation Techniques for Fast Polynomial Arithmetic in a High-level Programming Environment
A. Filatei, X. Li, M. Moreno Maza and É Schost
Proceedings of ISSAC'06,
pages 93-100, ACM Press, 2006
PDF
BibTex
-
Brief Announcement: An Implementation Report for Parallel Triangular Decompositions
Moreno Maza, M. and Xie, Y
Proceedings of 19th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA),
page 235, ACM Press, 2006
PDF
BibTex
-
Change of Ordering for Regular Chains in Positive Dimension
X. Dahan, X. Jin, M. Moreno Maza and É Schost
Proceedings of Algebraic Geometry and Geometric Modelling'06,
pages 49-53, Universidad de Barcelona, 2006
PDF
BibTex
-
Parallelization of Triangular Decompositions
M. Moreno Maza and Y. Xie
Proceedings of Algebraic Geometry and Geometric Modelling'06,
pages 96-100, Universidad de Barcelona, 2006
PDF
BibTex
-
Efficient Implementation of Polynomial Arithmetic in a Multiple-level Programming Environment
X. Li and M. Moreno Maza
Proceedings of International Congress of Mathematical Software - ICMS 2006,
pages 12-23, Springer, 2006
PDF
BibTex
-
Bounds and Algebraic Algorithms in Differential Algebra: the
Ordinary Case
O. Golubitsky, M. Kondratieva, M. Moreno Maza and A. Ovchinnikov
Proceedings of the 9th Intern. Conf. on Intelligent Systems and Computer Science'06,
pages 7-11, Faculty of Mechanics and Mathematics, Moscow State University, 2006
PDF
BibTex
-
Change of Ordering for Regular Chains in Positive Dimension
X. Dahan, X. Jin, M. Moreno Maza and É Schost
Proceedings of Maple Conference 2006,
pages 26-24, Maplesoft, 2006
PDF
BibTex
-
Well Known Theorems on Triangular Systems and the D5 Principle
F. Boulier, F. Lemaire and M. Moreno Maza
Proceedings of Transgressive Computing 2006,
J.-G. Dumas et al., editors,
Granada, Spain, 2006
PDF
BibTex
-
On the Complexity of the D5 Principle
X. Dahan, M. Moreno Maza, É. Schost, and Y. Xie
Proceedings of Transgressive Computing 2006,
J.-G. Dumas et al., editors,
Granada, Spain, 2006
PDF
BibTex
-
Primary Decomposition of Zero-dimensional Ideals: Putting
Monico's Algorithm into Practice
M. Moreno Maza, É. Schost, and W. Zhou
Proceedings of Transgressive Computing 2006,
J.-G. Dumas et al., editors,
Granada, Spain, 2006
PDF
BibTex
-
Making a Sophisticated Symbolic Solver Available to Different Communities of Users
F. Lemaire, M. Moreno Maza and Y. Xie
Proceedings of Asian Technology Conference in Mathematics'06,
Polytechnic University of Hong Kong, 2006
PDF
BibTex
-
On Approximate Triangular Decompsoitions I. Dimension Zero
M. Moreno Maza and G. Reid and R. Scott and W. Wu
Proceedings of Symbolic-Numeric Computation'05,
D. M. Wang and L. Zhi editors,
Xi'an, China, 2005
PDF
BibTex
-
On Approximate Triangular Decompositions II. Linear Systems
M. Moreno Maza and G. Reid and R. Scott and W. Wu
Proceedings of Symbolic-Numeric Computation'05,
D. M. Wang and L. Zhi editors,
Xi'an, China, 2005
PDF
BibTex
-
Lifting Techniques for Triangular Decompositions
X. Dahan, M. Moreno Maza, É. Schost, W. Wu and Y. Xie
Proceedings of ISSAC'05,
Beijing, China, ACM Press, 2005
Distinguished Student Author Award
PDF
BibTex
-
The RegularChains Library in Maple 10
F. Lemaire and M. Moreno Maza and Y. Xie
Proceedings of Maple Summer Conference'05,
Ilias S. Kotsireas editor, Waterloo, Canada, 2005
PDF
BibTex
-
A New Henselian Construction and its Application to Polynomial GCDs over Direct Products of Fields
F. Boulier, M. Moreno Maza and C.Oancea
Proceedings of EACA'04,
Universidad de Santander, Spain, 2004
PS
BibTex
-
Debugging Aldor via a Unified Runtime Environment
J. Cai, M. Dunstan, M. Moreno Maza and S Watt
Proceedings of EACA'04,
Universidad de Santander, Spain, 2004
PS
BibTex
-
Debugging a High Level Language via a Unified Interpreter and Compiler Runtime Environment
J. Cai, M. Dunstan, M. Moreno Maza and S Watt
Proceedings of ACA'04,
University of Texas at Beaumont, USA, 2004
PS
BibTex
-
Equiprojectable Decompositions of Zero-dimensional Varieties
X. Dahan, M. Moreno Maza, É. Schost, W. Wu and Y. Xie
Proceedings of International Conference on Poynomial System Solving,
University of Paris 6, France, 2004
PDF
BibTex
-
On Computer-assisted Classification of Coupled Integrable Equations
M.V. Foursov and M. Moreno Maza
Journal of Symbolic Computation,
33(1):647-660, 2002
PDF
BibTex
-
Computation of Canonical Forms for Ternary Cubics
I. Kogan and M. Moreno Maza
Proceedings of ISSAC 2002,
pages 151-160, ACM Press, 2002
PS
BibTex
-
On Computer-assisted Classification of Coupled Integrable Equations
M.V. Foursov and M. Moreno Maza
Proceedings of ISSAC 2001,
pages 129-136, ACM Press, 2001
PS
BibTex
-
PARDI !
F. Boulier, F.Lemaire and M. Moreno Maza
Proceedings of ISSAC 2001,
pages 38-47, ACM Press, 2001
PS
BibTex
-
On the Relationship between the Kaup-Kupershmidt and Sawada-Kotera Equations
M.V. Foursov and M. Moreno Maza
Tech. Rep. LIFL 2001-04,
Univ. of Lille 1, 2001
PS
BibTex
-
Well Known Theorems on Triangular Systems
F. Boulier, F. Lemaire and M. Moreno Maza
Tech. Rep. LIFL 2001-09,
Univ. of Lille 1, 2001
PS
BibTex
-
PARDI !
F. Boulier, F. Lemaire and M. Moreno Maza
Tech. Rep. LIFL 2001-011,
Univ. of Lille 1, 2001
PDF
BibTex
-
On Triangular Decompositions of Algebraic Varieties
M. Moreno Maza
Presented at the MEGA-2000 conference,
Bath, UK, June 2000
PS
BibTex
-
On the Theories of Triangular Sets
P. Aubry, D. Lazard, M. Moreno Maza
Journal of Symbolic Computation,
28(1-2):105-124, 1999
PDF
BibTex
-
Triangular Sets for Solving Polynomial Systems: A Comparative
Implementation of Four Methods
P. Aubry and M. Moreno Maza
Journal of Symbolic Computation,
28(1-2):125-154, 1999
PDF
BibTex
-
Calculs de Pgcd au-dessus des Tours d'Extensions
Simples et Résolution des Systèmes d'Équations
Algébriques
M. Moreno Maza
PhD Thesis,
Universit'e Paris 6, France, 1997
PS.GZ
BibTex
-
Polynomial GCD Computations over Towers of Algebraic Extensions
M. Moreno Maza and R. Rioboo
Proceedings of AAECC-11,
pages 365-382. Springer, 1995
PS
BibTex
-
by
Proceedings of
PDF
BibTex