阿格涅斯卡·罗温斯卡·施瓦兹韦勒;克里斯托夫·施瓦茨韦勒 面向电气工程的数学知识管理。 (英语) Zbl 1202.68468号 Kauers,Manuel(编辑)等人,《走向机械化数学助手》。2007年6月27日至30日,第14次研讨会,2007年Calculemus,第6次国际会议,2007年MKM,奥地利哈根堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73083-5/pbk)。计算机科学课堂讲稿4573。人工智能课堂讲稿,371-380(2007)。 总结:我们探索了电气工程领域的数学知识,并声称电气工程是数学知识管理的一个合适应用领域:我们表明,现有的MKM系统,即Mizar系统,可以成功地处理电气工程中产生的数学知识。为此,我们在本文中考虑了网络理论,特别是网络的稳定性。作为电气工程中数学知识的一个例子,我们提出了Schur定理的Mizar形式化。舒尔定理为检查网络的BIBO稳定性提供了一种递归、简单的方法。关于整个系列,请参见[Zbl 1119.68011号]. MSC公司: 68单位35 信息系统的计算方法(超文本导航、接口、决策支持等) 68吨15 定理证明(演绎、解析等)(MSC2010) 68立方英尺 知识表示 68层35 人工智能语言和软件系统理论(基于知识的系统、专家系统等) 软件:马亚;米扎尔 PDF格式BibTeX公司 XML格式引用 \textit{A.Rowinska-Schhwarzweller}和\textit{C.Schwarzweler},莱克特。注释计算。科学。4573、371--380(2007年;Zbl 1202.68468) 全文: 内政部