Real solutions to systems of polynomial equations in Macaulay2

DOI10.2140/JSAG.2024.14.87MaRDI QIDQ6589553zbMATH OpenFDO

Authors Jordy Lopez Garcia, Kelly Maluccio, Frank Sottile, Thomas Yahl

Publication date 19 August 2024

Published in The Journal of Software for Algebra and Geometry (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2140/JSAG.2024.14.87

zbMATH Keywords

trace formSturm theoremBudan-Fourier theorem

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to algebraic geometry (14-04) Computational real algebraic geometry (14Q30)

Recommendations

• Polynomial homotopy continuation in Macaulay2
• Certifying approximate solutions to polynomial systems on Macaulay2
• Homotopy continuation in Macaulay2
• Interfacing with PHCpack
• Decomposable sparse polynomial systems

Cites work

• scientific article; zbMATH DE number 1693051 (Why is no real title available?)
• Algorithms in real algebraic geometry
• Real solutions to equations from geometry
• Stickelberger and the Eigenvalue Theorem
• Sturm's Theorem for Multiple Roots
• Ueber die Bedingungen, unter welchen eine Gleichung nur Wurzeln mit negativen reellen Teilen besitzt.

Cited in

(2)

• A vector bundle approach to Nash equilibria
• Certifying approximate solutions to polynomial systems on Macaulay2

This page was built for publication: Real solutions to systems of polynomial equations in Macaulay2

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