Formalization of Wallis Infinite Product Formula for π and the Wallis Integral
Watase, Yasushige
A Formal Proof of Stirling’s Formula
Watase, Yasushige
On Primary Ideals. Part I
Watase, Yasushige
Ring of Endomorphisms and Modules over a Ring
Watase, Yasushige
Algebraic Numbers
Watase, Yasushige
On L1 Space Formed by Real-Valued Partial Functions
Watase, Yasushige, Endou, Noboru, Shidama, Yasunari
Introduction to Diophantine Approximation. Part II
Watase, Yasushige
Rings of Fractions and Localization
Watase, Yasushige
Introduction to Algebraic Geometry
Watase, Yasushige
Embedding Principle for Rings and Abelian Groups
Watase, Yasushige
On Bag of 1. Part I
Watase, Yasushige
Formal Proof of Transcendence of the Number e. Part II
Watase, Yasushige