Journal: Formalized Mathematics

Volume 18, Issue 1-4

1 -- 10Xiquan Liang, Piqing Zhao, Ou Bai. Vector Functions and their Differentiation Formulas in 3-dimensional Euclidean Spaces
11 -- 16Katuhiko Kanazashi, Noboru Endou, Yasunari Shidama. Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support
17 -- 26Marco Riccardi. Free Magmas
27 -- 37Bo Li 0008, Na Ma. Integrability Formulas. Part I
39 -- 46Takao Inou'e, Bing Xie, Xiquan Liang. Partial Differentiation of Real Ternary Functions
47 -- 51Kazuhisa Ishida, Yasunari Shidama. Fixpoint Theorem for Continuous Functions on Chain-Complete Posets
53 -- 56Dailu Li, Xiquan Liang, Yanhong Men. Nilpotent Groups
57 -- 64Xiquan Liang, Ling Tang. Difference and Difference Quotient. Part III
65 -- 75Grzegorz Bancerek. A Model of Mizar Concepts - Unification
77 -- 80Magdalena Jastrzebska. Representation of the Fibonacci and Lucas Numbers in Terms of Floor and Ceiling
81 -- 85Artur Kornilowicz. The Correspondence Between n-dimensional Euclidean Space and the Product of n Real Lines
87 -- 93Karol Pak. Affine Independence in Vector Spaces
95 -- 106Karol Pak. Abstract Simplicial Complexes
107 -- 111Keiichi Miyajima, Takahiro Kato. The Sum and Product of Finite Sequences of Complex Numbers
113 -- 127Takao Inou'e. Second-Order Partial Differentiation of Real Ternary Functions
129 -- 141Bo Li 0008, Na Ma, Xiquan Liang. Integrability Formulas. Part II
143 -- 157Bo Li 0008, Na Ma. Integrability Formulas. Part III
159 -- 169Yasushige Watase, Noboru Endou, Yasunari Shidama. On L^p Space Formed by Real-Valued Partial Functions
171 -- 174Artur Kornilowicz. Miscellaneous Facts about Open Functions and Continuous Functions
175 -- 183Artur Kornilowicz. On the Continuity of Some Functions
185 -- 188Karol Pak. The Geometric Interior in Real Linear Spaces
189 -- 196Karol Pak. Sperner's Lemma
197 -- 200Cezary Kaliszyk. Counting Derangements, Non Bijective Functions and the Birthday Problem
201 -- 206Keiichi Miyajima, Takahiro Kato, Yasunari Shidama. Riemann Integral of Functions R into C
207 -- 212Takao Inou'e, Noboru Endou, Yasunari Shidama. Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
213 -- 217Hiroyuki Okazaki, Yasunari Shidama. Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables