sci.math.symbolic

1–30 of 23190

0 selected

drhu...@gmail.com

Apr 17

There are many bugs in Wolfram, the bugs are classified into few classes: http://drhuang.com/science/

unread,

There are many bugs in Wolfram, the bugs are classified into few classes: http://drhuang.com/science/

Apr 17

Apr 16

Re: April Fools Day Challenge (Liar Paradox specifies an unsatisfiable cyclic structure)

On 4/1/2021 12:39 PM, olcott wrote: > On 3/31/2021 6:15 PM, Mostowski Collapse wrote: >>

unread,

Re: April Fools Day Challenge (Liar Paradox specifies an unsatisfiable cyclic structure)

On 4/1/2021 12:39 PM, olcott wrote: > On 3/31/2021 6:15 PM, Mostowski Collapse wrote: >>

Apr 16

olcott, Kaz Kylheku3

Apr 15

Re: Simplified Gödel sentence fails Prolog occurs check---> ?- G = not(provable(F, G)).

["Followup-To:" header set to comp.theory.] On 2021-04-15, olcott <NoOne@NoWhere.com>

unread,

Re: Simplified Gödel sentence fails Prolog occurs check---> ?- G = not(provable(F, G)).

["Followup-To:" header set to comp.theory.] On 2021-04-15, olcott <NoOne@NoWhere.com>

Apr 15

Mar 24

The Liar Paradox is simply not a truth bearer

When we encode the Liar Paradox in the language of automated theorem provers (shown below) The Liar

unread,

The Liar Paradox is simply not a truth bearer

When we encode the Liar Paradox in the language of automated theorem provers (shown below) The Liar

Mar 24

olcott, Richard Fateman4

Mar 22

A UTM halt decider <is> a pure function of its inputs

On 3/16/2021 4:26 PM, Richard Fateman wrote: > On Tuesday, March 16, 2021 at 9:30:58 AM UTC-7,

unread,

A UTM halt decider <is> a pure function of its inputs

On 3/16/2021 4:26 PM, Richard Fateman wrote: > On Tuesday, March 16, 2021 at 9:30:58 AM UTC-7,

Mar 22

Mar 19

Rubi 5 Development Prototype Available

A question was asked on Rubi's Gitter chatroom (https://gitter.im/Rule-Based-Integration/Lobby)

unread,

Rubi 5 Development Prototype Available

A question was asked on Rubi's Gitter chatroom (https://gitter.im/Rule-Based-Integration/Lobby)

Mar 19

Naveen Saisreenivas Thota, … anti...@math.uni.wroc.pl4

Mar 17

Re: Kovacic Algorithm Implementation

Naveen Saisreenivas Thota <naveensaisreenivas@gmail.com> wrote: > Hi all, > > I wanted

unread,

Re: Kovacic Algorithm Implementation

Naveen Saisreenivas Thota <naveensaisreenivas@gmail.com> wrote: > Hi all, > > I wanted

Mar 17

Peter Luschny, … nob...@nowhere.invalid16

Mar 16

Julia is the future of RUBI !

Peter Luschny schrieb: > > nob...@nowhere.invalid schrieb: > > > This forces one to

unread,

Julia is the future of RUBI !

Peter Luschny schrieb: > > nob...@nowhere.invalid schrieb: > > > This forces one to

Mar 16

olcott, Richard Fateman3

Mar 15

Eliminating decision problem undecidability

Since there are undecidable problems in computer algebra system having to do with zero-equivalence,

unread,

Eliminating decision problem undecidability

Since there are undecidable problems in computer algebra system having to do with zero-equivalence,

Mar 15

Peter Luschny, … nob...@nowhere.invalid14

Feb 28

Using neural networks to solve advanced mathematics equations

"Nasser M. Abbasi" schrieb: > > On Wednesday, January 15, 2020 at 4:01:39 AM UTC-6,

unread,

Using neural networks to solve advanced mathematics equations

"Nasser M. Abbasi" schrieb: > > On Wednesday, January 15, 2020 at 4:01:39 AM UTC-6,

Feb 28

drhu...@gmail.com, … Richard Fateman3

