Journal of symbolic computation. 2001;31(4):409-427. doi: 10.1006/jsco.2000.0403 Q21.12025
Decomposition Plans for Geometric Constraint Problems, Part II: New Algorithms
DOI: 10.1006/jsco.2000.0403
摘要 查看摘要
Journal of symbolic computation. 2001;31(4):409-427. doi: 10.1006/jsco.2000.0403 Q21.12025
DOI: 10.1006/jsco.2000.0403
摘要 查看摘要