Компьютерное доказательство теоремы об инцентрах
Matematicheskoe Prosveshchenie, Série 3, Matematicheskoe Prosveshchenie, Tome 18 (2014), pp. 205-216
Voir la notice du chapitre de livre
@article{MP_2014_3_18_a7,
author = {N. N. Osipov},
title = {{\CYRK}{\cyro}{\cyrm}{\cyrp}{\cyrsftsn}{\cyryu}{\cyrt}{\cyre}{\cyrr}{\cyrn}{\cyro}{\cyre} {\cyrd}{\cyro}{\cyrk}{\cyra}{\cyrz}{\cyra}{\cyrt}{\cyre}{\cyrl}{\cyrsftsn}{\cyrs}{\cyrt}{\cyrv}{\cyro} {\cyrt}{\cyre}{\cyro}{\cyrr}{\cyre}{\cyrm}{\cyrery} {\cyro}{\cyrb} {\cyri}{\cyrn}{\cyrc}{\cyre}{\cyrn}{\cyrt}{\cyrr}{\cyra}{\cyrh}},
journal = {Matematicheskoe Prosveshchenie},
pages = {205--216},
year = {2014},
volume = {Ser. 3, 18},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MP_2014_3_18_a7/}
}
N. N. Osipov. Компьютерное доказательство теоремы об инцентрах. Matematicheskoe Prosveshchenie, Série 3, Matematicheskoe Prosveshchenie, Tome 18 (2014), pp. 205-216. http://geodesic.mathdoc.fr/item/MP_2014_3_18_a7/