Login / Signup

A Machine-Checked Proof of the Odd Order Theorem.

Georges GonthierAndrea AspertiJeremy AvigadYves BertotCyril CohenFrançois GarillotStéphane Le RouxAssia MahboubiRussell O'ConnorSidi Ould BihaIoana PascaLaurence RideauAlexey SolovyevEnrico TassiLaurent Théry
Published in: ITP (2013)
Keyphrases
  • website
  • web pages
  • artificial neural networks
  • database
  • data mining
  • genetic algorithm
  • image processing
  • high level
  • expert systems
  • mobile robot
  • interactive theorem proving