We use computational assist approach to tackle some challenging and interesting problems in number theory and combinatorics, such as Markoff-Hurwitz equations, integer ma[...]

Monte-Carlo (MC) tree search is a new research field. Its effectiveness in searching large state spaces, such as the Go game tree, is well recognized in the computer Go c[...]