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

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

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

Lagrange's Four-Square Theorem. - Yasushige Watase (Formaliz. Math., 2014)

Introduction to Diophantine Approximation. - Yasushige Watase (Formaliz. Math., 2015)

Algebraic Numbers. - Yasushige Watase (Formaliz. Math., 2016)

Introduction to Diophantine Approximation. Part II. - Yasushige Watase (Formaliz. Math., 2017)

Zariski Topology. - Yasushige Watase (Formaliz. Math., 2018)

Rings of Fractions and Localization. - Yasushige Watase (Formaliz. Math., 2020)

Derivation of Commutative Rings and the Leibniz Formula for Power of Derivation. - Yasushige Watase (Formaliz. Math., 2021)

On Primary Ideals. Part I. - Yasushige Watase (Formaliz. Math., 2021)

Ring of Endomorphisms and Modules over a Ring. - Yasushige Watase (Formaliz. Math., 2022)

On Bag of 1. Part I. - Yasushige Watase (Formaliz. Math., 2023)

Introduction to Algebraic Geometry. - Yasushige Watase (Formaliz. Math., 2023)

Embedding Principle for Rings and Abelian Groups. - Yasushige Watase (Formaliz. Math., 2023)

Formal Proof of Transcendence of the Number e. Part I. - Yasushige Watase (Formaliz. Math., 2024)

Formal Proof of Transcendence of the Number e. Part II. - Yasushige Watase (Formaliz. Math., 2024)