Marc Moreno Maza

174 papers A* 1B 49C 2Misc 5Journal 77Unranked 37

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Efficient detection of redundancies in systems of linear inequalities. J. Symb. Comput. Rui-Juan Jing, Marc Moreno Maza, Chirantan Mukherjee, Yan-Feng Xie, Chun-Ming Yuan
2026	J	`jnl`	Matrices and Polynomials In Computer Algebra: LALO60. Maple Trans. Marc Moreno Maza, Tomás Recio
2025	J	`jnl`	Counting the number of integer points of non-parametric and parametric polytopes with the PolyhedralSets in Maple. Maple Trans. Yuzhuo Lei, Marc Moreno Maza, Christopher F. S. Maligec, Rui-Juan Jing, Linxiao Wang
2025	J	`jnl`	Integer Hulls, Z-Polyhedra and Presburger Arithmetic in Action. ACM Commun. Comput. Algebra Rui-Juan Jing, Yuzhuo Lei, Christopher F. S. Maligec, Marc Moreno Maza, Chirantan Mukherjee
2025	B	`conf`	Parallel Computation of the Power Series Solutions to Linear Ordinary Differential Equations. CASC Greg Alejandro Solis-Reyes, Marc Moreno Maza, Alexander Brandt
2025	B	`conf`	Quantifier Elimination Over the Integers. ISSAC Rui-Juan Jing, Yuzhuo Lei, Christopher Frank Stephan Maligec, Marc Moreno Maza, Chirantan Mukherjee
2025	J	`jnl`	The Multivariate Power Series Package in Maple 2024. Maple Trans. Juan Pablo González Trochez, Matt Calder, Marc Moreno Maza, Erik Postma, Manuel Romero, Alexander Brandt
2024	Misc	`conf`	Comprehensive LU Decomposition and True Path. SYNASC Aishat Olagunju, Marc Moreno Maza, David J. Jeffrey
2024	B	`conf`	Counting the Integer Points of Parametric Polytopes: A Maple Implementation. CASC Rui-Juan Jing, Yuzhuo Lei, Christopher F. S. Maligec, Marc Moreno Maza
2024	B	`conf`	Efficient detection of redundancies in systems of linear inequalities✱. ISSAC Rui-Juan Jing, Marc Moreno Maza, Yan-Feng Xie, Chun-Ming Yuan
2023	B	`conf`	A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface. CASC Alexander Brandt, Juan Pablo González Trochez, Marc Moreno Maza, Haoze Yuan
2023	—	`conf`	Dynamically Finding Optimal Kernel Launch Parameters for CUDA Programs. CASCON Alexander Brandt, Marc Moreno Maza, Taabish Jeshani, Linxiao Wang, Davood Mohajerani, Jeeva Paudel
2023	J	`jnl`	Laurent Series and Puiseux Series in Maple. Maple Trans. Juan Pablo González Trochez, Marc Moreno Maza, Erik Postma, Matt Calder
2023	J	`jnl`	Parallelization of triangular decompositions: Techniques and implementation. J. Symb. Comput. Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza, Yuzhen Xie
2022	J	`jnl`	A Maple implementation of a modular algorithm for computing the common zeros of a polynomial and a regular chain. Maple Trans. Juan Pablo González Trochez, Matt Calder, Marc Moreno Maza, Erik Postma
2022	—	`conf`	A Pipeline Pattern Detection Technique in Polly. ICPP Workshops Delaram Talaashrafi, Johannes Doerfert, Marc Moreno Maza
2022	J	`jnl`	Algorithms for multivariate laurent series. ACM Commun. Comput. Algebra Juan Pablo González Trochez, Marc Moreno Maza, Matt Calder, Erik Postma
2022	Misc	`conf`	Balanced Dense Multivariate Multiplication: The General Case. SYNASC Marc Moreno Maza, Haoze Yuan
2022	J	`jnl`	Computing Intersection Multiplicities with Regular Chains. Maple Trans. Ryan Sandford, Jürgen Gerhard, Marc Moreno Maza
2022	B	`conf`	Computing the Integer Hull of Convex Polyhedral Sets. CASC Marc Moreno Maza, Linxiao Wang
2022	B	`ed.`	ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022 ISSAC Marc Moreno Maza, Lihong Zhi
2022	B	`conf`	Subresultant Chains Using Bézout Matrices. CASC Mohammadali Asadi, Alexander Brandt, David J. Jeffrey, Marc Moreno Maza
2022	J	`jnl`	Substituting Units into Multivariate Power Series. Maple Trans. Erik Postma, Marc Moreno Maza
2022	—	`conf`	Towards Automatic OpenMP-Aware Utilization of Fast GPU Memory. IWOMP Delaram Talaashrafi, Marc Moreno Maza, Johannes Doerfert
2021	J	`jnl`	A Short Contribution to the Theory of Regular Chains. Math. Comput. Sci. François Boulier, François Lemaire, Marc Moreno Maza, Adrien Poteaux
2021	B	`conf`	Computational Schemes for Subresultant Chains. CASC Mohammadali Asadi, Alexander Brandt, Marc Moreno Maza
2021	B	`conf`	Design and Implementation of Multi-Threaded Algorithms in Polynomial Algebra. ISSAC Marc Moreno Maza
2021	J	`jnl`	Multivariate Power Series in Maple. CoRR Mohammadali Asadi, Alexander Brandt, Mahsa Kazemi, Marc Moreno Maza, Erik Postma
2021	B	`conf`	On the Complexity and Parallel Implementation of Hensel's Lemma and Weierstrass Preparation. CASC Alexander Brandt, Marc Moreno Maza
2021	J	`jnl`	On the Complexity and Parallel Implementation of Hensel's Lemma and Weierstrass Preparation. CoRR Alexander Brandt, Marc Moreno Maza
2021	B	`conf`	On the Pseudo-Periodicity of the Integer Hull of Parametric Convex Polygons. CASC Marc Moreno Maza, Linxiao Wang
2021	B	`conf`	Towards Extending Fulton's Algorithm for Computing Intersection Multiplicities Beyond the Bivariate Case. CASC Marc Moreno Maza, Ryan Sandford
2020	B	`conf`	Complexity Estimates for Fourier-Motzkin Elimination. CASC Rui-Juan Jing, Marc Moreno Maza, Delaram Talaashrafi
2020	—	`conf`	Employing C++ Templates in the Design of a Computer Algebra Library. ICMS Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza
2020	—	`conf`	Multivariate Power Series in Maple. MC Mohammadali Asadi, Alexander Brandt, Mahsa Kazemi, Marc Moreno Maza, Erik J. Postma
2020	J	`jnl`	On the Extended Hensel Construction and its application to the computation of real limit points. J. Symb. Comput. Parisa Alvandi, Masoud Ataei, Mahsa Kazemi, Marc Moreno Maza
2020	B	`conf`	On the parallelization of triangular decompositions. ISSAC Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza, Yuzhen Xie
2020	B	`conf`	Power Series Arithmetic with the BPAS Library. CASC Alexander Brandt, Mahsa Kazemi, Marc Moreno Maza
2020	J	`jnl`	Symbolic-numeric integration of rational functions. Numer. Algorithms Robert H. C. Moir, Robert M. Corless, Marc Moreno Maza, Ning Xie
2019	J	`jnl`	A Technique for Finding Optimal Program Launch Parameters Targeting Manycore Accelerators. CoRR Alexander Brandt, Davood Mohajerani, Marc Moreno Maza, Jeeva Paudel, Lin-Xiao Wang
2019	J	`jnl`	An equivalence theorem for regular differential chains. J. Symb. Comput. François Boulier, François Lemaire, Adrien Poteaux, Marc Moreno Maza
2019	B	`conf`	Big Prime Field FFT on Multi-core Processors. ISSAC Svyatoslav Covanov, Davood Mohajerani, Marc Moreno Maza, Lin-Xiao Wang
2019	—	`conf`	Comprehensive LU Factors of Polynomial Matrices. MACIS Ana C. Camargos Couto, Marc Moreno Maza, David Linder, David J. Jeffrey, Robert M. Corless
2019	—	`conf`	Detecting Singularities Using the PowerSeries Library. MC Mahsa Kazemi, Marc Moreno Maza
2019	A*	`conf`	Divergence Prior and Vessel-Tree Reconstruction. CVPR Zhongwen Zhang, Dmitrii Marin, Egor Chesakov, Marc Moreno Maza, Maria Drangova, Yuri Boykov
2019	J	`jnl`	KLARAPTOR: A Tool for Dynamically Finding Optimal Kernel Launch Parameters Targeting CUDA Programs. CoRR Alexander Brandt, Davood Mohajerani, Marc Moreno Maza, Jeeva Paudel, Lin-Xiao Wang
2019	J	`jnl`	On the Parallelization of Triangular Decomposition of Polynomial Systems. CoRR Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza, Yuzhen Xie
2019	—	`conf`	The Z_Polyhedra Library in Maple. MC Rui-Juan Jing, Marc Moreno Maza
2018	J	`jnl`	Complexity Estimates for Fourier-Motzkin Elimination. CoRR Rui-Juan Jing, Marc Moreno Maza, Delaram Talaashrafi
2018	J	`jnl`	Comprehensive Optimization of Parametric Kernels for Graphics Processing Units. CoRR Xiaohui Chen, Marc Moreno Maza, Jeeva Paudel, Ning Xie
2018	J	`jnl`	Computing the integer points of a polyhedron. ACM Commun. Comput. Algebra Rui-Juan Jing, Marc Moreno Maza
2018	J	`jnl`	Putting Fürer Algorithm into Practice with the BPAS Library. CoRR Sviatoslav Covanov, Davood Mohajerani, Marc Moreno Maza, Lin-Xiao Wang
2018	B	`conf`	Sparse Polynomial Arithmetic with the BPAS Library. CASC Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza
2017	B	`conf`	Big Prime Field FFT on the GPU. ISSAC Liangyu Chen, Svyatoslav Covanov, Davood Mohajerani, Marc Moreno Maza
2017	J	`jnl`	CUMODP: a CUDA library for modular polynomial computation. ACM Commun. Comput. Algebra Sardar Anisul Haque, X. Li, Farnam Mansouri, Marc Moreno Maza, Davood Mohajerani, Wei Pan
2017	B	`conf`	Computing the Integer Points of a Polyhedron, I: Algorithm. CASC Rui-Juan Jing, Marc Moreno Maza
2017	B	`conf`	Computing the Integer Points of a Polyhedron, II: Complexity Estimates. CASC Rui-Juan Jing, Marc Moreno Maza
2017	—	`conf`	Computing the Integer Points of a Polyhedron. SC²@ISSAC Rui-Juan Jing, Marc Moreno Maza
2017	—	`conf`	Jordan Canonical Form with Parameters from Frobenius Form with Parameters. MACIS Robert M. Corless, Marc Moreno Maza, Steven E. Thornton
2017	—	`conf`	Multithreaded programming on the GPU: pointers and hints for the computer algebraist. PASCO@ISSAC Marc Moreno Maza
2017	B	`conf`	On the Extended Hensel Construction and its Application to the Computation of Limit Points. ISSAC Parisa Alvandi, Masoud Ataei, Marc Moreno Maza
2017	—	`conf`	Plain, and Somehow Sparse, Univariate Polynomial Division on Graphics Processing Units. PASCO@ISSAC Sardar Anisul Haque, Amir Hashemi, Davood Mohajerani, Marc Moreno Maza
2017	J	`jnl`	Symbolic-Numeric Integration of Rational Functions. CoRR Robert M. Corless, Robert H. C. Moir, Marc Moreno Maza, Ning Xie
2017	J	`jnl`	The polyhedra library in maple. ACM Commun. Comput. Algebra Rui-Juan Jing, Marc Moreno Maza
2016	B	`conf`	Computing Limits of Real Multivariate Rational Functions. ISSAC Parisa Alvandi, Mahsa Kazemi, Marc Moreno Maza
2016	J	`jnl`	Computing limits with the regularchains and powerseries libraries: from rational functions to Zariski closure. ACM Commun. Comput. Algebra Parisa Alvandi, Mahsa Kazemi, Marc Moreno Maza
2016	Misc	`conf`	Parallel Integer Polynomial Multiplication. SYNASC Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie
2016	J	`jnl`	Parallel Integer Polynomial Multiplication. CoRR Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie
2016	J	`jnl`	Quantifier elimination by cylindrical algebraic decomposition based on regular chains. J. Symb. Comput. Changbo Chen, Marc Moreno Maza
2016	J	`jnl`	Real limit points of quasi-componenets of regular chains. ACM Commun. Comput. Algebra Parisa Alvandi, Marc Moreno Maza
2016	J	`jnl`	The basic polynomial algebra subprograms. ACM Commun. Comput. Algebra Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Robert H. C. Moir, Marc Moreno Maza, Ning Xie, Yuzhen Xie
2015	—	`conf`	A Many-Core Machine Model for Designing Algorithms with Minimum Parallelism Overheads. PARCO Sardar Anisul Haque, Marc Moreno Maza, Ning Xie
2015	B	`conf`	A Standard Basis Free Algorithm for Computing the Tangent Cones of a Space Curve. CASC Parisa Alvandi, Marc Moreno Maza, Éric Schost, Paul Vrbik
2015	J	`jnl`	Doing algebraic geometry with the RegularChains library. ACM Commun. Comput. Algebra Marc Moreno Maza
2015	—	`conf`	MetaFork: a compilation framework for concurrency models targeting hardware accelerators and its application to the generation of parametric CUDA kernels. CASCON Changbo Chen, Xiaohui Chen, Abdoul-Kader Keita, Marc Moreno Maza, Ning Xie
2015	B	`conf`	Regular Chains under Linear Changes of Coordinates and Applications. CASC Parisa Alvandi, Changbo Chen, Amir Hashemi, Marc Moreno Maza
2015	B	`conf`	Simplification of Cylindrical Algebraic Formulas. CASC Changbo Chen, Marc Moreno Maza
2014	J	`jnl`	A Many-core Machine Model for Designing Algorithms with Minimum Parallelism Overheads. CoRR Sardar Anisul Haque, Marc Moreno Maza, Ning Xie
2014	J	`jnl`	Basic Polynomial Algebra Subprograms. ACM Commun. Comput. Algebra Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie
2014	—	`conf`	Cylindrical Algebraic Decomposition in the RegularChains Library. ICMS Changbo Chen, Marc Moreno Maza
2014	—	`conf`	Dense Arithmetic over Finite Fields with the CUMODP Library. ICMS Sardar Anisul Haque, Xin Li, Farnam Mansouri, Marc Moreno Maza, Wei Pan, Ning Xie
2014	—	`conf`	Doing Algebraic Geometry with the RegularChains Library. ICMS Parisa Alvandi, Changbo Chen, Steffen Marcus, Marc Moreno Maza, Éric Schost, Paul Vrbik
2014	—	`conf`	MetaFork: A Framework for Concurrency Platforms Targeting Multicores. IWOMP Xiaohui Chen, Marc Moreno Maza, Sushek Shekar, Priya Unnikrishnan
2014	B	`conf`	On the Parallelization of Subproduct Tree Techniques Targeting Many-Core Architectures. CASC Sardar Anisul Haque, Farnam Mansouri, Marc Moreno Maza
2014	C	`conf`	Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. CICM Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson
2014	J	`jnl`	Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. CoRR Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson
2014	B	`conf`	Quantifier elimination by cylindrical algebraic decomposition based on regular chains. ISSAC Changbo Chen, Marc Moreno Maza
2014	—	`conf`	Real Quantifier Elimination in the RegularChains Library. ICMS Changbo Chen, Marc Moreno Maza
2014	—	`conf`	Solving Parametric Polynomial Systems by RealComprehensiveTriangularize. ICMS Changbo Chen, Marc Moreno Maza
2014	—	`conf`	The Basic Polynomial Algebra Subprograms. ICMS Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie
2014	B	`conf`	Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. CASC Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson
2014	J	`jnl`	Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. CoRR Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson
2014	J	`jnl`	Zigzag Form over Families of Parametric Matrices. ACM Commun. Comput. Algebra Robert M. Corless, Marc Moreno Maza, Steven E. Thornton
2013	J	`jnl`	An Algorithm for Computing the Limit Points of the Quasi-component of a Regular Chain CoRR Parisa Alvandi, Changbo Chen, Marc Moreno Maza
2013	J	`jnl`	An Application of Regular Chain Theory to the Study of Limit cycles. Int. J. Bifurc. Chaos Changbo Chen, Robert M. Corless, Marc Moreno Maza, Pei Yu, Yiming Zhang
2013	B	`conf`	Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One. CASC Parisa Alvandi, Changbo Chen, Marc Moreno Maza
2013	J	`jnl`	Computing with semi-algebraic sets: Relaxation techniques and effective boundaries. J. Symb. Comput. Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao
2013	J	`jnl`	Triangular decomposition of semi-algebraic systems. J. Symb. Comput. Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao
2012	J	`jnl`	Algorithms for computing triangular decomposition of polynomial systems. J. Symb. Comput. Changbo Chen, Marc Moreno Maza
2012	J	`jnl`	An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions CoRR Changbo Chen, Marc Moreno Maza
2012	—	`conf`	An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions. ASCM Changbo Chen, Marc Moreno Maza
2012	—	`conf`	Degree and Dimension Estimates for Invariant Ideals of \(P\) -Solvable Recurrences. ASCM Marc Moreno Maza, Rong Xiao
2012	J	`jnl`	Generating Program Invariants via Interpolation CoRR Marc Moreno Maza, Rong Xiao
2012	B	`conf`	Inversion Modulo Zero-Dimensional Regular Chains. CASC Marc Moreno Maza, Éric Schost, Paul Vrbik
2012	B	`conf`	On Fulton's Algorithm for Computing Intersection Multiplicities. CASC Steffen Marcus, Marc Moreno Maza, Paul Vrbik
2012	J	`jnl`	On Solving Parametric Polynomial Systems. Math. Comput. Sci. Marc Moreno Maza, Bican Xia, Rong Xiao
2011	J	`jnl`	Algorithms for Computing Triangular Decompositions of Polynomial Systems CoRR Changbo Chen, Marc Moreno Maza
2011	B	`conf`	Algorithms for computing triangular decompositions of polynomial systems. ISSAC Changbo Chen, Marc Moreno Maza
2011	J	`jnl`	Balanced Dense Polynomial Multiplication on Multi-Cores. Int. J. Found. Comput. Sci. Marc Moreno Maza, Yuzhen Xie
2011	J	`jnl`	Computing the real solutions of polynomial systems with the RegularChains library in Maple. ACM Commun. Comput. Algebra Changbo Chen, James H. Davenport, François Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie
2011	B	`conf`	Computing with semi-algebraic sets represented by triangular decomposition. ISSAC Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao
2011	J	`jnl`	Inverting matrices modulo regular chains. ACM Commun. Comput. Algebra Marc Moreno Maza, Paul Vrbik
2011	—	`ed.`	SNC 2011, Proceedings of the 2011 Internation Workshop on Symbolic-Numeric Computation, San Jose, California, USA, June 7-9, 2011 SNC Marc Moreno Maza
2011	B	`conf`	Semi-algebraic Description of the Equilibria of Dynamical Systems. CASC Changbo Chen, Marc Moreno Maza
2011	J	`jnl`	Solving bivariate polynomial systems on a GPU. ACM Commun. Comput. Algebra Marc Moreno Maza, Wei Pan
2011	J	`jnl`	The modpn library: Bringing fast polynomial arithmetic into Maple. J. Symb. Comput. Xin Li, Marc Moreno Maza, Raqeeb Rasheed, Éric Schost
2011	J	`jnl`	When does <T> equal sat(T)? J. Symb. Comput. François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie
2010	J	`jnl`	Abstract only: SPIRAL-generated modular FFTs. ACM Commun. Comput. Algebra Lingchuan Meng, Jeremy Johnson, Franz Franchetti, Yevgen Voronenko, Marc Moreno Maza, Yuzhen Xie
2010	J	`jnl`	Almost linear time operations with triangular sets. ACM Commun. Comput. Algebra Xavier Dahan, Marc Moreno Maza, Éric Schost, Adrien Poteaux
2010	J	`jnl`	Cache complexity and multicore implementation for univariate real root isolation. ACM Commun. Comput. Algebra Changbo Chen, Marc Moreno Maza, Yuzhen Xie
2010	—	`conf`	Cache friendly sparse matrix-vector multiplication. PASCO Sardar Anisul Haque, Shahadat Hossain, Marc Moreno Maza
2010	J	`jnl`	Cache friendly sparse matrix-vector multiplication. ACM Commun. Comput. Algebra Sardar Anisul Haque, Shahadat Hossain, Marc Moreno Maza
2010	J	`jnl`	Complexity and performance results for non FFT-based univariate polynomial multiplication. ACM Commun. Comput. Algebra Muhammad F. I. Chowdhury, Marc Moreno Maza, Wei Pan, Éric Schost
2010	J	`jnl`	Computing differential characteristic sets by change of ordering. J. Symb. Comput. François Boulier, François Lemaire, Marc Moreno Maza
2010	—	`conf`	Efficient Evaluation of Large Polynomials. ICMS Charles E. Leiserson, Liyun Li, Marc Moreno Maza, Yuzhen Xie
2010	—	`conf`	Parallel computation of the minimal elements of a poset. PASCO Charles E. Leiserson, Marc Moreno Maza, Liyun Li, Yuzhen Xie
2010	—	`ed.`	Proceedings of the 4th International Workshop on Parallel Symbolic Computation, PASCO 2010, July 21-23, 2010, Grenoble, France PASCO Marc Moreno Maza, Jean-Louis Roch
2010	—	`conf`	Spiral-generated modular FFT algorithms. PASCO Lingchuan Meng, Yevgen Voronenko, Jeremy R. Johnson, Marc Moreno Maza, Franz Franchetti, Yuzhen Xie
2010	J	`jnl`	Triangular Decomposition of Semi-algebraic Systems CoRR Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao
2010	B	`conf`	Triangular decomposition of semi-algebraic systems. ISSAC Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao
2009	C	`conf`	Balanced Dense Polynomial Multiplication on Multi-Cores. PDCAT Marc Moreno Maza, Yuzhen Xie
2009	J	`jnl`	Balanced dense polynomial multiplication on multi-cores. ACM Commun. Comput. Algebra Marc Moreno Maza, Yuzhen Xie
2009	J	`jnl`	Computations modulo regular chains CoRR Xin Li, Marc Moreno Maza, Wei Pan
2009	B	`conf`	Computations modulo regular chains. ISSAC Xin Li, Marc Moreno Maza, Wei Pan
2009	J	`jnl`	Computing Cylindrical Algebraic Decomposition via Triangular Decomposition CoRR Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang
2009	B	`conf`	Computing cylindrical algebraic decomposition via triangular decomposition. ISSAC Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang
2009	—	`conf`	FFT-Based Dense Polynomial Arithmetic on Multi-cores. HPCS Marc Moreno Maza, Yuzhen Xie
2009	J	`jnl`	Fast arithmetic for triangular sets: From theory to practice. J. Symb. Comput. Xin Li, Marc Moreno Maza, Éric Schost
2009	—	`conf`	Real Root Isolation of Regular Chains. ASCM François Boulier, Changbo Chen, François Lemaire, Marc Moreno Maza
2008	J	`jnl`	A bound for the Rosenfeld-Gröbner algorithm. J. Symb. Comput. Oleg Golubitsky, Marina V. Kondratieva, Marc Moreno Maza, Alexey Ovchinnikov
2008	J	`jnl`	Automatic variable order selection for polynomial system solving (abstract only). ACM Commun. Comput. Algebra John P. May, Mark Giesbrecht, Daniel S. Roche, Marc Moreno Maza, Yuzhen Xie
2008	J	`jnl`	Change of order for regular chains in positive dimension. Theor. Comput. Sci. Xavier Dahan, Xin Jin, Marc Moreno Maza, Éric Schost
2008	—	`conf`	High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted Programming Environment. ICCSA Workshops Xin Li, Marc Moreno Maza, Raqeeb Rasheed, Éric Schost
2008	J	`jnl`	On the representation of constructible sets. ACM Commun. Comput. Algebra Changbo Chen, Liyun Li, Marc Moreno Maza, Wei Pan, Yuzhen Xie
2008	J	`jnl`	On the verification of polynomial system solvers. Frontiers Comput. Sci. China Changbo Chen, Marc Moreno Maza, Wei Pan, Yuzhen Xie
2008	—	`conf`	The ConstructibleSetTools and ParametricSystemTools Modules of the RegularChains Library in Maple. ICCSA Workshops Changbo Chen, François Lemaire, Liyun Li, Marc Moreno Maza, Wei Pan, Yuzhen Xie
2008	J	`jnl`	The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple. ACM Commun. Comput. Algebra Changbo Chen, Marc Moreno Maza, François Lemaire, Wei Pan, Liyun Li, Yuzhen Xie
2008	B	`conf`	The complete root classification of a parametric polynomial on an interval. ISSAC Songxin Liang, David J. Jeffrey, Marc Moreno Maza
2008	J	`jnl`	The modpn library: bringing fast polynomial arithmetic into MAPLE. ACM Commun. Comput. Algebra Xin Li, Marc Moreno Maza, Raqeeb Rasheed, Éric Schost
2008	B	`conf`	When does ( ISSAC François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie
2007	—	`conf`	Component-level parallelization of triangular decompositions. PASCO Marc Moreno Maza, Yuzhen Xie
2007	B	`conf`	Comprehensive Triangular Decomposition. CASC Changbo Chen, Oleg Golubitsky, François Lemaire, Marc Moreno Maza, Wei Pan
2007	Misc	`conf`	Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library. International Conference on Computational Science (2) Changbo Chen, François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie
2007	B	`conf`	Fast arithmetic for triangular sets: from theory to practice. ISSAC Xin Li, Marc Moreno Maza, Éric Schost
2007	—	`conf`	Multiprocessed parallelism support in ALDOR on SMPs and multicores. PASCO Marc Moreno Maza, Ben Stephenson, Stephen M. Watt, Yuzhen Xie
2007	—	`conf`	Multithreaded parallel implementation of arithmetic operations modulo a triangular set. PASCO Xin Li, Marc Moreno Maza
2007	J	`jnl`	On approximate triangular decompositions in dimension zero. J. Symb. Comput. Marc Moreno Maza, Gregory J. Reid, Robin Scott, Wenyuan Wu
2007	Misc	`conf`	On the Virtues of Generic Programming for Symbolic Computation. International Conference on Computational Science (2) Xin Li, Marc Moreno Maza, Éric Schost
2007	—	`ed.`	Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada PASCO Marc Moreno Maza, Stephen M. Watt
2006	B	`conf`	An implementation report for parallel triangular decompositions. SPAA Marc Moreno Maza, Yuzhen Xie
2006	—	`conf`	Bounds and algebraic algorithms in differential algebra: the ordinary case. Challenges in Symbolic Computation Software Marc Moreno Maza, Oleg Golubitsky, Marina V. Kondratieva, Alexey Ovchinnikov
2006	—	`conf`	Efficient Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment. ICMS Xin Li, Marc Moreno Maza
2006	B	`conf`	Implementation techniques for fast polynomial arithmetic in a high-level programming environment. ISSAC Akpodigha Filatei, Xin Li, Marc Moreno Maza, Éric Schost
2006	B	`conf`	Triangular decompositions of polynomial systems: from theory to practice. ISSAC Marc Moreno Maza
2005	B	`conf`	Lifting techniques for triangular decompositions. ISSAC Xavier Dahan, Marc Moreno Maza, Éric Schost, Wenyuan Wu, Yuzhen Xie
2005	J	`jnl`	On the complexity of the D5 principle. SIGSAM Bull. Xavier Dahan, Éric Schost, Marc Moreno Maza, Wenyuan Wu, Yuzhen Xie
2005	J	`jnl`	The RegularChains library in MAPLE. SIGSAM Bull. François Lemaire, Marc Moreno Maza, Yuzhen Xie
2002	B	`conf`	Computation of canonical forms for ternary cubics. ISSAC Irina A. Kogan, Marc Moreno Maza
2002	J	`jnl`	On Computer-assisted Classification of Coupled Integrable Equations. J. Symb. Comput. Mikhail V. Foursov, Marc Moreno Maza
2001	B	`conf`	On computer-assisted classification of coupled integrable equations. ISSAC Mikhail V. Foursov, Marc Moreno Maza
2001	B	`conf`	PARDI!. ISSAC François Boulier, François Lemaire, Marc Moreno Maza
1999	J	`jnl`	On the Theories of Triangular Sets. J. Symb. Comput. Philippe Aubry, Daniel Lazard, Marc Moreno Maza
1999	J	`jnl`	Triangular Sets for Solving Polynomial Systems: a Comparative Implementation of Four Methods. J. Symb. Comput. Philippe Aubry, Marc Moreno Maza
1995	—	`conf`	Polynomial Gcd Computations over Towers of Algebraic Extensions. AAECC Marc Moreno Maza, Renaud Rioboo