Noboru Endou

发表

Cartesian Products of Family of Real Linear Spaces

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

Separability of Real Normed Spaces and Its Basic Properties

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

A Study of Dynamic Bandwidth Allocation for Packet Switch

Noboru Endou, Hidehiro Toyoda, Keiko Ookubo, 2001 .

Dual Spaces and Hahn-Banach Theorem

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

The Orthogonal Projection and the Riesz Representation Theorem

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

Double Sequences and Limits

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

The Lebesgue Monotone Convergence Theorem

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

σ-ring and σ-algebra of Sets1

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

Isometric Differentiable Functions on Real Normed Space

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

Banach Algebra of Bounded Functionals

Yasunari Shidama, Noboru Endou, Hikofumi Suzuki, 2008, Formaliz. Math..

Riemann Integral of Functions from ℝ into Real Banach Space

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

Weak Convergence and Weak Convergence

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

On L1 Space Formed by Complex-Valued Partial Functions

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

Double Series and Sums

Noboru Endou, 2014, Formaliz. Math..

The First Mean Value Theorem for Integrals

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

Higher-Order Partial Differentiation

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

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..

Differentiable Functions into Real Normed Spaces

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

Differential Equations on Functions from R into Real Banach Space

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

Hopf Extension Theorem of Measure

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

Fubini’s Theorem on Measure

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

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

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

Integral of Non Positive Functions

Noboru Endou, 2017, Formaliz. Math..

More on Continuous Functions on Normed Linear Spaces

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

On Lp Space Formed by Real-Valued Partial Functions

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

Product Pre-Measure

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

Fubini’s Theorem for Non-Negative or Non-Positive Functions

Noboru Endou, 2018, Formaliz. Math..

Egoroff's Theorem

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

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

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

The Measurability of Complex-Valued Functional Sequences

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

The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space

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

Construction of Measure from Semialgebra of Sets1

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

Differentiation in Normed Spaces

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

Bidual Spaces and Reflexivity of Real Normed Spaces

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

Convex Sets and Convex Combinations on Complex Linear Spaces

Yasunari Shidama, Hidenori Matsuzaki, Noboru Endou, 2008, Formaliz. Math..

On L1 Space Formed by Real-Valued Partial Functions

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

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

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

Extended Real-Valued Double Sequence and Its Convergence

Noboru Endou, 2015, Formaliz. Math..

Fubini’s Theorem

Noboru Endou, 2019, Formaliz. Math..

Lebesgue's Convergence Theorem of Complex-Valued Function

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

Integral of Complex-Valued Measurable Function

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

Continuity of Nakamori fuzzy model and its application to optimal feedback control

Yasunari Shidama, Takashi Mitsuishi, Noboru Endou, 2005, SMC.

Fatou's Lemma and the Lebesgue's Convergence Theorem

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

Complex Linear Space of Complex Sequences

Noboru Endou, N. Endou, 2007 .

Egoro's Theorem

Yasunari Shidama, Noboru Endou, Keiko Narita, 2008 .

Inferior Limit, Superior Limit and Convergence of Sequences of Extended Real Numbers

Yasunari Shidama, Hiroyuki Okazaki, Noboru Endou, 2007 .

Partial Differentiation on Normed Linear Spaces Rn

Yasunari Shidama, Noboru Endou, Keiichi Miyajima, 2007 .

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

Noboru Endou, N. Endou, 1994 .

Continuous Functions on Real and Complex Normed Linear Spaces

Noboru Endou, N. Endou, 2004 .

Completeness of the Real Euclidean Space

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

Definitions and Basic Properties of Measurable Functions

Noboru Endou, 2004 .

Banach Algebra of Bounded Complex Linear Operators

Noboru Endou, 2004 .

Integral of Measurable Function1

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

The Definition of the Riemann Definite Integral and some Related Lemmas

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

Partial Differentiation on Normed Linear Spaces

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

Complex Valued Functions Space

Noboru Endou, N. Endou, 2004 .

Lim-inf Convergence and its Compactness

Yasunari Shidama, Noboru Endou, Grzegorz Bancerek, 2002 .

Complex Linear Space and Complex Normed Space Noboru Endou Gifu

Noboru Endou, 2007 .

Complex Banach Space of Bounded Linear Operators

Noboru Endou, N. Endou, 2007 .

The Product Space of Real Normed Spaces and its Properties

Yasunari Shidama, Noboru Endou, Keiichi Miyajima, 2007 .

The Measurability of Extended Real Valued Functions

Noboru Endou, 2000 .

Riemann Indefinite Integral of Functions of Real Variable

Katsumi Wasaki, Yasunari Shidama, Noboru Endou, 2007 .

Hilbert Space of Real Sequences

Yasunari Shidama, Noboru Endou, Yasumasa Suzuki, 2022 .

Several Differentiation Formulas of Special Functions

Xiquan Liang, Noboru Endou, Peng Wang, 2008 .

Integral of Real-Valued Measurable Function1

Yasunari Shidama, Noboru Endou, 2006 .