next up previous contents
Next: Preface Up: Computer Algebra in Previous: Computer Algebra in

Contents

Preface vii

PART I INTRODUCTION

F. Winkler, Computer Algebra --- Problems and Developments 1

M.A.H. MacCallum, Using Computer Algebra to Solve Ordinary Differential Equations 19

A.H.M. Levelt, Various Problems Solved by Computer Algebra 43

P. Bulens, Computer Algebra: A Tool for Everyday Use? Some Experiences with Reduce at Laborelec 61

E.H. Mund, Computer Algebra and Finite Element Methods in Engineering 81

PART II SOFTWARE ENVIRONMENTS

D. Fritzson, P. Fritzson, L. Viklund and J. Herber, Object-Oriented Mathematical Modelling --- Applied to Rolling Bearings 101

V.V. Goldman, J.A. van Hulzen, A.E. Mynett, A.S. Posthuma and H.J. van Zuylen, The Application of Computer Algebra for the Discretization and Coding of the Navier--Stokes Equations 131

J.A. van Hulzen, Towards Automated Program Generation in Computer Algebra Environments 151

PART III VISION

T. Van Effelterre, L. Van Gool and A. Oosterlinck, Construction of Exact Aspect Graphs of Computer-Aided-Design Objects 171

A. Heck, M. Biemond, Computer Algebra and Geometrical Optics II:
The Eikonal of a Symmetric Optical System
197

PART IV HEAT

H.P. de Koning, P. van Leijenhorst, S.M. Verduyn Lunel, Non-linear Transient Heat Conduction in Insulation Layers 215

A.H.M. Levelt, Van der Waals, Korteweg, van Laar: A Maple Excursion into the Thermodynamics of Binary Mixtures 227

PART V INDUSTRIAL DESIGN

M. Decré, J.-M. Buchlin, J.-L.Colot and J. Sengier, Coating Process: An
Application of Symbolic Calculus to a Free-surface Flow
239

F. Lauwers, Strain in Rubber Coated Rollers II 251

PART VI CONTROL

A. Heck, Computer Algebra: A Tool in Identifiability Testing 267

B. de Jager, Symbolics for Control: Maple used in Solving the Exact
Linearization Problem
291

Author index 313

Subject index 317



Andre Heck
Sun Apr 23 10:32:10 MDT 1995