A set of time dependent fuzzy membership functions and its compactness. - Noboru Endou; Katsumi Wasaki; Keiji Ohkubo; Pauline N. Kawamoto; Yasunari Shidama (ACC, 2000)

Continuity of Nakamori fuzzy model and its application to optimal feedback control. - Takashi Mitsuishi; Noboru Endou; Yasunari Shidama (SMC, 2005)

The Lebesgue Monotone Convergence Theorem. - Noboru Endou; Keiko Narita; Yasunari Shidama (Formaliz. Math., 2008)

Fatou's Lemma and the Lebesgue's Convergence Theorem. - Noboru Endou; Keiko Narita; Yasunari Shidama (Formaliz. Math., 2008)

Egoroff's Theorem. - Noboru Endou; Yasunari Shidama; Keiko Narita (Formaliz. Math., 2008)

Convex Sets and Convex Combinations on Complex Linear Spaces. - Hidenori Matsuzaki; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2008)

The First Mean Value Theorem for Integrals. - Keiko Narita; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2008)

Integral of Complex-Valued Measurable Function. - Keiko Narita; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2008)

Banach Algebra of Bounded Functionals. - Yasunari Shidama; Hikofumi Suzuki; Noboru Endou (Formaliz. Math., 2008)

On L^1 Space Formed by Real-Valued Partial Functions. - Yasushige Watase; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2008)

Hopf Extension Theorem of Measure. - Noboru Endou; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2009)

The Measurability of Complex-Valued Functional Sequences. - Keiko Narita; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2009)

Lebesgue's Convergence Theorem of Complex-Valued Function. - Keiko Narita; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2009)

Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces. - Takao Inou'e; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2010)

Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support. - Katuhiko Kanazashi; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2010)

On L^p Space Formed by Real-Valued Partial Functions. - Yasushige Watase; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2010)

Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces. - Takao Inoué; Adam Naumowicz; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2011)

Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces. - Takao Inoué; Adam Naumowicz; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2011)

Differentiable Functions into Real Normed Spaces. - Hiroyuki Okazaki; Noboru Endou; Keiko Narita; Yasunari Shidama (Formaliz. Math., 2011)

More on Continuous Functions on Normed Linear Spaces. - Hiroyuki Okazaki; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2011)

Cartesian Products of Family of Real Linear Spaces. - Hiroyuki Okazaki; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2011)

Higher-Order Partial Differentiation. - Noboru Endou; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2012)

On L1 Space Formed by Complex-Valued Partial Functions. - Yasushige Watase; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2012)

Double Sequences and Limits. - Noboru Endou; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2013)

Differentiation in Normed Spaces. - Noboru Endou; Yasunari Shidama (Formaliz. Math., 2013)

Isometric Differentiable Functions on Real Normed Space. - Yuichi Futa; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2013)

Riemann Integral of Functions from ℝ into Real Banach Space. - Keiko Narita; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2013)

The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space. - Keiko Narita; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2013)

Differential Equations on Functions from R into Real Banach Space. - Keiko Narita; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2013)

Double Series and Sums. - Noboru Endou (Formaliz. Math., 2014)

Dual Spaces and Hahn-Banach Theorem. - Keiko Narita; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2014)

Bidual Spaces and Reflexivity of Real Normed Spaces. - Keiko Narita; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2014)

Extended Real-Valued Double Sequence and Its Convergence. - Noboru Endou (Formaliz. Math., 2015)

Construction of Measure from Semialgebra of Sets1. - Noboru Endou (Formaliz. Math., 2015)

σ-ring and σ-algebra of Sets1. - Noboru Endou; Kazuhisa Nakasho; Yasunari Shidama (Formaliz. Math., 2015)

Separability of Real Normed Spaces and Its Basic Properties. - Kazuhisa Nakasho; Noboru Endou (Formaliz. Math., 2015)

The Orthogonal Projection and the Riesz Representation Theorem. - Keiko Narita; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2015)

Weak Convergence and Weak Convergence. - Keiko Narita; Yasunari Shidama; Noboru Endou (Formaliz. Math., 2015)

Product Pre-Measure. - Noboru Endou (Formaliz. Math., 2016)

Fubini's Theorem on Measure. - Noboru Endou (Formaliz. Math., 2017)

Integral of Non Positive Functions. - Noboru Endou (Formaliz. Math., 2017)

Fubini's Theorem for Non-Negative or Non-Positive Functions. - Noboru Endou (Formaliz. Math., 2018)

Fubini's Theorem. - Noboru Endou (Formaliz. Math., 2019)

Reconstruction of the One-Dimensional Lebesgue Measure. - Noboru Endou (Formaliz. Math., 2020)

Relationship between the Riemann and Lebesgue Integrals. - Noboru Endou (Formaliz. Math., 2021)

Improper Integral. Part I. - Noboru Endou (Formaliz. Math., 2021)

Improper Integral. Part II. - Noboru Endou (Formaliz. Math., 2021)

Absolutely Integrable Functions. - Noboru Endou (Formaliz. Math., 2022)

Differentiation on Interval. - Noboru Endou (Formaliz. Math., 2023)

Antiderivatives and Integration. - Noboru Endou (Formaliz. Math., 2023)

Multidimensional Measure Space and Integration. - Noboru Endou; Yasunari Shidama (Formaliz. Math., 2023)

Integral of Continuous Functions of Two Variables. - Noboru Endou; Yasunari Shidama (Formaliz. Math., 2023)

Integral of Continuous Three Variable Functions. - Noboru Endou; Yasunari Shidama (Formaliz. Math., 2024)

Universality of Measure Space. - Noboru Endou; Yasunari Shidama (Formaliz. Math., 2024)