14/09/07 13:42:23.56
>>290
オブラートにつつんでると伝わりにくいので
気をわるくしないでください。
はっきり書くと、すれ主さんがみつけてくれたソフトのソースは
はっきり言うとわたしの探してたものと違うってことです。
探してたものは、数学的な証明そのものをあつかえるソフトがあって、
そのような環境で使える5次方程式の証明を行なうソースを探してました。
14/09/07 13:42:23.56
>>290
オブラートにつつんでると伝わりにくいので
気をわるくしないでください。
はっきり書くと、すれ主さんがみつけてくれたソフトのソースは
はっきり言うとわたしの探してたものと違うってことです。
探してたものは、数学的な証明そのものをあつかえるソフトがあって、
そのような環境で使える5次方程式の証明を行なうソースを探してました。