Computers and Mathematics

Session 1, Track A.- A Completion Procedure for Computing a Canonical Basis for a k-Subalgebra.- Summation of Harmonic Numbers.- Algorithm and Implementation for Computation of Jordan Form Over A[x1,..., xm].- Fast Group Membership Using a Strong Generating Test for Permutation Groups.- Finite-Basis Theorems and a Computation-Integrated Approach to Obstruction Set Isolation.- Session 1, Track B.- Practical Determination of the Dimension of an Algebraic Variety.- A Computer Generated Census of Cusped Hyperbolic 3-Manifolds.- Classicality of Trigonal Curves of Genus Five.- Symmetric Matrices with Alternating Blocks.- Cohomology to Compute.- Session 2, Track A.- Use of Symbolic Methods in Analyzing an Integral Operator.- Computer Algebraic Methods for Investigating Plane Differential Systems of Center and Focus Type.- An Example of Computer Enhanced Analysis.- An Algorithm for Symbolic Computation of Hopf Bifurcation.- Application of the Reduce Computer Algebra System to Stability Analysis of Difference Schemes.- Session 2, Track B.- Signs of Algebraic Numbers.- Efficient Reduction of Quadratic Forms.- A Story About Computing with Roots of Unity.- Exact Algorithms for the Matrix-Triangularization Subresultant PRS Method.- Computation of Fourier Transforms on the Symmetric Group.- Session 3, Track A.- Integration in Finite Terms and Simplification with Dilogarithms: A Progress Report.- Why Integration is Hard.- Liouvillian Solutions of Linear Differential Equations with Liouvillian Coefficients.- Recipes for Classes of Definite Integrals Involving Exponentials and Logarithms.- Session 3, Track B.- Logic and Computation in MATHPERT: An Expert System for Learning Mathematics.- Representation of Inference in Computer Algebra Systems with Applications to Intelligent Tutoring.- Bunny Numerics: A Number Theory Microworld.- Advanced Mathematics from an Elementary Viewpoint: Chaos, Fractal Geometry, and Nonlinear Systems.- Session 4, Track A.- Iterated Function Systems and the Inverse Problem of Fractal Construction Using Moments.- Working with Ruled Surfaces in Solid Modeling.- Using Macsyma to Calculate the Extrinsic Geometry of a Tube in a Riemannian Manifold.- Computer Algebra in the Theory of Ordinary Differential Equations of Halphen Type.- Session 4, Track B.- Symbolic Derivation of Equations for Mixed Formulation in Finite Element Analysis.- Semantics in Algebraic Computation.- Symbolic Computation with Symmetric Polynomials: An Extension to Macsyma.- Simultaneous Computations in Fields of Different Characteristics.