Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method (Q5453487)
From MaRDI portal
scientific article; zbMATH DE number 5256458
Language | Label | Description | Also known as |
---|---|---|---|
English | Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method |
scientific article; zbMATH DE number 5256458 |
Statements
Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method (English)
0 references
1 April 2008
0 references