Otwarty dostęp

Formal Proof of Transcendence of the Number e. Part II

Yasushige Watase

Yasushige Watase

Tokyo, Japan
Wyszukaj tego autora
Sciendo|Google Scholar
Watase, Yasushige
  
30 gru 2024
Formal Proof of Transcendence of the Number e. Part II's Cover Image
O artykule
Poprzedni artykuł
Następny artykuł
Zacytuj
Pobierz okładkę
Data publikacji: 30 gru 2024
Zakres stron: 121 - 131
Przyjęty: 17 lis 2024
DOI: https://doi.org/10.2478/forma-2024-0009
Słowa kluczowe
© 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.

Język:
Angielski
Częstotliwość wydawania:
1 razy w roku
Dziedziny czasopisma:
Matematyka, Matematyka ogólna, Informatyka, Informatyka, inne
Kanał RSS czasopisma