sci.math.symbolic

1–30 of 23333

0 selected

Nasser M. Abbasi, … Валерий Заподовников46

Oct 1

FYI, CAS independent integration tests, summer 2022 edition online

"few regressions in Mathematica Intergate will be fixed in a future version." No, as we

unread,

FYI, CAS independent integration tests, summer 2022 edition online

"few regressions in Mathematica Intergate will be fixed in a future version." No, as we

Oct 1

Nasser M. Abbasi3

Sep 22

FYI, new SQLlite interface to the Independent CAS integration tests available

On 9/22/2022 6:39 AM, Nasser M. Abbasi wrote: > > CAS integrations tests SQL database is now

unread,

FYI, new SQLlite interface to the Independent CAS integration tests available

On 9/22/2022 6:39 AM, Nasser M. Abbasi wrote: > > CAS integrations tests SQL database is now

Sep 22

Nasser M. Abbasi, anti...@math.uni.wroc.pl2

Sep 22

fyi, maxima regressions for integration tests

Nasser M. Abbasi <nma@12000.org> wrote: > I do not know of a maxima bug tracking site or

unread,

fyi, maxima regressions for integration tests

Nasser M. Abbasi <nma@12000.org> wrote: > I do not know of a maxima bug tracking site or

Sep 22

Mostowski Collapse, … Mostowski Collapse3

Sep 20

42 is the answer

Well I mean: x^3 + y^3 + 42 = z^3 You only need to consider positive x,y,z then. Assume there is some

unread,

42 is the answer

Well I mean: x^3 + y^3 + 42 = z^3 You only need to consider positive x,y,z then. Assume there is some

Sep 20

Nasser M. Abbasi, … anti...@math.uni.wroc.pl3

Sep 19

Is lisp still slow for numerical/linear algebra?

Nasser M. Abbasi <nma@12000.org> wrote: > > I have not used lisp for long time. I used it

unread,

Is lisp still slow for numerical/linear algebra?

Nasser M. Abbasi <nma@12000.org> wrote: > > I have not used lisp for long time. I used it

Sep 19

Peter Luschny, … Richard Fateman17

Sep 13

Symbolic-Numeric Integration

Can someone explain how this is even plausible as a method to use for symbolic integration? Some

unread,

Symbolic-Numeric Integration

Can someone explain how this is even plausible as a method to use for symbolic integration? Some

Sep 13

Dr Huang, … Kristjan Robam12

Jul 13

how to check solution?

(_!_) drhu...@gmail.com kirjutas Reede, 24. juuni 2022 kl 07:32:45 UTC+2: > wolfram give very

unread,

how to check solution?

(_!_) drhu...@gmail.com kirjutas Reede, 24. juuni 2022 kl 07:32:45 UTC+2: > wolfram give very

Jul 13

Dr Huang, … nob...@nowhere.invalid5

Jul 10

solution of x* y'+y=2* (x* y)^0.5 ?

antispam@math.uni.wroc.pl schrieb: > > Nasser M. Abbasi <nma@12000.org> wrote: > >

unread,

solution of x* y'+y=2* (x* y)^0.5 ?

antispam@math.uni.wroc.pl schrieb: > > Nasser M. Abbasi <nma@12000.org> wrote: > >

Jul 10

Jul 1

how to test solution

D[y[x, t], t] -D[y[x, t], x] Exp[y[x,t]] == 0 wolfram gives y(x, t) = c_1 (te^y(x, t) + x) how to

unread,

how to test solution

D[y[x, t], t] -D[y[x, t], x] Exp[y[x,t]] == 0 wolfram gives y(x, t) = c_1 (te^y(x, t) + x) how to

Jul 1

Jun 30

how to solve high order partial differential equation with WolframAlpha

D[u[x, t], t] == D[u[x, t], {x, 2}] it shows ODE classification Second-order linear partial

unread,

how to solve high order partial differential equation with WolframAlpha

D[u[x, t], t] == D[u[x, t], {x, 2}] it shows ODE classification Second-order linear partial

Jun 30

