Back to Search
Start Over
Towards Mathematical Knowledge Management for Electrical Engineering.
- Source :
- Towards Mechanized Mathematical Assistants; 2007, p371-380, 10p
- Publication Year :
- 2007
-
Abstract
- We explore mathematical knowledge in the field of electrical engineering and claim that electrical engineering is a suitable area of application for mathematical knowledge management: We show that mathematical knowledge arising in electrical engineering can be successfully handled by existing MKM systems, namely by the Mizar system. To this end we consider in this paper network theory and in particular stability of networks. As an example for mathematical knowledge in electrical engineering we present a Mizar formalization of Schur's theorem. Schur's theorem provides a recursive, easy method to check for BIBO-stability of networks. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISBNs :
- 9783540730835
- Database :
- Supplemental Index
- Journal :
- Towards Mechanized Mathematical Assistants
- Publication Type :
- Book
- Accession number :
- 33315752
- Full Text :
- https://doi.org/10.1007/978-3-540-73086-6_29