Counting positive solutions for polynomial systems with real coefficients

DOI10.1016/j.camwa.2008.03.008zbMath1155.13314OpenAlexW1976698044MaRDI QIDQ1004849

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

piecewise algebraic curvediscriminant sequencegeneralized Sturm sequencepolynomial 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) Numerical computation of solutions to single equations (65H05) Real algebraic and real-analytic geometry (14P99) Computational aspects in algebraic geometry (14Q99)

Related Items (1)

Isolating the real roots of the piecewise algebraic variety

Cites Work

• A complete discrimination system for polynomials
• Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
• A complete algorithm for counting real solutions of polynomial systems of equations and inequalities.
• Computing triangular systems and regular systems
• Multivariate spline and algebraic geometry
• Piecewise algebraic curve
• A recursive algorithm for constructing generalized Sturm sequence
• The Nöther and Riemann-Roch type theorems for piecewise algebraic curve
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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