From 9760bac1c9c7b27f00d65dff3d143072f589bb93 Mon Sep 17 00:00:00 2001 From: Vectornaut Date: Fri, 16 Feb 2024 20:59:27 +0000 Subject: [PATCH] Throw in some references --- References.md | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 References.md diff --git a/References.md b/References.md new file mode 100644 index 0000000..b82777e --- /dev/null +++ b/References.md @@ -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. \ No newline at end of file