The Numerical Solution of Systems of Polynomials Arising in Engineering and Science
From MaRDI portal
Publication:5312787
DOI10.1142/5763zbMath1091.65049OpenAlexW1570420806MaRDI QIDQ5312787
Charles W. Wampler, Andrew John Sommese
Publication date: 25 August 2005
Full work available at URL: https://semanticscholar.org/paper/fff443a3982dd16781df3aca4d54d0913f1bda10
algorithmsGröbner basestextbookcontinuation methodZariski topologyNewton methodpolynomial systemshomotopynumerical algebraic geometrywitness setsexclusion methods
Numerical computation of solutions to systems of equations (65H10) Global methods, including homotopy approaches to the numerical solution of nonlinear equations (65H20) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Computational aspects of higher-dimensional varieties (14Q15) Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) Zeros of polynomials, rational functions, and other analytic functions of one complex variable (e.g., zeros of functions with bounded Dirichlet integral) (30C15) Real polynomials: location of zeros (26C10)
Related Items
Galois/Monodromy Groups for Decomposing Minimal Problems in 3D Reconstruction ⋮ Complex Links and Hilbert–Samuel Multiplicities ⋮ A Numerical Approach for Computing Euler Characteristics of Affine Varieties ⋮ Evaluating and Differentiating a Polynomial Using a Pseudo-witness Set ⋮ A Geometric Approach for Analyzing Parametric Biological Systems by Exploiting Block Triangular Structure ⋮ Toric eigenvalue methods for solving sparse polynomial systems ⋮ Condition of Intersecting a Projective Variety with a Varying Linear Subspace ⋮ Algorithms for structure preserving best rank-one approximations of partially symmetric tensors ⋮ Contour Integration for Eigenvector Nonlinearities ⋮ Computing Geometric Feature Sizes for Algebraic Manifolds ⋮ Reciprocal Maximum Likelihood Degrees of Brownian Motion Tree Models ⋮ Sampling and homology via bottlenecks ⋮ Finding multiple solutions to elliptic systems with polynomial nonlinearity ⋮ Conormal spaces and Whitney stratifications ⋮ VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities ⋮ Machine learning discovery of optimal quadrature rules for isogeometric analysis ⋮ Global multiplicity, special closure and non-degeneracy of gradient maps ⋮ Solving boundary value problems via the Nyström method using spline Gauss rules ⋮ Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically ⋮ Early Ending in Homotopy Path-Tracking for Real Roots ⋮ On the complexity of analyticity in semi-definite optimization ⋮ A Newton’s iteration converges quadratically to nonisolated solutions too ⋮ Nonlinear algebra and applications ⋮ \(u\)-generation: solving systems of polynomials equation-by-equation ⋮ Moment Estimation for Nonparametric Mixture Models through Implicit Tensor Decomposition ⋮ A Fast Algorithm for Computing Macaulay Null Spaces of Bivariate Polynomial Systems ⋮ On the polyhedral homotopy method for solving generalized Nash equilibrium problems of polynomials ⋮ Computing Circuit Polynomials in the Algebraic Rigidity Matroid ⋮ Line Multiview Varieties ⋮ Inner-estimating domains of attraction for discrete-time non-polynomial systems with piecewise difference inclusions ⋮ Toric geometry of entropic regularization ⋮ Estimation under group actions: recovering orbits from invariants ⋮ Minimal degree rational open up mappings and related questions ⋮ Polyhedral homotopies in Cox coordinates ⋮ Segre-driven radicality testing ⋮ On the connectivity of the disguised toric locus of a reaction network ⋮ Khovanskii bases for semimixed systems of polynomial equations -- approximating stationary nonlinear Newtonian dynamics ⋮ 3D genome reconstruction from partially phased Hi-C data ⋮ Locating and Counting Equilibria of the Kuramoto Model with Rank-One Coupling ⋮ Minimal Problems for the Calibrated Trifocal Variety ⋮ Unnamed Item ⋮ A numerical toolkit for multiprojective varieties ⋮ Identifying the number of components in Gaussian mixture models using numerical algebraic geometry ⋮ Generic properties of dispersion relations for discrete periodic operators ⋮ A Robust Numerical Path Tracking Algorithm for Polynomial Homotopy Continuation ⋮ NEIMARK BIFURCATIONS OF A GENERALIZED DUFFING–VAN DER POL OSCILLATOR WITH NONLINEAR FRACTIONAL ORDER DAMPING ⋮ Nonlinear Power-Like and SVD-Like Iterative Schemes with Applications to Entangled Bipartite Rank-1 Approximation ⋮ Computing Switching Surfaces in Optimal Control Based on Triangular Decomposition ⋮ Algebraic Geometry and Kinematics ⋮ The Secant Conjecture in the Real Schubert Calculus ⋮ BertiniLab: a MATLAB interface for solving systems of polynomial equations ⋮ Sign conditions for injectivity of generalized polynomial maps with applications to chemical reaction networks and real algebraic geometry ⋮ Algorithmic Search for Flexibility Using Resultants of Polynomial Systems ⋮ 96120 : The degree of the linear orbit of a cubic surface ⋮ The Bottleneck Degree of Algebraic Varieties ⋮ Convergence of a homotopy finite element method for computing steady states of Burgers’ equation ⋮ Numerical Computation for Orthogonal Low-Rank Approximation of Tensors ⋮ Directed acyclic decomposition of Kuramoto equations ⋮ Galois groups of Schubert problems of lines are at least alternating ⋮ Method of moments for 3D single particleab initiomodeling with non-uniform distribution of viewing angles ⋮ A Global Approach for Solving Edge-Matching Puzzles ⋮ Nonlinear Power-Like and SVD-Like Iterative Schemes with Applications to Entangled Bipartite Rank-1 Approximation ⋮ On Computing the Nonlinearity Interval in Parametric Semidefinite Optimization ⋮ Epsilon local rigidity and numerical algebraic geometry ⋮ Certification for polynomial systems via square subsystems ⋮ Convergence rate analysis for the higher order power method in best rank one approximations of tensors ⋮ Trace test ⋮ Perturbed homotopies for finding all isolated solutions of polynomial systems ⋮ Finding all flux vacua in an explicit example ⋮ Exploring the potential energy landscape over a large parameter-space ⋮ Moments and sums of squares for polynomial optimization and related problems ⋮ Software for the Gale transform of fewnomial systems and a Descartes rule for fewnomials ⋮ Arc length based maximal Lyapunov functions and domains of attraction estimation for polynomial nonlinear systems ⋮ Finding all Nash equilibria of a finite game using polynomial algebra ⋮ Competitive equilibria in semi-algebraic economies ⋮ Comparison of probabilistic algorithms for analyzing the components of an affine algebraic variety ⋮ Computational algebraic geometry and global analysis of regional manipulators ⋮ Homotopy continuation of the high-order flux reconstruction/correction procedure via reconstruction (FR/CPR) method for steady flow simulation ⋮ A primal-dual formulation for certifiable computations in Schubert calculus ⋮ A homotopy method based on WENO schemes for solving steady state problems of hyperbolic conservation laws ⋮ Convergence analysis of an SVD-based algorithm for the best rank-1 tensor approximation ⋮ On non-binomial structure of cyclic 8-roots ⋮ Representations of positive polynomials on noncompact semialgebraic sets via KKT ideals ⋮ Continuation along bifurcation branches for a tumor model with a necrotic core ⋮ Isosingular sets and deflation ⋮ Cell cycle control and bifurcation for a free boundary problem modeling tissue growth ⋮ Computing the unique CANDECOMP/PARAFAC decomposition of unbalanced tensors by homotopy method ⋮ Chern numbers of smooth varieties via homotopy continuation and intersection theory ⋮ A regularization approach for estimating the type of a plane curve singularity ⋮ Tensor decomposition and homotopy continuation ⋮ Witness sets of projections ⋮ On the reduction of the normality conditions in equality-constrained optimization problems in mechanics ⋮ On the first degree Fejér-Riesz factorization and its applications to \(X+A^{\ast}X^{-1}A=Q\) ⋮ A continuation method to solve polynomial systems and its complexity ⋮ Stability of open pathways ⋮ Bit complexity for multi-homogeneous polynomial system solving -- application to polynomial minimization ⋮ Computing isolated roots of sparse polynomial systems in affine space ⋮ Gaussian quadrature for splines via homotopy continuation: rules for \(C^2\) cubic splines ⋮ Fast linear homotopy to find approximate zeros of polynomial systems ⋮ Efficiently counting affine roots of mixed trigonometric polynomial systems ⋮ Spherical Radon transform and the average of the condition number on certain Schubert subvarieties of a Grassmannian ⋮ A complex solution framework for the kinetostatic synthesis of a compliant four-bar mechanism ⋮ Mechanism mobility and a local dimension test ⋮ Steady state bifurcation of a periodically excited system under delayed feedback controls ⋮ Numerically computing real points on algebraic sets ⋮ Regenerative cascade homotopies for solving polynomial systems ⋮ Efficient path tracking methods ⋮ Equivalent realisations of a rigid graph ⋮ Newton polytopes and witness sets ⋮ Using monodromy to avoid high precision in homotopy continuation ⋮ Gale duality for complete intersections ⋮ Khovanskii-Rolle continuation for real solutions ⋮ Combinatorial excess intersection ⋮ Decoupled molecules with binding polynomials of bidegree \((n,2)\) ⋮ On the bit complexity of polynomial system solving ⋮ Numerical computation of Galois groups ⋮ Algorithms to compute the topological Euler characteristic, Chern-Schwartz-MacPherson class and Segre class of projective varieties ⋮ Maximum likelihood estimation of symmetric group-based models via numerical algebraic geometry ⋮ Unification and extension of intersection algorithms in numerical algebraic geometry ⋮ Numerically deciding the arithmetically Cohen-Macaulayness of a projective scheme ⋮ Numerical algebraic geometry and semidefinite programming ⋮ Kinematic analysis of multibody systems ⋮ A homotopy method for parameter estimation of nonlinear differential equations with multiple optima ⋮ Verifying exactness of relaxations for robust semi-definite programs by solving polynomial systems ⋮ 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 ⋮ Critical points via monodromy and local methods ⋮ Certifying solutions to square systems of polynomial-exponential equations ⋮ A lifted square formulation for certifiable Schubert calculus ⋮ Eliminating dual spaces ⋮ Computing characteristic classes of subschemes of smooth toric varieties ⋮ Numerical algorithms for detecting embedded components ⋮ A hybrid symbolic-numerical approach to the center-focus problem ⋮ Global structure of curves from generalized unitarity cut of three-loop diagrams ⋮ Two-parameter homotopy method for nonlinear equations ⋮ Dissipation-based continuation method for multiphase flow in heterogeneous porous media ⋮ Numerical computation of the genus of an irreducible curve within an algebraic set ⋮ Sweeping algebraic curves for singular solutions ⋮ Distance-based position analysis of the three seven-link Assur kinematic chains ⋮ Forward kinematic problem of 5-R\(\underline {\text P}\)UR parallel mechanisms (3T2R) with identical limb structures ⋮ A parametric representation of totally mixed Nash equilibria ⋮ Algebraic \(\mathbb C^*\)-actions and the inverse kinematics of a general 6R manipulator ⋮ On the multihomogeneous Bézout bound on the number of embeddings of minimally rigid graphs ⋮ Computing the equisingularity type of a pseudo-irreducible polynomial ⋮ Linear homotopy method for computing generalized tensor eigenpairs ⋮ A constrained homotopy technique for excluding unwanted solutions from polynomial equations arising in kinematics problems ⋮ A stochastic homotopy tracking algorithm for parametric systems of nonlinear equations ⋮ Clustering complex zeros of triangular systems of polynomials ⋮ Solving some special cases of monomial ratio equations appearing frequently in physical and engineering problems ⋮ Numerical algebraic geometry: a new perspective on gauge and string theories ⋮ Computing roots of polynomials by quadratic clipping ⋮ Numerical elimination and moduli space of vacua ⋮ HOM4PS-2.0: a software package for solving polynomial systems by the polyhedral homotopy continuation method ⋮ Solving polynomial systems via symbolic-numeric reduction to geometric involutive form ⋮ Verified error bounds for singular solutions of nonlinear systems ⋮ Implicit Riquier bases for PDAE and their semi-discretizations ⋮ A prolongation-projection algorithm for computing the finite real variety of an ideal ⋮ Semidefinite characterization and computation of zero-dimensional real radical ideals ⋮ Deformation techniques for sparse systems ⋮ Numerical polynomial homotopy continuation method and string vacua ⋮ Self-locking analysis in closed kinematic chains ⋮ Design and evaluation of homotopies for efficient and robust continuation ⋮ Certified Numerical Homotopy Tracking ⋮ Towards a better integration of modelers and black box constraint solvers within the product design process ⋮ SVD-Based Algorithms for the Best Rank-1 Approximation of a Symmetric Tensor ⋮ A numerical elimination method for polynomial computations ⋮ Hard-Spring Bistability and Effect of System Parameters in a Two-Degree-of-Freedom Vibration System with Damping Modeled by a Fractional Derivative ⋮ The max‐length‐vector line of best fit to a set of vector subspaces and an optimization problem over a set of hyperellipsoids ⋮ The ideal of the trifocal variety ⋮ Binomiality testing and computing sparse polynomials via witness sets ⋮ Cell decomposition of almost smooth real algebraic surfaces ⋮ Counting Equilibria of the Kuramoto Model Using Birationally Invariant Intersection Index ⋮ Numerical irreducible decomposition over a number field ⋮ Exceptional Stewart--Gough Platforms, Segre Embeddings, and the Special Euclidean Group ⋮ Book review of: M. Michałek and B. Sturmfels, Invitation to nonlinear algebra ⋮ Tracing multiple solution branches for nonlinear ordinary differential equations: Chebyshev and Fourier spectral methods and a degree-increasing spectral homotopy [DISH] ⋮ Exploring critical points of energy landscapes: from low-dimensional examples to phase field crystal PDEs ⋮ Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\) ⋮ HomPINNs: Homotopy physics-informed neural networks for learning multiple solutions of nonlinear elliptic differential equations ⋮ Numerical root finding via Cox rings ⋮ Correcting Three Errors in Kantorovich & Krylov′s <em>Approximate Methods of Higher Analysis</em> ⋮ A homotopy method for solving multilinear systems with M-tensors ⋮ A robust approach for finding all well-separated solutions of sparse systems of nonlinear equations ⋮ On numerical solution of Fredholm and Hammerstein integral equations via Nyström method and Gaussian quadrature rules for splines ⋮ Two-Level Spectral Methods for Nonlinear Elliptic Equations with Multiple Solutions ⋮ Nine equilibrium points of four point charges on the plane ⋮ Machine learning the real discriminant locus ⋮ Signatures of algebraic curves via numerical algebraic geometry ⋮ Optimal quadrature rules for odd-degree spline spaces and their application to tensor-product-based isogeometric analysis ⋮ Algebraic geometrization of the Kuramoto model: Equilibria and stability analysis ⋮ Improved complexity bounds for counting points on hyperelliptic curves ⋮ Unmixing the mixed volume computation ⋮ Sampling Algebraic Varieties for Sum of Squares Programs ⋮ A homotopy method for computing the largest eigenvalue of an irreducible nonnegative tensor ⋮ Computational approach to compact Riemann surfaces ⋮ Multiprojective witness sets and a trace test ⋮ Sampling algebraic sets in local intrinsic coordinates ⋮ Nonlinear Vibrations of Viscoelastic Plane Truss Under Harmonic Excitation ⋮ Guessing singular dependencies ⋮ On some configurations of oppositely charged trapped vortices in the plane ⋮ Exploring collision-free path planning by using homotopy continuation methods ⋮ A singular value homotopy for finding critical parameter values ⋮ Solving determinantal systems using homotopy techniques ⋮ Singular solutions, repeated roots and completeness for higher-spin chains ⋮ Statistics of stationary points of random finite polynomial potentials ⋮ Mixed precision path tracking for polynomial homotopy continuation ⋮ On approximate triangular decompositions in dimension zero ⋮ Resultants and loop closure ⋮ A weight initialization based on the linear product structure for neural networks ⋮ Determining dimension of the solution component that contains a computed zero of a polynomial system ⋮ A bootstrapping approach for computing multiple solutions of differential equations ⋮ Numerical Decomposition of the Rank-Deficiency Set of a Matrix of Multivariate Polynomials ⋮ Regularization and Matrix Computation in Numerical Polynomial Algebra ⋮ On the complexity of computing with planar algebraic curves ⋮ Optimized parametrization of systems of incidences between rigid bodies ⋮ Galois groups of Schubert problems via homotopy computation ⋮ Polynomial Homotopy Method for the Sparse Interpolation Problem Part I: Equally Spaced Sampling ⋮ Newton's method with deflation for isolated singularities of polynomial systems ⋮ A numerical-symbolic algorithm for computing the multiplicity of a component of an algebraic set ⋮ Numerical Instability of Resultant Methods for Multidimensional Rootfinding ⋮ Roots of Bivariate Polynomial Systems via Determinantal Representations ⋮ Computing Tensor Eigenvalues via Homotopy Methods ⋮ Kinematical analysis of overconstrained and underconstrained mechanisms by means of computational algebraic geometry ⋮ The classification of real singularities using \textsc{Singular}. III: Unimodal singularities of corank 2 ⋮ Real Root Isolation of Polynomial Equations Based on Hybrid Computation ⋮ Computing the common zeros of two bivariate functions via Bézout resultants ⋮ The Approach of Moments for Polynomial Equations ⋮ A homotopy method with adaptive basis selection for computing multiple solutions of differential equations ⋮ Real monodromy action ⋮ A new centrality measure of nodes in multilayer networks under the framework of tensor computation ⋮ Spatial pattern formation in reaction-diffusion models: a computational approach ⋮ Regeneration homotopies for solving systems of polynomials ⋮ Solving decomposable sparse systems ⋮ Fiber product homotopy method for multiparameter eigenvalue problems ⋮ An adaptive homotopy method for computing bifurcations of nonlinear parametric systems ⋮ Exploiting Chordal Structure in Polynomial Ideals: A Gröbner Bases Approach ⋮ Decomposing Solution Sets of Polynomial Systems Using Derivatives ⋮ An adaptive homotopy tracking algorithm for solving nonlinear parametric systems with applications in nonlinear ODEs ⋮ Nonlinear power-like iteration by polar decomposition and its application to tensor approximation ⋮ Inner-approximating domains of attraction for discrete-time switched systems via multi-step multiple Lyapunov-like functions ⋮ A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications ⋮ Noetherian operators and primary decomposition ⋮ Homotopy techniques for tensor decomposition and perfect identifiability ⋮ Computing complex and real tropical curves using monodromy ⋮ Homotopy continuation for the spectra of persistent Laplacians ⋮ The numerical algebraic geometry of bottlenecks ⋮ Is the addition of higher-order interactions in ecological models increasing the understanding of ecological dynamics? ⋮ On the cut-off phenomenon for the transitivity of randomly generated subgroups ⋮ Adaptive strategies for solving parameterized systems using homotopy continuation ⋮ Using monodromy to statistically estimate the number of solutions ⋮ Euclidean distance degree and mixed volume ⋮ Exact bivariate polynomial factorization over \(\mathbb Q\) by approximation of roots ⋮ Smooth points on semi-algebraic sets ⋮ Catastrophe in elastic tensegrity frameworks ⋮ Nondegeneracy of eigenvectors and singular vector tuples of tensors ⋮ Low-rank approximation to entangled multipartite quantum systems ⋮ A numerical realization of the conditions of Max Nöther's residual intersection theorem ⋮ Rank-1 approximation for entangled multipartite real systems ⋮ Symmetric homotopy method for discretized elliptic equations with cubic and quintic nonlinearities ⋮ A direct algorithm to compute the topological Euler characteristic and Chern-Schwartz-MacPherson class of projective complete intersection varieties ⋮ Computing real witness points of positive dimensional polynomial systems
Uses Software
This page was built for publication: The Numerical Solution of Systems of Polynomials Arising in Engineering and Science
