Towards a Certified Computation of Homology Groups for Digital Images

Lecture Notes in Computer Science- Germany

doi 10.1007/978-3-642-30238-1_6

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg

Related search

Using Membrane Computing for Obtaining Homology Groups of Binary 2D Digital Images

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Reusing Integer Homology Information of Binary Digital Images

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

A Roadmap for the Computation of Persistent Homology

EPJ Data Science
ModelingComputer Science ApplicationsComputational MathematicsSimulation
2017English

A Computation in Khovanov–Rozansky Homology

Fundamenta Mathematicae
Number TheoryAlgebra
2009Slovenian

A Comparison Theorem for Lie Algebra Homology Groups

Pacific Journal of Mathematics
Mathematics
1998English

Towards a Certified Petri Net Model-Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Rigorous Subexponential Algorithm for Computation of Class Groups

Journal of the American Mathematical Society
MathematicsApplied Mathematics
1989English

Persistent Homology for Kernels, Images, and Cokernels

2009English

Equivariant K -Homology for Some Coxeter Groups

Journal of the London Mathematical Society
Mathematics
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy