Inter-universal geometry と ABC予想 (応援スレ) 65

Inter-universal geometry と ABC予想 (応援スレ) 65at MATH

Inter-universal geometry と ABC予想 (応援スレ) 65 - 暇つぶし2ch854:１３２人目の素数さん
22/04/30 09:53:23 iasFv4zS.net
>>691
日本がその分野で遅れているからでは
トークセッションに参加していたミヒャエルコールハースも計算機科学者で数学の自動定理証明の専門家だが、そういう人が少ないから考え方も浸透しないし解説もない

次ページ

続きを表示

1を表示