We stand with Ukraine  

Yasushige Watase

According to our database1, Yasushige Watase authored at least 19 papers between 2008 and 2025.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
A Formal Proof of Stirling's Formula.
[BibTeX]
[DOI]
Yasushige Watase
Formaliz. Math., 2025

Formalization of Wallis Infinite Product Formula for <i>π</i> and the Wallis Integral.
[BibTeX]
[DOI]
Yasushige Watase
Formaliz. Math., 2025

2024
Formal Proof of Transcendence of the Number <i>e</i>. Part II.
[BibTeX]
[DOI]
Yasushige Watase
Formaliz. Math., 2024

Formal Proof of Transcendence of the Number <i>e</i>. Part I.
[BibTeX]
[DOI]
Yasushige Watase
Formaliz. Math., 2024

2023
Embedding Principle for Rings and Abelian Groups.
[BibTeX]
[DOI]
Yasushige Watase
Formaliz. Math., September, 2023

Introduction to Algebraic Geometry.
[BibTeX]
[DOI]
Yasushige Watase
Formaliz. Math., September, 2023

On Bag of 1. Part I.
[BibTeX]
[DOI]
Yasushige Watase
Formaliz. Math., September, 2023

2022
Ring of Endomorphisms and Modules over a Ring.
[BibTeX]
[DOI]
Yasushige Watase
Formaliz. Math., 2022

2021
On Primary Ideals. Part I.
[BibTeX]
[DOI]
Yasushige Watase
Formaliz. Math., 2021

Derivation of Commutative Rings and the Leibniz Formula for Power of Derivation.
[BibTeX]
[DOI]
Yasushige Watase
Formaliz. Math., 2021

2020
Rings of Fractions and Localization.
[BibTeX]
[DOI]
Yasushige Watase
Formaliz. Math., 2020

2018
Zariski Topology.
[BibTeX]
[DOI]
Yasushige Watase
Formaliz. Math., 2018

2017
Introduction to Diophantine Approximation. Part II.
[BibTeX]
[DOI]
Yasushige Watase
Formaliz. Math., 2017

2016
Algebraic Numbers.
[BibTeX]
[DOI]
Yasushige Watase
Formaliz. Math., 2016

2015
Introduction to Diophantine Approximation.
[BibTeX]
[DOI]
Yasushige Watase
Formaliz. Math., 2015

2014
Lagrange's Four-Square Theorem.
[BibTeX]
[DOI]
Yasushige Watase
Formaliz. Math., 2014

2012
On L1 Space Formed by Complex-Valued Partial Functions.
[BibTeX]
[DOI]
Yasushige Watase
,
Noboru Endou
,
Yasunari Shidama
Formaliz. Math., 2012

2010
On L^p Space Formed by Real-Valued Partial Functions.
[BibTeX]
[DOI]
Yasushige Watase
,
Noboru Endou
,
Yasunari Shidama
Formaliz. Math., 2010

2008
On L^1 Space Formed by Real-Valued Partial Functions.
[BibTeX]
[DOI]
Yasushige Watase
,
Noboru Endou
,
Yasunari Shidama
Formaliz. Math., 2008


  Loading...