- 87 名前：１３２人目の素数さん mailto:sage [2011/03/20(日) 15:53:51.94 ]
- 高校レベルの定理が網羅されていないような気がする。
declare(a,real)$
declare(b,real)$
declare(c,real)$
declare(x,real)$
assume(equal(a*x^2+b*x+c,0))$
is(b^2-4*a*c>=0);
> (%o6) unknown
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
【数式処理システム】 Maxima 【Common Lisp】
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef