{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:33Z","timestamp":1740098913563,"version":"3.37.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319620749"},{"type":"electronic","value":"9783319620756"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-62075-6_12","type":"book-chapter","created":{"date-parts":[[2017,6,27]],"date-time":"2017-06-27T14:58:50Z","timestamp":1498575530000},"page":"163-177","source":"Crossref","is-referenced-by-count":2,"title":["Semantic\u00a0Representation of General Topology in\u00a0the Wolfram Language"],"prefix":"10.1007","author":[{"given":"Ian","family":"Ford","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,28]]},"reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-319-20615-8_17","volume-title":"Intelligent Computer Mathematics","author":"G Bancerek","year":"2015","unstructured":"Bancerek, G., Byli\u0144ski, C., Grabowski, A., Korni\u0142owicz, A., Matuszewski, R., Naumowicz, A., Pa\u0327k, K., Urban, J.: Mizar: state-of-the-art and beyond. In: Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V. (eds.) CICM 2015. LNCS, vol. 9150, pp. 261\u2013279. Springer, Cham (2015). doi: 10.1007\/978-3-319-20615-8_17"},{"doi-asserted-by":"crossref","unstructured":"Bertot, Y., Cast\u00e9ran, P.: Interactive Theorem Proving and Program Development - Coq\u2019Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-662-07964-5","key":"12_CR2","DOI":"10.1007\/978-3-662-07964-5"},{"unstructured":"Dabbs, J.: $$\\pi $$ -Base. https:\/\/topology.jdabbs.com\/","key":"12_CR3"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BFb0031814","volume-title":"Formal Methods in Computer-Aided Design","author":"J Harrison","year":"1996","unstructured":"Harrison, J.: HOL light: a tutorial introduction. In: Srivas, M., Camilleri, A. (eds.) FMCAD 1996. LNCS, vol. 1166, pp. 265\u2013269. Springer, Heidelberg (1996). doi: 10.1007\/BFb0031814"},{"unstructured":"Iancu, M.: Towards Flexiformal Mathematics. Ph.D. thesis, Jacobs University (2016)","key":"12_CR5"},{"unstructured":"Kieffer, S., Avigad, J., Friedman, H.: A language for mathematical knowledge management, January 2011. https:\/\/arxiv.org\/abs\/0805.1386","key":"12_CR6"},{"unstructured":"Lewis, R.Y.: An extensible ad hoc interface between Lean and Mathematica. http:\/\/www.andrew.cmu.edu\/user\/rlewis1\/leanmm\/leanmm_public_draft.pdf","key":"12_CR7"},{"unstructured":"Megill, N.: Metamath: A Computer Language for Pure Mathematics. Lulu Press, Morrisville","key":"12_CR8"},{"unstructured":"de Moura, L., Kong, S., Avigad, J., van Doorn, F., von Raumer, J.: The Lean Theorem Prover (system description). https:\/\/leanprover.github.io\/papers\/system.pdf","key":"12_CR9"},{"key":"12_CR10","volume-title":"Topology","author":"J Munkres","year":"2000","unstructured":"Munkres, J.: Topology, 2nd edn. Prentice Hall, Upper Saddle River (2000)","edition":"2"},{"key":"12_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-10542-0","volume-title":"Concrete Semantics - With Isabelle\/HOL","author":"T Nipkow","year":"2014","unstructured":"Nipkow, T., Klein, G.: Concrete Semantics - With Isabelle\/HOL. Springer, Cham (2014). http:\/\/dx.doi.org\/10.1007\/978-3-319-10542-0"},{"key":"12_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6290-9","volume-title":"Counterexamples in Topology","author":"L Steen","year":"1978","unstructured":"Steen, L., Seebach, J.A.: Counterexamples in Topology, 2nd edn. Springer, New York (1978)","edition":"2"},{"unstructured":"Wolfram Research Inc.: Wolfram Data Repository. https:\/\/datarepository.wolframcloud.com\/","key":"12_CR13"},{"unstructured":"Wolfram Research Inc.: Wolfram Knowledgebase. https:\/\/www.wolfram.com\/knowledgebase\/","key":"12_CR14"},{"unstructured":"Wolfram Research Inc.: The Wolfram Language. https:\/\/www.wolfram.com\/language\/","key":"12_CR15"},{"unstructured":"Wolfram Research Inc.: Wolfram Language & System Documentation Center. Assumptions and Domains. http:\/\/reference.wolfram.com\/language\/guide\/AssumptionsAndDomains.html","key":"12_CR16"},{"unstructured":"Wolfram Research Inc.: Wolfram Language & System Documentation Center. Expressions. https:\/\/reference.wolfram.com\/language\/tutorial\/ExpressionsOverview.html","key":"12_CR17"},{"unstructured":"Wolfram Research Inc.: Wolfram Language & System Documentation Center. Knowledge Representation & Access. https:\/\/reference.wolfram.com\/language\/guide\/KnowledgeRepresentationAndAccess.html","key":"12_CR18"},{"unstructured":"Wolfram Research Inc.: Wolfram Language & System Documentation. Logic & Boolean Algebra. https:\/\/reference.wolfram.com\/language\/guide\/LogicAndBooleanAlgebra.html","key":"12_CR19"},{"unstructured":"Wolfram Research Inc.: Wolfram $$|$$ Alpha. https:\/\/www.wolframalpha.com\/","key":"12_CR20"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-62075-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,24]],"date-time":"2023-08-24T05:23:51Z","timestamp":1692854631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-62075-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319620749","9783319620756"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-62075-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}