共 35 条
[1]
Brasselet J P(2019)On the contribution of Wu Wen-Tsün to algebraic topology Journal of Systems Science & Complexity 32 3-36
[2]
Mou C Q(2019)Characteristic decomposition: From regular sets to normal sets Journal of Systems Science & Complexity 32 37-46
[3]
Wang D M(2019)Hilbert problem 15 and Ritt-Wu method (I) Journal of Systems Science & Complexity 32 47-61
[4]
Li B H(2019)Ritt-Wu characteristic set method for Laurent partial differential polynomial systems Journal of Systems Science & Complexity 32 62-77
[5]
Hu Y R(2019)Self-evident automated proving based on point geometry from the perspective of Wu’s method identity Journal of Systems Science & Complexity 32 78-94
[6]
Gao X S(2019)Automated theorem proving practice with null geometric algebra Journal of Systems Science & Complexity 32 95-123
[7]
Zhang J Z(2019)On the mechanization of straightedge and compass constructions Journal of Systems Science & Complexity 32 124-149
[8]
Peng X C(2019)A proposal for the automatic computation of envelopes of families of plane curves Journal of Systems Science & Complexity 32 150-157
[9]
Chen M(2019)Global optimization of polynomials over real algebraic sets Journal of Systems Science & Complexity 32 158-184
[10]
Li H B(2019)A hybrid procedure for finding real points on a real algebraic set Journal of Systems Science & Complexity 32 185-204