A framework for Symbolic and Numeric Computations

摘要

The need to combine symbolic and numeric computations is ubiquitous is many problems such as the forward and inverse kinematics of robots, motion planning, the analysis of the geometric structure of molecules, computational geometry, geometric and solid modelling, graphics, computer-aided design, computer vision, signal processing . . . Starting with an exact or approximate description of the equations, we will eventually have to compute a numerical approximation of the solutions. This leads to new, interesting and challenging questions either from a theoretical or practical point of view at the frontier between algebra and analysis.