共 30 条
[11]
Hoffmann C. M.(1983)Optimization by simulated annealing Science 220 671-680
[12]
Fudos I.(1999)On theories of triangular sets Journal of Symbolic Computation 28 105-124
[13]
Hoffmann C. M.(1992)Ruleoriented method for parametrized computer-aided design Computer Aided Design 24 531-540
[14]
Ge J. X.(1998)Decomposing polynomial systems into simple systems Journal of Symbolic Computation 25 295-314
[15]
Gao X. S.(1986)Principles of mechanical theorem proving J. of Automated Reasoning 2 221-252
[16]
Chou S. C.(undefined)undefined undefined undefined undefined-undefined
[17]
Hoffmann C. M.(undefined)undefined undefined undefined undefined-undefined
[18]
Joan-arinyo R.(undefined)undefined undefined undefined undefined-undefined
[19]
Joan-Arinyo R.(undefined)undefined undefined undefined undefined-undefined
[20]
Soto A.(undefined)undefined undefined undefined undefined-undefined