https://www.plm.automation.siemens.com/global/en/products/pl...
Siemens PLM - NX and SolidEdge
Dassault - CATIA & SolidWorks
Autodesk - Inventor & Fusion
PTC - not sure ProEngineer's original sketcher predates 2D DCM of course because they invented history-based feature modeling for 3D CAD.
OnShape also.
Russian systems tend to use LEDAS
https://levindavid.blogspot.com/2011/10/providing-geometric-...
2D DCM is now owned and sold by Siemens PLM but originally created by John Owen at D-Cubed Ltd (Cambridge UK) from circa 1989 before he sold the company to Siemens in 2004
https://www.plm.automation.siemens.com/global/en/our-story/n...
Original 2D DCM paper by John Owen from 1991
Algebraic Solution for Geometry from Dimensional. Constraints
http://papers.cumincad.org/data/works/att/9ad2.content.pdf
(The split the graph into biconnected components doesn't really cover variable radius circles though.)
Other more recent papers by John Owen on arXiv
https://arxiv.org/search/math?searchtype=author&query=Owen%2...
(Some of these are for 3D DCM.)
Disclaimer: D-Cubed Ltd employee from 1995-2000.