Login / Signup
Proofs and surfaces.
Djordje Baralic
Pierre-Louis Curien
Marina Milicevic
Jovana Obradovic
Zoran Petric
Mladen Zekic
Rade T. Zivaljevic
Published in:
Ann. Pure Appl. Log. (2020)
Keyphrases
</>
free form
surface reconstruction
three dimensional
theorem prover
theorem proving
range data
natural deduction
simply connected
real time
formal proof
curved objects
surface registration
decision procedures
surface orientation
viewpoint
image segmentation
case study
computer vision