|
|
(3 intermediate revisions by the same user not shown) |
| Property / constraint |
| |
0<y<x
|
| Property / constraint: / rank |
| | Normal rank |
| Property / Symbols used |
| | |
| Property / Symbols used: Carlson’s combination of inverse circular and inverse hyperbolic functions / rank |
| | Normal rank |
| Property / Symbols used: Carlson’s combination of inverse circular and inverse hyperbolic functions / qualifier |
| | test:
\CarlsonellintRC@{\NVar{x}}{\NVar{y}}
|
| Property / Symbols used: Carlson’s combination of inverse circular and inverse hyperbolic functions / qualifier |
| | |
| Property / Symbols used |
| | |
| Property / Symbols used: Q11248 / rank |
| | Normal rank |
| Property / Symbols used: Q11248 / qualifier |
| | test:
\atanh@@{\NVar{z}}
|
| Property / Symbols used: Q11248 / qualifier |
| | |
| Property / Symbols used |
| | |
| Property / Symbols used: principal branch of logarithm function / rank |
| | Normal rank |
| Property / Symbols used: principal branch of logarithm function / qualifier |
| | test:
\ln@@{\NVar{z}}
|
| Property / Symbols used: principal branch of logarithm function / qualifier |
| | |