Review of foundations for “body-and-cad” frameworks of CAD systems.
Case study of dependencies (non-generic geometry via the Grassmann–Cayley algebra).
Combinatorial “pebble game” algorithm for detecting generic dependencies.
Combinatorial algorithm for factor graph decomposition for non-generic dependencies.