共 25 条
[1]
Bates DJ, 2013, SOFTW ENVIRON TOOLS
[2]
Blum L., 1998, COMPLEXITY REAL COMP, DOI DOI 10.1007/978-1-4612-0701-6
[3]
Decomposing Solution Sets of Polynomial Systems Using Derivatives
[J].
MATHEMATICAL SOFTWARE, ICMS 2016,
2016, 9725
:127-135
[4]
Burmester L., 1888, Lehrbuch der Kinematik
[5]
Chen P., 1967, ASME J. Eng. Ind, V91, P209
[6]
Denavit J., 1955, J APPL MECH, V22, P215, DOI [DOI 10.1115/1.4011045, 10.1115/1.4011045]
[7]
Ewing R., 1986, MERGING DISCIPLINES, P185
[8]
Hauenstein J. D., 2015, ARXIV150707069
[9]
Algorithm 921: alphaCertified: Certifying Solutions to Polynomial Systems
[J].
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE,
2012, 38 (04)