default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormalized Mathematics, Volume 19
Volume 19, Number 1, 2011
- Takao Inoué
, Adam Naumowicz, Noboru Endou, Yasunari Shidama:
Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces. 1-9 - Xiquan Liang, Dailu Li:
Some Properties of p-Groups and Commutative p-Groups. 11-15 - Keiichi Miyajima, Takahiro Kato, Yasunari Shidama:
Riemann Integral of Functions from R into Real Normed Space. 17-22 - Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama:
Normal Subgroup of Product of Groups. 23-26 - Piotr Rudnicki, Lorna Stewart:
The Mycielskian of a Graph. 27-34 - Xiquan Liang, Ling Tang, Xichun Jiang:
Difference and Difference Quotient. Part IV. 35-39 - Marco Riccardi:
The Definition of Topological Manifolds. 41-44 - Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama:
More on Continuous Functions on Normed Linear Spaces. 45-49 - Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama:
Cartesian Products of Family of Real Linear Spaces. 51-59 - Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama:
Formalization of Integral Linear Space. 61-64
Volume 19, Number 2, 2011
- Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama:
Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces. 65-68 - Hiroyuki Okazaki, Noboru Endou, Keiko Narita, Yasunari Shidama:
Differentiable Functions into Real Normed Spaces. 69-72 - Robin Nittka:
Conway's Games and Some of their Basic Properties. 73-81 - Grzegorz Bancerek:
Veblen Hierarchy. 83-92 - Grzegorz Bancerek:
Sorting by Exchanging. 93-102 - Karol Pak:
Linear Transformations of Euclidean Topological Spaces. 103-108 - Karol Pak:
Linear Transformations of Euclidean Topological Spaces. Part II. 109-112 - Mariusz Giero:
The Axiomatization of Propositional Linear Time Temporal Logic. 113-119 - Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama:
Banach Algebra of Bounded Complex-Valued Functionals. 121-126
Volume 19, Number 3, 2011
- Artur Kornilowicz:
Mazur-Ulam Theorem. 127-130 - Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama:
Set of Points on Elliptic Curve in Projective Coordinates. 131-138 - Karol Pak:
Continuity of Barycentric Coordinates in Euclidean Topological Spaces. 139-144 - Karol Pak:
Brouwer Fixed Point Theorem for Simplexes. 145-150 - Karol Pak:
Brouwer Fixed Point Theorem in the General Case. 151-153 - Marco B. Caminati:
Preliminaries to Classical First Order Model Theory. 155-167 - Marco B. Caminati:
Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms. 169-178 - Marco B. Caminati:
First Order Languages: Further Syntax and Semantics. 179-192 - Marco B. Caminati:
Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages. 193-203 - Marco B. Caminati:
Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem. 205-222
Volume 19, Number 4, 2011
- Artur Kornilowicz:
Cayley's Theorem. 223-225 - Peter Jaeger:
Borel-Cantelli Lemma. 227-232 - Keiko Narita, Artur Kornilowicz, Yasunari Shidama:
More on the Continuity of Real Functions. 233-239 - Grzegorz Bancerek:
Representation Theorem for Stacks. 241-250
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.
last updated on 2025-02-26 20:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
