mirror of
https://github.com/fleschutz/PowerShell.git
synced 2024-12-16 11:40:53 +01:00
10 KiB
10 KiB
1 | ABBR | TERM |
---|---|---|
2 | a.c. | absolutely continuous. |
3 | acrd | inverse chord function. |
4 | ad | adjoint representation (or adjoint action) of a Lie group. |
5 | adj | adjugate of a matrix. |
6 | a.e. | almost everywhere. |
7 | Ai | Airy function. |
8 | AL | Action limit. |
9 | Alt | alternating group (Alt(n) is also written as An.) |
10 | A.M. | arithmetic mean. |
11 | arccos | inverse cosine function. |
12 | arccosec | inverse cosecant function. (Also written as arccsc.) |
13 | arccot | inverse cotangent function. |
14 | arccsc | inverse cosecant function. (Also written as arccosec.) |
15 | arcexs | inverse exsecant function. (Also written as arcexsec.) |
16 | arcexsec | inverse exsecant function. (Also written as arcexs.) |
17 | arcosech | inverse hyperbolic cosecant function. (Also written as arcsch.) |
18 | arcosh | inverse hyperbolic cosine function. |
19 | arcoth | inverse hyperbolic cotangent function. |
20 | arcsch | inverse hyperbolic cosecant function. (Also written as arcosech.) |
21 | arcsec | inverse secant function. |
22 | arcsin | inverse sine function. |
23 | arctan | inverse tangent function. |
24 | arctan2 | inverse tangent function with two arguments. (Also written as atan2.) |
25 | arg | argument of |
26 | arg max | argument of the maximum. |
27 | arg min | argument of the minimum. |
28 | arsech | inverse hyperbolic secant function. |
29 | arsinh | inverse hyperbolic sine function. |
30 | artanh | inverse hyperbolic tangent function. |
31 | a.s. | almost surely. |
32 | atan2 | inverse tangent function with two arguments. (Also written as arctan2.) |
33 | A.P. | arithmetic progression. |
34 | Aut | automorphism group. |
35 | bd | boundary. (Also written as fr or ∂.) |
36 | Bi | Airy function of the second kind. |
37 | Bias | bias of an estimator |
38 | BWOC | by way of contradiction |
39 | cas | cos + sin function. |
40 | cdf | cumulative distribution function. |
41 | c.f. | cumulative frequency. |
42 | c.c. | complex conjugate. |
43 | char | characteristic of a ring. |
44 | Chi | hyperbolic cosine integral function. |
45 | Ci | cosine integral function. |
46 | cis | cos + i sin function. (Also written as expi.) |
47 | Cl | conjugacy class. |
48 | cl | topological closure. |
49 | CLT | central limit theorem. |
50 | conv | convex hull of a set. |
51 | Cor | corollary. |
52 | corr | correlation. |
53 | cos | cosine function. |
54 | cosec | cosecant function. (Also written as csc.) |
55 | cosech | hyperbolic cosecant function. (Also written as csch.) |
56 | cosh | hyperbolic cosine function. |
57 | cot | cotangent function. (Also written as ctg.) |
58 | coth | hyperbolic cotangent function. |
59 | cov | covariance of a pair of random variables. |
60 | covercos | covercosine function. (Also written as cvc.) |
61 | crd | chord function. |
62 | csc | cosecant function. (Also written as cosec.) |
63 | csch | hyperbolic cosecant function. (Also written as cosech.) |
64 | ctg | cotangent function. (Also written as cot.) |
65 | curl | curl of a vector field. (Also written as rot.) |
66 | cvc | covercosine function. (Also written as covercos.) |
67 | def | define or definition. |
68 | det | determinant of a matrix or linear transformation. |
69 | dim | dimension of a vector space. |
70 | div | divergence of a vector field. |
71 | End | categories of endomorphisms. |
72 | Ei | exponential integral function. |
73 | epi | epigraph of a function. |
74 | Eqn | equation. |
75 | erf | error function. |
76 | erfc | complementary error function. |
77 | etr | exponent of the trace. |
78 | exs | exsecant function. (Also written as exsec.) |
79 | exsec | exsecant function. (Also written as exs.) |
80 | exp | exponential function. (exp x is also written as ex.) |
81 | expi | cos + i sin function. (Also written as cis.) |
82 | expm1 | exponential minus 1 function. (Also written as exp1m.) |
83 | exp1m | exponential minus 1 function. (Also written as expm1.) |
84 | Ext | Ext functor. |
85 | ext | exterior. |
86 | extr | a set of extreme points of a set. |
87 | FIP | finite intersection property. |
88 | FOC | first order condition. |
89 | FOL | first-order logic. |
90 | fr | boundary. (Also written as bd or ∂.) |
91 | Frob | Frobenius endomorphism. |
92 | Gal | Galois group. (Also written as Γ.) |
93 | gcd | greatest common divisor of two numbers. (Also written as hcf.) |
94 | gd | Gudermannian function. |
95 | GF | Galois field. |
96 | GF | generating function. |
97 | GL | general linear group. |
98 | GM | geometric mean. |
99 | glb | greatest lower bound. (Also written as inf.) |
100 | GP | geometric progression. |
101 | grad | gradient of a function. |
102 | hacovercos | hacovercosine function. (Also written as hcc.) |
103 | hav | haversine function. (Also written as sem.) |
104 | havercos | havercosine function. (Also written as hvc.) |
105 | hcc | hacovercosine function. (Also written as hacovercos.) |
106 | hcf | highest common factor of two numbers. (Also written as gcd.) |
107 | H.M. | harmonic mean. |
108 | HOL | higher-order logic. |
109 | Hom | Hom functor. |
110 | hom | hom-class. |
111 | hot | higher order term |
112 | HOTPO | half or triple plus one |
113 | hvc | havercosine function. (Also written as havercos.) |
114 | hyp | hypograph of a function. |
115 | iff | if and only if. |
116 | IH | induction hypothesis. |
117 | iid | independent and identically distributed random variables. |
118 | Im | imaginary part of a complex number (Also written as {\displaystyle \Im }\Im ). |
119 | im | image |
120 | inf | infimum of a set. (Also written as glb.) |
121 | int | interior. |
122 | I.o. | Infinitely often. |
123 | ker | kernel. |
124 | lb | binary logarithm (log2). (Also written as ld.) |
125 | lcm | lowest common multiple (a.k.a. least common multiple) of two numbers. |
126 | LCHS | locally compact Hausdorff second countable. |
127 | ld | binary logarithm (log2). (Also written as lb.) |
128 | lerp | linear interpolation.[5] |
129 | lg | common logarithm (log10) or binary logarithm (log2). |
130 | LHS | left-hand side of an equation. |
131 | Li | offset logarithmic integral function. |
132 | li | logarithmic integral function or linearly independent. |
133 | lim inf | limit inferior. |
134 | lim sup | limit superior. |
135 | LLN | law of large numbers. |
136 | lnp1 | natural logarithm plus 1 function. |
137 | ln1p | natural logarithm plus 1 function. |
138 | LST | language of set theory. |
139 | lub | least upper bound. (Also written sup.) |
140 | max | maximum of a set. |
141 | MGF | moment-generating function. |
142 | M.I. | mathematical induction. |
143 | min | minimum of a set. |
144 | mod | modulo. |
145 | Mp | metaplectic group. |
146 | mtanh | modified hyperbolic tangent function. (Also written as mth.) |
147 | mth | modified hyperbolic tangent function. (Also written as mtanh.) |
148 | mx | matrix. |
149 | NAND | not-and in logic. |
150 | No. | number. |
151 | NOR | not-or in logic. |
152 | NTS | need to show. |
153 | OBGF | ordinary bivariate generating function. |
154 | ob | object class. |
155 | ord | ordinal number of a well-ordered set.[4] |
156 | probability density function. | |
157 | pf | proof. |
158 | PGL | projective general linear group. |
159 | PI | the constant 3.14159265359 |
160 | Pin | pin group. |
161 | pmf | probability mass function. |
162 | Pn | previous number. |
163 | Pr | probability of an event |
164 | PSL | projective special linear group. |
165 | PSO | projective orthogonal group. |
166 | PSU | projective special unitary group. |
167 | PU | projective unitary group. |
168 | ran | range of a function. |
169 | rank | rank of a matrix. (Also written as rk.) |
170 | Re | real part of a complex number |
171 | resp | respectively. |
172 | RHS | right-hand side of an equation. |
173 | rk | rank. (Also written as rank.) |
174 | rng | non-unital ring. |
175 | rot | rotor of a vector field. (Also written as curl.) |
176 | RTP | required to prove. |
177 | RV | random variable. (or as R.V.) |
178 | SD | standard deviation |
179 | SE | standard error |
180 | sec | secant function. |
181 | sech | hyperbolic secant function. |
182 | seg | initial segment of.[1] |
183 | sem | haversine function. (Also written as hav.) |
184 | SFIP | strong finite intersection property. |
185 | sgn | sign function. |
186 | Shi | hyperbolic sine integral function. |
187 | Si | sine integral function. |
188 | sin | sine function. |
189 | sinc | sinc function. |
190 | sinh | hyperbolic sine function. |
191 | SL | special linear group. |
192 | SO | special orthogonal group. |
193 | SOC | second order condition. |
194 | Soln | solution. |
195 | Sp | symplectic group. |
196 | sp | linear span of a set of vectors. (Also written as span or written with angle brackets.) |
197 | Spec | spectrum of a ring. |
198 | Spin | spin group. |
199 | s.t. | such that or so that or subject to. |
200 | st | standard part function. |
201 | STP | [it is] sufficient to prove. |
202 | SU | special unitary group. |
203 | supp | support of a function. |
204 | Sym | symmetric group (Sym(n) is also written as Sn) or symmetric algebra. |
205 | tanh | hyperbolic tangent function. |
206 | TAU | the constant 6.283185307179586476925286766559 |
207 | TFAE | the following are equivalent. |
208 | Thm | theorem. |
209 | Tor | Tor functor. |
210 | undef | a function or expression is undefined |
211 | V | volume. |
212 | var | variance of a random variable. |
213 | vcs | vercosine function. (Also written as vercos.) |
214 | vercos | vercosine function. (Also written as vcs.) |
215 | W^5 | which was what we wanted. Synonym of Q.E.D. |
216 | walog | without any loss of generality. |
217 | wff | well-formed formula. |
218 | whp | with high probability. |
219 | wlog | without loss of generality. |
220 | WMA | we may assume. |
221 | WO | well-ordered set |
222 | wp1 | with probability 1. |
223 | wrt | with respect to or with regard to. |
224 | WTP | want to prove |
225 | WTS | want to show |
226 | XOR | exclusive or in logic |
227 | ZF | Zermelo–Fraenkel axioms of set theory |
228 | ZFC | Zermelo–Fraenkel axioms (with the Axiom of Choice) of set theory |