Britta Denner-Broser

On the Decidability of Tracing Problems in Dynamic Geometry

Britta Denner-Broser, 2004, Automated Deduction in Geometry.

About Tracing Problems in Dynamic Geometry

Britta Denner-Broser, Britta Denner-Broser, 2013, Discret. Comput. Geom..

An algorithm for the tracing problem using interval analysis

Britta Denner-Broser, 2008, SAC '08.