Blackbox computation of $A_{\infty }$-algebras

Mikael Vejdemo-Johansson

Kadeishvili's proof of the minimality theorem induces an algorithm for the inductive computation of an $A_{\infty }$-algebra structure on the homology of a dg-algebra. In this paper,…