default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarc Moreno Maza
Person information
- affiliation: University of Western Ontario, Canada
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c89]Rui-Juan Jing
, Yuzhuo Lei, Christopher F. S. Maligec, Marc Moreno Maza:
Counting the Integer Points of Parametric Polytopes: A Maple Implementation. CASC 2024: 140-160- [c88]Rui-Juan Jing, Marc Moreno Maza, Yan-Feng Xie, Chun-Ming Yuan:
Efficient detection of redundancies in systems of linear inequalities✱. ISSAC 2024: 351-360 - 2023
- [j52]Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza, Yuzhen Xie:
Parallelization of triangular decompositions: Techniques and implementation. J. Symb. Comput. 115: 371-406 (2023) - [j51]Juan Pablo González Trochez, Marc Moreno Maza, Erik Postma, Matt Calder:
Laurent Series and Puiseux Series in Maple. Maple Trans. 3(2) (2023) - [c87]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: 69-89 - [c86]Alexander Brandt, Marc Moreno Maza, Taabish Jeshani, Linxiao Wang, Davood Mohajerani, Jeeva Paudel:
Dynamically Finding Optimal Kernel Launch Parameters for CUDA Programs. CASCON 2023: 64-73 - 2022
- [j50]Juan Pablo González Trochez, Marc Moreno Maza, Matt Calder, Erik Postma:
Algorithms for multivariate laurent series. ACM Commun. Comput. Algebra 56(2): 64-67 (2022) - [j49]Erik Postma, Marc Moreno Maza:
Substituting Units into Multivariate Power Series. Maple Trans. 2(1) (2022) - [j48]Ryan Sandford, Jürgen Gerhard, Marc Moreno Maza:
Computing Intersection Multiplicities with Regular Chains. Maple Trans. 2(1) (2022) - [j47]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) - [c85]Mohammadali Asadi, Alexander Brandt, David J. Jeffrey, Marc Moreno Maza:
Subresultant Chains Using Bézout Matrices. CASC 2022: 29-50 - [c84]Marc Moreno Maza, Linxiao Wang:
Computing the Integer Hull of Convex Polyhedral Sets. CASC 2022: 246-267 - [c83]Delaram Talaashrafi, Johannes Doerfert, Marc Moreno Maza:
A Pipeline Pattern Detection Technique in Polly. ICPP Workshops 2022: 18:1-18:10 - [c82]Delaram Talaashrafi, Marc Moreno Maza, Johannes Doerfert:
Towards Automatic OpenMP-Aware Utilization of Fast GPU Memory. IWOMP 2022: 67-80 - [c81]Marc Moreno Maza, Haoze Yuan:
Balanced Dense Multivariate Multiplication: The General Case. SYNASC 2022: 35-42 - [e4]Marc Moreno Maza, Lihong Zhi:
ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022. ACM 2022, ISBN 978-1-4503-8688-3 [contents] - 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 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]Changbo 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, Éric Schost:
Change of order for regular chains in positive dimension. Theor. Comput. Sci. 392(1-3): 37-65 (2008) - [c20]Xin Li, Marc Moreno Maza, Raqeeb Rasheed, Éric Schost:
High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted Programming Environment. ICCSA Workshops 2008: 331-341 - [c19]Changbo Chen, François Lemaire, Liyun Li, Marc Moreno Maza, Wei Pan, Yuzhen Xie:
The ConstructibleSetTools and ParametricSystemTools Modules of the RegularChains Library in Maple. ICCSA Workshops 2008: 342-352 - [c18]Songxin Liang, David J. Jeffrey, Marc Moreno Maza:
The complete root classification of a parametric polynomial on an interval. ISSAC 2008: 189-196 - [c17]François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie:
When does (T) equal sat(T)? ISSAC 2008: 207-214 - 2007
- [j6]Marc Moreno Maza, Gregory J. Reid, Robin Scott, Wenyuan Wu:
On approximate triangular decompositions in dimension zero. J. Symb. Comput. 42(7): 693-716 (2007) - [c16]Changbo Chen, Oleg Golubitsky, François Lemaire, Marc Moreno Maza, Wei Pan:
Comprehensive Triangular Decomposition. CASC 2007: 73-101 - [c15]Xin Li, Marc Moreno Maza, Éric Schost:
On the Virtues of Generic Programming for Symbolic Computation. International Conference on Computational Science (2) 2007: 251-258 - [c14]Changbo Chen, François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie:
Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library. International Conference on Computational Science (2) 2007: 268-271 - [c13]Xin Li, Marc Moreno Maza:
Multithreaded parallel implementation of arithmetic operations modulo a triangular set. PASCO 2007: 53-59 - [c12]Marc Moreno Maza, Ben Stephenson, Stephen M. Watt, Yuzhen Xie:
Multiprocessed parallelism support in ALDOR on SMPs and multicores. PASCO 2007: 60-68 - [c11]Marc Moreno Maza, Yuzhen Xie:
Component-level parallelization of triangular decompositions. PASCO 2007: 69-77 - [c10]Xin Li, Marc Moreno Maza, Éric Schost:
Fast arithmetic for triangular sets: from theory to practice. ISSAC 2007: 269-276 - [e1]Marc Moreno Maza, Stephen M. Watt:
Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada. ACM 2007, ISBN 978-1-59593-741-4 [contents] - 2006
- [c9]Xin Li, Marc Moreno Maza:
Efficient Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment. ICMS 2006: 12-23 - [c8]Marc Moreno Maza:
Triangular decompositions of polynomial systems: from theory to practice. ISSAC 2006: 8 - [c7]Akpodigha Filatei, Xin Li, Marc Moreno Maza, Éric Schost:
Implementation techniques for fast polynomial arithmetic in a high-level programming environment. ISSAC 2006: 93-100 - [c6]Marc Moreno Maza, Yuzhen Xie:
An implementation report for parallel triangular decompositions. SPAA 2006: 235 - [i1]Marc Moreno Maza, Oleg Golubitsky, Marina V. Kondratieva, Alexey Ovchinnikov:
Bounds and algebraic algorithms in differential algebra: the ordinary case. Challenges in Symbolic Computation Software 2006 - 2005
- [j5]François Lemaire, Marc Moreno Maza, Yuzhen Xie:
The RegularChains library in MAPLE. SIGSAM Bull. 39(3): 96-97 (2005) - [j4]Xavier Dahan, Éric Schost, Marc Moreno Maza, Wenyuan Wu, Yuzhen Xie:
On the complexity of the D5 principle. SIGSAM Bull. 39(3): 97-98 (2005) - [c5]Xavier Dahan, Marc Moreno Maza, Éric Schost, Wenyuan Wu, Yuzhen Xie:
Lifting techniques for triangular decompositions. ISSAC 2005: 108-115 - 2002
- [j3]Mikhail V. Foursov, Marc Moreno Maza:
On Computer-assisted Classification of Coupled Integrable Equations. J. Symb. Comput. 33(5): 647-660 (2002) - [c4]Irina A. Kogan, Marc Moreno Maza:
Computation of canonical forms for ternary cubics. ISSAC 2002: 151-160 - 2001
- [c3]François Boulier, François Lemaire, Marc Moreno Maza:
PARDI!. ISSAC 2001: 38-47 - [c2]Mikhail V. Foursov, Marc Moreno Maza:
On computer-assisted classification of coupled integrable equations. ISSAC 2001: 129-136
1990 – 1999
- 1999
- [j2]Philippe Aubry, Daniel Lazard, Marc Moreno Maza:
On the Theories of Triangular Sets. J. Symb. Comput. 28(1-2): 105-124 (1999) - [j1]Philippe Aubry, Marc Moreno Maza:
Triangular Sets for Solving Polynomial Systems: a Comparative Implementation of Four Methods. J. Symb. Comput. 28(1-2): 125-154 (1999) - 1995
- [c1]Marc Moreno Maza, Renaud Rioboo:
Polynomial Gcd Computations over Towers of Algebraic Extensions. AAECC 1995: 365-382
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
