Counting positive solutions for polynomial systems with real coefficients

DOI10.1016/J.CAMWA.2008.03.008MaRDI QIDQ1004849zbMATH OpenOpenAlexFDO

Authors Yisheng Lai

Publication date 12 March 2009

Published in Computers & Mathematics with Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.camwa.2008.03.008

zbMATH Keywords

discriminant sequencegeneralized Sturm sequencepiecewise algebraic curvepolynomial systems with real coefficientsthe number of positive solutions

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Real algebraic and real-analytic geometry (14P99) Computational aspects in algebraic geometry (14Q99) Numerical computation of solutions to single equations (65H05)

Recommendations

• Bounds on the number of solutions of polynomial systems and the Betti numbers of real piecewise algebraic hypersurfaces
• Computer Algebra in Scientific Computing
• A complete algorithm for counting real solutions of polynomial systems of equations and inequalities.
• On the complexity of real solving bivariate systems
• scientific article; zbMATH DE number 1080054

Cites work

• A complete algorithm for counting real solutions of polynomial systems of equations and inequalities.
• A complete discrimination system for polynomials
• A recursive algorithm for constructing generalized Sturm sequence
• Computing triangular systems and regular systems
• scientific article; zbMATH DE number 3941661 (Why is no real title available?)
• scientific article; zbMATH DE number 3970886 (Why is no real title available?)
• scientific article; zbMATH DE number 1276817 (Why is no real title available?)
• scientific article; zbMATH DE number 2076853 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
• Multivariate spline and algebraic geometry
• Piecewise algebraic curve
• The Nöther and Riemann-Roch type theorems for piecewise algebraic curve

Cited in

(7)

• Counting solutions of polynomial systems via iterated fibrations
• Isolating the real roots of the piecewise algebraic variety
• Constructing polynomial systems with many positive solutions using tropical geometry
• A recursive algorithm for constructing generalized Sturm sequence
• Computing real witness points of positive dimensional polynomial systems
• Characterization of circuits supporting polynomial systems with the maximal number of positive solutions
• Systems of polynomials with at least one positive real zero

This page was built for publication: Counting positive solutions for polynomial systems with real coefficients

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