>>779
>そして、もう一つは数式処理とか、群論計算ソフトとか
>そういうスキルを磨くってのも、一つの方法でしょうね（＾＾

一例が、下記のKirti Joshiの論文だ
彼は、論文中で、結構具体的な楕円曲線の計算をしている
思うに、数式処理を駆使していると思う
（もし、いまガウスが居たら、彼は手計算したかもだがねｗ（＾＾；）

（参考）
https://arxiv.org/pdf/2003.01890.pdf
On Mochizuki’s idea of Anabelomorphy and
its applications
Kirti Joshi
April 24, 2020
(抜粋)
P48
E : y
2 = x
3+(?ζ
5
9+8ζ
4
9?ζ
3
9+ζ
2
9?2ζ9?11)x+(?408ζ
5
9?6ζ
4
9+201ζ
3
9+37ζ
2
9?38ζ9+1348).