[HTML][HTML] Экспериментальное обоснование гипотез в GeoGebra

АР Есаян, АВ Якушин - Чебышевский сборник, 2017 - cyberleninka.ru
В данной статье предлагается несколько гипотез, связанных с чевианами треугольника
и коническими сечениями, проходящими через основания этих чевиан или через иные …

[HTML][HTML] Компьютерное доказательство гипотезы о центроидах

АР Есаян, НН Добровольский - Чебышевский сборник, 2017 - cyberleninka.ru
В данной статье дается доказательство “гипотезы о центроидах”, выдвинутой в работе
“Экспериментальное обоснование гипотез в GeoGebrа” и опубликованной в текущем …

Геометрическое доказательство теоремы об инцентрах и её аналогов

МИ Толовиков - Математическое просвещение, 2022 - mathnet.ru
Биссектрисы разбивают произвольный треугольник на шесть треугольников. Теорема
об инцентрах утверждает, что инцентры этих треугольников лежат на одной конике …

[引用][C] Символьные вычисления в математических доказательствах (computer assisted proofs)

НН Осипов - Математическое образование, 2020 - mathnet.ru
Как научная дисциплина компьютерная алгебра ориентируется на создание
алгоритмов, предназначенных для точного решения математических и прикладных …

[引用][C] СИМВОЛЬНЫЕ ВЫЧИСЛЕНИЯ В МАТЕМАТИЧЕСКИХ ДОКАЗАТЕЛЬСТВАХ

НН Осипов - ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В …, 2019 - elibrary.ru
В статье приводятся примеры применения систем компьютерной алгебры к
доказательству теорем в элементарной геометрии, алгебре и теории чисел.