Računalniško podprto dokazovanje v geometriji vsebuje pregled teorije računalniško podprtega dokazovanja geometrijskih trditev, navodila za računalniško podprto dokazovanje s programi GeoGebra, OK Geometry in JGEX ter zbirko nalog iz računalniško podprtega dokazovanja.

Na tem mestu lahko naložite prosto dostopen program za avtomatsko dokazovanje geometrijskih trditev JGEX avtorjev Chou, Gao in Ye. Programu je dodan slovenski prevod, ki je vpisan pod italijanskim prevodom.