17 декабря 2013 г.

Н.Н. Осипов.
Механическое доказательство планиметрических теорем рационального типа (Заседание 1247)