ابن البناء: مرجع أوروبا في علوم الجبر والفلك