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