|
|
|
|
| LEADER |
03405nmm a2200313 u 4500 |
| 001 |
EB000708686 |
| 003 |
EBX01000000000000000561768 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
140122 ||| eng |
| 020 |
|
|
|a 9783709175514
|
| 100 |
1 |
|
|a Buchberger, B.
|e [editor]
|
| 245 |
0 |
0 |
|a Computer Algebra
|h Elektronische Ressource
|b Symbolic and Algebraic Computation
|c edited by B. Buchberger, G.E. Collins, R. Loos
|
| 250 |
|
|
|a 2nd ed. 1983
|
| 260 |
|
|
|a Vienna
|b Springer Vienna
|c 1983, 1983
|
| 300 |
|
|
|a VII, 283 p. 2 illus
|b online resource
|
| 505 |
0 |
|
|a 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
|
| 653 |
|
|
|a Mathematical logic
|
| 653 |
|
|
|a Artificial Intelligence
|
| 653 |
|
|
|a Mathematical Logic and Foundations
|
| 653 |
|
|
|a Artificial intelligence
|
| 700 |
1 |
|
|a Collins, G.E.
|e [editor]
|
| 700 |
1 |
|
|a Loos, R.
|e [editor]
|
| 041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
| 989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
| 490 |
0 |
|
|a Computing Supplementa
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-7091-7551-4?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 511.3
|
| 520 |
|
|
|a 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. . . . . . . . . . . . .
|