Formal Proof of Transcendence of the Number e. Part I
Watase, Yasushige
Lagrange’s Four-Square Theorem
Watase, Yasushige
On Lp Space Formed by Real-Valued Partial Functions
Watase, Yasushige, Endou, Noboru, Shidama, Yasunari
On L1 Space Formed by Complex-Valued Partial Functions
Watase, Yasushige, Endou, Noboru, Shidama, Yasunari
Introduction to Diophantine Approximation
Watase, Yasushige
Derivation of Commutative Rings and the Leibniz Formula for Power of Derivation
Watase, Yasushige
Zariski Topology
Watase, Yasushige