Math 2.0

Inventory: V

The rows of the inventory whose names start with V. 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 1001–1100 of 3154.

NameIdKindOutcomeSources
Vanishing SQP probeXYKCPNCRX7statementrecord (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.18428#ETHC
Vanishing sums with two prime factors4F6EC2M127statementrecord (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.26576#JBSM
Vanishing-error clique-entropy converse2JNKQYWHJGstatementrecord (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.08202#ZAS4
Vanishing-error scaling2RV7MPSZBZstatementrecord (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.16351#ZVK9
Vanishing-space and insertion invariantsC9FTQQ5649statementrecord (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#1CM5
Vantieghem's theoremQHDHB8111Jstatementopenmathlib_1000 Q2226807, Wikidata Q2226807, thousand_plus Q2226807, Wikipedia Vantieghems theorem
VANZ5ER8JZVANZ5ER8JZstatementrecord (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.35543#Z62H
VAPWW5C3QEVAPWW5C3QEstatementrecord (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 2601.18223#ADSM
VAQNT5TFNJVAQNT5TFNJstatementrecord (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.05672#UL0M
VARHPR3THNVARHPR3THNstatementrecord (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.19093#XGKJ
variable2FHK7ZG1CGconceptopenhott_book index/A.2/variable
variable47MAG67NA0conceptopenhott_book index/A.11/variable
variable60HX1368S8conceptopenhott_book index/8.3/variable
variableBWMRK3TF5Nconceptopenhott_book index/A.10/variable
variableD1VHJF127Qconceptopenhott_book index/4.2.1/variable
variableDV9KKRMPWFconceptopenhott_book index/sec:formal-prelim/variable
variableFK8Y4212MAconceptopenhott_book index/4.1/variable
variableM44T7FNFYXconceptopenhott_book index/8.6/variable
variableSDV2Z8PJ4SunknownopenWikidata Q50701, MathWorld Variable
variableTQ0YP9VFA6conceptopenhott_book index/A.4/variable
Variable AssignmentN20JKA7TVHdefinitionopenopen_logic content/second-order-logic/syntax-and-semantics/satisfaction.tex#defn-1
Variable AssignmentPZ48NBT82Ddefinitionopenopen_logic content/first-order-logic/syntax-and-semantics/satisfaction.tex#defn-1
Variable bounds in locally finite varieties29RWZSWW3Kstatementrecord (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.12014#AV59
Variable dimension and degree613E6GJ8A2statementrecord (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.12434#ERIY
Variable endpointsM2MEXMH127statementrecord (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.39706#NRX6
Variable exponent fractional Morrey type inequalityDNWYJ3B3W0statementrecord (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.08253#0CZF
Variable exponent fractional Trudinger inequalityBBPJ2B4G3Kstatementrecord (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.08253#THLF
Variable exponent Morrey estimate for the Riesz potentialJJGBSA01JTstatementrecord (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.08253#BD87
Variable liftingM4RKYVPZAQstatementrecord (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 2608.17785#G14O
variable, and substitutionM0J0RRJXDDconceptopenhott_book index/sec:formal-prelim/variable-and-substitution
variable, boundGRCHMR1WTAconceptopenhott_book index/4.2.5/variable-bound
variable, in contextS8T96F26Y5conceptopenhott_book index/sec:formal-prelim/variable-in-context
variable, type4E32S1EK8Fconceptopenhott_book index/8.6/variable-type
variable, type8RX1QJSQYMconceptopenhott_book index/8.7/variable-type
Variable-depth $H^2$ Stokes estimateGWA5HQJP5Bstatementrecord (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#AITP
Variable-load protected levelCKRRDAZF5Gstatementrecord (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.30315#YJ1I
Variable-period cellular medium2BHYS504CWdefinitionrecord (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 math/0003117#P2FO
Variable-period simulationWPKZ5BTDGKstatementrecord (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 math/0003117#9I68
variance5RBZZTTCQ0conceptopenapplied_combinatorics index/10.5.1/variance
VarianceJGFTDP30MMstatementrecord (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.31919#WDHW
variancePH3QE9X2SGunknownnode (a node has the same Wikidata item as the row)mathlib_overview Probability Theory > Random variables and their laws > variance of a real-valued random variable, Mathlib ProbabilityTheory.variance, mathlib_undergrad Probability Theory > Random variables and their laws > variance of a real-valued random variable, Wikidata Q175199, MathWorld Variance
Variance and the ordinary first-order lower boundXZ6K4CP1F7statementrecord (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.01843#BECT
Variance bound for \(\tilde G_n\VGE707M95Kstatementrecord (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.06372#8PFZ
Variance bound for weighted incrementsXWN5CJ5QRXstatementrecord (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.06372#5SYO
Variance changeGD3BGEPJ4Bexamplerecord (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 2206.11471#EMJ6
Variance decomposition lemmaK3F8E2ZBWFstatementrecord (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 2411.07061#B1RW
Variance filter boundNFPTS9NP2Ystatementrecord (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.09044#5SCT
Variance floor and sub-GaussianityBBYJ0HJ9WRstatementrecord (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.37917#UCO6
Variance formulaHB8DR121SBstatementrecord (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.25301#UJI8
Variance inequality on a Hilbert sphereK500GVN1ZDstatementrecord (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#Q2VB
Variance inequality under positive curvature upper bound9B52VS0VGBstatementrecord (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#LFN1
Variance of level averagesVVE97YFRG6statementrecord (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.18350#9INM
Variance of smooth convex samplesHEDJ5ZK0AZstatementrecord (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.12641#LNVN
Variance of the compensator4AJFGQ4K9Nstatementrecord (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.17479#TEI7
Variance of the logarithm of a Poisson--Dirichlet sumJ68YS56H4Astatementrecord (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.32710#YUTE
Variance preserving convolution20EG6DWDDQexamplerecord (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.32446#QAOR
Variance propagationDS02KX17JSstatementrecord (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#B6P0
Variance propagation under the response tiltW1FXEM0G27statementrecord (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#15K3
Variance-existence thresholdV5Y7MYNSMCstatementrecord (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.06873#F2E7
Variance-Limited Scaling LawNJ9F67TM9Mstatementrecord (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 2212.14457#I232
VariantSXYPHGH1THstatementrecord (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.02079#I48O
Variant of spherical Fano inequalityEEKJEGT82Gstatementrecord (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.11834#QWKN
Variation diminishing propertyS42RXE68JBdefinitionrecord (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.19861#CJ37
Variation distanceJXHDD503CMdefinitionrecord (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 math/0003117#N0HV
variation of boundary data7NRVWFNWCAstatementrecord (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.05423#4D7J
variation of parameters44WEV9R6XVunknownnode (a node has the same Wikidata item as the row)Wikidata Q1205942, EoM Variation_of_constants, MathWorld VariationofParameters
variation of parameters, for systemsGVRGT2647Econceptopenlebl_diffyqs index/10.9.2/variation-of-parameters-for-systems
Variation partitionXT7KCDQDXEstatementrecord (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.20187#4DFM
variational bicomplex2VV4Q8PH9ZunknownopenWikidata Q7915796, nLab variational bicomplex
Variational characterisation of absolute minimisers via semi-differential PDI9YHMD7GDBMstatementrecord (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.27918#WHJF
Variational characterisation of general minimisers via the semi-differentialXHZQNHE6SDstatementrecord (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.27918#2T0C
Variational characterisation of R\'enyi divergenceFP50ZCWRH3statementrecord (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#XMIJ
Variational correctness of the Kirchhoff NDPG loss2Y2FH7YM80statementrecord (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.19296#D0CV
Variational correctness of the Kirchhoff NFOSLS loss2C8FGN136Astatementrecord (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.19296#9044
Variational correctness of the NDPG loss function5BX4CP3B1Bstatementrecord (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.19296#DNMW
Variational correctness of the NFOSLS loss for the quasilinear caseC0B4AAEWFTstatementrecord (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.19296#9XX9
Variational distance for the distribution induced by PPMCX7ZTB9MPBstatementrecord (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.24675#4U6W
Variational Extension Formula4ENAQYMP9Qstatementrecord (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.12239#5UJ8
Variational formula at every real pointTNN5AY70AJstatementrecord (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.15180#DXZT
Variational inequality16XW3BQEEQdefinitionrecord (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.12641#OSLI
Variational Lower Bound on Idealized Benefit2CSX7H067Dstatementrecord (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.03769#6FPJ
Variational principle for the principal eigenvalueG609RBN2PTstatementrecord (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#1KRA
Variational projection lemma5J3RWAJTJZstatementrecord (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.15199#AO2H
Variational representation of the discounted valuesE463TPM0NJstatementrecord (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.14988#EUN2
Variational witness boundCX25Z7VCGRstatementrecord (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.16069#A00N
Variations of constants formula283VP0QHCEstatementrecord (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 2202.02831#N56V
Varieties as universal targetsKMBZ7QHM68statementrecord (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.33469#577I
Varieties containing $S_7$ZGF6C2YQJTstatementrecord (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.12014#9BE8
Variety (group theory)SSWBMK5Z43topicopenWikidata Q137314701, MathWorld Variety, Wikidata Q3502010, nLab variety of algebras
Variety structure at $L = 11$SKG79XDFT5statementrecord (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.25543#SMTB
Varignon parallelogramXNM6A97TE0conceptopenWikidata Q18324836, MathWorld VarignonParallelogram
Varignon's theoremC3Y9970EB2statementopenmathlib_1000 Q1896455, Wikidata Q1896455, thousand_plus Q1896455, Wikipedia Varignon's theorem, MathWorld VarignonsTheorem
VARJXKE2Q1VARJXKE2Q1statementrecord (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.09171#V44O
VARKBJVP8PVARKBJVP8Pstatementrecord (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.26600#6S6X
VARKWD647QVARKWD647Qproofopenlevin_dmoi ptx/sec_logic-proofs.ptx#proof-1
Varnavides argumentXB6EQD1QAQstatementrecord (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 1806.05002#TVEH
Varnavides averagingQP3NEYVRS4statementrecord (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 1806.05002#HYCJ
Varolin or Definition 4.10.1P1SPWACQ4Fdefinitionrecord (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 2305.06030#HKUE
VARTQ6E35PVARTQ6E35Pstatementrecord (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.27023#NGM1
vary along a path constructorN9FATPXH29conceptopenhott_book index/5.2/vary-along-a-path-constructor