1-NF first normal form    = by Codd E. F.    db
1GL First Generation Language    = machine language    lac    prg
2-NF second normal form    = by Codd E. F.    db
2DPDA two-way deterministic pushdown automaton    lac    alm
2GL Second Generation Language    = assembly language    lac    prg
3-NF third normal form    = by Codd E. F.    db
3GL Third Generation Language    = procedural language    lac    prg
3SAT three literal Boolean expression satisfiability    = decision problem    cmty    alm
4-NF fourth normal form    = by Codd E. F.    db
4GL Fourth Generation Language    = descriptive language    lac    prg

a atto    = 10^{-18}    um
A&B advanced and basic    bt
AAAI American Association of Artificial Intelligence    ass    ai
AAAS American association for the Advancement of Science    ass
AAECC1 Applicable Algebra in Engineering, Communication and Computer Science    = conferences    alm    sw
AAECC2 Applied Algebra and Correcting Codes    = laboratoire of IRIT    res    conf
AAM Advances in Applied Mathematics    ju
AAMS Abstracts of American Mathematical Society    ju
AAP Advances in Applied Probability    ju    st
AARDVAK ??    = analysis of variance program    sw    st
AAS American Astronomical Society    http://www.aas.org    ass    astr
Ab Abelian group category    alg
ABC1 asymmetric broadcast channel    tlc    ci
ABC2 Atanasoff - Berry computer    hw
ABEL advanced Boolean equation language    lac    logf
ABS Abaffy - Broyden - Spedicato    {~ optimization method}    opt
AC1 Aho - Corasick    {~ algorithm}    alm    grft
AC2 algebraically closed    alg
AC3 associative-commutative    {~ axiom; ~ completion}    logf    alg
AcA Acta Arithmetica    ju
ACC ascending chain condition    alg
AcC Acta Crystallographica    ju
ACE an Algebraic Combinatorial Environment    = Maple library devoted to algebraic combinatorics computations at Universit\'e Marne la Vall\'ee    http://weyl.univ-mlv.fr/~ace    smbcmp    cmb
ACELP Algebraic Code Excited Linear Prediction    alg    sw
ACM Association for Computing Machinary    = USA computer science association    http://www.acm.org    ass    inf
AcMaSc Acta Mathematica Scientia    ju
ACNP Archivio Collettivo Nazionale dei Periodici    = in Bologna    http://serial.cib.unibo.it:8010/scripts/opac.com/it/cnr    doc
ACP1 algebraic calculus of processes    fmod
ACP2 Art of Computer Programming    = books by D. E. Knuth    doc
ACS American Chemical Society    ass
AD1 affine design    cmb
AD2 axiom of determinacy    logf
Ad adjoint; coadjoint    {~ representation}    lie
ad adjoint; coadjoint    {~ vector field}    lie
ADFA Australian Defence Force Academy    un
ADI alternating directions    = for the numerical solution of ODE    {~ method}    na
ADM Annals of Discrete Mathematics    ju    dm
ADMED average deviation from the central median    st
ADPCM adaptive differential pulse code modulation    tlc
AdvM Advances in Mathematics    ju
AEDL average extra defective limit    st
AENS Annales Scientifiques de l'\'Ecole Normale Sup\'erieur    ju
AeqM Aequationes Mathematicae    ju
AET advanced educational technology    inf    dim
AFCET Association Fran\,caise pour la Cybernetique Economique et Technique    ass    inf    or
AFIPS American Federation of Information Processing Societies    ass    inf
AFM Arkiv f\"ur Mathematik    ju
AFOSR Air Force Office of Scientific Research    = of USA    {~ grant}    go
AFT accelerated failure time    st    or
AFTP Anonymous File Transfer Protocol    www
AG affine geometry    cmb    geo
AGL affine group of linear transformations    alg    cmb
AGM arithmetic-geometric mean    an    st
AI Artificial Intelligence    ai    inf
Ai Airy    {~ fuction}    sfun
AIB Associazione Italiana Biblioteche    http://www.aib.it    doc
AIC Akaike information criterion    = for maintenance    or
AICA Associazione Italiana per l'Informatica ed il Calcolo Automatico    ass    inf
AICM Associazione degli Insegnanti e dei Cultoridella Matematica    = in Palermo    ass    dim
AID automatic interaction detection    {~ techniques}    st
AIMETA Associazione Italiana Meccanica Teorica ed Applicata    ass    mec
AIP1 Advances in Physics    ju
AIP2 American Institute of Physics    http://www.aip.org/    ass    phys
AIRO Associazione Italiana per la Ricerca Operativa    ass    or
AIT algorithmic information theory    = by Gregory J. Chaitin    logf    cmty
aka also known as    bai
AL algorithmic logic    logf    prg
ALDES algebraic ???    = language    sw    alg
ALEPH Academic Library ?? Hebrew Universities    = library software    doc    swp
ALGOL algorithmic [oriented] language    lac
ALGOL68 algorithmic [oriented] language 1968    lac
ALI asymptotically locally invariant    = statistical assumption    st
ALPAK algebraic package    = symbolic manipulation tool    alm    smbcmp
Alt alternating    {~ form}    alg    geo
ALTRAN algebraic formula transformation    = symbolic manipulation tool    alm    smbcmp
AM1 class of decision problems solvable in polynomial time by 'Arthur' and 'Merlin'    cmty
AM2 class of decision problems solvable in polynomial time by 'Merlin' and 'Arthur'    cmty
am [amplitude | argument]    {~ of a complex number}    bam    an
AMA Acta Mathematica    = in Uppsala    ju
AMASES Associazione per la Matematica Applicata alle Scienze Economiche e Sociali    ass
AMATYC American Mathematical Association of Two-Year colleges    ass    dim
AMD Advanced Micro Devices, Inc.    = microelectronic company    itc
AMISE asymptotoc mean integrated squared error    st
AML Applied Mathematics Letters    ju
AMM American Mathematical Montly    ju
AMN Archiv for Mathematik og Naturvidenskab    ju
AMP Archiv der Mathematik und Physik    ju
AMS1 American Mathematical Society    = US associacion with worldwide influence    http://www.ams.org    ass
AMS2 Annals of Mathematical Statistics    ju    st
AMS3 Australian Mathematical Society    = AusMS    ass
AMS SS American Mathematical society Special session    conf
AMSLaTeX American Mathematical Society LaTeX    sw    doc
AMSTeX American Mathematical Society TeX    sw    doc
ANAL Analysis    ju    an
ANCOVA analysis of covariance    st    sw
ANDOS all or nothing disclosure of secrets    = a kind of cryptoanalysis system    cod
ANM Annals of Mathematics    ju
ANN artificial neural network    sw    inf
ann annihilator    {~ of a ring}    alg
ANOVA analysis of variance    st    sw
ANP Annals of Probability    ju
ANR absolute neighborhood retract    tplg
ANS Annals of Statistics    ju
antilog antilogarithm    an
ANU Australian National University    = in Canberra    un
ANUSF Australian National University Supercomputer facility    http://anusf.anu.edu.au    un    res
ANYAS Annals of New York Academy of Sciences    ju
ANZIAM Australian and New Zealand Industrial and Applied Mathematics    http://www.maths.unsw.edu.au/amsweb/Anziam/anziam.html    = division of AusMS    ass
AO AND/OR    {~ graph; ~ algorithm}    grft    logf
AOL America On-Line    = Internet provider    www    itc
AOQ average outgoing quality    st
AOQL average outgoing quality level    st
APA1 arithmetic processing accelerator    hw
APA2 authentication perpendicular array    cmb
APL A Programming Language    = by Iverson for matrices and similar structures    lac    prg
APM array processing machine    = paradigm of computer    cmty    fmod
APMEP Association de Professeurs de Math\'ematique de l'Enseignement Public    = in France    ass    dim
APS American Physical Society    http://www.Aps.org    ass
APSE Ada Programming Support Environment    prg
AQL acceptable quality level    st
AR autoregressive    {~ filter; ~ model}    st    or
arccos arc cosine    {~ function}    sfun    an
arccosh hyperbolic arc cosine    {~ function}    sfun    an
arccot arc cotangent    {~ function}    sfun    an
arccoth hyperbolic arc cotangent    {~ function}    sfun    an
arccsc arc cosecant    {~ function}    sfun    an
arccsch hyperbolic arc cosecant    {~ function}    sfun    an
ArcM Archiv der Mathematik    = in Basel    ju
arcsec arc secant    {~ function}    sfun    an
arcsech hyperbolic arc secant    {~ function}    sfun    an
arcsin arc sine    {~ function}    sfun    an
arcsinh hyperbolic arc sine    {~ function}    sfun    an
arctan arc tangent    {~ function}    sfun    an
arctanh hyperbolic arc tangent    {~ function}    sfun    an
ARE asymptotic relative efficiency    st    or
arg argument    {~ of a complex number}    bam    an
ARIMA autoregressive integrated moving-average    {~ time series model}    st
ARL average run length    = cumulative sum control chart    st
ARMA autoregressive moving-average    {~ models; ~ processes}    st
ARMAX autoregressive moving-average with exogenous components    {~ models}    st
ARP age replacement policy    = maintenance policy    or
ArsC Ars Combinatoria    ju
ARUMA autoregressive universal moving-average    {~ models}    st
ARX autoregressive exogenous    {~ models}    st
ASA American Statistical Association    http://www.amstat.org    ass    st
ASC Australian Science Communicators    = people interested in science communication    http://www.asap.unimelb.edu.au/asc/asc.html    ass    doc
ASCI Accelerated Supercomputing Initiative    = of USA government    sucmp
ASCII American Standard Code for Information Interchange    sw    doc
ASF algebraic specification formalism    alsp    lac
ASH average shifted histogram    st
ASI Advanced Study Institute    = of NATO    res
ASIS American Society for Information Science    ass    inf
ASL1 affine?? special linear    {~ group}    alg
ASL2 algebraic specification language    alsp
ASN average sample number    st
ASOR Australian Society for Operations Research    http://www.maths.mu.oz.au/~worms/asor/    ass    or
ASPACE alternating Turing Machine space complexity    = complexity class    alm
ASSB Annales de la Societ\'e Scientifique de Bruxelles    ju
Ast Ast\'erisque    ju
ATIME alternating Turing Machine time    {~ complexity class}    alm
ATM1 Adobe Typeface Manager    doc
ATM2 alternating Turing machine    cmty    logf
ATN augmented transition network    {~ model for synctactic analysis}    lac    lngt    ai
ATP algebraic theory of processes    fmod    sem
AUC area under curve    an    st
aug augmentation    alg    cmb
AusMS Australian Mathematical Society    http://www.math.unsw.edu.au/amsweb    ass
Aut automorphism    {group of ~}    alg
AVC arbitrarily varying channel    cod
AveLen average codeword length    cod
AVL Adel'son-Vel'skii - Landis    = tree structure    alm
AVS arbitrarily varying source    cod
AWK Aho Alfred - Weinberger Peter - Kernighan Brian    = string manipulation language born in Unix named after its authors    lac    doc
AWM Association for Women in Mathematics    http://www.awm-math.org/

B1 ??    {~-spline}
B2 Banach    {~ space}    fuan
B3 Bernoulli    {~ numbers; ~ polynomials}    an    cmb
B4 beta function    sfun
B5 byte    um    hw
B&B branch and bound    {~ method}    alm
BAMS Bulletin of the American Mathematical Society    ju
BAN best asymptotically normal    {~ estimates; ~ estimator}    st
BBD balanced block design    cmb
BBS Blum L. - Blum M. - Shub M.    {~ random number generator}    alm
BC1 block chaining    {~ mode}    tlc
BC2 broadcast channel    tlc
BC-NF Boyce - Codd E. F. normal form
BCH Bose - Chauduri - Hocquenghem    {~ codes}    cmb
BCMS Bulletin of the Calcutta Mathematical Society    ju
BCS British Computer Society    ass    inf
BDF backward [difference | differentiation] formula    na
BDF2 backward difference formula, second order    na
BFGS Broyden C. G. - Fletcher R. - Goldfarb D. - Shanno D. F.    = for gradient method in numerical optimization    {~ formula}    na
BFS breadth first search    = algorithm paradigm    alm    grft
BH Boolean hyerarchy    = complexity classes    cmty
Bi Airy    {~ fuction}    sfun
BIAS Bulletin in Applied Statistics    ju
BIB balanced incomplete block    {~ design}    cmb    st
BIBD balanced incomplete block design    cmb    st
BIBO ??    {~ stability}    st
BIC Bayesian information criterion    st
BICA Bulletin of the Institute of Combinatorics and its Applications    ju
BIE Bureau International d'Education    did    agen
Biom Biometrika    ju
BIT Nordisk Tidskrift for Informationbehandling    ju    inf
BJGA Balkan Journal of Geometry and its Applications    http://www.emis.de/journals/BJGA/index.html    ju
BLE best linear estimator    st
BLISS Basic Language for the Implementation of System Software    sw
BLMS Bulletin of the London Mathematical Society    ju
BLS Bureau of Labor Statistics    = of USA government    st
BLSS Basic Language Statistical Software    sw
BM1 Bose - Mesner    {~ algebra}    alg
BM2 Boyer - Moore    {~ algorithm}    lac    alm
BMDP biomedical data processing    = statistical software package    st
BMG Bulletin de la Soci\'et\'e Math\'ematique de Gr\`ece    ju    ass
BMOA bounded mean oscillation analytic    an
BN Bruhat - ??    {~ pair}    alg
BPP probabilistic Turing machine with bounded two-sided error of polinomial time    = complexity class    cmty
BPTD balanced part ternary design    cmb
Br Brauer group    alg
BRAM random access machine with bitwise Boolean instructions    = model of computation    cmty
BRD Bhaskar Rao design    cmb
BRFT basic recursive function theory    logf
BRIMS Basic Research Institute in Mathematical Sciences    http://www-uk.hpl.hp.com/brims/    res
BRP block replacement policy    = maintenance policy    or
BRR balanced repeated replication    st
bs bounded search    alm    logf
BSC binary symmetric channel    cod
BSMB Bulletin de la Soci\'et\'e Math\'ematique de Belgique    ju    ass
BSMF Bulletin de la Soci\'et\'e Math\'ematique de France    ju    ass
BTD1 balanced ternary design    cmb
BTD2 balanced tournament design    cmb
BTIB balanced treatment incomplete block    {~ design}    st    cmb
btt bounded truth-table    logf
bun vector bundle category    alg
BWG Belgish Wiskundig Genootschap    = Belgian Mathemetical Society    ass

