Groups
Conversations
All groups and messages
Send feedback to Google
Help
Account
Search
Maps
YouTube
Play
News
Gmail
Meet
Chat
Contacts
Drive
Calendar
Translate
Photos
Duo
Chrome
Shopping
Finance
Docs
Sheets
Slides
Books
Blogger
Hangouts
Keep
Jamboard
Earth
Collections
Arts and Culture
Google Ads
Podcasts
Stadia
Travel
Forms
More from Google
Sign in
Groups
sci.math.symbolic
Conversations
About
sci.math.symbolic
1–30 of 23190
Mark all as read
Report abusive group
0 selected
drhu...@gmail.com
Apr 17
wolfram bugs
There are many bugs in Wolfram, the bugs are classified into few classes: http://drhuang.com/science/
unread,
wolfram bugs
There are many bugs in Wolfram, the bugs are classified into few classes: http://drhuang.com/science/
Apr 17
olcott
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 Kylheku
3
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
olcott
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 Fateman
4
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
Albert Rich
2
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.pl
4
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.invalid
16
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 Fateman
3
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.invalid
14
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 Fateman
3
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. Abbasi
2
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. Abbasi
2
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. Abbasi
6
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.pl
22
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.com
2
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 Fateman
5
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 Pasechnik
18
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
Sarn Ursell
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. Abbasi
17
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 Rich
10
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.pl
2
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. Abbasi
2
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 karzeddin
3
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