Formalization of Wallis Infinite Product Formula for π and the Wallis Integral
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
Algebraic Numbers
Watase, Yasushige
Zariski Topology
Watase, Yasushige
Introduction to Diophantine Approximation
Watase, Yasushige
Embedding Principle for Rings and Abelian Groups
Watase, Yasushige
Introduction to Algebraic Geometry
Watase, Yasushige
Introduction to Diophantine Approximation. Part II
Watase, Yasushige
Rings of Fractions and Localization
Watase, Yasushige
Formal Proof of Transcendence of the Number e. Part I
Watase, Yasushige
On Bag of 1. Part I
Watase, Yasushige