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.
- 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 2201–2300 of 3560.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Wilson quotient | CJ6JDKJV43 | unknown | open | Wikidata Q3894437, MathWorld WilsonQuotient, OEIS A007619 |
| Wilson's integral estimate | 69A8J4CVCV | 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.15421#2R4U |
| Wilson's theorem | 4BCB15VWQ1 | statement | node (a node has the same Wikidata item as the row) | mathlib_100 51, Mathlib ZMod.wilsons_lemma, mathlib_1000 Q276082, Wikidata Q276082, thousand_plus Q276082, Wikipedia Wilson's theorem, EoM Wilson_theorem, MathWorld WilsonsTheorem |
| winding number | 5KWNA1YNVQ | unknown | open | Wikidata Q120755990, MathWorld ContourWindingNumber |
| winding number | B4MFQC77C6 | concept | open | lebl_scv index/B/winding-number |
| winding number | MPJJZB9VQ4 | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q576728, nLab winding number |
| Winding number along a limit cycle | WGTF0EGR28 | 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.15686#CHI3 |
| winding number of a closed curve in $\C$ with respect to a point | 5BE1TYFNK1 | unknown | open | mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > winding number of a closed curve in $\C$ with respect to a point |
| winding, map | GVBA3E7DYR | concept | open | hott_book index/7.1.2/winding-map |
| winding, number | BF1QRNHS00 | concept | open | hott_book index/7.1.4/winding-number |
| windmill graph | ED3JHWVFB4 | unknown | open | Wikidata Q8024306, MathWorld WindmillGraph |
| Window bounds hold on the board | KWH3N6GMSY | 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.31336#SJO0 |
| Window comparison | 3NBTX31N00 | 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.29147#SQSZ |
| Window facts | CC6XQW4HHC | 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#D4YG |
| window function | 3EG12G5HKM | unknown | open | Wikidata Q1404885, MathWorld ApodizationFunction |
| Window synthesis and informativity | 9BSGRY4710 | 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.25431#57GQ |
| Windowed separation | 6SVB6G7TBZ | 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.07214#4MOV |
| windows | BSNNK7GA1P | 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.01753#504V |
| Winner transfer through observation | WG0QR48A9Z | 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#RJM6 |
| Winter's second $\mathcal Z$-stability theorem | 1HYNJR1K25 | 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#S9OT |
| Wireworld | DTY67K66WX | unknown | open | Wikidata Q1293471, MathWorld WireWorld |
| Wirtinger derivative | XA05TY8SC2 | unknown | open | Wikidata Q8027031, MathWorld DelBarOperator |
| Wirtinger inequality | C4NEXYXV9A | statement | open | Wikidata Q8027030, MathWorld WirtingersInequality, Wikidata Q947364 |
| Wirtinger's inequality | 5DD8FN6HT2 | 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.12277#WDNC |
| Wishart distribution | YX7AH9P6TT | concept | open | Wikidata Q1930697, MathWorld WishartDistribution |
| witch of Agnesi | MRFFQ9SNZK | concept | open | Wikidata Q517269, MathWorld WitchofAgnesi |
| Without a regularizer | 4VZNMYQP4N | 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.09206#S9B9 |
| Without dilution, accretion is optimal | K0SSAB36CA | 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.11007#GM7J |
| witness | 273SYFA02J | unknown | open | Wikidata Q8028383, MathWorld Witness |
| Witness property | 4GCXAA2PMJ | 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.20229#048A |
| witness, to the truth of a proposition | KNBF8KJQSD | concept | open | hott_book index/A.11/witness-to-the-truth-of-a-proposition |
| witness, to the truth of a proposition | XJ9WPW5EG3 | concept | open | hott_book index/A.1/witness-to-the-truth-of-a-proposition |
| Witold Hurewicz | 7J17FX7SDV | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1930684, nLab Witold Hurewicz |
| Witt design | EPJM1QF5W0 | unknown | open | Wikidata Q124260807, MathWorld WittDesign |
| Witt ideals | 9T8WB2N4RG | 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.18246#CY31 |
| Witt ring ideals | Y8Q2ADN8ET | 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.37931#WPNZ |
| Witt ring maps | XCM4QFHPJG | 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.37931#7VR8 |
| Witt's theorem | 46G0E1TBER | statement | open | mathlib_1000 Q8028529, Wikidata Q8028529, thousand_plus Q8028529, Wikipedia Witt's theorem |
| Witt's theorem for Hermitian forms | ZQJQTD0TYN | 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.01731#M2XT |
| Witten conjecture | H2BNDRQQ88 | conjecture | open | Wikidata Q8028565, nLab Witten conjecture |
| Witten index | G8VAZMQFSJ | unknown | open | Wikidata Q8028562, nLab Witten index |
| Wittenbauer's parallelogram | W5MPGGMJ2K | unknown | open | Wikidata Q123013485, MathWorld WittenbauersParallelogram |
| Wittenbauer's theorem | SEAJ2R3ZGQ | statement | open | Wikidata Q3527183, EoM Wittenbauer_theorem, MathWorld WittenbauersTheorem |
| WJ01FTBB8B | WJ01FTBB8B | exercise | open | active_calculus source/activities/act-7-5-2.xml#act-7-5-2 |
| WJ0FHRG5AH | WJ0FHRG5AH | 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.15169#AELQ |
| WJ0FNSVX38 | WJ0FNSVX38 | 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.10930#UCGD |
| WJ18FWKH5F | WJ18FWKH5F | 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 2310.14879#3X1L |
| WJ1HF49N1Q | WJ1HF49N1Q | proof | open | open_logic content/lambda-calculus/introduction/primitive-recursion.tex#proof-2 |
| WJ1WH15SN5 | WJ1WH15SN5 | 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.25282#RON7 |
| WJ29MXFWAM | WJ29MXFWAM | 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 2506.18195#5THU |
| WJ3269G2VY | WJ3269G2VY | 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.03579#HHW4 |
| WJ3982BQWE | WJ3982BQWE | 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.08018#JDDO |
| WJ3C2EFNMN | WJ3C2EFNMN | 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.08583#LH1N |
| WJ4279X31M | WJ4279X31M | 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.30444#XLGJ |
| WJ5BPMBFEY | WJ5BPMBFEY | 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.19861#HBNA |
| WJ5XR27235 | WJ5XR27235 | 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.20956#OEAU |
| WJ6A135T0P | WJ6A135T0P | 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.31757#CJTU |
| WJ6VXYCEM6 | WJ6VXYCEM6 | 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 2504.13802#0V3M |
| WJ72HGNCW2 | WJ72HGNCW2 | 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.01346#JU23 |
| WJ77KDCF05 | WJ77KDCF05 | proof | open | open_logic content/set-theory/spine/recursion.tex#proof-3 |
| WJ7AYKY0WQ | WJ7AYKY0WQ | 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 2207.11097#5MAM |
| WJ7N0VZBAS | WJ7N0VZBAS | 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 1509.00950#NLXB |
| WJ7RNTZAPM | WJ7RNTZAPM | 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 2501.02331#M992 |
| WJ7RQ2MRA9 | WJ7RQ2MRA9 | 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.35577#OILX |
| WJ7W0DBZBK | WJ7W0DBZBK | 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.19260#RXK5 |
| WJ829EC2NY | WJ829EC2NY | 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.21391#UTH2 |
| WJ8586WRA5 | WJ8586WRA5 | 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.21544#WDWQ |
| WJ8KPPKPQ3 | WJ8KPPKPQ3 | 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.29227#6EVM |
| WJ8VV1E6JB | WJ8VV1E6JB | 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.40274#GWP3 |
| WJ8X29WYX9 | WJ8X29WYX9 | 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.00775#OIXI |
| WJ940N7JWH | WJ940N7JWH | 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.37197#1GB7 |
| WJ9Q78SSTN | WJ9Q78SSTN | exercise | open | napkin tex/complex-ana/meromorphic.tex#dproblem-1 |
| WJ9RW50AX8 | WJ9RW50AX8 | 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.29531#E1I4 |
| WJ9TXFAMV0 | WJ9TXFAMV0 | 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.11048#0PEA |
| WJAPJSR24J | WJAPJSR24J | 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.08424#RVTR |
| WJAVMTQ448 | WJAVMTQ448 | unknown | open | arXiv 2610.13680#UI22 |
| WJAXDN4YEK | WJAXDN4YEK | 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.18239#AZ0G |
| WJB34HNR6M | WJB34HNR6M | 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.14692#0GHN |
| WJBBQ0XFA7 | WJBBQ0XFA7 | 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.05179#374S |
| WJBS2Y2P7W | WJBS2Y2P7W | proof | open | napkin tex/set-theory/ordinal.tex#proof-4 |
| WJCKYEQEJX | WJCKYEQEJX | 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.09042#XLJB |
| WJCN7NYRJB | WJCN7NYRJB | 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.27125#Y927 |
| WJD4WN7677 | WJD4WN7677 | 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.16962#0XL5 |
| WJDMWDX16S | WJDMWDX16S | 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.06895#7NSA |
| WJEFRD1VRY | WJEFRD1VRY | 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.15881#YVJQ |
| WJEFWH48N5 | WJEFWH48N5 | 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.14847#G15Y |
| WJEXSKHXR5 | WJEXSKHXR5 | 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#GP0F |
| WJEYSF9YPW | WJEYSF9YPW | 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.05327#1LRQ |
| WJFNRV2MRD | WJFNRV2MRD | 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.28650#R1G9 |
| WJH6WTAPDN | WJH6WTAPDN | 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.01599#91VP |
| WJHS9ZDQFS | WJHS9ZDQFS | 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.09042#2V1T |
| WJJ2303XBF | WJJ2303XBF | 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.39254#ZM0L |
| WJJZ6J486Q | WJJZ6J486Q | 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.08655#4GEN |
| WJKV80X0PV | WJKV80X0PV | 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 2510.02019#W93K |
| WJKW4X1J1Q | WJKW4X1J1Q | 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.31883#TA10 |
| WJM70P1ZDM | WJM70P1ZDM | 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.40200#P683 |
| WJMBQ25WFC | WJMBQ25WFC | 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 2604.23212#167E |
| WJMKT8E21W | WJMKT8E21W | 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.17139#1JOD |
| WJMX5919KA | WJMX5919KA | 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.19093#1JEM |
| WJNJP29YW0 | WJNJP29YW0 | 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.17677#B4Y8 |