A generalization of the three-dimensional Bernfeld-Haddock conjecture and its proof.

Qiyuan Zhou Wentao Wang Qiyi Fan

Published in: J. Comput. Appl. Math. (2009)

Keyphrases

three dimensional
theorem prover
x ray
theorem proving
geometry theorem proving
linear logic
mathematical proofs
object modeling
d objects
multi view
virtual reality
d mesh
computed tomography
range images
decision making
human body
artificial neural networks
expert systems
image sequences
case study