“Basic trigonometric properties put forth by Muslim mathematicians serve as basis for how GPS systems work today”