Project Details

Perform another search<<First  <Prev [1273 of 5967Next>  Last>>

CWSF 2016 - Montreal, Quebec

Print/Download as 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
Region:Calgary Youth
City:Calgary, AB
School:Webber Academy
Abstract: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.