Skip to content
Publish & Distribute
Publishing Solutions
Distribution Solutions
Library Services
Subjects
Architecture and Design
Arts
Business and Economics
Chemistry
Classical and Ancient Near Eastern Studies
Computer Sciences
Cultural Studies
Engineering
General Interest
Geosciences
History
Industrial Chemistry
Jewish Studies
Law
Library and Information Science, Book Studies
Life Sciences
Linguistics and Semiotics
Literary Studies
Materials Sciences
Mathematics
Medicine
Music
Pharmacy
Philosophy
Physics
Social Sciences
Sports and Recreation
Theology and Religion
Publications
Journals
Books
Proceedings
Publishers
Journal Matcher
Blog
Contact
Search
English
English
Deutsch
Polski
Español
Français
Italiano
Cart
Home
Journals
Formalized Mathematics
Volume 16 (2008): Issue 2 (June 2008)
Open Access
Formalized Mathematics
Volume 16 (2008): Issue 2 (June 2008)
Share
Download Cover
Download
Previous Issue
Next Issue
15 Articles
Sort By
Open Access | Mar 20, 2009
Mizar Analysis of Algorithms: Algorithms over Integers
Grzegorz Bancerek
Grzegorz Bancerek
Search for this author on
Sciendo
|
Google Scholar
Bancerek, Grzegorz
Open Access | Mar 20, 2009
Heron's Formula and Ptolemy's Theorem
Marco Riccardi
Marco Riccardi
Search for this author on
Sciendo
|
Google Scholar
Riccardi, Marco
Open Access | Mar 20, 2009
Ramsey's Theorem
Marco Riccardi
Marco Riccardi
Search for this author on
Sciendo
|
Google Scholar
Riccardi, Marco
Open Access | Mar 20, 2009
Towards the Construction of a Model of Mizar Concepts
Grzegorz Bancerek
Grzegorz Bancerek
Search for this author on
Sciendo
|
Google Scholar
Bancerek, Grzegorz
Open Access | Mar 20, 2009
Ideals of BCI-algebras and their Properties
Chenglong Wu
Chenglong Wu
Search for this author on
Sciendo
|
Google Scholar
Wu, Chenglong
and
Yuzhong Ding
Yuzhong Ding
Search for this author on
Sciendo
|
Google Scholar
Ding, Yuzhong
Open Access | Mar 20, 2009
Inner Products, Group, Ring of Quaternion Numbers
Fuguo Ge
Fuguo Ge
Search for this author on
Sciendo
|
Google Scholar
Ge, Fuguo
Open Access | Mar 20, 2009
Helly Property for Subtrees
Jessica Enright
Jessica Enright
Search for this author on
Sciendo
|
Google Scholar
Enright, Jessica
and
Piotr Rudnicki
Piotr Rudnicki
Search for this author on
Sciendo
|
Google Scholar
Rudnicki, Piotr
Open Access | Mar 20, 2009
Invertibility of Matrices of Field Elements
Yatsuka Nakamura
Yatsuka Nakamura
Search for this author on
Sciendo
|
Google Scholar
Nakamura, Yatsuka
,
Kunio Oniumi
Kunio Oniumi
Search for this author on
Sciendo
|
Google Scholar
Oniumi, Kunio
and
Wenpai Chang
Wenpai Chang
Search for this author on
Sciendo
|
Google Scholar
Chang, Wenpai
Open Access | Mar 20, 2009
The Lebesgue Monotone Convergence Theorem
Noboru Endou
Noboru Endou
Search for this author on
Sciendo
|
Google Scholar
Endou, Noboru
,
Keiko Narita
Keiko Narita
Search for this author on
Sciendo
|
Google Scholar
Narita, Keiko
and
Yasunari Shidama
Yasunari Shidama
Search for this author on
Sciendo
|
Google Scholar
Shidama, Yasunari
Open Access | Mar 20, 2009
Convex Sets and Convex Combinations on Complex Linear Spaces
Hidenori Matsuzaki
Hidenori Matsuzaki
Search for this author on
Sciendo
|
Google Scholar
Matsuzaki, Hidenori
,
Noboru Endou
Noboru Endou
Search for this author on
Sciendo
|
Google Scholar
Endou, Noboru
and
Yasunari Shidama
Yasunari Shidama
Search for this author on
Sciendo
|
Google Scholar
Shidama, Yasunari
Open Access | Mar 20, 2009
Several Higher Differentiation Formulas of Special Functions
Junjie Zhao
Junjie Zhao
Search for this author on
Sciendo
|
Google Scholar
Zhao, Junjie
,
Xiquan Liang
Xiquan Liang
Search for this author on
Sciendo
|
Google Scholar
Liang, Xiquan
and
Li Yan
Li Yan
Search for this author on
Sciendo
|
Google Scholar
Yan, Li
Open Access | Mar 20, 2009
Inverse Trigonometric Functions Arcsec and Arccosec
Bing Xie
Bing Xie
Search for this author on
Sciendo
|
Google Scholar
Xie, Bing
,
Xiquan Liang
Xiquan Liang
Search for this author on
Sciendo
|
Google Scholar
Liang, Xiquan
and
Fuguo Ge
Fuguo Ge
Search for this author on
Sciendo
|
Google Scholar
Ge, Fuguo
Open Access | Mar 20, 2009
Banach Algebra of Bounded Functionals
Yasunari Shidama
Yasunari Shidama
Search for this author on
Sciendo
|
Google Scholar
Shidama, Yasunari
,
Hikofumi Suzuki
Hikofumi Suzuki
Search for this author on
Sciendo
|
Google Scholar
Suzuki, Hikofumi
and
Noboru Endou
Noboru Endou
Search for this author on
Sciendo
|
Google Scholar
Endou, Noboru
Open Access | Mar 20, 2009
Inverse Trigonometric Functions Arctan and Arccot
Xiquan Liang
Xiquan Liang
Search for this author on
Sciendo
|
Google Scholar
Liang, Xiquan
and
Bing Xie
Bing Xie
Search for this author on
Sciendo
|
Google Scholar
Xie, Bing
Open Access | Mar 20, 2009
Uniqueness of Factoring an Integer and Multiplicative Group
Z/pZ*
Hiroyuki Okazaki
Hiroyuki Okazaki
Search for this author on
Sciendo
|
Google Scholar
Okazaki, Hiroyuki
and
Yasunari Shidama
Yasunari Shidama
Search for this author on
Sciendo
|
Google Scholar
Shidama, Yasunari
Search
Journal
Volume
Issue
All Volumes and Issues in this Journal
Volume 32 (2024)
Issue 1 (August 2024)
Volume 31 (2023)
Issue 1 (September 2023)
Volume 30 (2022)
Issue 4 (December 2022)
Issue 3 (October 2022)
Issue 2 (July 2022)
Issue 1 (April 2022)
Volume 29 (2021)
Issue 4 (December 2021)
Issue 3 (October 2021)
Issue 2 (July 2021)
Issue 1 (April 2021)
Volume 28 (2020)
Issue 4 (December 2020)
Issue 3 (October 2020)
Issue 2 (July 2020)
Issue 1 (April 2020)
Volume 27 (2019)
Issue 4 (December 2019)
Issue 3 (October 2019)
Issue 2 (July 2019)
Issue 1 (April 2019)
Volume 26 (2018)
Issue 4 (December 2018)
Issue 3 (October 2018)
Issue 2 (July 2018)
Issue 1 (April 2018)
Volume 25 (2017)
Issue 4 (December 2017)
Issue 3 (October 2017)
Issue 2 (July 2017)
Issue 1 (March 2017)
Volume 24 (2016)
Issue 4 (December 2016)
Issue 3 (September 2016)
Issue 2 (June 2016)
Issue 1 (March 2016)
Volume 23 (2015)
Issue 4 (December 2015)
Issue 3 (September 2015)
Issue 2 (June 2015)
Issue 1 (March 2015)
Volume 22 (2014)
Issue 4 (December 2014)
Issue 3 (September 2014)
Issue 2 (June 2014)
Special Issue: 25 years of the Mizar Mathematical Library
Issue 1 (March 2014)
Volume 21 (2013)
Issue 4 (December 2013)
Issue 3 (October 2013)
Issue 2 (June 2013)
Issue 1 (January 2013)
Volume 20 (2012)
Issue 4 (December 2012)
Issue 3 (September 2012)
Issue 2 (June 2012)
Issue 1 (January 2012)
Volume 19 (2011)
Issue 4 (December 2011)
Issue 3 (September 2011)
Issue 2 (June 2011)
Issue 1 (March 2011)
Volume 18 (2010)
Issue 4 (December 2010)
Issue 3 (September 2010)
Issue 2 (June 2010)
Issue 1 (March 2010)
Volume 17 (2009)
Issue 4 (December 2009)
Issue 3 (September 2009)
Issue 2 (June 2009)
Issue 1 (March 2009)
Volume 16 (2008)
Issue 4 (December 2008)
Issue 3 (September 2008)
Issue 2 (June 2008)
Issue 1 (March 2008)
Volume 15 (2007)
Issue 4 (December 2007)
Issue 3 (September 2007)
Issue 2 (June 2007)
Issue 1 (March 2007)
Volume 14 (2006)
Issue 4 (December 2006)
Issue 3 (September 2006)
Issue 2 (June 2006)
Issue 1 (March 2006)
