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