1 References

Vectornaut edited this page 2024-02-16 20:59:27 +00:00

• "A Hybrid Procedure for Finding Real Points on a Real Algebraic Set"
• "Algorithms for computing triangular decomposition of polynomial systems"
• "When a system of real quadratic equations has a solution"
  • This only decides whether there's a solution, rather than finding one, but it might have some tools we can use.
• "Solving Random Quadratic Systems of Equations Is Nearly as Easy as Solving Linear Systems"
  • This isn't the kind of quadratic system we have, but it the paper might have some tools we can use.