Search results for: Tao Sun
Formalized Mathematics > 2008 > 16 > 1 > 65-71
Formalized Mathematics > 2008 > 16 > 3 > 253-258
Formalized Mathematics > 2007 > 15 > 3 > 151-157
Formalized Mathematics > 2007 > 15 > 4 > 237-242
Formalized Mathematics > 2008 > 16 > 1 > 65-71
Formalized Mathematics > 2008 > 16 > 3 > 253-258
Formalized Mathematics > 2007 > 15 > 3 > 151-157
Formalized Mathematics > 2007 > 15 > 4 > 237-242