Prev: Channel design
Next: Please help (voltage sag)
From: Vladimir Bondarenko on 21 Jul 2010 14:21
Your record definitely cries for the
Guinness record book application :)

As for Rubi, we usually kill the tasks
after 100,000 seconds maximally. But
often Rubi kills Mathematica quicker.

Cheers,

Vladimir



On Jul 21, 9:08 pm, cliclic...(a)freenet.de wrote:
> cliclic...(a)freenet.de schrieb:
>
>
>
> > FriCAS has been working on
>
> >   INT(SQRT(SQRT(x^4+1)+x^2)/((x+1)^2*SQRT(x^4+1)),x)
>
> > for twenty days now!
>
> FriCAS has been working on
>
>   INT(SQRT(SQRT(x^4+1)+x^2)/((x+1)^2*SQRT(x^4+1)),x)
>
> for thirty days now!
>
> Martin.

From: Vladimir Bondarenko on 23 Jul 2010 23:00
We bought a dedicated i7-960/12 Gb DDR3 machine for
the VM machine to test the Albert Rich's Rubi.

http://www.apmaths.uwo.ca/~arich/

Our goal is to see how the human beings compare
against the VM machine, so we urge all the
interested person to publish the Rubi bugs.

Out comment is that the Rubi bug list Albert puts
at his site is, to put it mildly, too short.

Best wishes,

Vladimir Bondarenko

VM and GEMM architect
Co-founder, CEO, Mathematical Director

http://www.cybertester.com/ Cyber Tester, LLC
http://maple.bug-list.org/ Maple Bugs Encyclopaedia
http://www.CAS-testing.org/ CAS Testing

-----------------------------------------------------

"We must understand that technologies
like these are the way of the future."

-----------------------------------------------------

On Jun 4, 6:18 am, Albert <Albert_R...(a)msn.com> wrote:
> I would like to announce the launch of the website
>
>    www.apmaths.uwo.ca/RuleBasedMathematics
>
> It is dedicated to dedicated to demonstrating the numerous advantages
> of the rule-based approach to automating mathematics.  In systems
> implemented using this approach, rules are expressed as elegant
> mathematical formulas, rather than embedded in conventional program
> code.
>
> As proof-of-concept, I have implemented an efficient and robust Rule-
> based Integrator, nicknamed Rubi.  Not only can Rubi compute the
> antiderivative for a broad class of integrands, but the results are
> often significantly superior to those produced by the commercial
> computer algebra systems.
>
> The 1500 or so integration rules Rubi uses are freely available on the
> website in both human and machine readable form.  Also available is a
> test suite of over 9400 integration problems developed in conjunction
> with the rules.  After reviewing the homepage, I recommend clicking on
> "Highlights of the Indefinite Integration Test Results" for an eye-
> opening comparison of the rule-based integrator (Rubi) with
> Mathematica's and Maple's built-in integrators.
>
> Also if you have access to Mathematica 6 or better, there is a link
> near the bottom of the homepage to download Rubi so you can verify the
> results for yourself.  Rubi also provides the option to show the rules
> required to integrate expressions, along with the intermediate
> results.  I think this show-step ability has great potential
> pedagogical and research value.
>
> Currently the website is pretty Spartan in format, and limited to
> indefinite integration.  However with the help of the computer algebra
> community, I hope it evolves into a true repository of mathematical
> knowledge.
>
> Aloha from Hawaii,
> Albert D. Rich

From: Albert on 24 Jul 2010 00:49
On Jul 23, 5:00 pm, Vladimir Bondarenko <v...(a)cybertester.com> wrote:

> Out comment is that the Rubi bug list Albert puts
> at his site is, to put it mildly, too short.

Hello Vladimir,

I can't fix the bugs unless you tell me what they are...

Albert
 | 
Pages: 1
Prev: Channel design
Next: Please help (voltage sag)