Nasser M. Abbasi, … Dr Huang9

Jun 30

Fyi, a new CAS Independent Diﬀerential Equations tests web page online. Maple 2022 and Mathematica 13.0.1

On Thursday, 30 June 2022 at 19:29:40 UTC+10, Jon McLoone wrote: > > May I suggest you test ODE

unread,

Fyi, a new CAS Independent Diﬀerential Equations tests web page online. Maple 2022 and Mathematica 13.0.1

On Thursday, 30 June 2022 at 19:29:40 UTC+10, Jon McLoone wrote: > > May I suggest you test ODE

Jun 30

clicl...@freenet.de, … anti...@math.uni.wroc.pl54

Jun 26

alarum: Risch integrator fails to divide by zero

Nasser M. Abbasi <nma@12000.org> wrote: > On 6/22/2022 1:25 AM, clicliclic@freenet.de wrote:

unread,

alarum: Risch integrator fails to divide by zero

Nasser M. Abbasi <nma@12000.org> wrote: > On 6/22/2022 1:25 AM, clicliclic@freenet.de wrote:

Jun 26

anti...@math.uni.wroc.pl

Jun 22

Announce: FriCAS 1.3.8 has been released

FriCAS is an advanced computer algebra system. Its capabilities range from calculus (integration and

unread,

Announce: FriCAS 1.3.8 has been released

FriCAS is an advanced computer algebra system. Its capabilities range from calculus (integration and

Jun 22

nob...@nowhere.invalid, Валерий Заподовников17

Jun 16

specialization theorems

??????? ???????????? schrieb: > > Case closed, you can do it all with > >

unread,

specialization theorems

??????? ???????????? schrieb: > > Case closed, you can do it all with > >

Jun 16

Nasser M. Abbasi2

Jun 16

what are these HUGE integers that giac generates for some integrals?

On 6/15/2022 11:21 PM, Nasser M. Abbasi wrote: > Btw, the above integrals is from Rubi's test

unread,

what are these HUGE integers that giac generates for some integrals?

On 6/15/2022 11:21 PM, Nasser M. Abbasi wrote: > Btw, the above integrals is from Rubi's test

Jun 16

May 31

-- Copyright 2022 Pete Olcott "Talent hits a target no one else can hit; Genius hits a target no

unread,

-- Copyright 2022 Pete Olcott "Talent hits a target no one else can hit; Genius hits a target no

May 31

May 22

(PDF) Approaches to Left Atrial Appendage Exclusion by Randall Lee

This is the PDF eBook version for Approaches to Left Atrial Appendage Exclusion by Randall Lee MD,

unread,

(PDF) Approaches to Left Atrial Appendage Exclusion by Randall Lee

This is the PDF eBook version for Approaches to Left Atrial Appendage Exclusion by Randall Lee MD,

May 22

Richard Hachel, … anti...@math.uni.wroc.pl7

Apr 11

clicliclic@freenet.de <nobody@nowhere.invalid> wrote: > > PS @ Waldek: I saw unanswered

unread,

clicliclic@freenet.de <nobody@nowhere.invalid> wrote: > > PS @ Waldek: I saw unanswered

Apr 11

Nasser M. Abbasi, … Dr Huang7

Mar 10

is this the correct antiderivative by Maple?

On Friday, 11 March 2022 at 10:58:22 UTC+11, Dr Huang wrote: > On Sunday, 16 January 2022 at 04:19

unread,

is this the correct antiderivative by Maple?

On Friday, 11 March 2022 at 10:58:22 UTC+11, Dr Huang wrote: > On Sunday, 16 January 2022 at 04:19

Mar 10

Dr Huang, Nasser M. Abbasi3

Mar 10

what is solution of y''* y'-y(x)^n=0 ?

On Saturday, 11 December 2021 at 18:48:41 UTC+11, Nasser M. Abbasi wrote: > On 12/10/2021 10:12 PM

unread,

what is solution of y''* y'-y(x)^n=0 ?

On Saturday, 11 December 2021 at 18:48:41 UTC+11, Nasser M. Abbasi wrote: > On 12/10/2021 10:12 PM

Mar 10

Mar 10

over 100 math examples in http://drhuang.com/index/example

over 100 math examples in http://drhuang.com/index/example

unread,

over 100 math examples in http://drhuang.com/index/example

over 100 math examples in http://drhuang.com/index/example

Mar 10

Nasser M. Abbasi, … anti...@math.uni.wroc.pl21

Feb 26

comment on fundamental design of Maple, Mathematica, Sage, Macsyma have flaws

Richard Fateman <fateman@gmail.com> wrote: > On > Again, apologies for a delayed response

unread,

comment on fundamental design of Maple, Mathematica, Sage, Macsyma have flaws

Richard Fateman <fateman@gmail.com> wrote: > On > Again, apologies for a delayed response

Feb 26

Peter Luschny, … Richard Fateman6

Feb 24

Are there possible breakthroughs that will make all current CAS so obsolete that they must all be tossed in the trash?

I know of no reason that suggests it is impossible to combine methods as you indicate. There may be

unread,

Are there possible breakthroughs that will make all current CAS so obsolete that they must all be tossed in the trash?

I know of no reason that suggests it is impossible to combine methods as you indicate. There may be

Feb 24

Nasser M. Abbasi, nob...@nowhere.invalid6

Feb 23

reporting problems with xcas/giac

"Nasser M. Abbasi" schrieb: > > On 2/23/2022 12:28 AM, clicliclic@freenet.de wrote:

unread,

reporting problems with xcas/giac

"Nasser M. Abbasi" schrieb: > > On 2/23/2022 12:28 AM, clicliclic@freenet.de wrote:

Feb 23

Nasser M. Abbasi

Feb 4

fyi, sympy integrator now default for sagemath?

Fyi; I just installed sagemath new release 9.5 on archlinux to get ready to run new build of CAS

unread,

fyi, sympy integrator now default for sagemath?

Fyi; I just installed sagemath new release 9.5 on archlinux to get ready to run new build of CAS

Feb 4

Sam Blake, … anti...@math.uni.wroc.pl6

Jan 30

FriCAS result on an algebraic integral

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

unread,

FriCAS result on an algebraic integral

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

Jan 30

Jan 23

Truth-relevant Logic-Propositional Calculus (Xaver Newberry)

Truth-relevant Logic-Propositional Calculus https://www.researchgate.net/publication/330844403_Truth-

unread,

Truth-relevant Logic-Propositional Calculus (Xaver Newberry)

Truth-relevant Logic-Propositional Calculus https://www.researchgate.net/publication/330844403_Truth-

Jan 23

Jan 22

Re: Concise refutation of halting problem proofs V52 [ Ignorant or Dishonest ]

On 1/22/2022 11:13 AM, Richard Damon wrote: > On 1/22/22 11:47 AM, olcott wrote: >> On 1/22/

unread,

Re: Concise refutation of halting problem proofs V52 [ Ignorant or Dishonest ]

On 1/22/2022 11:13 AM, Richard Damon wrote: > On 1/22/22 11:47 AM, olcott wrote: >> On 1/22/

Jan 22

anti...@math.uni.wroc.pl, … nob...@nowhere.invalid24

Jan 21

Yet another integration test

Albert Rich schrieb: > > On Sunday, January 16, 2022 at 10:38:19 PM UTC-10, nob...@nowhere.

unread,

Yet another integration test

Albert Rich schrieb: > > On Sunday, January 16, 2022 at 10:38:19 PM UTC-10, nob...@nowhere.

Jan 21

Joe P, Jens Stuckelberger2

Jan 17

Snow plowing and or shoveling

On Mon, 17 Jan 2022 09:57:44 -0800, Joe P wrote: > Hello > > Can anyone recommend a

unread,

Snow plowing and or shoveling

On Mon, 17 Jan 2022 09:57:44 -0800, Joe P wrote: > Hello > > Can anyone recommend a

Jan 17

Search

Clear search

Close search

Google apps

Main menu