# Mathematical Computation with Maple, Ideas and Applications

### Proceedings of the Maple Summer Workshop and Symposium,

University of Michigan, Ann Arbor, June 28-30, 1993

Thomas Lee, Editor

## Table of Contents

Preface

**I. Maple V in Education**

- Introductory Quantum Mechanics Using Maple V

*Yutaka Abe*
- Combinatorial Objects and their Generating Functions:
A Maple Class Room Environment

*John S. Devitt*
- Experiences with Maple in Engineering Education at the
University of Waterloo

*Mustafa Fofana, Ian LeGrow, Stephen Carr*
- On Integrating Computers into the Physics Curriculum

*Ronald L. Greene*
- Using Maple and the Calculus Reform Material
in the Calculus Sequence

*David C. Royster*
- Interactive Mathematics Texts: Ideas for Developers

*Carol Scheftic*

**II. Maple V in Mathematics**

- Truncation and Variance in Scale Mixtures

*William C. Bauldry and Jaimie L. Hebert*
- Working with Large Matrices in Maple

*Reid M. Pinchback*
- Using Maple for Asymptotic Convergence Analysis

*Noah H. Rhee*
- An Algorithm to Compute Floating Point Groebner Bases

*Kiyoshi Shirayanagi*

**III. Maple V in Science and Engineering**

Part A: Modeling and Simulation

- The Use of Maple for Multibody Systems Modeling and Simulation

*P. Capolsini*
- Sensitivity Analysis of Nonlinear Physical Systems Using Maple

*Stephen Carr, Gordon J. Savage*
- Exact Calculation of the Kaplan-Meier Bias Using Maple Software

*Brenda Gillespie, Justine Uro*
- Rotational Energy Dispersions for van der Waals Molecular Clusters

*Lawrence L. Lohr, Carl H. Huben*
- Symbolic Computation in Computable General Equilibrium Modeling

*Trien T. Nguyen*
- Calculation of the State Transition Matrix for Linear
Time Varying Systems

*J. Watkins, S. Yurkovich*

**IV. Maple V in Science and Engineering**

Part B: Modeling and Simulation

- Algebraic Computer Aided-Design with Maple V 2

*C.T. Lim, M.T. Ensz, M.A. Ganter, D.W. Storti*
- The Role of a Symbolic Programming Language in
Hardware Verification: The Case of Maple

*Farhad Mavaddat*
- A Symbolic CSG System Written in Maple V

*Darren Thompson, Tom Trias, Laurence Leff*

HTML originally written by Reid M. Pinchback

Copyright 1996, Massachusetts Institute of Technology

Last modified: 96/06/10
*(reidmp@mit.edu)*