共 29 条
[1]
Arnold V. I., 1963, RUSS MATH SURV, V18, P9, DOI DOI 10.1070/RM1963V018N05ABEH004130
[3]
BERRETTI A, UNPUB
[4]
BOST JB, 1984, SEMIN BOURBAKI, V639, P113
[7]
CELLETTI A, 1991, COMPUTER AIDED PROOF
[8]
DELALLAVE R, 1991, COMPUTER AIDED PROOF
[9]
ECKMANN JP, 1985, SPRINGER LECTURE NOT, V227