652コメント203KB

コンピューターによる定理の自動証明

■ このスレッドは過去ログ倉庫に格納されています

0549１３２人目の素数さん

2009/02/13(金) 00:10:01

>>547
∀x, ∀y, x + y = y + x が自動で証明できたら
かなりすごいんじゃね？

■ このスレッドは過去ログ倉庫に格納されています