Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: Notesfiles $Revision: 1.6.2.17 $; site smu.UUCP Path: utzoo!watmath!clyde!burl!ulysses!mhuxr!ihnp4!inuxc!pur-ee!uiucdcs!smu!leff From: leff@smu.UUCP Newsgroups: net.math.symbolic Subject: Through nfpipe Message-ID: <35800022@smu.UUCP> Date: Fri, 8-Feb-85 11:04:00 EST Article-I.D.: smu.35800022 Posted: Fri Feb 8 11:04:00 1985 Date-Received: Mon, 11-Feb-85 06:32:26 EST Lines: 194 Nf-ID: #N:smu:35800022:000:5949 Nf-From: smu!leff Feb 8 10:04:00 1985 SIGSAM Volume 18 Number 3 Contents Procedures for Polynomial and Rational Function Recognition by Carolyn J. Smith Note on "Solution of a General System of Equations" R. Gebauer H. Kredel (solving a problem given by G. H. Gonnet, B. W. Char and K. O. Geddes in SIGSAM Bulletin using the Buchberger's method) On Improving Approximate Results of Buchberger's Algorithm by Newton's Method W. Trinks An Antitranslator of the RLISP Language A. P. Kryukov A program to translate LISP into RLISP as used by REDUCE Work with Non-Commutative Variables in the Reduce-2 System for Analytical Calculations A. Ya. Rodionov Completing the L-th Power in Z[x] by Daniel Zwillinger Representing Matrices as Quadtrees for Parallel Processors David S. Wise ------------------------------------------------------------------------ The following "pointers" were provided to other literatures and I repeat them here: N. K. Bose, Applied Multidimensional Systems Theory Van Nostran Reinhold Electrical Engineering/computer Science Series 1982 which talks about the role of symbolic manipuation in this area. The Church-Rosser Property in Computer Algebra and Special Theorem Proving: An Investigationof Critical-Pair/Completion Algorithms (Ph. D. Thesis) Franz Winkler There was a National Computer Algebra Workshop in Leipzig. There were the following talks: B. Buchberger 1) Compute algebra, algorithms, systems and applications (a survey) 2) Algorithms of the type "Critical Pair/Completion" in symbolic mathematics ( a survey) 3) L-networks - a concept for parallel algorithms and parallel machines for symbolic computation 4) International research activities in the field of symbolic and algebraic computation (a survey) V. P. Gerdt 1) FORMIT - a program for the classification of formally integrable non-linear evolution equations 2) Application of CAS in high energy physica (a survey) J. Grabowski Symbolic computational methods for layout design (VLSI) K. P. Jann (KMU Leipzig) AMP6 - internal structure and ESER-implemenation W. Lassner 1) Computer Algebra system in the GDR and at the KMU 2) Symbol representations of noncommutative algebras N. Lehmann Computer analysis as pendant to numerical mathematics K. Nehrkorn Symbolic integration on computers ( a survey) W. Reidel Modularization of REDUCE V. A. Rostovtsev Questions about the dialogue with and within the CAS Reduce S. Seidl Experience with FORMAC 73 in electron optical formulae design T. Wolf An analystical algorithm for the decoupling and integration of systems of non-linear partial differential equations Talks held at the 1984 national Meeting of Americal Chemical Society held in Philadelphia, Pennsylvania during August 26-31 1984. I will include summary when contents do not seem obvious from title: Basic Capabilities of computer algebra programs and their applications to progblems in the sciences Symbolic Mathematical Compuation on Modern Computers Using VAXIMA (Macsyma) to write Fortran Code -- When solving elliptic boundary problems these can be done by mapping an arbitrary region to a rectangular region and solving via finite difference techniques. Vaxima was used to automate code generation. Using Macsyma to obtain reliable results for some wild integrals Applications of symbolic mathematics to mathematics past, present and future applications of computer algebra in chemistry symbolic computation in chemical education A Lisp System for the Manipulation of Chemical Groups: Wigner-Eckart Coefficients for Arbitrary Permutation Groups Computer-Assisted Analysis of Reaction Pathways -- analytical rate expressions for chain reactions of the Rice-Herzfeld type Polymer Modeling Applications of Symbolic Computation Stability Analysis and Optimal Control of a Photochemical Heat Engine Fourier Transform Algorithms for Spectral Analysis Derived with Macsyma Creating Nonlinear Two-dimensional Finite Element Codes for the Analysis of Shells in Structural mechanics. Computer Algebra as a tool for optimal control problems Applications off Macsyma to Mechanisms and Systems Stability Analysis of a Robotoic Mechanism using Computer Algebra Derivation of the Hopf Bifurcation formula using Lindstedt's perturbation method and macsyma Normal form and center manifold calculations ion macysma Symbolic computation of the Stokes Waterways Simplifying large algebraic expressions by Computer Algebraic Computation in Graphical Calculations Exact Solutions for superlattices and how to recognize them Computer Generation of symbolic generalized inverses and applications to physics and data analysis -- Moore-Penrose generalized inverse and generation of a generalized inverse of a covariance matrix ............................... Eurosam '84 proceedings Lecture Notes in Computer Science 174 are available from J. P. Fitch, School of Mathematics, University of Bath, Bath BA2 7Ay for USA Surface $4.20, Air Parcel $6.30 ..... A special session entitled "Symbolic Mathematical Computation on Modern Computers" will be held at the 151st meeting of the AAAS. There will be five invited lectures: Paul S. Wang "Introduction to computer-based Symbolic Computation" Richard Pavelle "Capabilities of Macsyma" David R. Stoutemeyer "Symbolic Manipulation on Micro and Personal Computers" Paul Davies "The SMP system and its application in Universities" Paul Zorn "Computer Symbolic Manipulation in Undergraduate Mathematics Education" ......... Dr. S. Kamal Abdali Symbolic Compuation Program Computer Research Lab Tektronix, Inc. P. O. Box 500- MS 50-662 Beaverton, OR 97077 announces the availability of REDUCE under Franz Lisp. ($300.00 handling charge and contribution to RAND corp). REDUCE is also available under PSL (a different version of LISP) from RAND for $200.00.