| |
Осипов, Н. Н.
О механическом доказательстве планиметрических теорем рационального типа [Текст] / Н. Н. Осипов
// Программирование. – 2014. – № 2. – С. 41-50.
Предлагается элеменарный подход к механическому доказательству планиметрических теорем рационального типа. |
