Math 2.0

Inventory: W

The rows of the inventory whose names start with W. 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 1401–1500 of 3560.

NameIdKindOutcomeSources
Weak l.s.c.\ of convex continuous functionalsQWYYC7A8W6statementrecord (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.00033#VSI6
Weak latent density upper boundJB4RHX5PSXstatementrecord (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.20944#SHFK
weak law of large numbers820VWQ54P8unknownopenmathlib_undergrad Probability Theory > Convergence of a sequence of random variables > weak law of large numbers
weak law of large numbersR6X5NN2WSPstatementopenWikidata Q25377496, MathWorld WeakLawofLargeNumbers, ProofWiki Khinchin's_Law
Weak Lefschetz2YF32T1YGYstatementrecord (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.01731#QGLE
Weak limits of occupation measures161BC6S1S6statementrecord (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.36143#BGLY
weak n-category8BE3PRX4BCunknownopenWikidata Q7977957, EoM Higher-dimensional_category
Weak normality after retaining complete height groups2Y27Q7CQYHstatementrecord (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.26066#HYBC
Weak normality at every scalar order in the coprime caseAKQK5MRYSQstatementrecord (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.26066#H160
Weak quasi-factorisationAWBFQHE86Vstatementrecord (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.03683#VX2L
Weak regularity8TSFQMMA0Ystatementrecord (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 2606.02312#13WE
Weak residualWSWR74WTR7statementrecord (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.32107#5IAJ
Weak Schur sampling4VGXRJNF8Jdefinitionrecord (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.29348#BO9U
Weak Schur sampling sufficiencyXDGX18TTY4statementrecord (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.29348#0JW2
weak sequenceN05C9NY8WTunknownopenmathlib_overview Data structures > List-like structures > weak sequence, Mathlib Stream'.WSeq
Weak Sharpness8RMABY1S0Pdefinitionrecord (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 2602.13510#H89S
Weak SharpnessDQX3XQ2V2Wdefinitionrecord (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 2602.13510#FZUY
Weak sign patterns of affine functions332HHS7HVGstatementrecord (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.21363#T5HR
Weak small-dispersion limitGX18ZSJBGFstatementrecord (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#0HWS
weak solution1N7CMPRM27definitionrecord (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.35001#S0LJ
Weak solutionAEFZTDB8VAdefinitionrecord (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.38031#5RNR
Weak solutionBHWF0B9ZCXdefinitionrecord (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.08434#UKZB
Weak solutionNQHSG9Y8YPdefinitionrecord (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.05313#TMUB
Weak solution in $\H_r$QQFN9570NQdefinitionrecord (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.04895#Z114
weak solution of partial derivative equationG7P1NMZX71unknownopenmathlib_undergrad Distribution calculus > Applications > weak solution of partial derivative equation
Weak solution to the limiting equation89P8YVSR9Xdefinitionrecord (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.29205#RQXX
Weak solutions3716MBAXPSdefinitionrecord (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.18797#DCB0
Weak solutions and subsolutionsAVW43CZFN9definitionrecord (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.26340#AULY
Weak solvability of the Poisson equationQMMYZTWD2Kstatementrecord (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.32561#O84A
Weak sphericity of contained packetsZ75RGV9EE0statementrecord (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.16931#X4V4
Weak stationarityR6S16KTDR3definitionrecord (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.00033#PPDR
Weak submodularity7NE3ANM7H2definitionrecord (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.24569#YY9E
Weak subslope7MHBXC33RFdefinitionrecord (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.21775#79MB
Weak Syntactical Embedding from $ \bf FDE^{\bf S5}_{\Box\D}$ to $ \bf S5$9AF7VKDFK5statementrecord (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.08323#OH3S
Weak Syntactical Embedding from $ \bf FDE^{\bf S5}_{\circ\bullet}$ to $ \bf FDE^{\bf S5}_{\B\D}$Y9DYY7Y9GQstatementrecord (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.08323#AG8G
weak topology2F31Q8MK1HunknownopenWikidata Q505760, MathWorld WeakTopology
Weak topology on a Hilbert spaceCCF8DYD27Mexamplerecord (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.33841#MMKB
weak-* topologyEJFTJ06G97definitionopenWikidata Q2644145, ProofWiki Definition:Weak-*_Topology
weak-* topology for dualitiesADNYSET63Munknownopenmathlib_overview Analysis > Topological vector spaces > weak-* topology for dualities, Mathlib WeakBilin.instTopologicalSpace
Weak--strong uniquenessFBSNNREAEAstatementrecord (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.05312#62RN
Weak-acylindricityP2RMYTDD8Ystatementrecord (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.19787#2EQB
Weak-coupling localization principleQY5EHA6P36statementrecord (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.29565#BMFK
Weak-factor decay regimeEWTWMYE8CMstatementrecord (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.27200#7F9U
Weak-form NTK: existence, nullspace, and rank8AGYV0Q4JRstatementrecord (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#F6A0
Weak-Rough SolutionsS1M6P4CVQAdefinitionrecord (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.06473#WMA6
Weak-to-standard comparisonWEBQPCMJFTstatementrecord (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.33154#YXYE
Weak-to-strong Maxwell--Ohm compactness3TYDBKRR04statementrecord (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.24960#VPXV
Weak-type estimate for the Riesz potentialH9JX377CQWstatementrecord (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.09001#KNHI
Weak/Pull-back Set AttractorW0RY8WGKDYdefinitionrecord (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.06321#FWN7
Weak/Strong CompletenessYDYMRKFAS6definitionrecord (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.06321#PCQ4
Weakened Lipschitz continuity9WCSWDX0E4statementrecord (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.14562#ZIAJ
Weakening ApplicationAHJFQEHGHMdefinitionrecord (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.21131#GLZJ
Weakening of Substitution is Well-TypedFZ0HJHYFHDstatementrecord (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.21131#U5OV
Weakening Preserves Typing880923E1YYstatementrecord (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.21131#4YK3
Weakening--Substitution Commutation (GeneralizedAH0C7B977Fstatementrecord (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.21131#75EI
Weakening--Substitution InteractionFAT9EYHYX4statementrecord (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.21131#E4PR
Weakenings41VYRH1H45definitionrecord (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.21131#5WQZ
Weakly Amenable2A59SDS0SSconceptopenWikidata Q105332768, MathWorld WeaklyAmenable
Weakly compact action, {Ozawa--PopaJQSR8SFZGJdefinitionrecord (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.22109#7KF1
weakly inaccessible cardinal97EKKDGJBVdefinitionopenWikidata Q12054637, ProofWiki Definition:Weakly_Inaccessible_Cardinal
weakly interacting massive particle79BX2593KHunknownopenWikidata Q1129252, nLab weakly interacting massive particle
weakly linear orderPP52V8KKZSconceptopenhott_book index/B.2.1/weakly-linear-order
Weakly Quasar-ConvexEKJRCBHJNHdefinitionrecord (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.10927#5E22
Weakly read-once linear branching programDTGHFGPZ2Wdefinitionrecord (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.02407#2MKM
Weakly submodular drift4V9Z58VWVGstatementrecord (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.24569#4BAG
Wealth process, \etmGBD76KRNDMdefinitionrecord (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#DG95
WebAssemblySSF15C14EXunknownopenWikidata Q20155677, nLab WebAssembly
weber195JE6W4S7definitionopenWikidata Q170804, ProofWiki Definition:Weber_(Unit)
Weber function8YCN0PANJ1conceptopenWikidata Q4493439, EoM Weber_function, MathWorld WeberFunctions
Weber's theorem3P75P3EAJPstatementopenmathlib_1000 Q7978735, Wikidata Q7978735, thousand_plus Q7978735, Wikipedia Weber's theorem (Algebraic curves), MathWorld WebersTheorem
WEBHYGSPHSWEBHYGSPHSstatementrecord (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 2204.04317#IMN1
WECMSQ4S2YWECMSQ4S2Ydefinitionrecord (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.25348#2OZL
Wedderburn's little theorem5BYK7FSWVRstatementnode (a node has the same Wikidata item as the row)mathlib_1000 Q943246, Mathlib littleWedderburn, Wikidata Q943246, thousand_plus Q943246, Wikipedia Wedderburn's little theorem, MathWorld WedderburnsTheorem, ProofWiki Wedderburn's_Theorem
Wedderburn–Etherington numberFR5YNC1F3MobjectopenWikidata Q2068748, OEIS A001190
wedge4XWPFEYY05objectopenWikidata Q2755127, MathWorld Wedge
wedgeRGZ4D06QY2conceptopenhott_book index/7.6/wedge
Wedge connectivity lemma3HRM7CZJHPstatementopenhott_book homotopy.tex#thm:wedge-connectivity
wedge formulaMHMEC2P4SHstatementrecord (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.17135#ISOB
Wedge Property2YSVWD2GWXstatementrecord (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 2304.02722#7R3O
wedge sumWZFTDCK67FunknownopenWikidata Q1781358, nLab wedge sum
Wedin's Identity3JXGEV3P0Astatementrecord (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.20944#4BWK
Wedin's theorem -- Theorem 4.44WMNEFPD6Dstatementrecord (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.20944#H4NY
week63RDHBFSFGdefinitionopenWikidata Q23387, ProofWiki Definition:Time/Unit/Week
WEFW9E4G7SWEFW9E4G7Sstatementrecord (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.04730#XS7O
WEFY76078JWEFY76078Jstatementrecord (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.07631#ZZ6C
WEGD5DBCBWWEGD5DBCBWstatementrecord (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.21600#GPS9
Wegner1N660TE2HWconjecturerecord (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.12640#T12A
Wegner's conjectureYRF238PGACconjecturerecord (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.13852#V9NI
WEH4C5JDJYWEH4C5JDJYstatementrecord (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.01653#W0GT
WEH5HFH5EVWEH5HFH5EVstatementrecord (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.39293#9M3Z
WEHDEV918FWEHDEV918Fstatementrecord (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.11082#DAJX
Weibull distribution4NWG63AYHPunknownopenWikidata Q732332, MathWorld WeibullDistribution
Weibull moments51JZBQ3DZJstatementrecord (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.05829#IKQR
Weierstrass approximation theorem1YDAE9K7BKstatementopenlebl_ra ch-approximate.tex#thm-2
Weierstrass approximation theoremGSRY4MWECWconceptopenlebl_ra index/1.7.1/weierstrass-approximation-theorem
Weierstrass convergence theorem in $\C^{n}$8K7P5B0G1Jstatementrecord (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.29605#KH7M
Weierstrass factorization theoremHDV3KAETVRstatementopenmathlib_1000 Q1330788, Wikidata Q1330788, thousand_plus Q1330788, Wikipedia Weierstrass factorization theorem, MathWorld WeierstrassProductTheorem
Weierstrass factorization theoremSEWBDSPTBBconceptopenlebl_scv index/B/weierstrass-factorization-theorem
Weierstrass factorization theoremSF88M6C2C5statementopenlebl_scv scv.tex#thm-43
Weierstrass function5XA36591Y1conceptopenlebl_ra index/1.2.3/weierstrass-function