{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T04:03:50Z","timestamp":1725595430724},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642226724"},{"type":"electronic","value":"9783642226731"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-22673-1_26","type":"book-chapter","created":{"date-parts":[[2011,7,13]],"date-time":"2011-07-13T11:49:15Z","timestamp":1310557755000},"page":"295-297","source":"Crossref","is-referenced-by-count":0,"title":["A System for Computing and Reasoning in Algebraic Topology"],"prefix":"10.1007","author":[{"given":"J\u00f3nathan","family":"Heras","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vico","family":"Pascual","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julio","family":"Rubio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"GAP - Groups, Algorithms, Programming - System for Computational Discrete algebra, \n                    \n                      http:\/\/www.gap-system.org"},{"key":"26_CR2","unstructured":"Dousson, X., Rubio, J., Sergeraert, F., Siret, Y.: The Kenzo program. Institut Fourier, Grenoble (1998), \n                    \n                      http:\/\/www-fourier.ujf-grenoble.fr\/~sergerar\/Kenzo\/"},{"key":"26_CR3","unstructured":"Ellis, G.: HAP package for GAP (2009), \n                    \n                      http:\/\/www.gap-system.org\/Packages\/hap.html"},{"key":"26_CR4","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\/scscp"},{"key":"26_CR5","unstructured":"Heras, J.: The fKenzo program. University of La Rioja (2010), \n                    \n                      http:\/\/www.unirioja.es\/cu\/joheras\/fKenzo\/"},{"issue":"6","key":"26_CR6","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1016\/j.jsc.2011.01.005","volume":"46","author":"J. Heras","year":"2011","unstructured":"Heras, J., Pascual, V., Rubio, J., Sergeraert, F.: fKenzo: A user interface for computations in Algebraic Topology. Journal of Symbolic Computation\u00a046(6), 685\u2013698 (2011)","journal-title":"Journal of Symbolic Computation"},{"key":"26_CR7","unstructured":"Kaufmann, M., Moore, J.S.: ACL2, \n                    \n                      http:\/\/www.cs.utexas.edu\/users\/moore\/acl2\/"},{"key":"26_CR8","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 34th International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), pp. 303\u2013310 (2009)","DOI":"10.1145\/1576702.1576744"},{"key":"26_CR9","unstructured":"Solomon, A., Costantini, M.: GAP package OpenMath (2009), \n                    \n                      http:\/\/www.gap-system.org\/Packages\/openmath.html"}],"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-22673-1_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,30]],"date-time":"2019-03-30T01:24:24Z","timestamp":1553909064000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22673-1_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642226724","9783642226731"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22673-1_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}