• GEOPAR

  • Referenced in 1 article [sw26046]
  • Generalizing Morley’s and other theorems with automated realization. A new approach is shown that ... ones, including a generalization of Morley’s Theorem...
  • Cinderella

  • Referenced in 151 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • Epsilon

  • Referenced in 39 articles [sw00244]
  • Epsilon is a library of functions implemented in...
  • GAP

  • Referenced in 2876 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Matlab

  • Referenced in 12309 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MMP/Geometer

  • Referenced in 13 articles [sw00584]
  • MMP/Geometer – a software package for automated geometric reasoning...
  • INTLAB

  • Referenced in 426 articles [sw04004]
  • INTLAB is the Matlab toolbox for reliable computing...
  • GEX

  • Referenced in 35 articles [sw09961]
  • Geometry Expert (GEX) is a software for dynamic...
  • JGEX

  • Referenced in 16 articles [sw13613]
  • An introduction to Java geometry expert. This paper...
  • Python

  • Referenced in 1486 articles [sw14460]
  • Python is a widely used high-level, general...
  • SumTools

  • Referenced in 92 articles [sw19250]
  • SumTools [Hypergeometric]: perform Koepf-Zeilberger’s algorithm....
  • GitHub

  • Referenced in 1678 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...