Ta stran uporablja piškotke. Več
Strinjam seNe strinjam se
Seznam predmetov
jgex_slo
Sat Oct 13 00:00:00 CEST 2018

Program za avtomatsko dokazovanje geometrijskih trditev

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.


Prijava
Uporabniško ime:
Geslo:
 Zapomni me
Splošni podatki