{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T08:14:42Z","timestamp":1759133682819},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,4,10]],"date-time":"2014-04-10T00:00:00Z","timestamp":1397088000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Adv Comput Math"],"published-print":{"date-parts":[[2015,2]]},"DOI":"10.1007\/s10444-014-9356-1","type":"journal-article","created":{"date-parts":[[2014,4,9]],"date-time":"2014-04-09T21:31:27Z","timestamp":1397079087000},"page":"253-275","source":"Crossref","is-referenced-by-count":14,"title":["Computation of cubical homology, cohomology, and (co)homological operations via chain contraction"],"prefix":"10.1007","volume":"41","author":[{"given":"Pawe\u0142","family":"Pilarczyk","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Real","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,4,10]]},"reference":[{"key":"9356_CR1","volume-title":"Algebraic Topology, A First Course, Monographs and Textbooks in Pure and Applied Mathematics, vol. 32","author":"MK Agoston","year":"1976","unstructured":"Agoston, M.K.: Algebraic Topology, A First Course, Monographs and Textbooks in Pure and Applied Mathematics, vol. 32. Marcel Dekker, New York (1976)"},{"key":"9356_CR2","doi-asserted-by":"crossref","unstructured":"\u00c1lvarez, V., Armario, J. A., Frau, M. D., Gonz\u00e1lez-D\u00edaz, R., Jim\u00e9nez, M.J., Real, P., Silva, B.: Computing \u201csmall\u201d 1-homological models for commutative differential graded algebras. In: Ganzha, V., Mayr, E., Vorozhtsov, E. (eds.) Computer Algebra in Scientific Computing, pp 87\u2013100. Springer, Berlin (2000). doi: 10.1007\/978-3-642-57201-2_9","DOI":"10.1007\/978-3-642-57201-2_9"},{"key":"9356_CR3","doi-asserted-by":"crossref","unstructured":"\u00c1lvarez, V., Armario, J., Frau, M., Real, P.: Comparison maps for relatively free resolutions. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) Computer Algebra in Scientific Computing, Lecture Notes in Computer Science, vol. 4194, pp 1\u201322. Springer-Berlin, Heidelberg (2006). doi: 10.1007\/11870814_1","DOI":"10.1007\/11870814_1"},{"issue":"3","key":"9356_CR4","doi-asserted-by":"crossref","first-page":"757","DOI":"10.1137\/080734935","volume":"8","author":"Z Arai","year":"2009","unstructured":"Arai, Z., Kalies, W., Kokubu, H., Mischaikow, K., Oka, H., Pilarczyk, P.: A database schema for the analysis of global dynamics of multiparameter systems. SIAM J. Appl. Dyn. Syst. 8(3), 757\u2013789 (2009). doi: 10.1137\/080734935","journal-title":"SIAM J. Appl. Dyn. Syst."},{"key":"9356_CR5","doi-asserted-by":"crossref","unstructured":"Berciano, A., Molina-Abril, H., Pacheco, A., Pilarczyk, P., Real, P.: Decomposing cavities in digital volumes into products of cycles. In: Brlek, S., Reutenauer, C., Proven\u00e7al, X. (eds.) Discrete Geometry for Computer Imagery, Lecture Notes in Computer Science, vol. 5810, pp 263\u2013274. Springer-Berlin, Heidelberg (2009). doi: 10.1007\/978-3-642-04397-0_23","DOI":"10.1007\/978-3-642-04397-0_23"},{"issue":"1\u20132","key":"9356_CR6","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/s00200-012-0169-5","volume":"23","author":"A Berciano","year":"2012","unstructured":"Berciano, A., Molina-Abril, H., Real, P.: Searching high order invariants in computer imagery. AAECC 23(1\u20132), 17\u201328 (2012). doi: 10.1007\/s00200-012-0169-5","journal-title":"AAECC"},{"issue":"4","key":"9356_CR7","doi-asserted-by":"crossref","first-page":"047508","DOI":"10.1063\/1.4767672","volume":"22","author":"J Bush","year":"2012","unstructured":"Bush, J., Gameiro, M., Harker, S., Kokubu, H., Mischaikow, K., Obayashi, I., Pilarczyk, P.: Combinatorial-topological framework for the analysis of global dynamics. Chaos: An Interdisc. J. Nonlinear Sci. 22(4), 047508 (2012). doi: 10.1063\/1.4767672","journal-title":"Chaos: An Interdisc. J. Nonlinear Sci."},{"issue":"4","key":"9356_CR8","doi-asserted-by":"crossref","first-page":"769","DOI":"10.1109\/TVCG.2007.1021","volume":"13","author":"G Chen","year":"2007","unstructured":"Chen, G., Mischaikow, K., Laramee, R.S., Pilarczyk, P., Zhang, E.: Vector field editing and periodic orbit extraction using morse decomposition. IEEE Trans. Vis. Comput. Graph. 13(4), 769\u2013785 (2007). doi: 10.1109\/TVCG.2007.1021","journal-title":"IEEE Trans. Vis. Comput. Graph."},{"key":"9356_CR9","unstructured":"Computational Homology Project (CHomP) software: http:\/\/chomp.rutgers.edu\/software\/ (2013)"},{"key":"9356_CR10","unstructured":"Computer Assisted Proofs in Dynamics (CAPD) group: http:\/\/capd.ii.uj.edu.pl\/ (2013)"},{"key":"9356_CR11","doi-asserted-by":"crossref","unstructured":"Delfinado C.J.A., Edelsbrunner H.: An incremental algorithm for Betti numbers of simplicial complexes. In: Proceedings of the Ninth Annual Symposium on Computational Geometry, pp. 232\u2013239. ACM, New York, SCG \u201993 (1993), doi: 10.1145\/160985.161140","DOI":"10.1145\/160985.161140"},{"issue":"7","key":"9356_CR12","doi-asserted-by":"crossref","first-page":"771","DOI":"10.1016\/0167-8396(95)00016-Y","volume":"12","author":"CJA Delfinado","year":"1995","unstructured":"Delfinado, C.J.A., Edelsbrunner, H.: An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere, grid generation, finite elements, and geometric design. Comput. Aid. Geom. Des. 12(7), 771\u2013784 (1995). doi: 10.1016\/0167-8396(95)00016-Y","journal-title":"Comput. Aid. Geom. Des."},{"key":"9356_CR13","doi-asserted-by":"crossref","unstructured":"Desbrun, M., Kanso, E., Tong, Y.: Discrete differential forms for computational sciences. In: Discrete Differential Geometry, Course Notes, ACM SIGGRAPH (2006)","DOI":"10.1145\/1185657.1185665"},{"issue":"10","key":"9356_CR14","doi-asserted-by":"crossref","first-page":"2257","DOI":"10.1016\/j.cpc.2013.05.006","volume":"184","author":"P D\u0142otko","year":"2013","unstructured":"D\u0142otko, P., Specogna, R.: Physics inspired algorithms for (co)homology computations of three-dimensional combinatorial manifolds with boundary. Comput. Phys. Commun. 184(10), 2257\u20132266 (2013). doi: 10.1016\/j.cpc.2013.05.006","journal-title":"Comput. Phys. Commun."},{"issue":"1\u20132","key":"9356_CR15","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1006\/jsco.2001.0451","volume":"32","author":"JG Dumas","year":"2001","unstructured":"Dumas, J.G., Saunders, B.D., Villard, G.: On efficient sparse integer matrix Smith normal form computations. J. Symb. Comput. 32(1\u20132), 71\u201399 (2001). doi: 10.1006\/jsco.2001.0451","journal-title":"J. Symb. Comput."},{"key":"9356_CR16","doi-asserted-by":"crossref","first-page":"55","DOI":"10.2307\/1969820","volume":"58","author":"S Eilenberg","year":"1953","unstructured":"Eilenberg, S., Mac Lane, S.: On the groups H(\u03a0, n), I. Ann. Math. 58, 55\u2013106 (1953)","journal-title":"Ann. Math."},{"key":"9356_CR17","doi-asserted-by":"crossref","first-page":"49","DOI":"10.2307\/1969702","volume":"60","author":"S Eilenberg","year":"1954","unstructured":"Eilenberg, S., Mac Lane, S.: On the groups H(\u03a0, n), II: Methods of computation. Ann. Math. 60, 49\u2013139 (1954)","journal-title":"Ann. Math."},{"key":"9356_CR18","doi-asserted-by":"crossref","first-page":"200","DOI":"10.2307\/2372629","volume":"75","author":"S Eilenberg","year":"1953","unstructured":"Eilenberg, S., Zilber, J.: On products of complexes. Am. J. Math. 75, 200\u2013204 (1953)","journal-title":"Am. J. Math."},{"issue":"1","key":"9356_CR19","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1006\/aima.1997.1650","volume":"134","author":"R Forman","year":"1998","unstructured":"Forman, R.: Morse theory for cell complexes. Adv. Math. 134(1), 90\u2013145 (1998). doi: 10.1006\/aima.1997.1650","journal-title":"Adv. Math."},{"key":"9356_CR20","doi-asserted-by":"crossref","first-page":"035,203","DOI":"10.1103\/PhysRevE.70.035203","volume":"70","author":"M Gameiro","year":"2004","unstructured":"Gameiro, M., Mischaikow, K., Kalies, W.: Topological characterization of spatial-temporal chaos. Phys. Rev. E 70, 035,203 (2004)","journal-title":"Phys. Rev. E"},{"issue":"1\u20133","key":"9356_CR21","doi-asserted-by":"crossref","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). doi: 10.1016\/S0022-4049(99)00006-7","journal-title":"J. Pure Appl. Algebra"},{"issue":"2","key":"9356_CR22","doi-asserted-by":"crossref","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":"9356_CR23","doi-asserted-by":"crossref","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 (2005a)","journal-title":"Homology, Homotopy Appl."},{"issue":"2\u20133","key":"9356_CR24","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/j.dam.2004.09.014","volume":"147","author":"R Gonz\u00e1lez-D\u00edaz","year":"2005","unstructured":"Gonz\u00e1lez-D\u00edaz, R., Real, P.: On the cohomology of 3D digital images. Advances in Discrete Geometry and Topology. Discret. Appl. Math. 147(2\u20133), 245\u2013263 (2005b). doi: 10.1016\/j.dam.2004.09.014","journal-title":"Discret. Appl. Math."},{"key":"9356_CR25","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez-D\u00edaz, R., Medrano, B., S\u00e1nchez-Pel\u00e1ez, J., Real, P: Simplicial perturbation techniques and effective homology. In: Ganzha, V., Mayr, E., Vorozhtsov, E. (eds.) Computer Algebra in Scientific Computing, Lecture Notes in Computer Science, vol. 4194, pp 166\u2013177. Springer, Berlin (2006). doi: 10.1007\/11870814_14","DOI":"10.1007\/11870814_14"},{"issue":"3","key":"9356_CR26","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1016\/j.dam.2008.05.029","volume":"157","author":"R Gonz\u00e1lez-D\u00edaz","year":"2009","unstructured":"Gonz\u00e1lez-D\u00edaz, R., Jim\u00e9nez, M., Medrano, B., Real, P.: Chain homotopies for object topological representations. International Conference on Discrete Geometry for Computer Imagery. Discret. Appl. Math. 157(3), 490\u2013499 (2009). doi: 10.1016\/j.dam.2008.05.029","journal-title":"Discret. Appl. Math."},{"key":"9356_CR27","unstructured":"Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2002)"},{"key":"9356_CR28","doi-asserted-by":"crossref","first-page":"1015","DOI":"10.1023\/A:1013544506151","volume":"108","author":"PR Hurado","year":"2002","unstructured":"Hurado, P.R., \u00c1lvarez, V., Armario, J.A., Gonz\u00e1lez-D\u00edaz, R.: Algorithms in algebraic topology and homological algebra: Problem of complexity. J. Math. Sci. 108, 1015\u20131033 (2002). doi: 10.1023\/A:1013544506151","journal-title":"J. Math. Sci."},{"issue":"4","key":"9356_CR29","doi-asserted-by":"crossref","first-page":"658","DOI":"10.1137\/0218045","volume":"18","author":"CS Iliopoulos","year":"1989","unstructured":"Iliopoulos, C.S.: Worst-case complexity bounds on algorithms for computing the canonical structure of finite Abelian groups and the Hermite and Smith normal forms of an integer matrix. SIAM J. Comput. 18(4), 658\u2013669 (1989). doi: 10.1137\/0218045","journal-title":"SIAM J. Comput."},{"key":"9356_CR30","volume-title":"Basic Algebra I","author":"N Jacobson","year":"2009","unstructured":"Jacobson, N., 2nd ed.: Basic Algebra I. Dover Publications, Mineola (2009)","edition":"2nd ed."},{"issue":"6","key":"9356_CR31","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1016\/j.parco.2009.01.003","volume":"35","author":"G J\u00e4ger","year":"2009","unstructured":"J\u00e4ger, G., Wagner, C.: Efficient parallelizations of Hermite and Smith normal form algorithms. Parallel Comput. 35(6), 345\u2013357 (2009). doi: 10.1016\/j.parco.2009.01.003","journal-title":"Parallel Comput."},{"key":"9356_CR32","doi-asserted-by":"crossref","unstructured":"Kaczynski, T., Mrozek, M.: The cubical cohomology ring: An algorithmic approach. Foundations of Computational Mathematics (2012). doi: 10.1007\/s10208-012-9138-4","DOI":"10.1007\/s10208-012-9138-4"},{"issue":"4","key":"9356_CR33","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/S0898-1221(97)00289-7","volume":"35","author":"T Kaczynski","year":"1998","unstructured":"Kaczynski, T., Mrozek, M., \u015alusarek, M.: Homology computation by reduction of chain complexes. Comput. Math. Appl. 35(4), 59\u201370 (1998). doi: 10.1016\/S0898-1221(97)00289-7","journal-title":"Comput. Math. Appl."},{"key":"9356_CR34","volume-title":"Computational homology, Applied Mathematical Sciences, vol. 157","author":"T Kaczynski","year":"2004","unstructured":"Kaczynski, T., Mischaikow, K., Mrozek, M.: Computational homology, Applied Mathematical Sciences, vol. 157. Springer, New York (2004)"},{"key":"9356_CR35","unstructured":"Kaczynski, T., D\u0142otko, P., Mrozek, M.: Computing the cubical cohomology ring. In: Gonz\u00e1lez D\u00edaz, R., Real Jurado, P. (eds.) Proceedings of the 3rd International Workshop on Computational Topology in Image Context (CTIC), Research Group on Computational Topology and Applied Mathematics, University of Seville, Seville, Image A, vol. 3, pp 137\u2013142 (2010)"},{"issue":"4","key":"9356_CR36","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1137\/0208040","volume":"8","author":"R Kannan","year":"1979","unstructured":"Kannan, R., Bachem, A.: Polynomial algorithms for computing the Smith and Hermite normal forms of an integer matrix. SIAM J. Comput. 8(4), 499\u2013507 (1979). doi: 10.1137\/0208040","journal-title":"SIAM J. Comput."},{"key":"9356_CR37","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1063\/1.2800365","volume":"19","author":"K Krishan","year":"2007","unstructured":"Krishan, K., Gameiro, M., Mischaikow, K., Schatz, M., Kurtuldu, H., Madruga, S.: Homology and symmetry breaking in Rayleigh-B\u00e9nard convection: Experiments and simulations. Phys. Fluids 19, 117\u2013105 (2007)","journal-title":"Phys. Fluids"},{"key":"9356_CR38","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1016\/j.jtbi.2011.12.012","volume":"297","author":"E Liz","year":"2012","unstructured":"Liz, E., Pilarczyk, P.: Global dynamics in a stage-structured discrete-time population model with harvesting. J. Theor. Biol. 297, 148\u2013165 (2012). doi: 10.1016\/j.jtbi.2011.12.012","journal-title":"J. Theor. Biol."},{"key":"9356_CR39","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4939-9063-4","volume-title":"A Basic Course in Algebraic Topology","author":"WS Massey","year":"1991","unstructured":"Massey, W.S.: A Basic Course in Algebraic Topology. Addison-Wesley, Menlo Park (1991)"},{"key":"9356_CR40","first-page":"1982","volume-title":"Simplicial objects in algebraic topology","author":"JP May","year":"1967","unstructured":"May, J.P.: Simplicial objects in algebraic topology, p 1982. The University of Chicago Press, Chicago (1967). midway reprint"},{"key":"9356_CR41","doi-asserted-by":"crossref","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). doi: 10.1007\/s10208-004-0125-2","journal-title":"Found. Comput. Math."},{"issue":"4","key":"9356_CR42","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/s10472-012-9297-7","volume":"64","author":"H Molina-Abril","year":"2012","unstructured":"Molina-Abril, H., Real, P.: Homological spanning forest framework for 2D image analysis. Ann. Math. Artif. Intell. 64(4), 385\u2013409 (2012). doi: 10.1007\/s10472-012-9297-7","journal-title":"Ann. Math. Artif. Intell."},{"issue":"11","key":"9356_CR43","doi-asserted-by":"crossref","first-page":"2395","DOI":"10.1016\/j.camwa.2007.08.044","volume":"55","author":"M Mrozek","year":"2008","unstructured":"Mrozek, M., Pilarczyk, P., \u017celazna, N.: Homology algorithm based on acyclic subspace. Comput. Math. Appl. 55(11), 2395\u20132412 (2008). doi: 10.1016\/j.camwa.2007.08.044","journal-title":"Comput. Math. Appl."},{"key":"9356_CR44","volume-title":"Elements of Algebraic Topology","author":"JR Munkres","year":"1984","unstructured":"Munkres, J.R.: Elements of Algebraic Topology. Addison-Wesley, Reading (1984)"},{"key":"9356_CR45","doi-asserted-by":"crossref","unstructured":"Niethammer, M., Stein, A., Kalies, W.D., Pilarczyk, P., Mischaikow, K., Tannenbaum, A.: Analysis of blood vessel topology by cubical homology. In: Proceedings of the International Conference on Image Processing, ICIP 2002, vol. 2, pp. 969\u2013972 (2002). doi: 10.1109\/ICIP.2002.1040114","DOI":"10.1109\/ICIP.2002.1040114"},{"issue":"8","key":"9356_CR46","doi-asserted-by":"crossref","first-page":"2462","DOI":"10.1109\/TIP.2006.877309","volume":"15","author":"M Niethammer","year":"2006","unstructured":"Niethammer, M., Kalies, W., Mischaikow, K., Tannenbaum, A.: On the detection of simple points in higher dimensions using cubical homology. IEEE Trans. Image Process. 15(8), 2462\u20132469 (2006). doi: 10.1109\/TIP.2006.877309","journal-title":"IEEE Trans. Image Process."},{"key":"9356_CR47","unstructured":"Pilarczyk P.: Chain contractions. Software and examples. http:\/\/www.pawelpilarczyk.com\/chaincon\/ (2013)"},{"issue":"10","key":"9356_CR48","doi-asserted-by":"crossref","first-page":"1149","DOI":"10.1016\/j.topol.2008.02.003","volume":"155","author":"P Pilarczyk","year":"2008","unstructured":"Pilarczyk, P., Stolot, K.: Excision-preserving cubical approach to the algorithmic computation of the discrete Conley index. Topol. Appl. 155(10), 1149\u20131162 (2008). doi: 10.1016\/j.topol.2008.02.003","journal-title":"Topol. Appl."},{"issue":"12","key":"9356_CR49","doi-asserted-by":"crossref","first-page":"125,502","DOI":"10.1088\/1751-8113\/45\/12\/125502","volume":"45","author":"P Pilarczyk","year":"2012","unstructured":"Pilarczyk, P., Garc\u00eda, L., Carreras, B.A., Llerena, I.: A dynamical model for plasma confinement transitions. J. Phys. A Math. Theor. 45(12), 125,502 (2012). doi: 10.1088\/1751-8113\/45\/12\/125502","journal-title":"J. Phys. A Math. Theor."},{"key":"9356_CR50","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). doi: 10.1007\/BF02955020","journal-title":"Ann Univ Ferrara, Nuova Ser, Sez VII Sc Mat"},{"issue":"5","key":"9356_CR51","doi-asserted-by":"crossref","first-page":"51","DOI":"10.4310\/HHA.2000.v2.n1.a5","volume":"2","author":"P Real","year":"2000","unstructured":"Real, P.: Homological perturbation theory and associativity. Homol. Homotop. Appl. 2(5), 51\u201388 (2000). doi: 10.1007\/978-3-642-02478-8_52","journal-title":"Homol. Homotop. Appl."},{"key":"9356_CR52","doi-asserted-by":"crossref","unstructured":"Real, P.: Connectivity forests for homological analysis of digital volumes. In: Cabestany, J., Sandoval, F., Prieto, A., Corchado, J. (eds.) Bio-Inspired Systems: Computational and Ambient Intelligence, Lecture Notes in Computer Science, vol. 5517, pp 415\u2013423. Springer, Berlin (2009). doi: 10.1007\/978-3-642-02478-8_52","DOI":"10.1007\/978-3-642-02478-8_52"},{"key":"9356_CR53","doi-asserted-by":"crossref","unstructured":"Real, P., Molina-Abril, H.: Cell AT-models for digital volumes. In: Torsello, A., Escolano, F., Brun, L. (eds.) Graph-Based Representations in Pattern Recognition, Lecture Notes in Computer Science, vol. 5534, pp 314\u2013323. Springer, Berlin (2009). doi: 10.1007\/978-3-642-02124-4_32","DOI":"10.1007\/978-3-642-02124-4_32"},{"key":"9356_CR54","unstructured":"Sergeraert, F.: Effective homology, a survey. http:\/\/www-fourier.ujf-grenoble.fr\/~sergerar\/Papers\/Survey.pdf (1992)"},{"issue":"1","key":"9356_CR55","doi-asserted-by":"crossref","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). doi: 10.1006\/aima.1994.1018","journal-title":"Adv. Math."},{"issue":"3","key":"9356_CR56","first-page":"425","volume":"54","author":"JP Serre","year":"1951","unstructured":"Serre, J.P.: Homologie singuli\u00e8re des espaces fibr\u00e9s. Appl. Ann. Math. 54(3), 425\u2013505 (1951)","journal-title":"Appl. Ann. Math."},{"key":"9356_CR57","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF02684292","volume":"13","author":"W Shih","year":"1962","unstructured":"Shih, W.: Homologie des espaces fibr\u00e9s. Publ. Math. IHES 13, 5\u201387 (1962)","journal-title":"Publ. Math. IHES"},{"key":"9356_CR58","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1098\/rstl.1861.0016","volume":"151","author":"HJS Smith","year":"1861","unstructured":"Smith, H.J.S.: On systems of linear indeterminate equations and congruences. Philos. Trans. 151, 293\u2013326 (1861)","journal-title":"Philos. Trans."},{"key":"9356_CR59","doi-asserted-by":"crossref","unstructured":"Storjohann A.: Near optimal algorithms for computing Smith normal forms of integer matrices. In: Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, pp. 267\u2013274. ACM, New York, NY, USA, ISSAC \u201996 (1996). doi: 10.1145\/236869.237084","DOI":"10.1145\/236869.237084"},{"key":"9356_CR60","unstructured":"Veblen, O.: Analysis situs, 2nd ed., Amer. Math. Soc. Colloq. Publ., vol 5, Part 2. Amer. Math. Soc., New York (1931)"}],"container-title":["Advances in Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10444-014-9356-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10444-014-9356-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10444-014-9356-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T06:31:28Z","timestamp":1648794688000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10444-014-9356-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,10]]},"references-count":60,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,2]]}},"alternative-id":["9356"],"URL":"https:\/\/doi.org\/10.1007\/s10444-014-9356-1","relation":{},"ISSN":["1019-7168","1572-9044"],"issn-type":[{"value":"1019-7168","type":"print"},{"value":"1572-9044","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,4,10]]}}}