[HTML][HTML] Экспериментальное обоснование гипотез в GeoGebra
АР Есаян, АВ Якушин - Чебышевский сборник, 2017 - cyberleninka.ru
В данной статье предлагается несколько гипотез, связанных с чевианами треугольника
и коническими сечениями, проходящими через основания этих чевиан или через иные …
и коническими сечениями, проходящими через основания этих чевиан или через иные …
[HTML][HTML] Компьютерное доказательство гипотезы о центроидах
АР Есаян, НН Добровольский - Чебышевский сборник, 2017 - cyberleninka.ru
В данной статье дается доказательство “гипотезы о центроидах”, выдвинутой в работе
“Экспериментальное обоснование гипотез в GeoGebrа” и опубликованной в текущем …
“Экспериментальное обоснование гипотез в GeoGebrа” и опубликованной в текущем …
Геометрическое доказательство теоремы об инцентрах и её аналогов
МИ Толовиков - Математическое просвещение, 2022 - mathnet.ru
Биссектрисы разбивают произвольный треугольник на шесть треугольников. Теорема
об инцентрах утверждает, что инцентры этих треугольников лежат на одной конике …
об инцентрах утверждает, что инцентры этих треугольников лежат на одной конике …
[引用][C] Символьные вычисления в математических доказательствах (computer assisted proofs)
НН Осипов - Математическое образование, 2020 - mathnet.ru
Как научная дисциплина компьютерная алгебра ориентируется на создание
алгоритмов, предназначенных для точного решения математических и прикладных …
алгоритмов, предназначенных для точного решения математических и прикладных …
[引用][C] СИМВОЛЬНЫЕ ВЫЧИСЛЕНИЯ В МАТЕМАТИЧЕСКИХ ДОКАЗАТЕЛЬСТВАХ
НН Осипов - ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В …, 2019 - elibrary.ru
В статье приводятся примеры применения систем компьютерной алгебры к
доказательству теорем в элементарной геометрии, алгебре и теории чисел.
доказательству теорем в элементарной геометрии, алгебре и теории чисел.