Automatically Discovering Euler's Identity via Genetic Programming

Created by W.Langdon from gp-bibliography.bib Revision:1.3872

@InProceedings{Arkoudas:2008:AAAIf,
  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/",
}

Genetic Programming entries for Konstantine Arkoudas

Citations