{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:48:56Z","timestamp":1725558536160},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642141270"},{"type":"electronic","value":"9783642141287"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14128-7_36","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T10:45:36Z","timestamp":1277808336000},"page":"427-439","source":"Crossref","is-referenced-by-count":0,"title":["On Building a Knowledge Base for Stability Theory"],"prefix":"10.1007","author":[{"given":"Agnieszka","family":"Rowinska-Schwarzweller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Schwarzweller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"36_CR1","first-page":"507","volume":"1","author":"C. Byli\u0144ski","year":"1990","unstructured":"Byli\u0144ski, C.: The Complex Numbers. Formalized Mathematics\u00a01(3), 507\u2013513 (1990)","journal-title":"Formalized Mathematics"},{"key":"36_CR2","doi-asserted-by":"crossref","unstructured":"Bancerek, G.: On the Structure of Mizar Types. In: Geuvers, H., Kamareddine, F. (eds.) Proc. of MLC 2003. ENTCS, vol.\u00a085(7) (2003)","DOI":"10.1016\/S1571-0661(04)80758-8"},{"key":"36_CR3","unstructured":"Davies, M.: Obvious Logical Inferences. In: Proceedings of the 7th International Joint Conference on Artificial Intelligence, pp. 530\u2013531 (1981)"},{"key":"36_CR4","unstructured":"de Bruijn, N.G.: The Mathematical Vernacular, a language for mathematics with typed sets. In: Dybjer, P., et al. (eds.) Proc. of the Workshop on Programming Languages, Marstrand, Sweden (1987)"},{"key":"36_CR5","unstructured":"Ja\u015bkowski, S.: On the Rules of Suppositon in Formal Logic. In: Studia Logica, vol.\u00a01 (1934)"},{"issue":"31","key":"36_CR6","first-page":"67","volume":"18","author":"A. Korni\u0142owicz","year":"2009","unstructured":"Korni\u0142owicz, A.: How to Define Terms in Mizar Effectively. Studies in Logic, Grammar and Rhetoric\u00a018(31), 67\u201377 (2009)","journal-title":"Studies in Logic, Grammar and Rhetoric"},{"issue":"2","key":"36_CR7","first-page":"265","volume":"9","author":"A.J. Milewska","year":"2001","unstructured":"Milewska, A.J.: The Field of Complex Numbers. Formalized Mathematics\u00a09(2), 265\u2013269 (2001)","journal-title":"Formalized Mathematics"},{"issue":"2","key":"36_CR8","first-page":"339","volume":"9","author":"R. Milewski","year":"2001","unstructured":"Milewski, R.: The Ring of Polynomials. Formalized Mathematics\u00a09(2), 339\u2013346 (2001)","journal-title":"Formalized Mathematics"},{"key":"36_CR9","unstructured":"The Mizar Home Page, http:\/\/mizar.org"},{"key":"36_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-540-27818-4_21","volume-title":"Mathematical Knowledge Management","author":"A. Naumowicz","year":"2004","unstructured":"Naumowicz, A., Byli\u0144ski, C.: Improving Mizar texts with properties and requirements. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol.\u00a03119, pp. 290\u2013301. Springer, Heidelberg (2004)"},{"key":"36_CR11","volume-title":"Discrete-Time Signal Processing","author":"A.V. Oppenheim","year":"1998","unstructured":"Oppenheim, A.V., Schafer, R.W.: Discrete-Time Signal Processing, 2nd edn. Prenctice-Hall, New Jersey (1998)","edition":"2"},{"key":"36_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/978-3-540-73086-6_29","volume-title":"Towards Mechanized Mathematical Assistants","author":"A. Rowinska-Schwarzweller","year":"2007","unstructured":"Rowinska-Schwarzweller, A., Schwarzweller, C.: Towards Mathematical Knowledge Management for Electrical Engineering. In: Kauers, M., Kerber, M., Miner, R., Windsteiger, W. (eds.) MKM\/CALCULEMUS 2007. LNCS (LNAI), vol.\u00a04573, pp. 371\u2013380. Springer, Heidelberg (2007)"},{"key":"36_CR13","unstructured":"Rudnicki, P., Trybulec, A.: Mathematical Knowledge Management in Mizar. In: Buchberger, B., Caprotti, O. (eds.) Proc. of MKM 2001, Linz, Austria (2001)"},{"key":"36_CR14","unstructured":"Schwarzweller, C.: Rational Functions. Journal of Formalized Mathematics (to appear)"},{"key":"36_CR15","unstructured":"Schwarzweller, C., Rowinska-Schwarzweller, A.: A Theorem for Checking Stability of Networks. Journal of Formalized Mathematics (to appear)"},{"key":"36_CR16","doi-asserted-by":"crossref","first-page":"176","DOI":"10.4064\/fm-32-1-176-783","volume":"32","author":"A. Tarski","year":"1939","unstructured":"Tarski, A.: On Well-Ordered Subsets of Any Set. Fundamenta Mathematicae\u00a032, 176\u2013183 (1939)","journal-title":"Fundamenta Mathematicae"},{"key":"36_CR17","doi-asserted-by":"crossref","unstructured":"Unbehauen, R.: Netzwerk-und Filtersynthese: Grundlagen und Anwendungen (4. Auflage). Oldenbourg-Verlag, M\u00fcnchen (1993)","DOI":"10.1515\/9783486783803"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14128-7_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:47:52Z","timestamp":1606186072000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14128-7_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642141270","9783642141287"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14128-7_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}