Computer-discovered Mathematics: Lalesco Products
Computer-discovered Mathematics: Lalesco Products
Author(s): Sava Grozdev, Deko DekovSubject(s): Education, Vocational Education, Adult Education, Higher Education , History of Education, ICT Information and Communications Technologies, Sociology of Education
Published by: Национално издателство за образование и наука „Аз-буки“
Keywords: geometry of the triangle; computer-discovered mathematics; Discoverer
Summary/Abstract: The computer program “Discoverer”, created by the authors, is the first computer program, able easily to discover new theorems in mathematics, and possibly, the first computer program, able easily to discover new knowledge in science. In this paper we use “Discoverer” in order to investigate the Lalesco products in the geometry of the triangle.
Journal: Математика и информатика
- Issue Year: 58/2015
- Issue No: 2
- Page Range: 143-148
- Page Count: 6
- Language: English
- Content File-PDF