Feb 21

what is integral of x^x = ?

On Saturday, February 20, 2021 at 5:41:25 PM UTC-8, Nasser M. Abbasi wrote: > On 2/20/2021 6:51 PM

unread,

what is integral of x^x = ?

On Saturday, February 20, 2021 at 5:41:25 PM UTC-8, Nasser M. Abbasi wrote: > On 2/20/2021 6:51 PM

Feb 21

drhu...@gmail.com, Nasser M. Abbasi2

Feb 4

what is solution of y'-y^2-x^2-1=0 ? it seems wolfram solution is wrong? mathHand.com

On 2/4/2021 5:56 PM, drhu...@gmail.com wrote: > what is solution of y'-y^2-x^2-1=0 ? > it

unread,

what is solution of y'-y^2-x^2-1=0 ? it seems wolfram solution is wrong? mathHand.com

On 2/4/2021 5:56 PM, drhu...@gmail.com wrote: > what is solution of y'-y^2-x^2-1=0 ? > it

Feb 4

drhu...@gmail.com, Nasser M. Abbasi2

Feb 3

what is solution of y'-y^2-x-x^2=0 it seems wolfram solution is wrong? mathHand.com

On 2/2/2021 6:50 PM, drhu...@gmail.com wrote: > what is solution of y'-y^2-xx^2=0 > it

unread,

what is solution of y'-y^2-x-x^2=0 it seems wolfram solution is wrong? mathHand.com

On 2/2/2021 6:50 PM, drhu...@gmail.com wrote: > what is solution of y'-y^2-xx^2=0 > it

Feb 3

drhu...@gmail.com, Nasser M. Abbasi6

Jan 31

what is solution of y''-y' y-2x=0 and how to test it by online software?

On 1/31/2021 11:25 AM, Nasser M. Abbasi wrote: > The solution in y(x) is obtained from this u(x)

unread,

what is solution of y''-y' y-2x=0 and how to test it by online software?

On 1/31/2021 11:25 AM, Nasser M. Abbasi wrote: > The solution in y(x) is obtained from this u(x)

Jan 31

drhu...@gmail.com

Jan 30

what is solution of y'''-4 y' -2 y' y =0 ?

what is solution of y'''-4 y' -2 y' y =0 ? how to test it by online software?

unread,

what is solution of y'''-4 y' -2 y' y =0 ?

what is solution of y'''-4 y' -2 y' y =0 ? how to test it by online software?

Jan 30

jacob navia, … anti...@math.uni.wroc.pl22

Jan 27

square roots algo

clicliclic@freenet.de <nobody@nowhere.invalid> wrote: > > antispam@math.uni.wroc.pl

unread,

square roots algo

clicliclic@freenet.de <nobody@nowhere.invalid> wrote: > > antispam@math.uni.wroc.pl

Jan 27

drhu...@gmail.com

Jan 26

what is solution of exp(2x) y''-y' y=0?

what is solution of exp(2x) y''-y' y=0 by online software? how to check it by your online

unread,

what is solution of exp(2x) y''-y' y=0?

what is solution of exp(2x) y''-y' y=0 by online software? how to check it by your online

Jan 26

drhu...@gmail.com

Jan 25

math page updated

new feature: click the link of "translated from Chinese" in right side of last line to

unread,

math page updated

new feature: click the link of "translated from Chinese" in right side of last line to

Jan 25

drhu...@gmail.com2

Jan 16

wolfram gives wrong solutions

On Saturday, 16 January 2021 at 12:12:59 UTC+11, drhu...@gmail.com wrote: > y''-y' yx=

unread,

wolfram gives wrong solutions

On Saturday, 16 January 2021 at 12:12:59 UTC+11, drhu...@gmail.com wrote: > y''-y' yx=

Jan 16

Nasser M. Abbasi, … Richard Fateman5

Jan 16

solving sqrt(y)=x for

> The question is, what should a CAS provide as an answer. y=x^2 is, by common usage in CAS,

unread,

solving sqrt(y)=x for

> The question is, what should a CAS provide as an answer. y=x^2 is, by common usage in CAS,

Jan 16

