add formulaeApp paper