Acceso abierto

Formal Proof of Transcendence of the Number e. Part II

Yasushige Watase

Yasushige Watase

Tokyo, Japan
Buscar este autor en
Sciendo|Google Scholar
Watase, Yasushige
  
30 dic 2024
Formal Proof of Transcendence of the Number e. Part II's Cover Image
Acerca de este artículo
Artículo anterior
Artículo siguiente
Cite
Descargar portada
Publicado en línea: 30 dic 2024
Páginas: 121 - 131
Aceptado: 17 nov 2024
DOI: https://doi.org/10.2478/forma-2024-0009
Palabras clave
© 2024 Yasushige Watase, published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Public License.

In this article we formalize the main part of Hurwitz’s proof of the transcendence of the number e in the Mizar language. The previous article prepared the necessary definitions and lemmas. Here we deal with main crucial steps of the proof.

Idioma:
Inglés
Calendario de la edición:
1 veces al año
Temas de la revista:
Matemáticas, Matemáticas generales, Informática, Informática, otros
RSS Feed de revista