“…Darmon, Rotger, and Sols [7] have studied such points, in the broader context of Shimura curves over totally real fields, notably by computing their images under the complex Abel-Jacobi map in terms of iterated integrals. Methods have been developed by Darmon, Daub, Lichtenstein, Rotger, and Stein [5] to numerically calculate such points in the case of modular curves.…”