Then, Figure 1: Co-Simmate speeds up Co-Simrank by aggregating more first terms of S in (6) at each step Proof.
successive substitution in (4) produces proving (10) is equivalent to showing that To show (12), we will use induction on k. 1.