331コメント203KB

【数式処理システム】 Maxima 【Common Lisp】

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

0092１３２人目の素数さん

2011/03/23(水) 15:48:37.06

定理自動証明とかならCoq, Agdaあたりかな？少し毛色が違うけど

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