Keiko Narita

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 6

Top Topics

Krawtchouk Moments

Fixed Point Theorem

Orthogonal Projection

Top Venues

Formaliz. Math.

Publications

Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama
F. Riesz Theorem. Formaliz. Math. 25 (3) (2017)
Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama
The Basic Existence Theorem of Riemann-Stieltjes Integral. Formaliz. Math. 24 (4) (2016)
Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama
Riemann-Stieltjes Integral. Formaliz. Math. 24 (3) (2016)
Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama
Compactness in Metric Spaces. Formaliz. Math. 24 (3) (2016)
Keiko Narita, Yasunari Shidama, Noboru Endou
Weak Convergence and Weak Convergence. Formaliz. Math. 23 (3) (2015)
Keiko Narita, Noboru Endou, Yasunari Shidama
The Orthogonal Projection and the Riesz Representation Theorem. Formaliz. Math. 23 (3) (2015)
Keiko Narita, Noboru Endou, Yasunari Shidama
Dual Spaces and Hahn-Banach Theorem. Formaliz. Math. 22 (1) (2014)
Keiko Narita, Noboru Endou, Yasunari Shidama
Bidual Spaces and Reflexivity of Real Normed Spaces. Formaliz. Math. 22 (4) (2014)
Keiko Narita, Noboru Endou, Yasunari Shidama
Riemann Integral of Functions from ℝ into Real Banach Space. Formaliz. Math. 21 (2) (2013)
Keiko Narita, Noboru Endou, Yasunari Shidama
The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space. Formaliz. Math. 21 (3) (2013)
Keiko Narita, Noboru Endou, Yasunari Shidama
Differential Equations on Functions from R into Real Banach Space. Formaliz. Math. 21 (4) (2013)
Keiko Narita, Artur Kornilowicz, Yasunari Shidama
. Formaliz. Math. 20 (1) (2012)
Keiko Narita, Artur Kornilowicz, Yasunari Shidama
More on the Continuity of Real Functions. Formaliz. Math. 19 (4) (2011)
Hiroyuki Okazaki, Noboru Endou, Keiko Narita, Yasunari Shidama
Differentiable Functions into Real Normed Spaces. Formaliz. Math. 19 (2) (2011)
Keiko Narita, Noboru Endou, Yasunari Shidama
The Measurability of Complex-Valued Functional Sequences. Formaliz. Math. 17 (1-4) (2009)
Keiko Narita, Noboru Endou, Yasunari Shidama
Lebesgue's Convergence Theorem of Complex-Valued Function. Formaliz. Math. 17 (1-4) (2009)
Noboru Endou, Keiko Narita, Yasunari Shidama
Fatou's Lemma and the Lebesgue's Convergence Theorem. Formaliz. Math. 16 (1-4) (2008)
Keiko Narita, Noboru Endou, Yasunari Shidama
Integral of Complex-Valued Measurable Function. Formaliz. Math. 16 (1-4) (2008)
Noboru Endou, Keiko Narita, Yasunari Shidama
The Lebesgue Monotone Convergence Theorem. Formaliz. Math. 16 (1-4) (2008)
Noboru Endou, Yasunari Shidama, Keiko Narita
Egoroff's Theorem. Formaliz. Math. 16 (1-4) (2008)
Keiko Narita, Noboru Endou, Yasunari Shidama
The First Mean Value Theorem for Integrals. Formaliz. Math. 16 (1-4) (2008)