
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 highlevel 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 highlevel, general...

SumTools
 Referenced in 92 articles
[sw19250]
 SumTools [Hypergeometric]: perform KoepfZeilberger’s algorithm....

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