_id,doi,title
6774,10.1007/s41468-018-0021-5,Computing simplicial representatives of homotopy group elements
5960,10.1177/0278364918808367,Proving the existence of loops in robot trajectories
568,10.4310/HHA.2017.v19.n2.a16,Persistence of zero sets
1408,10.1007/s00454-016-9794-2,On computability and triviality of well groups
1510,10.4230/LIPIcs.SOCG.2015.842,On computability and triviality of well groups