glen/dyna3
1
0
Fork 0
Code Issues 11 Pull Requests 1 Actions Projects Releases 2 Wiki Activity

Throw in some references

Vectornaut 2024-02-16 20:59:27 +00:00
parent a82304d638
commit 9760bac1c9
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
References.md Normal file

@ -0,0 +1,6 @@
* ["A Hybrid Procedure for Finding Real Points on a Real Algebraic Set"](https://doi.org/10.1007/s11424-019-8349-z)
* ["Algorithms for computing triangular decomposition of polynomial systems"](https://doi.org/10.1016/j.jsc.2011.12.023)
* ["When a system of real quadratic equations has a solution"](http://arxiv.org/abs/2106.08119)
* 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"](https://doi.org/10.1002/cpa.21638)
* This isn't the kind of quadratic system we have, but it the paper might have some tools we can use.