• =?UTF-8?Q?Fyi=2c_a_new_CAS_Independent_Di=ef=ac=80erential_Equation?= =

    From Nasser M. Abbasi@21:1/5 to All on Mon Apr 18 05:22:28 2022
    FYI,

    The following is a new report showing results of running
    a large collection of ODE's using Maple and Mathematica
    and comparing their performance

    https://www.12000.org/my_notes/CAS_ode_tests/index.htm

    The above page will now supersede the Kamke and Murphy
    web pages I have as this new page includes them and many
    additional ode's.

    The Kamke and Murphy pages will no longer be updated
    but will remain online.

    I've collected these ode's over a long time and manually
    entered them into sqlite3 database. These differential
    equations were collected from many standard textbooks and
    other sources such as Kamke and Murphy collections.

    The current database included [8,836] odes as of today.

    The following table summarizes the result

    Percentage solved:
    =====================
    Mathematica 13.0.1 95.566 %
    Maple 2022 95.817 %

    Other stats are on the above page. I will add additional stats
    as I continue updating the above page as the datebase grow.

    The textbooks used are listed above (about 45 books as of now).

    These are the same books and database I use for the following
    web page which also has picture and more information
    of the books used

    http://localhost/my_notes/solving_ODE/index.htm

    The above result shows that Mathematica and Maple are now
    in a virtual tie in their ability to solve ode's and above
    the rest of other CAS systems out there in this area.

    No verification was done to check that the solutions are correct or not.

    Also no grading on the solution is done, and no
    post processing such as simplification.

    All the commands used are listed for each ode.

    Any problems/issues found, please let me know.

    --Nasser

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From acer@21:1/5 to Nasser M. Abbasi on Mon May 2 13:02:03 2022
    On Monday, April 18, 2022 at 6:22:32 AM UTC-4, Nasser M. Abbasi wrote:
    FYI,

    The following is a new report showing results of running
    a large collection of ODE's using Maple and Mathematica
    and comparing their performance

    https://www.12000.org/my_notes/CAS_ode_tests/index.htm

    Why does you table have Mathemetica placed in the row above that in which Maple is placed?

    In several (almost all?) of your related comparison pages you usually arrange them by percentage solved. Eg,
    https://www.12000.org/my_notes/CAS_integration_tests/reports/summer_2021/inch1.htm#x2-30001.2

    Yet in this new page the results are given as:
    Mathematica 13.0.1 95.636%
    Maple 2022 95.848%
    Maple also does soundly better on all your other metrics: Mean time (sec), mean leaf size, total time (min), and total leaf size.
    And the name "Maple" comes before "Mathematica" alphabetically.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Nasser M. Abbasi@21:1/5 to acer on Mon May 2 15:50:16 2022
    On 5/2/2022 3:02 PM, acer wrote:
    On Monday, April 18, 2022 at 6:22:32 AM UTC-4, Nasser M. Abbasi wrote:
    FYI,

    The following is a new report showing results of running
    a large collection of ODE's using Maple and Mathematica
    and comparing their performance

    https://www.12000.org/my_notes/CAS_ode_tests/index.htm

    Why does you table have Mathemetica placed in the row above that in which Maple is placed?

    In several (almost all?) of your related comparison pages you usually arrange them by percentage solved. Eg,
    https://www.12000.org/my_notes/CAS_integration_tests/reports/summer_2021/inch1.htm#x2-30001.2

    Yet in this new page the results are given as:
    Mathematica 13.0.1 95.636%
    Maple 2022 95.848%
    Maple also does soundly better on all your other metrics: Mean time (sec), mean leaf size, total time (min), and total leaf size.
    And the name "Maple" comes before "Mathematica" alphabetically.


    oh, no special reason. This table is auto-generated. When the program writes the Latex for the table first time, it had Mathematica first then Maple,
    for no particular reason.

    Some of my programs then do a post-processing and sort the table afterwords
    to put the CAS's in the correct order and regenerate the table again based
    on the score. I do that for some tables in the cas integration program
    for example, since there are many CAS's and not possible to know the order before hand and it can change each time.

    This program is new and I am still working on it, and the post-processing sorting part was not done. But I'll add that when I build it next and
    Maple should then show above Mathematica in the score table.

    --Nasser

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Jeff Barnett@21:1/5 to All on Mon May 2 15:39:22 2022
    T24gNS8yLzIwMjIgMjo1MCBQTSwgTmFzc2VyIE0uIEFiYmFzaSB3cm90ZToNCj4gT24gNS8y LzIwMjIgMzowMiBQTSwgYWNlciB3cm90ZToNCj4+IE9uIE1vbmRheSwgQXByaWwgMTgsIDIw MjIgYXQgNjoyMjozMiBBTSBVVEMtNCwgTmFzc2VyIE0uIEFiYmFzaSB3cm90ZToNCj4+PiBG WUksDQo+Pj4NCj4+PiBUaGUgZm9sbG93aW5nIGlzIGEgbmV3IHJlcG9ydCBzaG93aW5nIHJl c3VsdHMgb2YgcnVubmluZw0KPj4+IGEgbGFyZ2UgY29sbGVjdGlvbiBvZiBPREUncyB1c2lu ZyBNYXBsZSBhbmQgTWF0aGVtYXRpY2ENCj4+PiBhbmQgY29tcGFyaW5nIHRoZWlyIHBlcmZv cm1hbmNlDQo+Pj4NCj4+PiBodHRwczovL3d3dy4xMjAwMC5vcmcvbXlfbm90ZXMvQ0FTX29k ZV90ZXN0cy9pbmRleC5odG0NCj4+DQo+PiBXaHkgZG9lcyB5b3UgdGFibGUgaGF2ZSBNYXRo ZW1ldGljYSBwbGFjZWQgaW4gdGhlIHJvdyBhYm92ZSB0aGF0IGluIA0KPj4gd2hpY2ggTWFw bGUgaXMgcGxhY2VkPw0KPj4NCj4+IEluIHNldmVyYWwgKGFsbW9zdCBhbGw/KSBvZiB5b3Vy IHJlbGF0ZWQgY29tcGFyaXNvbiBwYWdlcyB5b3UgdXN1YWxseSANCj4+IGFycmFuZ2UgdGhl bSBieSBwZXJjZW50YWdlIHNvbHZlZC4gRWcsDQo+PiAgICANCj4+IGh0dHBzOi8vd3d3LjEy MDAwLm9yZy9teV9ub3Rlcy9DQVNfaW50ZWdyYXRpb25fdGVzdHMvcmVwb3J0cy9zdW1tZXJf MjAyMS9pbmNoMS5odG0jeDItMzAwMDEuMiANCj4+DQo+Pg0KPj4gWWV0IGluIHRoaXMgbmV3 IHBhZ2UgdGhlIHJlc3VsdHMgYXJlIGdpdmVuIGFzOg0KPj4gwqDCoCBNYXRoZW1hdGljYSAx My4wLjHCoMKgwqAgOTUuNjM2JQ0KPj4gwqDCoCBNYXBsZSAyMDIywqDCoMKgwqDCoCA5NS44 NDglDQo+PiBNYXBsZSBhbHNvIGRvZXMgc291bmRseSBiZXR0ZXIgb24gYWxsIHlvdXIgb3Ro ZXIgbWV0cmljczogTWVhbiB0aW1lIA0KPj4gKHNlYyksIG1lYW4gbGVhZiBzaXplLCB0b3Rh bCB0aW1lIChtaW4pLCBhbmQgdG90YWwgbGVhZiBzaXplLg0KPj4gQW5kIHRoZSBuYW1lICJN YXBsZSIgY29tZXMgYmVmb3JlICJNYXRoZW1hdGljYSIgYWxwaGFiZXRpY2FsbHkuDQo+Pg0K PiANCj4gb2gsIG5vIHNwZWNpYWwgcmVhc29uLiBUaGlzIHRhYmxlIGlzIGF1dG8tZ2VuZXJh dGVkLiBXaGVuIHRoZSBwcm9ncmFtIA0KPiB3cml0ZXMNCj4gdGhlIExhdGV4IGZvciB0aGUg dGFibGUgZmlyc3QgdGltZSwgaXQgaGFkIE1hdGhlbWF0aWNhIGZpcnN0IHRoZW4gTWFwbGUs DQo+IGZvciBubyBwYXJ0aWN1bGFyIHJlYXNvbi4NCj4gDQo+IFNvbWUgb2YgbXkgcHJvZ3Jh bXMgdGhlbiBkbyBhIHBvc3QtcHJvY2Vzc2luZyBhbmQgc29ydCB0aGUgdGFibGUgYWZ0ZXJ3 b3Jkcw0KPiB0byBwdXQgdGhlIENBUydzIGluIHRoZSBjb3JyZWN0IG9yZGVyIGFuZCByZWdl bmVyYXRlIHRoZSB0YWJsZSBhZ2FpbiBiYXNlZA0KPiBvbiB0aGUgc2NvcmUuIEkgZG8gdGhh dCBmb3Igc29tZSB0YWJsZXMgaW4gdGhlIGNhcyBpbnRlZ3JhdGlvbiBwcm9ncmFtDQo+IGZv ciBleGFtcGxlLCBzaW5jZSB0aGVyZSBhcmUgbWFueSBDQVMncyBhbmQgbm90IHBvc3NpYmxl IHRvIGtub3cgdGhlIG9yZGVyDQo+IGJlZm9yZSBoYW5kIGFuZCBpdCBjYW4gY2hhbmdlIGVh Y2ggdGltZS4NCj4gDQo+IFRoaXMgcHJvZ3JhbSBpcyBuZXcgYW5kIEkgYW0gc3RpbGwgd29y a2luZyBvbiBpdCwgYW5kIHRoZSBwb3N0LXByb2Nlc3NpbmcNCj4gc29ydGluZyBwYXJ0IHdh cyBub3QgZG9uZS4gQnV0IEknbGwgYWRkIHRoYXQgd2hlbiBJIGJ1aWxkIGl0IG5leHQgYW5k DQo+IE1hcGxlIHNob3VsZCB0aGVuIHNob3cgYWJvdmUgTWF0aGVtYXRpY2EgaW4gdGhlIHNj b3JlIHRhYmxlLg0KSSdtIGp1c3QgYSBsdXJrZXIgaW4gdGhlIGJhY2tncm91bmQgYnV0IHRo b3VnaHQgSSBzaG91bGQgdGhhbmsgeW91IGZvciANCnRoZSBjb21tdW5pdHkgc3VwcG9ydCB3 b3JrIHlvdSBhcmUgZG9pbmcuIFNvIHRoYW5rIHlvdSBhbmQga2VlcCBnb2luZy4NCi0tIA0K SmVmZiBCYXJuZXR0DQo=

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From nobody@nowhere.invalid@21:1/5 to acer on Wed May 4 14:10:46 2022
    acer schrieb:

    On Monday, April 18, 2022 at 6:22:32 AM UTC-4, Nasser M. Abbasi wrote:
    FYI,

    The following is a new report showing results of running
    a large collection of ODE's using Maple and Mathematica
    and comparing their performance

    https://www.12000.org/my_notes/CAS_ode_tests/index.htm

    Why does you table have Mathemetica placed in the row above that in
    which Maple is placed?

    In several (almost all?) of your related comparison pages you usually
    arrange them by percentage solved. Eg,
    https://www.12000.org/my_notes/CAS_integration_tests/reports/summer_2021/inch1.htm#x2-30001.2

    Yet in this new page the results are given as:
    Mathematica 13.0.1 95.636%
    Maple 2022 95.848%
    Maple also does soundly better on all your other metrics: Mean time
    (sec), mean leaf size, total time (min), and total leaf size.
    And the name "Maple" comes before "Mathematica" alphabetically.

    Mathematica has been catching up rapidly over the last five years or
    so. Will Maple really be able to stay ahead? This is mostly a question
    of manpower only, I think.

    Martin.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From antispam@math.uni.wroc.pl@21:1/5 to clicliclic@freenet.de on Wed May 4 19:26:38 2022
    clicliclic@freenet.de <nobody@nowhere.invalid> wrote:

    acer schrieb:

    On Monday, April 18, 2022 at 6:22:32 AM UTC-4, Nasser M. Abbasi wrote:
    FYI,

    The following is a new report showing results of running
    a large collection of ODE's using Maple and Mathematica
    and comparing their performance

    https://www.12000.org/my_notes/CAS_ode_tests/index.htm

    Why does you table have Mathemetica placed in the row above that in
    which Maple is placed?

    In several (almost all?) of your related comparison pages you usually arrange them by percentage solved. Eg,
    https://www.12000.org/my_notes/CAS_integration_tests/reports/summer_2021/inch1.htm#x2-30001.2

    Yet in this new page the results are given as:
    Mathematica 13.0.1 95.636%
    Maple 2022 95.848%
    Maple also does soundly better on all your other metrics: Mean time
    (sec), mean leaf size, total time (min), and total leaf size.
    And the name "Maple" comes before "Mathematica" alphabetically.

    Mathematica has been catching up rapidly over the last five years or
    so. Will Maple really be able to stay ahead? This is mostly a question
    of manpower only, I think.

    I think this is more subtle than raw "manpower". Design decisions
    matter and may affect needed effort quite a lot. For example
    early decision in Mathematica developement was to use C for
    many algorihtms. This affected Mathematica developement for
    many years (possible up to now). Comparably, almost all Maple
    was and is written in Maple language. There are probably more
    subtle differences.

    There is also question what "manpower" really mean. My impression
    was that a lot of Maple code was contributed by independent researchers.

    --
    Waldek Hebisch

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Dr Huang@21:1/5 to Nasser M. Abbasi on Thu Jun 23 22:38:18 2022
    On Monday, 18 April 2022 at 20:22:32 UTC+10, Nasser M. Abbasi wrote:
    FYI,

    The following is a new report showing results of running
    a large collection of ODE's using Maple and Mathematica
    and comparing their performance

    https://www.12000.org/my_notes/CAS_ode_tests/index.htm

    The above page will now supersede the Kamke and Murphy
    web pages I have as this new page includes them and many
    additional ode's.

    The Kamke and Murphy pages will no longer be updated
    but will remain online.

    I've collected these ode's over a long time and manually
    entered them into sqlite3 database. These differential
    equations were collected from many standard textbooks and
    other sources such as Kamke and Murphy collections.

    The current database included [8,836] odes as of today.

    The following table summarizes the result

    Percentage solved:
    =====================
    Mathematica 13.0.1 95.566 %
    Maple 2022 95.817 %

    Other stats are on the above page. I will add additional stats
    as I continue updating the above page as the datebase grow.

    The textbooks used are listed above (about 45 books as of now).

    These are the same books and database I use for the following
    web page which also has picture and more information
    of the books used

    http://localhost/my_notes/solving_ODE/index.htm

    The above result shows that Mathematica and Maple are now
    in a virtual tie in their ability to solve ode's and above
    the rest of other CAS systems out there in this area.

    No verification was done to check that the solutions are correct or not.

    Also no grading on the solution is done, and no
    post processing such as simplification.

    All the commands used are listed for each ode.

    Any problems/issues found, please let me know.

    --Nasser

    May I suggest you test ODE with mathHand.com? It can solve many ODE that other cannot. e.g. DrHuang.com/index/bug

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Jon McLoone@21:1/5 to All on Thu Jun 30 02:29:38 2022
    May I suggest you test ODE with mathHand.com? It can solve many ODE that other cannot. e.g. DrHuang.com/index/bug

    As far as I can tell, your bug list are all variations of the same bug that has, at some point, been fixed. Here are five examples from your list in Mathematica 13.1...

    In[160]:= DSolve[y'[x] - y[x]^2 - 2 x^2 - 1 == 0, y[x], x]

    Out[160]= {{y[
    x] -> -(((1 + I) 2^(1/4) C[
    1] (((1 +
    I) x ParabolicCylinderD[-(1/4)
    I (-2 I + Sqrt[2]), (1 + I) 2^(1/4) x])/2^(3/4) -
    ParabolicCylinderD[
    1 - 1/4 I (-2 I + Sqrt[2]), (1 + I) 2^(1/4) x]) - (1 -
    I) 2^(1/4) (-(((1 - I) x ParabolicCylinderD[
    1/4 I (2 I + Sqrt[2]), (-1 + I) 2^(1/4) x])/2^(3/4)) -
    ParabolicCylinderD[
    1 + 1/4 I (2 I + Sqrt[2]), (-1 + I) 2^(1/4) x]))/(C[
    1] ParabolicCylinderD[-(1/4) I (-2 I + Sqrt[2]), (1 + I) 2^(
    1/4) x] +
    ParabolicCylinderD[
    1/4 I (2 I + Sqrt[2]), (-1 + I) 2^(1/4) x]))}}

    In[161]:= DSolve[y'[x] - 2 y[x]^2 - 2 x^2 - 1 == 0, y[x], x]

    Out[161]= {{y[
    x] -> -((2 (-1)^(1/4) C[
    1] ((-1)^(1/4)
    x ParabolicCylinderD[-(1/2) - I/2, 2 (-1)^(1/4) x] -
    ParabolicCylinderD[1/2 - I/2, 2 (-1)^(1/4) x]) +
    2 (-1)^(3/
    4) ((-1)^(3/4)
    x ParabolicCylinderD[-(1/2) + I/2, 2 (-1)^(3/4) x] -
    ParabolicCylinderD[1/2 + I/2, 2 (-1)^(3/4) x]))/(2 (C[
    1] ParabolicCylinderD[-(1/2) - I/2, 2 (-1)^(1/4) x] +
    ParabolicCylinderD[-(1/2) + I/2, 2 (-1)^(3/4) x])))}}

    In[163]:= DSolve[y'[x] - 3 y[x]^2 - 2 x^2 - 1 == 0, y[x], x]

    Out[163]= {{y[
    x] -> -(((1 + I) 6^(1/4) C[
    1] (((1 + I) 3^(1/4)
    x ParabolicCylinderD[-(1/4)
    I (-2 I + Sqrt[6]), (1 + I) 6^(1/4) x])/2^(3/4) -
    ParabolicCylinderD[
    1 - 1/4 I (-2 I + Sqrt[6]), (1 + I) 6^(1/4) x]) - (1 -
    I) 6^(1/4) (-(((1 - I) 3^(1/4)
    x ParabolicCylinderD[
    1/4 I (2 I + Sqrt[6]), (-1 + I) 6^(1/4) x])/2^(3/4)) -
    ParabolicCylinderD[
    1 + 1/4 I (2 I + Sqrt[6]), (-1 + I) 6^(1/4) x]))/(3 (C[
    1] ParabolicCylinderD[-(1/4)
    I (-2 I + Sqrt[6]), (1 + I) 6^(1/4) x] +
    ParabolicCylinderD[
    1/4 I (2 I + Sqrt[6]), (-1 + I) 6^(1/4) x])))}}

    In[165]:= DSolve[y''[x] - y'[x] y[x] - x == 0, y[x], x]

    Out[165]= {{y[
    x] -> -((2 ((-1)^(
    3/4) (1/2 (-1)^(3/4)
    x ParabolicCylinderD[-(1/2) I (-I + C[1]), (-1)^(3/4)
    x] - ParabolicCylinderD[
    1 - 1/2 I (-I + C[1]), (-1)^(3/4) x]) + (-1)^(1/4) C[
    2] (1/2 (-1)^(1/4)
    x ParabolicCylinderD[1/2 I (I + C[1]), (-1)^(1/4) x] -
    ParabolicCylinderD[
    1 + 1/2 I (I + C[1]), (-1)^(1/4)
    x])))/(ParabolicCylinderD[-(1/2) I (-I + C[1]), (-1)^(
    3/4) x] +
    C[2] ParabolicCylinderD[1/2 I (I + C[1]), (-1)^(1/4) x]))}}

    In[168]:=
    DSolve[y'[x]^2 - x y'[x] - y[x] == 0, y[x], x] // FullSimplify

    Out[168]= {{y[
    x] -> (-4 E^(3 C[1])
    x - (-2 x^2 + (-E^(6 C[1]) - 20 E^(3 C[1]) x^3 + 8 x^6 + Sqrt[
    E^(3 C[1]) (E^(3 C[1]) - 8 x^3)^3])^(1/3))^2)/(
    8 (-E^(6 C[1]) - 20 E^(3 C[1]) x^3 + 8 x^6 + Sqrt[
    E^(3 C[1]) (E^(3 C[1]) - 8 x^3)^3])^(1/3))}, {y[x] ->
    1/16 (8 x^2 + ((4 + 4 I Sqrt[3]) x (E^(3 C[1]) + x^3))/(-E^(
    6 C[1]) - 20 E^(3 C[1]) x^3 + 8 x^6 + Sqrt[
    E^(3 C[1]) (E^(3 C[1]) - 8 x^3)^3])^(
    1/3) + (1 - I Sqrt[3]) (-E^(6 C[1]) - 20 E^(3 C[1]) x^3 +
    8 x^6 + Sqrt[E^(3 C[1]) (E^(3 C[1]) - 8 x^3)^3])^(1/3))}, {y[
    x] -> 1/16 (8 x^2 + ((4 - 4 I Sqrt[3]) x (E^(3 C[1]) + x^3))/(-E^(
    6 C[1]) - 20 E^(3 C[1]) x^3 + 8 x^6 + Sqrt[
    E^(3 C[1]) (E^(3 C[1]) - 8 x^3)^3])^(
    1/3) + (1 + I Sqrt[3]) (-E^(6 C[1]) - 20 E^(3 C[1]) x^3 +
    8 x^6 + Sqrt[E^(3 C[1]) (E^(3 C[1]) - 8 x^3)^3])^(1/3))}, {y[
    x] -> (4 E^(3 C[1])
    x - (-2 x^2 + (-E^(6 C[1]) + 20 E^(3 C[1]) x^3 + 8 x^6 + Sqrt[
    E^(3 C[1]) (E^(3 C[1]) + 8 x^3)^3])^(1/3))^2)/(
    8 (-E^(6 C[1]) + 20 E^(3 C[1]) x^3 + 8 x^6 + Sqrt[
    E^(3 C[1]) (E^(3 C[1]) + 8 x^3)^3])^(1/3))}, {y[
    x] -> ((-4 - 4 I Sqrt[3]) E^(3 C[1]) x + (4 + 4 I Sqrt[3]) x^4 +
    8 x^2 (-E^(6 C[1]) + 20 E^(3 C[1]) x^3 + 8 x^6 + Sqrt[
    E^(3 C[1]) (E^(3 C[1]) + 8 x^3)^3])^(
    1/3) + (1 - I Sqrt[3]) (-E^(6 C[1]) + 20 E^(3 C[1]) x^3 +
    8 x^6 + Sqrt[E^(3 C[1]) (E^(3 C[1]) + 8 x^3)^3])^(
    2/3))/(16 (-E^(6 C[1]) + 20 E^(3 C[1]) x^3 + 8 x^6 + Sqrt[
    E^(3 C[1]) (E^(3 C[1]) + 8 x^3)^3])^(1/3))}, {y[
    x] -> (4 I (I + Sqrt[3]) E^(3 C[1]) x + (4 - 4 I Sqrt[3]) x^4 +
    8 x^2 (-E^(6 C[1]) + 20 E^(3 C[1]) x^3 + 8 x^6 + Sqrt[
    E^(3 C[1]) (E^(3 C[1]) + 8 x^3)^3])^(
    1/3) + (1 + I Sqrt[3]) (-E^(6 C[1]) + 20 E^(3 C[1]) x^3 +
    8 x^6 + Sqrt[E^(3 C[1]) (E^(3 C[1]) + 8 x^3)^3])^(
    2/3))/(16 (-E^(6 C[1]) + 20 E^(3 C[1]) x^3 + 8 x^6 + Sqrt[
    E^(3 C[1]) (E^(3 C[1]) + 8 x^3)^3])^(1/3))}}

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Dr Huang@21:1/5 to Jon McLoone on Thu Jun 30 05:30:11 2022
    On Thursday, 30 June 2022 at 19:29:40 UTC+10, Jon McLoone wrote:
    May I suggest you test ODE with mathHand.com? It can solve many ODE that other cannot. e.g. DrHuang.com/index/bug
    As far as I can tell, your bug list are all variations of the same bug that has, at some point, been fixed. Here are five examples from your list in Mathematica 13.1...

    the list in http://drhuang.com/index/bug say: "There are bugs in many software such as WolframAlpha." Did you try in WolframAlpha?


    In[160]:= DSolve[y'[x] - y[x]^2 - 2 x^2 - 1 == 0, y[x], x]

    WolframAlpha gives y(x)=1/(c1-x)


    Out[160]= {{y[
    x] -> -(((1 + I) 2^(1/4) C[
    1] (((1 +
    I) x ParabolicCylinderD[-(1/4)
    I (-2 I + Sqrt[2]), (1 + I) 2^(1/4) x])/2^(3/4) -
    ParabolicCylinderD[
    1 - 1/4 I (-2 I + Sqrt[2]), (1 + I) 2^(1/4) x]) - (1 -
    I) 2^(1/4) (-(((1 - I) x ParabolicCylinderD[
    1/4 I (2 I + Sqrt[2]), (-1 + I) 2^(1/4) x])/2^(3/4)) -
    ParabolicCylinderD[
    1 + 1/4 I (2 I + Sqrt[2]), (-1 + I) 2^(1/4) x]))/(C[
    1] ParabolicCylinderD[-(1/4) I (-2 I + Sqrt[2]), (1 + I) 2^(
    1/4) x] +
    ParabolicCylinderD[
    1/4 I (2 I + Sqrt[2]), (-1 + I) 2^(1/4) x]))}}

    In[161]:= DSolve[y'[x] - 2 y[x]^2 - 2 x^2 - 1 == 0, y[x], x]

    WolframAlpha gives y(x)=1/(2(c1-x))


    Out[161]= {{y[
    x] -> -((2 (-1)^(1/4) C[
    1] ((-1)^(1/4)
    x ParabolicCylinderD[-(1/2) - I/2, 2 (-1)^(1/4) x] -
    ParabolicCylinderD[1/2 - I/2, 2 (-1)^(1/4) x]) +
    2 (-1)^(3/
    4) ((-1)^(3/4)
    x ParabolicCylinderD[-(1/2) + I/2, 2 (-1)^(3/4) x] -
    ParabolicCylinderD[1/2 + I/2, 2 (-1)^(3/4) x]))/(2 (C[
    1] ParabolicCylinderD[-(1/2) - I/2, 2 (-1)^(1/4) x] + ParabolicCylinderD[-(1/2) + I/2, 2 (-1)^(3/4) x])))}}

    In[163]:= DSolve[y'[x] - 3 y[x]^2 - 2 x^2 - 1 == 0, y[x], x]

    WolframAlpha gives y(x)=1/(3(c1-x))


    Out[163]= {{y[
    x] -> -(((1 + I) 6^(1/4) C[
    1] (((1 + I) 3^(1/4)
    x ParabolicCylinderD[-(1/4)
    I (-2 I + Sqrt[6]), (1 + I) 6^(1/4) x])/2^(3/4) -
    ParabolicCylinderD[
    1 - 1/4 I (-2 I + Sqrt[6]), (1 + I) 6^(1/4) x]) - (1 -
    I) 6^(1/4) (-(((1 - I) 3^(1/4)
    x ParabolicCylinderD[
    1/4 I (2 I + Sqrt[6]), (-1 + I) 6^(1/4) x])/2^(3/4)) -
    ParabolicCylinderD[
    1 + 1/4 I (2 I + Sqrt[6]), (-1 + I) 6^(1/4) x]))/(3 (C[
    1] ParabolicCylinderD[-(1/4)
    I (-2 I + Sqrt[6]), (1 + I) 6^(1/4) x] +
    ParabolicCylinderD[
    1/4 I (2 I + Sqrt[6]), (-1 + I) 6^(1/4) x])))}}

    In[165]:= DSolve[y''[x] - y'[x] y[x] - x == 0, y[x], x]

    WolframAlpha gives y(x)=2/(c1-x)


    Out[165]= {{y[
    x] -> -((2 ((-1)^(
    3/4) (1/2 (-1)^(3/4)
    x ParabolicCylinderD[-(1/2) I (-I + C[1]), (-1)^(3/4)
    x] - ParabolicCylinderD[
    1 - 1/2 I (-I + C[1]), (-1)^(3/4) x]) + (-1)^(1/4) C[
    2] (1/2 (-1)^(1/4)
    x ParabolicCylinderD[1/2 I (I + C[1]), (-1)^(1/4) x] -
    ParabolicCylinderD[
    1 + 1/2 I (I + C[1]), (-1)^(1/4)
    x])))/(ParabolicCylinderD[-(1/2) I (-I + C[1]), (-1)^(
    3/4) x] +
    C[2] ParabolicCylinderD[1/2 I (I + C[1]), (-1)^(1/4) x]))}}

    In[168]:=
    DSolve[y'[x]^2 - x y'[x] - y[x] == 0, y[x], x] // FullSimplify

    Out[168]= {{y[
    x] -> (-4 E^(3 C[1])
    x - (-2 x^2 + (-E^(6 C[1]) - 20 E^(3 C[1]) x^3 + 8 x^6 + Sqrt[
    E^(3 C[1]) (E^(3 C[1]) - 8 x^3)^3])^(1/3))^2)/(
    8 (-E^(6 C[1]) - 20 E^(3 C[1]) x^3 + 8 x^6 + Sqrt[
    E^(3 C[1]) (E^(3 C[1]) - 8 x^3)^3])^(1/3))}, {y[x] ->
    1/16 (8 x^2 + ((4 + 4 I Sqrt[3]) x (E^(3 C[1]) + x^3))/(-E^(
    6 C[1]) - 20 E^(3 C[1]) x^3 + 8 x^6 + Sqrt[
    E^(3 C[1]) (E^(3 C[1]) - 8 x^3)^3])^(
    1/3) + (1 - I Sqrt[3]) (-E^(6 C[1]) - 20 E^(3 C[1]) x^3 +
    8 x^6 + Sqrt[E^(3 C[1]) (E^(3 C[1]) - 8 x^3)^3])^(1/3))}, {y[
    x] -> 1/16 (8 x^2 + ((4 - 4 I Sqrt[3]) x (E^(3 C[1]) + x^3))/(-E^(
    6 C[1]) - 20 E^(3 C[1]) x^3 + 8 x^6 + Sqrt[
    E^(3 C[1]) (E^(3 C[1]) - 8 x^3)^3])^(
    1/3) + (1 + I Sqrt[3]) (-E^(6 C[1]) - 20 E^(3 C[1]) x^3 +
    8 x^6 + Sqrt[E^(3 C[1]) (E^(3 C[1]) - 8 x^3)^3])^(1/3))}, {y[
    x] -> (4 E^(3 C[1])
    x - (-2 x^2 + (-E^(6 C[1]) + 20 E^(3 C[1]) x^3 + 8 x^6 + Sqrt[
    E^(3 C[1]) (E^(3 C[1]) + 8 x^3)^3])^(1/3))^2)/(
    8 (-E^(6 C[1]) + 20 E^(3 C[1]) x^3 + 8 x^6 + Sqrt[
    E^(3 C[1]) (E^(3 C[1]) + 8 x^3)^3])^(1/3))}, {y[
    x] -> ((-4 - 4 I Sqrt[3]) E^(3 C[1]) x + (4 + 4 I Sqrt[3]) x^4 +
    8 x^2 (-E^(6 C[1]) + 20 E^(3 C[1]) x^3 + 8 x^6 + Sqrt[
    E^(3 C[1]) (E^(3 C[1]) + 8 x^3)^3])^(
    1/3) + (1 - I Sqrt[3]) (-E^(6 C[1]) + 20 E^(3 C[1]) x^3 +
    8 x^6 + Sqrt[E^(3 C[1]) (E^(3 C[1]) + 8 x^3)^3])^(
    2/3))/(16 (-E^(6 C[1]) + 20 E^(3 C[1]) x^3 + 8 x^6 + Sqrt[
    E^(3 C[1]) (E^(3 C[1]) + 8 x^3)^3])^(1/3))}, {y[
    x] -> (4 I (I + Sqrt[3]) E^(3 C[1]) x + (4 - 4 I Sqrt[3]) x^4 +
    8 x^2 (-E^(6 C[1]) + 20 E^(3 C[1]) x^3 + 8 x^6 + Sqrt[
    E^(3 C[1]) (E^(3 C[1]) + 8 x^3)^3])^(
    1/3) + (1 + I Sqrt[3]) (-E^(6 C[1]) + 20 E^(3 C[1]) x^3 +
    8 x^6 + Sqrt[E^(3 C[1]) (E^(3 C[1]) + 8 x^3)^3])^(
    2/3))/(16 (-E^(6 C[1]) + 20 E^(3 C[1]) x^3 + 8 x^6 + Sqrt[
    E^(3 C[1]) (E^(3 C[1]) + 8 x^3)^3])^(1/3))}}

    Wolfram cannot find SIMPLE solution, and Mathematica cannot find SIMPLE solution too. Over 800 bugs in http://drhuang.com/index/bug , wish wolfram fix the bugs.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Nasser M. Abbasi@21:1/5 to Nasser M. Abbasi on Tue Nov 8 01:02:53 2022
    On 11/8/2022 12:59 AM, Nasser M. Abbasi wrote:

    The current result is
    ======================

    System %solved Number solved Number failed
    Maple 2022.1 94.454 9487 557
    Mathematica 13.1 93.260 9367 677


    Btw, 2022.1 above is a typo for Maple. iIt should be 2022.2, I
    noticed this last minute after finishing the build. Will fix soon.

    --Nasser

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Nasser M. Abbasi@21:1/5 to Nasser M. Abbasi on Tue Nov 8 00:59:50 2022
    On 4/18/2022 5:22 AM, Nasser M. Abbasi wrote:
    FYI,

    The following is a new report showing results of running
    a large collection of ODE's using Maple and Mathematica
    and comparing their performance

    https://www.12000.org/my_notes/CAS_ode_tests/index.htm

    The above page will now supersede the Kamke and Murphy
    web pages I have as this new page includes them and many
    additional ode's.

    The Kamke and Murphy pages will no longer be updated
    but will remain online.

    I've collected these ode's over a long time and manually
    entered them into sqlite3 database. These differential
    equations were collected from many standard textbooks and
    other sources such as Kamke and Murphy collections.

    The current database included [8,836] odes as of today.

    The following table summarizes the result

    Percentage solved:
    =====================
    Mathematica 13.0.1 95.566 %
    Maple 2022 95.817 %


    FYI,

    https://12000.org/my_notes/CAS_ode_tests/index.htm

    An update is made to the above reports.

    Updated to Mathematica 13.1 and Maple 2022.2.
    Added about 1,200 new ODE's to the database.

    The current result is
    ======================

    System %solved Number solved Number failed
    Maple 2022.1 94.454 9487 557
    Mathematica 13.1 93.260 9367 677


    Table 1.2: Summary of run time performance of each CAS system ===========================================================
    System mean time (sec) mean leaf size
    Maple 2022.1 0.285 273.73
    Mathematica 13.1 2.448 845.31

    The PDF is about 13,000 pages.

    Problems, or any other issues, please let me know.
    --Nasser

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Dr Huang (DrHuang.com)@21:1/5 to Dr Huang on Sun Nov 13 19:27:41 2022
    On Friday, 24 June 2022 at 15:38:20 UTC+10, Dr Huang wrote:
    On Monday, 18 April 2022 at 20:22:32 UTC+10, Nasser M. Abbasi wrote:
    FYI,

    The following is a new report showing results of running
    a large collection of ODE's using Maple and Mathematica
    and comparing their performance

    https://www.12000.org/my_notes/CAS_ode_tests/index.htm

    The above page will now supersede the Kamke and Murphy
    web pages I have as this new page includes them and many
    additional ode's.

    The Kamke and Murphy pages will no longer be updated
    but will remain online.

    I've collected these ode's over a long time and manually
    entered them into sqlite3 database. These differential
    equations were collected from many standard textbooks and
    other sources such as Kamke and Murphy collections.

    The current database included [8,836] odes as of today.

    The following table summarizes the result

    Percentage solved:
    =====================
    Mathematica 13.0.1 95.566 %
    Maple 2022 95.817 %

    Other stats are on the above page. I will add additional stats
    as I continue updating the above page as the datebase grow.

    The textbooks used are listed above (about 45 books as of now).

    These are the same books and database I use for the following
    web page which also has picture and more information
    of the books used

    http://localhost/my_notes/solving_ODE/index.htm

    The above result shows that Mathematica and Maple are now
    in a virtual tie in their ability to solve ode's and above
    the rest of other CAS systems out there in this area.

    No verification was done to check that the solutions are correct or not.

    Also no grading on the solution is done, and no
    post processing such as simplification.

    All the commands used are listed for each ode.

    Any problems/issues found, please let me know.

    --Nasser
    May I suggest you test ODE with mathHand.com? It can solve many ODE that other cannot. e.g. http://DrHuang.com/index/bug

    May I sugges you test Fractional differential equation?

    http://drhuang.com/science/mathematics/Fractional_calculus/Fractional_differential_equation.htm

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Nasser M. Abbasi@21:1/5 to Nasser M. Abbasi on Wed Dec 21 06:51:49 2022
    On 4/18/2022 5:22 AM, Nasser M. Abbasi wrote:
    FYI,

    The following is a new report showing results of running
    a large collection of ODE's using Maple and Mathematica
    and comparing their performance

    https://www.12000.org/my_notes/CAS_ode_tests/index.htm


    FYI,

    Updated the above for Mathematica 13.2.

    The current number of differential equations is now 10,184.

    Current result is
    =================
    System % solved Number solved Number failed
    Maple 2022.2 94.491 9623 561
    Mathematica 13.2 93.254 9497 687

    Summary of run time performance of each CAS system ==================================================

    System mean time (sec) mean leaf size
    Maple 2022.2 0.181 272.82
    Mathematica 13.2 4.068 835.30

    All done on windows 10, intel 12th Gen Intel(R) Core(TM) i9-12900K 3.20 GHz with 128 GB RAM.

    Each system was given 180 second of CPU time to complete the problem.

    Any problems please let me know.

    --Nasser

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)