Inter-universal geometry と ABC予想 49

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 49 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

988(1): 2020/04/15(水)13:15 ID:/g+JzMtk(4/9) AAS
>>986
抽出されたプログラムにもう一度証明を食わせて
同じプログラムが抽出されればOK

989(1): 2020/04/15(水)13:16 ID:LTi2Xsr9(2/5) AAS
>>988
インプットデータの正当性は？