Computer Algebra: Symbolic and Algebraic Computation

ISBN-13: 9783211817766 / Angielski / Miękka / 1983 / 283 str.

B. Buchberger; G. E. Collins; R. Loos

Opis

this gap. In sixteen survey articles the most important theoretical results, algorithms and software methods of computer algebra are covered, together with systematic references to literature. In addition, some new results are presented. Thus the volume should be a valuable source for obtaining a first impression of computer algebra, as well as for preparing a computer algebra course or for complementary reading. The preparation of some papers contained in this volume has been supported by grants from the Austrian "Fonds zur Forderung der wissenschaftlichen For schung" (Project No. 3877), the Austrian Ministry of Science and Research (Department 12, Dr. S. Hollinger), the United States National Science Foundation (Grant MCS-8009357) and the Deutsche Forschungsgemeinschaft (Lo-23 1-2). The work on the volume was greatly facilitated by the opportunity for the editors to stay as visitors at the Department of Computer and Information Sciences, University of Delaware, at the General Electric Company Research and Development Center, Schenectady, N. Y., and at the Mathematical Sciences Department, Rensselaer Polytechnic Institute, Troy, N. Y., respectively. Our thanks go to all these institutions. The patient and experienced guidance and collaboration of the Springer-Verlag Wien during all the stages of production are warmly appreciated. The editors of the Cooperative editor of Supplementum Computing B. Buchberger R. Albrecht G. Collins R. Loos Contents Loos, R.: Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . 1 Buchberger, B., Loos, R.: Algebraic Simplification . . . . . . . . . . 11 Neubiiser, J.: Computing with Groups and Their Character Tables. 45 Norman, A. C.: Integration in Finite Terms. . . . . . . . . . . . . ."

Spis treści

Algebraic Simplifleation.- Computing with Groups and Their Character Tables.- Integration in Finite Terms.- Summation in Finite Terms.- Quantifier Elimination for Real Closed Fields: A Guide to the Literature.- Real Zeros of Polynomials.- Factorization of Polynomials.- Generalized Polynomial Remainder Sequenees.- Computing by Homomorphic Images.- Computing in Transcendental Extensions.- Computing in Algebraic Extensions.- Arithmetic in Basic Algebraic Domains;.- Computer Algebra Systems.- Computer Algebra Applications.- Some Useful Bpunds.- Author and Subject Index.