Formal Specification and Theorem Proving Breakthroughs in Geometric Modeling.
François PuitgJean-François DufourdPublished in: TPHOLs (1998)
Keyphrases
- formal specification
- theorem proving
- geometric modeling
- model checking
- first order logic
- reverse engineering
- theorem prover
- inference rules
- computer aided design
- medical imaging
- computer graphics
- geometric models
- parallel search
- business rules
- morphological operations
- proof planning
- consequence finding
- geometry theorem proving
- curved surfaces
- image processing
- mathematical morphology
- smooth surfaces