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)]$$