Search results for: Dailu Li
Formalized Mathematics > 2011 > 19 > 1 > 11-15
Formalized Mathematics > 2010 > 18 > 1 > 53-56
Formalized Mathematics > 2009 > 17 > 3 > 213-217
Formalized Mathematics > 2009 > 17 > 4 > 245-248
Formalized Mathematics > 2011 > 19 > 1 > 11-15
Formalized Mathematics > 2010 > 18 > 1 > 53-56
Formalized Mathematics > 2009 > 17 > 3 > 213-217
Formalized Mathematics > 2009 > 17 > 4 > 245-248