「数式処理による16次方程式の判別式計算に世界で初めて成功」記事へのコメント

どの時代に求まってたんだろう?

[s02222 (20350)]

>16次方程式の判別式は、3,798,697,446個の項からなり、その大きさは88GBにおよぶ非常に大きなものであるが

と、さらっと書いてあるけど、式の作り方自体はコンピュータ登場前に発明されてたという類の話なのかな? 「これこれこういう手順を繰り返すと、判別式が構成でき、その項数は最終的に3億7千...個となる。Q.E.D.」みたいな感じで。

当時としては、証明は出来たけど実際に書き出す事なんて出来ないよね、と思われていたのが、コンピュータの登場でその気になれば88GBを愚直に書き出すことまでは出来るようになり、ついに今度はそれを効率よく計算まで出来るようになった、と。

それとも、判別式の書き出し方自体がコンピュータありきの発明なのかな?

Re:どの時代に求まってたんだろう?

[Anonymous Coward]

なんだかその昔にmuMATH [wikipedia.org]でやってたことをスーパーコンピュータ使ったらこんなのまでできたよってこと？