> > We already have the unique Rubi > > QA results from the VM machine. > > More about our plans in a month. > > > On Jun 23, 11:07 pm, Vladimir Bondarenko wrote: > > > > The VM machine keeps testing the Rubi. > > >http://www.apmaths.uwo.ca/~arich/ > > > More about our plans in a month. > > Rubi2 is quite raw and buggy.
But this is fantastic news. Now look what it implies: You can demonstrate the power of the VM to the world!
We can proceed as follows. Provided that Albert agrees we set up a special interest group for implementing Rubi on MathPiper and with your and cybertester.com's support we develop a bug-free symbolic integration solver, perhaps the best one!
What an opportunity to show the world the power of VM's QA! Come on Vladimir, join the party!
