On Building a Knowledge Base for Stability Theory

DOI10.1007/978-3-642-14128-7_36zbMATH Open1286.68433OpenAlexW2952732946MaRDI QIDQ3582729FDOQ3582729

Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller

Publication date: 24 August 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14128-7_36

Mathematics Subject Classification ID

Knowledge representation (68T30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Analytic circuit theory (94C05)

Cited In (1)

• A test for the stability of networks

Uses Software

• Mizar

This page was built for publication: On Building a Knowledge Base for Stability Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3582729)