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(2) 2012
- TOPALG_6
- BORSUK_7 (ver.1140)
- PDIFF_9
- DESCIP_1
- MMLQUERY
- MENELAUS
- SCMYCIEL
- NTALGO_1
- RATFUNC1 (ver.1147)
Formalized Mathematics 20(3) 2012
- QC_TRANS (ver.1153)
- GOEDCPUC
- ZMODUL02
- LTLAXIO2
- LTLAXIO3
- LTLAXIO4
- FRIENDS1 (ver.1155)
- MSAFREE4