C1 centralizer    {~ of a group}    alg
C2 Chebyshev    {~ polinomial of the second kind}    sfun    na
C3 complex    {~ numbers}    bam
C4 cone    bam    geo
C5 cylinder function    sfun
c Charlier    {~ polynomials}    sfun
C.mmp Carnegie multi-mini processor
CA1 [certification | certifying] authorithy    = in the ISO certification framework    {~ for public-key cryptography}    cod
CA2 cellular automata    {cipher built on ~}    alm    dm
CAC characteristically algebraically closed    alg
CACM Communications of the Association for Computing Machinery    = journal
CAD computer aided design    sw
CADA computer assisted data analysis    = sw package    sw    st
CAIN ???
CAlg Communications in Algebra    ju    alg
CAM categorical abstract machine    fprg
CAMAL Cambridge algebra    = symbolic algebra package    sw    smbcmp
CAMEL Canadian Mathematical Electronic Library    http://camel.math.ca    ass    doc
CAPI computer assisted personal interviewing    st    sw
card cardinality    nt    bam
CART classification and regression trees    st    alm
CAT computerized axial tomography    = TAC    mdca
CATI computer assisted telephone interviewing    st    sw
CB Cow - Bardwell    {~ family of distribution}    st
CBC cipher block chaining    {~ mode}    cod
CBCPD cipher block chaining of plaintext difference    cod
CBF Charles Babbage Foundation    res
CBI Charles Babbage Institute    res
CBMS Conference Board of the Mathematical Sciences    = of AMS    ass    pub
CBul Computer Bulletin    ju    inf
CBW crypt breakers workbench    = decryptation program in Unix    cod
CC/PP Composite Capability / Preference Profiles    = a user side framework for content negotiation developed by W3C    http://www.w3.org/TR/1998/NOTE-CCPP-19981130    www    doc
CCEP commercial [COMSEC | communication setup] Endorsement Program    tlc
CCS1 calculus of communicating systems    fmod
CCS2 Computer Classification System    http://www.acm.og/1998    doc
CCV comparator circuit value    = complexity class    cmty
CD1 conceptual dependence    {~ model of language}    ai    lngt
CD2 with Efimov - Stechkin property    {noemed soace ~}    fuan
CDC Control Data Corporation    = historical company    itc
CDF cumulative distribution function    st
cdf cumulative distribution function    st
CECM Center for Experimental and Constructive Mathematics    = of Simon Fraser University, (CA)    http://www.cecm.sfu.ca/    res    doc
CentER Center for Economic Research    = of Tilburg University    un
CEREMATH Centre de reserche Mathematique    = of the Universit\'e de Toulouse    un
CF characteristic function    bam
Cf class functions    {~ for a group}    alg
CFB cipher feedback    {~ mode}    tlc
CFD computational fluid dynamics    fldy    sccmp
CFL context free language    lac    alm
CG1 Computers and Graphics    ju
CG2 connectivity graph    am
CGM computer graphics Metafile    = open consortium for standardization    http://www.cgmopen.org/    cgr
CH convex hull    geo
ch character    {~ of a group}    alg
char characteristic    {~ of a ring}    alg
Chi hyperbolic cosine integral    {~ function}    sfun
CI context invariance    = statistical assumption    st
Ci cosine integral    {~ function}    sfun
CIB Centro Inter-Bibliotecario    http://www.cib.unibo.it    doc    libr
CIEAEM Commission Intenationale pour l'\'Etude et l'Am\'elioration de l'enseignement Math\'ematique    = International Commission for the Study and Improvement of Mathematics Education    dim
CIIM Commissione Italiana per l'Insegnamento della matematica    = commission of UMI    ass    dim
CIME Centro Internazionale Matematico Estivo    http://www.math.unifi.it/CIME/Welcome.to.CIME.html    ass    conf
Cin cosine integral    {~ function}    sfun
Cinh hyperbolic cosine integral    {~ function}    sfun
CIPS Canadian Information Processing Society    ass
CIRAM Centro Interdipartimentale di Ricerca per le Applicazioni della Matematica    = of the University of Bologna    http://eulero.ing.unibo.it    un
CIRM1 Centre International de Rencontres Math\'ematiques    = of CNRS and SMF in Marseille    http://cirm.univ.mrs.fr    res
CIRM2 Centro Internazionale per la Ricerca Matematica    = in Povo, Italy    res
CIS Current Index in Statistics    ju    st
CISM computer-intensive statistical methods    st    cmtg
CJM Canadian Journal of Mathematics    ju
CJn The Computer Journal    ju    inf
CJP Canadian Journal of Physics    ju    phys
CLA central legitimation agency    {~ for secure elections}    tlc    cod
CLUSTAN cluster analysis    = a program    sw    st
CM1 conformal mapping    geo    an
CM2 corrective maintanance    or
CMB Canadian Mathematical Bulletin    ju    phys
CML1 chemical markup language    http://www.venus.co.uk/omf/cml    www    lac
CML2 Combined Membership List    = of AMS, MAA, SIAM, AMATYC    http://www.ams.org/cml/    doc    ass
CMM capability maturity model    = quality control model    sw
CMP Current Mathematical Publications    doc    ju
CMS Canadian Mathematical Society    http://camel.math.ca    ass
CMU Carnegie Mellon University    http://www.cmu.edu/    = near Pittsburgh    un
CMWA Computers and Mathematics with Applications    ju
CN Congressus Numerantium    ju    alm
cn Jacobi elliptic function    sfun
CNDPM The Centre for Nonlinear Dynamics in Physiology and Medicine    http://www.cnd.mcgill.ca/    un    bim
CNF conjunctive normal form    logf
CNR Consiglio Nazionale delle Ricerche    = Italian public research organism    res    go
CNRS Conseil Nationale pour les Recherches Scientifiques    = of France    http://www.cnrs.fr    res    go
COA cubical orthogonal array    cmb
CoCoA commutative computer algebra    = computer algebra system    alg    sw
COCV Contr\^ole Optimisation et Calcul des Variations    http://www.emis.de/journals/COCV/index.html    ju
coDim codimension[s]    geo
Coker cokernel    alg
coker cokernel    alg
colog cologarithm    {~ function}    sfun    an
COMB console-oriented model building    = interactive data analysis system    st    sw
Comb Combinatorica    ju    cmb
Comod comodule    alg
COMSET communication setup    = mutual identification and key exchange protocol    tlc
ContM Contemporary Mathematics    ju
CONTU Commission on New Technological Uses of Copyrights    doc    go
Cor corestriction map    = in cohomology    alg
corep corepresentation    = category of modules    alg
COSMOS Console-Oriented Statistical Matrix Operator System    = interactive data analysis system    sw    st
COSY concurrent systems    fmod    sem
covers coversine    {~ function}    sfun
CPI-U consumer price index for all urban consumers    st
CPI-W consumer price index for urban wage earners and clerical workers    st
CPM1 \;Casopis pro P\;estov\'an\'i Matematiky    ju
CPM2 critical path method    or
CPRAM concurrent parallel random-access machine    logf    cmty
CPRSRG cryptographically secure pseudo-random sequence generator
CPS1 Centro di Ricerche sul Calcolo Parallelo e i Supercalcolatori    = of CNR in Napoli    http://pixel.dma.unina.it    res
CPS2 current population survey    st
CPSR Computer Professionals for Social Responsability    inf    scl
CPV Cauchy principal value    an
CQYC category of quantum Yang - Baxter    {~ algebras}    alg    qt
CR1 capability range    st    mam
CR2 Computing Reviews    ju    inf
CRB Comptes Rendus, Congres National des Sciences, Bruxelles    ju
CRC Chemical Rubber Company    {~ press}    pub
CRCS Computing Reviews Classification System    http://www-lit.mathematik.tu-muenchen.de/Harvest/brokers/veroeff/crcs.html    doc
CRCW PRAM concurrent-read, concurrent-write parallel random-access machine    logf    cmty    fmod
CRDM Centro di Ricerca Didattica Ugo Morin    http://www.filippin.it/morin/    did
CREW PRAM concurrent-read, exclusive-write parallel random-access machine    logf    cmty    fmod
CRM Centre de recherches Math\'ematiques    http://www.CRM.UMontreal.CA/    un
CRO Cahiers du Bureau Universitaire de Recherche Operationelle, Paris    ju    or
CRP Comptes Rendus Hebdomadaires des S\'eances de l'Academie des Sciences, Paris    ju
CRSEM Centro di Ricerca e Sperimentazione in Educazione Matematica    did
CruxM Crux Mathematicorum    ju
CS1 complements are summands, closed submodules are summands    {~ semisimple module}    alg
CS2 computation sequence    prg    fmod
CSB Classification Society Bulletin    ju    doc
csc cosecant    {~ function}    sfun    an    geo
CSCL Computer Supported Collaborative Learning    did
CSDA Computational Statistics and Data Analysis    ju    st
CSHPM Canadian Society for the History and Philosophy of Mathematics    http://www.math.ruu.nl/hm/
CSIC Consejo Superior de Indagaciones Cientificas    = of Spain    http://www.csic.es    res    go
CSMC The Centre for Statistical and Mathematical Computing    http://www.indiana.edu/~stmath/    res    st    cmtg
CSP communicating sequential processes    fmod    sem
CSS Cascade style sheet    = language controlling Web document style developed by W3C    http://www.w3.org/Style/CSS    www    pub    lac
CSS&FP CSS and Formatting Prpperies    = working group of W3C    www    doc
CSS1 Cascade style sheet, level 1    = recommandation by W3C    http://www.w3.org/TR/REC-CSS1/    www    pub    lac
CSS2 Cascade style sheet, level 2    = recommandation by W3C, builded on CSS1    http://www.w3.org/TR/REC-CSS2/    www    pub    lac
CTAN Comprehensive TeX Archive Network    http://cis.uniroma2.it    doc
CTF central tabulating facility    {~ for secure elections}    tlc    scl
CTM counting Turing machine    cmty    fmod
CTMC continuous time Markov chain    st
CUBAI Catalogo Unico delle Biblioteche astronomiche italiane    = in Trieste    http://www.oat.ts.astro.it/biblio/cubai.html    doc    astr
CUMS Cambridge University Mathematical Society    ass
CUP Cambridge University Press    pub
CUSUM cumulative sum    {~ chart}    st
CV ccapability volume    st    am
CWI Centrum voor Wiskunde en Informatica    = in Amsterdam    http://www.cwi.nl/    res
CYBE classical Yang - Baxter equation    geo    qt    cmb
CYK Cocke - Younger - Kasami    {~ algorithm}    = for parsing    alm

