Login / Signup
An Algorithmic Proof of the Motzkin-Rabin Theorem on Monochrome Lines.
Lourens M. Pretorius
Konrad J. Swanepoel
Published in:
Am. Math. Mon. (2004)
Keyphrases
</>
interactive theorem proving
straight line
von neumann
color images
hough transform
database
three dimensional
line drawings
proof planning
real time
linear logic
image processing
image sequences
high dynamic range
natural deduction
provably convergent