阿格涅斯卡·罗温斯卡·施瓦兹韦勒;克里斯托夫·施瓦茨韦勒 面向电气工程的数学知识管理。 （英语） 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） 全文： 内政部