Някои приложения на компютърната програма „Откривател“
Some applications of the computer program “Discoverer”
Author(s): Sava Grozdev, Veselin NenkovSubject(s): Social Sciences, Education, School education, Pedagogy
Published by: Математика плюс Х ЕООД
Keywords: computer-generated mathematics; Euclidean geometry; Discoverer; mathematical Olympiad
Summary/Abstract: The aim of the computer program „Discoverer“, which is in process of development, is to discover new theorems in Euclidean Geometry. The authors present some theorems, generated by „Discoverer“ and show how these theorems could be used.
Journal: Математика плюс
- Issue Year: 31/2023
- Issue No: 3
- Page Range: 54-66
- Page Count: 13
- Language: Bulgarian
- Content File-PDF