You're absolutely right, formal computational geometry is more biased towards exact algorithms and their associated complexities - specifically solving problems

You're absolutely right, formal computational geometry is more biased towards exact algorithms and their associated complexities - specifically solving problems that more often than not have a geometric structure associated with them. It is however fun from time to time to have some visual tangible results too otherwise things do get a bit dry.