d distance    an    geo
D-MathNet ??    http://D-MathNet.preprints.org/    doc
da deca    = 10    um
DAC data authentication code    = one-way hash function    cod
DAF Data Access Fee    = plan of AMS for MR access    pub
DAG directed acyclic graph    grft
DAM Discrete Applied Mathematics    ju
Dan-Emir Danish Mathematical Information Retrieval    http://dan-emir.math.dtu.dk    lnks
DANTE Delivery of Advanced Technology to Europe    http://www.dante.org.uk/    www    netp
DBIBD directed balanced incomplete block design    cmb
DCC1 descending chain condition    alg    cmb
DCC2 Designs, Codes and Cryptography    ju    cmb
DCFL context free language accepted by a deterministic PDA    lac    alm
DCG Discrete and Computational Geometry    ju
DCMI Dublin Core Metadata Initiative    http://purl.org/DC    doc    www
DCT discrete cosine transform    op
DD directed design    cmb
DDC Dewey Decimal Classification    http://www.tnrdlib.bc.ca/dewey.html    doc
DDL dynamic logic with deterministic while programs    lprg
DEA data encryption algorithm    cod
DEC Digital Equipment Corporation    = historical company    http://www.digital.com    itc
DEDS discrete-event dynamic system    st
deg degree    bt    um    bam    alg
DEK data exchange key    cod
DEPTH based on circuit depth    = complexity class    alm
Der derivations    = in cohomology    alg    geo
DES Data Encryption Standard    cod    tlc
DET decision problems log-space reducible to integer determinant evaluation    = complexity class    cmty
det determinant    alg    bam    cmb    geo
DET/EOS deterministic scale parameter / exponential order statistics    st
dev1 developer    sw    geo
dev2 development    an    geo    sw
DFA deterministic finite [state] automaton    alm
DFG Deutsche Forschunggemainshaft    http://www.dfg.de    ass
DFOM decreasing force of mortality    {~ distribution}    st
DFP Davidon W. C. - Fletcher R. - Powell M. J. D.    = for gradient method in numerical optimization    {~ formula}    na
DFR decreasing failure rate    = life distribution    st
DFRA decreasing failure rate average    {~ distribution; ~ process}    st
DFS depth first search    = algorithm paradigm    {~ forest}    alm    grft
DFT discrete Fourier transform    alm
DGDD directed group divisible design    cmb
DHR decreasing hazard rate    st
DHTML dynamic hypertext markup language    www    lac    doc
DI data invariance    = statistical assumption    st
DiA Diskretnyi Analiz    = in Novosibirsk    ju
diag diagonal    {~ matrix}    alg
DIC data integrity check    = one-way hash function    cod
DIM distribution model    {income ~}    st
dim dimension    bam    geo    alg
DIMACS Discrete Mathematics and Computer Science    = at Rutgers, USA    http://dimacs.rutgers.edu/    un
DIS Department of Information Systems    un
div divergence    {~ of a vector field}    geo    an    mec
DK Doehlert - Klee    {~ design}    cmb
DL [first order] dynamic logic    logf    prg
DLR Dobrushin - Lanford - Ruelle    {~ equations}    st
DM1 difference matrix    cmb
DM2 Documenta Mathematica    = journal of DMV    http://www.emis.de/journals/DMJDMV/index.html    ju
DMC discrete memoryless channel    cod
DMF Dansk Matematisk Forening    = Danish Mathematical Society    http://www.math.ku.dk/dmf/    ass
DMFA Drustvo Matematikov, Fizikov in Astronomov Slovenije    = Society Mathematics, Physiscs, Astronomy of Slovenia    http://www.mat.uni-lj.si/dmfa.htm    ass
DMMS discrete memoryless multiple source    cod
DMRL decreasing mean residual life    st
DMS1 Defense Messaging System    cod
DMS2 discrete memoryless source    cod
DMS3 Division of Mathematical Sciences    = of NSF    agen
DMV Deutsche Mathematiker Vereiningung    = German Mathematical Society    http://www.mathematik.uni-bielefeld.de/DMV/    ass
DNA derossiribonucleic acid    {~ sequencing}    am    cmb    st
DNF disjunctive normal form    logf
DOE design of experiments    cmb    st
DOM Document Object Model    = model mantained by W3C allowing to dinamically access and modify Web documents    http://www.w3.org/DOM/    www    doc
DOM1 Document Object Model level 1    http://www.w3.org/TR/REC-DOM-Level-1    www    doc
DOM2 Document Object Model level 2    http://www.w3.org/TR/WD-DOM-Level-2    www    doc
DP difference packing    cmb
DPCM differential pulse code modulation
DPDA deterministic pushdown automaton    lac    alm
DPE dynamic programming equation    or
DR doubly resolvable    {~ design}    cmb
DRG distance regular graph    cmb
DS/EOS deterministic stochastic scale parameter / exponential order statistics    st
DSA digital signature algorithm    cod
DSP1 digital signal [processing | processor]    mprc    alm
DSP2 dual of [SP | skew symmetric matrix optimization problem]    or
DSPACE deterministic Turing machine space    = complexity class    alm
DSS1 decision support system    sw    or
DSS2 digital signature standard    cod    scl
DSSSL Document Style Semantics and Specification Language    = for SGML    doc
DTD Document Type Definition    = preamble of SGML and XML document defining tags, attributes etc.    www    doc
DTG distance transitive graph    cmb
DTIME deterministic Turing machine time    = complexity class    alm
DTM1 delay time model    = preventive maintenance model    or
DTM2 deterministic Turing machine    lac    logf    fmod
DTMC discrete time Markov chain    st
DTS directed triple system    cmb
DUD ??    = nonlinear regression algorithm    alm    st
DuMJ Duke Mathematical Journal    ju
DVI device independent    = format of TeX output files    sw
DVR discrete valuation ring    alg
DVSS Det Kongelige Danske Videnskabernes Selskabs Skrifter    ju
DWh directed twist    {~ tournament}    cmb
DWP deterministic while program    prg    lprg
DyQN dynamic queuing network    or

E1 conventional notation    = complexity class
E2 estimation    st
E3 Euclidean space    geo    ..
E4 Euler    {~ number; ~ polynomial}    an    cmb
E5 exa    = 10^{18}    um
e Euler    {~ constant}    = 2.71728182..    bam    an
e-MATH electronic mathematics    = the Web site of the AMS    http://e-math.ams.org    www    doc
E_1CB extended Cow - Bardwell    {~ family of distribution}    st
EATCS European Association for Theoretical Computer Science    alm    ass
EB empirical Bayes    {~ modification}    st
EC1 European Community    nat
EC2 existentially closed    {~-field}    alg
ECAD electronic computer aided design    sw
ECB electronic codebook mode    cod
ECGD Conformal Geometry and Dynamics    = electronic-only journal of AMS    ju
ECM1 elliptic curve method    {~ for number factoring}    nt    cod
ECM2 European Congress of Mathematics    http://www.iec.es/3ecm/
ED50 ??    st
EDE encrypt-decrypt-encrypt    {~ mode}    = a multiple encryption    cod
EDF empirical distribution function    st
EDITRAM random access machine with editing instructions    = model of computation by Stegwee, Torenvliet van Emde Boas    cmty
EDMN The Edinburgh Mathematical Notes    ju
EFF Electronic Frontier Foundation    ass    inf
EG Euclidean geometry    geo
EGF exponential generating function    cmb    sfun
EH exponential hyerarchy    = complexity classes    cmty    fmod
Ei exponential integral    {~ function}    sfun
EIS The Encyclopedia of Integer Sequences    = book by Sloane and Pouffle    doc
EJC European Journal of Combinatorics    ju    cmb
EJDE1 Electronic Journal of Qualitative Theory of Differential Equations    http://www.emis.de/journals/EJQTDE/index.html    ju
EJDE2 The Electronic Journal of Differential Equations    http://www.emis.de/journals/EJDE/Welcome.html    ju
EK extended Katz    {~ family of distributions}    st
EKE encrypted key exchange    cod
ELEUSI Centro per la elaborazione logica e l'utilizzazione Sistematica dell'informazione    = of the Universit\'a Bocconi in Milano    http://www.uni-bocconi.it/bocconi/struttura/economia_politica/eleusi.htm    un    dim
ElM Elemente der Mathematik    ju
EM1 ??    = Tex system    doc    sw
EM2 espectation-step, maximization-step    {~ algorithm}    st
EM3 L'Enseignement Math\'ematique    ju    dim
EMAC Engineering Mathematics and Applications Conference    = in 1998 in adelaide    conf
EMIS European Mathematical Information Service    http://www.emis.de    doc
EMS1 Edinbourgh Mathematical Society    http://www.maths.ed.ac.uk/~chris/ems/    ass
EMS2 European Mathematical Society    = SME    http://www.emis.de    ass
EMT European Mathematical Trust    = in Kopenhavn    ass    sw
End endomorphism    alg
ENIAC Electronic Numerical Integrator and Computer    hwp
ENL Emmy Noether Lectures    http://www.awm-math.org/information/Noether_Brochure/TOC.html    hist
ENS \'Ecole Normale Sup\'erieure    http://www.dmi.ens.fr    un
EnvP Environment and Planning    ju
EOQ economic order quantity    {~ model}    st
EOR exclusive OR    = XOR    bam    logf
EOS exponential order statistics    st
EPA equidistant permutation array    cmb
EPC-EMS Electronic Publishing Committee of the European Mathematical Society    http://www.emis.de/epc-ems.html    www    doc
EPRAM exclusive parallel random-access machine    logf    cmty
EPSRC European Project for Symbolic ?? Computation    proj    smbcmp
ERA-AMS Electronic research announcements of the American Mathematical Society    http://www.emis.de/journals/ERA-AMS/index.html    ju
ERAM Electronic Research Archive for Mathematics    http://www.emis.de/projects/JFM    www    doc    proj
ERCIM European Research Consortium for Informatics and Mathematics    http://www-ercim.inria.fr    res
EREW PRAM exclusive-read, exclusive-write parallel random-access machine    logf    cmty    fmod
erf error function    sfun    st
erfc complementary error function    sfun    st
ERL Electronic Reference Library    = technology by SilverPlatter    doc
ERT Representation Theory    = Electronic-only journal of AMS    ju
ESA European Space Agency    agen
ESAIM European Series in Applied and Industrial Mathematics    ju
ESF European Science Foundation    ass
ESI Erwin Schr\"odinger International Institute for Mathematical Physics    = in Wien    http://www.esi.ac.at    res
ESIGN electronic signature    cod    scl    www
ESRIN European Space Reaearch ??    = of ESA in Frascati    http://??    res    doc
ESTA European Science and Technology Association    ass
ETH Eidgenossische Technische Institut    = in Zurich    un
ETHZ Eidgenossische Technische Institut Zurich    http://www.math.ethz.ch/    un
ETNA Electronic Transactions on Numerical Analysis    http://www.emis.de/journals/ETNA/index.html    ju
ETOC espected total operating cost    = statistical parameter    st
EULER European Libraries and Electronic Resources    http://www.emis.de/projects/EULER/    www    doc    proj
EurJA Eureka, the Journal of Archimedeans    = of CUMS    ju
Euro-Math-Job European mathematics job pages    http://www.maths.lth.se/nordic/euro-Math-Job.html    nets
EUT Eindhoven University of technology    un
EWM European Women in Mathematics    http://www.math.helsinki.fi/EWM/
EXP determinstic exponential [time]    = complexity class    alm
exp exponential    {~ function}    bam    an    sfun
ExpM Experimental Methematics    ju
EXPSPACE determinstic exponential space    = complexity class    alm
exsec exsecant    {~ function}    an    sfun
Ext1 extension    {~ functor}
Ext2 exterior algebra    alg

F1 Fisher    {~ group}    alg
F2 free    {~ group; ~ monoid}    alg
f femto    = 10^{-15}    um
FA finite [state] automaton    alm    lac
FAC fully algebraically closed    {~ skew field}    alg
FANOVA factor analysis of variance    {~ model}    st
FAQ frequently asked questions    = type of exposition    doc
FBI fixed-bit index    {~ protocol}    tlc
FBTD factored balanced tournament design    cmb
FCFS last come, first served    = priority repair discipline    st
fcog finitely cogenerated    alg
FCP fatigue crack propagation    st
fd flat dimension    alg    geo
FDA Food and Drug Administration    = of USA government    agen    st
FDET search problems log-space reducible to integer determinant evaluation    = complexity class    cmty
FEAL ??    ci
FEE fast elliptyc encryption    cod
FFR finite free resolution    alg
FFT Fast [discrete] Fourier Transform
fg finitely generated    {~ module}    alg
FIR finite impulse response    {~ filter}    ci    tlc
FIZ Fachinformationszentrum    = in Karlruhe    doc    agen
FKG Fortuin C.M. - Kasteleyn F.N. - Ginibre J.    {~ inequality}    st
FLT Fermat last theorem    alg
FMEA Failure Modes and Effects Analysis    = reliability software tool
FMECA Failure Modes, Effects and Criticality Analysis    = reliability software tool
FNC complexity class of search problems similar to NC    cmty
FOPC First Order Predicate Calculus    logf
FORB forbidden    = instructin of functional languages    lac    alsp
FORMAC formal computing    = symbolic manipulation tool    alm    smbcmp
FP1 feasibility procedure
FP2 fixpoint query    db
FP3 search problems solvable in polynomial time    = cdomplexity class    cmty    alm
fp finitely presented    {~ group; ~ module}    alg
FPAP floating point array processor    hw
FPC floating point calculation    hw
FPE final prediction error    {~ criterion}    st
FPP1 floating-point processor    hw
FPP2 fundamental paeriod parallelogram    sfun
FPR floating-point register    hw
FPS floating-point system    hw
FPSAC Formal Power Series and Algebraic Combinatorics    conf
FQ Fibonacci Quarterly    ju
fr finitely related    {~ module}    alg
FSA Finite State Automaton
FSM Finite State Machine
FSOLS frame self-orthogonal latin square    cmb
FST finite state transducer    alm    lac    cod
FSU Florida State University    http://www.math.fsu.edu/~aluffi/eprint.archive.html
FTF Future-Tech Foundation    = all-volunteer organisation of professionals aiming to influence the commercial decisions    http://www.techfuture.org    ass
Fun1 function    bam    an
Fun2 functor    logf    alg
FUNOM full normal modification    = in statistical data editing    st
FUNOP full normal plot    = in statistical data editing    st
FUNOR full normal rejection    = in statistical data editing    st
FUP class of partial functions computable by polynomial-time unambiguous Turing Machines    cmty
FVSCPM Finska Vetenskaps-Societeten, Comment. Physico Math.    ju
FW Faith Carl - Walker    {~ theorem}    alg
FWE familiwise error rate    st

