{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:31:13Z","timestamp":1725489073894},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730835"},{"type":"electronic","value":"9783540730866"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73086-6_29","type":"book-chapter","created":{"date-parts":[[2007,8,14]],"date-time":"2007-08-14T10:57:56Z","timestamp":1187089076000},"page":"371-380","source":"Crossref","is-referenced-by-count":1,"title":["Towards Mathematical Knowledge Management for Electrical Engineering"],"prefix":"10.1007","author":[{"given":"Agnieszka","family":"Rowinska-Schwarzweller","sequence":"first","affiliation":[]},{"given":"Christoph","family":"Schwarzweller","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"29_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"},{"issue":"7","key":"29_CR2","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/S1571-0661(04)80758-8","volume":"85","author":"Grzegorz Bancerek","year":"2003","unstructured":"Bancerek, G.: On the Structure of Mizar Types. In: Geuvers, H., Kamareddine, F. (eds.) Proc. of MLC 2003, ENTCS, vol. 85(7) (2003)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"29_CR3","unstructured":"Davies, M.: Obvious Logical Inferences. In: Proceedings of the 7th International Joint Conference on Artificial Intelligence, pp. 530\u2013531 (1981)"},{"key":"29_CR4","unstructured":"de Bruijn, N.G.: The Mathematical Vernacular, a language for mathematics with typed sets. In: Dybjer, P., et al. (ed.) Proc. of the Workshop on Programming Languages, Marstrand, Sweden (1987)"},{"key":"29_CR5","volume-title":"Modern Computer Algebra","author":"J. Gathen von zur","year":"1999","unstructured":"von zur Gathen, J., Gerhard, J.: Modern Computer Algebra. Cambridge University Press, Camebridge (1999)"},{"key":"29_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/11812289_14","volume-title":"Mathematical Knowledge Management","author":"E. Hilf","year":"2006","unstructured":"Hilf, E., Kohlhase, M., Stamerjohanns, H.: Capturing the Content of Physics: Systems, Observables, and Experiments. In: Borwein, J.M., Farmer, W.M. (eds.) MKM 2006. LNCS (LNAI), vol.\u00a04108, pp. 165\u2013178. Springer, Heidelberg (2006)"},{"key":"29_CR7","unstructured":"Ja\u015bkowski, S.: On the Rules of Suppositon in Formal Logic. Studia Logica 1 (1934)"},{"issue":"2","key":"29_CR8","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":"29_CR9","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":"29_CR10","unstructured":"The Mizar Home Page, http:\/\/mizar.org"},{"key":"29_CR11","series-title":"Lecture Notes in Computer Science","first-page":"190","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. 190\u2013301. Springer, Heidelberg (2004)"},{"key":"29_CR12","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":"29_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":"29_CR14","unstructured":"The SESAME Network, http:\/\/www.mkm-ig.org\/projects\/sesame\/"},{"key":"29_CR15","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1002\/zamm.19210010405","volume":"1","author":"J. Schur","year":"1921","unstructured":"Schur, J.: \u00dcber Algebraische Gleichungen, die nur Wurzeln mit negativen Realteilen besitzen. Zeitschrift f\u00fcr angewandte Mathematik und Mechanik\u00a01, 95\u2013110 (1921)","journal-title":"Zeitschrift f\u00fcr angewandte Mathematik und Mechanik"},{"key":"29_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":"29_CR17","doi-asserted-by":"crossref","unstructured":"Unbehauen, R.: Netzwerk- und Filtersynthese: Grundlagen und Anwendungen (4. Auflage); Oldenbourg-Verlag (1993)","DOI":"10.1515\/9783486783803"}],"container-title":["Lecture Notes in Computer Science","Towards Mechanized Mathematical Assistants"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73086-6_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:59:49Z","timestamp":1619517589000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73086-6_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540730835","9783540730866"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73086-6_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}