Did you know that although mathematician Vojtěch Jarník is known to computer scientists for his minimum spanning tree algorithm , his main work was in number theory ?