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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 1901–2000 of 5624.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Weak ordering | XVRT30BSXF | definition | open | Wikipedia Weak ordering, Wikidata Q1414271 |
| weak paraconsistency | MWMNRJZ5NB | definition | open | Wikipedia Glossary of logic#OX1I |
| Weak perspective | 5FK1B6ZVYC | unknown | open | Wikipedia 3D projection#R7FD |
| Weak pullback | QWKAKBYX4G | unknown | open | Wikipedia Pullback (category theory)#Q1LM |
| Weak quasi-factorisation | AWBFQHE86V | 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.03683#VX2L |
| Weak regularity | 8TSFQMMA0Y | 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.02312#13WE |
| Weak representation theorem | FQXYD73XXK | statement | open | Wikipedia Dual system#Q4JU |
| Weak representation theorem | JSJ2QR7SZE | statement | open | Wikipedia Dual system#2KA7 |
| Weak residual | WSWR74WTR7 | 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.32107#5IAJ |
| Weak Schur sampling | 4VGXRJNF8J | 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.29348#BO9U |
| Weak Schur sampling sufficiency | XDGX18TTY4 | 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.29348#0JW2 |
| weak sequence | N05C9NY8WT | unknown | open | mathlib_overview Data structures > List-like structures > weak sequence, Mathlib Stream'.WSeq |
| Weak Sharpness | 8RMABY1S0P | 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 2602.13510#H89S |
| Weak Sharpness | DQX3XQ2V2W | 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 2602.13510#FZUY |
| Weak sign patterns of affine functions | 332HHS7HVG | 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.21363#T5HR |
| Weak small-dispersion limit | GX18ZSJBGF | 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.00770#0HWS |
| weak solution | 1N7CMPRM27 | 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.35001#S0LJ |
| Weak solution | 3EPRJZNQAD | definition | open | Wikipedia Weak solution, Wikidata Q7977966 |
| Weak solution | AEFZTDB8VA | 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.38031#5RNR |
| Weak solution | BHWF0B9ZCX | 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.08434#UKZB |
| Weak solution | NQHSG9Y8YP | 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.05313#TMUB |
| Weak solution | XAEP4R6H7Y | definition | open | Wikipedia List of partial differential equation topics#IWA1 |
| Weak solution in $\H_r$ | QQFN9570NQ | 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.04895#Z114 |
| weak solution of partial derivative equation | G7P1NMZX71 | unknown | open | mathlib_undergrad Distribution calculus > Applications > weak solution of partial derivative equation |
| Weak solution to the limiting equation | 89P8YVSR9X | 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.29205#RQXX |
| Weak solutions | 3716MBAXPS | 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.18797#DCB0 |
| Weak solutions and Dirichlet principle | 7X5GZAFSZW | statement | open | Wikipedia Laplace's equation#BAV1 |
| Weak solutions and subsolutions | AVW43CZFN9 | 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.26340#AULY |
| Weak solvability of the Poisson equation | QMMYZTWD2K | 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.32561#O84A |
| Weak sphericity of contained packets | Z75RGV9EE0 | 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.16931#X4V4 |
| Weak stationarity | R6S16KTDR3 | 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.00033#PPDR |
| Weak submodularity | 7NE3ANM7H2 | 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.24569#YY9E |
| Weak subslope | 7MHBXC33RF | 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.21775#79MB |
| Weak sunflower conjecture | HXGKSE638C | statement | open | Wikipedia Sunflower (mathematics)#P463 |
| Weak Syntactical Embedding from $ \bf FDE^{\bf S5}_{\Box\D}$ to $ \bf S5$ | 9AF7VKDFK5 | 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.08323#OH3S |
| Weak Syntactical Embedding from $ \bf FDE^{\bf S5}_{\circ\bullet}$ to $ \bf FDE^{\bf S5}_{\B\D}$ | Y9DYY7Y9GQ | 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.08323#AG8G |
| weak topology | 2F31Q8MK1H | definition | open | Wikidata Q505760, MathWorld WeakTopology, Wikipedia Weak topology |
| Weak topology | BE6TBZHD0H | definition | open | Wikipedia Glossary of general topology#5IW0 |
| Weak topology | SCMSDA0JXE | definition | open | Wikipedia List of general topology topics#3Y29, Wikipedia List of topologies#AUWJ |
| Weak topology on a Hilbert space | CCF8DYD27M | 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.33841#MMKB |
| Weak trace-class operator | DY48DG4EHN | definition | open | Wikipedia Weak trace-class operator, Wikidata Q17104648 |
| Weak version of theorem | Y5AG2D018R | statement | open | Wikipedia Lefschetz fixed-point theorem#F9I2 |
| weak, weaker | H7RXCCYAGW | definition | open | Wikipedia Glossary of mathematical jargon#8KRH |
| weak-* topology | EJFTJ06G97 | definition | open | Wikidata Q2644145, ProofWiki Definition:Weak-*_Topology |
| weak-* topology for dualities | ADNYSET63M | unknown | open | mathlib_overview Analysis > Topological vector spaces > weak-* topology for dualities, Mathlib WeakBilin.instTopologicalSpace |
| Weak--strong uniqueness | FBSNNREAEA | 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#62RN |
| Weak-acylindricity | P2RMYTDD8Y | 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#2EQB |
| Weak-coupling localization principle | QY5EHA6P36 | 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.29565#BMFK |
| Weak-factor decay regime | EWTWMYE8CM | 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.27200#7F9U |
| Weak-form NTK: existence, nullspace, and rank | 8AGYV0Q4JR | 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.04357#F6A0 |
| Weak-Rough Solutions | S1M6P4CVQA | 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 2312.06473#WMA6 |
| Weak-to-standard comparison | WEBQPCMJFT | 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.33154#YXYE |
| Weak-to-strong Maxwell--Ohm compactness | 3TYDBKRR04 | 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.24960#VPXV |
| Weak-type bound for the Rubio de Francia square function | 6V2M17HJ8K | 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.20531#0NHR |
| Weak-type estimate for the Riesz potential | H9JX377CQW | 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#KNHI |
| Weak/Pull-back Set Attractor | W0RY8WGKDY | 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.06321#FWN7 |
| Weak/Strong Completeness | YDYMRKFAS6 | 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.06321#PCQ4 |
| Weakened Lipschitz continuity | 9WCSWDX0E4 | 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.14562#ZIAJ |
| Weakened weak form | H3AX61YVX9 | definition | open | Wikipedia Weakened weak form, Wikidata Q17103615 |
| weakening | 2GPQGR9T5S | definition | open | Wikipedia Glossary of logic#62KI |
| Weakening Application | AHJFQEHGHM | 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.21131#GLZJ |
| Weakening of Substitution is Well-Typed | FZ0HJHYFHD | 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.21131#U5OV |
| Weakening Preserves Typing | 880923E1YY | 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.21131#4YK3 |
| Weakening--Substitution Commutation (Generalized | AH0C7B977F | 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.21131#75EI |
| Weakening--Substitution Interaction | FAT9EYHYX4 | 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.21131#E4PR |
| Weakenings | 41VYRH1H45 | 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.21131#5WQZ |
| Weaker axioms | K4SVMVATHJ | statement | open | Wikipedia N-ary group#OWX0 |
| Weaker Descartes' conjecture | T6QBHKJEJX | statement | open | Wikipedia Goldbach's conjecture#KKE8 |
| Weaker topology | TK6FG6E3GP | definition | open | Wikipedia Glossary of general topology#MWEC |
| Weaker versions of the theorem | E199R7PM1D | statement | open | Wikipedia Knaster–Tarski theorem#6QFF |
| weakly | 6FK7D84EE3 | definition | open | Wikipedia Glossary of set theory#P804 |
| Weakly acceptable game | FCASYTEA0C | definition | open | Wikipedia Glossary of game theory#Q1GA |
| Weakly additive | REH7Y1CHXN | definition | open | Wikipedia Weakly additive, Wikidata Q7977976 |
| Weakly Amenable | 2A59SDS0SS | concept | open | Wikidata Q105332768, MathWorld WeaklyAmenable |
| Weakly chained diagonally dominant matrix | WRYA3QZ6MX | definition | open | Wikipedia Weakly chained diagonally dominant matrix, Wikidata Q28455755 |
| weakly compact | HQ6G9Z2V2P | definition | open | Wikipedia List of large cardinal properties#R0S5 |
| Weakly compact action, {Ozawa--Popa | JQSR8SFZGJ | 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.22109#7KF1 |
| Weakly compact cardinal | G070QGXFYB | definition | open | Wikipedia Weakly compact cardinal, Wikidata Q2905392 |
| Weakly compact cardinal | RPPXM64468 | definition | open | Wikipedia List of mathematical logic topics#KL59 |
| weakly connected | 576FM2YJ5G | definition | open | Wikipedia Glossary of graph theory#I812 |
| Weakly contractible space | JR08AKWBEM | definition | open | Wikipedia Weakly contractible space, Wikidata Q7977980 |
| Weakly countably compact | 452ZCXJPQH | definition | open | Wikipedia Glossary of general topology#JFCM |
| Weakly dependent random variables | NVJ37VBWJJ | definition | open | Wikipedia Weakly dependent random variables, Wikidata Q55637493 |
| Weakly harmonic function | E2FAYFCE5Y | definition | open | Wikipedia Weakly harmonic function, Wikidata Q7977981 |
| Weakly hereditary | G3C50EXPJV | definition | open | Wikipedia Glossary of general topology#8NMC |
| Weakly holomorphic modular form | SNRC2HH7GV | definition | open | Wikipedia Weakly holomorphic modular form, Wikidata Q16854474 |
| Weakly homogeneously Suslin set | T8R5229JG2 | unknown | open | Wikipedia List of properties of sets of reals#KBLN |
| Weakly hyper-Woodin cardinal | 5BJ666F7YC | definition | open | Wikipedia List of mathematical logic topics#G0CC |
| Weakly inaccessible cardinal | 5435VYNZRQ | definition | open | Wikipedia List of mathematical logic topics#CKUH |
| weakly inaccessible cardinal | 97EKKDGJBV | definition | open | Wikidata Q12054637, ProofWiki Definition:Weakly_Inaccessible_Cardinal |
| weakly interacting massive particle | 79BX2593KH | unknown | open | Wikidata Q1129252, nLab weakly interacting massive particle |
| weakly linear order | PP52V8KKZS | concept | open | hott_book index/B.2.1/weakly-linear-order |
| Weakly measurable function | VR7EW1S43Y | definition | open | Wikipedia Weakly measurable function, Wikidata Q195174 |
| weakly normal | 4225X3VFQT | definition | open | Wikipedia Glossary of algebraic geometry#LP74 |
| Weakly normal subgroup | 7D0241S1Y9 | definition | open | Wikipedia Weakly normal subgroup, Wikidata Q7977983 |
| Weakly o-minimal structure | QYGQGRASZP | definition | open | Wikipedia Weakly o-minimal structure, Wikidata Q7977984 |
| Weakly Pareto Optimal | JM42Y4X1F2 | unknown | open | Wikipedia Pareto efficiency#DBRA |
| Weakly Quasar-Convex | EKJRCBHJNH | 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.10927#5E22 |
| Weakly read-once linear branching program | DTGHFGPZ2W | 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.02407#2MKM |
| Weakly Reinhardt cardinal | G1M17KWC54 | unknown | open | Wikipedia List of large cardinal properties#3QU3 |