Re: New CAS theory and implementation
From: Martin Johansen (mfag_at_online.no)
Date: Thu, 13 Jan 2005 12:44:19 +0100
I have written a tutorial on how to use the system:
Project website: http://sourceforge.net/projects/dcas/
"Martin Johansen" <email@example.com> wrote in message
> I have developed a new CAS design theory called DCAS (Dynamic CAS) and
> written an implementation released at sourceforge.net under GNU GPL
> I would like to get your opinion on the mathematical range of this theory,
> i.e. which fields of mathematics might be implemented with it.
> I present the theory bellow, but it is documented in full in the
> implementation documentation:
> The basic premise behind DCAS is easy extensibility.
> The main tool of the theory is the expression manipulator. Both
> simplification of expressions and rearrangement of equations has already
> been implemented along with basic calculus and boolean algebra using this
> tool. Other maths I think is easily implemented is e.g. group theory,
> laplace transformations and predicate calculus.
> The outline of this tool is found here:
> Expressions are represented in a very simple format, which is a variant of
> a "tree structure":
> - Martin Johansen