Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Anders Mörtberg

Towards a Certified Computation of Homology Groups for Digital Images

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Cubical Agda: A Dependently Typed Programming Language With Univalence and Higher Inductive Types

Proceedings of the ACM on Programming Languages
2019English

Related publications

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