Proving properties of multidimensional recurrences with application to regular parallel algorithms | IEEE Conference Publication | IEEE Xplore