{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T21:40:08Z","timestamp":1751751608115,"version":"3.41.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319968117"},{"type":"electronic","value":"9783319968124"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-96812-4_17","type":"book-chapter","created":{"date-parts":[[2018,7,17]],"date-time":"2018-07-17T08:26:41Z","timestamp":1531816001000},"page":"194-208","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["MathChat: Computational Mathematics via a Social Machine"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9989-1672","authenticated-orcid":false,"given":"Manfred","family":"Minimair","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,7,18]]},"reference":[{"key":"17_CR1","series-title":"Wiley Series on Parallel and Distributed Computing","doi-asserted-by":"publisher","DOI":"10.1002\/0471478210","volume-title":"Distributed Computing: Fundamentals, Simulations, and Advanced Topics","author":"H Attiya","year":"2004","unstructured":"Attiya, H., Welch, J.: Distributed Computing: Fundamentals, Simulations, and Advanced Topics. Wiley Series on Parallel and Distributed Computing. Wiley, Hoboken (2004)"},{"issue":"3","key":"17_CR2","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1080\/07370024.2012.697020","volume":"28","author":"A Bunt","year":"2013","unstructured":"Bunt, A., Terry, M., Lank, E.: Challenges and opportunities for mathematics software in expert problem solving. Hum.-Comput. Interact. 28(3), 222\u2013264 (2013)","journal-title":"Hum.-Comput. Interact."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Cranshaw, J., Kittur, A.: The polymath project: lessons from a successful online collaboration in mathematics. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI 2011, pp. 1865\u20131874. ACM, New York (2011)","DOI":"10.1145\/1978942.1979213"},{"key":"17_CR4","volume-title":"Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science","author":"M Davis","year":"1994","unstructured":"Davis, M., Sigal, R., Weyuker, E.J.: Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science. Elsevier, New York (1994)"},{"issue":"3","key":"17_CR5","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1111\/j.1747-9991.2008.00137.x","volume":"3","author":"J Fantl","year":"2008","unstructured":"Fantl, J.: Knowing-how and knowing-that. Philos. Compass 3(3), 451\u2013470 (2008)","journal-title":"Philos. Compass"},{"issue":"2","key":"17_CR6","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1145\/353485.353487","volume":"7","author":"J Hollan","year":"2000","unstructured":"Hollan, J., Hutchins, E., Kirsh, D.: Distributed cognition toward a new foundation for human-computer interaction research. ACM Trans. Comput.-Hum. Interact. 7(2), 174\u2013196 (2000)","journal-title":"ACM Trans. Comput.-Hum. Interact."},{"key":"17_CR7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1881.001.0001","volume-title":"Cognition in the Wild","author":"E Hutchins","year":"1995","unstructured":"Hutchins, E.: Cognition in the Wild. MIT Press, Cambridge (1995)"},{"key":"17_CR8","volume-title":"The Nature of Mathematical Knowledge","author":"P Kitcher","year":"1984","unstructured":"Kitcher, P.: The Nature of Mathematical Knowledge. Cambridge University Press, Cambridge (1984)"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-642-11931-6_3","volume-title":"Approaches and Applications of Inductive Programming","author":"E Kitzelmann","year":"2010","unstructured":"Kitzelmann, E.: Inductive programming: a survey of program synthesis techniques. In: Schmid, U., Kitzelmann, E., Plasmeijer, R. (eds.) AAIP 2009. LNCS, vol. 5812, pp. 50\u201373. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-11931-6_3"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Kohlhase, M.: The flexiformalist manifesto. In: 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp. 30\u201335, September 2012","DOI":"10.1109\/SYNASC.2012.78"},{"key":"17_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4721-8","volume-title":"Categories for the Working Mathematician GTM","author":"S Mac Lane","year":"1978","unstructured":"Mac Lane, S.: Categories for the Working Mathematician GTM, vol. 5. Springer, New York (1978). https:\/\/doi.org\/10.1007\/978-1-4757-4721-8"},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-642-39320-4_7","volume-title":"Intelligent Computer Mathematics","author":"U Martin","year":"2013","unstructured":"Martin, U., Pease, A.: Mathematical practice, crowdsourcing, and social machines. In: Carette, J., Aspinall, D., Lange, C., Sojka, P., Windsteiger, W. (eds.) CICM 2013. LNCS (LNAI), vol. 7961, pp. 98\u2013119. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39320-4_7"},{"key":"17_CR13","series-title":"Springer Proceedings in Mathematics & Statistics","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-319-56932-1_20","volume-title":"Applications of Computer Algebra","author":"M Minimair","year":"2017","unstructured":"Minimair, M.: Collaborative computer algebra. In: Kotsireas, I., Mart\u00ednez-Moro, E. (eds.) ACA 2015. Springer Proceedings in Mathematics & Statistics, vol. 198, pp. 289\u2013303. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-56932-1_20"},{"key":"17_CR14","unstructured":"Minimair, M.: ChatConsole, April 2018. https:\/\/github.com\/mincode\/chconsole"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Moran, S., Nakata, K., Inoue, S.: Bridging the analytical gap between distributed cognition and actor network theory using a tool for information trajectory analysis. In: Proceedings of the 30th European Conference on Cognitive Ergonomics, ECCE 2012, pp. 72\u201377. ACM, New York (2012)","DOI":"10.1145\/2448136.2448151"},{"key":"17_CR16","first-page":"69","volume-title":"Context and Consciousness","author":"BA Nardi","year":"1996","unstructured":"Nardi, B.A.: Studying context: a comparison of activity theory, situated action models, and distributed cognition. In: Nardi, B.A. (ed.) Context and Consciousness, pp. 69\u2013102. MIT Press, Cambridge (1996)"},{"key":"17_CR17","unstructured":"Ragan-Kelley, M., Perez, F., Granger, B., Kluyver, T., Ivanov, P., Frederic, J., Bussonier, M.: The Jupyter\/IPython architecture: a unified view of computational research, from interactive exploration to communication and publication. AGU Fall Meeting Abstracts 44, December 2014. http:\/\/adsabs.harvard.edu\/abs\/2014AGUFM.H44D..07R"},{"key":"17_CR18","unstructured":"Sage Foundation: Sage - Open-Source Mathematical Software System. http:\/\/www.sagemath.org\/"},{"key":"17_CR19","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3372.001.0001","volume-title":"Group Cognition","author":"G Stahl","year":"2006","unstructured":"Stahl, G.: Group Cognition. MIT Press, Cambridge (2006)"},{"key":"17_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0228-3","volume-title":"Studying Virtual Math Teams","author":"G Stahl","year":"2009","unstructured":"Stahl, G.: Studying Virtual Math Teams, vol. 11. Springer, Boston (2009). https:\/\/doi.org\/10.1007\/978-1-4419-0228-3"}],"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-96812-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T21:14:31Z","timestamp":1751750071000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96812-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319968117","9783319968124"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96812-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}