{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:08:17Z","timestamp":1748750897379,"version":"3.41.0"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T00:00:00Z","timestamp":1743984000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T00:00:00Z","timestamp":1743984000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,4,7]]},"DOI":"10.1109\/syscon64521.2025.11014814","type":"proceedings-article","created":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T17:43:30Z","timestamp":1748627010000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Formal Analysis of Electrical Circuit Network Topologies Using Theorem Proving"],"prefix":"10.1109","author":[{"given":"Kubra","family":"Aksoy","sequence":"first","affiliation":[{"name":"Concordia University,Department of Electrical and Computer Engineering,Montreal,Quebec,Canada"}]},{"given":"Adnan","family":"Rashid","sequence":"additional","affiliation":[{"name":"Concordia University,Department of Electrical and Computer Engineering,Montreal,Quebec,Canada"}]},{"given":"Osman","family":"Hasan","sequence":"additional","affiliation":[{"name":"School of Electrical Engineering and Computer Science, National University of Science and Technology,Islamabad,Pakistan"}]},{"given":"Sofi\u00e8ne","family":"Tahar","sequence":"additional","affiliation":[{"name":"Concordia University,Department of Electrical and Computer Engineering,Montreal,Quebec,Canada"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1142\/4203"},{"volume-title":"Electric Circuit Analysis","year":"2001","author":"Monier","key":"ref2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1142\/2446"},{"journal-title":"Elementary Matrix Algebra","year":"2013","author":"Hohn","key":"ref4"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL: A Proof Assistant for Higher-Order Logic","author":"Nipkow","year":"2002"},{"volume-title":"Discrete Mathematics & Applications","year":"1999","author":"Rosen","key":"ref6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19872-9_5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2017.2713388"},{"issue":"8","key":"ref9","first-page":"1623","article-title":"Formalization of Lerch\u2019s Theorem using HOL Light","volume":"5","author":"Rashid","year":"2018","journal-title":"Journal of Applied Logics"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon47679.2020.9353652"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-014-0183-z"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-017-9442-4"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1201\/CHDISMTHAPP"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22673-1_3"},{"key":"ref15","first-page":"11:1","article-title":"Formalising Fisher\u2019s Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics","volume":"237","author":"Edmonds","year":"2022","journal-title":"Interactive Theorem Proving, LIPIcs"},{"key":"ref16","article-title":"Linear Algebra Methods in Combinatorics","volume-title":"Department of Computer Science, The University of Chicago","author":"Babai","year":"2022"},{"volume-title":"Linear Graphs and Electrical Networks","year":"1961","author":"Seshu","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-013-9284-7"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1002\/net.1975.5.3.299"},{"volume-title":"Isabelle\/HOL Proof Script: Formal Analysis of Electrical Circuit Network Topologies using Theorem Proving","year":"2025","author":"Aksoy","key":"ref20"},{"volume-title":"An Introduction to Linear Network Analysis","year":"1961","author":"Farago","key":"ref21"}],"event":{"name":"2025 IEEE International systems Conference (SysCon)","start":{"date-parts":[[2025,4,7]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2025,4,10]]}},"container-title":["2025 IEEE International systems Conference (SysCon)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11014641\/11014642\/11014814.pdf?arnumber=11014814","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:45:41Z","timestamp":1748666741000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11014814\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,7]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/syscon64521.2025.11014814","relation":{},"subject":[],"published":{"date-parts":[[2025,4,7]]}}}