Assumptions:
TeX:
R_J\!\left(x, x, x, x\right) = {x}^{-3 / 2}
x \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| CarlsonRJ | Carlson symmetric elliptic integral of the third kind | |
| Pow | Power | |
| CC | Complex numbers |
Source code for this entry:
Entry(ID("4c882a"),
Formula(Equal(CarlsonRJ(x, x, x, x), Pow(x, Neg(Div(3, 2))))),
Variables(x),
Assumptions(Element(x, CC)))