![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Formalized Mathematics, Volume 16
Volume 16, Numbers 1-4, 2008
- Jesse Alama:
The Vector Space of Subsets of a Set Based on Symmetric Difference. 1-5 - Jesse Alama:
Euler's Polyhedron Formula. 7-17 - Hideki Sakurai, Hisayoshi Kunimune, Yasunari Shidama
:
Uniform Boundedness Principle. 19-21 - Li Yan, Xiquan Liang, Junjie Zhao:
Gauss Lemma and Law of Quadratic Reciprocity. 23-28 - Michal Trybulec:
Regular Expression Quantifiers - at least m Occurrences. 29-33 - Karol Pak
:
Complete Spaces. 35-43 - Bo Li, Yanping Zhuang, Xiquan Liang:
Difference and Difference Quotient. Part II. 45-49 - Keiko Narita, Noboru Endou
, Yasunari Shidama
:
The First Mean Value Theorem for Integrals. 51-55 - Noboru Endou
, Yasunari Shidama
, Keiko Narita:
Egoroff's Theorem. 57-63 - Tao Sun, Junjie Zhao, Xiquan Liang:
BCI-algebras with Condition (S) and their Properties. 65-71 - Katsumi Wasaki
:
Stability of n-Bit Generalized Full Adder Circuits (GFAs). Part II. 73-80 - Karol Pak
:
Solutions of Linear Equations. 81-90 - Jessica A. Enright
, Piotr Rudnicki:
Helly Property for Subtrees. 91-96 - Marco Riccardi:
Heron's Formula and Ptolemy's Theorem. 97-101 - Hiroyuki Okazaki, Yasunari Shidama
:
Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*. 103-107 - Chenglong Wu, Yuzhong Ding:
Ideals of BCI-algebras and their Properties. 109-114 - Yasunari Shidama
, Hikofumi Suzuki, Noboru Endou
:
Banach Algebra of Bounded Functionals. 115-122 - Hidenori Matsuzaki, Noboru Endou
, Yasunari Shidama
:
Convex Sets and Convex Combinations on Complex Linear Spaces. 123-133 - Fuguo Ge:
Inner Products, Group, Ring of Quaternion Numbers. 135-139 - Junjie Zhao, Xiquan Liang, Li Yan:
Several Higher Differentiation Formulas of Special Functions. 141-145 - Xiquan Liang, Bing Xie:
Inverse Trigonometric Functions Arctan and Arccot. 147-158 - Bing Xie, Xiquan Liang, Fuguo Ge:
Inverse Trigonometric Functions Arcsec and Arccosec. 159-165 - Noboru Endou
, Keiko Narita, Yasunari Shidama
:
The Lebesgue Monotone Convergence Theorem. 167-175 - Grzegorz Bancerek:
Mizar Analysis of Algorithms: Algorithms over Integers. 177-194 - Yatsuka Nakamura, Kunio Oniumi, Wenpai Chang:
Invertibility of Matrices of Field Elements. 195-202 - Marco Riccardi:
Ramsey's Theorem. 203-205 - Grzegorz Bancerek:
Towards the Construction of a Model of Mizar Concepts. 207-230 - Kazuhisa Ishida:
Model Checking. Part II. 231-245 - Christoph Schwarzweller
:
Modular Integer Arithmetic. 247-252 - Tao Sun, Weibo Pan, Chenglong Wu, Xiquan Liang:
General Theory of Quasi-Commutative BCI-algebras. 253-258 - Karol Pak
:
Block Diagonal Matrices. 259-267 - Karol Pak
:
Linear Map of Matrices. 269-275 - Elzbieta Madra, Adam Grabowski:
Orthomodular Lattices. 277-282 - Yatsuka Nakamura, Hisashi Ito:
Basic Properties and Concept of Selected Subsequence of Zero Based Finite Sequences. 283-288 - Karol Pak
:
Eigenvalues of a Linear Transformation. 289-295 - Karol Pak
:
Jordan Matrix Decomposition. 297-303 - Noboru Endou
, Keiko Narita, Yasunari Shidama
:
Fatou's Lemma and the Lebesgue's Convergence Theorem. 305-309 - Masahiko Yamazaki, Hiroshi Yamazaki, Yasunari Shidama
:
Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform. 311-317 - Keiko Narita, Noboru Endou
, Yasunari Shidama
:
Integral of Complex-Valued Measurable Function. 319-324 - Grzegorz Bancerek, Yasunari Shidama
:
Introduction to Matroids. 325-332 - Bing Xie, Xiquan Liang, Hongwei Li:
Partial Differentiation of Real Binary Functions. 333-338 - Kazuhisa Ishida, Yasunari Shidama
:
Model Checking. Part III. 339-353 - Xiaopeng Yue, Xiquan Liang:
Basic Properties of Circulant Matrices and Anti-Circular Matrices. 355-360 - Yasushige Watase, Noboru Endou
, Yasunari Shidama
:
On L^1 Space Formed by Real-Valued Partial Functions. 361-369 - Yuzhong Ding, Fuguo Ge, Chenglong Wu:
BCI-homomorphisms. 371-376 - Katsumi Wasaki
:
Stability of the 4-2 Binary Addition Circuit Cells. Part I. 377-387 - Fuguo Ge, Bing Xie:
Several Differentiation Formulas of Special Functions. Part VII. 389-399 - Hideki Sakurai, Hisayoshi Kunimune, Yasunari Shidama
:
Open Mapping Theorem. 401-403
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.