Automatic calculation of minimum crossing numbers of 3-braids. - Hakan Simsek; Mustafa Bayram; Ismail Can (Appl. Math. Comput., 2003)