G1 Giga    = one billion 0r 1 073 741 824    um
G2 Gr\"obner    {~-bases}    alg    geo    alm
Gal Galois group    alg
GAMM Geselleschaft f\"ur Angewandte Mathematik und Mechanik    http://www.uni-regensburg.de/Fakultaeten/nat_Fak_I/Menniken/gamm.html    ass
GBRD generalized Bhaskar Rao design    cmb
GBTD generalized balanced tournament design    cmb
GC Graphs and Combinatorics    ju    grft
GCD gratest common divisor    {~-domain}    bam    alg
gcd gratest common divisor    bam    alg
GCV generalized cross validation    st
gd Gudermaniann    sfun
GDD group divisible design    cmb
GDES generalized [DES | data encryption standard]    cod
GEM generalized EM    {~ algorithm}    st
GENSTAT generalized statistical program    sw    st
GERT graphical evaluation review technique ess    {~ flowchart techniques}    st
GF1 Galois field    alg
GF2 generating function    cmb    sfun
gfun generating function    = sw package at INRIA    smbcmp
GG Goyal - Gunasekaran    {~ maintenance model}    or
GGD group divisible design    cmb
GHFD generalized hypergeometric factorial-moment distributions    st
GHP generalized hypergeometric distribution    st    sfun
GHPD generalized hypergeometric probability distributions    st
GI Geselleschaft f\"ur Informatik    = of Germany    http://www.gi-ev.de/    ass    inf
GIF [Graphic | Graphical | Graphics] Interchange Format    = a high compression image file format    cgr
GIRP Groupe International de Recherche en P\'edagogie de la Mathematique    dim
GISIG Geographic Information Systems International Group    http://gisig.ima.ge.cnr.it    cgr
GK Goyal - Kusy    {~ maintenance model}    or
GKP generalized Kripke - Platek    {~ set of axioms}    logf
GKS Graphical Kernel System
GL general linear    {~ group}    alg    geo
glb greatest lower bound    bam    an
GLIM generalized linear models    = sw package    {program for fitting ~}    st
GLM generalized linear model    = scheme    {program for fitting ~}    st
GLS generalized least squares    st
GmD Geometria Dedicata    ju    geo
GMJ Glasgow Mathematical Journal    = formerly PGMA    ju
GMS Greek Mathematical Society    ass
GNAFA Gruppo Nazionale per l'Analisi Funzionale e le sue Applicazioni    = of CNR in Firenze    res
GNDF Gruppo Nazionale per la Didattica della Fisica    = of CNR    did
GNFM Gruppo Nazionale per la Fisica Matematica    = of CNR in Firenze    res
GNIM Gruppo Nazionale per l'Informatica Matematica    = of CNR in Firenze    res
GNSAGA Gruppo Nazionale per le Strutture Algebriche e Geometriche e loro Applicazioni    = of CNR in firenze    res
GOS general order statistics    st
GPI generalized polynomial identity    alg
grad gradient    {~ of a vector field}    an    mec
Grass Grassmanian    {~ bundle; ~ manifold}    geo
GRI generalized rational identity    alg
GRIM Gruppo di Ricerca Insegnamento delle Matematiche    = in Palermo    http://dipmat.math.unipa.it/~grim/    dim    un
GRS generalized Room square    cmb
GrU graded units
GS generalized semilinear group
GSPN generalized stochastic Petri net    st    cmb
GSPRT generalized sequential probability ratio test    st
GSS golden section search    = maintenance model
GSSP generic statistical software package    = type of routine library    sw    st
GTL general linear    {~ group}
GWU George Washington University
GYD generalized Youden design    cmb

H1 Hamming    {~ codes}    cod
H2 Hankel    {~ functions}
H3 harmonic    {~ numbers}    bam    an    geo
H4 Heaviside    {~ step function}    an
H5 Hecke    {~ algebras}    alg
H6 Hermite    {~ polynomials}    sfun    cmb    qt
H7 homogeneous harmonic polynomials    sfun
H8 homology module    alg
H9 hyperbolic    bam    geo
H10 hyperboloid    geo
H11 Radon - Riesz normed space    fuan
h hecto    = 100    um
H-S Heyneman - Sweedler    {~ notation}    alg
Had Hadamard    {~ codes; ~ matrix}    cod    cmb
HaJ Hall - Janko    {~ group}    alg
hav haversine    {~ function}    sfun
HAVAL variable length hash function    = secure hash function
HBTD hamiltonian balanced tournament design    cmb
HC hereditarily countable    {~ set}    logf
HCLF highest common left factor    alg
He Hermite    {~ polynomials}    sfun
HEFCE Higher Education Funding Council for Eengland    agen
HEP High Energy Physics    phys
Her Hermitian    {~ form}    alg    geo
HESBRR health statistics balanced repeated replication    = program    sw    st
HF hereditarily finite    {~ set}    logf
HIF hazard increasing upon failures    = aging property for maintenance
HIPPI High Performance Parallel Interface
HLA how long ago    = maintenence time parameter
hlex ?? lexicographical    {~ order}    doc    lac
HML how much long    = maintenence time parameter
HNBUE harmonic new better than used in expectation    = life distribution    st
HNN Higman G. - Neumann Bernard - Neumann Hanna    {~ extension of fields}    alg
Hom homomorphism[s]    {module of ~}    alg
HOMFLY Hoste - Ocneanu - Millett - Freyd - Lickorish - Yetter [- Przyticky - Traczyk]    {~ polynomial}    alg
HPD highest posterior density    st
HPP homogeneous Poisson process    st
HQ Hannan - Quinn    {~ criterio}    st
HS Higman - Sims    {~ simple group}    alg
HSOLSSOM holey self-orthogonal latin square with symmetric orthogonal mate    cmb    st
HSSS highly structured stochastic systems    http://www.maths.nott.ac.uk/hsss/Members/members.html    ass    st
HTS Hall triple system    cmb
HTTP Hypertext Transfer Protocol    http://www.w3.org/Protocols    www
HTTP-NG Hypertext Transfer Protocol - New Generation    http://www.w3.org/Protocols/HTTP-NG/    www
HUB Humbold University of Berlin    un
hw hardware    bt    hw
HyTyme hypermedia/time-based structuring language    = by ISO (10744)    lac    doc

I4I Infrastructures for Information    http://www.i4i.com/    doc
IAC Istituto per le Applicazioni del Calcolo    = of CNR in Roma    http://www.iac.rm.cnr.it    res
IACME Interamerican Conference on Mathematics Education    dim
IACR International Association of Cryptographic Research    http://www.iacr.org/~iacr/index.html    ass    cod
IAGA Istituto per l'Analisi Globale e le sue Applicazioni    = of CNR in Firenze    http://www.iaga.fi.cnr.it    res
IAM1 Institute of Applied Mathematics    = at the University of British Columbia    http://www.iam.ubc.ca    un
IAM2 Istituto per le Applicazioni della Matematica    = of CNR in Napoli    http://www.area.na.cnr.it/isituti/occorsio.html    res
IAMI Istituto per le Applicazioni della Matematica e dell'Informatica    = of CNR in Milano    http://www.iami.mi.cnr.it    res
IAN Istituto per l'Analisi Numerica    = of CNR in Pavia    res
IAPR International Association for Pattern Recognition    ass
IAS Institute of Advanced Studies    res
IASC International Association for Statistical Computing    http://fisher.stat.unipg.it    ass    st
IASI Istituto di Analisi dei Sistemi ed Informatica    = of CNR in Roma    http://www.iasi.rm.cnr.it    res
IBM International Business Machines    = corporation    itc
IBMJRD IBM Journal of Research and Development    ju    inf
IBN invariant basis number    {ring with ~}    alg
IC-CAME International Council for Computeralgebra on Matheducation    dim    smbcmp
ICCTI Instituto de Coopera\'ca\~o Cientifica e Tecnologica Internacional    = of Portugal    go    agen
ICE Information and Content Exchange    = application specific DTD proposed to support the exchange of electronic assets    www    doc
ICHM International Commission on the History of Mathematics    = commission of IMU    http://www.maths.soton.ac.uk/EMIS/mirror/IMU/IHCM    hist
ICIAM International Congress on Industrial and Applied Mathematics    = in 1999 in Edinburgh    conf
ICM1 Interdyscyplinarne Centrum Modelowania Matematycznego i Komputerowegp    = at Uniwersytet Warszawski (PL)    http://sunsite.icm.edu.pl    res
ICM2 International Congress of Mathematicians    {~98}    conf
ICME International Commission on Mathematics Education    dim
ICMI International Commission of Mathematical Instruction    = operating under the auspices of IMU    http://www.cirm.uni-mrs.fr.80/IMU/ICMI/    agen
id injective dimension    alg    geo
IDA ?? data analysis    = ??    sw    st
IDEA International Data Encryption Algorithm    = encryption block algorithm    cod
Ider inner derivations    = in cohomology    alg    geo
IDM1 income distribution model    st
IDM2 L'Interm\'ediaire des Math\'ematiciens    ju
IEEE Institute of Electrical and Electronics Engineers    = international USA-based association    http://www.ieee.org    ass    eln    inf
IEEE-CS Institute of Electrical and Electronics Engineers - Computer Society    http://www.computer.org    ass    inf
IEEE-IT Institute of Electrical and Electronics Engineers - Information Theory Society    http://itsoc.org    ass    ci
IEI Istituto per l'Elaborazione dell'Informazione    = of CNR in Pisa    http://www.iei.pi.cnr.it/    res    doc
IESI Istituto Elaborazione Segnale e Immagini    = of CNR in Bari    http://www.iesi.ba.cnr.it    res    img
IET iterative ellipsoidal trimming    = for clusters    alm    st
IETF Internet Engineering Task Force    http://www.ietf.org    www
IFAC International Federation of Automatic Control    ass
iff if and only if    bt
IFORS International Federation of Operations Research Societies    ass
IFP improved feasibility procedure    or
IFR increasing failure rate    = life distibution    st
IFRA increasing failure rate average    {~ distribution; ~ process}    or
IGDD incomplete group divisible design    cmb
IHES Institut de Hautes Etudes Scientifiques    = in Paris    res
IHR increasing hazard rate    st
IID independently and identically distributed    {~ random process}    st
IIM income inequality measure    st
IIR1 infinite impulse response    {~ filter}    ci    tlc
IIR2 intelligent information retrieval    doc
IJCM International Journal of Computer Mathematics    ju
ILFT independent latent failure times    {~ model for risks}    st
IlJM Illinois Journal of Mathematics    ju
Im imaginary    {~ part}    bam    an
im image    bt    bam
IM NASB Institute of Mathematics - National academy of Sciences of Belarus    http://im.bas-net.by/    un
IMA1 Institute for Mathematics and its Applications    http://www.ima.umn.edu/    un
IMA2 Istituto per la Matematica Applicata    = of CNR in Genova    http://www.ima.ge.cnr.it    res
IMACS International Association for Mathematics and Computing in Simulation    ass
IMAG Institut d'Informatique et de Math\'ematiques Appliqu\'ees de Grenoble    http://www-cabri.imag/fr/    un    dim
IMATLIB Italian Mathematical Libraries    = distributed catalogue of Italian mathematical libraries    http://imatlib.dm.unipi.it/    doc
IMC Istituto per la Matematica Computazionale    = of CNR in Pisa    http://www.imc.pi.cnr.it    res
IMINQE iterated MINQE    = methods for estimators    st
IMINQUE iterated MINQUE    = methods for estimators    st
IMP Interactive Mathematics Program    = 4 year high school curriculum
IMPA Instituto de Matematica Pura e Aplicadas    = in Rio de Janeiro BR    http://www.impa.br/AboutImpa/index.html    res
IMS1 Icelandic Mathematical Society    ass
IMS2 Institute of Mathematical Statistics    st
IMS3 Irish Mathematical Society    http://www.maths.tcd.ie/pub/ims    ass
IMSI L'Insegnamento della Matematica e delle Scienze Integrate    ju    dim
IMSL International Mathematical and Statistical Libraries    = software company    itc    sw
IMSS Istituto e Museo della Storia della Scienza    = in Florence /galileo.imss.firenze.it    hist
IMTA Irish Mathematics Teachers Association    http://www.acts.tinet.ie/irishmathematicsteache_645.html    ass    dim
IMU1 International Mathematical Union    http://elib.zib.de/IMU    ass
IMU2 Israel Mathematical Union    http://www.wisdom.weizmann.ac.il/~imu/homepage.html    ass
ind index    bt    bam
Inf inflation map    = in cohomology    alg
InfCo Information and Control    ju
INFM Istituto Nazionale di Fisica Nucleare    http://www.infn.it    res    phys
InJM Indian Journal of Mathematics    ju
InoC Inorganic Chemistry    ju    chm
INRIA Institut National pour la Recherche Informatique et Automatique    http://www.inria.fr/    res    doc    www
INSPEC Institute ?? Electronic and Computers    pub
int integer    bt    bam
Inv invariant elements    {~ w.r. to a group}    bam    alg    geo
InvM Inventiones Mathematicae    ju
IP1 class of decision problems solvable in polynomial time by an interactive proof system    cmty
IP2 Internet protocol    www    nets
IPBD incomplete pairwise balanced design    cmb
IPES improved proposed encryption standard    cod
IPL Information Processing Letters    ju
IPM interior point method    or
IR Information Retrieval    doc    inf
IRDAC Industrial Research and Development Advisory Committee
IREM Institut Regional pour l'Enseignement des Math\'ematiques    = in France    reg    dim
IRIT Institut de Recherche en Informatique de Toulouse    http://www.irit.fr    res    inf    alm
IRLS iteratively reweighted least squares    = procedure    st
IRMA Istituto di Ricerca nella Matematica Applicata    = of CNR in Bari    http://www.area.ba.cnr.it/~irmald01/irma.html    res
Irr irreducible characters    = of a group    alg
IRRA Institute for Reliability and Risk Analysis    = of GWU    un
IRRSAE Istituto Regionale di ricerca, Sperimentazione e Aggiornamento    did    reg
IRS incomplete Room square    cmb
ISBA International Society for Bayesian Analysis    http://www.bayesian.org    ass    st
ISBN International Standard Book Number    pub
ISI1 International Statistical Institute    st
ISI2 intersymbol interference    tlc    ci
IsJM Israel Journal of Mathematics    ju
ISM Institut des Sciences Math\'ematiques    = of UQAM    http://www.math.uqam.ca/ism    un
ISOLS incomplete self-orthogonal latin square    cmb
ISSAC International Symposium on Symbolic and Algebraic Computuation    ass    smbcmp
ISSN International Standard Serial Number    pub
ISTAT Istituto Nazionale di Statistica    = of Italian government    agen
ITCS Istituto Tecnico Commerciale Statale    did    reg
ITIM Istituto per le Tecnologie Informatiche multimediali    = of CNR in Milano    http://mmmac.itim.mi.cnr.it    doc
ITIS Istituto Tecnico Industriale Statale    did    reg
IUMJ Indiana Journal of Mathematics    ju

