Lagrange’s Four-Square Theorem
Watase, Yasushige
Zariski Topology
Watase, Yasushige
Rings of Fractions and Localization
Watase, Yasushige
On Bag of 1. Part I
Watase, Yasushige
Introduction to Diophantine Approximation. Part II
Watase, Yasushige
Embedding Principle for Rings and Abelian Groups
Watase, Yasushige
Formal Proof of Transcendence of the Number e. Part I
Watase, Yasushige
Introduction to Algebraic Geometry
Watase, Yasushige
Formal Proof of Transcendence of the Number e. Part II
Watase, Yasushige
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