- author = "Konstantine Arkoudas",
- title = "Automatically Discovering Euler's Identity via Genetic Programming",
- booktitle = "AAAI Fall Symposium",
- year = "2008",
- editor = "Selmer Bringsjord and Andrew Shilliday",
- pages = "1--7",
- address = "Arlington, Virginia, USA",
- publisher_address = "Menlo Park, California, USA",
- month = nov # " 7-9",
- publisher = "AAAI",
- keywords = "genetic algorithms, genetic programming",
- isbn13 = "978-1-57735-395-9",
-
URL = "
http://www.aaai.org/Papers/Symposia/Fall/2008/FS-08-03/FS08-03-001.pdf",
- size = "7 pages",
- abstract = "We show that by using machine learning techniques (genetic programming, in particular), Euler's famous identity (V - E + F = 2) can be automatically discovered from a limited amount of data indicating the values of V , E, and F for a small number of polyhedra the five platonic solids. This result suggests that mechanized inductive techniques have an important role to play in the process of doing creative mathematics, and that large amounts of data are not necessary for the extraction of important regularities. Genetic programming was implemented from scratch in SML-NJ.",
-
notes = "Technical Report FS-08-03. Published by The AAAI Press
http://www.aaai.org/Press/Reports/Symposia/Fall/fs-08-03.php
Cube, triangular prism, pentagonal prism, square pyramid, triangular pyramid, pentagonal pyramid, octahedron, tower, truncated cube. SML. The source code can be downloaded from www.rpi.edu/~arkouk/euler/",
