Détails du projet

Effectuez une nouvelle recherche<<Premier  <Précédent [1273 de 5967Prochain>  Dernier>>

ESPC 2016 - Montreal (Québec)

Imprimer/Télécharger en format PDF

I am a grade 12 student living in Calgary, Alberta, and am highly interested in artificial intelligence and the use of computers to automate creative processes. I will be attending Duke University this fall. I encourage potential science fair participants to a) combine different fields that they are passionate about and b) think radically about how the world could be different.

Craig Fiedorek

Automated Theorem Proving
Région:Calgary Youth
Ville:Calgary, AB
École:Webber Academy
Sommaire:This project presents foundational concepts of automated theorem proving, current roadblocks to related research, and a novel technique for proof-search that utilizes a genetic programming algorithm within a formal proof management system. Primary applications are in the formalization of mathematics and in software verification.