Content deleted Content added
Fresheneesz (talk | contribs) |
CRGreathouse (talk | contribs) →Claims: new section |
||
Line 118:
Can anybody enlighten me on this? --[[User:Berntie|Berntie]] ([[User talk:Berntie|talk]]) 20:19, 4 October 2008 (UTC)
== Claims ==
The article claims that only Axiom can solve a certain integral, and that a second is unsolvable by any present CAS. I made a page [[User:CRGreathouse/Risch]] on my userspace to record my test of those claims: regardless of the need for [[WP:V]], I'd be happier if I knew the claims in the article were true.
It seems that the first claim holds: I was not able to find any CAS other than Axiom solving the first integral, not even the new version of Mathematica. The second claim is false, as SymPy solves it fairly quickly.
I would prefer to take examples out of published papers, because those may have claims like "no CAS known to the authors can solve this". For the time being, I think we should leave the first integral but remove the claim on the second (and maybe remove it outright).
[[User:CRGreathouse|CRGreathouse]]<small> ([[User talk:CRGreathouse|t]] | [[Special:Contributions/CRGreathouse|c]])</small> 05:43, 14 May 2009 (UTC)
| |||