Skip to content
Publier & Distribuer
Solutions d'édition
Solutions de distribution
Services de bibliothèques
Thèmes
Architecture et design
Arts
Business et économie
Chimie
Chimie industrielle
Droit
Géosciences
Histoire
Informatique
Ingénierie
Intérêt général
Linguistique et sémiotique
Littérature
Mathématiques
Musique
Médecine
Pharmacie
Philosophie
Physique
Sciences bibliothécaires et de l'information, études du livre
Sciences des matériaux
Sciences du vivant
Sciences sociales
Sport et loisirs
Théologie et religion
Études classiques et du Proche-Orient ancient
Études culturelles
Études juives
Publications
Journaux
Livres
Comptes-rendus
Éditeurs
Journal Matcher
Blog
Contact
Chercher
Français
English
Deutsch
Polski
Español
Français
Italiano
Panier
Home
Journaux
Formalized Mathematics
Édition 16 (2008): Edition 2 (Juin 2008)
Accès libre
Formalized Mathematics
Édition 16 (2008): Edition 2 (Juin 2008)
Partagez
Télécharger la couverture
Téléchargez
L'édition précédente
La prochaine édition
15 Articles
Classez par
Accès libre | 20 mars 2009
Mizar Analysis of Algorithms: Algorithms over Integers
Grzegorz Bancerek
Grzegorz Bancerek
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Bancerek, Grzegorz
Accès libre | 20 mars 2009
Heron's Formula and Ptolemy's Theorem
Marco Riccardi
Marco Riccardi
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Riccardi, Marco
Accès libre | 20 mars 2009
Ramsey's Theorem
Marco Riccardi
Marco Riccardi
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Riccardi, Marco
Accès libre | 20 mars 2009
Towards the Construction of a Model of Mizar Concepts
Grzegorz Bancerek
Grzegorz Bancerek
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Bancerek, Grzegorz
Accès libre | 20 mars 2009
Ideals of BCI-algebras and their Properties
Chenglong Wu
Chenglong Wu
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Wu, Chenglong
et
Yuzhong Ding
Yuzhong Ding
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Ding, Yuzhong
Accès libre | 20 mars 2009
Inner Products, Group, Ring of Quaternion Numbers
Fuguo Ge
Fuguo Ge
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Ge, Fuguo
Accès libre | 20 mars 2009
Helly Property for Subtrees
Jessica Enright
Jessica Enright
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Enright, Jessica
et
Piotr Rudnicki
Piotr Rudnicki
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Rudnicki, Piotr
Accès libre | 20 mars 2009
Invertibility of Matrices of Field Elements
Yatsuka Nakamura
Yatsuka Nakamura
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Nakamura, Yatsuka
,
Kunio Oniumi
Kunio Oniumi
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Oniumi, Kunio
et
Wenpai Chang
Wenpai Chang
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Chang, Wenpai
Accès libre | 20 mars 2009
The Lebesgue Monotone Convergence Theorem
Noboru Endou
Noboru Endou
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Endou, Noboru
,
Keiko Narita
Keiko Narita
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Narita, Keiko
et
Yasunari Shidama
Yasunari Shidama
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Shidama, Yasunari
Accès libre | 20 mars 2009
Several Higher Differentiation Formulas of Special Functions
Junjie Zhao
Junjie Zhao
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Zhao, Junjie
,
Xiquan Liang
Xiquan Liang
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Liang, Xiquan
et
Li Yan
Li Yan
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Yan, Li
Accès libre | 20 mars 2009
Inverse Trigonometric Functions Arcsec and Arccosec
Bing Xie
Bing Xie
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Xie, Bing
,
Xiquan Liang
Xiquan Liang
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Liang, Xiquan
et
Fuguo Ge
Fuguo Ge
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Ge, Fuguo
Accès libre | 20 mars 2009
Banach Algebra of Bounded Functionals
Yasunari Shidama
Yasunari Shidama
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Shidama, Yasunari
,
Hikofumi Suzuki
Hikofumi Suzuki
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Suzuki, Hikofumi
et
Noboru Endou
Noboru Endou
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Endou, Noboru
Accès libre | 20 mars 2009
Inverse Trigonometric Functions Arctan and Arccot
Xiquan Liang
Xiquan Liang
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Liang, Xiquan
et
Bing Xie
Bing Xie
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Xie, Bing
Accès libre | 20 mars 2009
Uniqueness of Factoring an Integer and Multiplicative Group
Z/pZ*
Hiroyuki Okazaki
Hiroyuki Okazaki
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Okazaki, Hiroyuki
et
Yasunari Shidama
Yasunari Shidama
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Shidama, Yasunari
Accès libre | 20 mars 2009
Convex Sets and Convex Combinations on Complex Linear Spaces
Hidenori Matsuzaki
Hidenori Matsuzaki
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Matsuzaki, Hidenori
,
Noboru Endou
Noboru Endou
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Endou, Noboru
et
Yasunari Shidama
Yasunari Shidama
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Shidama, Yasunari
Chercher
Revue
Édition
Edition
Tous les volumes et éditions dans cette revue
Édition 32 (2024)
Edition 1 (Août 2024)
Édition 31 (2023)
Edition 1 (Septembre 2023)
Édition 30 (2022)
Edition 4 (Décembre 2022)
Edition 3 (Octobre 2022)
Edition 2 (Juillet 2022)
Edition 1 (Avril 2022)
Édition 29 (2021)
Edition 4 (Décembre 2021)
Edition 3 (Octobre 2021)
Edition 2 (Juillet 2021)
Edition 1 (Avril 2021)
Édition 28 (2020)
Edition 4 (Décembre 2020)
Edition 3 (Octobre 2020)
Edition 2 (Juillet 2020)
Edition 1 (Avril 2020)
Édition 27 (2019)
Edition 4 (Décembre 2019)
Edition 3 (Octobre 2019)
Edition 2 (Juillet 2019)
Edition 1 (Avril 2019)
Édition 26 (2018)
Edition 4 (Décembre 2018)
Edition 3 (Octobre 2018)
Edition 2 (Juillet 2018)
Edition 1 (Avril 2018)
Édition 25 (2017)
Edition 4 (Décembre 2017)
Edition 3 (Octobre 2017)
Edition 2 (Juillet 2017)
Edition 1 (Mars 2017)
Édition 24 (2016)
Edition 4 (Décembre 2016)
Edition 3 (Septembre 2016)
Edition 2 (Juin 2016)
Edition 1 (Mars 2016)
Édition 23 (2015)
Edition 4 (Décembre 2015)
Edition 3 (Septembre 2015)
Edition 2 (Juin 2015)
Edition 1 (Mars 2015)
Édition 22 (2014)
Edition 4 (Décembre 2014)
Edition 3 (Septembre 2014)
Edition 2 (Juin 2014)
Special Issue: 25 years of the Mizar Mathematical Library
Edition 1 (Mars 2014)
Édition 21 (2013)
Edition 4 (Décembre 2013)
Edition 3 (Octobre 2013)
Edition 2 (Juin 2013)
Edition 1 (Janvier 2013)
Édition 20 (2012)
Edition 4 (Décembre 2012)
Edition 3 (Septembre 2012)
Edition 2 (Juin 2012)
Edition 1 (Janvier 2012)
Édition 19 (2011)
Edition 4 (Décembre 2011)
Edition 3 (Septembre 2011)
Edition 2 (Juin 2011)
Edition 1 (Mars 2011)
Édition 18 (2010)
Edition 4 (Décembre 2010)
Edition 3 (Septembre 2010)
Edition 2 (Juin 2010)
Edition 1 (Mars 2010)
Édition 17 (2009)
Edition 4 (Décembre 2009)
Edition 3 (Septembre 2009)
Edition 2 (Juin 2009)
Edition 1 (Mars 2009)
Édition 16 (2008)
Edition 4 (Décembre 2008)
Edition 3 (Septembre 2008)
Edition 2 (Juin 2008)
Edition 1 (Mars 2008)
Édition 15 (2007)
Edition 4 (Décembre 2007)
Edition 3 (Septembre 2007)
Edition 2 (Juin 2007)
Edition 1 (Mars 2007)
Édition 14 (2006)
Edition 4 (Décembre 2006)
Edition 3 (Septembre 2006)
Edition 2 (Juin 2006)
Edition 1 (Mars 2006)
