Finding points on real solution components and applications to differential polynomial systems

DOI10.1145/2465506.2465954MaRDI QIDQ2963255zbMATH OpenOpenAlexFDO

Authors Wenyuan Wu, Greg Reid

Publication date 10 February 2017

Published in Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

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

zbMATH Keywords

differential algebraic equationsreal algebraic geometryhomotopy continuationnumerical algebraic geometrysingular critical pointswitness points

Mathematics Subject Classification ID

Differential algebra (12H05) Computational aspects of higher-dimensional varieties (14Q15)

Recommendations

• Numerical and geometric properties of a method for finding points on real solution components
• Computing real witness points of positive dimensional polynomial systems
• Penalty function based critical point approach to compute real witness solution points of polynomial systems
• Real solving for positive dimensional systems.
• Numerically computing real points on algebraic sets

Cited in

(16)

• A numerical method for computing border curves of bi-parametric real polynomial systems and applications
• Smooth points on semi-algebraic sets
• A hybrid procedure for finding real points on a real algebraic set
• Visualizing planar and space implicit real algebraic curves with singularities
• Inner-estimating domains of attraction for discrete-time non-polynomial systems with piecewise difference inclusions
• A robust approach for finding all well-separated solutions of sparse systems of nonlinear equations
• Numerical and geometric properties of a method for finding points on real solution components
• A geometric approach for analyzing parametric biological systems by exploiting block triangular structure
• Estimating the minimal domains of attraction of uncertain discrete-time switched systems under state-dependent switching
• Inner-approximating domains of attraction for discrete-time switched systems via multi-step multiple Lyapunov-like functions
• Tensor decomposition and homotopy continuation
• Computing real witness points of positive dimensional polynomial systems
• Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically
• Critical points via monodromy and local methods
• Penalty function based critical point approach to compute real witness solution points of polynomial systems
• Early Ending in Homotopy Path-Tracking for Real Roots

Describes a project that uses

Uses Software

• Maple
• HOM4PS

This page was built for publication: Finding points on real solution components and applications to differential polynomial systems

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