{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T01:24:46Z","timestamp":1783387486228,"version":"3.54.6"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319394404","type":"print"},{"value":"9783319394411","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","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":[[2016]]},"DOI":"10.1007\/978-3-319-39441-1_13","type":"book-chapter","created":{"date-parts":[[2016,6,1]],"date-time":"2016-06-01T07:47:40Z","timestamp":1464767260000},"page":"140-151","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Computation of Cubical Steenrod Squares"],"prefix":"10.1007","author":[{"given":"Marek","family":"Kr\u010d\u00e1l","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pawe\u0142","family":"Pilarczyk","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,6,2]]},"reference":[{"issue":"5","key":"13_CR1","doi-asserted-by":"publisher","first-page":"1728","DOI":"10.1137\/120899029","volume":"43","author":"M \u010cadek","year":"2014","unstructured":"\u010cadek, M., Kr\u010d\u00e1l, M., Matou\u0161ek, J., Vok\u0159\u00ednek, L., Wagner, U.: Polynomial-time computation of homotopy groups and Postnikov systems in fixed dimension. Siam J. Comput. 43(5), 1728\u20131780 (2014)","journal-title":"Siam J. Comput."},{"key":"13_CR2","unstructured":"Computational Homology Project software. http:\/\/chomp.rutgers.edu\/software\/"},{"key":"13_CR3","unstructured":"Computer Assisted Proofs in Dynamics group. http:\/\/capd.ii.uj.edu.pl\/"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"55","DOI":"10.2307\/1969820","volume":"58","author":"S Eilenberg","year":"1953","unstructured":"Eilenberg, S., Mac Lane, S.: On the groups $$H(\\Pi, n)$$, I. Ann. Math. 58, 55\u2013106 (1953)","journal-title":"Ann. Math."},{"issue":"4","key":"13_CR5","doi-asserted-by":"publisher","first-page":"26:1","DOI":"10.1145\/2751524","volume":"62","author":"P Franek","year":"2015","unstructured":"Franek, P., Kr\u010d\u00e1l, M.: obust satisfiability of systems ofequations. J. ACM 62(4), 26:1\u201326:19 (2015). http:\/\/doi.acm.org\/10.1145\/2751524","journal-title":"J. ACM"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/11870814_14","volume-title":"Computer Algebra in Scientific Computing","author":"R Gonzalez-D\u00edaz","year":"2006","unstructured":"Gonzalez-D\u00edaz, R., Medrano, B., S\u00e1nchez-Pel\u00e1ez, J., Real, P.: Simplicial perturbation techniques and effective homology. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2006. LNCS, vol. 4194, pp. 166\u2013177. Springer, Heidelberg (2006)"},{"issue":"1\u20133","key":"13_CR7","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/S0022-4049(99)00006-7","volume":"139","author":"R Gonz\u00e1lez-D\u00edaz","year":"1999","unstructured":"Gonz\u00e1lez-D\u00edaz, R., Real, P.: A combinatorial method for computing Steenrod squares. J. Pure Appl. Algebra 139(1\u20133), 89\u2013108 (1999)","journal-title":"J. Pure Appl. Algebra"},{"issue":"2","key":"13_CR8","doi-asserted-by":"publisher","first-page":"83","DOI":"10.4310\/HHA.2003.v5.n2.a4","volume":"5","author":"R Gonz\u00e1lez-D\u00edaz","year":"2003","unstructured":"Gonz\u00e1lez-D\u00edaz, R., Real, P.: Computation of cohomology operations on finite simplicial complexes. Homology Homotopy Appl. 5(2), 83\u201393 (2003)","journal-title":"Homology Homotopy Appl."},{"issue":"2","key":"13_CR9","doi-asserted-by":"publisher","first-page":"95","DOI":"10.4310\/HHA.2005.v7.n2.a5","volume":"7","author":"R Gonz\u00e1lez-D\u00edaz","year":"2005","unstructured":"Gonz\u00e1lez-D\u00edaz, R., Real, P.: HPT and cocyclic operations. Homology Homotopy Appl. 7(2), 95\u2013108 (2005)","journal-title":"Homology Homotopy Appl."},{"key":"13_CR10","volume-title":"Algebraic Topology","author":"A Hatcher","year":"2001","unstructured":"Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2001). http:\/\/www.math.cornell.edu\/\u00a0hatcher\/AT\/ATpage.html"},{"key":"13_CR11","volume-title":"Computational homology, Applied Mathematical Sciences","author":"T Kaczynski","year":"2004","unstructured":"Kaczynski, T., Mischaikow, K., Mrozek, M.: Computational homology, Applied Mathematical Sciences, vol. 157. Springer-Verlag, New York (2004)"},{"issue":"5","key":"13_CR12","doi-asserted-by":"publisher","first-page":"789","DOI":"10.1007\/s10208-012-9138-4","volume":"13","author":"T Kaczynski","year":"2013","unstructured":"Kaczynski, T., Mrozek, M.: The cubical cohomology ring: An algorithmic approach. Found. Comput. Math. 13(5), 789\u2013818 (2013)","journal-title":"Found. Comput. Math."},{"issue":"3","key":"13_CR13","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/BF03026567","volume":"5","author":"W K\u00fchnel","year":"1983","unstructured":"K\u00fchnel, W., Banchoff, T.F.: The 9-vertex complex projective plane. Math. Intelligencer 5(3), 11\u201322 (1983)","journal-title":"Math. Intelligencer"},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/s10208-004-0125-2","volume":"5","author":"K Mischaikow","year":"2005","unstructured":"Mischaikow, K., Mrozek, M., Pilarczyk, P.: Graph approach to the computation of the homology of continuous maps. Found. Comput. Math. 5, 199\u2013229 (2005)","journal-title":"Found. Comput. Math."},{"key":"13_CR15","unstructured":"Franek, P., Kr\u010d\u00e1l, M., Wagner, H.: Robustness of zero sets: Implementation, submitted"},{"key":"13_CR16","unstructured":"Pilarczyk, P.: The ChainCon software. Chain contractions,homology and cohomology software and examples. http:\/\/www.pawelpilarczyk.com\/chaincon\/"},{"issue":"1","key":"13_CR17","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s10444-014-9356-1","volume":"41","author":"P Pilarczyk","year":"2015","unstructured":"Pilarczyk, P., Real, P.: Computation of cubical homology, cohomology, and (co)homological operations via chain contraction. Adv. Comput. Math. 41(1), 253\u2013275 (2015)","journal-title":"Adv. Comput. Math."},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Prasolov, V.V.: Elements of Homology Theory. Graduate Studies in Mathematics, American Mathematical Society (2007)","DOI":"10.1090\/gsm\/081"},{"key":"13_CR19","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BF02955020","volume":"42","author":"P Real","year":"1996","unstructured":"Real, P.: On the computability of the Steenrod squares. Ann. Univ. Ferrara, Nuova Ser., Sez. VII, Sc. Mat. 42, 57\u201363 (1996)","journal-title":"Ann. Univ. Ferrara, Nuova Ser., Sez. VII, Sc. Mat."},{"key":"13_CR20","unstructured":"Sergeraert, F.: Effective homology, a survey (1992). http:\/\/www-fourier.ujf-grenoble.fr\/~sergerar\/Papers\/Survey.pdf"},{"issue":"1","key":"13_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/aima.1994.1018","volume":"104","author":"F Sergeraert","year":"1994","unstructured":"Sergeraert, F.: The computability problem in algebraic topology. Adv. Math. 104(1), 1\u201329 (1994)","journal-title":"Adv. Math."},{"issue":"3","key":"13_CR22","doi-asserted-by":"publisher","first-page":"425","DOI":"10.2307\/1969485","volume":"54","author":"JP Serre","year":"1951","unstructured":"Serre, J.P.: Homologie singuli\u00e8re des espaces fibr\u00e9s. Ann. Math. 54(3), 425\u2013505 (1951)","journal-title":"Ann. Math."},{"issue":"2","key":"13_CR23","doi-asserted-by":"publisher","first-page":"290","DOI":"10.2307\/1969172","volume":"48","author":"NE Steenrod","year":"1947","unstructured":"Steenrod, N.E.: Products of cocycles and extensions of mappings. Ann. Math. 48(2), 290\u2013320 (1947)","journal-title":"Ann. Math."},{"key":"13_CR24","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1016\/0001-8708(72)90004-7","volume":"8","author":"NE Steenrod","year":"1972","unstructured":"Steenrod, N.E.: Cohomology operations, and obstructions to extending continuous functions. Adv. Math. 8, 371\u2013416 (1972)","journal-title":"Adv. Math."},{"key":"13_CR25","unstructured":"Vok\u0159\u00ednek, L.: Decidability of the extension problem for maps into odd-dimensional spheres. [math.AT] (2014). arXiv:1401.3758"}],"container-title":["Lecture Notes in Computer Science","Computational Topology in Image Context"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39441-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,30]],"date-time":"2022-06-30T22:42:42Z","timestamp":1656628962000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39441-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319394404","9783319394411"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39441-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"2 June 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}