Math 2.0

Inventory: T

The rows of the inventory whose names start with T. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.

Rows 4001–4100 of 11759.

NameIdKindOutcomeSources
The Journal of Risk Model Validation3R29DEJN83unknownopenWikipedia List of statistics journals#BYMT
The Journal of Symbolic Logic1A2EN71Z55unknownopenWikipedia List of logic journals#TYCL
The Kac–Bernstein theoremCASKZJNECPstatementopenWikipedia Normal distribution#Y3NS
The Karlin–Rubin theoremV0PTW59Y84statementopenWikipedia Uniformly most powerful test#Q0AO
the Karpenko--Merkurjev plateauR20YKKD2S6statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.07508#CGLX
the kernel of $\Om$BFPT6SEA7Vproblemrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.06909#2BSD
The kernel of the Frattini actionE4V9RZCK5Vstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.14509#AJBT
The kernel theorem6C5X1ZJKQSstatementopenWikipedia Nuclear space#85D4
The kernel vector and spin of an $A_-$ class2DBX2YG6CVstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.18512#4RM3
The key propositionW2RMH4MEG1statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.25495#UYVY
The KL penalty is a mixed-channel instrumentP0ZB2ZGEYTstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.25039#S4TB
The Knot Atlas7VNJ2SB5RHdefinitionopenWikipedia The Knot Atlas, Wikidata Q16963570
The knowledge or truth axiomNH7B0H7B2XstatementopenWikipedia Epistemic modal logic#R1JN
The Kochloukova--Zalesskii phenomenonVYJ50EZXCZexamplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.00021#PFY6
The Koksma–Hlawka inequality2B707VY0SAstatementopenWikipedia Low-discrepancy sequence#Z8K3
The Kummer theoremsBSY3SAQ0KYstatementopenWikipedia Bernoulli number#10CZ
The L2 version of the Koksma–Hlawka inequalityZG575KSYYNstatementopenWikipedia Low-discrepancy sequence#MOD9
The labelled graph97HCX39KYRdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.08500#RJ3E
The lack of an actual paradox215AC9C5VJstatementopenWikipedia Lindley's paradox#JVOY
The ladderTJAJTGRBFMstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.03272#TZ57
The Ladies' Diary1QVNFTSRWZunknownout_of_scope (a book, not an item of mathematics)Wikidata Q7745092, ProofWiki Book:Journal/The_Ladies'_Diary
The Lady Tasting TeaWMYGC4VX5CdefinitionopenWikipedia The Lady Tasting Tea, Wikidata Q7745155
The Lady's and Gentleman's DiaryZFJZ019YGWdefinitionopenWikipedia The Lady's and Gentleman's Diary, Wikidata Q16937156
The lag-one cubic57JGAGCWPNstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.09912#IKHY
The Lagrange inversion formula299NJN9RZ9statementopenWikipedia Formal power series#SW9A
The Lagrange multiplier theorem for Banach spacesT53TMXAD2VstatementopenWikipedia Lagrange multipliers on Banach spaces#EII5
The lamp channel at the rank rate4NJW5SEEBZstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.04271#BBXG
The Landau–Zener formulaMVVJ0NQTP8statementopenWikipedia Adiabatic theorem#TEAS
The Lang–Steinberg theoremWRXAYMGYEYstatementopenWikipedia Lang's theorem#BER1
The Large Scale Structure of Space-TimeFRWJAT4KZQdefinitionopenWikipedia The Large Scale Structure of Space-Time, Wikidata Q7745497
The larger-\texorpdfstring{$\rho$}{rho} rangeVMTQZPX568statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21730#S3ZZ
the largest strategy88N3J0Z6EMdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2312.01517#IRWN
The last acute branchVCTCWKP34Rstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.15369#5YWK
the last jumpFRKCHJ6NNPstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.07508#CU71
the last jump degreeW1WT03GEX6statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.07508#TP37
The last rowT4HDMGF3C5statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.15421#8H5W
The law of a plot2WN8ET7J3Hdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.26270#E8EV
The Law of CosinesQ859EAK4SJstatementopenmathlib_100 94, Mathlib EuclideanGeometry.dist_sq_eq_dist_sq_add_dist_sq_sub_two_mul_dist_mul_dist_mul_cos_angle
The law of excluded middle extended to the infinite4DCNNGEJ1KstatementopenWikipedia Brouwer–Hilbert controversy#CQIJ
The law of falling bodiesTFP7VE9Q5GstatementopenWikipedia Two New Sciences#2RE4
The law of haversines20NCF393Q0statementopenWikipedia Haversine formula#9C15
The law of large numbers on the integersNZ3WT3C2W9statementopenWikipedia Contact process (mathematics)#LANP
The law of likelihoodXK77YQ6FSVstatementopenWikipedia Likelihood principle#OD2Q
The law of total of probabilityB73FJS10BRstatementopenWikipedia Inductive probability#6JN1
The law under mixing6NJ311DB55statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.37368#ZW14
The Laws of Large NumbersZF7FDTQ280statementopenmathlib_100 59, Mathlib ProbabilityTheory.strong_law_ae, mathlib_overview Probability Theory > Convergence of a sequence of random variables > strong law of large numbers, mathlib_undergrad Probability Theory > Convergence of a sequence of random variables > strong law of large numbers
The Laws of ThoughtMK463RSHFPstatementopenWikipedia The Laws of Thought, Wikidata Q7746455
The Lax–Milgram theoremG97AZT417EstatementopenWikipedia Weak formulation#II6J
The Layer and the GapPTS4XH0094statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.13222#QOLX
The leading angular profile is insufficientRCXDRKHF9Kexamplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.37704#JTLS
The leading coefficient on the regular locusVWF9ZKN8Y4statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.11077#P7TG
The leafwise Chern equationsNPSJ4AQDXHstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.25762#6MQ4
the least possible largest atom521RQWKAW5statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.23922#W7UN
The least-action level19ESRZPJXPstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.02933#E6CO
The least-upper-bound principle and compact sets6CF2N8DG8VstatementopenWikipedia Constructive analysis#67F5
The Lebesgue decomposition theorem2VPWJ3ZV78statementopenWikipedia Radon–Nikodym theorem#N00U
The Ledrappier Young formulaJPK1FE4GV2statementopenWikipedia Pesin Entropy Formula#YRPH
The Lefschetz hyperplane theorem for complex projective varietiesQ6ZK3H6WR9statementopenWikipedia Lefschetz hyperplane theorem#4R9S
The Lefschetz principle8H42YNS337statementopenWikipedia Algebraic geometry and analytic geometry#P1HN
The Lefschetz theorem in other cohomology theories9RZQGZF0MSstatementopenWikipedia Lefschetz hyperplane theorem#WLVS
The Lefschetz–Hopf theoremDWY2KC38TNstatementopenWikipedia Fixed-point index#UPP1
The Leibniz Review4QP07PJPYRunknownopenWikipedia List of things named after Gottfried Leibniz#U75Q
The lemma1BBRMNK987statementopenWikipedia Kronecker's lemma#BBFD
The lemmaYJ7VYAQG7MstatementopenWikipedia Unique homomorphic extension theorem#TLS2
The lemma for nth powersT1W5K9T2Z6statementopenWikipedia Gauss's lemma (number theory)#ZFMS
The lemma over the integersS3MGE4YW96statementopenWikipedia Gauss's lemma (polynomials)#T99X
The level costs a factor $\alpha^{-s^{\ast}}$TH6JKKCEB6statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.27766#1D9A
The lexical hypothesisC699KCVDXNstatementopenWikipedia Francis Galton#FJIH
The Lie product formula57Q5WMNEFQstatementopenWikipedia Matrix exponential#V9Y1
The lifting theorem with infinite unitary input9E2V3SXTP0examplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.25805#396P
The light part on a product netDA5X3F21FXstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.20520#TM4V
The likelihood principleWY9FBNNTZSstatementopenWikipedia Foundations of statistics#63C4
The limit from aboveH519963QHNstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.25120#OAYM
The limit of $\lambda$ at $0$; i.i.d.\ modelDN3NGNS152statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.27765#B2Q2
The limit of $\lambda_n$ at $0$VARQ0JDPXTstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.27765#BT8P
The limiting processZV60XTF7HXstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.14616#52ST
The Lindelöf hypothesisFRYGBN3MXXstatementopenWikipedia Z function#329N
The line $p+q=4$ for $Q_8$MC9T3KSAYCstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.29839#MUC5
The linearRCZXFK1CBJstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.20647#U0LH
The linear certificate controls both base matricesVJEGAZ68E8statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.04357#821I
The linear operator $\mathcal{X}^*$122F1937WRdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.00770#YUVG
The linear temperature equation4C98SQZM1Kstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.14555#KZK4
The linear term cannot be removedNKPF8X09DPstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.37368#ATW8
The linking formKYZ3TMZTA3statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.18512#L1AK
The little Desargues theoremPNQZGADT65statementopenWikipedia Desargues's theorem#37Q9
The Littlewood–Richardson rule and Pieri's formulaM7V7D9YQV4statementopenWikipedia Schur polynomial#DB95
The local bound for at most $22$ contactsJMHWHAWWPSstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.25120#H798
The local charts share one global frame9T0QRBF59Cstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.10192#ZFSW
The local first integral at the cuspV6WTDBNGVSstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.26152#IBAS
The local good fillingFXM534HW54statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2407.02022#8TP0
The Local Structure TheoremWTTQM9AKWFstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.35683#H7XE
The Local-Global ConjectureKTSRQGNTJBstatementopenWikipedia Apollonian gasket#JVQR
The local-to-zero limit is non-degenerateNVWGPHMBHWstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.14695#NAV4
The location-aware transport costJ1FWAJGY8Bstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.00501#PIYF
The logarithm of a commutative formal group law18WGW79PG4statementopenWikipedia Formal group law#Z790
The logarithmic tangent sequenceY4FHQN2R0Gstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21093#DHL3
The logarithmic volume HessianS8C6716XSWstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.21670#LHQT
The Logic of Compatibility PropositionsYZSFP4KY8WstatementopenWikipedia Ivan Orlov (philosopher)#BGHK
The Logic of LifeNVA1PEY1SSdefinitionopenWikipedia The Logic of Life, Wikidata Q7748009
The Logic of Scientific DiscoveryFMKX2ZFPBXdefinitionopenWikipedia The Logic of Scientific Discovery, Wikidata Q1868040