Inventory rows XW
The cards of the rows of the inventory whose ids start with XW. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Pao-sheng Hsu XW0178AEN5
| URI | m2://inv/XW0178AEN5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pao-sheng Hsu, Pao-sheng Hsu (topic). Also Wikidata Q102231829
History
- 2026-11-02: add by m2/dev
Cayley diagram XW03F3H9FV
| URI | m2://inv/XW03F3H9FV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Arthur Cayley#5BMZ, Cayley diagram (definition)
History
- 2026-11-02: add by m2/dev
XW0F08D0WZ XW0F08D0WZ
| URI | m2://inv/XW0F08D0WZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#M1P1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Axioms for projective planes XW0JXEVY97
| URI | m2://inv/XW0JXEVY97 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective geometry#UI68, Axioms for projective planes (statement)
History
- 2026-11-02: add by m2/dev
Patrick Hayden XW0X6ZKSZ2
| URI | m2://inv/XW0X6ZKSZ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7146677, Patrick Hayden (unknown). Also nLab Patrick Hayden
History
- 2026-10-26: add by m2/dev
Θ (set theory) XW118MK1R9
| URI | m2://inv/XW118MK1R9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#8WYQ, Θ (set theory) (definition)
History
- 2026-11-02: add by m2/dev
Lyapunov time XW12CGFDYN
| URI | m2://inv/XW12CGFDYN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lyapunov time, Lyapunov time (definition). Also Wikidata Q2527923
History
- 2026-11-02: add by m2/dev
de Andrade, Mariza XW172TRJE3
| URI | m2://inv/XW172TRJE3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#RKT7, de Andrade, Mariza (unknown)
History
- 2026-11-02: add by m2/dev
Examples XW1EA2XG1P
| URI | m2://inv/XW1EA2XG1P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Side-channel attack#SG7S, Examples (example)
History
- 2026-11-02: add by m2/dev
Representations of $A \oplus B$ are $V_A \oplus V_B$ XW1Q9ZAJGR
| URI | m2://inv/XW1Q9ZAJGR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#prop:rep_direct_sum, Representations of $A \oplus B$ are $V_A \oplus V_B$ (statement). In RZP28ERRZV, proposition, section 80.3
History
- 2026-11-01: add by m2/v0.6.13
Guarantee for the online algorithm XW1QEAZXQZ
| URI | m2://inv/XW1QEAZXQZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00103#BWVV, Guarantee for the online algorithm (statement). In S7RDXJWP1A/e1, proposition 4.9
History
- 2026-10-30: add by m2/v0.4.12
Wilks Memorial Award XW1QVRVHA5
| URI | m2://inv/XW1QVRVHA5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilks Memorial Award, Wilks Memorial Award (definition). Also Wikidata Q1726311
History
- 2026-11-02: add by m2/dev
XW1RJDDKRZ XW1RJDDKRZ
| URI | m2://inv/XW1RJDDKRZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25030#MJVO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Govinda Bhattathiri XW1ZE9G8D0
| URI | m2://inv/XW1ZE9G8D0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Govinda Bhattathiri, Govinda Bhattathiri (topic). Also Wikidata Q13111845
History
- 2026-11-02: add by m2/dev
Zero lies in the support XW1ZNK2QSW
| URI | m2://inv/XW1ZNK2QSW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06480#C4V4, Zero lies in the support (statement). In 2Y47E704Z9/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Kelly Grovier XW22BWBK08
| URI | m2://inv/XW22BWBK08 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#640O, Kelly Grovier (unknown)
History
- 2026-11-02: add by m2/dev
Definition XW2A2MTZJA
| URI | m2://inv/XW2A2MTZJA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variogram#A2FR, Definition (definition)
History
- 2026-11-02: add by m2/dev
Variations XW2AGYV1MV
| URI | m2://inv/XW2AGYV1MV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime reciprocal magic square#QATK, Variations (statement)
History
- 2026-11-02: add by m2/dev
XW2MW23XTY XW2MW23XTY
| URI | m2://inv/XW2MW23XTY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#1W9C (statement). In A1GWWGRXPA/e1, proposition 6.15
History
- 2026-10-27: add by m2/v0.4.2
inflection point XW2QAFEMFX
| URI | m2://inv/XW2QAFEMFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Inflection point 06MG208MGR |
Mentions
- wikidata: Wikidata Q212794, inflection point (unknown). Also EoM Point_of_inflection, MathWorld InflectionPoint
- wikipedia: Wikipedia Inflection point, Inflection point (definition). Also Wikidata Q212794
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Definitions XW2SW9JE0Q
| URI | m2://inv/XW2SW9JE0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultrafilter on a set#1HEQ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Robertson–Seymour theorem XW2V9SCZDE
| URI | m2://inv/XW2V9SCZDE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 4 |
| Outcome | open |
| Node | Robertson–Seymour theorem WP3GDNWJJW |
Mentions
- mathlib_1000: mathlib_1000 Q3527155, Robertson–Seymour theorem (statement). Also Wikidata Q3527155
- thousand_plus: thousand_plus Q3527155, Robertson–Seymour theorem (statement). Also Wikidata Q3527155, Wikipedia Robertson–Seymour theorem
- wikidata: Wikidata Q3527155, Robertson–Seymour theorem (statement). Also MathWorld Robertson-SeymourTheorem
- wikipedia: Wikipedia Robertson–Seymour theorem, Robertson–Seymour theorem (statement). Also Wikidata Q3527155
History
- 2026-10-26: add by m2/dev
Properties of $\E$ for $q\ge1$ XW37EHVN03
| URI | m2://inv/XW37EHVN03 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20013#VWGC, Properties of $\E$ for $q\ge1$ (statement). In SC5JZQKZH6/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.2
Maxwell's demon XW38H9WMX7
| URI | m2://inv/XW38H9WMX7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maxwell's demon, Maxwell's demon (definition). Also Wikidata Q212397
History
- 2026-11-02: add by m2/dev
A fair share of one unit XW3FA3BM75
| URI | m2://inv/XW3FA3BM75 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14735#DD61, A fair share of one unit (statement). In XB5GPTZ6JF/e1, statement 1
History
- 2026-10-28: add by m2/v0.4.2
Regularity lemma, ultrapower version XW3ND6FB13
| URI | m2://inv/XW3ND6FB13 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16180#M217, Regularity lemma, ultrapower version (statement). In FCFD59D3T6/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
XW3NKJ17CM XW3NKJ17CM
| URI | m2://inv/XW3NKJ17CM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-5-4-3.xml#act-5-4-3 (exercise). In 907G4C4EJ1, activity, section 5.4.4
History
- 2026-11-01: add by m2/v0.6.13
Algorithm XW3YPE97YM
| URI | m2://inv/XW3YPE97YM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zassenhaus algorithm#TDZ2, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
XW44V81AYN XW44V81AYN
| URI | m2://inv/XW44V81AYN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20606#7TEN (definition)
History
- 2026-11-02: add by m2/v0.6.18
Irmgard Flügge-Lotz XW44WP589A
| URI | m2://inv/XW44WP589A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irmgard Flügge-Lotz, Irmgard Flügge-Lotz (topic). Also Wikidata Q91675
History
- 2026-11-02: add by m2/dev
Removing maxima of partial sums XW4A8DBAJN
| URI | m2://inv/XW4A8DBAJN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01035#V0BQ, Removing maxima of partial sums (statement). In MVQWXFXWM7/e1, lemma 7.3
History
- 2026-10-29: add by m2/v0.4.12
XW4CP543R7 XW4CP543R7
| URI | m2://inv/XW4CP543R7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#RGD0 (definition). In GYMGDQS25R/e1, definition 3.7
History
- 2026-10-29: add by m2/v0.4.10
The (N3) criterion XW4DHYVWPK
| URI | m2://inv/XW4DHYVWPK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#6ZKT, The (N3) criterion (statement). In TC5QA4AB4Z/e1, proposition 3.6
History
- 2026-10-30: add by m2/v0.4.12
XW4HST8M6K XW4HST8M6K
| URI | m2://inv/XW4HST8M6K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14783#BLXP (statement). In Y3X5XY2J65/e1, proposition 6.4
History
- 2026-10-28: add by m2/v0.4.2
Nicolaus Mulerius XW4J0TBD90
| URI | m2://inv/XW4J0TBD90 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicolaus Mulerius, Nicolaus Mulerius (topic). Also Wikidata Q653165
History
- 2026-11-02: add by m2/dev
Wilhelm Schlag XW4TQ2R2X8
| URI | m2://inv/XW4TQ2R2X8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2HHH, Wilhelm Schlag (topic)
History
- 2026-11-02: add by m2/dev
XW51G3E3EZ XW51G3E3EZ
| URI | m2://inv/XW51G3E3EZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.12966#5WUH (statement). In VH93X5QZDV/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
XW53P6SM6P XW53P6SM6P
| URI | m2://inv/XW53P6SM6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.13523#GY2T (statement). In DDA62XQTWW/e1, proposition 4.10
History
- 2026-10-27: add by m2/v0.3.5
XW5CHECE7E XW5CHECE7E
| URI | m2://inv/XW5CHECE7E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27484#QLAM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Constructions XW5EMMF169
| URI | m2://inv/XW5EMMF169 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lute of Pythagoras#7TL7, Constructions (definition)
History
- 2026-11-02: add by m2/dev
1 E -16 m XW5JSXG64E
| URI | m2://inv/XW5JSXG64E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (length)#M1G8, 1 E -16 m (unknown)
History
- 2026-11-02: add by m2/dev
XW5KG74RJZ XW5KG74RJZ
| URI | m2://inv/XW5KG74RJZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31331#DIBD (definition). In TWB64HRHWZ/e1, definition 1
History
- 2026-10-31: add by m2/v0.5.6
Telescoping Markov chain XW5MXVWTMS
| URI | m2://inv/XW5MXVWTMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Telescoping Markov chain, Telescoping Markov chain (definition). Also Wikidata Q7696814
History
- 2026-11-02: add by m2/dev
Justification XW5NN2AXPZ
| URI | m2://inv/XW5NN2AXPZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26337#25OB, Justification (definition)
History
- 2026-11-01: add by m2/v0.6.15
Tensor reshaping XW5NS1P025
| URI | m2://inv/XW5NS1P025 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor reshaping, Tensor reshaping (definition). Also Wikidata Q6787797
History
- 2026-11-02: add by m2/dev
XW5P25Q4P0 XW5P25Q4P0
| URI | m2://inv/XW5P25Q4P0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-243 (exercise). In VNMV985MXX, exercise, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
Corollary XW5PJFFG5X
| URI | m2://inv/XW5PJFFG5X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Hilton Grace#C1TU, Corollary (statement)
History
- 2026-11-02: add by m2/dev
XW61NN79PR XW61NN79PR
| URI | m2://inv/XW61NN79PR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21578#SL2I (example). In 6M96RM3T7N/e1, example 4.6
History
- 2026-10-27: add by m2/v0.4.2
𝔰 XW64SND62D
| URI | m2://inv/XW64SND62D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#MXOC, 𝔰 (definition)
History
- 2026-11-02: add by m2/dev
Rectified tesseract XW6K4Z2XPN
| URI | m2://inv/XW6K4Z2XPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#4PKI, Rectified tesseract (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#Z6OT, Rectified tesseract (definition)
History
- 2026-11-02: add by m2/dev
Production set XW6NHB7T66
| URI | m2://inv/XW6NHB7T66 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#MP02, Production set (unknown)
History
- 2026-11-02: add by m2/dev
Applications XW6Y2X5Z69
| URI | m2://inv/XW6Y2X5Z69 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermal radiation#856D, Applications (example)
History
- 2026-11-02: add by m2/dev
XW70M2M8QG XW70M2M8QG
| URI | m2://inv/XW70M2M8QG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16731#VFH1 (statement). In D68KBZQ4Q6/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Consistency of the actual stopped filters XW71B4MTB7
| URI | m2://inv/XW71B4MTB7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28985#98HR, Consistency of the actual stopped filters (statement)
History
- 2026-11-01: add by m2/v0.6.15
XW724Q3XB1 XW724Q3XB1
| URI | m2://inv/XW724Q3XB1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01932#W1YV (statement). In XDKWW6NR0K/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
XW72Z72B5T XW72Z72B5T
| URI | m2://inv/XW72Z72B5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#def:converse (definition). In P1C114YBXG, definition, section D
History
- 2026-11-01: add by m2/v0.6.13
chain rule XW755GSX36
| URI | m2://inv/XW755GSX36 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > chain rule, chain rule (unknown). Also Mathlib fderiv_comp
History
- 2026-10-26: add by m2/dev
Definition XW7CCBZSFP
| URI | m2://inv/XW7CCBZSFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double graph#20SY, Definition (definition)
History
- 2026-11-02: add by m2/dev
XW7F4EHTEX XW7F4EHTEX
| URI | m2://inv/XW7F4EHTEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18709#D7NR (statement). In K7VY50VFK6/e1, lemma 15.2
History
- 2026-10-28: add by m2/v0.4.2
XW7KDE77N0 XW7KDE77N0
| URI | m2://inv/XW7KDE77N0 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.07352#OTIL (problem). In 3VPC1GGZ3E/e1, problem 7.3
History
- 2026-10-27: add by m2/v0.3.5
XW7P1DHNQF XW7P1DHNQF
| URI | m2://inv/XW7P1DHNQF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#GPBV (statement)
History
- 2026-11-01: add by m2/v0.6.15
XW7T22YK0B XW7T22YK0B
| URI | m2://inv/XW7T22YK0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31527#Y9VK (statement). In ZQ2YZ4P6P5/e1, proposition 4.2
History
- 2026-10-31: add by m2/v0.5.6
XW7V7R8VK8 XW7V7R8VK8
| URI | m2://inv/XW7V7R8VK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28357#C77Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gino Cassinis XW81ES51KH
| URI | m2://inv/XW81ES51KH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#HF10, Gino Cassinis (unknown)
History
- 2026-11-02: add by m2/dev
category XW85Q5SV74
| URI | m2://inv/XW85Q5SV74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#WPSJ, category (definition)
History
- 2026-11-02: add by m2/dev
XW8CXY0QQE XW8CXY0QQE
| URI | m2://inv/XW8CXY0QQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15982#1LY8 (statement). In KB50SHR229/e1, proposition B.1
History
- 2026-10-28: add by m2/v0.4.2
Definition XW8FB7VEYB
| URI | m2://inv/XW8FB7VEYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan–Eilenberg resolution#USN0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Density estimates on a fixed manifold XW8T70Y6P1
| URI | m2://inv/XW8T70Y6P1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22513#CN4U, Density estimates on a fixed manifold (statement)
History
- 2026-11-02: add by m2/v0.6.17
Corollary XW8VRM1TQE
| URI | m2://inv/XW8VRM1TQE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Justesen code#G51H, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Parametrix representation XW8VYEWH8S
| URI | m2://inv/XW8VYEWH8S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11330#IPMB, Parametrix representation (statement). In Z73GKA9WDB/e1, lemma B.1
History
- 2026-10-28: add by m2/v0.4.3
XW8W4Y1WMG XW8W4Y1WMG
| URI | m2://inv/XW8W4Y1WMG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19945#CMFD (statement)
History
- 2026-11-02: add by m2/v0.6.18
q-binomial coefficient XW93D30AQY
| URI | m2://inv/XW93D30AQY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of q-analogs#TZIC, q-binomial coefficient (definition)
History
- 2026-11-02: add by m2/dev
Definition XW94CTFZ5T
| URI | m2://inv/XW94CTFZ5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncommutative torus#TESU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Rubinstein, Reuven XW9J4ZQTP8
| URI | m2://inv/XW9J4ZQTP8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#N6LS, Rubinstein, Reuven (unknown)
History
- 2026-11-02: add by m2/dev
XW9PD5DVBQ XW9PD5DVBQ
| URI | m2://inv/XW9PD5DVBQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.01916#WWBN (example). In XTGB5Z08YH/e1, example 3.15
History
- 2026-10-27: add by m2/v0.4.0
Example XW9PT7673C
| URI | m2://inv/XW9PT7673C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor product of modules#OWKA, Example (example)
History
- 2026-11-02: add by m2/dev
XW9S0EXRD3 XW9S0EXRD3
| URI | m2://inv/XW9S0EXRD3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28540#PFXX (statement)
History
- 2026-11-01: add by m2/v0.6.15
XW9SQGWT9T XW9SQGWT9T
| URI | m2://inv/XW9SQGWT9T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15360#C5UO (statement). In DJCXDQQK7Y/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
XW9VSF7H1S XW9VSF7H1S
| URI | m2://inv/XW9VSF7H1S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02495#U3FB (statement). In T4S7XVAJJC/e1, lemma 9.6
History
- 2026-10-29: add by m2/v0.4.12
XW9ZEG2CFY XW9ZEG2CFY
| URI | m2://inv/XW9ZEG2CFY |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1509.00950#CYXD (proof). In MDZFW5GACV/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
XWA137AHBC XWA137AHBC
| URI | m2://inv/XWA137AHBC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#1QNG (statement). In M4ZVJWM8YA/e1, lemma 3.17
History
- 2026-10-27: add by m2/v0.4.2
baguenaudier XWA1JDNMCB
| URI | m2://inv/XWA1JDNMCB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2615647, baguenaudier (unknown). Also MathWorld Baguenaudier
History
- 2026-10-26: add by m2/dev
Symmetry, conservation, and Noether's theorem XWA8SDYV5B
| URI | m2://inv/XWA8SDYV5B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytical mechanics#SPZ2, Symmetry, conservation, and Noether's theorem (statement)
History
- 2026-11-02: add by m2/dev
Formulation XWAAFNXN16
| URI | m2://inv/XWAAFNXN16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbital angular momentum of light#1SRX, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Examples XWAMA89F04
| URI | m2://inv/XWAMA89F04 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tychonoff space#GWG5, Examples (example)
History
- 2026-11-02: add by m2/dev
XWASK9R4S4 XWASK9R4S4
| URI | m2://inv/XWASK9R4S4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22040#NN2Q (example). In 2QP93JHYNB/e1, example 6.9
History
- 2026-10-27: add by m2/v0.4.2
Applications XWASXCXV8F
| URI | m2://inv/XWASXCXV8F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetic field#X5P5, Applications (example)
History
- 2026-11-02: add by m2/dev
XWAWYG99R0 XWAWYG99R0
| URI | m2://inv/XWAWYG99R0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.01567#T2CH (statement). In GB0V23Q6C5/e1, theorem A.10
History
- 2026-10-27: add by m2/v0.3.5
XWB7P1CDB3 XWB7P1CDB3
| URI | m2://inv/XWB7P1CDB3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#QJC3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
XWBG3X5N3V XWBG3X5N3V
| URI | m2://inv/XWBG3X5N3V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01958#IMOJ (definition). In NQFYT2M6YZ/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Robert McCallum Blumenthal XWBWN18MJ2
| URI | m2://inv/XWBWN18MJ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert McCallum Blumenthal, Robert McCallum Blumenthal (topic). Also Wikidata Q48694138
History
- 2026-11-02: add by m2/dev
geometric realization XWBXKC8R5H
| URI | m2://inv/XWBXKC8R5H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1/geometric-realization, geometric realization (concept). In N54F33XE07, index, section 1
History
- 2026-11-01: add by m2/v0.6.13
Continuity XWC6FSWJH6
| URI | m2://inv/XWC6FSWJH6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closure (topology)#W1L1, Continuity (statement)
History
- 2026-11-02: add by m2/dev
XWC75GH1N1 XWC75GH1N1
| URI | m2://inv/XWC75GH1N1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#B30A (statement). In 7SSKW778T8/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Newton's law of cooling XWCB8BJQZG
| URI | m2://inv/XWCB8BJQZG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heat transfer#K7ID, Newton's law of cooling (statement)
History
- 2026-11-02: add by m2/dev
Uniform boundedness estimates for the averaged states, adjoints, and aggregates of the limiting problem XWCMY1NFPR
| URI | m2://inv/XWCMY1NFPR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24185#D30Y, Uniform boundedness estimates for the averaged states, adjoints, and aggregates of the limiting problem (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jean Claude Bouquet XWCNR2JNP2
| URI | m2://inv/XWCNR2JNP2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean Claude Bouquet, Jean Claude Bouquet (topic). Also Wikidata Q704879
History
- 2026-11-02: add by m2/dev
XWCR25966C XWCR25966C
| URI | m2://inv/XWCR25966C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13884#YZ26 (statement). In N2NQ3QJYTW/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Scalar tensor gravity XWD6EBEJTZ
| URI | m2://inv/XWD6EBEJTZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternatives to general relativity#Q50U, Scalar tensor gravity (unknown)
History
- 2026-11-02: add by m2/dev
Equivalence to Huygens–Fresnel principle XWDF4JNMPT
| URI | m2://inv/XWDF4JNMPT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kirchhoff's diffraction formula#TASW, Equivalence to Huygens–Fresnel principle (statement)
History
- 2026-11-02: add by m2/dev
XWDN1SY8NF XWDN1SY8NF
| URI | m2://inv/XWDN1SY8NF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04876#L6FC (statement). In 2TNAKVC0YP/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.12
Cantor's back-and-forth method XWE5GCDCWW
| URI | m2://inv/XWE5GCDCWW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#WILC, Cantor's back-and-forth method (definition)
History
- 2026-11-02: add by m2/dev
Knights and Knaves XWE8VX0EPP
| URI | m2://inv/XWE8VX0EPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knights and Knaves, Knights and Knaves (definition). Also Wikidata Q1548905
History
- 2026-11-02: add by m2/dev
ring of Witt vectors XWEDNQYQ50
| URI | m2://inv/XWEDNQYQ50 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Number theory > ring of Witt vectors, ring of Witt vectors (unknown). Also Mathlib WittVector
History
- 2026-10-26: add by m2/dev
2017 Pakistani census XWEEQXHJB8
| URI | m2://inv/XWEEQXHJB8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2017 Pakistani census, 2017 Pakistani census (definition). Also Wikidata Q29641481
History
- 2026-11-02: add by m2/dev
Left-right planarity test XWEHV2ACMT
| URI | m2://inv/XWEHV2ACMT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Left-right planarity test, Left-right planarity test (definition). Also Wikidata Q5494049
History
- 2026-11-02: add by m2/dev
Properties XWEHYAZWMH
| URI | m2://inv/XWEHYAZWMH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic distribution#PF3Z, Properties (statement)
History
- 2026-11-02: add by m2/dev
XWEM2Y31BT XWEM2Y31BT
| URI | m2://inv/XWEM2Y31BT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#defn-3 (definition). In E59CDZA4DP, defn, section 11.1.2
History
- 2026-11-01: add by m2/v0.6.13
XWEWEH6EH7 XWEWEH6EH7
| URI | m2://inv/XWEWEH6EH7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35095#HWA8 (statement). In MM3XTWS35F/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
The Sun XWEWF1HA3Z
| URI | m2://inv/XWEWF1HA3Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#ZA44, The Sun (unknown)
History
- 2026-11-02: add by m2/dev
undefined XWF0KZY6QK
| URI | m2://inv/XWF0KZY6QK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7883028, undefined (concept). Also MathWorld Undefined
- wikipedia: Wikipedia Undefined (mathematics), Undefined (definition). Also Wikidata Q7883028
History
- 2026-10-26: add by m2/dev
Benjamin Rossman XWF2SDE3VK
| URI | m2://inv/XWF2SDE3VK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LMMA, Benjamin Rossman (topic)
History
- 2026-11-02: add by m2/dev
Expected mean squares XWF32Z054R
| URI | m2://inv/XWF32Z054R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3A70, Expected mean squares (definition)
History
- 2026-11-02: add by m2/dev
Continuity correction XWF77E4H47
| URI | m2://inv/XWF77E4H47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FHGR, Continuity correction (definition)
- wikipedia: Wikipedia List of probability topics#3ATT, Continuity correction (definition)
History
- 2026-11-02: add by m2/dev
XWFD2YJHQQ XWFD2YJHQQ
| URI | m2://inv/XWFD2YJHQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08222#YP6D (statement). In A4192ETKBD/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Square wheel XWFG9MC5ZS
| URI | m2://inv/XWFG9MC5ZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square wheel, Square wheel (definition). Also Wikidata Q3556708
History
- 2026-11-02: add by m2/dev
XWFPTXZSTP XWFPTXZSTP
| URI | m2://inv/XWFPTXZSTP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#XWGA (definition). In X923ZEY423/e1, definition 1.3.2
History
- 2026-10-27: add by m2/v0.3.5
John Truss XWFPW2HJH2
| URI | m2://inv/XWFPW2HJH2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9G1E, John Truss (topic)
History
- 2026-11-02: add by m2/dev
XWFRADVGQW XWFRADVGQW
| URI | m2://inv/XWFRADVGQW |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07508#RPUT (problem). In TPA3E67MKK/e1, problem 10.1
History
- 2026-10-29: add by m2/v0.4.10
Stefano Bianchini XWFRSNZDF1
| URI | m2://inv/XWFRSNZDF1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stefano Bianchini, Stefano Bianchini (topic). Also Wikidata Q2338360
History
- 2026-11-02: add by m2/dev
XWFVTZN2CQ XWFVTZN2CQ
| URI | m2://inv/XWFVTZN2CQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11043#8D60 (example). In R3NJYPZH52/e1, example 4.12
History
- 2026-10-28: add by m2/v0.4.3
Paul du Bois-Reymond XWFXV76BPC
| URI | m2://inv/XWFXV76BPC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul du Bois-Reymond, Paul du Bois-Reymond (topic). Also Wikidata Q77503
History
- 2026-11-02: add by m2/dev
Continuum rearrangement functional XWG0JR80S8
| URI | m2://inv/XWG0JR80S8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05313#T622, Continuum rearrangement functional (statement). In 8XPN1A2GR0/e1, lemma 5.15
History
- 2026-10-29: add by m2/v0.4.10
XWG7F2J9S0 XWG7F2J9S0
| URI | m2://inv/XWG7F2J9S0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12912#IGSG (statement). In PDKBKKJ4BV/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Generalizations XWG9RZ8SRN
| URI | m2://inv/XWG9RZ8SRN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hecke algebra#C1IP, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Properties XWGAD39JC5
| URI | m2://inv/XWGAD39JC5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway chained arrow notation#5EW6, Properties (statement)
History
- 2026-11-02: add by m2/dev
edge cut XWGVAB575K
| URI | m2://inv/XWGVAB575K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#ESDA, edge cut (definition)
History
- 2026-11-02: add by m2/dev
XWGZDVNYEF XWGZDVNYEF
| URI | m2://inv/XWGZDVNYEF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03222#4J5V (definition). In BB0JGNK4YF/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
XWH0J2B1J3 XWH0J2B1J3
| URI | m2://inv/XWH0J2B1J3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24212#BG1E (statement)
History
- 2026-11-01: add by m2/v0.6.15
Declinism XWH2NVQM0V
| URI | m2://inv/XWH2NVQM0V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#RAXG, Declinism (unknown)
History
- 2026-11-02: add by m2/dev
a sufficient reverse-tail estimate XWH5SFNZVY
| URI | m2://inv/XWH5SFNZVY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20351#OA00, a sufficient reverse-tail estimate (statement)
History
- 2026-11-02: add by m2/v0.6.18
Visman, Jan XWH6GC0BAM
| URI | m2://inv/XWH6GC0BAM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#C0OI, Visman, Jan (topic)
History
- 2026-11-02: add by m2/dev
XWH8Q5CCG5 XWH8Q5CCG5
| URI | m2://inv/XWH8Q5CCG5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29683#EVCA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ludwig Friedrich Wilhelm August Kiepert XWHB3C69DT
| URI | m2://inv/XWHB3C69DT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BQGB, Ludwig Friedrich Wilhelm August Kiepert (unknown)
History
- 2026-11-02: add by m2/dev
National Center for Health Statistics XWHN1NAT28
| URI | m2://inv/XWHN1NAT28 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Center for Health Statistics, National Center for Health Statistics (definition). Also Wikidata Q3336854
History
- 2026-11-02: add by m2/dev
Alexander John Thompson XWHWB4P9PD
| URI | m2://inv/XWHWB4P9PD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander John Thompson, Alexander John Thompson (topic). Also Wikidata Q4719249
History
- 2026-11-02: add by m2/dev
XWJA4SMWDT XWJA4SMWDT
| URI | m2://inv/XWJA4SMWDT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1504.03271#RKPD (definition). In RY17N5T1NQ/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
$k$-varifold induced by rectifiable $k$-current XWJE2XX2YV
| URI | m2://inv/XWJE2XX2YV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24451#T60J, $k$-varifold induced by rectifiable $k$-current (definition)
History
- 2026-11-01: add by m2/v0.6.15
Ely Merzbach XWJM6TP588
| URI | m2://inv/XWJM6TP588 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ely Merzbach, Ely Merzbach (topic). Also Wikidata Q16133448
History
- 2026-11-02: add by m2/dev
Examples XWJMRASNN2
| URI | m2://inv/XWJMRASNN2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CW complex#IPJV, Examples (example)
History
- 2026-11-02: add by m2/dev
Parabiaugmented dodecahedron XWJR8M1JWV
| URI | m2://inv/XWJR8M1JWV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#34RB, Parabiaugmented dodecahedron (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#OF3V, Parabiaugmented dodecahedron (definition)
History
- 2026-11-02: add by m2/dev
XWK1WRPD5C XWK1WRPD5C
| URI | m2://inv/XWK1WRPD5C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#9Z6L (statement). In HH35K7S17H/e1, lemma 6.13
History
- 2026-10-29: add by m2/v0.4.10
Negative curvature of the graphs inside $\mathcal N$ XWK8JATCFC
| URI | m2://inv/XWK8JATCFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12238#F1H3, Negative curvature of the graphs inside $\mathcal N$ (statement). In E31CZYM2H8/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
XWKJDKCFHS XWKJDKCFHS
| URI | m2://inv/XWKJDKCFHS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15367#11MN (statement). In 9AFZ1S368G/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Properties XWKVE9MX0W
| URI | m2://inv/XWKVE9MX0W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural exponential family#YZH6, Properties (statement)
History
- 2026-11-02: add by m2/dev
Symphony No. 8 XWKWTS2D15
| URI | m2://inv/XWKWTS2D15 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2557806, Symphony No. 8 (unknown). Also nLab 000035915361
History
- 2026-10-26: add by m2/dev
Definition XWKYS8P0HS
| URI | m2://inv/XWKYS8P0HS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-trivial set#79N2, Definition (definition)
History
- 2026-11-02: add by m2/dev
XWM5Z56X1C XWM5Z56X1C
| URI | m2://inv/XWM5Z56X1C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16332#15T2 (statement). In JJQPFXZQ3D/e1, theorem 0.3
History
- 2026-10-28: add by m2/v0.4.2
Gail Wolkowicz XWM7HWSTN2
| URI | m2://inv/XWM7HWSTN2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gail Wolkowicz, Gail Wolkowicz (topic). Also Wikidata Q30339434
History
- 2026-11-02: add by m2/dev
Theorem XWM98EFFSS
| URI | m2://inv/XWM98EFFSS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph C*-algebra#3VTF, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Uses XWMBS5VQ71
| URI | m2://inv/XWMBS5VQ71 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proth prime#B0V2, Uses (example)
History
- 2026-11-02: add by m2/dev
Regular conditional measures along CDF summaries XWMJ3EVKN5
| URI | m2://inv/XWMJ3EVKN5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX, 62-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15006#OTFC, Regular conditional measures along CDF summaries (statement). In 8XZGF33HQX/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
XWMPJSCND5 XWMPJSCND5
| URI | m2://inv/XWMPJSCND5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#OBBG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dudoit, Sandrine XWMT12M5GK
| URI | m2://inv/XWMT12M5GK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#5H26, Dudoit, Sandrine (topic)
History
- 2026-11-02: add by m2/dev
XWMVW26HDK XWMVW26HDK
| URI | m2://inv/XWMVW26HDK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18709#XF12 (statement). In K7VY50VFK6/e1, lemma 12.2
History
- 2026-10-28: add by m2/v0.4.2
Mikael Rørdam XWN3E3SNMB
| URI | m2://inv/XWN3E3SNMB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KX8V, Mikael Rørdam (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#69NQ, Mikael Rørdam (topic)
History
- 2026-11-02: add by m2/dev
Variance bound for weighted increments XWN5CJ5QRX
| URI | m2://inv/XWN5CJ5QRX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06372#5SYO, Variance bound for weighted increments (statement). In G3E1P350Z6/e1, proposition 7.10
History
- 2026-10-29: add by m2/v0.4.10
Upper bound on $K(r)$ XWN7RJ517V
| URI | m2://inv/XWN7RJ517V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33557#163G, Upper bound on $K(r)$ (statement). In 95YZVAPGJA/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Graphics Layout Engine XWNB8JBVNN
| URI | m2://inv/XWNB8JBVNN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#BA0O, Graphics Layout Engine (definition)
History
- 2026-11-02: add by m2/dev
Maxim Kontsevich XWND9535VR
| URI | m2://inv/XWND9535VR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#KLM7, Maxim Kontsevich (topic)
History
- 2026-11-02: add by m2/dev
Shuffle XWNFCM5DGB
| URI | m2://inv/XWNFCM5DGB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23106#TDFP, Shuffle (definition)
History
- 2026-11-02: add by m2/v0.6.17
XWNGS94S57 XWNGS94S57
| URI | m2://inv/XWNGS94S57 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#H67O (statement). In 5E9G06XJKC/e1, lemma G.15
History
- 2026-10-28: add by m2/v0.4.2
XWNHHFK159 XWNHHFK159
| URI | m2://inv/XWNHHFK159 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37920#RUGL (statement). In GZPF8R6BBF/e1, corollary 3.1
History
- 2026-10-30: add by m2/v0.4.12
rectangle XWNS5ADYYW
| URI | m2://inv/XWNS5ADYYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q209, rectangle (unknown). Also MathWorld Rectangle
- wikipedia: Wikipedia Rectangle, Rectangle (definition). Also Wikidata Q209
History
- 2026-10-26: add by m2/dev
XWNTS0876E XWNTS0876E
| URI | m2://inv/XWNTS0876E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22394#UVT5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Sheppard's correction XWP4PTN54S
| URI | m2://inv/XWP4PTN54S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sheppard's correction, Sheppard's correction (definition). Also Wikidata Q6605799
History
- 2026-11-02: add by m2/dev
XWP6163Q73 XWP6163Q73
| URI | m2://inv/XWP6163Q73 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#0W96 (definition). In S26QVW5613/e1, definition 1.2.11
History
- 2026-10-30: add by m2/v0.4.12
XWP7P4VN1P XWP7P4VN1P
| URI | m2://inv/XWP7P4VN1P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11047#35P2 (statement). In MNQAZ70XTH/e1, corollary 5.7
History
- 2026-10-28: add by m2/v0.4.3
XWPQYEDVDB XWPQYEDVDB
| URI | m2://inv/XWPQYEDVDB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1008.4254#5GJJ (statement). In SXTX59QBVT/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
Positivity of $P_h^N$ XWPSJ07FW8
| URI | m2://inv/XWPSJ07FW8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25912#0UZ6, Positivity of $P_h^N$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
XWQ8Q1Z66H XWQ8Q1Z66H
| URI | m2://inv/XWQ8Q1Z66H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#G4SQ (statement). In J7ZX3WWRQP/e1, theorem 3.16
History
- 2026-10-28: add by m2/v0.4.2
XWQAPGH337 XWQAPGH337
| URI | m2://inv/XWQAPGH337 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-arithgeom.ptx#example-2 (example). In Y91XFCEVHQ, example, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
XWQB9FREEK XWQB9FREEK
| URI | m2://inv/XWQB9FREEK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25983#RTAL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formal statement XWQC5FH5P0
| URI | m2://inv/XWQC5FH5P0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of power set#9Z90, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
XWQGBY33QY XWQGBY33QY
| URI | m2://inv/XWQGBY33QY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36113#9NGE (statement). In FSGSVD0XYH/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
XWQGXNPPQ8 XWQGXNPPQ8
| URI | m2://inv/XWQGXNPPQ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32078#52N0 (statement). In 5PN85N6EJF/e1, theorem E.5
History
- 2026-10-31: add by m2/v0.5.6
Sergei Tabachnikov XWQM9T15ZM
| URI | m2://inv/XWQM9T15ZM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergei Tabachnikov, Sergei Tabachnikov (topic). Also Wikidata Q2272841
History
- 2026-11-02: add by m2/dev
XWQRTYBM3Z XWQRTYBM3Z
| URI | m2://inv/XWQRTYBM3Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1610.01054#ANA9 (definition). In WNTFRFJ8SE/e1, definition II.3
History
- 2026-10-27: add by m2/v0.3.5
equal detour point XWQW7DEQ3A
| URI | m2://inv/XWQW7DEQ3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2118462, equal detour point (unknown). Also MathWorld EqualDetourPoint
- wikipedia: Wikipedia Equal detour point, Equal detour point (definition). Also Wikidata Q2118462
History
- 2026-10-26: add by m2/dev
XWQY6PY7ET XWQY6PY7ET
| URI | m2://inv/XWQY6PY7ET |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17139#U8WA (definition). In AQWX60Z563/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
algebra of random variables XWR03CMMZA
| URI | m2://inv/XWR03CMMZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#QK0T, algebra of random variables (definition)
History
- 2026-11-02: add by m2/dev
Indicator function XWR2WTM53F
| URI | m2://inv/XWR2WTM53F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#XY1E, Indicator function (definition)
History
- 2026-11-02: add by m2/dev
Sophie Bryant XWR2Z9DGKX
| URI | m2://inv/XWR2Z9DGKX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sophie Bryant, Sophie Bryant (topic). Also Wikidata Q7562969
History
- 2026-11-02: add by m2/dev
Sieve of Sundaram XWR5BRK92H
| URI | m2://inv/XWR5BRK92H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sieve of Sundaram, Sieve of Sundaram (definition). Also Wikidata Q2389810
History
- 2026-11-02: add by m2/dev
carbon-13 XWRD9PP185
| URI | m2://inv/XWRD9PP185 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1770822, carbon-13 (definition). Also ProofWiki Definition:Carbon/13
History
- 2026-10-26: add by m2/dev
Construction XWREYGPV2H
| URI | m2://inv/XWREYGPV2H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exalcomm#1PKD, Construction (definition)
History
- 2026-11-02: add by m2/dev
XWRH8W5NB6 XWRH8W5NB6
| URI | m2://inv/XWRH8W5NB6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07957#UL5A (statement). In RXFKX8M8P0/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
XWS3RMJ8G0 XWS3RMJ8G0
| URI | m2://inv/XWS3RMJ8G0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11210#MNU4 (statement). In CRFDGFZHBF/e1, lemma 9.5
History
- 2026-10-28: add by m2/v0.4.3
Lynne Billard XWS4EJZJQ4
| URI | m2://inv/XWS4EJZJQ4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#633E, Lynne Billard (topic)
History
- 2026-11-02: add by m2/dev
Fröberg conjecture XWS6BWE8C2
| URI | m2://inv/XWS6BWE8C2 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#3NSB, Fröberg conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Cross-family Cauchy-Schwarz inequality XWS8614F0A
| URI | m2://inv/XWS8614F0A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33573#W2CH, Cross-family Cauchy-Schwarz inequality (statement). In ZT1Q1XDQ1W/e1, theorem 1.5
History
- 2026-10-30: add by m2/v0.4.12
Universal support expansion XWSA2J62H5
| URI | m2://inv/XWSA2J62H5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14373#NJX8, Universal support expansion (statement). In 77TK7M3B9Y/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
XWSC3EEKSM XWSC3EEKSM
| URI | m2://inv/XWSC3EEKSM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#TPFD (statement). In M4ZVJWM8YA/e1, lemma 4.24
History
- 2026-10-27: add by m2/v0.4.2
XWSCA2J0SW XWSCA2J0SW
| URI | m2://inv/XWSCA2J0SW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09810#JRHG (example). In B6PCH930FV/e1, example 1
History
- 2026-10-29: add by m2/v0.4.10
Corona product XWSFRZNS75
| URI | m2://inv/XWSFRZNS75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Corona product, Corona product (definition). Also Wikidata Q133825779
History
- 2026-11-02: add by m2/dev
XWSHJ52SZZ XWSHJ52SZZ
| URI | m2://inv/XWSHJ52SZZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30482#WNCR (statement). In KWB9M5YH9G/e1, lemma 7.3
History
- 2026-10-31: add by m2/v0.5.6
Cayley cubic XWSK3VQ3HD
| URI | m2://inv/XWSK3VQ3HD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#W5IM, Cayley cubic (definition)
History
- 2026-11-02: add by m2/dev
square wave XWSVGGPJ27
| URI | m2://inv/XWSVGGPJ27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Square wave TB2TR373RC |
Mentions
- wikidata: Wikidata Q1136640, square wave (unknown). Also MathWorld SquareWave
- wikipedia: Wikipedia Square wave (waveform), Square wave (definition). Also Wikidata Q1136640
History
- 2026-10-26: add by m2/dev
XWSXTM73SC XWSXTM73SC
| URI | m2://inv/XWSXTM73SC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#exercise-10 (exercise). In RZP28ERRZV, exercise, section 9.9.3
History
- 2026-11-01: add by m2/v0.6.13
XWT0ZF88BR XWT0ZF88BR
| URI | m2://inv/XWT0ZF88BR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.04321#AAG3 (statement). In TE54S4QFW1/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
XWT7E1764M XWT7E1764M
| URI | m2://inv/XWT7E1764M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09544#5OFW (statement). In DYBM6Q2K6R/e1, proposition B.10
History
- 2026-10-29: add by m2/v0.4.10
Wilkinson matrix XWTC6PR936
| URI | m2://inv/XWTC6PR936 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilkinson matrix, Wilkinson matrix (definition). Also Wikidata Q8002551
History
- 2026-11-02: add by m2/dev
XWTGGR7XTB XWTGGR7XTB
| URI | m2://inv/XWTGGR7XTB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03288#OKG1 (statement). In ZHP1MFSACN/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.12
logistic equation XWTJST5KB2
| URI | m2://inv/XWTJST5KB2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/7.6.3/logistic-equation, logistic equation (concept). In 907G4C4EJ1, index, section 7.6.3
History
- 2026-11-01: add by m2/v0.6.13
Henry Hickman Harte XWTQCTHQ0H
| URI | m2://inv/XWTQCTHQ0H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry Hickman Harte, Henry Hickman Harte (topic). Also Wikidata Q11115825
History
- 2026-11-02: add by m2/dev
Jacobi bound problem XWV3Q1AMJJ
| URI | m2://inv/XWV3Q1AMJJ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi bound problem, Jacobi bound problem (conjecture). Also Wikidata Q115802720
History
- 2026-11-02: add by m2/dev
Definitions and examples XWVBYGTVBM
| URI | m2://inv/XWVBYGTVBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sheaf (mathematics)#V4K9, Definitions and examples (definition)
History
- 2026-11-02: add by m2/dev
Residual-score variance consistency XWVEY5EGB0
| URI | m2://inv/XWVEY5EGB0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23339#D34V, Residual-score variance consistency (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties XWVEZ7Z7V1
| URI | m2://inv/XWVEZ7Z7V1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kite (geometry)#ULDT, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples XWVJ8Q3WWY
| URI | m2://inv/XWVJ8Q3WWY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform continuity#BMC0, Examples (example)
History
- 2026-11-02: add by m2/dev
XWVR79HH71 XWVR79HH71
| URI | m2://inv/XWVR79HH71 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#YRA6 (definition). In 46370P3Y9S/e1, definition 5.3
History
- 2026-10-27: add by m2/v0.4.2
XWVXPE0DGC XWVXPE0DGC
| URI | m2://inv/XWVXPE0DGC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#ANHW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jean-François Callet XWW0ANPAN5
| URI | m2://inv/XWW0ANPAN5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-François Callet, Jean-François Callet (topic). Also Wikidata Q512774
History
- 2026-11-02: add by m2/dev
Erdős–Nagy theorem XWW3MC9YVH
| URI | m2://inv/XWW3MC9YVH |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 52-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5385324, Erdős–Nagy theorem (statement). Also Wikidata Q5385324
- thousand_plus: thousand_plus Q5385324, Erdős–Nagy theorem (statement). Also Wikidata Q5385324, Wikipedia Erdős–Nagy theorem
- wikipedia: Wikipedia Erdős–Nagy theorem, Erdős–Nagy theorem (statement). Also Wikidata Q5385324
History
- 2026-10-26: add by m2/dev
XWWDV58DWH XWWDV58DWH
| URI | m2://inv/XWWDV58DWH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24747#FN05 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Machine epsilon XWWGMHAZP6
| URI | m2://inv/XWWGMHAZP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Machine epsilon, Machine epsilon (definition). Also Wikidata Q1780355
History
- 2026-11-02: add by m2/dev
Trigonometric functions of matrices XWWMQQSXMX
| URI | m2://inv/XWWMQQSXMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric functions of matrices, Trigonometric functions of matrices (definition). Also Wikidata Q25102127
History
- 2026-11-02: add by m2/dev
XWWMR71SPW XWWMR71SPW
| URI | m2://inv/XWWMR71SPW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#9AO8 (statement). In X38P26DK6S/e1, lemma A.2
History
- 2026-10-27: add by m2/v0.4.0
XWWNY7H8ZD XWWNY7H8ZD
| URI | m2://inv/XWWNY7H8ZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28814#3WJJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
XWWVFXQPGM XWWVFXQPGM
| URI | m2://inv/XWWVFXQPGM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38211#P6WE (statement). In KWKK0S9YJN/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Alexander Myller XWWZ3F597V
| URI | m2://inv/XWWZ3F597V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Myller, Alexander Myller (topic). Also Wikidata Q12720360
History
- 2026-11-02: add by m2/dev
XWX0FZ7RPY XWX0FZ7RPY
| URI | m2://inv/XWX0FZ7RPY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37489#HKEY (statement). In 5ZC91T5PHQ/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
Variational multiscale method XWX1W4GTMC
| URI | m2://inv/XWX1W4GTMC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#FPS6, Variational multiscale method (definition)
History
- 2026-11-02: add by m2/dev
Theorem XWX5P99SCG
| URI | m2://inv/XWX5P99SCG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed graph theorem#HM7K, Theorem (statement)
History
- 2026-11-02: add by m2/dev
XWX7N6JTT2 XWX7N6JTT2
| URI | m2://inv/XWX7N6JTT2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#1BH4 (statement). In F3BKXXPR3K/e1, lemma 3.30
History
- 2026-10-27: add by m2/v0.4.2
Class group of $\QQ(\sqrt{-17})$ XWXPFKME2C
| URI | m2://inv/XWXPFKME2C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#proposition-3, Class group of $\QQ(\sqrt{-17})$ (statement). In RZP28ERRZV, proposition, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
Roberts XWY2CC2GYN
| URI | m2://inv/XWY2CC2GYN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#40EI, Roberts (unknown)
History
- 2026-11-02: add by m2/dev
XWY5QH2N1C XWY5QH2N1C
| URI | m2://inv/XWY5QH2N1C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40214#KCXI (statement). In XD603HRHKC/e1, lemma B.3
History
- 2026-10-30: add by m2/v0.4.12
Symmetry XWY61R0SXR
| URI | m2://inv/XWY61R0SXR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-6 octagonal tiling#4LFW, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
XWY9GBF8AX XWY9GBF8AX
| URI | m2://inv/XWY9GBF8AX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21931#1OJS (statement)
History
- 2026-11-02: add by m2/v0.6.17
XWYAA20YK7 XWYAA20YK7
| URI | m2://inv/XWYAA20YK7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17045#UCIO (definition). In PA6JQDSKQT/e1, definition 4.2
History
- 2026-10-28: add by m2/v0.4.2
XWYNRRNFP7 XWYNRRNFP7
| URI | m2://inv/XWYNRRNFP7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39531#71UA (statement). In SN9RSTHQ07/e1, lemma E.7
History
- 2026-10-30: add by m2/v0.4.12
XWYNX9PZ9N XWYNX9PZ9N
| URI | m2://inv/XWYNX9PZ9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35320#2TNX (statement). In QJ6AEW93RB/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Société mathématique de France XWYW2Q47H3
| URI | m2://inv/XWYW2Q47H3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Société mathématique de France, Société mathématique de France (topic). Also Wikidata Q1726704
History
- 2026-11-02: add by m2/dev
XWZ5XQ63E8 XWZ5XQ63E8
| URI | m2://inv/XWZ5XQ63E8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17691#70EP (statement). In AT8VD3XB8M/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Israel Herstein XWZCP4QCDR
| URI | m2://inv/XWZCP4QCDR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#TNA8, Israel Herstein (unknown)
History
- 2026-11-02: add by m2/dev
XWZDXA01Q8 XWZDXA01Q8
| URI | m2://inv/XWZDXA01Q8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19088#2N81 (statement). In 90QTB4CC31/e1, corollary 3.28
History
- 2026-10-28: add by m2/v0.4.2
XWZJMAEFHQ XWZJMAEFHQ
| URI | m2://inv/XWZJMAEFHQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#defn-5 (definition). In E59CDZA4DP, defn, section 4.2.1
History
- 2026-11-01: add by m2/v0.6.13
Martin Huxley XWZRDX78AH
| URI | m2://inv/XWZRDX78AH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martin Huxley, Martin Huxley (topic). Also Wikidata Q6775739
History
- 2026-11-02: add by m2/dev
Ugo Amaldi XWZVYSFNPS
| URI | m2://inv/XWZVYSFNPS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ugo Amaldi (mathematician), Ugo Amaldi (topic). Also Wikidata Q982393
History
- 2026-11-02: add by m2/dev