Yasushige Watase

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A formal proof of Stirling's formula Formalized Mathematics	2026-03-23	Paper
Formalization of Wallis infinite product formula for \(\pi\) and the Wallis integral Formalized Mathematics	2026-03-23	Paper
Embedding principle for rings and abelian groups Formalized Mathematics	2024-06-18	Paper
Ring of endomorphisms and modules over a ring Formalized Mathematics	2024-04-22	Paper
Introduction to algebraic geometry Formalized Mathematics	2023-11-28	Paper
On bag of 1. I Formalized Mathematics	2023-11-28	Paper
On primary ideals. I Formalized Mathematics	2022-03-29	Paper
Derivation of commutative rings and the Leibniz formula for power of derivation Formalized Mathematics	2021-11-17	Paper
Rings of fractions and localization Formalized Mathematics	2021-03-24	Paper
Zariski topology Formalized Mathematics	2019-07-10	Paper
Introduction to Diophantine approximation. II Formalized Mathematics	2018-10-16	Paper
Algebraic numbers Formalized Mathematics	2017-04-03	Paper
Lagrange's four-square theorem Formalized Mathematics	2017-01-06	Paper
Introduction to Diophantine approximation Formalized Mathematics	2015-08-19	Paper
On \(L^1\) space formed by complex-valued partial functions Formalized Mathematics	2013-10-08	Paper

Research outcomes over time

This page was built for person: Yasushige Watase