In particular, why don’t mathematicians do a better job of hiding algorithms so that one can apply mathematics without knowing the underlying procedures?

Computers can execute mathematical algorithms, and you shouldn’t need to know how they work.

It seems that software engineering has been more successful at hiding leaky abstractions.