• ArgoTriCS

  • Referenced in 4 articles [sw15542]
  • automatically solving a class of straightedge-and-compass construction problems is proposed. These...
  • GCLC

  • Referenced in 31 articles [sw00326]
  • We present GCLC/WinGCLC -- a tool for visualizing geometrical...
  • URSA

  • Referenced in 4 articles [sw15541]
  • URSA: a system for uniform reduction to SAT...