curved (adj)

Straight or curved tools are normally used for rough machining, with pointed-nose tools being used for finishing.

The Strip in inserted all the way into the profile (with the curved side downwards) from below.

The formula of the relevant Hertzian equation depends on whether both bodies involved are curved or only one.