Another branch of mathematics developed by Muslims is trigonometry which was established as a distinct branch of mathematics by al-Biruni. The Muslim mathematicians, especially al-Battani, Abu'l-Wafa', Ibn Yunus and Ibn al-Haytham, also developed spherical astronomy and applied it to the solution of astronomical problems.