Theorem Abbreviations and Acronyms

  1. ATP
    Automated Tablet Packager
  2. BPI
    Boolean Prime Ideal
  3. BPT
    Basic Proportionality Theorem
  4. BSMF
    Bulletin De La Sxciete Mathematique De France
  5. CFSG
    Classificationxof Finite Simple Groups
  6. DCT
    Dominated Convergence Theorem
  7. HOL
    Higher-Order Logic
  8. HOL
    High Order Logic
  9. JDDE
    Journal of Dynamics and Differential Equations
  10. KAM
    Kolmogorov-Arnold-Moser
  11. KL
    Karhunen Loeve
  12. MDG
    Multiway Decision Graphs
  13. MDGS
    Multiway Decision Graphs
  14. MM
    Modigliani-Miller
  15. NR
    Network Reduction
  16. PCP
    Probabilistically Checkable Proof
  17. RG
    Runge-Gross
  18. WE
    Work Enerhy
  19. WLLN
    Weak Law of Large Numbers
  20. ZFC
    Zermelo-Fraenkel-Choice

Last updated: — Total entries: 21