Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: Notesfiles; site smu.UUCP Path: utzoo!watmath!clyde!burl!ulysses!mhuxj!ihnp4!inuxc!pur-ee!uiucdcs!smu!leff From: leff@smu.UUCP Newsgroups: net.math.symbolic Subject: Through nfpipe Message-ID: <35800001@smu.UUCP> Date: Mon, 17-Sep-84 17:47:00 EDT Article-I.D.: smu.35800001 Posted: Mon Sep 17 17:47:00 1984 Date-Received: Tue, 25-Sep-84 05:48:07 EDT Lines: 23 Nf-ID: #N:smu:35800001:000:1573 Nf-From: smu!leff Sep 17 16:47:00 1984 Table of Contents for Symbolic & Algebraic Computation Computing Supplementum # 4 Loos, R. Introduction .................................................... 1 Buchberger, B. Loos, R. Algebraic Simplification ......................... 11 Neubuser, J. Comuting with Groups and Their Character Tables ............. 45 Norman, A. C. Integration in Finite Terms ................................ 57 Lafon, J. C. Summation in Finite Terms ................................... 71 Collins, G. E. Quantifier Elimination for Real Closed Fields: A Guide to the Literature ......................................................... 79 Collins, G. E., Loos, R.: Real Zeros of Polynomials ...................... 83 Kaltofen, E.: Factorization of Polynomials ............................... 95 Loos, R.: Generalized Polynomial Remainder Sequences ..................... 115 Lauer, M.: Computing by Homomorphic Images ............................... 139 Norman, A. C.: Computing in Transcendental Extensions .................... 160 Loos, R.: Computing in Algebraic Extensions .............................. 173 Collins, G. E., Mignotte, M., Winkler, F.: Arithmetic in Basic Algebraic Domains ............................................................... 189 van Hulzen, J. A., Calmet, J.: Computer Algebra Systems .................. 221 Calmet J., van Hulzen, J. A.: Computer Algebra Applications .............. 245 Mignotte, M.: Some Useful Bounds ......................................... 259 Author and Subject INdex ................................................. 265