Dear All,
I would like to announce eight new articles accepted to the
Mizar Mathematical Library:
1. On the Partial Product of Series and Related Basic Inequalities
by Fuguo Ge and Xiquan Liang
Received July 6, 2005
MML Id: SERIES_3
2. Homeomorphism between Finite Topological Spaces, Two-Dimensional Lattice
Spaces and a Fixed Point Theorem
by Masami Tanaka, Hiroshi Imura and Yatsuka Nakamura
Received July 6, 2005
MML Id: FINTOPO5
3. The Maclaurin Expansions
by Akira Nishino and Yasunari Shidama
Received July 6, 2005
MML Id: TAYLOR_2
4. Several Differentiable Formulas of Special Functions
by Yan Zhang and Xiquan Liang
Received July 6, 2005
MML Id: FDIFF_4
5. Set Sequences and Monotone Class
by Bo Zhang, Hiroshi Yamazaki and Yatsuka Nakamura
Received August 12, 2005
MML Id: PROB_3
6. A Theory of Sequential Files
by Hirofumi Fukura and Yatsuka Nakamura
Received August 12, 2005
MML Id: FILEREC1
7. Circled Sets, Circled Hull, and Circled Family
by Fahui Zhai, Jianbing Cao and Xiquan Liang
Received August 30, 2005
MML Id: CIRCLED1
8. On the Borel Families of Subsets of Topological Spaces
by Adam Grabowski
Received August 30, 2005
MML Id: TOPGEN_4
All are included in the newest version of the Mizar system
(Mizar ver. 7.5.01, MML ver. 4.38.916) available for all supported
platforms.
Check our homepage
http://mizar.uwb.edu.pl
or its official mirror
http://mizar.org
for details.
Regards,
Adam Grabowski
Library Committee of the Association of Mizar Users