Login / Signup

Computer-checked mathematics: a formal proof of the odd order theorem.

Assia Mahboubi
Published in: CSL-LICS (2014)
Keyphrases
  • formal proof
  • genetic algorithm
  • image processing
  • website
  • image sequences
  • face recognition
  • computer science