Wolfram Screencast & Video Gallery

This page requires that JavaScript be enabled in your browser.
Learn how »

Automated Geometry Theorem Generation

We present a method for automatically generating new geometry theorems using angle chasing techniques. Our method transforms rank-deficient matrices to incorporate line angles and bisectors, and outputs the theorems in the form of GeometricScene. It is suitable for solutions of bisector conditions.

Was this video helpful?

Channels: Technology Conference

SORT BY: Latest | A-Z
1311 videos match your search.
Progress in Computer Algebra-Based Biological Modeling Languages16:30
Eric Mjolsness
Collaborative projects have resulted in several Mathematica-implemented modeling languages aimed at general-purpose biological modeling, which is a useful and topical but an indefinitely expandable goal. We update previous work on ...
Social Network Analysis21:32
Jae Bum Jung/Yan Zhuang
Symbolic Mechanics: Designing a Better Trebuchet and Illustrating Chaos23:40
Phillip Todd
TBpack-Carbon: Нанофизика для всех в пакете Математика36:45
Василий Сороко
Working with Professor Ian Stewart, Mathematica and Touch Press22:34
Phil Ramsden
Wormholes & Other Dynamic Curiosities24:54
Lou D'Andria
Constructing interfaces with Dynamic, DynamicModule and Manipulate is nothing new, but those aren't the only Dynamic primitives available in Mathematica. In this talk, we'll identify and demonstrate some of the ...
Вступительное слово3:32
Галина Михалкина, Григорий Фридман
Закрытие конференции и Открытие хакатона1:11
Галина Михалкина
Использование NDSolve`FEM` и NDEigensystem в задачах механики деформируемого твёрдого тела20:41
Андрей Кротких
Использование Wolfram Mathematica для решения задач прикладной геофизики. Спектральный анализ сейсмических данных или «куда бежали древние реки»23:57
Антон Екименко, Кирилл Белов
Как объяснить 4 астрономических события в летописях 4го и 14го веков: приложение Wolfram Astronomy39:48
Физический институт имени П.Н. Лебедева
Компьютерный практикум с Wolfram Mathematica в курсе дискретной математики28:06
Григорий Фридман, Олег Иванов
Лицензирование и ресурсы Wolfram Research5:15
Галина Михалкина
Моделирование изображений дифракционных картин с использованием двумерного дискретного преобразования Фурье9:39
Олег Кофнов
Мой опыт использования Wolfram Mathematica при обучении математике в институте и в научной работе21:52
Николай Сосновский
Нейронные сети: Демонстрация и Операция28:02
Микаэл Эгибян
Новое в обработке изображений и аудио58:21
Микаэл Эгибян
Новые разработки в интеграции Wolfram Language c реляционными базами данных и возможности символьных преобразований кода59:55
Леонид Шифрин
Обработка аудио и видео приложений31:22
Вахагн Геворгян
Перспективы школьной математики в России и мире и место Wolfram Технологий в них30:31
Алексей Семенов