Formalized Mathematics, 2010, Volume 18, Issue 1
: [13]
Strona glówna kolekcji
Zobacz statystyki
Spis treści/Content
- Liang, Xiquan / Zhao, Piqing / Bai, Ou
Vector Functions and their Differentiation Formulas in 3-dimensional Euclidean Spaces - Kanazashi, Katuhiko / Endou, Noboru / Shidama, Yasunari
Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support - Riccardi, Marco
Free Magmas - Li, Bo / Ma, Na
Integrability Formulas. Part I - Inoué, Takao / Xie, Bing / Liang, Xiquan
Partial Differentiation of Real Ternary Functions - Ishida, Kazuhisa / Shidama, Yasunari
Fixpoint Theorem for Continuous Functions on Chain-Complete Posets - Li, Dailu / Liang, Xiquan / Men, Yanhong
Nilpotent Groups - Liang, Xiquan / Tang, Ling
Difference and Difference Quotient. Part III - Bancerek, Grzegorz
A Model of Mizar Concepts - Unification - Jastrzębska, Magdalena
Representation of the Fibonacci and Lucas Numbers in Terms of Floor and Ceiling - Korniłowicz, Artur
The Correspondence Between n-dimensional Euclidean Space and the Product of n Real Lines - Pąk, Karol
Affine Independence in Vector Spaces - Pąk, Karol
Abstract Simplicial Complexes
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 13 z 13
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 13 z 13