Three Theorems, with Computer-Aided Proofs, on Three-Dimensional Faces and Quotients of Polytopes.
Günter MeisingerPeter KleinschmidtGil KalaiPublished in: Discret. Comput. Geom. (2000)
Keyphrases
- computer aided
- three dimensional
- computer assisted
- computer aided diagnosis
- sequent calculus
- cut elimination
- capsule endoscopy
- image analysis
- d objects
- convex hull
- diagnosis of breast cancer
- computer aided design
- face recognition
- human faces
- design tools
- x ray
- face images
- proof search
- theorem prover
- cad systems
- inference rules
- image sequences
- theorem proving
- line drawings
- pulmonary nodules
- early diagnosis
- linear logic
- natural deduction
- image registration