{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:48:59Z","timestamp":1725558539708},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642141270"},{"type":"electronic","value":"9783642141287"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14128-7_28","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T06:45:36Z","timestamp":1277793936000},"page":"331-335","source":"Crossref","is-referenced-by-count":1,"title":["Integrating Multiple Sources to Answer Questions in Algebraic Topology"],"prefix":"10.1007","author":[{"given":"J\u00f3nathan","family":"Heras","sequence":"first","affiliation":[]},{"given":"Vico","family":"Pascual","sequence":"additional","affiliation":[]},{"given":"Ana","family":"Romero","sequence":"additional","affiliation":[]},{"given":"Julio","family":"Rubio","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"GAP - Groups, Algorithms, Programming - System for Computational Discrete Algebra, \n                    \n                      http:\/\/www.gap-system.org"},{"key":"28_CR2","unstructured":"MathBroker: A Framework for Brokering Distributed Mathematical Services, \n                    \n                      http:\/\/www.risc.uni-linz.ac.at\/projects\/basic\/mathbroker\/"},{"key":"28_CR3","unstructured":"MathBroker II: Brokering Distributed Mathematical Services, \n                    \n                      http:\/\/www.risc.uni-linz.ac.at\/projects\/mathbroker2\/"},{"key":"28_CR4","unstructured":"MathServe Framework, \n                    \n                      http:\/\/www.ags.uni-sb.de\/jzimmer\/mathserve.html"},{"key":"28_CR5","unstructured":"MATHWEB-SB:A Software Bus for MathWeb, \n                    \n                      http:\/\/www.ags.uni-sb.de\/jzimmer\/mathweb-sb\/"},{"key":"28_CR6","unstructured":"MoNET: Mathematics on the Net, \n                    \n                      http:\/\/monet.nag.co.uk\/cocoon\/monet\/index.html"},{"key":"28_CR7","unstructured":"Boley, H., et al.: Rule Markup Language (RuleML) version 0.91 (2004), \n                    \n                      http:\/\/ruleml.org\/"},{"key":"28_CR8","series-title":"Software Design Patterns","volume-title":"Pattern-Oriented Software Architecture. A Pattern Language for Distributed Computing","author":"F. Buschmann","year":"2007","unstructured":"Buschmann, F., et al.: Pattern-Oriented Software Architecture. A Pattern Language for Distributed Computing. Software Design Patterns, vol.\u00a04. Wiley, Chichester (2007)"},{"key":"28_CR9","unstructured":"Cohen, A.M., Caprotti, O., Cuypers, H., Riem, M.N., Sterk, H.: Using OpenMath Servers for Distributing Mathematical Computations. In: Proceedings of the Fifth Asian Technology Conference in Mathematics, pp. 325\u2013336 (2000)"},{"key":"28_CR10","unstructured":"The OpenMath Consortium. Openmath standard 2.0 (2004), \n                    \n                      http:\/\/www.openmath.org\/standard\/om20-2004-06-30\/omstd20.pdf"},{"key":"28_CR11","unstructured":"Dousson, X., Sergeraert, F., Siret, Y.: The Kenzo program. Institut Fourier, Grenoble (1998), \n                    \n                      http:\/\/www-fourier.ujf-grenoble.fr\/~sergerar\/Kenzo\/"},{"key":"28_CR12","unstructured":"Ellis, G.: HAP package for GAP (2009), \n                    \n                      http:\/\/www.gap-system.org\/Packages\/hap.html"},{"key":"28_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-540-85110-3_24","volume-title":"Intelligent Computer Mathematics","author":"S. Freundt","year":"2008","unstructured":"Freundt, S., Horn, P., Konovalov, A., Linton, S.A., Roozemond, D.: Symbolic Computation Software Composability. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.) AISC 2008, Calculemus 2008, and MKM 2008. LNCS (LNAI), vol.\u00a05144, pp. 285\u2013295. Springer, Heidelberg (2008)"},{"key":"28_CR14","unstructured":"Freundt, S., Horn, P., Konovalov, A., Lindon, S., Roozemond, D.: Symbolic Computation Software Composability Protocol (SCSCP) specification, version 1.3 (2009), \n                    \n                      http:\/\/www.symbolic-computation.org\/scscps"},{"key":"28_CR15","unstructured":"Giarratano, J.C., Riley, G.D.: Expert Systems: Principles and Programming. PWS Publishing Company (2005)"},{"key":"28_CR16","unstructured":"The GAP group. GAP a Tutorial, Operations and Methods, ch. 8, pp. 72\u201376 (2008)"},{"key":"28_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-540-85110-3_37","volume-title":"Intelligent Computer Mathematics","author":"J. Heras","year":"2008","unstructured":"Heras, J., Pascual, V., Rubio, J.: Mediated Access to Symbolic Computation Systems. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.) AISC 2008, Calculemus 2008, and MKM 2008. LNCS (LNAI), vol.\u00a05144, pp. 446\u2013461. Springer, Heidelberg (2008)"},{"key":"28_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/978-3-642-02614-0_37","volume-title":"Intelligent Computer Mathematics","author":"J. Heras","year":"2009","unstructured":"Heras, J., Pascual, V., Rubio, J.: Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) Calculemus 2009. LNCS, vol.\u00a05625, pp. 467\u2013473. Springer, Heidelberg (2009)"},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"Kaufmann, M., Moore, J.S.: ACL2 version 3.6 (2009), \n                    \n                      http:\/\/www.cs.utexas.edu\/users\/moore\/acl2\/","DOI":"10.1016\/j.jal.2007.07.002"},{"key":"28_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/11826095","volume-title":"OMDoc \u2212 An open markup format for mathematical documents (Version 1.2)","author":"M. Kohlhase","year":"2006","unstructured":"Kohlhase, M.: OMDoc \u2212 An open markup format for mathematical documents (Version 1.2). Springer, Heidelberg (2006)"},{"key":"28_CR21","doi-asserted-by":"crossref","unstructured":"Romero, A., Ellis, G., Rubio, J.: Interoperating between Computer Algebra systems: computing homology of groups with Kenzo and GAP. In: Proceedings of International Symposium on Symbolic and Algebraic Computation, pp. 303\u2013310 (2009)","DOI":"10.1145\/1576702.1576744"},{"key":"28_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/978-3-540-27818-4_26","volume-title":"Mathematical Knowledge Management","author":"E. Smirnova","year":"2004","unstructured":"Smirnova, E., So, C.M., Watt, S.M.: An architecture for distributed mathematical web services. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol.\u00a03119, pp. 363\u2013377. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14128-7_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T15:23:44Z","timestamp":1558279424000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14128-7_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642141270","9783642141287"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14128-7_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}