Login / Signup

A proof of the Boyd-Carr conjecture.

Frans SchalekampDavid P. WilliamsonAnke van Zuylen
Published in: SODA (2012)
Keyphrases
  • theorem proving
  • computer vision
  • theorem prover
  • real time
  • automated theorem proving
  • proof theory