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 1901–2000 of 3154.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Viscosity of a Gram point | 4W3N7WKBG4 | 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 2406.06548#85AK |
| Viscosity solution and Hopf formula | 9M4JD7ZXNR | 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.32710#01T0 |
| Viscosity solutions | CE8HMGQ247 | 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.32710#D43X |
| Viscosity solutions | GPFE8M7CTA | 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.18744#JC4I |
| Visibility and the subcritical success exponent | XGE0FT5TB7 | 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.30808#W2BQ |
| visibility graph | 50S3ZJTE60 | unknown | open | Wikidata Q8216024, MathWorld VisibilityGraph |
| Visible and invisible eigenvalues | JWQK7JDYBF | 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.08011#E5WO |
| Visible boundary segment | KNTYEH6SSC | 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.08656#5MEY |
| visible choice $\geqslant$ hidden choice | 3FHDE576DC | 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 1803.10042#70L0 |
| Visible facets and the scalar kink set | 6BC08GGEKV | 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.32695#QUK2 |
| visible Lagrangians | 4H81XDSM5X | 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 2310.15716#NRKO |
| Visible perimeter functional | ZRA2WTRRNC | 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.05064#FRC8 |
| Visible spectrum from curve data | TY72D0BC6N | 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.08011#QNQQ |
| Visual boundary | 8XNH3ZE862 | 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.25468#KSKR |
| Visual metric | 6E6QW4YKXV | 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.25468#ZR9V |
| Vitali | 513K550PB1 | statement | open | open_logic content/set-theory/choice/vitali.tex#cor-1 |
| Vitali convergence theorem | 37VA7DN2K3 | statement | open | mathlib_1000 Q11352023, Mathlib MeasureTheory.tendstoInMeasure_iff_tendsto_Lp, Wikidata Q11352023, thousand_plus Q11352023, Wikipedia Vitali convergence theorem |
| Vitali covering theorem | VAHBGEXSQZ | statement | open | mathlib_1000 Q3229352, Mathlib Vitali.exists_disjoint_covering_ae, Wikidata Q3229352, thousand_plus Q3229352, Wikipedia Vitali covering theorem |
| Vitali Milman | C9NT3DBMFZ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1425084, ProofWiki Mathematician:Vitali_Davidovich_Milman |
| Vitali theorem | BS8691F9AD | statement | open | mathlib_1000 Q257387, Wikidata Q257387, thousand_plus Q257387, Wikipedia Vitali set |
| Vitali's convergence theorem | NJGVN5X17D | statement | open | Wikidata Q1255240, MathWorld VitalisConvergenceTheorem |
| Vitali's Paradox (in $\ZFC$) | F244M0CMKR | statement | open | open_logic content/set-theory/choice/vitali.tex#vitaliparadox |
| Vitalik Buterin | JMT0XK7672 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q16197959, nLab Vitalik Buterin |
| Vitali–Hahn–Saks theorem | 1RH55V90SM | statement | open | mathlib_1000 Q7936914, Wikidata Q7936914, thousand_plus Q7936914, Wikipedia Vitali–Hahn–Saks theorem |
| Viviani's curve | M3P48JRBKY | concept | open | Wikidata Q2396808, MathWorld VivianisCurve |
| Viviani's theorem | W4H813P3TE | statement | open | mathlib_1000 Q852183, Wikidata Q852183, thousand_plus Q852183, Wikipedia Viviani's theorem, MathWorld VivianisTheorem |
| Vizing's conjecture | 388ZGSTN7H | conjecture | open | Wikidata Q7938022, MathWorld VizingConjecture |
| Vizing's Theorem | G5J2Q5BSP3 | statement | open | levin_dmoi ptx/sec_gt-coloring.ptx#theorem-4 |
| Vizing's Theorem | QTMBPHVFAB | concept | open | levin_dmoi index/5.4.2/vizing-s-theorem |
| Vizing's theorem | V7HQF2P9VV | statement | open | arXiv 2609.33108#DS2O, Wikidata Q2226822, MathWorld VizingsTheorem |
| VJ016BR09W | VJ016BR09W | 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.07695#JFQD |
| VJ0AQ6113F | VJ0AQ6113F | 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.07671#3T7I |
| VJ0B9JV97T | VJ0B9JV97T | 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.25539#IMSL |
| VJ0H4HXWCY | VJ0H4HXWCY | 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 1907.01440#HXBS |
| VJ0Q136QQ9 | VJ0Q136QQ9 | exercise | open | applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-26 |
| VJ1AH14REB | VJ1AH14REB | 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.18346#9EUO |
| VJ1J2YF9ZV | VJ1J2YF9ZV | 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 2305.13184#07XX |
| VJ1P3QAPC0 | VJ1P3QAPC0 | 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.32088#LYX4 |
| VJ2485HTE1 | VJ2485HTE1 | 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.07401#FFKM |
| VJ2S81TGMV | VJ2S81TGMV | 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.10928#M68S |
| VJ3BB79VRB | VJ3BB79VRB | 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.16727#KSDF |
| VJ3XVRKTWB | VJ3XVRKTWB | exercise | open | ernst_ibl MAAPressVersion/ImagesInverseImages.tex#problem-3 |
| VJ46CAEJKJ | VJ46CAEJKJ | example | open | austin_ula src/section2-1.xml#example-2 |
| VJ47JXQME7 | VJ47JXQME7 | 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.26114#CZ0A |
| VJ4EYNZMHS | VJ4EYNZMHS | 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.14441#3ZT0 |
| VJ6375EX6G | VJ6375EX6G | 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.27078#BTW4 |
| VJ63DG43JE | VJ63DG43JE | 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 2406.19866#GZEK |
| VJ671F2RHM | VJ671F2RHM | 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 1902.04230#N668 |
| VJ6CJCATBA | VJ6CJCATBA | exercise | open | napkin tex/alg-NT/classgrp.tex#exercise-2 |
| VJ6YPEZDMX | VJ6YPEZDMX | 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.24192#UP5L |
| VJ70G2NAR0 | VJ70G2NAR0 | 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 2303.09207#3IKP |
| VJ72E4SSNG | VJ72E4SSNG | 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.19787#RPGN |
| VJ78ZBE5VZ | VJ78ZBE5VZ | 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.27886#UTLF |
| VJ7G61WA17 | VJ7G61WA17 | exercise | open | lebl_ra ch-metric.tex#exercise-58 |
| VJ7K30WM2Z | VJ7K30WM2Z | exercise | open | levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-17 |
| VJ7MZSNPZX | VJ7MZSNPZX | 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 2404.18704#JLIX |
| VJ80S2GDRK | VJ80S2GDRK | 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.15316#RW03 |
| VJ9GD5QJ5B | VJ9GD5QJ5B | 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.24845#JID3 |
| VJA41K60JS | VJA41K60JS | 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.24235#TG1N |
| VJAHV8DWT8 | VJAHV8DWT8 | 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.37606#9X1B |
| VJAWTZF2DS | VJAWTZF2DS | 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.19437#ZIK0 |
| VJD4HRN9BM | VJD4HRN9BM | 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.19694#H2HV |
| VJD5MPNFC7 | VJD5MPNFC7 | 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.16203#0VS9 |
| VJDZFQKS33 | VJDZFQKS33 | 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.18084#9PY8 |
| VJE02J7J21 | VJE02J7J21 | 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 2311.16205#6GQN |
| VJE4FQQG03 | VJE4FQQG03 | 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 2407.08004#8NYT |
| VJE6YP96RS | VJE6YP96RS | exercise | open | levin_dmoi ptx/exercises/counting-addmult.ptx#exercise-13 |
| VJESGKWKNQ | VJESGKWKNQ | 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#JS9J |
| VJEZCJA1HT | VJEZCJA1HT | 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.13875#JQ1X |
| VJFMGQ2QAY | VJFMGQ2QAY | 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 2503.22636#8O5E |
| VJFW34FTJP | VJFW34FTJP | 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.20126#4MHU |
| VJG17FCC0M | VJG17FCC0M | 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.10937#GDC3 |
| VJG243EDSD | VJG243EDSD | 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.02870#NXRJ |
| VJGW19AAZJ | VJGW19AAZJ | 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.25823#1D79 |
| VJGW6M0AAW | VJGW6M0AAW | 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.20135#D7EE |
| VJHG99DTGM | VJHG99DTGM | example | open | austin_ula src/section7-1.xml#example-3 |
| VJHRMBWHKQ | VJHRMBWHKQ | example | open | lebl_ra ch-seq-ser.tex#example-15 |
| VJJGMGHV0B | VJJGMGHV0B | 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.32977#J24J |
| VJJGSFF0X7 | VJJGSFF0X7 | 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 2204.01073#3OVP |
| VJJRK91XK4 | VJJRK91XK4 | 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.08193#FEOO |
| VJJYB81F4X | VJJYB81F4X | 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 2511.05069#VSB7 |
| VJK1SDP4D4 | VJK1SDP4D4 | 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.19463#3Z0D |
| VJKT6694FG | VJKT6694FG | conjecture | 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.28540#GLRG |
| VJMAGWJ64M | VJMAGWJ64M | 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.32078#79TH |
| VJMNPBN0YS | VJMNPBN0YS | statement | open | applied_combinatorics source/s_induction_proofs.ptx#prop_sumodd |
| VJN7HRKPDK | VJN7HRKPDK | 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.09650#HY1Y |
| VJNCWPTCYK | VJNCWPTCYK | 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 2401.13523#O45Z |
| VJNQK9KMRS | VJNQK9KMRS | 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 2606.11100#TML3 |
| VJQP63ERSW | VJQP63ERSW | 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.36423#ACEQ |
| VJRAQGG9FN | VJRAQGG9FN | 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.04498#NLCK |
| VJRGC0PWMC | VJRGC0PWMC | proof | open | lebl_ra ch-several-vars-ders.tex#proof-24 |
| VJS7YZEH5A | VJS7YZEH5A | 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.09390#DZZP |
| VJSR1EVEA3 | VJSR1EVEA3 | 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.05259#UMMR |
| VJSVKEMSCT | VJSVKEMSCT | 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.36922#91EQ |
| VJT0N97YF4 | VJT0N97YF4 | 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.24577#OBS1 |
| VJTKFFT1TQ | VJTKFFT1TQ | 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.12873#WOMX |
| VJTRK2E9V5 | VJTRK2E9V5 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-104 |
| VJVB3X7QWM | VJVB3X7QWM | 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.29925#2W4P |
| VJVSX1V9YE | VJVSX1V9YE | 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.03856#HFQZ |
| VJVT4MPWMR | VJVT4MPWMR | 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.02535#QV88 |