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 full text

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
2009English

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

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

Privacy PolicyRefund Policy