José A. Alonso on Nostr: Formal analysis of electrical circuit network topologies using theorem proving, ~ ...
Published at
2025-02-21 12:05:00 UTCEvent JSON
{
"id": "cddef2cedb3e80753cbf776ec5ec7898c903ef621db04c26b5a1795180323746",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1740139500,
"kind": 1,
"tags": [
[
"t",
"IsabelleHOL"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/114041782311818024",
"activitypub"
]
],
"content": "Formal analysis of electrical circuit network topologies using theorem proving, ~ Kubra Aksoy, Adnan Rashid1, Osman Hasan, Sofiene Tahar. https://ohasan.seecs.nust.edu.pk/Conferences_25/Conferences/SYSCON_2025.pdf #ITP #IsabelleHOL",
"sig": "c8f50fb6d700f3b993284c2013801e110e7324f297db2cc90db886d42bb22b9e66bbfbb689e51170ffcfaaa8be425fbe04fc790f4a23226e9b50b9e7d592916c"
}
