The following pages link to Marc Moreno Maza (Q413406):
Displaying 50 items.
- Algorithms for computing triangular decomposition of polynomial systems (Q413407) (← links)
- The \texttt{modpn} library: bringing fast polynomial arithmetic into \texttt{Maple} (Q540337) (← links)
- When does \(\langle T \rangle\) equal \(\text{sat}(T)\)? (Q651871) (← links)
- Computational schemes for subresultant chains (Q831961) (← links)
- On the complexity and parallel implementation of Hensel's lemma and Weierstrass preparation (Q831966) (← links)
- Towards extending Fulton's algorithm for computing intersection multiplicities beyond the bivariate case (Q831986) (← links)
- On the pseudo-periodicity of the integer hull of parametric convex polygons (Q831988) (← links)
- A bound for the Rosenfeld-Gröbner algorithm (Q928772) (← links)
- Fast arithmetic for triangular sets: from theory to practice (Q1025397) (← links)
- Computing differential characteristic sets by change of ordering (Q1034554) (← links)
- Computing the integer points of a polyhedron. I: Algorithm (Q1701488) (← links)
- Computing the integer points of a polyhedron. II: Complexity estimates (Q1701489) (← links)
- An equivalence theorem for regular differential chains (Q1733300) (← links)
- Sparse polynomial arithmetic with the BPAS library (Q1798304) (← links)
- On the theories of triangular sets (Q1808664) (← links)
- Triangular sets for solving polynomial systems: a comparative implementation of four methods (Q1808665) (← links)
- Computing with semi-algebraic sets: relaxation techniques and effective boundaries (Q1940931) (← links)
- On solving parametric polynomial systems (Q1949089) (← links)
- A short contribution to the theory of regular chains (Q2035618) (← links)
- Subresultant chains using Bézout matrices (Q2109975) (← links)
- Computing the integer hull of convex polyhedral sets (Q2109987) (← links)
- Power series arithmetic with the BPAS library (Q2110210) (← links)
- Complexity estimates for Fourier-Motzkin elimination (Q2110224) (← links)
- Symbolic-numeric integration of rational functions (Q2173331) (← links)
- On the extended Hensel construction and its application to the computation of real limit points (Q2284954) (← links)
- On approximate triangular decompositions in dimension zero (Q2470055) (← links)
- Change of order for regular chains in positive dimension (Q2476011) (← links)
- Parallelization of triangular decompositions: techniques and implementation (Q2674015) (← links)
- Real Root Isolation of Regular Chains (Q2799549) (← links)
- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions (Q2799562) (← links)
- Degree and Dimension Estimates for Invariant Ideals of $$P$$ -Solvable Recurrences (Q2799570) (← links)
- AN APPLICATION OF REGULAR CHAIN THEORY TO THE STUDY OF LIMIT CYCLES (Q2866055) (← links)
- Real Quantifier Elimination in the RegularChains Library (Q2879136) (← links)
- Cylindrical Algebraic Decomposition in the RegularChains Library (Q2879157) (← links)
- Doing Algebraic Geometry with the RegularChains Library (Q2879164) (← links)
- Solving Parametric Polynomial Systems by RealComprehensiveTriangularize (Q2879169) (← links)
- The Basic Polynomial Algebra Subprograms (Q2879193) (← links)
- Dense Arithmetic over Finite Fields with the CUMODP Library (Q2879202) (← links)
- Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains (Q2879312) (← links)
- On the Parallelization of Subproduct Tree Techniques Targeting Many-Core Architectures (Q2879323) (← links)
- Computing cylindrical algebraic decomposition via triangular decomposition (Q2883805) (← links)
- Computations modulo regular chains (Q2883822) (← links)
- On Fulton’s Algorithm for Computing Intersection Multiplicities (Q2914998) (← links)
- Inversion Modulo Zero-Dimensional Regular Chains (Q2915000) (← links)
- PARDI! (Q2958912) (← links)
- Computing Limits of Real Multivariate Rational Functions (Q2985806) (← links)
- Semi-algebraic Description of the Equilibria of Dynamical Systems (Q3090895) (← links)
- BALANCED DENSE POLYNOMIAL MULTIPLICATION ON MULTI-CORES (Q3173933) (← links)
- (Q3416657) (← links)
- (Q3416684) (← links)
