Derivation of Commutative Rings and the Leibniz Formula for Power of Derivation
Watase, Yasushige
Formalization of Wallis Infinite Product Formula for π and the Wallis Integral
Watase, Yasushige
On Primary Ideals. Part I
Watase, Yasushige
A Formal Proof of Stirling’s Formula
Watase, Yasushige
On L1 Space Formed by Real-Valued Partial Functions
Watase, Yasushige, Endou, Noboru, Shidama, Yasunari
Ring of Endomorphisms and Modules over a Ring
Watase, Yasushige
Algebraic Numbers
Watase, Yasushige