Certified Mapper: Repeated testing for acyclicity and obstructions to the nerve lemma - Mikael Vejdemo-Johansson; Alisa Leshchenko (2018)