Journal of symbolic computation. 2000;30(5):493-519. doi: 10.1006/jsco.2000.0392 Q21.12025
A Systematic Framework for Solving Geometric Constraints Analytically
DOI: 10.1006/jsco.2000.0392
摘要 查看摘要
Journal of symbolic computation. 2000;30(5):493-519. doi: 10.1006/jsco.2000.0392 Q21.12025
DOI: 10.1006/jsco.2000.0392
摘要 查看摘要