PowerShell/Data/Abbr/mathematics.csv
2023-09-18 11:28:39 +02:00

10 KiB
Raw Blame History

1ABBRMEANING
2ACAxiom of Choice, or set of absolutely continuous functions
3a.c.absolutely continuous
4acrdinverse chord function
5adadjoint representation (or adjoint action) of a Lie group
6adjadjugate of a matrix
7a.e.almost everywhere
8AiAiry function
9ALAction limit
10Altalternating group (Alt(n) is also written as An)
11A.M.arithmetic mean
12arccosinverse cosine function
13arccosecinverse cosecant function (also written as arccsc)
14arccotinverse cotangent function
15arccscinverse cosecant function (also written as arccosec)
16arcexcinverse excosecant function (also written as arcexcsc, arcexcosec)
17arcexcosecinverse excosecant function (also written as arcexcsc, arcexc)
18arcexcscinverse excosecant function (also written as arcexcosec, arcexc)
19arcexsinverse exsecant function (also written as arcexsec)
20arcexsecinverse exsecant function (also written as arcexs)
21arcosechinverse hyperbolic cosecant function (also written as arcsch)
22arcoshinverse hyperbolic cosine function
23arcothinverse hyperbolic cotangent function
24arcschinverse hyperbolic cosecant function (also written as arcosech)
25arcsecinverse secant function
26arcsininverse sine function
27arctaninverse tangent function
28arctan2inverse tangent function with two arguments (also written as atan2)
29argargument of
30arg maxargument of the maximum
31arg minargument of the minimum
32arsechinverse hyperbolic secant function
33arsinhinverse hyperbolic sine function
34artanhinverse hyperbolic tangent function
35a.s.almost surely
36atan2inverse tangent function with two arguments (also written as arctan2)
37A.P.arithmetic progression
38Autautomorphism group
39bdboundary (also written as fr or ∂)
40BiAiry function of the second kind
41BIDMASBrackets, Indices, Divide, Multiply, Add, Subtract
42Biasbias of an estimator
43BWOCby way of contradiction
44Cardcardinality of a set (Card(X) is also written #X, ♯X or |X|)
45cascos + sin function
46cdfcumulative distribution function
47c.f.cumulative frequency
48c.c.complex conjugate
49charcharacteristic of a ring
50Chihyperbolic cosine integral function
51Cicosine integral function
52ciscos + i sin function (also written as expi)
53Clconjugacy class
54cltopological closure
55CLTcentral limit theorem
56codcodom,codomain
57cokcoker,cokernel
58convconvex hull of a set
59Corcorollary
60corrcorrelation
61coscosine function
62coseccosecant function (also written as csc)
63cosechhyperbolic cosecant function (also written as csch)
64coshhyperbolic cosine function
65cosivcoversine function (also written as cover, covers, cvs)
66cotcotangent function (also written as ctg)
67cothhyperbolic cotangent function
68covcovariance of a pair of random variables
69covercoversine function (also written as covers, cvs, cosiv)
70covercoscovercosine function (also written as cvc)
71coverscoversine function (also written as cover, cvs, cosiv)
72crdchord function
73csccosecant function (also written as cosec)
74cschhyperbolic cosecant function (also written as cosech)
75ctgcotangent function (also written as cot)
76curlcurl of a vector field (also written as rot)
77cvccovercosine function (also written as covercos)
78cvscoversine function (also written as cover, covers, cosiv)
79defdefine or definition.
80degdegree of a polynomial, or other recursively-defined objects such as well-formed formulas (also written as ∂)
81deldel, a differential operator (also written as {\displaystyle \nabla }\nabla )
82detdeterminant of a matrix or linear transformation
83dimdimension of a vector space
84divdivergence of a vector field
85DNEa solution for an expression does not exist, or is undefined. Generally used with limits and integrals
86domdomain of a function (Or, more generally, a relation)
87Endcategories of endomorphisms
88Eiexponential integral function
89epiepigraph of a function
90Eqnequation
91erferror function
92erfccomplementary error function
93etrexponent of the trace
94excexcosecant function (also written as excsc, excosec)
95excosecexcosecant function (also written as excsc, exc)
96excscexcosecant function (also written as excosec, exc)
97exsexsecant function (also written as exsec)
98exsecexsecant function (also written as exs)
99expexponential function (exp x is also written as ex)
100expicos + i sin function (also written as cis)
101expm1exponential minus 1 function (also written as exp1m)
102exp1mexponential minus 1 function (also written as expm1)
103ExtExt functor.
104extexterior.
105extra set of extreme points of a set.
106FIPfinite intersection property.
107FOCfirst order condition.
108FOLfirst-order logic.
109frboundary (also written as bd or ∂)
110FrobFrobenius endomorphism.
111GalGalois group (also written as Γ)
112gcdgreatest common divisor of two numbers (also written as hcf)
113gdGudermannian function
114GFGalois field
115GFgenerating function
116GLgeneral linear group
117GMgeometric mean
118glbgreatest lower bound (also written as inf)
119GPgeometric progression
120gradgradient of a function
121hacoverhacoversine function (also written as hacovers, hcv)
122hacovercoshacovercosine function (also written as hcc)
123hacovershacoversine function (also written as hacover, hcv)
124havhaversine function (also written as sem)
125havercoshavercosine function (also written as hvc)
126hcchacovercosine function (also written as hacovercos)
127hcvhacoversine function (also written as hacover, hacovers)
128hcfhighest common factor of two numbers (also written as gcd)
129H.M.harmonic mean
130HOLhigher-order logic
131HomHom functor
132homhom-class
133hothigher order term
134HOTPOhalf or triple plus one
135hvchavercosine function (also written as havercos)
136hyphypograph of a function
137iffif and only if
138IHinduction hypothesis
139iidindependent and identically distributed random variables
140Imimaginary part of a complex number (also written as {\displaystyle \Im }\Im )
141imimage
142infinfimum of a set (also written as glb)
143intinterior
144I.o.Infinitely often
145kerkernel
146lbbinary logarithm (log2) (also written as ld)
147lcmlowest common multiple (a.k.a. least common multiple) of two numbers
148LCHSlocally compact Hausdorff second countable
149ldbinary logarithm (log2) (also written as lb)
150lerplinear interpolation
151lgcommon logarithm (log10) or binary logarithm (log2)
152LHSleft-hand side of an equation
153Lioffset logarithmic integral function
154lilogarithmic integral function or linearly independent
155limlimit of a sequence, or of a function
156lim inflimit inferior
157lim suplimit superior
158LLNlaw of large numbers
159lnnatural logarithm, loge
160lnp1natural logarithm plus 1 function
161ln1pnatural logarithm plus 1 function
162loglogarithm (If without a subscript, this may mean either log10 or loge)
163loghnatural logarithm, loge
164LSTlanguage of set theory
165lubleast upper bound (also written sup)
166maxmaximum of a set
167MGFmoment-generating function
168M.I.mathematical induction
169minminimum of a set
170modmodulo
171Mpmetaplectic group
172mtanhmodified hyperbolic tangent function (also written as mth)
173mthmodified hyperbolic tangent function (also written as mtanh)
174mxmatrix
175NANDnot-and in logic
176No.number
177NORnot-or in logic
178NTSneed to show
179OBGFordinary bivariate generating function
180obobject class
181ordordinal number of a well-ordered set
182pdfprobability density function
183pfproof
184PGLprojective general linear group
185PIthe constant 3.14159265359
186Pinpin group.
187pmfprobability mass function
188Pnprevious number
189Prprobability of an event
190PSLprojective special linear group
191PSOprojective orthogonal group.
192PSUprojective special unitary group
193PUprojective unitary group
194QEDQuod erat demonstrandum, a Latin phrase used at the end of a definitive proof
195QEFquod erat faciendum, a Latin phrase sometimes used at the end of a geometrical construction
196ranrange of a function
197rankrank of a matrix (also written as rk)
198Rereal part of a complex number
199resprespectively
200RHSright-hand side of an equation
201rkrank (also written as rank)
202RMSrms,root mean square
203rngnon-unital ring
204rotrotor of a vector field (also written as curl)
205RTPrequired to prove
206RVrandom variable (or as R.V)
207RReal numbers
208SDstandard deviation
209SEstandard error
210secsecant function
211sechhyperbolic secant function
212seginitial segment of
213semhaversine function (also written as hav)
214SFIPstrong finite intersection property
215sgnsign function
216Shihyperbolic sine integral function
217Sisine integral function
218sinsine function
219sincsinc function
220sinhhyperbolic sine function
221sivversine function (also written as ver, vers)
222SLspecial linear group
223SOspecial orthogonal group
224SOCsecond order condition
225Solnsolution
226Spsymplectic group
227Sptrace of a matrix, from the German 'spur' used for the trace
228splinear span of a set of vectors (also written as span or written with angle brackets)
229Specspectrum of a ring
230Spinspin group
231s.t.such that or so that or subject to
232ststandard part function
233STP[it is] sufficient to prove
234SUspecial unitary group
235supsupremum of a set (also written as lub, which stands for least upper bound)
236suppsupport of a function
237swishswish function, an activation function in data analysis
238Symsymmetric group (Sym(n) is also written as Sn) or symmetric algebra
239tantangent function (also written as tgn, tg)
240tanhhyperbolic tangent function
241TAUthe constant 6.283185307179586476925286766559
242TFAEthe following are equivalent
243tgtangent function (also written as tan, tgn)
244tgntangent function (also written as tan, tg)
245Thmtheorem
246TorTor functor
247Trtrace, either the field trace, or the trace of a matrix or linear transformation
248undefa function or expression is undefined
249Vvolume
250varvariance of a random variable
251vcsvercosine function (also written as vercos)
252verversine function (also written as vers, siv)
253vercosvercosine function (also written as vcs)
254versversine function (also written as ver, siv)
255W^5which was what we wanted. Synonym of Q.E.D
256walogwithout any loss of generality
257wffwell-formed formula
258whpwith high probability
259wlogwithout loss of generality
260WMAwe may assume.
261WOwell-ordered set
262wp1with probability 1
263wrtwith respect to or with regard to
264WTPwant to prove
265WTSwant to show
266XORexclusive or in logic
267XYZCartesian coordinate system (x,y,z)
268ZFZermeloFraenkel axioms of set theory
269ZFCZermeloFraenkel axioms (with the Axiom of Choice) of set theory