Hacia el 980-985, escribió un comentario al Calculus de Victor de Aquitania.