J1 Jacobi    {~ determinant}    an
J2 Jacobson    {~ radical}    an
J3 Janko    {~ group}    alg
JABaPub Joint Austrian Bavarian Publications Broker    http://pckaplan2.mathematik.tu-muenchen.de/Harvest/brokers/JaBaPub    www    doc
JACM Journal of the Association for Computing Machinery    ju
JACS Journal of the ACS    ju    inf
JAlC Journal of Algebraic Combinatorics    ju    cmb
JAlg Journal of Algebra    ju    alg
JAlgo Journal of Algorithms    ju    alm
JAMS Journal of the AMS    = Printed and electronic journal of AMS    ju
JASA Journal of American Statistical associacion    ju
JAuMS Journal of Australian Mathematical Society    ju    ass
JCAM Journal of Computational and Applied Mathematics    ju
JCentral Java central    = a sort of Altavista for Java activity by IBM
JCISS Journal of Combinatorics, Information and System Science    ju
JCMCC Journal of Combinatorial Mathematics and Combinatorial Computing    ju
JCP Journal of Chemical Physics    ju    chm    phys
JCT Journal of Combinatorial Theory    ju    cmb
JDG Journal of Differential Geometry    ju    geo
JDK Java [Developers | Development] Kit    prg
JEP Journal de l'\'Ecole Polytechnique    ju
JEWLS jackknifing estimated weighted least squares    st
JFC Java Foundation Classes    prg    sw
JFI Journal of the Franklin Institute    ju
JFM Jahrbuch \"uber die Fortschritte der Mathematik    ju
JGAA Journal of graph algorithms and Applications    http://www.emis.de/journals/JGAA/home.html    ju
JGT Journal of Graph Theory    ju    cmb
JHEP The Journal of High Energy Physics    http://jhep.sissa.it    www    ju
JIA Journal of th Institute of Actuaries    ju
JInMS Journal of Indian Mathematical Society    ju    ass
JLoMS Journal of London Mathematical Society    ju    ass
JM Jelinski - Moranda    = reliability model    or
JMP Journal of Mathematical Physics    ju    phys
JMPA Journal de Math\'ematiques Pures et Appliqu\'ees    ju
JMSJ Journal of the Mathematical Society of Japan    ju    ass
JNICT Junta Nacional de Investiga\,ca\~o Cientifica e Tecnologica    go
JNSM Journal of Natural Sciences and Mathematics    ju    ns
JNT Journal of Number Theory    ju    nt
JOHNNIAC John Neumann Integrator and Automatic Computer    = of Rand Corp.    hw
JOSS Johnniac Open Shop System    = of Rand Corp.    hw
JPAMG Journal of Physics A: Mathematics and General    ju    phys
JPBM Joint Policy Board for Mathematics    = of USA    agen
JPC Journal of Phisical Chemistry    ju    chm    phys
JPEG Joint Photographic Experts Group    = defined a static image compression format    cgr
JRAM Journal f\"ur die Reine und Angewandte Mathematik    ju
JRM Journal of Recreational Mathematics    ju
JS JavaScript    lac    www
JSC Journal of Symbolic Computation    ju    smbcmp    alm
JSIAM Journal of the Society for Industrial and Applied Mathematics    ju
JSP Journal of Statistical Physics    ju
JVM Java Virtual Machine    sw

K1 Kilo    = 1000 or 1024    um
K2 Kolmogorov complexity    logf    alm
K3 Kotz    {~ family of distributions}    st
K4 Krawtchouk    {~ polynomials}    sfun
K5 Krawtchouk - Meixner    {~ functions}    sfun
K6 strongly rotund    {~ normed space}    fuan
K-L Kazhdan - Luztig    {~ polynomial; ~ tensor product}    alg
K-M Kac - Moody    {~ algebra}    alg
KAT Key to Address Transform    sw    db
KB KiloByte    = 1000 or 1024 bytes    um    hw
KBps KiloBytes per second    um    hw
Kbps Kilobits per second    um    hw
KDC key distribution center    cod    nets
KDI Knowledge and Distributed Intelligence    = project of NSF
kei Kelvin function imaginary part    sfun
ker1 Kelvin function real part    sfun
ker2 kernel    alg    fuan
KHz KiloHertz    um    phys    hw
KK Kasparov K-theory    alg
KKT Karush - Kuhn - Tucker    {~ conditions}    or
KMP Knuth - Morris - Pratt    {~algorithm}    alm    lac
KPA key process area    or
Kpc Kiloparsec    = 3 x 3^3 lightyear    phys
KTH Kungl Tekniska H\"ogskolan    = in Stockholm    un
KW Kolmogorov - Wiener    {~ prediction theory}    st
KWIC keyword in context    doc
KWOC keyword out of context    doc
KZ Knizhnik - Zamolodchikov    {~ equation}    geo

L1 deterministic logarithmic space    = complexity class    alm
L2 Laguerre    {~ polynomials; generalized ~ polynomials}    sfun
L3 Laplace    {~ transform}    an    sfun
L4 left    bt
L5 linear space    {~p}    an
L6 Lobachevski\;i    {~ function}    sfun
LaBRI Laboratoire Bordolais de Recherche en Informatique    = of Bordeaux University    http://www.labri.u-bordeaux.fr/    un
LABSTAT labor statistics    st
LACIM Laboratory on Algebraic Combinatorics in Montreal    un    cmb
LALR lookahead left-to-right    = parsing method    alm    lac
LAN local area network    nets
LANL Los Alamos National Laboratory    ppa
LARC Livermore Automatic Research Computer    hw
LASER light amplification by stimulated emission of radiation    phys
Lat lattice    {~ of submodules}    alg    cmb
LaTeX Lampert TeX    = typesetting language    lac    doc
LBA linear bounded automaton    alm
LC Library of Congress    = of USA    pub
lc linearly compact    alg
LCA locally compact abelian    {~ groups}    alg    tplg
LCC Library of Congress Classification    http://rs7.loc.gov/catdir/cpso/lcco/lcco.html    doc
LCD lowest common denominator    nt
LCFS last come, last served    = priority repair discipline
LCLM least common left multiple    alg
lcm least common multiple    bam
LCRM least common right multiple    alg
LCS Laboratory for Computer Science    = of MIT
LD lethal dose    st
LD50 ??    st
LDF linear discriminant function    st
LEF law enfoncement field    ci
lex lexicographical    {~ order}    doc    lac
LFSR linear feedback shift register    = a pseudorandon sequence generator    alm    na
lgldim left global dimension    {~ of a ring}    alg
LHS left hand side    bt
li logarithm-integral    sfun
LIAS Library Information Access System    doc
Libwww library for WWW    = W3C sample code library    www    sw
LIFO last in, first out    = data structure access mode    alm
lim limit, injective limit, projective limit    alg    an    bt
liminf limit inferior    an
limsup limit superior    an
LINUX Linus Torvalds Unix    = flavor of Unix, freeware    sw    os
LIPS1 logical inferences per second    sw    ai
LIPS2 logical instructions per second    sw    hw
LISP list processing    = programming language    lac    prg    ai
LISREL linear structural relationships    {~ structural equation model}    st
LITP Laboratoire de Informatique Theorique et Programmation    = of Universit\'e Paris VII    un
LLN law of large numbers    st
LM learn-merge    st
LMI learn-merge invariance    st
LMP locally most powerful    or
LMS1 least mean squares    bam    st    na
LMS2 London Mathematical Society    http://www.lms.ac.uk/    ass
LMTR limit of minimum transmission ratio    tlc
ln1 length    bt    geo    ..
ln2 natural logarithm    = base e logarithm    bam    an
LNCS Lecture Notes in Computer Science    = series of Springer Verlag    pub
LNM Lecture Notes in Mathematics    = series of Springer Verlag    pub
LOC Library of congress    = in Washington    http://www.loc.gov    doc
LOCIS Library of Congress Information System    doc
LOD large set, ordered design    cmb
Log logarithm    = in base 10    bam    an
log logarithm    {~-Laplace; ~-concave; ~-convex; ~normal}    bam    an
log-ANOVA logaritmic ANOVA    st
logit logarithmic function    = logit(p) is defined as log(p/(1-p))    st    sfun
LOGO ??    = programming language for teaching    lac    sw    dim
LOKI ??    = Australian    ci
LOMI ??    = Leningrad / StPetersburg division of Steklov Mathematical Institute    un
LOT lapped orthogonal transform    ci
LP linear programming    or    alm
LPA large set, perpendicular array    cmb
LPC linear predictive coding
LPTV linear periodically varying    {~ system}    ci
LR left to right    {~ method}    = for computing the eigenvalues    bt    na
LRT likelihood-ratio test    st
LS least squares
LSB least significant bit    hw
LSD least significant digit    hw
LSL lower specification limit    st
LT logic theorist
LTE local truncation error
LTI linear time invariant    {~ finite derivative model; ~ stability}    st    ci
LTS labelled transition system    = model for concurrent processes    fmod    sem
LU conventional notation    {~ decomposition of a matrix}    na
lub least upper bound    an    cmb
LUR locally uniformly rotund    {~ normed space}    fuan
LZW Lempel - Ziv - Walsh    {~ compression algorithm}    alm

