En 1070 escribió su famoso trabajo de álgebra "Tratado sobre demostraciones de problemas de álgebra", que contiene una completa clasificación de ecuaciones cúbicas resueltas geométricamente, mediante la intersección de secciones cónicas.