drhu...@gmail.com

Jan 14

why wolfram cannot find SIMPLE solution of over 50 differential equations?

Wolfram cannot find SIMPLE solution or cannot solve fractional differential equations and following

unread,

why wolfram cannot find SIMPLE solution of over 50 differential equations?

Wolfram cannot find SIMPLE solution or cannot solve fractional differential equations and following

Jan 14

Nasser M. Abbasi, … Dima Pasechnik18

Jan 11

Can't login to sagemath any more using my google account

On Monday, January 11, 2021 at 9:58:55 AM UTC, Nasser M. Abbasi wrote: > On 1/11/2021 3:36 AM,

unread,

Can't login to sagemath any more using my google account

On Monday, January 11, 2021 at 9:58:55 AM UTC, Nasser M. Abbasi wrote: > On 1/11/2021 3:36 AM,

Jan 11

Jan 11

I need help with a couple of projects in Wolfram Mathematica, please...Mr. SRU.

Please let me introduce myself. My name is Mr. Sarn Richard Ursell, and I am E-Mailing you from

unread,

I need help with a couple of projects in Wolfram Mathematica, please...Mr. SRU.

Please let me introduce myself. My name is Mr. Sarn Richard Ursell, and I am E-Mailing you from

Jan 11

drhu...@gmail.com, … Nasser M. Abbasi17

Jan 10

why wolfram cannot find simple solution?

On Sunday, 10 January 2021 at 20:23:10 UTC+11, drhu...@gmail.com wrote: > On Sunday, 10 January

unread,

why wolfram cannot find simple solution?

On Sunday, 10 January 2021 at 20:23:10 UTC+11, drhu...@gmail.com wrote: > On Sunday, 10 January

Jan 10

drhu...@gmail.com

12/28/20

updated examples in mathHand.com

updated examples in mathHand.com http://drhuang.com/science/mathematics/example/

unread,

updated examples in mathHand.com

updated examples in mathHand.com http://drhuang.com/science/mathematics/example/

12/28/20

nma%12...@gtempaccount.com, … Albert Rich10

12/23/20

fyi, Rubi in Sympy added to CAS independent integration tests. Initial report

FYI, Just installed sympy 1.7.1 to try to see if now rubi is working again or not. It is still not

unread,

fyi, Rubi in Sympy added to CAS independent integration tests. Initial report

FYI, Just installed sympy 1.7.1 to try to see if now rubi is working again or not. It is still not

12/23/20

Nasser M. Abbasi

12/23/20

fyi, couple of report updates

fyi, 1) with release of Maple 2020.2 and Mathematica 12.2, I've updated the "Solving partial

unread,

fyi, couple of report updates

fyi, 1) with release of Maple 2020.2 and Mathematica 12.2, I've updated the "Solving partial

12/23/20

nob...@nowhere.invalid, anti...@math.uni.wroc.pl2

11/25/20

time for a sneak preview

clicliclic@freenet.de <nobody@nowhere.invalid> wrote: > > Isn't it time for a sneak

unread,

time for a sneak preview

clicliclic@freenet.de <nobody@nowhere.invalid> wrote: > > Isn't it time for a sneak

11/25/20

nob...@nowhere.invalid, Nasser M. Abbasi2

11/15/20

Maple and Mathematica

On 11/14/2020 11:26 AM, clicliclic@freenet.de wrote: > > Hello everybody. > > In what

unread,

Maple and Mathematica

On 11/14/2020 11:26 AM, clicliclic@freenet.de wrote: > > Hello everybody. > > In what

11/15/20

bassam karzeddin3

9/24/20

What is the simplest Diophantine Equation that would immediately refute ALL the modern and some old mathematics foundations?

On Thursday, July 2, 2020 at 2:40:56 PM UTC+3, bassam karzeddin wrote: > Sorry friends of

unread,

What is the simplest Diophantine Equation that would immediately refute ALL the modern and some old mathematics foundations?

On Thursday, July 2, 2020 at 2:40:56 PM UTC+3, bassam karzeddin wrote: > Sorry friends of

9/24/20

Search

Clear search

Close search

Google apps

Main menu