I often wonder what would happen if we learned high school concepts like geometry by recreating concepts like this - maybe alongside learning the proofs, or even before.
Being able to derive proofs on tests is important, but I think equally important is to have created knowledge you can reference in the future.
This is neat. I’m actually in a Computational Geometry course this semester. Computational Geometry is pretty neat stuff and has some cool applications. Like for example mixing 3 paints to get certain ratios can be reduced to a convex hull problem where all the possible paint color ratios are contained in the triangle with the 3 points (representing the ratio of the colors of the paints) as vertices. My course doesn’t involve any coding and is more about algorithm design through pseudo code and proofs.
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.
Being able to derive proofs on tests is important, but I think equally important is to have created knowledge you can reference in the future.