M1 Mathieu    {~ groups}    alg
M2 matrices    alg
M3 Mega    = one million or 1048576    um
M4 multivariate    an    st    ..
m milli    = one thousandth    um
M3AS Mathematical Models & Methods in Applied Sciences    = published by World Scientific    ju
MA1 moving average    {~ model; ~ processes}    st
MA2 multiple access    ci
MAA Mathematical Association of America    http://www.maa.org/    ass    dim
MAC1 [Machine-Aided Cognition | Man And Computer]    = MIT project    inf    proj
MAC2 message authentication code    cod
MAC3 multiple access channel    ci
MACSYMA MAC symbol[ic] manipulation    smbcmp    alm    alg    an    sw
MAD ??    = analysis of variance program    st
MAICE minimum Akaike information criterion evaluation?    = for maintenance
MANIAC Mathematical Analyzer Numerical Integrator and Computer    cmpr
MANOVA multivariate analysis of variance    st
MAPD maximum allowable percent defective    st
MARP modified age replacement policy    = maintenance policy
MathCAD Mathemetical Computer Assisted Design    = software package    sw
MathDocCell Cellule de documentation pour la Math\'ematique    = in Grenoble (FR)    doc
MathLab Mathemetical Laboratory    = software package    sw
MathML mathematical markup language    = recommandation by W3C    http://www.w3.org/TR/REC-MathML/    www    doc    lac
MathSciNet Mathematical Science Network    = of AMS    http://www.ams.org/mathscinet/    doc
MathSci|crDisc Mathematical Science Disc    = of SilverPlatter    ju
MathSci|crOnline Mathematical Science Online    = of AMS    ju
MathSci|crTapes Mathematical Science Tapes    = of SilverPlatter    ju
max1 maximal    bt
max2 maximum    bt
maxlim maximum limit    an
MAXOF maximise an objective function    = clustering model by Ward    st
MB Megabyte    = 1024 Kilobytes; 10^6 bytes or one million bytes    hw
MBalk Mathematica Balkanica    ju
MBps Megabytes per second    um    hw
Mbps Megabits per second    um    hw
MBRAM random access machine with multiplications by powers of 2 and bitwise Boolean instructions    = model of computation    cmty
MCD massimo comun divisore    = gratest common divisor    = gcd    bam
MCDM multiple criteria decision making    st
MCF marginal cost function    st
mcm minimo comune multiplo    = least common multiple    = lcm    bam
MCMC Markov chain Monte Carlo    {~ method; ~ preprint service}    st
MCOM Mathematics of computation    = printed and electronic journal of AMS
MCP multiple comparison procedure    st
MCS mathematics and computer science
MCYBE modified classical Yang - Baxter equation    qt
MD Mendelsohn design    cmb
MDC1 manipulation detection code    cod
MDC2 message digest cipher    = an hash function method    cod    ci
MDF multiple discriminant function    st
MDHR multivariate decreasing hazard rate    = multivariate decreasing failure rate    st
MDI minimum discrimination information    {~ estimation}    st
MDLP minimum description length principle    = by Rissanen    cmty    logf
MDS maximum distance separable    {~ codes}
MDST minimum diameter spanning tree
MED maximum entropy distribution    st
MEDLINE MEDlars online System    nets
MegaFLOPS Million floating point operations per second    um    hw    sucmp
MEP main effect plan    cmb
MESRS maximum empty subarray Room square    cmb
MFLOPS Mega FLoating Point Operations Per Second    = millions of FLOPS    um    hw    sucmp
MG Miller - Griffith    {~ selective procedure}    = for sampling    st
MGF moment generating function    {~ estimator}    st
MGH Mathematische Gesellschaft in Hamburg    ass
MGS ??    st
MHz MegaHertz    um    phys
MIC message integrity check    cod    tlc
MIDAS ?? interactive data analysis sysyem    = sw package    sw    st
MIFR multivariate increasing failure rate    = aging property for maintenance    st    or
MIFRA multivariate increasing failure rate average    {~ distribution; ~ process}    st    or
MIHR multivariate increasing hazard rate    = multivariate increasing failure rate    st
MIL-STD military standard    {~ acceptance sampling}    st
MIMD multiple-instruction stream, multiple-data stream    = processor paradigm    hw
MIME multipurpose Internet mail extension[s]    www    doc
MIMIC multiple indicator, multiple cause    {~ model}    st
min minimum    bt
MinAveLen minimum average codeword length    cod    ci
minlim minimum limit    an
MINQE minimum norm quadratic estimation    = methods for estimators    st
MINQUE minimum norm quadratic unbiased estimation    = methods for estimators    st
MINRES minimum residual    = method in factor analysis    st
MINSE ??    = language for semantic mathematical notations    lac
MIP missing information principle    st
MIPS Mega Instructions Per Second    = millions of instructions per second    um    hw
MISD multiple-instruction stream, single-data stream    = processor paradigm    hw
MISG Mathematics in Industry Study Group    = of AusMS    ass
MIT Massachussets Institute of Technology    http://web.mit.edu    un
MIT LCS MIT Laboratory for Computer Science    http://web.lcs.mit.edu    un    www
MIVQUE minimum variance quadratic unbiased estimation    = methods for estimators    st
MIX 1009    = Donald Knuth's programming language    lac    prg
ML1 maximum likelihood    {~ estimator}    st
ML2 Meta Language    = programming language    lac    prg
ML3 strict monotone likelihood ratio    st
MLE maximum likelihood estimate    st
MLR monotone likelihood ratio    st
MLUR midpoint locally uniformly rotund    {~ normed space}    fuan
MMB modular multiplication-based block cypher    cod    ci
MMI maximal mutual information    {~ decoder}    cod
MML marginal maximum likelihood    {~ estimators}    st
MMM Mathematics Metadata Markup    http://www.mathematik.uni-osnabrueck.de/projects/META/Metamake2.2.html    doc
MMX [matrix manipulation | multimedia] extensions [Intel]    hw
MO magneto-optical    = disk drive type    hw
Mod module    alg
mod modulo    bam    nt
MODEM modulator / demodulator    hw
MOFS mutually orthogonal frequency squares    cmb    st
MOLS mutually orthogonal latin squares    cmb    st
Morph morfisms    {~ of a category}    alg    logf
MOS1 magneto-optical storage    hw
MOS2 manuscript offprint service    = service by AMS in the 70's    doc
MOSS minimum orthogonal sum of squares    st
MOSUM moving sums    {~ statistics}    st
MP most powerful    jo
MPEJ Mathematical Physics Electronic Journal    http://www.emis.de/journals/MPEJ/index.html    ju
MPI1 Max Plank Institut    res
MPI2 Ministero della Pubblica Istruzione    = Italian    go    did
MPIT most powerful scale and location invariant test    st
MPP massively parallel [processing | processor]    hw    alm
MPRESS mathematica preprint server system    http://www.mathematik.uni-osnabrueck.de/harvest/brokers/FraGer/    www    doc
MPS maximum products of spacings    {~ estimators}    st
MR Mathematical Reviews    http://www.ams.org/mathscinet/    ju
MRAM random access machine with multiplications by powers of 2    = model of parallel computation by Hartmanis and Simon    cmty
MRGP Markov regenerative process    st
MRLF mean residual life function    st
MRM Markov reward model    st
MRP minimal repair policy    or
MS-DOS Microsoft disk operating system    sw
MSB most significant bit    hw    na
MSC model selection criteria    st
MSC 1991 Mathematics Subject Classification 1991    = classification scheme adopted in 1991    http://www.zblmath.fiz-karlruhe.de/class/index    doc
MSC 2000 Mathematics Subject Classification 2000    = classification scheme to be adopted in 1999-2000    http://www.emis.de/msc2000.html    doc
MSE mean square error    st
MSIE Microsoft Internet Explorer    = browser family    sw
MSP message secure protocol    cod
MSRI Mathematical Science Research Institute    = in Berkeley CA    http://www.msri.org    res
MST1 minimum [cost] spanning tree    alm    grft
MST2 model selection tests    st
MSU Moscow State University    un
MT MacTutor    = History of Mathematics archive    http://www.history.mcs.st-andrews.ac.uk/history/index.html    hist
MTAC Mathematical Tables and Aids to Computation    ju
MTBF1 mean time before failure    st    hw
MTBF2 mean time between failures    st    hw
MTNS mathematical theory of networks and systems
MTNS 98 mathematical theory of networks and systems 98    http://www.unipd.it/esterni/wwwmtns/mtns98.html    conf
MTP multivariate totally positive    {~ function}    an    st
MTS Mendelsohn triple system    cmb
MTTF mean time to failure    hw    st
MTTR mean time to repair    hw    st
MTW ??    {~ sampling procedure}    st
muMATH microprocessor mathematics    = symbolic computation package    swp
MURST Ministero dell'Universit\`a e della Ricerca Scientifica e Tecnologica    go    did
MUSIS Museo Multipolare dell'Informazione Scientifica e Tecnologica    = in Rome    http://www.ips.it/musis/musis.html    did
MVM matrix-vector multiply    alm
MVU minimum value unbiased    st

N1 Neumann    {~ functions}    sfun
N2 Noether Emmy [N-group]    alg
N3 normalizer    {~ of a group}    alg
N4 numbers    bam    nt
n nano    = one billionth i.e. 10^{-9}    um
NAG1 Nottingham Algorithms Group    = researchers' group that originated the company    alm    un
NAG2 Numerical Algorithms Group    = software company    {~ library}    alm    sw    itc
NAME National Archive for Mathematics Education    = in Ireland    http://www.acts.tinet.ie/welcome_796.html    dim
NAND Not AND    bam    logf
NAPLPS North American Presentation Level Protocol Syntax    = for computer graphics    sw    doc
NASB National academy of Sciences of Belarus    http://im.bas-net.by/    un
NB negative binomial    {~ distribution}    st
NBS National Bureau of Standards    = USA organism now ??    agen
NBU new better than used    = life distribution    st
NBUC new better than used in convex ordering    = life distribution    st
NBUE new better than used in expectation    = life distribution    st
NC1 conventional notation    = complexity class of decision problems    cmty
NC2 nonconforming product    mam    st
NCTM National Council of Teachers of Mathematics    http://www.nctm.org    dim
NDFA deterministic finite [state] automaton    cmty    logf
NDL nonstandard dynamic logic    logf    lprg
NDTM nondeterministic Turing Machine    cmty    logf
NE conventional notation    = complexity class    = E    alm
NES News Election Service    = statistical company    itc    st
NEXP nondeterministic exponential time    = complexity class    alm
NF normal form    logf    lac    alm
NFA nondeterministic finite [state] automaton    alm
NFS number field sieve    = method for number factoring    nt    cod
NGB von Neumann J. - G\"odel Kurt - Bernays Paul    {~ set theory}    logf
NHPP non-homogeneous Poisson process    st
NHPP-I non-homogeneous Poisson process of first kind    st
NHPP-II non-homogeneous Poisson process of second kind    st
NIC Network Information Center [Internet]    www
NIH National Institute of Health    = of USA
Nil nilradical    {~ of a ring}    alg
NIST National Institute of Standard and Technology    = of USA    doc    go
NL nondeterminstic logarithmic space    = complexity class    alm
NL2SOL ??    {~ algorithm}    st    alm
NLP1 natural language processing    sw    lac    ai
NLP2 nonlinear programming    alm    or
NOPAC Network OPAC    doc
NOR not OR    logf    hw
NP nondeterministic polynomial    = complexity class ~-complete; ~-hard; ~-space; ~-time; }    alm
NPACI National Partnership for Advanced Computational Infrastructure    sucmp
NPDA nondeterministic pushdown automaton    alm
NPL nonprocedural language    lac    prg
NPX numeric processor extension    hw
NQ uniformly nonsquare    {~ normed space}    fuan
NQR non quadratic residue    nt
NRAM nondeterministic random-access machine    logf    cmty
NRB near resolvable design    cmb
NRD Nuclei di Ricerca Didattica    did
NS neutron star    {~ model}    astr
NSA National Security Agency    = of USA    res    nets    scl
NSBRAM nondeterministic successor random-access machine with bitwise Boolean instructions    logf    cmty
NSF National Science Foundation    = USA Government agency    http://www.nsf.goc/home/nsb    agen
NSN normal source network    ci    tlc
NSPACE nondeterministic Turing machine space    = complexity class    alm
NSRAM nondeterministic successor random-access machine    logf    cmty
NTA Neyman type A    {bivariate ~ distribution}    st
NTB Neyman type B    {~ distribution}    st
NTC Neyman type C    {~ distribution}    st
NTIME nondeterministic Turing machine time    = complexity class    alm
NUMI Notiziario dell'Unione Matematica Italiana    ju
NWU new worse than used    = life distribution    st
NYJM New York Journal of Mathematics    http://www.emis.de/journals/NYJM/nyjm.html    ju
NZMS New Zealand Mathematical Society    http://ww.math.auckland.ac.nz/NZMS/NZMS.html    ass

O1 Bachman-Landau symbol, expressing limited order of increase    an
O2 orthogonal group    alg    geo
o Bachman-Landau symbol, expressing lesser order of increase    an
OA orthogonal array    cmb
OASDI Old-Age Survivors and Disability Insurance    = US company    st
Ob objects    {~ of a category}    alg
OBJ objects    = specification language    lac    fmod
Obj objects    {~ of a category}    alg
OBJ2 objects version 2 algebraic specification language    lac    fmod
OC operating characteristic    {~ function}    st
OCDE Organisation of Cooperation and Development for Europe    agen    did
OCV ordinary cross validation    st
OD ordered design    cmb
ODE ordinary differential equation    an
OECD Organization for Economic Cooperation and Development    agen    st
OECE Organization for Economic Cooperation for Europe    = now OCDE    agen    did
OFB output feedback    ci
OFBNLF output feedback with non-linear function    ci
OGF ordinary generating function    cmb    sfun
OLFO open loop feedback optimality    or
OLS ordinary least squares    {~ estimator}    na    st
OMF Open Molecule Foundation    http://www.ch.ic.ac.uk/omf/    ass    chm
OMG Object Management Group    http://www.omg.org    prg    www
OOL object-oriented language    lac    prg
OOPL object-oriented programming language    lac    prg
OP-SF orthogonal polynomial and special functions    {SIAM activity group on ~}    http://www.math.yorku.ca/Who/Faculty/Muldoon/siamopsf/    ass    cmb    sfun
OPAC Online Public Access Catalog    = libraries on the Internet    www    doc
OPPI Organizzazione per la Preparazione e il Perfezionamento degli Insegnanti    http://www.oppi.mi.it    did
OPS Open Profile Standard    = proposed standard for online private exchange of information    www    doc
ord1 order    {~ of a polinomial}    bt    alg
ord2 ordinal    bam    logf
OSC Oxford Supercomputing Centre    http://www.osc.ox.ac.uk/    sucmp    un
OSI open system interconnection    = communication model by ISO    netp    ci
OSIRIS-IV ??    sw    st
OSL optimization subroutine library    = package by IBM    sw    or
OTM oracle Turing Machine    cmty    fmod
OUCL Oxford University Computing Laboratory    http://www.comlab.ox.ac.uk/oucl.html    un    doc
OV overflow    hw

