Wednesday, November 3

MS7
Symbolic Computation and Geometric Design

1:45 PM-3:45 PMRoom: 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.

Organizer: Michael TrottWolfram Research, Inc.

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