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.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 901–1000 of 3154.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Valery A. Lunts | YSEB2TB328 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102111253, nLab Valery+Lunts |
| Valery Glivenko | QZHZHPEFGB | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q321515, ProofWiki Mathematician:Valery_Ivanovich_Glivenko |
| Valiant–Vazirani theorem | F732BKEDAD | statement | open | mathlib_1000 Q7911648, Wikidata Q7911648, thousand_plus Q7911648, Wikipedia Valiant–Vazirani theorem |
| valid | 5CQPJ1QS6B | concept | open | levin_dmoi index/4/valid |
| Valid DAE-aware CBF | JK2XPXVTCM | definition | record (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.09634#MUQ3 |
| Valid sequences | RYHZFC21TB | definition | record (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.25188#IMTP |
| Validity | D138EJF605 | definition | open | open_logic content/second-order-logic/syntax-and-semantics/semantic-notions.tex#defn-1 |
| validity | T1F7TTFBVP | unknown | open | Wikidata Q1047000, MathWorld Validity |
| Validity | V4ERRF0S6C | definition | open | open_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#defn-1 |
| Validity for the regularised value functions | K8640JKV61 | statement | record (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.12713#VZ7C |
| Validity of an admissible block | BQ8DYSFBCZ | statement | record (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.21139#V50X |
| Validity of the last-layer Girsanov tilt | 5D4XJV571H | statement | record (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.34831#5PNC |
| Validity of the measure change | PMSC3KFTP2 | statement | record (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.05864#M8ZE |
| Validity of the reduced lower bound | W5VVSKYDHX | statement | record (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.20539#5V7D |
| Validity of the scalar identities | Z761YZC92C | statement | record (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.27641#04HP |
| Validity of the ten transfer identities | AFS1BM3RZ2 | statement | record (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.27641#AHO1 |
| Validity of weighted OPD | C5FRM3Y2G1 | statement | record (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.38025#M7YI |
| Valter Moretti | K61VDW6T8A | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q74445187, nLab Valter Moretti |
| valuation | 1SRBMP20XB | unknown | open | Wikidata Q852757, MathWorld Valuation |
| valuation | EFNY568EE2 | unknown | open | Wikidata Q4008379, nLab valuation |
| Valuation intersections | FCEYZ5D1V6 | statement | record (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.00076#AIN9 |
| Valuation profiles | W6GNA7BH6X | statement | record (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.15262#I9TL |
| valuation ring | QEA7BCMX7J | definition | open | Wikidata Q12013681, EoM Valuation, MathWorld ValuationRing, nLab valuation ring, ProofWiki Definition:Valuation_Ring |
| Valuations after a quadratic shift | BFEVSK7YQ3 | statement | record (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.30301#IQ0N |
| Valuations after a quadratic shift | M8DNV42EJE | statement | record (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.30301#2SVF |
| Valuative rank-one obstruction series | DVYXP1SQ6D | statement | record (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.20649#8UJX |
| Value and advantage Lipschitzness in policy | A241V617FX | statement | record (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.04638#EEU6 |
| Value convergence under arbitrary evaluation distributions | AWQ668YD4N | statement | record (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.39837#4HCV |
| Value estimation from paired samples | VYHBJRXZ22 | statement | record (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.17579#QHRD |
| Value function and feedback law coefficient approximations | PRC3WKHETE | statement | record (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.15942#RSZG |
| Value function polynomial coefficients | B6TP127MBX | statement | record (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.15942#SKQL |
| value, truth | BD5AEZBV8D | concept | open | hott_book index/A.8/value-truth |
| Value-sampled distribution | 8NH3D1T2PP | statement | record (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.03811#I49Z |
| Valued quiver | 3SM54MJD05 | definition | record (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.03612#WMNE |
| Values at the selected data | 6MJB5D70TP | statement | record (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.06490#KRAG |
| vampire number | ZDCSG7KAYD | concept | open | Wikidata Q2306943, MathWorld VampireNumber, OEIS A014575 |
| VAMRRWTTRH | VAMRRWTTRH | statement | record (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.05365#0723 |
| van Aubel's theorem | 7XYVGW1KZC | statement | open | mathlib_1000 Q594571, Wikidata Q594571, thousand_plus Q594571, Wikipedia Van Aubel's theorem, MathWorld vanAubelsTheorem |
| van der Corput | JS4NZWF7SJ | statement | record (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.11487#MEX2 |
| van der Corput inequality along a Reiter sequence | YGJSDP6ACQ | statement | record (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.16580#QHBB |
| van der Corput lemma | 4VQW31S54B | statement | record (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 2108.01302#D7K6 |
| Van der Corput sequence | JC4KRAK735 | concept | open | Wikidata Q650859, MathWorld vanderCorputSequence |
| Van der Pol oscillator | 8ZMKE18XDH | unknown | open | Wikidata Q2081515, MathWorld vanderPolEquation |
| Van der Pol oscillator | VT5SKNN4SE | example | record (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.30821#PSHV |
| van der Waerden | Q2SRD9BPES | statement | record (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.02833#UNBW |
| Van der Waerden number | DQ2FEN3VWH | concept | open | Wikidata Q7913892, MathWorld vanderWaerdenNumber |
| Van der Waerden's theorem | RST9QF6J3P | statement | open | mathlib_1000 Q764287, Mathlib Combinatorics.exists_mono_homothetic_copy, Wikidata Q764287, mathlib_overview Combinatorics > Ramsey theory > van der Waerden theorem, thousand_plus Q764287, Wikipedia Van der Waerden's theorem, MathWorld vanderWaerdensTheorem |
| Van Eck's sequence | 9KF734KRN2 | object | open | Wikidata Q65046226, OEIS A181391 |
| van Est | WRSV211QMT | statement | record (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.05216#CVGB |
| van Kampen Lemma | PC2QAKBJC5 | statement | record (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.16241#OV65 |
| van Kampen theorem | FH17G2QXDZ | concept | open | hott_book index/7.7/van-kampen-theorem |
| van Kampen theorem | JWX1M10675 | concept | open | hott_book index/2.9/van-kampen-theorem |
| van Kampen with a set of basepoints | 50DZ9P5150 | statement | open | hott_book homotopy.tex#thm:van-Kampen |
| van Kirkman point | KVNRR1MYG1 | unknown | open | Wikidata Q2251843, MathWorld KirkmanPoints |
| Van Lamoen circle | AE0QX4JS18 | statement | open | Wikidata Q781220, MathWorld vanLamoenCircle |
| Van Schooten's theorem | TCF0506C4Q | statement | open | mathlib_1000 Q15844093, Wikidata Q15844093, thousand_plus Q15844093, Wikipedia Van Schooten's theorem |
| Van Vleck's theorem | VA92MYSRFV | statement | open | mathlib_1000 Q5166389, Wikidata Q5166389, thousand_plus Q5166389 |
| Vandermonde matrix | P83327NN2K | concept | open | Wikidata Q579544, MathWorld VandermondeMatrix |
| Vandermonde polynomial | 3DPXSPQA8H | concept | open | Wikidata Q7914492, MathWorld VandermondeDeterminant |
| Vandermonde's identity | ERKZWVJC01 | concept | node (a node has the same Wikidata item as the row) | Wikidata Q3147827, MathWorld VandermondeIdentity, ProofWiki Chu-Vandermonde_Identity |
| VANE3G7W7R | VANE3G7W7R | statement | record (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.24606#BQGN |
| Vanishing | HFQ0VPFCDE | statement | record (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 0809.0068#9NK6 |
| Vanishing 3D critical cost | AY0P1K9P0V | statement | record (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.24962#7E7E |
| Vanishing additional stress | GBDWW5M5JD | statement | record (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#AJIY |
| Vanishing and the excluded minor | A317N0DGSR | statement | record (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.20649#X5EF |
| Vanishing asymptotic SQCQP frequency | Z4QHS80PWK | statement | record (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#LVDT |
| Vanishing at every order | MMFDYP3SXB | statement | record (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.00490#VZAW |
| Vanishing at non-cubes | 9SGCW0APWC | statement | record (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.07905#J03H |
| Vanishing auxiliary-input increments | BW5G32RQRK | statement | record (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.03242#6ES1 |
| Vanishing classification | Q40YBZK79T | statement | record (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.20649#2Y1L |
| Vanishing critical cost | P9NP4DR6Y0 | statement | record (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.24962#Z7UV |
| vanishing cycle | 8K9YQPHJQ4 | unknown | open | Wikidata Q4205180, nLab vanishing cycle |
| Vanishing direction and primal infeasibility | J1QXV0TP44 | statement | record (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#LQGY |
| Vanishing energy in short windows | WKG30C6EM1 | statement | record (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.12271#OHZ6 |
| Vanishing functions and coherent-state codimension | 5QHSJB9TBH | statement | record (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#8L1A |
| Vanishing in linear systems of varieties -- weak locality | YJWACSPXFN | statement | record (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.33733#FMAX |
| Vanishing increments of stationary AMP recursion | MZD0T4VN3K | statement | record (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.20798#IU66 |
| Vanishing killed occupation | J01W5JAQDW | statement | record (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.21268#1T0S |
| Vanishing lower bound for the gradient of orbit periods | FN25FEKFF4 | example | record (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.34168#6CZO |
| Vanishing lower bound for the gradient of orbit periods | SFVDW1R4J6 | example | record (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.34168#EUY1 |
| Vanishing mass | H6K3TR5TS9 | statement | record (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.07905#OFDE |
| Vanishing mass in $\R$: the convergent regime | XE4C5ZST45 | example | record (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.15086#M7CQ |
| Vanishing mesh size for every global edge-patch sequence | 7P5DGJC25E | statement | record (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.29153#TL37 |
| Vanishing of nontrivial characters | 8CR04TEVEY | statement | record (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.13429#A2AK |
| Vanishing of primitive torsion at the recurrent endpoint | AFXB2R9NN9 | statement | record (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#YNBZ |
| Vanishing of the connecting map | J6D2PJ10KH | statement | record (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#M3MU |
| Vanishing of the geodesy defect | TS3NQPA6B2 | statement | record (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#FYWP |
| Vanishing of the harmonic coefficients | FTFBB5CSR2 | statement | record (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.25431#6V34 |
| Vanishing of the higher differentials | ZWRM27EVV7 | statement | record (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#VDSP |
| Vanishing of the Lee-derivative contraction | VQAW9J6YHH | statement | record (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#DC15 |
| Vanishing of the optimal centering constant | B7NVKYYJ6X | statement | record (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#MH94 |
| Vanishing of the Schwartzman normalization | BDB2SFE1Z7 | statement | record (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.27851#W6Q8 |
| Vanishing of the second obstruction | A2RTZFSQRP | statement | record (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#VEJM |
| Vanishing of the two scalar contractions | 9JMCFA17S3 | statement | record (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#5MJF |
| Vanishing on a characteristic-polynomial fiber | 9TWMVBNKTJ | statement | record (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.27204#Z035 |
| Vanishing optimal type-II error probability at finite total time | T7RTF2083B | statement | record (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.03629#JHRT |
| Vanishing or depth of the norm--trace error | DXCG7DHM63 | statement | record (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.10583#6Q6Q |
| vanishing point | D3VA2GSDJ9 | unknown | open | Wikidata Q163362, MathWorld VanishingPoint |
| Vanishing RCMCI | J8TSMB185X | statement | record (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#YBDG |
| Vanishing relative module | K9E3CDSN4W | statement | record (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.28160#R3FA |