From: Richard Fateman <fateman@cs.berkeley.edu>
Subject: Re: Book recommendation?
Date: Tue, 07 Nov 2000 08:58:45 -0800
Newsgroups: sci.math.symbolic
Summary: [missing]

Assuming that "TAOCP" means "the art of computer programming",
then one good place to start is volume 2 of TAOCP.

vonzurGathen's book is 1/3 the price of the Geddes book, is
newer, and more mathematical. It also tries to provide a
complete set of historical references. It is nicely typeset
and even has color illustrations.

 Geddes book is very algorithmic, and somewhat tedious if you
know a lot of the basic math.

There is a different choice of topics.

If you think that factoring integers is part of computer algebra
(I don't) and that image compression is computer algebra (I don't)
then vonzurGathen has an advantage. 

If you think that symbolic integration is part of computer algebra, (I
do)
you will find vonzurGathen treats it inadequately,
in only 6 pages, so Geddes, or perhaps Bronstein would be useful.  

There are also other books, e.g. by Zippel, Effective Polynomial
Computation.
 Look at symbolicnet web site for more info.
RJF

Raymond Manzoni wrote:
> 
> "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 (try here
> http://www.amazon.com/exec/obidos/ASIN/0521641764/qid%3D973358314/104-7367861-6346349
> but the Czapor,Labahn,Geddes is a pretty good choice starting from the
> basis up to symbolic integration (the 'heart' of Maple). (for another
> opinion try here :
> http://www.amazon.com/exec/obidos/ASIN/0792392590/qid=973358528/sr=1-2/104-7367861-6346349)
>   Concerning symbolic integration M. Bronstein's tutorial is available
> 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