暂无分享,去创建一个
[1] H. Edelsbrunner,et al. Persistent Homology — a Survey , 2022 .
[2] Jónathan Heras,et al. Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging , 2012, AISC/MKM/Calculemus.
[3] Jónathan Heras,et al. Towards a Certified Computation of Homology Groups for Digital Images , 2012, CTIC.
[4] Jónathan Heras,et al. A Certified Module to Study Digital Images with the Kenzo System , 2011, EUROCAST.
[5] W. S. Rasband,et al. ImageJ: Image processing and analysis in Java , 2012 .
[6] Gunnar E. Carlsson,et al. Zigzag Persistence , 2008, Found. Comput. Math..
[7] Jónathan Heras,et al. Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy , 2013, MKM/Calculemus/DML.
[8] Johannes E. Schindelin,et al. Fiji: an open-source platform for biological-image analysis , 2012, Nature Methods.
[9] Jónathan Heras,et al. Defining and computing persistent Z-homology in the general case , 2014, ArXiv.
[10] R. Forman. Morse Theory for Cell Complexes , 1998 .
[11] E Meijering,et al. Design and validation of a tool for neurite tracing and analysis in fluorescence microscopy images , 2004, Cytometry. Part A : the journal of the International Society for Analytical Cytology.
[12] Pierre Castéran,et al. Interactive Theorem Proving and Program Development , 2004, Texts in Theoretical Computer Science An EATCS Series.
[13] Roman Mikhailov,et al. On homotopy groups of the suspended classifying spaces , 2009, 0908.3580.
[14] Ana Romero,et al. Discrete Vector Fields and Fundamental Algebraic Topology , 2010, ArXiv.
[15] Thierry Coquand,et al. Computing persistent homology within Coq/SSReflect , 2013, TOCL.
[16] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.
[17] Ana Romero,et al. Homotopy groups of suspended classifying spaces: An experimental approach , 2013, Math. Comput..