José A. Alonso on Nostr: Conway normal form: Bridging approaches for comprehensive formalization of surreal ...
Conway normal form: Bridging approaches for comprehensive formalization of surreal numbers. ~ Karol Pąk, Cezary Kaliszyk.
https://arxiv.org/abs/2410.00065 #ITP #Mizar #Math
Published at
2024-10-08 11:56:03Event JSON
{
"id": "414769041d5ae4a819ac92acf56ffaf0c9f7f45a0159a2c03a6ab0e55cc96446",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1728388563,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"mizar"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113271672902978028",
"activitypub"
]
],
"content": "Conway normal form: Bridging approaches for comprehensive formalization of surreal numbers. ~ Karol Pąk, Cezary Kaliszyk. https://arxiv.org/abs/2410.00065 #ITP #Mizar #Math",
"sig": "df75aa9af301bf4ed50dbd4705511a6becb25ee49254322bb40664d1dca408390276aff69b04c36dc95ae53419fbc316ca6faa48e7c6cdc4024dc8c2bec85eb3"
}
