Kitāb nihāya al-sūl fī taṣḥīḥ al-uṣūl by Ibn al-Shatir (source code)

= Kitāb nihāya al-sūl fī taṣḥīḥ al-uṣūl by Ibn al-Shatir
{c}
{tag=Work by Ibn al-Shatir}
{tag=Work by Erwan Penchèvre}
{title2=2017 critical edition, revised 2021}
{title2=arXiv:1709.04965}

https://arxiv.org/abs/1709.04965

Arabic text, French translation and mathematical commentary by <Erwan Penchèvre>. The introduction distinguishes the surviving exposition from the lost observational work and describes manuscript witnesses. The mathematical commentary gives modern reconstructions rather than attributing all of its proof notation to the original author.