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 21(2) 2013
- NBVECTSP (ver.1174)
- SORGEN_2
- NUMERAL2 (ver.1179)
- NDIFF_6
- NUMPOLY1
- GAUSSINT
- TOPALG_7