Journal: JIKM

Volume 2017, Issue 2

0 -- 0Manuel Eberl. Buffon's Needle Problem
0 -- 0Peter Lammich, S. Reza Sefidgar. Flow Networks and the Min-Cut-Max-Flow Theorem
0 -- 0Peter Lammich, S. Reza Sefidgar. Formalizing Push-Relabel Algorithms