HOM4PS-2.0: a software package for solving polynomial systems by the polyhedral homotopy continuation method

DOI10.1007/s00607-008-0015-6zbMath1167.65366OpenAlexW2158358539MaRDI QIDQ1006435

J. Martínez

Publication date: 24 March 2009

Published in: Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00607-008-0015-6

Mathematics Subject Classification ID

Global methods, including homotopy approaches to the numerical solution of nonlinear equations (65H20)

Related Items (71)

The steady-state degree and mixed volume of a chemical reaction network ⋮ Exploring new models in all detail with \texttt{SARAH} ⋮ Perturbed homotopies for finding all isolated solutions of polynomial systems ⋮ Exploring the potential energy landscape over a large parameter-space ⋮ On a radiative origin of the standard model from trinification ⋮ Comparison of probabilistic algorithms for analyzing the components of an affine algebraic variety ⋮ SARAH 4: a tool for (not only SUSY) model builders ⋮ Cell decomposition of almost smooth real algebraic surfaces ⋮ A certified numerical algorithm for the topology of resultant and discriminant curves ⋮ A Geometric Approach for Analyzing Parametric Biological Systems by Exploiting Block Triangular Structure ⋮ Chern numbers of smooth varieties via homotopy continuation and intersection theory ⋮ Numerical roadmap of smooth bounded real algebraic surface ⋮ Nine equilibrium points of four point charges on the plane ⋮ Algebraic compressed sensing ⋮ The Maximum Likelihood Degree of Sparse Polynomial Systems ⋮ The classification of homogeneous Einstein metrics on flag manifolds with \(b_2(M) = 1\) ⋮ Finding multiple solutions to elliptic systems with polynomial nonlinearity ⋮ Unmixing the mixed volume computation ⋮ Early Ending in Homotopy Path-Tracking for Real Roots ⋮ Certified predictor-corrector tracking for Newton homotopies ⋮ Multiprojective witness sets and a trace test ⋮ Fast linear homotopy to find approximate zeros of polynomial systems ⋮ On the polyhedral homotopy method for solving generalized Nash equilibrium problems of polynomials ⋮ A complex solution framework for the kinetostatic synthesis of a compliant four-bar mechanism ⋮ Robust certified numerical homotopy tracking ⋮ Regenerative cascade homotopies for solving polynomial systems ⋮ The nearest complex polynomial with a zero in a given complex domain ⋮ Computing curve intersection by homotopy methods ⋮ Stability verification for monotone systems using homotopy algorithms ⋮ Identifying the number of components in Gaussian mixture models using numerical algebraic geometry ⋮ Visualizing planar and space implicit real algebraic curves with singularities ⋮ Exploring collision-free path planning by using homotopy continuation methods ⋮ Using monodromy to avoid high precision in homotopy continuation ⋮ Khovanskii-Rolle continuation for real solutions ⋮ Bounding the equilibrium distribution of Markov population models ⋮ Unification and extension of intersection algorithms in numerical algebraic geometry ⋮ Kronecker-Based Infinite Level-Dependent QBD Processes ⋮ Eigenfunction expansion method for multiple solutions of fourth-order ordinary differential equations with cubic polynomial nonlinearity ⋮ Foreword. What is numerical algebraic geometry? ⋮ Decoupling highly structured polynomial systems ⋮ Mixed cell computation in HOM4ps ⋮ Parallel degree computation for binomial systems ⋮ Beyond polyhedral homotopies ⋮ Toward a Salmon Conjecture ⋮ A robust and efficient method for solving point distance problems by homotopy ⋮ A symmetric homotopy and hybrid polynomial system solving method for mixed trigonometric polynomial systems ⋮ Seven mutually touching infinite cylinders ⋮ Algebraic \(\mathbb C^*\)-actions and the inverse kinematics of a general 6R manipulator ⋮ Galois groups of Schubert problems via homotopy computation ⋮ Polynomial Homotopy Method for the Sparse Interpolation Problem Part I: Equally Spaced Sampling ⋮ A constrained homotopy technique for excluding unwanted solutions from polynomial equations arising in kinematics problems ⋮ Computing Tensor Eigenvalues via Homotopy Methods ⋮ Bifurcations of Central Configurations in the Four-Body Problem with Some Equal Masses ⋮ BertiniLab: a MATLAB interface for solving systems of polynomial equations ⋮ Computation analysis of buckling loads of thin-walled members with open sections ⋮ Numerical algebraic geometry: a new perspective on gauge and string theories ⋮ Numerical elimination and moduli space of vacua ⋮ Regeneration homotopies for solving systems of polynomials ⋮ Verified error bounds for singular solutions of nonlinear systems ⋮ An adaptive homotopy method for computing bifurcations of nonlinear parametric systems ⋮ HOM4PS ⋮ Continuation Newton methods with the residual trust-region time-stepping scheme for nonlinear equations ⋮ Numerical algebraic geometry and algebraic kinematics ⋮ Numerical polynomial homotopy continuation method and string vacua ⋮ Computing singular points of projective plane algebraic curves by homotopy continuation methods ⋮ Central configurations of the five-body problem with equal masses ⋮ Euclidean distance degree and mixed volume ⋮ Exact bivariate polynomial factorization over \(\mathbb Q\) by approximation of roots ⋮ A numerical realization of the conditions of Max Nöther's residual intersection theorem ⋮ Symmetric homotopy method for discretized elliptic equations with cubic and quintic nonlinearities ⋮ Epsilon local rigidity and numerical algebraic geometry

Uses Software

• DEMiCs
• MixedVol
• PHCpack
• PHoM
• PoSSo
• Bertini

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamic enumeration of all mixed cells
• Some examples for solving systems of algebraic equations by calculating Gröbner bases
• Coefficient-parameter polynomial continuation
• A faster way to count the solutions of inhomogeneous systems of algebraic equations, with applications to cyclic \(n\)-roots
• A power series method for computing singular solutions to nonlinear analytic systems
• The number of roots of a system of equations
• Polyhedral end games for polynomial continuation
• Mixed volume computation for semi-mixed systems
• PHoM -- a polyhedral homotopy continuation method for polynomial systems
• Numerical stability of path tracing in polyhedral homotopy continuation methods
• Solving polynomial systems by polyhedral homotopies
• Computing all nonsingular solutions of cyclic-\(n\) polynomial using polyhedral homotopy continuation methods
• Determining dimension of the solution component that contains a computed zero of a polynomial system
• Newton's method with deflation for isolated singularities of polynomial systems
• Numerical Decomposition of the Solution Sets of Polynomial Systems into Irreducible Components
• The Cheater’s Homotopy: An Efficient Procedure for Solving Systems of Polynomial Equations
• Algorithm 846
• Adaptive Multiprecision Path Tracking
• An Explicit Modular Equation in Two Variables and Hilbert's Twelfth Problem
• Algorithm 795
• A Neural Network Modeled by an Adaptive Lotka-Volterra System
• A Polyhedral Method for Solving Sparse Polynomial Systems
• The Numerical Solution of Systems of Polynomials Arising in Engineering and Science
• A Rank-Revealing Method with Updating, Downdating, and Applications
• Mixed volume computation via linear programming
• Finding mixed cells in the mixed volume computation

This page was built for publication: HOM4PS-2.0: a software package for solving polynomial systems by the polyhedral homotopy continuation method