P1 decision problems solvable in polynomial time    = cdomplexity class    cmty    alm
P2 peta    = 10^{15}    um
P3 Pollaczek - Meixner    {~ polynomials}    sfun
P4 polynomial    {~-space; ~-time}    alm
P5 power set    logf
p1 partition    cmb
p2 pico    = one trillionth i.e. 10^{-12}    um
p3 prime number    bam
p-ANOVA proper analysis of variance    st
P-STAT ??    sw    st
P3P Platform for Privacy Preferences    = W3C project    http://www.w3.org/P3P/    www
PA1 Peano arithmetic    logf
PA2 perpendicular array    cmb
PAC1 polinomially algebraically closed    {~ skew field}    alg
PAC2 probably approximately    {~ model}    = learning model    alm
PACS Physics and Astronomy Classification Scheme    http://www.mi.infn.it/~biblio/pacsperutenti.txt
PAM Physics-Astronomy-Mathematics resources    = division of Special Libraries Association    http://pantheon.yale.edu/~dstern/pamtop.html    doc
PATC professional, administrative, technical and clerical    {~ occupations}    st
PBD pairwaise balanced design    cmb
PBIBD partially balanced incomplete block design    cmb
PBTD partially balanced tournament design    cmb
PCB plaintext block chaining    ci
PCBC propagating cipher block chaining    {~ mode}    ci
PCL print control language    = developed in BLS    lac    st
PD public domain    bt    sw    www
pd projective dimension    alg    geo
PDA pushdown automaton    lac    alm
PDE partial differential equation    an
PDF Portable Document Format    doc
PDL propositional dynamic logic    prg    logf
PEM privacy enhanced mail    nets
PERL Practical Extraction and Reporting Language    = scripting language and GUI programming environment    http://www.perl.org/    lac    doc
perm permanent    cmb
PERT program evaluation and review technique    or
PES proposed encryption standard    cod    nets
PF pseudo-Frobenius    {~ ring}    alg
PF_k P\'olya frequency function of type k    st
PFB plaintext feedback    ci
PG1 partial geometry    cmb
PG2 projective geometry    = projective space    cmb    geo
PGF probability generating function    cmb    st
PGL projective general linear    {~ group}    alg
PGMA Proceedings of the Glasgow Mathematical Association    ju
PGML Precision Graphics Markup Language    = standard for web pages graphics    lac    www
PGO projective general orthogonal    {~ group}    alg
PGP pretty good privacy    = an encryption program    cod    nets
PH polynomial hyerarchy    = complexity classes    cmty    fmod
ph phase    {~ of a complex number}    bam    an
PhD Philosophy Doctor    un
PI1 parameter invariance    = statistical assumption    st
PI2 polynomial identity    {~ ring; ~ algebra}    alg
PIAS Proceedings of the Indian Academy of Sciences    ju
Pic Picard group    {~ of a commutative ring}    alg
PICM Proceedings of International Congress of Mathematicians    ju
pico one thousand-billionth i.e. 10^{-12}    um
PICS Platform for Internet Content Selection    = specification about site content labelling with metadata    http://www.w3.org/PICS/
PID1 prime ideal domain    alg
PID2 principal ideal domain    alg
PID3 proportional, integral, derivative    = in control system    or
PIowa Proceedings of the Iowa Academy of Sciences    ju
PIT principal ideal theorem    alg
PJ-NF project joint normal form    = by Fagin R.    db
pjd projected-join dependency    db
PK problem of Karmarkar    = linear programming problem    or
PKC public key cryptography    cod    nets
PKH homogeneous problem of Karmarkar    = linear programming problem    or
PKS problem of Karmarkar ??    = linear programming problem    or
PLATO programmed logic for automatic teaching operation[s]    sw    dim
PLID principal left ideal domain    alg
PLIR principal left ideal ring    alg
PLMS The Pacific Institute for the Mathematical Sciences    = in    http://www.pims.math.ca
PLS partial least-squares    st
PM1 Periodico di Matematiche    ju    dim
PM2 polynomial manipulation    = symbolic manipulation tool    smbcmp    alm    alg
PM3 preventive maintanance    or    st
PMD perfect Mendelsohn design    cmb
PMF probability mass function    st
PMR probability minimum replacement    {~ sample design}    st
PMSP preliminary message secure protocol    nets    cod
PN Petri net    sw    st    or
PNG Portable Network Graphics    = W3C specification    cgr    doc    www
PNR probability nonreplacement    {~ sample design}    st
PORT ??    = sw library by Bell Laboratories    sw    st
poset partially ordered set    = bam cmb alg
PP1 percent    {~ plot}    st
PP2 principal right ideal implies projective    {~-ring}    alg
PP3 probabilistic Turing machine of polynomial time    = complexity class    alm
PPoF probabilistic physics of failure    st
PPRS primitive polynomial remainder sequence    alg
PPS probability proportional to size    {~ sampling}    st
PR1 [probabilistic | random] polynomial time    {~-reducible}    cmty
PR2 partial recursive    {~ functions}    logf
Pr1 prime number    bam    nt
Pr2 probability    bam    st
pr prolongation    {~ of a function; ~ of a vector field}    bam
PRAM parallel random-access machine    logf    cmty    fmod
PRE proportional reduction in error    {~ measures of association}    st
PRID principal right ideal domain    alg
PRIM ??    sw    st
PRIR principal right ideal ring    alg
PRISTEM Progetto per le Ricerche Storiche e Metodologiche    = of the Universit\'a Bocconi in Milano    http://renzi.cider.uni-bocconi.it/pristem/    un    dim
PROC1 procedure    bt    bam
PROC2 Proceedings of the AMS    = printed and electronic journal of AMS    ju
PROLOG [programmation logique | programming in logic]    = programming language    lac    prg    logf
PROMEP partially replicated orthogonal main effect plan    cmb
PS PostScript    = page description language by Adobe    lac    doc
PSA pushdown stack automaton    alm
PSL projective special linear    {~ group}    alg    geo
PSp projective simplectic    {~ group}    alg    geo
PSPACE polinomial space    = complexity class    alm
PSU projective special unitary    {~ group}    alg    geo
PTDN polynomial time delay network    nets    ci
PTM parallel Turing machine    cmty
PTR planar ternary ring    cmb
PUFFT Purdue University fast Fortran compiler    lac    sw    prg
PUP Princeton University Press    http://pup.princeton.edu    pub
PWB Poincar\'e - Birkoff - Witt    {~ theorem}    geo    mec
PWO partly well-ordered    alg

Q quaternion    {~ algebra}    alg
Q-Q ??    {~ plots}    sw    st
QBF quantified Boolean formula    logf
QD conventional notation    {~ algorithm}    = for eigenvalues computation    na
QDM quasi difference matrix    cmb
QF1 quantized algebra of functions    alg
QF2 quasi-Frobenius    {~ algebra; ~ ring}    alg
QFSH quantum formal series Hopf    {~ algebra}    alg    qt
QH query hyerarchy    = complexity classes    cmty
QI quasi-injective    {~ module}    alg
QISM quantum inverse scattering method    qt
QMC ?? Queen's Mathematical College    = in London    un
QMF quadrature mirror filter    tlc    ci
QMP quality measurement plan    st
QQ quantile    {~ plot}    st
QR1 conventional notation    {~ matrix factorization}    na
QR2 quadratic residue    nt
QS quick sort    = algoritm    alm
QT quasi triangular    {~ Hopf algebra}    alg    na
QUANTUM Quality Network Technology for user-oriented Multi-media    http://www.dante.org.uk/quantum.html    netp
QUE quantized universal enveloping    {~ algebras}    qt    geo
QYB quantum Yang - Baxter    {~ variety; ~ A-module}    qt    geo
QYBE quantum Yang - Baxter equation    qt

