[plt-scheme] Re: [plt-edu] Symbolic algebra

http://people.csail.mit.edu/jaffer/JACAL is a CAS(computer algebra 
system) implemented in Scheme, which seems to be exactly in what Mark is 
looking for.

Other than that, Macsyma/Axiom (and REDUCE although it is an ancient 
dialect) are all CAS implemented in Lisp.

-
Chongkai

Matthias Felleisen wrote:
> On Mar 16, 2010, at 3:16 AM, Mark Engelberg wrote:
>
>   
>> Does anyone have any pointers to some good resources about how you'd go about implementing a symbolic algebra system in Scheme or a related functional language?  Solving equations, factoring polynomials, etc.
>>
>> I don't really care about speed, because I know there are a lot of finely-tuned libraries out there for that purpose; I'm more interested in knowing if there's a clean and simple "reference" design that illustrates all the principles involved.
>>     
>
>
> Redirected to an appropriate list. 
>
> I suggest looking for the sources of Maple and/or Macsyma or whatever all these systems are called and porting it to Scheme. 
>
> Lovely idea -- Matthias
>
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>