Keiko Narita

21 papers Journal 21
YearRankTypeTitle / Venue / Authors
2017 J jnl
F. Riesz Theorem.
Formaliz. Math.
Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama
2016 J jnl
Compactness in Metric Spaces.
Formaliz. Math.
Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama
2016 J jnl
Riemann-Stieltjes Integral.
Formaliz. Math.
Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama
2016 J jnl
The Basic Existence Theorem of Riemann-Stieltjes Integral.
Formaliz. Math.
Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama
2015 J jnl
The Orthogonal Projection and the Riesz Representation Theorem.
Formaliz. Math.
Keiko Narita, Noboru Endou, Yasunari Shidama
2015 J jnl
Weak Convergence and Weak Convergence.
Formaliz. Math.
Keiko Narita, Yasunari Shidama, Noboru Endou
2014 J jnl
Bidual Spaces and Reflexivity of Real Normed Spaces.
Formaliz. Math.
Keiko Narita, Noboru Endou, Yasunari Shidama
2014 J jnl
Dual Spaces and Hahn-Banach Theorem.
Formaliz. Math.
Keiko Narita, Noboru Endou, Yasunari Shidama
2013 J jnl
Differential Equations on Functions from R into Real Banach Space.
Formaliz. Math.
Keiko Narita, Noboru Endou, Yasunari Shidama
2013 J jnl
Riemann Integral of Functions from ℝ into Real Banach Space.
Formaliz. Math.
Keiko Narita, Noboru Endou, Yasunari Shidama
2013 J jnl
The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space.
Formaliz. Math.
Keiko Narita, Noboru Endou, Yasunari Shidama
2012 J jnl
The Differentiable Functions from R into
Formaliz. Math.
Keiko Narita, Artur Kornilowicz, Yasunari Shidama
2011 J jnl
Differentiable Functions into Real Normed Spaces.
Formaliz. Math.
Hiroyuki Okazaki, Noboru Endou, Keiko Narita, Yasunari Shidama
2011 J jnl
More on the Continuity of Real Functions.
Formaliz. Math.
Keiko Narita, Artur Kornilowicz, Yasunari Shidama
2009 J jnl
Lebesgue's Convergence Theorem of Complex-Valued Function.
Formaliz. Math.
Keiko Narita, Noboru Endou, Yasunari Shidama
2009 J jnl
The Measurability of Complex-Valued Functional Sequences.
Formaliz. Math.
Keiko Narita, Noboru Endou, Yasunari Shidama
2008 J jnl
Egoroff's Theorem.
Formaliz. Math.
Noboru Endou, Yasunari Shidama, Keiko Narita
2008 J jnl
Fatou's Lemma and the Lebesgue's Convergence Theorem.
Formaliz. Math.
Noboru Endou, Keiko Narita, Yasunari Shidama
2008 J jnl
Integral of Complex-Valued Measurable Function.
Formaliz. Math.
Keiko Narita, Noboru Endou, Yasunari Shidama
2008 J jnl
The First Mean Value Theorem for Integrals.
Formaliz. Math.
Keiko Narita, Noboru Endou, Yasunari Shidama
2008 J jnl
The Lebesgue Monotone Convergence Theorem.
Formaliz. Math.
Noboru Endou, Keiko Narita, Yasunari Shidama