トップページ⇒math

652コメント203KB

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

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

0547１３２人目の素数さん

2009/02/11(水) 23:16:09

>>546 x + y = y + x
とかも自動証明できたりする？

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