historically included travelling salesman problem minimum spanning trees hidden line removal linear programming ref name preparatashamos ref although young area geometry many applications computer vision image processing computer aided design medical imaging etc ref name guyau ref geometric group theory cayley graph free group two generators ''a'' ''b'' geometric group theory uses large scale geometric techniques study finitely generated groups ref name l h ref closely connected low dimensional topology grigori perelman 's proof geometrization conjecture included proof poincar conjecture millennium prize problem ref name morgantian ref geometric group theory
Formal science Mathematics Pure mathematics Geometry