Marc Moreno Maza

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 62

Top Venues

CASC

CoRR

ACM Commun. Comput. Algebra

ISSAC

Publications

Rui-Juan Jing, Yuzhuo Lei, Christopher F. S. Maligec, Marc Moreno Maza
Counting the Integer Points of Parametric Polytopes: A Maple Implementation. CASC (2024)
Rui-Juan Jing, Marc Moreno Maza, Yan-Feng Xie, Chun-Ming Yuan
Efficient detection of redundancies in systems of linear inequalities✱. ISSAC (2024)
Alexander Brandt, Juan Pablo González Trochez, Marc Moreno Maza, Haoze Yuan
A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface. CASC (2023)
Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza, Yuzhen Xie
Parallelization of triangular decompositions: Techniques and implementation. J. Symb. Comput. 115 (2023)
Juan Pablo González Trochez, Marc Moreno Maza, Erik Postma, Matt Calder
Laurent Series and Puiseux Series in Maple. Maple Trans. 3 (2) (2023)
Alexander Brandt, Marc Moreno Maza, Taabish Jeshani, Linxiao Wang, Davood Mohajerani, Jeeva Paudel
Dynamically Finding Optimal Kernel Launch Parameters for CUDA Programs. CASCON (2023)
Delaram Talaashrafi, Marc Moreno Maza, Johannes Doerfert
Towards Automatic OpenMP-Aware Utilization of Fast GPU Memory. IWOMP (2022)
Juan Pablo González Trochez, Matt Calder, Marc Moreno Maza, Erik Postma
A Maple implementation of a modular algorithm for computing the common zeros of a polynomial and a regular chain. Maple Trans. 2 (1) (2022)
Ryan Sandford, Jürgen Gerhard, Marc Moreno Maza
Computing Intersection Multiplicities with Regular Chains. Maple Trans. 2 (1) (2022)
Marc Moreno Maza, Haoze Yuan
Balanced Dense Multivariate Multiplication: The General Case. SYNASC (2022)
Mohammadali Asadi, Alexander Brandt, David J. Jeffrey, Marc Moreno Maza
Subresultant Chains Using Bézout Matrices. CASC (2022)
Erik Postma, Marc Moreno Maza
Substituting Units into Multivariate Power Series. Maple Trans. 2 (1) (2022)
Delaram Talaashrafi, Johannes Doerfert, Marc Moreno Maza
A Pipeline Pattern Detection Technique in Polly. ICPP Workshops (2022)
Juan Pablo González Trochez, Marc Moreno Maza, Matt Calder, Erik Postma
Algorithms for multivariate laurent series. ACM Commun. Comput. Algebra 56 (2) (2022)
Marc Moreno Maza, Linxiao Wang
Computing the Integer Hull of Convex Polyhedral Sets. CASC (2022)
Mohammadali Asadi, Alexander Brandt, Marc Moreno Maza
Computational Schemes for Subresultant Chains. CASC (2021)
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) (2021)
Marc Moreno Maza
Design and Implementation of Multi-Threaded Algorithms in Polynomial Algebra. ISSAC (2021)
Marc Moreno Maza, Linxiao Wang
On the Pseudo-Periodicity of the Integer Hull of Parametric Convex Polygons. CASC (2021)
Marc Moreno Maza, Ryan Sandford
Towards Extending Fulton's Algorithm for Computing Intersection Multiplicities Beyond the Bivariate Case. CASC (2021)
Alexander Brandt, Marc Moreno Maza
On the Complexity and Parallel Implementation of Hensel's Lemma and Weierstrass Preparation. CoRR (2021)
Mohammadali Asadi, Alexander Brandt, Mahsa Kazemi, Marc Moreno Maza, Erik Postma
Multivariate Power Series in Maple. CoRR (2021)
Alexander Brandt, Marc Moreno Maza
On the Complexity and Parallel Implementation of Hensel's Lemma and Weierstrass Preparation. CASC (2021)
Rui-Juan Jing, Marc Moreno Maza, Delaram Talaashrafi
Complexity Estimates for Fourier-Motzkin Elimination. CASC (2020)
Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza
Employing C++ Templates in the Design of a Computer Algebra Library. ICMS (2020)
Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza, Yuzhen Xie
On the parallelization of triangular decompositions. ISSAC (2020)
Alexander Brandt, Mahsa Kazemi, Marc Moreno Maza
Power Series Arithmetic with the BPAS Library. CASC (2020)
Mohammadali Asadi, Alexander Brandt, Mahsa Kazemi, Marc Moreno Maza, Erik J. Postma
Multivariate Power Series in Maple. MC (2020)
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 (2020)
Robert H. C. Moir, Robert M. Corless, Marc Moreno Maza, Ning Xie
Symbolic-numeric integration of rational functions. Numer. Algorithms 83 (4) (2020)
Rui-Juan Jing, Marc Moreno Maza
The Z_Polyhedra Library in Maple. MC (2019)
Svyatoslav Covanov, Davood Mohajerani, Marc Moreno Maza, Lin-Xiao Wang
Big Prime Field FFT on Multi-core Processors. ISSAC (2019)
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 (2019)
Zhongwen Zhang, Dmitrii Marin, Egor Chesakov, Marc Moreno Maza, Maria Drangova, Yuri Boykov
Divergence Prior and Vessel-Tree Reconstruction. CVPR (2019)
Ana C. Camargos Couto, Marc Moreno Maza, David Linder, David J. Jeffrey, Robert M. Corless
Comprehensive LU Factors of Polynomial Matrices. MACIS (2019)
Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza, Yuzhen Xie
On the Parallelization of Triangular Decomposition of Polynomial Systems. CoRR (2019)
Mahsa Kazemi, Marc Moreno Maza
Detecting Singularities Using the PowerSeries Library. MC (2019)
François Boulier, François Lemaire, Adrien Poteaux, Marc Moreno Maza
An equivalence theorem for regular differential chains. J. Symb. Comput. 93 (2019)
Alexander Brandt, Davood Mohajerani, Marc Moreno Maza, Jeeva Paudel, Lin-Xiao Wang
A Technique for Finding Optimal Program Launch Parameters Targeting Manycore Accelerators. CoRR (2019)
Sviatoslav Covanov, Davood Mohajerani, Marc Moreno Maza, Lin-Xiao Wang
Putting Fürer Algorithm into Practice with the BPAS Library. CoRR (2018)
Rui-Juan Jing, Marc Moreno Maza
Computing the integer points of a polyhedron. ACM Commun. Comput. Algebra 52 (4) (2018)
Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza
Sparse Polynomial Arithmetic with the BPAS Library. CASC (2018)
Rui-Juan Jing, Marc Moreno Maza, Delaram Talaashrafi
Complexity Estimates for Fourier-Motzkin Elimination. CoRR (2018)
Xiaohui Chen, Marc Moreno Maza, Jeeva Paudel, Ning Xie
Comprehensive Optimization of Parametric Kernels for Graphics Processing Units. CoRR (2018)
Robert M. Corless, Marc Moreno Maza, Steven E. Thornton
Jordan Canonical Form with Parameters from Frobenius Form with Parameters. MACIS (2017)
Rui-Juan Jing, Marc Moreno Maza
Computing the Integer Points of a Polyhedron, I: Algorithm. CASC (2017)
Marc Moreno Maza
Multithreaded programming on the GPU: pointers and hints for the computer algebraist. PASCO@ISSAC (2017)
Rui-Juan Jing, Marc Moreno Maza
The polyhedra library in maple. ACM Commun. Comput. Algebra 51 (3) (2017)
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) (2017)
Robert M. Corless, Robert H. C. Moir, Marc Moreno Maza, Ning Xie
Symbolic-Numeric Integration of Rational Functions. CoRR (2017)
Rui-Juan Jing, Marc Moreno Maza
Computing the Integer Points of a Polyhedron, II: Complexity Estimates. CASC (2017)
Liangyu Chen, Svyatoslav Covanov, Davood Mohajerani, Marc Moreno Maza
Big Prime Field FFT on the GPU. ISSAC (2017)
Rui-Juan Jing, Marc Moreno Maza
Computing the Integer Points of a Polyhedron. SC²@ISSAC (2017)
Sardar Anisul Haque, Amir Hashemi, Davood Mohajerani, Marc Moreno Maza
Plain, and Somehow Sparse, Univariate Polynomial Division on Graphics Processing Units. PASCO@ISSAC (2017)
Parisa Alvandi, Masoud Ataei, Marc Moreno Maza
On the Extended Hensel Construction and its Application to the Computation of Limit Points. ISSAC (2017)
Parisa Alvandi, Mahsa Kazemi, Marc Moreno Maza
Computing Limits of Real Multivariate Rational Functions. ISSAC (2016)
Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie
Parallel Integer Polynomial Multiplication. SYNASC (2016)
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) (2016)
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) (2016)
Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie
Parallel Integer Polynomial Multiplication. CoRR (2016)
Changbo Chen, Marc Moreno Maza
Quantifier elimination by cylindrical algebraic decomposition based on regular chains. J. Symb. Comput. 75 (2016)
Parisa Alvandi, Marc Moreno Maza
Real limit points of quasi-componenets of regular chains. ACM Commun. Comput. Algebra 50 (4) (2016)
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)
Sardar Anisul Haque, Marc Moreno Maza, Ning Xie
A Many-Core Machine Model for Designing Algorithms with Minimum Parallelism Overheads. PARCO (2015)
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)
Marc Moreno Maza
Doing algebraic geometry with the RegularChains library. ACM Commun. Comput. Algebra 49 (2) (2015)
Changbo Chen, Marc Moreno Maza
Simplification of Cylindrical Algebraic Formulas. CASC (2015)
Parisa Alvandi, Changbo Chen, Amir Hashemi, Marc Moreno Maza
Regular Chains under Linear Changes of Coordinates and Applications. CASC (2015)
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 (2014)
Robert M. Corless, Marc Moreno Maza, Steven E. Thornton
Zigzag Form over Families of Parametric Matrices. ACM Commun. Comput. Algebra 48 (3/4) (2014)
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)
Sardar Anisul Haque, Farnam Mansouri, Marc Moreno Maza
On the Parallelization of Subproduct Tree Techniques Targeting Many-Core Architectures. CASC (2014)
Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie
The Basic Polynomial Algebra Subprograms. ICMS (2014)
Changbo Chen, Marc Moreno Maza
Quantifier elimination by cylindrical algebraic decomposition based on regular chains. ISSAC (2014)
Changbo Chen, Marc Moreno Maza
Real Quantifier Elimination in the RegularChains Library. ICMS (2014)
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)
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 (2014)
Sardar Anisul Haque, Marc Moreno Maza, Ning Xie
A Many-core Machine Model for Designing Algorithms with Minimum Parallelism Overheads. CoRR (2014)
Xiaohui Chen, Marc Moreno Maza, Sushek Shekar, Priya Unnikrishnan
MetaFork: A Framework for Concurrency Platforms Targeting Multicores. IWOMP (2014)
Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie
Basic Polynomial Algebra Subprograms. ACM Commun. Comput. Algebra 48 (3/4) (2014)
Changbo Chen, Marc Moreno Maza
Cylindrical Algebraic Decomposition in the RegularChains Library. ICMS (2014)
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)
Changbo Chen, Marc Moreno Maza
Solving Parametric Polynomial Systems by RealComprehensiveTriangularize. ICMS (2014)
Parisa Alvandi, Changbo Chen, Steffen Marcus, Marc Moreno Maza, Éric Schost, Paul Vrbik
Doing Algebraic Geometry with the RegularChains Library. ICMS (2014)
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 (2013)
Parisa Alvandi, Changbo Chen, Marc Moreno Maza
Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One. CASC (2013)
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 (2013)
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)
Parisa Alvandi, Changbo Chen, Marc Moreno Maza
An Algorithm for Computing the Limit Points of the Quasi-component of a Regular Chain CoRR (2013)
Marc Moreno Maza, Bican Xia, Rong Xiao
On Solving Parametric Polynomial Systems. Math. Comput. Sci. 6 (4) (2012)
Steffen Marcus, Marc Moreno Maza, Paul Vrbik
On Fulton's Algorithm for Computing Intersection Multiplicities. CASC (2012)
Marc Moreno Maza, Rong Xiao
Degree and Dimension Estimates for Invariant Ideals of \(P\) -Solvable Recurrences. ASCM (2012)
Changbo Chen, Marc Moreno Maza
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions. ASCM (2012)
Changbo Chen, Marc Moreno Maza
Algorithms for computing triangular decomposition of polynomial systems. J. Symb. Comput. 47 (6) (2012)
Changbo Chen, Marc Moreno Maza
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions CoRR (2012)
Marc Moreno Maza, Rong Xiao
Generating Program Invariants via Interpolation CoRR (2012)
Marc Moreno Maza, Éric Schost, Paul Vrbik
Inversion Modulo Zero-Dimensional Regular Chains. CASC (2012)
François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie
When does equal sat(T)? J. Symb. Comput. 46 (12) (2011)
Marc Moreno Maza, Yuzhen Xie
Balanced Dense Polynomial Multiplication on Multi-Cores. Int. J. Found. Comput. Sci. 22 (5) (2011)
Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao
Computing with semi-algebraic sets represented by triangular decomposition. ISSAC (2011)

Marc Moreno Maza.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marc Moreno Maza