Написал «Книгу о рациональных и иррациональных величинах», «Книгу о доказательстве того, что если прямая линия пересекает две другие прямые, лежащие в одной плоскости, то два внутренних односторонних угла меньше двух прямых углов», «Книгу о делении прямой линии пополам».