Maxima and unification, was: Mathematica and unification
Subject: Maxima and unification, was: Mathematica and unification
From: Robert Dodier
Date: Sat, 29 Sep 2012 18:34:34 +0000 (UTC)
On 2012-09-29, Steve Stevenson <steve at clemson.edu> wrote:
> In 2007 there was a discussion of unification and Maxima. Has anyone
> worked on a unifier since?
No, as far as I know.
I have thought about it a little bit since then (emphasis on 'little')
-- I still think it's a worthy goal. If you want to restart the
discussion, please go ahead.
best
Robert Dodier