us trying to cs the math olympiad *succeeding
QuinMillard/CSing-Thailand-IMO-2015
attempts to use computer science to solve questions in the mathematics olympiad
MIT
attempts to use computer science to solve questions in the mathematics olympiad
MIT