Program for proving elementary algebraic (perspective - geometry) theorems using distributed computations
Primary LanguageC++