Wednesday, November 3

MS7
Symbolic Computation and Geometric Design

1:45 PM-3:45 PM
Room: Rio Grande Ballroom

The vast majority of all computations in meshing, geometric modelling, and computer graphics today are based on numerical calculations. Modern algorithms in symbolic computation (e.g., Groebner walks, quantifier elimination) allow state of the art symbolic computation programs to carry out various kinds of calculations that are virtually impossible to do in numeric programming environments. Examples of such calculations are descriptions of solids that are free of round-off error, implicitization and rationalization of surfaces, and description of surfaces based on differential equations. Combined with built-in numerical and graphical capabilities, symbolic computing environments offer new perspectives in scientific visualization, geometric modelling, and the automatic creation of art.

1:45-2:10 Interfacing a Computer Algebra System for Photorealistic Rendering

Jens-Peer Kuska, Universität Leipzig, Germany

2:15-2:45 Artlandia: Symbolic Math Software for Creative Graphic Design

Igor Bakshee, Wolfram Research, Inc.

2:45-3:10 Applications of Symbolic Inequality Solving in Geometry

Adam Strzebonski, Wolfram Research, Inc.

3:15-3:40 Visualization of Riemann Surfaces

Michael Trott, Organizer

Created 5/18/99; Last Updated MMD, 6/15/99