Commit 2025-06-20 12:48 ef1e003f
View on Github →feat: integral of log ∘ sin (#26172)
Compute special values of the integral of log ∘ sin
. Given that the indefinite integral involves the dilogarithm, this can be seen as computing special values of Li₂
.
This material is used in Project VD, which aims to formalize Value Distribution Theory for meromorphic functions on the complex plane.