>>392
ID:YQrn4LAxさん
どうも。スレ主です。レスありがとう

>>225の論文でコンピュータ使ったところなんてありますかね？

ええ、それP334 TABLE 1とか、P348の多項式P_35(x) とか
まあ、この手の論文を見慣れていれば、すぐ分ります
Cox ガロア本にも、似たような計算がありますよ
”基本的には理論的な話”ではないですね。理論と数式処理との組み合わせでしょう
（次数が上がると、数式処理が膨大になって爆発してしまう。そこを理論で整理して爆発を押さえるってことじゃないかな）

あと、P357
(抜粋)
ACKNOWLEDGMENTS
During the preparation of this paper we have benefited from helpful and fruitful conversations
with many colleagues. We thank them all. We are specially indebted to Professor H.
Zassenhaus for suggesting the problem of a constructive realization of Frobenius groups (of
prime degree) as Galois groups, and for carefully reading the manuscript and making valuable
suggestions for its improvement. Our special thanks are due to Professor E. Kaltofen for his
generous assistance in carrying out machine computations with MACSYMA at Kent State University.
(引用終り)

（余談）
上記MACSYMAは、多分初代の本格的な数式処理ソフト（MIT製だったかな。その前にREDUCEがあったかも）
で、その子孫が、>>395のMaxima（PC版）だったと思います
あと、Zassenhaus先生に助けて貰ったとありますね
まあ、いろんな人に助けて貰って、複数人でやるのが良いと思いますよ、いまどきの数学は