Papers accepted for publication which have not been published yet.
The most recently submitted article is listed last
(page numbers are temporary).
Formalized Mathematics 17(2) 2009
QUATERN3
CFDIFF_1
KOLMOG01
PDIFF_3
MESFUN7C
MEMBER_1
POLYEQ_5
NAT_5
RANDOM_1
MESFUN9C
CFDIFF_2
GR_CY_3
MEASURE8
REWRITE3
DIST_1
INTEGR15
FUNCT_8
FSM_3
Formalized Mathematics 17(3) 2009
TOPDIM_1