Search results for: Yan Zhang
Formalized Mathematics > 2006 > 14 > 1 > 37-45
Formalized Mathematics > 2006 > 14 > 3 > 71-78
Formalized Mathematics > 2006 > 14 > 3 > 115-119
Formalized Mathematics > 2006 > 14 > 1 > 37-45
Formalized Mathematics > 2006 > 14 > 3 > 71-78
Formalized Mathematics > 2006 > 14 > 3 > 115-119