Various Consequences

In this previous post I mentioned that I learn a lot from the Maxima mailing list. There was a recent question (somewhat frequently asked...

I follow both the Octave and Maxima user mailing lists (I learn more from the Maxima list, but the Octave one still throws up a gem every ...

Really it's "why use symbolic math programs to develop number crunching software," but these are from the doc_282 in the ALPA...

Background and Motivation The problem I am interested in: leverage high-level symbol manipulation capabilities in a computer algebra sys...

I quickly brushed over the method of manufactured solutions (MMS) aspects in the previous post on Lorenz 63 , you might wonder why. Well, it...

Dan Hughes has started an ambitious series of posts about formally verifying (using the method of manufactured solutions (MMS)) a range o...