| Wirtinger derivative | XA05TY8SC2 | definition | open | Wikidata Q8027031, MathWorld DelBarOperator, Wikipedia Wirtinger derivatives |
| Wirtinger inequality | C4NEXYXV9A | statement | open | Wikidata Q8027030, MathWorld WirtingersInequality, Wikidata Q947364, Wikipedia Wirtinger inequality (2-forms), Wikipedia Wirtinger's inequality for functions |
| Wirtinger inequality (2-forms) | N1S27GE3NQ | statement | open | Wikipedia List of differential geometry topics#35E4, Wikipedia List of inequalities#9F7C |
| Wirtinger presentation | NK0TEJ0E28 | definition | open | Wikipedia Wirtinger presentation, Wikidata Q8027029 |
| Wirtinger sextic | JN8BXTJTNC | definition | open | Wikipedia Wirtinger sextic, Wikidata Q8027033 |
| Wirtinger sextic | N8KQ79WSNV | definition | open | Wikipedia Glossary of classical algebraic geometry#5GX2 |
| 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 |
| Wirtinger's inequality for functions | VJJ2TKGB7E | statement | open | Wikipedia List of inequalities#NOVW |
| Wirtinger's representation and projection theorem | 1FRR1FZ1WW | statement | open | Wikipedia List of numerical analysis topics#UPOH |
| Wirtinger's representation and projection theorem | W9SKKG4A1D | statement | open | Wikipedia Wirtinger's representation and projection theorem, Wikidata Q8027028 |
| Wisdom of repugnance | AR1QV1GHFK | definition | open | Wikipedia Wisdom of repugnance, Wikidata Q4115116 |
| Wishart distribution | B3ZMB1Y4V5 | definition | open | Wikipedia List of probability distributions#IML9 |
| Wishart distribution | XGVBJNAPCQ | definition | open | Wikipedia List of statistics articles#46XK |
| Wishart distribution | YX7AH9P6TT | concept | open | Wikidata Q1930697, MathWorld WishartDistribution, Wikipedia Wishart distribution |
| Wishart, John | WPHZERX57D | topic | open | Wikipedia List of statisticians#I437 |
| Wishful thinking | 1S3FJ0VCK1 | definition | open | Wikipedia Wishful thinking, Wikidata Q8154361 |
| Witch of Agnesi | BRWDYWFWS6 | definition | open | Wikipedia List of mathematical shapes#WSO3, Wikipedia List of curves#CPHL |
| witch of Agnesi | MRFFQ9SNZK | concept | open | Wikidata Q517269, MathWorld WitchofAgnesi, Wikipedia Witch of Agnesi |
| With replacement | N0WH96BHBP | unknown | open | Wikipedia Sampling (statistics)#1UC3 |
| With respect to | SS2F0GTCM7 | definition | open | Wikipedia List of mathematical abbreviations#VFS3 |
| without (any) loss of generality (WLOG, WOLOG, WALOG), we may assume (WMA) | PYV7MTCXKR | definition | open | Wikipedia Glossary of mathematical jargon#C7DP |
| 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 any loss of generality | THTSK53FPY | definition | open | Wikipedia List of mathematical abbreviations#3S3Q |
| 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 |
| Without loss of generality | E25ZWEBXJT | definition | open | Wikipedia Without loss of generality, Wikidata Q162252 |
| Without loss of generality | EZHVC0AT01 | definition | open | Wikipedia List of mathematical abbreviations#TDTB |
| Without the axiom of choice | 313229RVEW | statement | open | Wikipedia Uncountable set#2US3 |
| Without the axiom of choice | RMMY3KP517 | statement | open | Wikipedia Inaccessible cardinal#7420 |
| Without the axiom of choice | YR7NZ2EV9Y | statement | open | Wikipedia Cardinality#7AGH |
| witness | 273SYFA02J | definition | open | Wikidata Q8028383, MathWorld Witness, Wikipedia Witness (mathematics) |
| 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 | topic | out_of_scope (a person, not an item of mathematics) | Wikidata Q1930684, nLab Witold Hurewicz, Wikipedia Witold Hurewicz |
| Witold Hurewicz | D5TS1BAPQD | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#T7DJ, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#T9S0, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#V9CH |
| Witold Hurewicz | FKZ6WWA78A | topic | open | Wikipedia List of Jewish mathematicians#OTZY |
| Witold Nowacki | YPHP7HPYSQ | topic | open | Wikipedia Witold Nowacki, Wikidata Q9375789 |
| Witold Roter | K8KF5T5W2D | topic | open | Wikipedia Witold Roter, Wikidata Q21290637 |
| Witold Wilkosz | TNWZJ27MYR | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Y5GX |
| Witsenhausen's counterexample | 3A07X8V2VP | definition | open | Wikipedia Witsenhausen's counterexample, Wikidata Q8028527 |
| Witt | NEQC8YGSCC | definition | open | Wikipedia Glossary of algebraic topology#MHK9 |
| Witt algebra | KQKFAC4QM4 | definition | open | Wikipedia Witt algebra, Wikidata Q444054 |
| Witt algebra | XD0Y3Y95Z0 | definition | open | Wikipedia List of Lie groups topics#7JZ6, Wikipedia List of things named after Ernst Witt#1GNZ |
| Witt decomposition | K2WX0H31AN | statement | open | Wikipedia List of things named after Ernst Witt#8A3A |
| Witt design | EPJM1QF5W0 | unknown | open | Wikidata Q124260807, MathWorld WittDesign |
| Witt design | M4GWT4MNF1 | definition | open | Wikipedia List of things named after Ernst Witt#X0DY |
| Witt design | Q7RRHM0PCW | unknown | open | Wikipedia Steiner system#NCPG |
| Witt group | CGTJGBGVDF | definition | open | Wikipedia Witt group, Wikidata Q3117708 |
| Witt group | TH72K736CR | definition | open | Wikipedia List of things named after Ernst Witt#NQZW |
| 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 index | KG3022SRZK | statement | open | Wikipedia List of things named after Ernst Witt#JFCT |
| Witt polynomial | APSH8SAHAG | definition | open | Wikipedia List of things named after Ernst Witt#CGZX |
| Witt ring | 5T3ZC1VFA4 | definition | open | Wikipedia List of things named after Ernst Witt#VG5R |
| Witt ring (forms) | HGWBSSD06Q | unknown | open | Wikipedia Witt group#HKU9 |
| 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 scheme | 4TTWKPZPJP | definition | open | Wikipedia List of things named after Ernst Witt#JZQM |
| Witt vector | TKW328V51J | definition | open | Wikipedia Witt vector, Wikidata Q1756171 |
| Witt vector | YG9Y4RVH5H | definition | open | Wikipedia List of things named after Ernst Witt#J3ZJ |
| Witt vector cohomology | C11ABKQ3E4 | definition | open | Wikipedia Witt vector cohomology, Wikidata Q30704540 |
| Witt's cancellation theorem | A2VEJ4Z3B4 | statement | open | Wikipedia Witt's theorem#BPLA |
| Witt's decomposition theorem | SJEFY3ETJN | statement | open | Wikipedia Witt's theorem#UUAP |
| Witt's theorem | 3D5JCVV8JT | statement | open | Wikipedia List of things named after Ernst Witt#QREQ |
| Witt's theorem | 46G0E1TBER | statement | open | mathlib_1000 Q8028529, Wikidata Q8028529, thousand_plus Q8028529, Wikipedia Witt's theorem |
| Witt's theorem | 825QTJ4XJW | statement | open | Wikipedia List of theorems#VF9T |
| 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 | statement | open | Wikidata Q8028565, nLab Witten conjecture, Wikipedia Witten conjecture |
| Witten index | G8VAZMQFSJ | unknown | open | Wikidata Q8028562, nLab Witten index |
| Witten zeta function | 3FKC3GSQ96 | definition | open | Wikipedia List of zeta functions#NYMD |
| Witten zeta function | CB73HGPS4B | definition | open | Wikipedia Witten zeta function, Wikidata Q8028564 |
| Witten's asymptotic expansion conjecture | N1RJYHW84T | statement | open | Wikipedia Reshetikhin–Turaev invariant#GK1J |
| Witten-type TQFTs | FCK4A2G9VM | unknown | open | Wikipedia Topological quantum field theory#R3GD |
| Wittenbauer's parallelogram | W5MPGGMJ2K | unknown | open | Wikidata Q123013485, MathWorld WittenbauersParallelogram |
| Wittenbauer's theorem | SEAJ2R3ZGQ | statement | open | Wikidata Q3527183, EoM Wittenbauer_theorem, MathWorld WittenbauersTheorem |
| Witting configuration | BPQEA1BTR1 | unknown | open | Wikipedia Witting polytope#DNSL |
| Witting Honeycomb | W6EYJ606DW | unknown | open | Wikipedia Witting polytope#RRO4 |
| Witting polytope | D1EK43M799 | definition | open | Wikipedia Witting polytope, Wikidata Q28000491 |
| 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 |