Yasushige Watase

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 8

Top Topics

Single Instance

Precise Localization

Mathematical Theory

Top Venues

Formaliz. Math.

Publications

Yasushige Watase
On Bag of 1. Part I. Formaliz. Math. 31 (1) (2023)
Yasushige Watase
Ring of Endomorphisms and Modules over a Ring. Formaliz. Math. 30 (3) (2022)
Yasushige Watase
On Primary Ideals. Part I. Formaliz. Math. 29 (2) (2021)
Yasushige Watase
Derivation of Commutative Rings and the Leibniz Formula for Power of Derivation. Formaliz. Math. 29 (1) (2021)
Yasushige Watase
Rings of Fractions and Localization. Formaliz. Math. 28 (1) (2020)
Yasushige Watase
Zariski Topology. Formaliz. Math. 26 (4) (2018)
Yasushige Watase
Introduction to Diophantine Approximation. Part II. Formaliz. Math. 25 (4) (2017)
Yasushige Watase
Algebraic Numbers. Formaliz. Math. 24 (4) (2016)
Yasushige Watase
Introduction to Diophantine Approximation. Formaliz. Math. 23 (2) (2015)
Yasushige Watase
Lagrange's Four-Square Theorem. Formaliz. Math. 22 (2) (2014)
Yasushige Watase, Noboru Endou, Yasunari Shidama
On L1 Space Formed by Complex-Valued Partial Functions. Formaliz. Math. 20 (4) (2012)
Yasushige Watase, Noboru Endou, Yasunari Shidama
On L^p Space Formed by Real-Valued Partial Functions. Formaliz. Math. 18 (1-4) (2010)
Yasushige Watase, Noboru Endou, Yasunari Shidama
On L^1 Space Formed by Real-Valued Partial Functions. Formaliz. Math. 16 (1-4) (2008)