Papers accepted for publication which have not been published yet - during the process of proof-read by Authors.
The most recently submitted article is listed last
(page numbers are temporary).
Formalized Mathematics 20(1) 2012
- FINANCE1 (ver.1133)
- FVALUAT1
- CC0SP2
- MATRTOP3
- NDIFF_5
- MFOLD_2
- ZMODUL01
- MORPH_01 (ver.1134)
- NDIFF_4 (ver.1135)
- MATRIX17 (ver.1136)
- INTEGR19 (ver.1137)
- EC_PF_2
- TOPALG_6
- BORSUK_7 (ver.1140)