A 9th-century Arab astronomer and mathematician.