A Proof of the Boyd-Carr Conjecture

Frans Schalekamp David P. Williamson Anke van Zuylen

Published in: CoRR (2011)

Keyphrases

cooperative
theorem proving
data sets
theorem prover
linear logic
proof planning
real time
image segmentation
database systems
multiscale
object recognition
provably correct