Yasushige Watase

19 papers Journal 19
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Formal Proof of Stirling's Formula.
Formaliz. Math.
Yasushige Watase
2025 J jnl
Formalization of Wallis Infinite Product Formula for
Formaliz. Math.
Yasushige Watase
2024 J jnl
Formal Proof of Transcendence of the Number
Formaliz. Math.
Yasushige Watase
2024 J jnl
Formal Proof of Transcendence of the Number
Formaliz. Math.
Yasushige Watase
2023 J jnl
Embedding Principle for Rings and Abelian Groups.
Formaliz. Math.
Yasushige Watase
2023 J jnl
Introduction to Algebraic Geometry.
Formaliz. Math.
Yasushige Watase
2023 J jnl
On Bag of 1. Part I.
Formaliz. Math.
Yasushige Watase
2022 J jnl
Ring of Endomorphisms and Modules over a Ring.
Formaliz. Math.
Yasushige Watase
2021 J jnl
Derivation of Commutative Rings and the Leibniz Formula for Power of Derivation.
Formaliz. Math.
Yasushige Watase
2021 J jnl
On Primary Ideals. Part I.
Formaliz. Math.
Yasushige Watase
2020 J jnl
Rings of Fractions and Localization.
Formaliz. Math.
Yasushige Watase
2018 J jnl
Zariski Topology.
Formaliz. Math.
Yasushige Watase
2017 J jnl
Introduction to Diophantine Approximation. Part II.
Formaliz. Math.
Yasushige Watase
2016 J jnl
Algebraic Numbers.
Formaliz. Math.
Yasushige Watase
2015 J jnl
Introduction to Diophantine Approximation.
Formaliz. Math.
Yasushige Watase
2014 J jnl
Lagrange's Four-Square Theorem.
Formaliz. Math.
Yasushige Watase
2012 J jnl
On L1 Space Formed by Complex-Valued Partial Functions.
Formaliz. Math.
Yasushige Watase, Noboru Endou, Yasunari Shidama
2010 J jnl
On L^p Space Formed by Real-Valued Partial Functions.
Formaliz. Math.
Yasushige Watase, Noboru Endou, Yasunari Shidama
2008 J jnl
On L^1 Space Formed by Real-Valued Partial Functions.
Formaliz. Math.
Yasushige Watase, Noboru Endou, Yasunari Shidama