Al latín fueron vertidos sus "Fundamenta tabularum astronomicarum" (1154).