Pagina di Roberto Tocco
10.4.53
$$\int_0^z \text{Bi} (-t)dt=-\pi[\text{Bi}'(-z) \text{Gi} (-z)-\text{Bi}(-z)\text{Gi}'(-z)]$$