ChatGPT tipped me off that it's called multilateration and provided the formulas. I Google search turned up this Python code: https://github.com/glucee/Multilateration
"multilateration (MLAT) ... is a technique for determining the position of an unknown point, such as a vehicle, based on measurement of the times of arrival (TOAs) of energy waves traveling between the unknown point and multiple stations at known locations."