Enciclopedia universală

GEOTHER

GEOTHER - (GEOmetry THeorem provER) - mediu de dezvoltare pentru demonstrarea algebrica a teoremelor de geometrie, unul dintre cele mai puternice si placute produse din acest domeniu. Produs dezvoltat de Dongming Wang in MAPLE V.