Acronimi e abbreviazioni per la matematica - imati cnr
←
→
Page content transcription
If your browser does not render page correctly, please read the page content below
MATeXp
Acronimi e abbreviazioni per la matematica
Ogni item dell’elenco presenta una abbreviazione, una spiegazione, una eventuale traduzione in italiano
(=i), in inglese (=e), in latino (=l) ed eventuali rinvii preceduti da “:” e seguiti da “;”.
I rinvii possoni riguardare il testo MATeXp, accessibile in http://www.mi.imati.cnr.it/∼alberto e
pagine Web.
per i rinvii al testo i primi tre caratteri indirizzano i capitoli, il quarto carattere a una sezione, quinto e sesto
ad un paragrafo.
-00 = : I35e04
1D = one dimension[al] :;
1ijk = forma dei quaternioni : G54a01
2D = two dimensions :;
3D = three dimensions :;
4D = four dimensions :;
6D = six dimensions :;
a.e. = almost everywhere :;
a.s. = almost surely :;
AAA = angle, angle, angle :;
AAL = angle, angle, line :;
AAS = angle, angle, side :;
abc = conjecture :;
AC = axiom of choice
adj = adjugate of a matrix :;
AFL = abstract family of languages : C35
AFLNr = abstract family of languages nonregular : C35
AFLR = abstract family of languages regular : C35
AGM = arithmetic-geometric mean :;
Ai = Airy function :;
AI = artificial intelligence :;
AIC = Akaike information criterion :;
AKS = Agrawal, Kayal, Saxena :;
AL = Action limit :;
ALL = angle, line, line :;
Alt = alternating group :;
ALT = altitude :;
AMI = agenti matematico informatici
ANOVA = analysis of variance :;
APL : a programming language :
AR = autoregressive process :;
-arc =
arccos = inverse cosine function :;
arccosec = inverse cosecant function (=arccsc) :;
arccot = inverse cotangent function :;
arccsc = inverse cosecant function (=arccosec) :;
2019-06-01 013: Acronimi e abbreviazioni per la matematica 1Alberto Marini arcosech = inverse hyperbolic cosecant function (=arcsch) :; arcosh = inverse hyperbolic cosine function :; arcoth = inverse hyperbolic cotangent function :; arcsch = inverse hyperbolic cosecant function (=arcosech) :; arcsec = inverse secant function :; arcsin = inverse sine function :; arctan = inverse tangent function :; arg = argument of a complex number :; arg max = argument of the maximum :; arg min = argument of the minimum :; ARIMA = autoregressive integrated moving average process :; ARM ARMA = autoregressive moving average process :; arsech = inverse hyperbolic secant function :; arsinh = inverse hyperbolic sine function :; artanh = inverse hyperbolic tangent function :; ASCII = American standard code for information interchange :; Aut = automorphism group :; AZ = Azimuth b- = riguardante bioperazioni :; BCH = Bose, Ray Chudhuri, Hocquenghem (codice) :;) BDT = binary decision tree :; BGF = bivariate generating function :; BFNC = (espressione) booleana in forma normale congiuntiva : C47f03 Bi = Airy function of the second kind :; BIBD = balanced incomplete block design : D64c08 BLUE = best linear unbiasd estimatoe :; bps = bits per second :; -BS = binaria quadrata (matrice) :; BST = binary serch tree :; typB = : B21j11 -C = attinente C :; -c = composizionale : I35f03 c- = riguardante la composizione di funzioni :; Card = cardinality of a set :; -CC = attinente C × C :; CCC = tangente a tre circonferenze (circonferenza) :; CDD = come dovevasi dimostrare =e QDD , QED :; cdf = cumulative distribution function :; CEIC = Committe on Electronic Information and Communication (IMU) :; char = characteristic of a ring :; Chi = hyperbolic cosine integral function :; Ci = cosine integral function :; cis = cos + i sin function :; CKA = algebra di Kleene classica : C32a01 2 013: Acronimi e abbreviazioni per la matematica 2019-06-01
MATeXp Cl = topological closure :; CLP = canonical linear programming :; CLT = central limit theorem :; CMLU = : D30a20 cod = codomain (=codom) :; codom = codomain (=cod) :; Cor = corollary :; cos = cosine function :; cosec = cosecant function (=csc) :; cosech = hyperbolic cosecant function (=csch) :; cosh = hyperbolic cosine function :; cot = cotangent function :; coth = hyperbolic cotangent function :; cov = covariance of a pair of random variables :; csc = cosecant function (=cosec) :; csch = hyperbolic cosecant function (=cosech) :; curl = curl of a vector field (=rot) :; -D1 = parallelo alla diagonale principale : -D2 = parallelo alla diagonale secondaria : DAG = directed acyclic graph :* -DE = di derivazione elementare (arborescenza) : C14a02 DEC = declination :; deg = degree of a polynomial :; del = differential operator nabla :; det = determinant of a matrix or linear transformation :; DFR = decreasing failure rate :; DFRA = decreasing failure rate average :; DGF = Dirichlet generating function :; DGP = data generation process :; -Dgrf = concernente i digrafi : D27a11 dim = dimension of a vector space :; div = divergence of a vector field :; DLW = Drmota-Lalley-Woods :; -dmfss = : I25b03 DNE = a solution for an expression (limit, integral, ...) does not exist :; dom = domain of a function :; -E = est EDA = exploratory data analysis :; EDF = empirical distribution function :; -ee = : B31b07 -ei = : B31b07 -ie = : B31b07 -ii = : B31b07 Eflops = million of millions of millions of floating point operations per second :; EGF = exponential generating function :; Ei = exponential integral function :; 2019-06-01 013: Acronimi e abbreviazioni per la matematica 3
Alberto Marini EIS = Encyclopedia of Integer Sequences :; End = categories of endomorphisms :; eniar = entità numerica illimitatamente approssimabile mediante razionali : B37b04 B38b07 EP = esecutori di procedure : B10b06 i,i,k = simbolidi Ricci - Levi-Civita : G36e02 Eqn = equation :; erf = error function :; erfc = complementary error function :; ERM = existence of rigid motion :; EVOP = evolutionary operation :; exp = exponential function (=ex ) :; exp-log = exponential-logarithmic :; Ext = Ext functor :; ext = exterior :; -F = :; fAFL = abstract family of languages type full : C35 -fDA = : -fDAx = : I15a03 -fDAxY = : I16e01 fdF = forma di ferrers :; -fDx = : I15a03 FIFO = first in first out :; flops = floating point operations per second :; FOL = first-order logic :; Frob = Frobenius endomorphism :; FTA = fault tree analysis ,, fundamental theorem of algebra :; FTP = file transfer protocol :? -G = : T25d08 GAbs = geometria assoluta : G18 GAff = geometria affine : G16 Gal = Galois group :; gcd =c greatest common divisor (=hcf) =i MCD :; GDML = Global Digital Mathematical Library :; GF = Galois field :; GF = generating function :; GFC = [modello] geometrico-fisico classico : B20b03 GIntp = geometria interposizionale : G15 GIp = geometria iperbolica : G16 GL = general linear group :; glb = greatest lower bound (=inf) :; GMT = Greenwhich mean time :; GPrj = geometria proiettiva : G17 GQ = generalized quadrangle :; grad = gradient of a scalar field :; Grf = concernente i grafi : D26 :; GST = Greenwhich sideral time :; 4 013: Acronimi e abbreviazioni per la matematica 2019-06-01
MATeXp HA = hour angle :; hcf = highest common factor (=gcd) =i MCD :; HNBUE = harmonic new better than used in expectation :; HNWUE = harmonic new worse than used in expectation :; HOL = higher-order logic :; Hom = Hom functor :; -I = concernente interi : icea = in context excluding ambiguities :; iff = if and only if =i sse :; IFR = increasing failure rate :; IFRA = increasing failure rate average :; iid = independent and identically distributed random variables (=IID) :; -ijk = : Im = image of a function :; IMU = International Mathematical Union :; inf = infimum of a set (=glb) :; int = interior (in topology) :; -ip = illimitatamente progressivamente : B18c04 ipag = intuitivamente presentato come arbitrariamente grande :; ipagm = intuitivamente presentato come arbitrariamente grande in modulo :; ipap = intuitivamente presentato come arbitrariamente piccolo :; ipapm = intuitivamente presentato come arbitrariamente piccolo in modulo :; ipnag = intuitivamente presentato come negativo arbitrariamente grande :; ipnagm = intuitivamente presentato come negativo ed arbitrariamente grande in modulo :; ipnap = intuitivamente presentato come negativo arbitrariamente piccolo :; ippagm = intuitivamente presentato come positivo ed arbitrariamente grande in modulo :; IQR = interquartile range :; ISBN = international standard book number :; -JD = Jordan-Dedekind : B55b03 -K = mosse tipo king Ker = kernel ,, Kelvin function :; LCC = tangente ad una retta e a due circonferenze (circonferenza) :; LCI = line circle intersection :; lcm =c least common multiple = lowest common multiple =i mcm :; lerp = linear interpolation :; lg = common logarithm (base 10) :; LHS = left-hand side of an equation :; li = logarithmic integral function ,, linearly independent :; Li = offset logarithmic integral function =i polilogaritmo :; -li concernente liste :; LIFO = last in first out :; lim = limit of a sequence , limit of a function :; lim inf = limit inferior :; lim sup = limit superior :; LLC = tangente a due rette e ad una circonferenza (circonferenza) :; LLL = tngente a tre rette (circnferenza) :; 2019-06-01 013: Acronimi e abbreviazioni per la matematica 5
Alberto Marini LLPO = lesser limited principle of omniscience ;constr.alg.:: ln = natural logarithm (base e) (= logh) :; log = logarithm (base 10 or 2) :; LOP = linear optimization problem :; LP = linear rogramming :; LPO = limited principle of omniscience ;constr.alg. :: lrBU = left-right-bottom-up : D30d03 LST = first-order language (of set theory) ,, local sideral time :; LU = a decomposition of a matrix :; lub = least upper bound (=sup) :; M44 = : G54a12 MA = moving average :; -mae = modulo appartenenza delle estremità : I25a01 MAG = modello degli agenti matematico informatici : B10b03 MAGC = modello delle comunicazioni fra agenti matematico informatici : B10c03 MathSciNet = mathematical science network :; max = maximum of a set :; MCD =i massimo comun divisore =e gcd :; -McircC = : B24a13 mcm =i minimo comune multiplo =e lcm :; -ME = : G45e09 -mfes = modulo un insieme finito di elementi :; Mflops = million of floating point operations per second :; -mfps = modulo un insieme finito di coppie : I25b02 MGF = multivariate generating function :; MIFO = matematico informatico formale operativo (apparato -) : B10 min = minimum of a set :; -MirrH = -MirrOx = -MirrOy = -MirrV = MOCUS = method for obtaining cut sets :; mod = modulo (in modular arithmetic) :; MOLS = mutually orthogonal Latin square :; MRA = multiresolution analysis :; MSC = mathematics subject classification :; MSP = macchina sequenziale programmabile :; MSPA = macchina sequenziale programmabile accettatrice, o decisionale :; MSPC = macchina sequenziale programmabile con linguaggio miniC :; MSPG = macchina sequenziale programmabile generatrice :; MSPGF = macchina sequenziale programmabile che si arresta dopo finiti passi : B18c01 MSPGI = macchina sequenziale programmabile generatrice di lista illimitata : B18c01 MSPGip = macchina sequenziale programmabile generatrice di lista illimitata progressiva : B18e13 MSPT = macchina sequenziale programmabile trasduttrice :; MSPTA = macchina sequenziale programmabile trasduttrice algoritmica :; MTM = macchine di Turing multinastro : B10d04 6 013: Acronimi e abbreviazioni per la matematica 2019-06-01
MATeXp MTTF = mean time to failure :; mx = matrix :; -N = attinente N :; -N = nord :; NAND = not-and (in logic) :; NAP = The National Academies Press :www.nap.edu: NBG = von Neumann-Bernays-Goedel : B65g03 NBU = new better than used :; NBUE = new better than used in expectation :; NE = nord est : -NE = nord est : NKA = algebra di Kleene normale : C32c01 -NN = attinente N × N : B30a03 No. = number :; nonRdnt = : B21h02 NOR = not-or (in logic() :; NP = non polynomially complexity :; -NP = attinente N × P : B30a03 N P= problema : C47f08 NPD = north polar distance :; NSE = number of solution of the equation :; NTS = need to show :; NW = nord ovest : -NW = nord ovest : NWU = new worse than used :; NWUE = new worse than used in expectation :; -nz = non zero : ODE = ordinary differential equations :; OEIS = On-line encyclopedia of Integer sequences : D20a08 OGF = ordinary generating function :; OLSPCS = on line statistical process ord = ordinal number (of a well-ordered set) :; -ort = : G48b04 Ox = asse delle x :; Oy = asse delle y :; Oz = asse delle z :; -P = attinente P :; -p = concernente diagonale principale : D68b01; PCC = per un punto e tangente a due circonferenze (circonferenza) :; PDE = partial differential equations :; pdf = probability density function ,, printable data file :; PERT = program evaluation and review technique :; pf = proof :; pg = partial geometry :; PG = projective group :; PGF = probability generating function :; 2019-06-01 013: Acronimi e abbreviazioni per la matematica 7
Alberto Marini PGL = projective general linear group :; Pic = Picard group :; PID = principal ideal domain :; PLC = per un punto, tangente ad una retta e ad una circonferenza (circonferenza) :; PLL = per un punto e tangente a due rette (circonferenza) :; pmf = probability mass function :; -PP = attinente P × P : B30a03 ppb = parts per billion = parti per miliardo :; PPC = per due punto e tangenta ad una circonferenza (circonferenza) :; PPf = funzione bivariata di un poset in un campo : D47a01 PPfS = funzione a scalino bivariata di un poset in un campo : D47a02 PPL = per due punti e tangente ad una retta (circonferenza) :; ppm = parts per million = parti per milione :; PPP = per tre punti (circnferenza) :; Pr = probability of an event :; -Prcd = concernente procedure : B18c06 -Prim = : B21h08 PSL = projective special linear group :; -Q = attinente Q :; q.l. = quadrato latino : D63a01 q.m. = quadrato magico : D68a01 QDD = Quod demonstrare dobebatur (=QED) =i CDD :; QED = Quod erat demonstrandum (=QDD) =i CDD :; QEF = Quod erat faciendum (≈ QED) :; -QQ = attinente Q × Q : B30e01 QR = (matrix decomposition) :; -R = attinente R :; RA = right angle ,, right ascension :; ran = range of a function :; Re = real part of a complex number :; Res = residue operator :; resp = respectively =i risp. :; RHS = right-hand side of an equation :; risp. = rispettivamente =e resp. :; Rk = rank (of a matrix, of a matroid, ... ) :; RKA = algebra di Kleene razionale : C32c02 rlBU = right-left|bottom-up : D30d03 -rm = concernente rotoriflessione : D33b13 rng = non-unital ring :; rot = rotor of a vector field (=curl) :; -Rpd = a d dimensioni reali : D33a02 -RR = attinente R × R :; RR3 = : -RREC = classe equiciclica di poligonali : B43a02 -RRR = attinente R×3 :; -RRRR = attinente a quaterna di numeri reali : G54a01 8 013: Acronimi e abbreviazioni per la matematica 2019-06-01
MATeXp -RRtR = (funzione) da R × R in R : I30c02 -RS = Rabin e Scott : -RSD = Rabin e Scott deterministico : -RSND = Rabin e Scott non-deterministico : RTP = required to prove :; RV = random variable :; (or as R.V.) -s = concernente diagonale secondaria :; -S = sud :; SA = singularity analysis :; sac = sottospazio di annullamento di coordinate : B32b01 G40a02 SAP = soluzioni affidabili di problemi : B10b01 SAS = side, angle, side :; scirca = successione costruibile di intervalli razionali, chiusi e annidati :B19b05 scircac = successione costruibile di intervalli razionali, chiusi e annidati convergente :B19b05 sdac = sottospazio di annullamento di coordinate : B45a05 SDR = system of distinct representative :; SE = sud est : -SE = sud est : sec = secant function :; sech = hyperbolic secant function :; -set = concernente insiemi : sfAFL = abstract family of languages type semifull : C35 sfp1 = serie formale di potenze di ordine 1 : I35b01 sgn = signum function , signum of a permutation :; Shi = hyperbolic sine integral function :; Si = sine integral function :; sin = sine function :; sinc = sinc function :; sinh = hyperbolic sine function :; sirca = successione di intervalli reali chiusi annidati : B42b01 siseqlin = sistema si equazioni lineari : B31f07 SKA = algebra di Kleene standard : C32b01 SL = special linear group :; SLP = standard linear programming :; SO = (gruppo) speciale ortogonale :; SO = (angoli) supplementari opposti : G36c04 Soln = soluzione :; sonc = sistema ortogonormale completo di autovettori : P70a05 Sp = linear span of a set of vectors :; spc = specie di strutture : D26b08 Spec = spectrum of a ring, of an operator, ... :; SPRT = sequential probability ratio test :; srg = strongly regular graph :; sse = se e solo se (=e iff = if and only if) :*; SSS = side, side, side :; ST = scientifico-tecnologico : B18a01 2019-06-01 013: Acronimi e abbreviazioni per la matematica 9
Alberto Marini st = such that , so that =i t.c. :; STP = sufficient to prove :; SU = special unitary group :; sup = supremum (=lub) :; supp = support of a function :; -SV = scalare e vettore (forma dei quaternioni : G54s04 -SW = sud ovest : Sym = symmetric group :; sZfp1 = serie formali di Laurent in una variabile : I35i03 t.c. = tale che =e st :; T.C.Mits = the celebrated man in the street = uomo della strada :ew: tan = tangent function :; tanh = hyperbolic tangent function :; TCP = ??? :; TDlr = top-down|left-right : D30b12 TDrl = top-down|right-left : D30b12 TFAE = the following are equivalent :; Thm = theorem :; TM = Turing machine :; Tor = Tor functor :; Tr = trace of a matrix, of a linear transformation, ... :; TTT = total time on test :; UFD = unique factorization domain ;constr.alg.:: UMVU = uniformly minimum variance unbiased :; undef = a function or expression is undefined :; unl = unadic representation of length of unadic natural number representation : B10d01 unr = unadic natural number representation : B10d01 UTM = universal Turing machine :; var = variance of a random variable :; VEF = vertici, spigoli e facce (di un polirdro) : G37a02 -vf = : D31b13 -W = ovest :; W5 = which was what we wanted (=QED) :; walog = without any loss of generality :; WDML = World Digital Mathematical Library :; wff = well formed formula = formula ben formata : B19b03 WGS84 = :; whp = with high probability :; wlog = WLOG = without loss of generality :; WLPO = weak limited principle of omniscience ;constr.alg.:: WMA = we may assume :; WO = well-ordered set :; WPT = Weierstrass preparation theorem :; wrt = with respect to , with regard to :; WTP = want to prove :; WTS = want to show :; 10 013: Acronimi e abbreviazioni per la matematica 2019-06-01
MATeXp
W-Z = Wilf-Zeilberger :;
XOR = exclusive or :;
-Z = attinente Z :;
-Z2x2 = :
zbMATH = ZentralBlatt für Mathematik :;
ZD = zenith distance :;
ZF = ZermeloFraenkel axioms of set theory :;
ZFC = ZermeloFraenkel axioms with axiom of choice for set theory :;
-ZN = attinente a Z × N : B30a03 G30a02
-ZP = attinente a Z × P : B30a03 G30a02
-ZZ = attinente Z × Z :;
-ZZCathB = cateti obliqui in Z × Z : B21j09
-ZZCathR = cateti orizzontale e verticale in Z × Z : B21j03
-ZZP = : B30c01
Le varie componenti di questo testo sono accessibili in http://www.mi.imati.cnr.it/∼alberto
2019-06-01 013: Acronimi e abbreviazioni per la matematica 11You can also read
