Plato Tiburtinus (Plato of Tivoli), active 1116-1138, Italian mathematician, astronomer and translator