Formalization of Wallis Infinite Product Formula for π and the Wallis Integral
Watase, Yasushige
On Primary Ideals. Part I
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
Formal Proof of Transcendence of the Number e. Part I
Watase, Yasushige
Lagrange’s Four-Square Theorem
Watase, Yasushige