{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T11:03:08Z","timestamp":1780484588551,"version":"3.54.1"},"reference-count":57,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2015,6,20]],"date-time":"2015-06-20T00:00:00Z","timestamp":1434758400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Found Comput Math"],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1007\/s10208-015-9266-8","type":"journal-article","created":{"date-parts":[[2015,6,19]],"date-time":"2015-06-19T14:17:29Z","timestamp":1434723449000},"page":"875-897","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":27,"title":["Discrete Morse Theory for Computing Cellular Sheaf Cohomology"],"prefix":"10.1007","volume":"16","author":[{"given":"Justin","family":"Curry","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robert","family":"Ghrist","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vidit","family":"Nanda","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,6,20]]},"reference":[{"key":"9266_CR1","doi-asserted-by":"crossref","unstructured":"R. Adler, The Geometry of Random Fields, (Wiley, 1981 and reprinted by SIAM, 2010).","DOI":"10.1137\/1.9780898718980"},{"key":"9266_CR2","unstructured":"R. Adler and J.E. Taylor, Random Fields and Geometry (Springer, 2009)."},{"key":"9266_CR3","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1007\/BF01451612","volume":"98","author":"P Alexandroff","year":"1928","unstructured":"P. Alexandroff. \u00dcber den allgemeinen Dimensionsbegriff und seine Beziehungen zur elementaren geometrischen Anschauung. Math. Ann., 98, 617\u2013635 (1928).","journal-title":"Math. Ann."},{"issue":"3","key":"9266_CR4","doi-asserted-by":"crossref","first-page":"757","DOI":"10.1137\/080734935","volume":"8","author":"Z Arai","year":"2009","unstructured":"Z. Arai, W. Kalies, H. Kokubu, K. Mischaikow, H. Oka, and Pl. Pilarczyk, A Database Schema for the Analysis of Global Dynamics of Multiparameter Systems, SIAM J. Appl. Dyn. Syst., 8(3), 757\u2013789 (2009).","journal-title":"SIAM J. Appl. Dyn. Syst"},{"issue":"3","key":"9266_CR5","doi-asserted-by":"crossref","first-page":"825","DOI":"10.1137\/070687293","volume":"70","author":"Y Baryshnikov","year":"2009","unstructured":"Y. Baryshnikov and R. Ghrist, Target enumeration via Euler characteristic integrals, SIAM J. Appl. Math., 70(3), 825\u2013844 (2009).","journal-title":"SIAM J. Appl. Math."},{"issue":"21","key":"9266_CR6","doi-asserted-by":"crossref","first-page":"9525","DOI":"10.1073\/pnas.0910927107","volume":"107","author":"Y Baryshnikov","year":"2010","unstructured":"Y. Baryshnikov and R. Ghrist, Euler integration over definable functions, Proc. Natl. Acad. Sci. USA 107(21), 9525\u20139530 (2010).","journal-title":"Proc. Natl. Acad. Sci. USA"},{"issue":"1","key":"9266_CR7","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/s10208-014-9222-z","volume":"15","author":"S Basu","year":"2015","unstructured":"S. Basu, A complexity theory of constructible functions and sheaves, Found. Comput. Math., 15(1), 199\u2013279 (2015).","journal-title":"Found. Comput. Math."},{"key":"9266_CR8","first-page":"147","volume":"543","author":"E Batzies","year":"2002","unstructured":"E. Batzies and V. Welker. Discrete Morse theory for cellular resolutions. J. Reine Angew. Math., 543:147\u2013168 (2002).","journal-title":"J. Reine Angew. Math."},{"issue":"1","key":"9266_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0273-0979-1989-15750-9","volume":"21","author":"L Blum","year":"1989","unstructured":"L. Blum, M. Shub, and S. Smale, On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines, Bull. Amer. Math. Soc. (N.S.) 21(1), 1\u201346 (1989).","journal-title":"Bull. Amer. Math. Soc. (N.S.)"},{"key":"9266_CR10","doi-asserted-by":"crossref","first-page":"217","DOI":"10.4064\/fm-35-1-217-234","volume":"35","author":"K Borsuk","year":"1948","unstructured":"K. Borsuk. On the imbedding of systems of compacta in simplicial complexes. Fund. Math. 35, 217\u2013234 (1948).","journal-title":"Fund. Math."},{"key":"9266_CR11","doi-asserted-by":"crossref","unstructured":"G. E. Bredon. Sheaf Theory, (Springer, 1997)","DOI":"10.1007\/978-1-4612-0647-7"},{"issue":"1","key":"9266_CR12","first-page":"1","volume":"50","author":"D Burghelea","year":"2011","unstructured":"D. Burghelea and T. K. Dey. Topological persistence for circle-valued maps. Discrete and Computational Geometry, 50(1):1\u201330 (2011).","journal-title":"Discrete and Computational Geometry"},{"issue":"2","key":"9266_CR13","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1090\/S0273-0979-09-01249-X","volume":"46","author":"G Carlsson","year":"2009","unstructured":"G. Carlsson. Topology and data. Bull. Amer. Math. Soc. (N.S.), 46(2), 255\u2013308 (2009).","journal-title":"Bull. Amer. Math. Soc. (N.S.)"},{"key":"9266_CR14","doi-asserted-by":"crossref","unstructured":"G. Carlsson, V. de Silva, and D. Morozov. Zigzag persistent homology and real-valued functions. Proc. Ann. Sympos. Comp. Geom., 247\u2013256 (2009).","DOI":"10.1145\/1542362.1542408"},{"issue":"1\u20133","key":"9266_CR15","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/S0012-365X(99)00258-7","volume":"217","author":"MK Chari","year":"2000","unstructured":"M. K. Chari. On discrete Morse functions and combinatorial decompositions. Discrete Math., 217(1\u20133) 101\u2013113 (2000).","journal-title":"Discrete Math."},{"key":"9266_CR16","unstructured":"J. Curry. Sheaves, cosheaves and applications. arXiv:1303.3255 [math.AT](2013)."},{"key":"9266_CR17","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1090\/psapm\/070\/589","volume":"70","author":"J Curry","year":"2012","unstructured":"J. Curry, R. Ghrist, and M. Robinson. Euler calculus and its applications to signals and sensing. Proc. Sympos. Appl. Math. 70, 75\u2013145 (2012).","journal-title":"Proc. Sympos. Appl. Math."},{"key":"9266_CR18","doi-asserted-by":"crossref","first-page":"1205","DOI":"10.1177\/0278364906072252","volume":"25","author":"V Silva de","year":"2006","unstructured":"V. de Silva and R. Ghrist. Coordinate-free coverage in sensor networks with controlled boundaries via homology, Intl. J. Robotics Research 25, 1205\u20131222 (2006).","journal-title":"Intl. J. Robotics Research"},{"key":"9266_CR19","doi-asserted-by":"crossref","first-page":"339","DOI":"10.2140\/agt.2007.7.339","volume":"7","author":"V Silva de","year":"2007","unstructured":"V. de Silva and R. Ghrist. Coverage in sensor networks via persistent homology, Algebr. Geom. Topol., 7, 339\u2013358 (2007).","journal-title":"Algebr. Geom. Topol."},{"issue":"4","key":"9266_CR20","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1007\/s00454-011-9344-x","volume":"45","author":"V Silva de","year":"2011","unstructured":"V. de Silva, D. Morozov, and M. Vejdemo-Johansson. Persistent Cohomology and Circular Coordinates. Discrete Comput. Geom., 45(4), 737\u2013759 (2011).","journal-title":"Discrete Comput. Geom."},{"key":"9266_CR21","doi-asserted-by":"crossref","unstructured":"V. de Silva, E. Munch, and A. Patel. Categorified Reeb graphs. arXiv:1501.04147 [cs.CG], (2015).","DOI":"10.1007\/s00454-016-9763-9"},{"issue":"4","key":"9266_CR22","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1007\/s00454-002-2885-2","volume":"28","author":"H Edelsbrunner","year":"2002","unstructured":"H. Edelsbrunner, D. Letscher, and A. Zomorodian. Topological persistence and simplification. Discrete Comput. Geom., 28(4):511\u2013533 (2002).","journal-title":"Discrete Comput. Geom."},{"key":"9266_CR23","doi-asserted-by":"crossref","unstructured":"H. Edelsbrunner, J. Harer, Computational Topology. An Introduction, (American Mathematical Society, 2010).","DOI":"10.1090\/mbk\/069"},{"key":"9266_CR24","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/s00454-002-0760-9","volume":"29","author":"M Farber","year":"2003","unstructured":"M. Farber. Topological Complexity of Motion Planning. Discrete Comput. Geom. 29, 211\u2013221 (2003).","journal-title":"Discrete Comput. Geom."},{"key":"9266_CR25","doi-asserted-by":"crossref","unstructured":"M. Farber. Collision free motion planning on graphs. In Algorithmic Foundations of Robotics IV, (M. Erdmann, D. Hsu, M. Overmars, A. F. van der Stappen eds.), Springer, 2005, pp. 123\u2013138.","DOI":"10.1007\/10991541_10"},{"issue":"1","key":"9266_CR26","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1006\/aima.1997.1650","volume":"134","author":"R Forman","year":"1998","unstructured":"R. Forman. Morse theory for cell complexes. Advances in Mathematics, 134(1), 90\u2013145 (1998).","journal-title":"Advances in Mathematics"},{"key":"9266_CR27","doi-asserted-by":"crossref","unstructured":"R. Ghrist, Configuration spaces, braids, and robotics. Lecture Note Series, Inst. Math. Sci., NUS, vol. 19, World Scientific, 263\u2013304 (2010).","DOI":"10.1142\/9789814291415_0004"},{"key":"9266_CR28","unstructured":"R. Ghrist, Elementary Applied Topology, (Createspace, 2014)."},{"key":"9266_CR29","unstructured":"R. Ghrist and Y. Hiraoka. Sheaves for network coding. In Proc. NOLTA: Nonlinear Theory and Applications, 266\u2013269, (2011)."},{"key":"9266_CR30","doi-asserted-by":"crossref","unstructured":"R. Ghrist and S. Krishnan. A topological max-flow-min-cut theorem. In Proc. Global Sig. Inf. Proc., 815\u2013818 (2013).","DOI":"10.1109\/GlobalSIP.2013.6737016"},{"issue":"2","key":"9266_CR31","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1017\/S0960129500001420","volume":"2","author":"JA Goguen","year":"1992","unstructured":"J. A. Goguen. Sheaf semantics for concurrent interacting objects. Mathematical Structures in Computer Science, 2(2) 159\u2013191, (1992).","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1","key":"9266_CR32","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/s10208-013-9145-0","volume":"14","author":"S Harker","year":"2014","unstructured":"S. Harker, K. Mischaikow, M. Mrozek, and V. Nanda. Discrete Morse theoretic algorithms for computing homology of complexes and maps. Found. Comput.l Math. 14(1), 151\u2013184 (2014).","journal-title":"Found. Comput. l Math"},{"key":"9266_CR33","doi-asserted-by":"crossref","unstructured":"G. Haynes, F. Cohen, and D. Koditschek. Gait Transitions for Quasi-Static Hexapedal Locomotion on Level Ground. in International Symposium of Robotics Research, Springer, 2011, pp 105\u2013121.","DOI":"10.1007\/978-3-642-19457-3_7"},{"key":"9266_CR34","doi-asserted-by":"crossref","unstructured":"T. Kaczynski, K. Mischaikow, and M. Mrozek. Computational Homology (Springer-Verlag, 2004).","DOI":"10.1007\/b97315"},{"issue":"12","key":"9266_CR35","doi-asserted-by":"crossref","first-page":"867","DOI":"10.1016\/j.crma.2005.04.036","volume":"340","author":"D Kozlov","year":"2005","unstructured":"D. Kozlov. Discrete Morse theory for free chain complexes. C. R. Math., 340(12), 867\u2013872 (2005).","journal-title":"C. R. Math."},{"key":"9266_CR36","unstructured":"S. Krishnan. Flow-cut duality for sheaves on graphs. arXiv:1409.6712 [math.AT], (2014)."},{"issue":"9","key":"9266_CR37","first-page":"95","volume":"24","author":"J Leray","year":"1945","unstructured":"J. Leray. Sur la forme des espaces topologiques et sur les points fixes des repr\u00e9sentations. J. Math. Pures Appl., 24(9), 95\u2013167 (1945).","journal-title":"J. Math. Pures Appl."},{"key":"9266_CR38","unstructured":"R. H. Lewis and A. Zomorodian. Multicore homology. arXiv:1407.2275 [cs.CG], (2014)."},{"key":"9266_CR39","unstructured":"R. MacPherson and A. Patel. Private communication, 2013."},{"key":"9266_CR40","doi-asserted-by":"crossref","unstructured":"J. McCleary. A User\u2019s Guide to Spectral Sequences, (Cambridge University Press, 2001).","DOI":"10.1017\/CBO9780511626289"},{"key":"9266_CR41","doi-asserted-by":"crossref","unstructured":"K. Mischaikow and M. Mrozek, Conley Index Theory. In Handbook of Dynamical Systems II: Towards Applications, (B. Fiedler, ed.) North-Holland, 2002, pp 393\u2013460.","DOI":"10.1016\/S1874-575X(02)80030-3"},{"issue":"2","key":"9266_CR42","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1007\/s00454-013-9529-6","volume":"50","author":"K Mischaikow","year":"2013","unstructured":"K. Mischaikow and V. Nanda. Morse theory for filtrations and efficient computation of persistent homology. Discrete Comput. Geom., 50(2), 330\u2013353 (2013).","journal-title":"Discrete Comput. Geom."},{"issue":"1","key":"9266_CR43","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/s00454-008-9073-y","volume":"41","author":"M Mrozek","year":"2009","unstructured":"M. Mrozek and B. Batko. The coreduction homology algorithm. Discrete Comput. Geom., 41(1), 96\u2013118 (2009).","journal-title":"Discrete Comput. Geom."},{"key":"9266_CR44","unstructured":"J. Munkres. Elements of Algebraic Topology. (Benjamin\/Cummings, 1984)."},{"key":"9266_CR45","doi-asserted-by":"crossref","unstructured":"S. Ramanan. Global Calculus. (American Mathematical Society, 2005).","DOI":"10.1090\/gsm\/065"},{"key":"9266_CR46","unstructured":"M. Robinson. The Nyquist theorem for cellular sheaves. Proc. Sampling Theory and Applications, 2013, pp 293\u2013296."},{"issue":"1","key":"9266_CR47","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0022-4049(91)90131-K","volume":"72","author":"P Schapira","year":"1991","unstructured":"P. Schapira. Operations on constructible functions. J. Pure Appl. Algebra, 72(1), 83\u201393 (1991).","journal-title":"J. Pure Appl. Algebra"},{"key":"9266_CR48","doi-asserted-by":"crossref","unstructured":"P. Schapira. Tomography of constructible functions. In Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, Springer, 1995, pp. 427\u2013435.","DOI":"10.1007\/3-540-60114-7_33"},{"key":"9266_CR49","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/BF02684591","volume":"34","author":"G Segal","year":"1968","unstructured":"G. Segal. Classifying spaces and spectral sequences. Inst. Hautes \u00c9tudes Sci. Publ. Math., 34, 105\u2013112, (1968).","journal-title":"Inst. Hautes \u00c9tudes Sci. Publ. Math."},{"key":"9266_CR50","unstructured":"A. Shepard. A Cellular Description of the Derived Category of a Stratified Space. Brown University PhD Thesis, 1985."},{"issue":"1","key":"9266_CR51","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1090\/S0002-9947-05-04079-1","volume":"358","author":"E Sk\u00f6ldberg","year":"2006","unstructured":"E. Sk\u00f6ldberg. Morse theory from an algebraic viewpoint. Trans. Amer. Math. Soc., 358(1), 115\u2013129 (2006).","journal-title":"Trans. Amer. Math. Soc."},{"key":"9266_CR52","doi-asserted-by":"crossref","unstructured":"E. H. Spanier. Algebraic Topology. (McGraw-Hill, 1966).","DOI":"10.1007\/978-1-4684-9322-1_5"},{"key":"9266_CR53","unstructured":"M. Vybornov. Sheaves on triangulated spaces and Koszul duality. arXiv:math\/9910150 [math.AT], 2000."},{"key":"9266_CR54","doi-asserted-by":"crossref","unstructured":"C. A. Weibel. An Introduction to Homological Algebra, (Cambridge University Press, 1995).","DOI":"10.1017\/CBO9781139644136"},{"issue":"5","key":"9266_CR55","first-page":"453","volume":"55","author":"JHC Whitehead","year":"1949","unstructured":"J. H. C. Whitehead. Combinatorial homotopy I. Trans. Amer. Math. Soc., 55(5), 453\u2013496 (1949).","journal-title":"Trans. Amer. Math. Soc."},{"issue":"2","key":"9266_CR56","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/s00454-004-1146-y","volume":"33","author":"A Zomorodian","year":"2005","unstructured":"A. Zomorodian and G. Carlsson. Computing persistent homology. Discrete Comput. Geom., 33(2), 249\u2013274 (2005).","journal-title":"Discrete Comput. Geom."},{"issue":"3","key":"9266_CR57","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1016\/j.comgeo.2008.02.003","volume":"41","author":"A Zomorodian","year":"2008","unstructured":"A. Zomorodian and G. Carlsson. Localized homology. Comput. Geom., 41(3), 126\u2013148, (2008).","journal-title":"Comput. Geom."}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-015-9266-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10208-015-9266-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-015-9266-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,27]],"date-time":"2019-08-27T07:18:24Z","timestamp":1566890304000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10208-015-9266-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,20]]},"references-count":57,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,8]]}},"alternative-id":["9266"],"URL":"https:\/\/doi.org\/10.1007\/s10208-015-9266-8","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,6,20]]}}}