Abstract
AbstractBased on Kadeishvili’s original theorem inducing{A_{\infty}}-algebra structures on the homology of dg-algebras, several directions of algorithmic research in{A_{\infty}}-algebras have been pursued. In this paper, we survey the work done on calculating explicit{A_{\infty}}-algebra structures from homotopy retractions, in group cohomology and in persistent homology.
Reference64 articles.
1. The Magma algebra system. I. The user language;J. Symbolic Comput.,1997
2. Stability of persistence diagrams;Discrete Comput. Geom.,2007
3. A∞{A_{\infty}}-coalgebra structure on the ℤp{\mathbb{Z}_{p}}-homology of Eilenberg–Mac Lane spaces;Preprint,2004
4. On the theory of homology of fiber spaces;Uspekhi Mat. Nauk,1980
5. A computational approach of A∞{A_{\infty}}-(co)algebras;Int. J. Comput. Math.,2010