R1 Racah    {~ coefficients}    qt    alg    sfun
R2 real    {~ numbers}    bam    an    ..
R3 relaxation    an    na
R4 right    bt
R5 rotund    {~ normed space}    fuan
rad1 Jacobson radical    {~ of a ring}    alg
rad2 radian    um    geo
rad3 radical    {~ of a module}    alg
RAM1 random access machine    = model of computation by Cook and Reckhow    cmty
RAM2 random access memory    hw
RANL Rendiconti dell'Accademia Nazionale dei Lincei    ju
RASP random access stored program machine    = model of computation by von Neumann    fmod    cmpa
RBAAST Reports of British Association for the Advancements of Science Transactions    ju
RBAN ??    st
RBIBD resolvable balanced incomplete block design    cmb
RC [Rivest | Ron's] code    = encryption algorithms by Ron Rivest    cod
RCI relative context invariance    = statistical assumption    st
RCL repair/cost limit    or
RDF Resource Definition Format    = proposed XML-based standard aimed to provide interoperability    http://www.w3.org/RDF/    www    netp
RDI relative data invariance    = statistical assumption    st
RE relative efficiency    st
Re real [part]    an
re recursively enumerable    logf
Rec recursive
REDOC ??    = encryption block algorithm    cod
REML restricted maximum likelihood    = methods for estimators    st
Rep repetition    {~ code}    ci
rep representation    = subcategory    alg
Res restriction map    = in cohomology    bam    alg
Rey Reynolds ideal    alg
RF reverse-factor    {~ algorithm}    alm    lac
Rf reflexive    {~ normed space}    fuan
RFT Rich Text Format    www    doc
Rg ring category    alg
RGDD resolvable group divisible design    cmb
rgldim right global dimension    {~ of a ring}    alg
RHS right hand side    bam
RIMS Research Institute for Mathematical Sciences    = of Kyoto University (JP)    http://www.kurims.kyoto-u.ac.jp/
RIPEM Mark Riorden privacy enhanced mail    nets
RISC1 reduced instruction set [computer | computing | code]    = a processor technology    hw    mprc
RISC2 Research Institute for Symbolic Computation    = at Linz University    un    smbcmp
RK Runge - Kutta    {~ method}    na
rk rank    {~ of a lattice}    alg    cmb    ..
rlex ?? reverse lexicographical    {~ order}    doc    lac
RLS recursive least squares    {~ algorithm}    st
RMI A. Razmadze Mathematical Institute    = of Georgian Academy of Sciences    http://rmi.acnet.ge/    ass
RMS residual mean square    st
RMSD root mean square deviation    st
RNA1 reti neurali artificiali    alm
RNA2 ribonucleic acid    {~ analysis}    bim
RNC randomized version of NC    = complexity class of decision problems    cmty
RND random    bt    st
RNG random number generator    alm    st
ROB robotics    inf    ai    geo    mec
ROCOF rate of occurence of failures    = maintenance parameter    or
ROM read-only memory    hw
RP1 probabilistic Turing machine of one-sided error of polinomial time    = complexity class    alm
RP2 real projective    {~ space}    geo    alg
RPC remote procedure call    dcmp
RPI relative parameter invariance    = statistical assumption    st
RPL rejectable process level    st
RQL ??    st
RQS randomized quick sort    = algoritm    alm
RR round robin    {~ tournament}    grft    st
RS1 Reed - Solomon    {~ codes}    cod    cmb
RS2 rewrite system    logf    prg
RS3 Room square    cmb
RSA Rivest Ron - Shamir Adi - Adleman Leonard    = encryption algorithm    {~ public key cryptosystem}    cod    nets
RSA129 Rivest - Shamir - Adelman 129 digits    = cryptographic security number    cod    nets
RSC rank subdeterminant computation    alg    alm
RSM response surface methodology    = in optimization    or
RSS residual sum of squares    st
RTF rich text format    doc
RTM random Turing machine    logf    cmty
RTN recursive transition network    st
RUTCOR Rutgers University Center for Operating Research    un    or
RV random variable    st
RW Racah - Wigner    {~ algebra}    qt

S1 Schl\"afli    {~ polynomials}    sfun
S2 statistics    st
S3 Sterling    {~ numbers}    cmb
S/W software    sw    inf
S1S second-order theory with one successor    logf    lac
S2S second-order theory with two successors    logf    lac
SAC-1 symbolic algebraic computation version 1    = rational function manipulator    smbcmp    sw
SAFIR Sist\`emes alg\'ebriques formels pour l'industrie et la recherche    = project of INRIA    res
SAINT ??    = algebraic manipulation    sw    alg
SAMDRR spouse avoiding mixed doubles round robin tournament    cmb
SAME Symbolic and Algebraic Manupulation in Europe    ass    smbcmp
SAN stochastic activity network    st
SAS1 statistical analysis system    = sw package    sw    st
SAS2 Statistical Analysis System Institute    = company builded on SAS sw    itc    sw    st
SAT literal Boolean expression satisfiability    = decision problem    cmty    alm
SAVE system availability estimator    = modeling language    sw    or
SBB subtract with borrow    hw
SBM1 Sociedade Brasileira de Matem\'atica    http://www.sbm.org.br/index.html    ass
SBM2 Soiuz Bulgarski Matematiski    = Union of Bulgarian Mathematicians    http://www.math.acad.bg/~smb/indexhtml    ass
SBRAM successor random-access machine with bitwise Boolean instructions    logf    cmty
SCCS calculus of communicating systems, synchronous    fmod
SCM Societat Catalana de Matem\`atiques    = Catalan Mathematical Society    http://www-ma2.upc.es/~sxd/scmeng.html    ass
SD step-down    {~ method}    st
SDB symbolic debugger [Unix]    prg
SDNS secure data network system    nets
SDR system of distinct representatives    cmb
SDSC San Diego Supercomputing Center    = of UCSD    res    hw    na
SEC single error correction    cod    ci
sec secant    {~ function}    geo    an    sfun
SECD ??    {~ machine}    logf
SEE simulation experimentation environment    = e.g. SIMAD, SIMGEST, E/SLAM    or
SEI Software Engineering Institute    = of CMU    un
Seq [sequence | sequencing]    bt    bam
SFU Simon Fraser University    = in Burnaby, British Columbia    http://www.sfu.ca    un
SGI Silicon Graphics, Inc.    itc
SGML standard generalized markup language    = ISO standard    doc
sgn sign    bam    ..
SHA secure hash algorithm    = algoritm used in SHS    cod
SHad shorted Hadamard    {~ code}    cod
Shi hyperbolic sine integral    sfun
SHS secure hash standard    nets    cod
Si sine integral    {~ function}    sfun
SIAM Society for Industrial and Applied Mathematics    http://www.siam.org/    ass    pub
SID symbolic interactive debugger    sw    prg
SIGSAM Special Interest Group on Symbolic and Algebraic Manipulation    = of ACM    ass    smbcmp
Sih hyperbolic sine integral    sfun
SIMD single-instruction stream, multiple-data stream    = processor paradigm    hw
SIMDAG single instruction, multiple data aggregate    cmty    fmod
SIMULA simulation    = programming language    lac    prg    or
SINM Sistema Informativo Nazionale per la Matematica    http://siba2.unile.it/archives/progettosinm.html    www    doc
SIS Societ\`a Italiana di Statistica    ass    st
SISD single-instruction stream, single-data stream    = processor paradigm    hw
SISO single-input, single-output    {~ system}    ci    tlc
SISSA/ISAS Scuola Internazionale Superiore di Studi Avanzati / International School for Advanced Studies    = in Trieste    http://www.sissa.it    res
SITE Society for Information Technology and Teacher Education    http://www.aace.org/conf/site    dim    inf
SIZE based on circuit size    = complexity class    alm
SJAP SIAM Journal of Applied Mathematics    = formarly JSIAM    ju
SKID secred key identification    {~ protocols}    cod    nets
SL special linear    {~ algebra; ~ group}    alg    geo
SLC S\'eminaire Lotharingien de Combinatoire    = organized by Strasbourg, Erlangen, Bayreuth    http://www.emis.de/journals/SLC/index.html    ju    cmb    alm
SLCL singly-linked circular list    alm    prg
SLD selection rule-driven linear resolution for definite clauses    = resolution process    {~-tree}    lprg
SLDNF SLD with negations as failure rule    {~-derivation}    lprg
SLR simple left-to-right    = parsing algorithm    alm
SM Svenska Matematikersamfundet    http://www.sm.luth.se/~sms    = SMS    ass
SMAI Soci\'et\'e de Math\'ematiques Appliqu\'ees et Industrielles    http://smai.emath.fr/    ass
SMB Societ\'e Math\'ematique de Belgique    = BWG    ass
SMC Sociedad del Matem\'atica de Chile    http://www.mat.puc.cl/socmat1.por.html    ass
SMD standard minimum distance    cod    ci
SME Soci\'et\'e Math\'ematique Europeenne    = EMS    ass
SMF Societ\'e Math\'ematique de France    http://smf.emath.fr/    ass
SMG Schweizerische Mathematische Gesellschaft    = Soci\'et\'e Math\'ematique Suisse i.e. Swiss Mathematical Society    = SMS    http://www.math.ch    ass
SMI1 Scuola Matematica Interuniversitaria    = in Cortona and Perugia    http://www.iaga.fi.cnr.it/SMI/index.html    un
SMI2 Suomen Matemaatinen Yhdistys    = Finnish mathematical society    ass
SMIL Synchronized Multimedia Integration Language    http://www.w3.org/AudioVideo/    www    doc    mume
SMP School Mathematics Project    dim
SMS1 Soci\'et\'e Math\'ematique Suisse    = Swiss Mathematical Society i.e. Schweizerische Mathematische Gesellschaft    = SMG    http://www.math.ch    ass
SMS2 Swedish Mathematical Society    = Svenska Matematikersamfundet    http://www.sm.luth.se/~sms    ass
sn Jacobi elliptic function    sfun
SNOBOL String-oriented symbolic language    = text manipulation language    lac    lngt
SO special orthogonal    {~ group}    alg    geo
Soc socle    {~ of a ring; ~ of a module}    alg
SOI statistics of income    {~ Bulletin}    st
SOLS self-orthogonal latin square    cmb
SOLSSOM self-orthogonal latin square with symmetric orthogonal mate    cmb
SOR successive over-relaxation    {~ method}    na
SP1 series-parallel    {~ graph}    grft    alg
SP2 structured programming    prg
Sp symplectic group    alg    geo
SPARC [scalable | scaled} processor architecture    = by SUN    hw
SPbMS St. Petersburg Mathematical Society    http://www.pdmi.ras.ru/spbmo    ass
SPN stochastic Petri net    st    or
SPNP Stochastic Petri Net Package product    sw    or
SPR statistical pattern recognition    alm    st    ai
SPRAM seclusive parallel random-access machine    logf    cmty    fmod
SPRT sequential probability ratio test    st
SPS Steiner pentagon system    cmb
SPSS Statistical Package for the Social Sciences    = sw package    st    sw
SPT shortest processing time    or
SQL Standard Query Language    lac    db
SQR square root    = routine identifier    bam    sw
SQRT square root    = routine identifier    bam    sw
SQS Steiner quadruple system    cmb
SRAM successor random-access machine    logf    cmty
SRE sum of relative errors    st
SRN stochastic reward net    st    or
SRR_k sign reverse regular of order k    {~ function}    st
SRS ??    st
sse se e solo se    bt
SSIT Society on social Implications of Technology    = of IEEE    http://www4.ncsu.edu/unity/users/j/jherkert/index.html    ass    scl
SSN Statistical Software Newsletter    ju    st
SSP skew symmetric matrix optimization problem in standard form    or
SSR_k strictly sign reverse regular of order k    {~ function}    st
ST spanning Tree    grft
STA spanning tree algorithm    alm
STATLib statistical library    {~ index}    doc
STATPACK statistical package    sw    st
StatSci Statistical Science    = software consultants    itc    st
STDERR standard error    st
STF single-transposition-free    {~ group}    alg    cmb
STM stochastic Turing machine    logf    cmty
STP_2 ??    st
STS Steiner triple system    cmb
SU1 special unitary    {~ group}    alg
SU2 step-up    {~ method}    st
SUB Staats- und Universit\"atsBibliotek G\"ottingen    http://www.sub-uni-goettingen.de
SUBLIB subroutine library    sw    prg
SUN1 Stanford University Networks    = first interpretation    itc    un
SUN2 Sun Microsystems, Inc.    itc
Supp support    alg
SVD singular value decomposition    {~ of a matrix}    alg    alm    na
SVG Scalable Vector Graphics    = XML-base language for advanced Web vector graphics    http://www.w3.org/TR/WD-SVG    doc    cgr    www
SVGA super [VGA | video graphics adapter]    hw
SVR_2 ??    st
SW social welfare    st
sw software    bt    sw
SWEEP ??    st
SWF social welfare function    st
Sym symmetric    {~ groups}    alg
Sz Suzuki    {~ group}    alg

T1 tangent numbers    sfun
T2 Tchebicheff    {~ polynomial of the first kind}    sfun    na
T3 Tera    = one trillion i.e. 10^{12} or 2^{40} i.e. 1024^4    um
T4 torus    bam    geo
T5 transfer    = in a group    alg
TAC1 Theory and Applications of Categories    http://www.emis.de/journals/TAC/index.html    ju
TAC2 tomografia assiale computerizzata    = computerized axial tomography    = CAT    mdca
tan tangent    {~ function}    bam    an    geo
tanh hyperbolic tangent    {~ function}    an    sfun
tBD t-wise balanced design    cmb
TD transversal design    cmb
TFLOPS Tera floating point operations per second    = 1000 GFLOPS    um    sucmp
TFT thin-film transistor    = screen technology    hw
TGS1 ticket granting server    nets    ci
TGS2 ticket granting service    nets    ci
TGT ticket granting ticket    nets    ci
TI Texas Instruments, Inc.    http://www.ti.com/    itc
TIFF Tagged Image File Format    = a versatile image file format    cgr
TIS/PEM Trusted Information Systems / privacy enhanced mail    nets
TL temporal logic    logf
TM Turing machine    cmty    logf
TMR Training and Mobility Programme    = of European Community    proj
TOC table of contents    www    doc
TOCS Transactions on Computer Systems    = journal of ACM    ju
TODS Transactions on Database Systems    = journal of ACM    ju
TOG Transactions on Graphics    = journal of ACM    ju
TOIS Transactions on Information Systems    = journal of ACM    ju    doc
TOMS Transactions on Mathematical Software    = journal of ACM    ju    sw
TOPLAS Transactions on Programmlng tanguages and Systems    = journal of ACM    ju
Tor torsion
Tot total    {~ recursive functions}    logf
TP totally positive    {~ function}    bam    an
TPL table producing language    = developed in BLS    lac    st
TPP twin prime power    {~ difference set}    cmb
TPW Turbo Pascal for Windows    sw
TR1 technical report    doc
TR2 trapezoidal rule    = for numerical quadrature    na
Tr trace    {~ of a matrix}    alg
Tra transgression map    = in cohomology    alg    geo
TRAN Transactions of the AMS    = printed and electronic journal of AMS    ju
TROLL time-shared reactive on-line laboratory    sw    st
TS triple system    cmb
TSA&F Time Series Analysis and Forecasting    = statistical company    st    mco
TSP travelling salesman problem    alm    grft    or
tt truth-table    logf
TTR time to repair
TTT total time on test    {~ plot; ~ transform}    st
TU Technische Universit\"at    = in Berlin, Graz, M\"unchen, ...    un
TUB Technische Universit\"at Berlin    un
TUM Technische Universit\"at M\"unchen    http://www.tu-muenchen.de    un
TV tolerance volume    mam    st
TW tree width    grft
TWh triplewhist    {~ tournament}    cmb

U unitary    {~ group}    alg    geo
UAB Universitat Aut\`onoma de Barcelona    http://www.uab.es    un
UAN uniformly asymptotically negligible    {~ condition}    st
UB Universitat ut\`onoma de Barcelona    http://www.ub.es    un
UCDA ??    un
UCLA University of California Los Angeles    un
UCSD University of California San Diego    un
UCSO uniform conditional stochastic order    st
UDC Universal Dewey Classification    http://www.chem.ualberta.ca/~plambeck/udc/index.htm    doc
UF uniformly Fr\'echet smooth    {~ normed space}    fuan
UFD unique factor[ization] domain    alg
UG uniformly Gateaux smooth    {~ normed space}    fuan
UGN unbounded generating number    alg
ULLN uniform law of large numbers    st
ULSI ultra large scale integration    eln    hw
UMI Unione Matematica Italiana    = italian mathematical society    http://www.dm.unibo.it/~umi    ass
UMV uniformly minimum variance    st
UMVU uniformly minimum variance unbiased    st
Uni Universitat
UNIVAC UNIVersal Automatic Computer    = company and computers    itc    cmpr
UNIX Uniplexed Information and Computer Systems    = AT&T Bell Laboratories operating system    os
UNL University of Nebraska Lincoln    http://www.math.unl.edu/    un
UNSW university of South Wales    = in Australia    un
UP class of languages recognizable by polynomial-time unambiguous Turing Machines    cmty    lac
UPC Universitat Polit\'ecnica de Catalunya    = in Barcelona    http://www.upc.es    un
UPF Universitat Pompeu Fibra    http://www.upf.es    un
UQL unacceptable quality level    st
UR uniformly rotund    {~ normed space}    fuan
URD uniformly resolvable design    cmb
URED uniformly rotund in every direction    {~ normed space}    fuan
URI uniform resource identifier    www    doc
URL [uniform | universal] resource locator    www    doc
URN uniform resource name    www    doc
URWD uniformly rotund in weakly compact set of directions    {~ normed space}    fuan
US uniformly smooth    {~ normed space}    fuan
USI Scuola universitaria della Svizzera Italiana    un
USL upper specification limit    st
UTK University of Tennessee at Knoxville    un
UTM1 unambiguous Turing machine    cmty    fmod
UTM2 universal Turing machine    logf    cmty

VAX virtual address extension    = computers by Digital    cmpr
VB Visual Basic    = programming language and environment by MicroSoft    lac    prg
VDL Vienna Definition Language    lac    prg
VDP variation diminishing property    st
vers versine    {~ function}    sfun
VF valuation function    bam
VI visual interactive    = text editor in UNIX    sw    doc
VLIW very [large | long] instruction word    eln    hw
VLSI very large-scale integration    eln    hw
VML Vector Markup Language    = standard for graphics on web pages    lac    www
VMOA vanishing mean oscillation analytic    an
VNTR variable number of tandem repeats    = in DNA    bim
Vol volume    bam    geo
VR1 variation reducing    {~ property}    st
VR2 virtual reality    sw    doc
VRT variance reduction techniques    st
VS very smooth    {~ normed space}    fuan
VSLI very large scale integration    eln    hw
VUP VAX unit of [performance | processing]    = unit of measure    um    hw

W1 Weber    {~ parabolic cylindric function}    sfun
W2 Whittaker    {~ function}    sfun
W3 Wronskian    {~ determinant}    an
W3C World Wide Web Consortium    http://www.w3.org    www    res    doc
WAGR Wald - Anscombe - Girshick - Rushton    {~ t-test}    st
WAI Web Accessibility Initiative    = by W3C    http://www.w3.0rg/WAI/    www    doc
WATFOR Waterloo Fortran    lac    prg
WBF weakened by failures    = aging property for maintenance    or
WD working draft    bai    doc
wd weak dimension    {~ of a ring}    alg
WebCGM Web computer Graphics Metafile    http://www.w3.org/Graphics/WebCGM/
WF weakly finite    {~ ring}    alg
wf well-foundedness    logf    lprg
WFF well-formed formula    logf    alm
WG working group    bai
Wh whist    {~ tournament}    cmb
WLS weighted least squares    {~ estimator}    st
wLUR weakly locally uniformly rotund    {~ normed space}    fuan
WP1 while program    prg    lprg
WP2 word processing    sw    doc
WRAM common write strategy random access machine    cmty    fmod
WS1S weak second-order theory with one successor    logf    lac
WS2S weak second-order theory with two successors    logf    lac
WSCS wide sense cyclo-stationary    {~ signal}    ci
WSS wide sense stationary    {~ signal}    ci
wtt weak truth-table    logf
wUR weakly uniformly rotund    {~ normed space}    fuan
WWW world wide web    = the universe of network accessible information    www
WYSIWYG what you see is what you get    sw    doc
WZ Wilf H. S. - Zeilberger D.    {~ algorithm; ~ method; ~ theory}    smbcmp    sfun    alg

XLink XML Linking Language    http://www.w3.org/TR/NOTE-xlink-principles    doc    www
XLL Extensible Link Language    = for XML    www    doc    lac
XMI Extensible Markup Interchange    = specification by Oracle, IBM and ?Unisys submitted to OMG to connect XML with UML    nets
XML Extensible Markup Language    = metalanguage standardized by W3C    http://www.w3.org/TR/PR-XML/    www    doc    lac
XOR exclusive OR    = EOR    bam    logf
XPRAM parallel random-access machine operating in supersteps    logf    cmty
XSL extensible [style | stylesheet markup] Language    = XML-based style control language    http://www.w3.org/TR/WD-xsl    www    pub
XXX six vertex    = in statistical quantum mechanics    {~ model}    qt
XYZ eight vertex    = in statistical quantum mechanics    {~ model}    qt

YACC yet another compiler-compiler    sw
YAHOO yet another hierarchical[ly] officious oracle    = Internet search engine    www    doc

Z Zahlen    bam    nt
ZBM Zentralblatt f\"ur Mathematik und ihre Grenzgebiete    http://www.zblmath.fiz-karlsruhe.de/zbl/index.html    ju    doc
ZDM Zentralblatt f\"ur Didaktik der Mathematik    ju    doc
ZF Zermelo - Fraenkel    {~ axiom system}    logf
ZFC Zermelo - Fraenkel axiom system with axiom of choice    logf
ZIB Konrad Zuse Zentrum f\"ur Informationtechnok Berlin    http://www.zib.de/index.en.html    res
ZPP probabilistic Turing machine with zero probability of error of polinomial time    = complexity class    alm
ZT Zhu - Takaoka    {~ algorithm}    alm    lac