Papers accepted for publication which have not been published yet.
The most recently submitted article is listed last
(page numbers are temporary).
Formalized Mathematics 16(1) 2008
BSPACE
.
POLYFORM
.
LOPBAN_5
INT_5
.
FLANG_3
.
COMPL_SP
.
DIFF_2
MESFUNC7
MESFUNC8
BCIALG_4
GFACIRC2
MATRIX15
Formalized Mathematics 16(2) 2008
HELLY
EUCLID_6
INT_7
BCIIDEAL
C0SP1
CONVEX4
QUATERN2
HFDIFF_1
SIN_COS9
SINCOS10
MESFUNC9
AOFA_I00
MATRIX14
RAMSEY_1
ABCMIZ_1
Formalized Mathematics 16(3) 2008
MODELC_2
INT_6
BCIALG_5
MATRIXJ1
MATRLIN2
ROBBINS4
AFINSQ_2
VECTSP11
MATRIXJ2
MESFUN10
INTEGR10
MESFUN6C
MATROID0
PDIFF_2
MODELC_3
MATRIX16
LPSPACE1
BCIALG_6
FTACELL1