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.