Content deleted Content added
CRGreathouse (talk | contribs) →Claims: new section |
|||
Line 128:
[[User:CRGreathouse|CRGreathouse]]<small> ([[User talk:CRGreathouse|t]] | [[Special:Contributions/CRGreathouse|c]])</small> 05:43, 14 May 2009 (UTC)
: Hello CRGreathouse! I was the person who added both these examples. At the time of adding it was true (we have tested almost all available CAS's). However, as you wrote, now the second example can be solved by SymPy. That's very interesting. I do not trust that any software has implemented the Risch algorighm in full now. But I will test current version of SymPy and try to give you better example. Thank you.[[User:Gaz v pol|Gaz v pol]] ([[User talk:Gaz v pol|talk]]) 22:28, 17 May 2009 (UTC)
| |||