José A. Alonso on Nostr: Formal proof of transcendence of the number e (Part I). ~ Yasushige Watase. #ITP ...
Published at
2025-01-01 13:25:36 UTCEvent JSON
{
"id": "b40451ea1bf0e078848b64a8fdf4afc59bfdc43ae51be137c23a559e5149c30d",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1735737936,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"mizar"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113753321427472086",
"activitypub"
]
],
"content": "Formal proof of transcendence of the number e (Part I). ~ Yasushige Watase. https://intapi.sciendo.com/pdf/10.2478/forma-2024-0008 #ITP #Mizar #Math",
"sig": "2b071152ad064b0d7a6c4861c7ec09e5fb0d7b64f17799805f6216c2461ae6f46a1d764fe35d4013565ad8526ac64796ca9975f1e77854cbedaed9e8a0b5840e"
}
