652コメント203KB

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

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

0415１３２人目の素数さん

2008/09/18(木) 13:38:21

コンピュータでトレミーの定理の自動証明に成功した

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