Компьютерное доказательство теоремы об инцентрах
Н. Н. Осипов

Эта публикация цитируется в следующих статьяx:

1. Н. Н. Осипов, “Символьные вычисления в математических доказательствах (computer assisted proofs)”, Матем. обр., 2020, № 2(94), 42–47  
2. А. Р. Есаян, Н. Н. Добровольский, “Компьютерное доказательство гипотезы о центроидах”, Чебышевский сб., 18:1 (2017), 73–91      
3. А. Р. Есаян, А. В. Якушин, “Экспериментальное обоснование гипотез в GeoGebra”, Чебышевский сб., 18:1 (2017), 92–108