[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Conference rusure::math

Title:Mathematics at DEC
Moderator:RUSURE::EDP
Created:Mon Feb 03 1986
Last Modified:Fri Jun 06 1997
Last Successful Update:Fri Jun 06 1997
Number of topics:2083
Total number of notes:14613

1248.0. "Algorithms for symbolic algebra - pointers ?" by EAGLE1::BEST (R D Best, sys arch, I/O) Wed May 30 1990 21:13

I'm looking for references on algorithms used in symbolic algebra systems
(e.g. generalised symbolic integration).  Does anyone know of any books or
articles on this subject ?

			Thanks,
			/Rich Best
T.RTitleUserPersonal
Name
DateLines
1248.1SIGSAM news has most of itCIVAGE::LYNNLynn Yarbrough WNP DTN 383-5663Thu May 31 1990 14:049
The ACM SIGSAM (Special Interest Groups on Symbolic and Algebraic 
Manipulation) journals/newsletters have a wealth of articles and references.

There is also an article by Pavelle, Rothstein, and Fitch in a back issue
of Scientific American, entitled "Computer Algebra", that introduces the
subject; I have a copy of the article but it is not dated, and does not
include the bibliography that I believe was in the original issue. 

Lynn Yarbrough 
1248.2More referecensCIVAGE::LYNNLynn Yarbrough WNP DTN 383-5663Thu May 31 1990 14:2718
I also found *Symbolic and Algebraic Computation* by Edward W. Ng (Editor)
as *Lecture Notes in Computer Science #72*, Publ Springer-Verlag, 1979.

Also "Symbolic Mathematical Computation" in *Encyclopedia of Computer 
Science and Technology*, by Belzer, Holzman, and Kent, Vol 15 Supplement,
pp.270-277 Publ Marcel Dekker, Inc NY 19??

About the oldest reference I have, although it has an even older 
bibliography, is "MATHLAB: A Program for On-line Machine Assistance in 
Symbolic Computations*, in the Proceedings of the 1965 Fall Joint Computer 
Conference.

The MACSYMA Reference Manual - available (still?) from MIT Lab for Comp 
Sci, has a long bibliography.

Good Hunting!

Lynn Yarbrough 
1248.3another textRIPPLE::ABBASI_NATue Jun 05 1990 06:193
    A good book is also
     Computer Algebra by 
     j.h. Davenport, Y.Sirt, E.Tournier 1988 academic pree
1248.4anotherEAGLE1::BESTR D Best, sys arch, I/OWed Jun 06 1990 18:5714
In the DLN, I found the following:

	Computer Algebra: Symbolic and Algebraic Computation
	edited by Buchberger, Collins, Loos, and Albrecht
	Springer-Verlag
	DLN # 43600

It includes articles on algebraic simplification, finite group manipulation,
finite term integration and summation, quantifier elimination, polynomials,
homomorphic images, arithmetic in algebraic domains, and an overview of
computer algebra systems and applications.

It generally seems mathematical rather than algorithm oriented (lots of
proofs, little code).