On the extended Hensel construction and its application to the computation of real limit points

DOI10.1016/j.jsc.2019.07.009zbMath1455.13044OpenAlexW2956505993MaRDI QIDQ2284954

Masoud Ataei, Parisa Alvandi, Marc Moreno Maza, Mahsa Kazemi

Publication date: 15 January 2020

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2019.07.009

zbMATH Keywords

extended Hensel construction

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Real algebraic sets (14P05) Computational aspects of algebraic curves (14Q05) Polynomials, factorization in commutative rings (13P05)

Related Items (1)

On the complexity and parallel implementation of Hensel's lemma and Weierstrass preparation

Uses Software

• DISCOVERER

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algorithms for computing triangular decomposition of polynomial systems
• A complete algorithm for automated discovering of a class of inequality-type theorems
• On expansion of algebraic functions in power and Puiseux series. I
• The red book of varieties and schemes. Includes the Michigan lectures (1974) on ``Curves and their Jacobians.
• Solving multivariate algebraic equation by Hensel construction
• Irreducibility criterion for germs of analytic functions of two complex variables
• Limits of quotients of bivariate real analytic functions
• Computing with semi-algebraic sets: relaxation techniques and effective boundaries
• On solving parametric polynomial systems
• Determination of the limits for multivariate rational functions
• Solving parametric polynomial systems
• An improved EZ-GCD algorithm for multivariate polynomials
• Improving Complexity Bounds for the Computation of Puiseux Series over Finite Fields
• Enhancing the Extended Hensel Construction by Using Gröbner Bases
• Dynamic Newton–Puiseux theorem
• Computing Limits of Real Multivariate Rational Functions
• Generalized Newton-Puiseux Theory and Hensel's Lemma in Cx, y
• Determination of Bounds for the Solutions to those Binary Diophantine Equations that Satisfy the Hypotheses of Runge's Theorem
• A Standard Basis Free Algorithm for Computing the Tangent Cones of a Space Curve
• All Algebraic Functions Can Be Computed Fast
• Limits of quotients of polynomial functions in three variables
• On the Extended Hensel Construction and its Application to the Computation of Limit Points
• Comparison of CAD-based Methods for Computation of Rational Function Limits
• Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One
• An existence theorem for optimal control in the Boltz problem, some of its applications and the necessary conditions for the optimality of moving and singular systems
• Factorization of multivariate polynomials by extended Hensel construction
• Remarks on Divisors of Zero
• Triangular decomposition of semi-algebraic systems
• Algorithms in real algebraic geometry

This page was built for publication: On the extended Hensel construction and its application to the computation of real limit points