Login / Signup
The Koch Curve: A Geometric Proof.
Sime Ungar
Published in:
Am. Math. Mon. (2007)
Keyphrases
</>
geometry theorem proving
theorem proving
geometric structure
endpoints
geometric constraints
heat flow
b spline
theorem prover
computer vision
geometric information
curve fitting
complete axiomatization
visual attention
object recognition
linear logic
geometric methods
algebraic curves
multiscale
three dimensional