Pages that link to "Item:Q4657308"

The following pages link to Sharp estimates for triangular sets (Q4657308):

Displaying 23 items.

• A softly optimal Monte Carlo algorithm for solving bivariate polynomial systems over the integers (Q272196) (← links)
• Genus 2 point counting over prime fields (Q412199) (← links)
• Separating linear forms and rational univariate representations of bivariate systems (Q480646) (← links)
• Bit-size estimates for triangular sets in positive dimension (Q657656) (← links)
• Isomorphisms of algebraic number fields (Q713173) (← links)
• A characteristic set method for ordinary difference polynomial systems (Q1006653) (← links)
• Complexity of triangular representations of algebraic sets (Q1714872) (← links)
• The complexity of computing all subfields of an algebraic number field (Q1733310) (← links)
• Efficient arithmetic in successive algebraic extension fields using symmetries (Q1948674) (← links)
• Usage of modular techniques for efficient computation of ideal operations (Q1993362) (← links)
• Multilinear polynomial systems: root isolation and bit complexity (Q1994888) (← links)
• Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one (Q2066949) (← links)
• Bit complexity for computing one point in each connected component of a smooth real algebraic set (Q2100045) (← links)
• Solving parametric systems of polynomial equations over the reals through Hermite matrices (Q2117425) (← links)
• Solving determinantal systems using homotopy techniques (Q2229744) (← links)
• Complexity of solving parametric polynomial systems (Q2256707) (← links)
• Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\) (Q2399868) (← links)
• On approximate triangular decompositions in dimension zero (Q2470055) (← links)
• Change of order for regular chains in positive dimension (Q2476011) (← links)
• Exact Algorithms for Linear Matrix Inequalities (Q2834563) (← links)
• Exact Certification in Global Polynomial Optimization Via Rationalizing Sums-Of-Squares (Q3576578) (← links)
• On computing absolutely irreducible components of algebraic varieties with parameters (Q5962004) (← links)
• Differential Elimination for Dynamical Models via Projections with Applications to Structural Identifiability (Q6043379) (← links)