From: Raymond Manzoni <raymman@club-internet.fr>
Subject: Re: Theory about Symbolic Computation
Date: Sun, 06 Aug 2000 21:36:25 +0200
Newsgroups: sci.math
Summary: [missing]

gabilon@my-deja.com wrote:
> 
> I would like any information about Symbolic or Analisys Computation.
> I am interested in his history, theory and fundaments.
> 
> Can anybody tell me an url, article or book talking about this?
> 
> Thanks


  Concerning Symbolic computation you could try Bronstein's "Symbolic
Integration Tutorial" here :

http://www-sop.inria.fr/safir/WHOSWHO/Manuel.Bronstein/bronstein-fr.html

  or the book of Stephen R. Czapor, George Labahn, Keith O. Geddes :
Algorithms for Computer Algebra (Kluwer)

  or Mathematica's page for an historical overview
http://integrals.wolfram.com/about/history/

  More links may be found here :
http://www.efg2.com/Lab/Library/Algorithms.htm
 
 
  I Hope it helped a little,

                          Raymond
==============================================================================

From: Raymond Manzoni <raymman@club-internet.fr>
Subject: Re: Book recommendation?
Date: Sat, 04 Nov 2000 17:47:02 +0100
Newsgroups: sci.math.symbolic

"F. Xavier Noria" wrote:
> 
> Hello, I have a mathematical background and I am currently working
> as programmer. I would like to study Computer Algebra on my own
> with the aid of a good book. Is there any outstanding reference
> in this field? I have heard of "Algorithms for Computer Algebra"
> by Geddes et al, and in Amazon I see "Modern Computer Algebra"
> from Gathen et al (1999), but don't have any ground to decide what
> I'd buy.
> 
> Could you please suggest some title, from the two above or whatever
> you think would be a good and comprehensive study material? Any
> TAOCP of Computer Algebra?
> 
> Regards from Barcelona,
> 
> -- Xavier
> 
> P.S.: I would like a language-independent approach, though is not
> necessary. I would like to practice writing in Common Lisp however.


  Hi,


  I don't know Gathen's book but the Geddes is a pretty good choice
starting from the basis up to symbolic integration (the 'heart' of
Maple).

  For a cheaper introduction you could try Manuel Bronstein's tutorial
available here (he has a book too full of algorithms) :
http://www-sop.inria.fr/safir/WHOSWHO/Manuel.Bronstein/bronstein-fr.html

  Note that Maxima and Punimax (older version of MacSyma) were written
in common lisp (Maxima in GCl and Punimax in CLisp) and that their full
code is available : http://gd.tuwien.ac.at:8050/A/1/PUNIMAX.html


  In any case have fun,
                         Raymond
==============================================================================

From: daniel@saturn.carleton.ca (Daniel Panario)
Subject: Re: Book recommendation?
Date: 4 Nov 2000 20:54:52 GMT
Newsgroups: sci.math.symbolic

In <mhl70t4ebb41cvca9aiavu7vas009j0vag@4ax.com> F. Xavier Noria <fxn@retemail.es> writes:

>Hello, I have a mathematical background and I am currently working
>as programmer. I would like to study Computer Algebra on my own
>with the aid of a good book. Is there any outstanding reference
>in this field? I have heard of "Algorithms for Computer Algebra"
>by Geddes et al, and in Amazon I see "Modern Computer Algebra"
>from Gathen et al (1999), but don't have any ground to decide what
>I'd buy.

>Could you please suggest some title, from the two above or whatever
>you think would be a good and comprehensive study material? Any
>TAOCP of Computer Algebra?

Since what you want is something like a TAOCP for Computer Algebra,
the book you want is "Modern Computer Algebra" by von zur Gathen 
and Gerhard. By TAOCP I understand you mean: a book beautifully
written whose results are correct (mathematically, computationally 
and typographically), with innumerous historical remarks, etc, like 
a Knuth work. If that's what you want, then Modern Computer Algebra 
is the book you need. Just have a copy in your hands for a minute 
and you'll see that.

Cheers,
Daniel