N. Endou

发表

Separability of Real Normed Spaces and Its Basic Properties

Kazuhisa Nakasho, Noboru Endou, Kazuhisa Nakasho, 2015, Formaliz. Math..

Baire's Category Theorem and Some Spaces Generated from Real Normed Space1

Y. Shidama, N. Endou, Katsumasa Okamura, 2006 .

Issue : 25 years of the Mizar Mathematical Library

W. W. Armstrong, Czeslaw Bylinski, Fairouz Kamareddine, 2014 .

Isometric Differentiable Functions on Real Normed Space 1 Yuichi Futa

Y. Shidama, N. Endou, Yuichi Futa, 2014 .

Weak Convergence and Weak * Convergence 1 Keiko Narita Hirosaki-city Aomori , Japan

N. Endou, 2015 .

Integrability of Bounded Total Functions Noboru Endou Shinshu University

N. Endou, 1994 .

Complex Linear Space of Complex Sequences

Noboru Endou, N. Endou, 2007 .

Complex Banach Space of Bounded Linear Operators

Noboru Endou, N. Endou, 2007 .

On the Formalization of Linear Operators

Y. Shidama, N. Endou, 2007 .

Real Linear Space of Real Sequences Noboru Endou Gifu

Y. Shidama, Yasumasa Suzuki, N. Endou, 2004 .

Differential Equations on Functions from R into Real Banach Space

Yasunari Shidama, Noboru Endou, Keiko Narita, 2013, Formaliz. Math..

Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces

Yasunari Shidama, Noboru Endou, Takao Inoué, 2010, Formaliz. Math..

Product Pre-Measure

Noboru Endou, N. Endou, 2016, Formaliz. Math..

Weak Convergence and Weak Convergence

Yasunari Shidama, Noboru Endou, Keiko Narita, 2015, Formaliz. Math..

The Orthogonal Projection and the Riesz Representation Theorem

Yasunari Shidama, Noboru Endou, Keiko Narita, 2015, Formaliz. Math..

Dual Spaces and Hahn-Banach Theorem

Yasunari Shidama, Noboru Endou, Keiko Narita, 2014, Formaliz. Math..

Isometric Differentiable Functions on Real Normed Space

Yuichi Futa, Yasunari Shidama, Noboru Endou, 2013, Formaliz. Math..

Double Sequences and Limits

Yasunari Shidama, Hiroyuki Okazaki, Noboru Endou, 2013, Formaliz. Math..

On L1 Space Formed by Complex-Valued Partial Functions

Yasunari Shidama, Yasushige Watase, Noboru Endou, 2012, Formaliz. Math..

Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces

Adam Naumowicz, Yasunari Shidama, Noboru Endou, 2011, Formaliz. Math..

Dual Spaces and Hahn-Banach Theorem1

Y. Shidama, N. Endou, Keiko Narita, 2014 .

Isometric Differentiable Functions on Real Normed Space1

Y. Shidama, N. Endou, Yuichi Futa, 2014 .

Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support

Yasunari Shidama, Noboru Endou, Katuhiko Kanazashi, 2010, Formaliz. Math..

Banach Algebra of Continuous Functionals

Y. Shidama, N. Endou, Kanazashi Katuhiko, 2010 .

On Lp Space Formed by Real-Valued Partial Functions

Yasunari Shidama, Yasushige Watase, Noboru Endou, 2010, Formaliz. Math..

Hopf Extension Theorem of Measure

Yasunari Shidama, Hiroyuki Okazaki, Noboru Endou, 2009, Formaliz. Math..

Several Differentiation Formulas of Special Functions

Xiquan Liang, Noboru Endou, Peng Wang, 2008 .

On L1 Space Formed by Real-Valued Partial Functions

Yasunari Shidama, Yasushige Watase, Noboru Endou, 2008, Formaliz. Math..

Complex Banach Space of Bounded Complex Sequences

N. Endou, 2007 .

Integral of Measurable Function1

Yasunari Shidama, Noboru Endou, Y. Shidama, 2006 .

Uniform Continuity of Functions on Normed Complex Linear Spaces

N. Endou, 2005 .

Lebesgue Integral of Simple Valued Function 1

Y. Shidama, N. Endou, 2005 .

Complex Valued Functions Space

Noboru Endou, N. Endou, 2004 .

The Definition of the Riemann Definite Integral and some Related Lemmas

Noboru Endou, Artur Korni, N. Endou, 2002 .

The De nition of the Riemann De niteIntegral and some Related

N. Endou, Artur Korni, 1999 .

Cartesian Products of Family of Real Linear Spaces

Yasunari Shidama, Hiroyuki Okazaki, Noboru Endou, 2011, Formaliz. Math..

The Product Space of Real Normed Spaces and its Properties

Yasunari Shidama, Noboru Endou, Keiichi Miyajima, 2007 .

Higher-Order Partial Differentiation

Yasunari Shidama, Hiroyuki Okazaki, Noboru Endou, 2012, Formaliz. Math..

Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces

Adam Naumowicz, Yasunari Shidama, Noboru Endou, 2011, Formaliz. Math..

Partial Differentiation on Normed Linear Spaces

Noboru Endou, Keiichi Miyajima, N. Endou, 2008 .

Partial Differentiation on Normed Linear Spaces Rn

Yasunari Shidama, Noboru Endou, Keiichi Miyajima, 2007 .

Partial Dieren tiation on Normed Linear SpacesR n

Y. Shidama, N. Endou, K. Miyajima, 2007 .

Algebra of Complex Vector Valued Functions

N. Endou, 2004 .

Continuous Functions on Real and Complex Normed Linear Spaces

Noboru Endou, N. Endou, 2004 .

Fubini’s Theorem on Measure

Noboru Endou, N. Endou, 2017, Formaliz. Math..

Construction of Measure from Semialgebra of Sets1

Noboru Endou, N. Endou, 2015, Formaliz. Math..

Hilbert Space of Real Sequences

Yasunari Shidama, Noboru Endou, Yasumasa Suzuki, 2022 .

Completeness of the Real Euclidean Space

Yasunari Shidama, Noboru Endou, Y. Shidama, 2005 .

Some Properties for Convex Combinations

N. Endou, 2004 .

Real Linear Space of Real Sequences Noboru Endou Gifu

Y. Shidama, N. Endou, Yasumasa Suzuki, 2004 .

Differentiable Functions into Real Normed Spaces

Yasunari Shidama, Hiroyuki Okazaki, Noboru Endou, 2011, Formaliz. Math..

More on Continuous Functions on Normed Linear Spaces

Yasunari Shidama, Hiroyuki Okazaki, Noboru Endou, 2011, Formaliz. Math..

Definition of Integrability for Partial Functions from R to R and Integrability for Continuous Functions

Noboru Endou, N. Endou, 1994 .