Computational geometry problems in Redlog

T Sturm, V Weispfenning - … on Automated Deduction in Geometry Toulouse …, 1997 - Springer
T Sturm, V Weispfenning
Automated Deduction in Geometry: International Workshop on Automated Deduction …, 1997Springer
We solve algorithmic geometrical problems in real 3-space or the real plane arising from
applications in the area of cad, computer vision, and motion planning. The problems include
parallel and central projection problems, shade and cast shadow problems, reconstruction
of objects from images, offsets of objects, Voronoi diagrams of a finite family of objects, and
collision of moving objects. Our tools are real elimination algorithms implemented in the
reduce package redlog. In many cases the problems can be solved uniformly in unspecified …
Abstract
We solve algorithmic geometrical problems in real 3-space or the real plane arising from applications in the area of cad, computer vision, and motion planning. The problems include parallel and central projection problems, shade and cast shadow problems, reconstruction of objects from images, offsets of objects, Voronoi diagrams of a finite family of objects, and collision of moving objects. Our tools are real elimination algorithms implemented in the reduce package redlog. In many cases the problems can be solved uniformly in unspecified parameters. The power of the method is illustrated by examples many of which have been outside the scope of real elimination methods so far.
Springer
Showing the best result for this search. See all results