Search results for: Fuguo Ge
Formalized Mathematics > 2008 > 16 > 2 > 135-139
Formalized Mathematics > 2008 > 16 > 2 > 159-165
Formalized Mathematics > 2008 > 16 > 4 > 371-376
Formalized Mathematics > 2008 > 16 > 4 > 389-399
Formalized Mathematics > 2007 > 15 > 4 > 189-198
Formalized Mathematics > 2006 > 14 > 4 > 129-134
Formalized Mathematics > 2006 > 14 > 4 > 161-169