{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T09:20:23Z","timestamp":1771492823167,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662441985","type":"print"},{"value":"9783662441992","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44199-2_27","type":"book-chapter","created":{"date-parts":[[2014,7,31]],"date-time":"2014-07-31T22:17:11Z","timestamp":1406845031000},"page":"160-166","source":"Crossref","is-referenced-by-count":4,"title":["CAPD::RedHom v2 - Homology Software Based on Reduction Algorithms"],"prefix":"10.1007","author":[{"given":"Mateusz","family":"Juda","sequence":"first","affiliation":[]},{"given":"Marian","family":"Mrozek","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/s00454-010-9303-y","volume":"46","author":"P. D\u0142otko","year":"2011","unstructured":"D\u0142otko, P., Kaczynski, T., Mrozek, M., Wanner, T.: Coreduction Homology Algorithm for Regular CW-Complexes. Discrete and Computational Geometry\u00a046, 361\u2013388 (2011), doi:10.1007\/s00454-010-9303-y","journal-title":"Discrete and Computational Geometry"},{"key":"27_CR2","doi-asserted-by":"publisher","first-page":"3765","DOI":"10.1016\/j.cma.2009.08.007","volume":"198","author":"P. D\u0142otko","year":"2009","unstructured":"D\u0142otko, P., Specogna, R., Trevisan, F.: Automatic generation of cuts on large-sized meshes for the T-Omega geometric eddy-current formulation. Computer Methods in Applied Mechanics and Engineering\u00a0198, 3765\u20133781 (2009)","journal-title":"Computer Methods in Applied Mechanics and Engineering"},{"key":"27_CR3","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/s00454-002-2885-2","volume":"28","author":"H. Edelsbrunner","year":"2002","unstructured":"Edelsbrunner, H., Letscher, D., Zomorodian, A.: Topological Persistence and Simplification. Discrete and Computational Geometry\u00a028, 511\u2013533 (2002)","journal-title":"Discrete and Computational Geometry"},{"key":"27_CR4","unstructured":"Harker, S., Mischaikow, K., Mrozek, M., Nanda, V., Wagner, H., Juda, M., D\u0142otko, P.: The Efficiency of a Homology Algorithm based on Discrete Morse Theory and Coreductions. In: Diaz, R.G., Jurado, P.R. (eds.) Proceedings of the 3rd International Workshop on Computational Topology in Image Context, Chipiona, Spain, Image A, vol.\u00a01, pp. 41\u201347 (November 2010) ISSN: 1885-4508"},{"key":"27_CR5","first-page":"137","volume":"40","author":"M. Juda","year":"2012","unstructured":"Juda, M., Mrozek, M.: Z\n                  2-Homology of weak (p\u2009\u2212\u20092)-faceless p-manifolds may be computed in O(n) time. Topological Methods in Nonlinear Analysis\u00a040, 137\u2013159 (2012)","journal-title":"Topological Methods in Nonlinear Analysis"},{"key":"27_CR6","unstructured":"Kaczynski, T., D\u0142otko, P., Mrozek, M.: Computing the Cubical Cohomology Ring. In: Diaz, R.G., Jurado, P.R. (eds.) Proceedings of the 3rd International Workshop on Computational Topology in Image Context, Chipiona, Spain, Image A, vol.\u00a03, pp. 137\u2013142 (2010) ISSN: 1885-4508"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Kaczynski, T., Mischaikow, M., Mrozek, M.: Computational Homology. Applied Mathematical Sciences, vol. 157. Springer-Verlag (2004)","DOI":"10.1007\/b97315"},{"key":"27_CR8","doi-asserted-by":"publisher","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. Computers and Math. Appl.\u00a035, 59\u201370 (1998)","journal-title":"Computers and Math. Appl."},{"key":"27_CR9","unstructured":"Kapela, T., Mrozek, M., Pilarczyk, P., Wilczak, D., Zgliczy\u0144ski, P.: CAPD - a Rigorous Toolbox for Computer Assisted Proofs in Dynamics, technical report, Jagiellonian University (2010)"},{"key":"27_CR10","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1090\/S0273-0979-1995-00558-6","volume":"33","author":"K. Mischaikow","year":"1995","unstructured":"Mischaikow, K., Mrozek, M.: Chaos in Lorenz equations: a computer assisted proof. Bull. AMS (N.S.)\u00a033, 66\u201372 (1995)","journal-title":"Bull. AMS (N.S.)"},{"key":"27_CR11","doi-asserted-by":"publisher","first-page":"1023","DOI":"10.1090\/S0025-5718-98-00945-4","volume":"67","author":"K. Mischaikow","year":"1998","unstructured":"Mischaikow, K., Mrozek, M.: Chaos in the Lorenz equations: a computer assisted proof. Part II: details. Mathematics of Computation\u00a067, 1023\u20131046 (1998)","journal-title":"Mathematics of Computation"},{"key":"27_CR12","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. Comp. Mathematics\u00a05, 199\u2013229 (2005)","journal-title":"Found. Comp. Mathematics"},{"key":"27_CR13","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/s10208-005-0182-1","volume":"6","author":"M. Mrozek","year":"2006","unstructured":"Mrozek, M.: Index Pairs Algorithms. Found. Comp. Mathematics\u00a06, 457\u2013493 (2006)","journal-title":"Found. Comp. Mathematics"},{"issue":"3","key":"27_CR14","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1007\/s00454-010-9255-2","volume":"44","author":"M. Mrozek","year":"2010","unstructured":"Mrozek, M.: \u010cech Type Approach to Computing Homology of Maps. Discrete and Computational Geometry\u00a044(3), 546\u2013576 (2010), doi:10.1007\/s00454-010-9255-2.","journal-title":"Discrete and Computational Geometry"},{"key":"27_CR15","doi-asserted-by":"publisher","first-page":"2395","DOI":"10.1016\/j.camwa.2007.08.044","volume":"55","author":"M. Mrozek","year":"2008","unstructured":"Mrozek, M., Pilarczyk, P., \u017belazna, N.: Homology algorithm based on acyclic subspace. Computers and Mathematics with Applications\u00a055, 2395\u20132412 (2008)","journal-title":"Computers and Mathematics with Applications"},{"key":"27_CR16","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/s00454-008-9073-y","volume":"41","author":"M. Mrozek","year":"2009","unstructured":"Mrozek, M., Batko, B.: Coreduction homology algorithm. Discrete and Computational Geometry\u00a041, 96\u2013118 (2009)","journal-title":"Discrete and Computational Geometry"},{"issue":"10","key":"27_CR17","doi-asserted-by":"publisher","first-page":"2812","DOI":"10.1016\/j.camwa.2010.09.036","volume":"60","author":"M. Mrozek","year":"2010","unstructured":"Mrozek, M., Wanner, T.: Coreduction homology algorithm for inclusions and persistent homology. Computers and Mathematics with Applications\u00a060(10), 2812\u20132833 (2010), doi:10.1016\/j.camwa.2010.09.036","journal-title":"Computers and Mathematics with Applications"},{"key":"27_CR18","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/j.patcog.2011.04.020","volume":"45","author":"M. Mrozek","year":"2012","unstructured":"Mrozek, M., \u017belawski, M., Gryglewski, A., Han, S., Krajniak, A.: Homological methods for extraction and analysis of linear features in multidimensional images. Pattern Recognition\u00a045, 285\u2013298 (2012)","journal-title":"Pattern Recognition"},{"key":"27_CR19","doi-asserted-by":"crossref","first-page":"365","DOI":"10.12775\/TMNA.1999.019","volume":"13","author":"P. Pilarczyk","year":"1999","unstructured":"Pilarczyk, P.: Computer assisted method for proving existence of periodic orbits. Topological Methods in Nonlinear Analysis\u00a013, 365\u2013377 (1999)","journal-title":"Topological Methods in Nonlinear Analysis"},{"key":"27_CR20","unstructured":"Koonin, J.: Topology of eigenspace posets for imprimitive reflection groups, \n                    \n                      http:\/\/arxiv.org\/abs\/1208.4435"},{"key":"27_CR21","unstructured":"Computer Assisted Proofs in Dynamics, \n                    \n                      http:\/\/capd.ii.uj.edu.pl\/"},{"key":"27_CR22","unstructured":"Reduction Homology Algorithms, \n                    \n                      http:\/\/redhom.ii.uj.edu.pl\/"},{"key":"27_CR23","unstructured":"Computational Homology Project, \n                    \n                      http:\/\/chomp.rutgers.edu\/"},{"key":"27_CR24","unstructured":"GAP System, \n                    \n                      http:\/\/www.gap-system.org\/"},{"key":"27_CR25","unstructured":"Sage, \n                    \n                      http:\/\/www.sagemath.org\/"},{"key":"27_CR26","unstructured":"Linbox, \n                    \n                      http:\/\/www.eecis.udel.edu\/~dumas\/Homology\/"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44199-2_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T13:46:08Z","timestamp":1558964768000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44199-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662441985","9783662441992"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44199-2_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}