Sharp estimates for triangular sets

DOI10.1145/1005285.1005302MaRDI QIDQ4657308zbMATH OpenOpenAlexFDO

Authors Xavier Dahan, Éric Schost

Publication date 14 March 2005

Published in Proceedings of the 2004 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1005285.1005302

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Heights (11G50) Computational aspects in algebraic geometry (14Q99)

Recommendations

• Complexity results for triangular sets
• scientific article; zbMATH DE number 2151241
• Bit-size estimates for triangular sets in positive dimension
• Complexity of triangular representations of algebraic sets
• On the complexity of computing with zero-dimensional triangular sets

Cited in

(28)

• A softly optimal Monte Carlo algorithm for solving bivariate polynomial systems over the integers
• Genus 2 point counting over prime fields
• Differential Elimination for Dynamical Models via Projections with Applications to Structural Identifiability
• Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\)
• Solving parametric systems of polynomial equations over the reals through Hermite matrices
• Change of order for regular chains in positive dimension
• Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one
• A characteristic set method for ordinary difference polynomial systems
• Usage of modular techniques for efficient computation of ideal operations
• Multilinear polynomial systems: root isolation and bit complexity
• Sharp bounds for eigenvalues of triangles
• The complexity of computing all subfields of an algebraic number field
• An \(\mathfrak{m}\)-adic algorithm for bivariate Gröbner bases
• Efficient arithmetic in successive algebraic extension fields using symmetries
• Sharp bounds for cyclic sums of the ratio of the exradius to the sides of a triangle
• Exact algorithms for linear matrix inequalities
• Solving determinantal systems using homotopy techniques
• Isomorphisms of algebraic number fields
• Complexity of solving parametric polynomial systems
• On approximate triangular decompositions in dimension zero
• Complexity of triangular representations of algebraic sets
• p-adic algorithm for bivariate Gröbner bases
• Change of order for bivariate triangular sets
• Bit complexity for computing one point in each connected component of a smooth real algebraic set
• Separating linear forms and rational univariate representations of bivariate systems
• Exact certification in global polynomial optimization via rationalizing sums-of-squares
• Bit-size estimates for triangular sets in positive dimension
• On computing absolutely irreducible components of algebraic varieties with parameters

This page was built for publication: Sharp estimates for triangular sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4657308)