実数上のSmaleの第17問題の効率的な解決

我々は、n個の非線形方程式からなる系を効率的に解くアルゴリズムを提案する。特に、n個の方程式が任意の次数の無作為な均質多項式である場合を考える。複素数の場合と異なり、実数の場合には以前の手法が適用できないため、新しいアプローチが必要となる。