On the decidability of tracing problems in dynamic geometry

  • Authors:
  • Britta Denner-Broser

  • Affiliations:
  • Institut für Informatik der FU-Berlin, Berlin, Germany

  • Venue:
  • ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

We investigate two important problems arising in Dynamic Geometry, the Tracing Problem and the Reachability Problem. After presenting purely algebraic algorithms for these problems, we give an alternative approach.