The pedalion, applicable to trigonometry, navigation, astronomy, &c [electronic resource]