Search results for: Xiquan Liang
Formalized Mathematics > 2012 > 20 > 4 > 265-269
Formalized Mathematics > 2012 > 20 > 1 > 73-77
Formalized Mathematics > 2011 > 19 > 1 > 35-39
Formalized Mathematics > 2011 > 19 > 1 > 11-15
Formalized Mathematics > 2010 > 18 > 2 > 129-141
Formalized Mathematics > 2010 > 18 > 1 > 1-10
Formalized Mathematics > 2010 > 18 > 1 > 57-64
Formalized Mathematics > 2010 > 18 > 1 > 53-56
Formalized Mathematics > 2010 > 18 > 1 > 39-46
Formalized Mathematics > 2009 > 17 > 3 > 213-217
Formalized Mathematics > 2009 > 17 > 1 > 23-35
Formalized Mathematics > 2009 > 17 > 4 > 245-248
Formalized Mathematics > 2009 > 17 > 2 > 79-87
Formalized Mathematics > 2009 > 17 > 2 > 61-65
Formalized Mathematics > 2008 > 16 > 2 > 147-158
Formalized Mathematics > 2008 > 16 > 4 > 333-338
Formalized Mathematics > 2008 > 16 > 1 > 65-71
Formalized Mathematics > 2008 > 16 > 3 > 253-258
Formalized Mathematics > 2008 > 16 > 1 > 23-28
Formalized Mathematics > 2008 > 16 > 2 > 159-165