Inventory rows FE
The cards of the rows of the inventory whose ids start with FE. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
FE077ZJV4R FE077ZJV4R
| URI | m2://inv/FE077ZJV4R |
|---|---|
| Kind | example |
| 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 2610.15535#IZVD (example). In 73A9KWZJRD/e1, example 7.5
History
- 2026-10-28: add by m2/v0.4.2
Gilbert Vernam FE07CE0PCS
| URI | m2://inv/FE07CE0PCS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gilbert Vernam, Gilbert Vernam (topic). Also Wikidata Q713359
History
- 2026-11-02: add by m2/dev
FE0D7FSBEG FE0D7FSBEG
| URI | m2://inv/FE0D7FSBEG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-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.21507#V7WO (statement). In 879ZDHVK7N/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.2
FE0EQSCDB3 FE0EQSCDB3
| URI | m2://inv/FE0EQSCDB3 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.4.2
Algorithmic transparency FE0F82R2HX
| URI | m2://inv/FE0F82R2HX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic transparency, Algorithmic transparency (definition). Also Wikidata Q50122569
History
- 2026-11-02: add by m2/dev
Killing spinor FE0KZNDRFX
| URI | m2://inv/FE0KZNDRFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6407805, Killing spinor (unknown). Also nLab Killing spinor
- wikipedia: Wikipedia Killing spinor, Killing spinor (definition). Also Wikidata Q6407805
History
- 2026-10-26: add by m2/dev
FE0XT5HRAE FE0XT5HRAE
| URI | m2://inv/FE0XT5HRAE |
|---|---|
| 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.30976#VLAU (statement). In 4QY9J1A0KT/e1, theorem 7
History
- 2026-10-31: add by m2/v0.5.6
Computed Suzuki cases FE0ZC00AR2
| URI | m2://inv/FE0ZC00AR2 |
|---|---|
| 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.15340#1EVZ, Computed Suzuki cases (statement). In 9NVKKW8HDH/e1, proposition 2.61
History
- 2026-10-28: add by m2/v0.4.2
$\beta$-invariance of the sum rule FE11A3ZG19
| URI | m2://inv/FE11A3ZG19 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.06631#MRT1, $\beta$-invariance of the sum rule (statement). In QR4SD83TFR/e1, proposition 8
History
- 2026-10-29: add by m2/v0.4.10
Hurwitz zeta function FE1205ZPMD
| URI | m2://inv/FE1205ZPMD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hurwitz zeta function G4SW7HJG88 |
Mentions
- wikidata: Wikidata Q1638777, Hurwitz zeta function (unknown). Also MathWorld HurwitzZetaFunction
- wikipedia: Wikipedia Hurwitz zeta function, Hurwitz zeta function (definition). Also Wikidata Q1638777
History
- 2026-10-26: add by m2/dev
Minimax FE14AG2FDX
| URI | m2://inv/FE14AG2FDX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimax, Minimax (definition). Also Wikidata Q751319
History
- 2026-11-02: add by m2/dev
Optimal orders in the square case FE14T1K1TV
| URI | m2://inv/FE14T1K1TV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-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.38228#RLBL, Optimal orders in the square case (statement). In 9YAE8FNQST/e1, proposition 8.13
History
- 2026-10-30: add by m2/v0.4.12
Lucchesi–Younger theorem FE1579BN6Z
| URI | m2://inv/FE1579BN6Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucchesi–Younger theorem, Lucchesi–Younger theorem (statement). Also Wikidata Q115803137
History
- 2026-11-02: add by m2/dev
FE17JZNV9F FE17JZNV9F
| URI | m2://inv/FE17JZNV9F |
|---|---|
| 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 2405.10747#GTYD (statement). In X0PS03QCG0/e1, corollary 5.1
History
- 2026-10-27: add by m2/v0.3.5
Rape in Belize FE18Z71FAZ
| URI | m2://inv/FE18Z71FAZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rape statistics#4VUC, Rape in Belize (unknown)
History
- 2026-11-02: add by m2/dev
Prevalence FE198WPGX5
| URI | m2://inv/FE198WPGX5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prevalence, Prevalence (definition). Also Wikidata Q719602
History
- 2026-11-02: add by m2/dev
Kodaira surface FE1BWC1EGH
| URI | m2://inv/FE1BWC1EGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kodaira surface, Kodaira surface (definition). Also Wikidata Q6425089
History
- 2026-11-02: add by m2/dev
Properties FE1E5Z8RGJ
| URI | m2://inv/FE1E5Z8RGJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher's noncentral hypergeometric distribution#97Y7, Properties (statement)
History
- 2026-11-02: add by m2/dev
Yoneda, lemma FE1GWZY7VF
| URI | m2://inv/FE1GWZY7VF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.5/yoneda-lemma, Yoneda, lemma (concept). In N54F33XE07, index, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
FE1HHQ6W1X FE1HHQ6W1X
| URI | m2://inv/FE1HHQ6W1X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.30098#71T8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Autoregressive forecasting FE1P4ZP7NP
| URI | m2://inv/FE1P4ZP7NP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autoregressive model#16DE, Autoregressive forecasting (unknown)
History
- 2026-11-02: add by m2/dev
Signed Graph Burning Process FE1VNW137X
| URI | m2://inv/FE1VNW137X |
|---|---|
| Kind | definition |
| 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.02506#RTAA, Signed Graph Burning Process (definition). In 3JKRBZWJ33/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Applications FE1XHA8Z5F
| URI | m2://inv/FE1XHA8Z5F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CORDIC#V13K, Applications (example)
History
- 2026-11-02: add by m2/dev
Hitting time FE1ZGQWN9V
| URI | m2://inv/FE1ZGQWN9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hitting time, Hitting time (definition). Also Wikidata Q5872687
History
- 2026-11-02: add by m2/dev
FE20WZMCKW FE20WZMCKW
| URI | m2://inv/FE20WZMCKW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 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 2409.00806#3RN2 (statement). In SBN06J39DG/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
FE26T6674M FE26T6674M
| URI | m2://inv/FE26T6674M |
|---|---|
| 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.05216#XYHK (statement). In J1VCHM6V0S/e1, proposition 2.10
History
- 2026-10-29: add by m2/v0.4.10
FE27XWNWWJ FE27XWNWWJ
| URI | m2://inv/FE27XWNWWJ |
|---|---|
| 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.24795#QJF9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Properties FE2AJGBYT8
| URI | m2://inv/FE2AJGBYT8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antoine's necklace#Z1JD, Properties (statement)
History
- 2026-11-02: add by m2/dev
FE2C0E7C4M FE2C0E7C4M
| URI | m2://inv/FE2C0E7C4M |
|---|---|
| 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 2609.25348#LB6Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
FE2GJP9B40 FE2GJP9B40
| URI | m2://inv/FE2GJP9B40 |
|---|---|
| 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.31249#T917 (statement). In RAVR2W9S0B/e1, proposition 5.3
History
- 2026-10-31: add by m2/v0.5.6
Hilary Priestley FE2K0VB7H2
| URI | m2://inv/FE2K0VB7H2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilary Priestley, Hilary Priestley (topic). Also Wikidata Q17180849
History
- 2026-11-02: add by m2/dev
Susan Haack FE2S02JTVZ
| URI | m2://inv/FE2S02JTVZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#8Q3F, Susan Haack (topic)
- wikipedia: Wikipedia List of women logicians#8W7W, Susan Haack (topic)
History
- 2026-11-02: add by m2/dev
J. F. Cameron FE2T56XZWK
| URI | m2://inv/FE2T56XZWK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J. F. Cameron, J. F. Cameron (topic). Also Wikidata Q20711869
History
- 2026-11-02: add by m2/dev
(Elveden #52) FE2WC8MYJ8
| URI | m2://inv/FE2WC8MYJ8 |
|---|---|
| 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#JIB7, (Elveden #52) (unknown)
History
- 2026-11-02: add by m2/dev
polygonal number FE2WNZZA2X
| URI | m2://inv/FE2WNZZA2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q836270, polygonal number (unknown). Also EoM Polygonal_number, MathWorld PolygonalNumber
- wikipedia: Wikipedia Polygonal number, Polygonal number (definition). Also Wikidata Q836270
History
- 2026-10-26: add by m2/dev
FE2X40SWKN FE2X40SWKN
| URI | m2://inv/FE2X40SWKN |
|---|---|
| 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.09042#MQHC (statement). In 7CS3N5K9FJ/e1, lemma 16
History
- 2026-10-29: add by m2/v0.4.10
Dini FE31CAV3DQ
| URI | m2://inv/FE31CAV3DQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#HI0S, Dini (definition)
History
- 2026-11-02: add by m2/dev
Reiterman's theorem FE37RA2PFM
| URI | m2://inv/FE37RA2PFM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variety of finite semigroups#VQC5, Reiterman's theorem (statement)
History
- 2026-11-02: add by m2/dev
Carl Wilhelm Oseen FE3R1SXPYD
| URI | m2://inv/FE3R1SXPYD |
|---|---|
| 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#PE9P, Carl Wilhelm Oseen (unknown)
History
- 2026-11-02: add by m2/dev
B. Segre FE3R4BKAQ3
| URI | m2://inv/FE3R4BKAQ3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#KZGO, B. Segre (topic)
History
- 2026-11-02: add by m2/dev
Adrenochrome FE3TT876MT
| URI | m2://inv/FE3TT876MT |
|---|---|
| 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#5LLT, Adrenochrome (unknown)
History
- 2026-11-02: add by m2/dev
Horsengoggle FE45M4D58B
| URI | m2://inv/FE45M4D58B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horsengoggle, Horsengoggle (definition). Also Wikidata Q17038852
History
- 2026-11-02: add by m2/dev
Formula FE47QN93RV
| URI | m2://inv/FE47QN93RV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magic formula investing#B06W, Formula (statement)
History
- 2026-11-02: add by m2/dev
Applications FE4D94CZBW
| URI | m2://inv/FE4D94CZBW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Germ (mathematics)#8Q71, Applications (example)
History
- 2026-11-02: add by m2/dev
FE4G4TWNQX FE4G4TWNQX
| URI | m2://inv/FE4G4TWNQX |
|---|---|
| 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.33219#L6NN (statement). In ETTQWMJZXJ/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
dependence FE4SEW9VN3
| URI | m2://inv/FE4SEW9VN3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#PDRZ, dependence (definition)
History
- 2026-11-02: add by m2/dev
Parametric curve FE4TTYE5KQ
| URI | m2://inv/FE4TTYE5KQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#RZSX, Parametric curve (definition)
- wikipedia: Wikipedia List of numerical computational geometry topics#I02U, Parametric curve (definition)
- wikipedia: Wikipedia List of curves topics#DCYN, Parametric curve (definition)
History
- 2026-11-02: add by m2/dev
gradian FE4W8D2GPJ
| URI | m2://inv/FE4W8D2GPJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q208528, gradian (definition). Also ProofWiki Definition:Grad
- wikipedia: Wikipedia Gradian, Gradian (definition). Also Wikidata Q208528
History
- 2026-10-26: add by m2/dev
FE50VPA3J1 FE50VPA3J1
| URI | m2://inv/FE50VPA3J1 |
|---|---|
| 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 2610.01015#DJ8D (statement). In PSH07NKZ62/e1, theorem 10
History
- 2026-10-29: add by m2/v0.4.12
Statement FE54VHZQXD
| URI | m2://inv/FE54VHZQXD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivariant index theorem#1IAQ, Statement (statement)
History
- 2026-11-02: add by m2/dev
Maurice Kraitchik FE57XGKNV5
| URI | m2://inv/FE57XGKNV5 |
|---|---|
| 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#3PN9, Maurice Kraitchik (topic)
History
- 2026-11-02: add by m2/dev
Proof that e is transcendental FE581Y9TGN
| URI | m2://inv/FE581Y9TGN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#G8UL, Proof that e is transcendental (statement)
History
- 2026-11-02: add by m2/dev
Contingency table FE5GTD1H05
| URI | m2://inv/FE5GTD1H05 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XCOU, Contingency table (definition)
History
- 2026-11-02: add by m2/dev
FE5HJRTYQT FE5HJRTYQT
| URI | m2://inv/FE5HJRTYQT |
|---|---|
| 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.21868#4CIR (statement). In WWAQEF0093/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.2
Generalizations FE5K27SK30
| URI | m2://inv/FE5K27SK30 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fredholm operator#XU82, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
FE5VJF2P9F FE5VJF2P9F
| URI | m2://inv/FE5VJF2P9F |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-20 (proof). In N54F33XE07, proof, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
Point process FE5VQ79WWJ
| URI | m2://inv/FE5VQ79WWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EQ1D, Point process (definition)
- wikipedia: Wikipedia List of probability topics#713A, Point process (definition)
History
- 2026-11-02: add by m2/dev
FE5X5W19C4 FE5X5W19C4
| URI | m2://inv/FE5X5W19C4 |
|---|---|
| Kind | statement |
| 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.12683#PPJ4 (statement). In N5ZFFWV3RX/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
$n$-truncated and $n$-connected morphism FE61BFYBNF
| URI | m2://inv/FE61BFYBNF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-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.03865#YIQB, $n$-truncated and $n$-connected morphism (definition). In G3D1YR20BJ/e1, definition A.16
History
- 2026-10-29: add by m2/v0.4.12
Compatibility is the exact Hausdorff condition FE61TWBBHJ
| URI | m2://inv/FE61TWBBHJ |
|---|---|
| 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 2609.20514#LB5H, Compatibility is the exact Hausdorff condition (statement)
History
- 2026-11-02: add by m2/v0.6.18
topological module FE639ZP1PS
| URI | m2://inv/FE639ZP1PS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > Topological algebra > topological module, topological module (unknown). Also Mathlib ContinuousSMul
History
- 2026-10-26: add by m2/dev
Susanna Terracini FE63KWZTWG
| URI | m2://inv/FE63KWZTWG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susanna Terracini, Susanna Terracini (topic). Also Wikidata Q50284669
History
- 2026-11-02: add by m2/dev
FE665J81S2 FE665J81S2
| URI | m2://inv/FE665J81S2 |
|---|---|
| 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.34339#H8P3 (statement). In 9WFSTGMQ4E/e1, lemma 3.8
History
- 2026-10-30: add by m2/v0.4.12
FE66XAJTW5 FE66XAJTW5
| URI | m2://inv/FE66XAJTW5 |
|---|---|
| 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.10469#BOQO (statement). In Q39BEKW6D9/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.10
Collective-displacement invariant POVM FE6767DM2W
| URI | m2://inv/FE6767DM2W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2609.29348#UW9A, Collective-displacement invariant POVM (definition)
History
- 2026-11-01: add by m2/v0.6.15
FE67NNGW7P FE67NNGW7P
| URI | m2://inv/FE67NNGW7P |
|---|---|
| Kind | statement |
| 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 2610.03517#KT4O (statement). In 3CGS9GSKTQ/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Definition FE6ACVTAZD
| URI | m2://inv/FE6ACVTAZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orlicz space#4GU4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Locally acyclic morphism FE6BC7DPBR
| URI | m2://inv/FE6BC7DPBR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally acyclic morphism, Locally acyclic morphism (definition). Also Wikidata Q6664661
History
- 2026-11-02: add by m2/dev
Applications FE6G2GCS4B
| URI | m2://inv/FE6G2GCS4B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine plank problem#7AGM, Applications (example)
History
- 2026-11-02: add by m2/dev
Principle FE6ZHGFA62
| URI | m2://inv/FE6ZHGFA62 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lack-of-fit sum of squares#TL7W, Principle (statement)
History
- 2026-11-02: add by m2/dev
Lavarand FE6ZT68D3B
| URI | m2://inv/FE6ZT68D3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lavarand, Lavarand (definition). Also Wikidata Q6502402
History
- 2026-11-02: add by m2/dev
FE714RN90H FE714RN90H
| URI | m2://inv/FE714RN90H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.30637#QLXM (statement). In 6G1KBA0SXV/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
Goishi Hiroi FE71K4Q407
| URI | m2://inv/FE71K4Q407 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#6L4Q, Goishi Hiroi (definition)
History
- 2026-11-02: add by m2/dev
FE73D1W0AV FE73D1W0AV
| URI | m2://inv/FE73D1W0AV |
|---|---|
| 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 1903.07030#SHGQ (definition). In 9H45HQE7AZ/e1, definition 3.9
History
- 2026-10-27: add by m2/v0.3.5
Encyclopedia of Mathematics FE77ME5YD6
| URI | m2://inv/FE77ME5YD6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Encyclopedia of Mathematics (James Tanton), Encyclopedia of Mathematics (definition). Also Wikidata Q5375709
History
- 2026-11-02: add by m2/dev
Darmois–Skitovich theorem FE7ASWHDW4
| URI | m2://inv/FE7ASWHDW4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darmois–Skitovich theorem, Darmois–Skitovich theorem (statement). Also Wikidata Q56375780
History
- 2026-11-02: add by m2/dev
Basic properties of the operator $\mathcal{D}$ FE7B3AFEY2
| URI | m2://inv/FE7B3AFEY2 |
|---|---|
| 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 2610.08610#ONUU, Basic properties of the operator $\mathcal{D}$ (statement). In CB2JWNS1E9/e1, proposition C.3
History
- 2026-10-29: add by m2/v0.4.10
Exact-gradient accelerated comparator bound FE7EXF811V
| URI | m2://inv/FE7EXF811V |
|---|---|
| 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 2610.15202#S7XM, Exact-gradient accelerated comparator bound (statement). In X1FPG0KYBM/e1, corollary D.2
History
- 2026-10-28: add by m2/v0.4.2
Lasker–Noether theorem FE7FNR7TZD
| URI | m2://inv/FE7FNR7TZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#KSD8, Lasker–Noether theorem (definition)
History
- 2026-11-02: add by m2/dev
Parallel estimation of transition energies FE7PC2RBW1
| URI | m2://inv/FE7PC2RBW1 |
|---|---|
| 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.27181#8JO0, Parallel estimation of transition energies (statement)
History
- 2026-11-01: add by m2/v0.6.15
FE7V3GSTH5 FE7V3GSTH5
| URI | m2://inv/FE7V3GSTH5 |
|---|---|
| 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.31269#PFS1 (statement). In ZPT9XCCAPQ/e1, proposition 2.2.20
History
- 2026-10-31: add by m2/v0.5.6
Hill climbing FE7W6Q0W0B
| URI | m2://inv/FE7W6Q0W0B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#6R08, Hill climbing (definition)
History
- 2026-11-02: add by m2/dev
FE7WQJJPRX FE7WQJJPRX
| URI | m2://inv/FE7WQJJPRX |
|---|---|
| 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.21808#WN66 (statement)
History
- 2026-11-02: add by m2/v0.6.18
FE7Y1RSQTF FE7Y1RSQTF
| URI | m2://inv/FE7Y1RSQTF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-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.25188#KX1B (example)
History
- 2026-11-01: add by m2/v0.6.15
François Trèves FE7YQMS909
| URI | m2://inv/FE7YQMS909 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IWR9, François Trèves (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MFWX, François Trèves (unknown)
History
- 2026-11-02: add by m2/dev
Realizability topoi FE7ZF60ZE8
| URI | m2://inv/FE7ZF60ZE8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Effective topos#GLR2, Realizability topoi (unknown)
History
- 2026-11-02: add by m2/dev
Deriving Newton's law from Gauss's law and irrotationality FE822C636Q
| URI | m2://inv/FE822C636Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss's law for gravity#4QZ1, Deriving Newton's law from Gauss's law and irrotationality (statement)
History
- 2026-11-02: add by m2/dev
Boolean network FE82Y59GAA
| URI | m2://inv/FE82Y59GAA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean network, Boolean network (definition). Also Wikidata Q585230
History
- 2026-11-02: add by m2/dev
Misrak Gezmu FE88ZKCHVA
| URI | m2://inv/FE88ZKCHVA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Misrak Gezmu, Misrak Gezmu (topic). Also Wikidata Q102291434
History
- 2026-11-02: add by m2/dev
FE899MK2EG FE899MK2EG
| URI | m2://inv/FE899MK2EG |
|---|---|
| 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.06541#ELN6 (statement). In R604B78EVK/e1, lemma A.4
History
- 2026-10-29: add by m2/v0.4.10
FE8CFP65AZ FE8CFP65AZ
| URI | m2://inv/FE8CFP65AZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.01411#WA9F (statement). In SD28S3K7BT/e1, lemma 46
History
- 2026-10-29: add by m2/v0.4.12
An eighth axiom FE8JTCN47M
| URI | m2://inv/FE8JTCN47M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Huzita–Hatori axioms#27EI, An eighth axiom (statement)
History
- 2026-11-02: add by m2/dev
FE8PZKTGR6 FE8PZKTGR6
| URI | m2://inv/FE8PZKTGR6 |
|---|---|
| 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.01928#U93N (statement). In BSJRRHKGX0/e1, corollary 4.5
History
- 2026-10-29: add by m2/v0.4.12
Pentagrammic prism FE90986AEP
| URI | m2://inv/FE90986AEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#C8WE, Pentagrammic prism (definition)
History
- 2026-11-02: add by m2/dev
Lachenbruch, Peter A. FE95969942
| URI | m2://inv/FE95969942 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#JWI4, Lachenbruch, Peter A. (topic)
History
- 2026-11-02: add by m2/dev
FE9BWKWND3 FE9BWKWND3
| URI | m2://inv/FE9BWKWND3 |
|---|---|
| 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#DMIV (statement). In X38P26DK6S/e1, theorem 7.6
History
- 2026-10-27: add by m2/v0.4.0
Demographics of the United States FE9CCYD7D5
| URI | m2://inv/FE9CCYD7D5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of the United States, Demographics of the United States (definition). Also Wikidata Q1965974
History
- 2026-11-02: add by m2/dev
Guarantee with a selected search radius FE9F2QW47D
| URI | m2://inv/FE9F2QW47D |
|---|---|
| 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 2610.15202#5JOC, Guarantee with a selected search radius (statement). In X1FPG0KYBM/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
FE9MPPQDHC FE9MPPQDHC
| URI | m2://inv/FE9MPPQDHC |
|---|---|
| Kind | definition |
| 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 1004.4564#8Z1D (definition). In BZ54C9SKYS/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.3.5
FE9PSNJ9HK FE9PSNJ9HK
| URI | m2://inv/FE9PSNJ9HK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 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 2508.21045#47U6 (definition). In CGA36VE1C5/e1, definition 2.1.4
History
- 2026-10-27: add by m2/v0.3.6
FEA4JKAZP4 FEA4JKAZP4
| URI | m2://inv/FEA4JKAZP4 |
|---|---|
| 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 2207.07461#YLA0 (statement). In GAG532VMPF/e1, proposition 3.4.4
History
- 2026-10-27: add by m2/v0.3.5
FEADHV6EYY FEADHV6EYY
| URI | m2://inv/FEADHV6EYY |
|---|---|
| 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 2510.09873#KYR9 (statement). In KNB3ZCNC9Q/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Federico Rodriguez Hertz FEAEJM10T2
| URI | m2://inv/FEAEJM10T2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Federico Rodriguez Hertz, Federico Rodriguez Hertz (topic). Also Wikidata Q47787113
History
- 2026-11-02: add by m2/dev
Scientific study FEAFYAYG9B
| URI | m2://inv/FEAFYAYG9B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific study, Scientific study (definition). Also Wikidata Q16947035
History
- 2026-11-02: add by m2/dev
FEB3C5HM7S FEB3C5HM7S
| URI | m2://inv/FEB3C5HM7S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 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.25275#0C41 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Amelia Haviland FEB7W58RSY
| URI | m2://inv/FEB7W58RSY |
|---|---|
| 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#OSAV, Amelia Haviland (topic)
History
- 2026-11-02: add by m2/dev
FEBGACX3RZ FEBGACX3RZ
| URI | m2://inv/FEBGACX3RZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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.05299#J1L7 (definition). In 68AE571S4P/e1, definition 2.10
History
- 2026-10-29: add by m2/v0.4.10
Definition FEBGFXS68A
| URI | m2://inv/FEBGFXS68A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factoriangular number#8LIE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Jacobi–Madden equation FEBJVE2K9Y
| URI | m2://inv/FEBJVE2K9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi–Madden equation, Jacobi–Madden equation (definition). Also Wikidata Q4357800
History
- 2026-11-02: add by m2/dev
FEBJXDR77Y FEBJXDR77Y
| URI | m2://inv/FEBJXDR77Y |
|---|---|
| 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.39700#YOB3 (statement). In E7W2HDNEKJ/e1, theorem 5.13
History
- 2026-10-30: add by m2/v0.4.12
FEBPE9CN6A FEBPE9CN6A
| URI | m2://inv/FEBPE9CN6A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/introduction/basic-pr-lambda.tex#lem-1 (statement). In PKGMM3P5QY, lem, section 36.4
History
- 2026-11-01: add by m2/v0.6.13
Vech FEBQP2G0R6
| URI | m2://inv/FEBQP2G0R6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vectorization (mathematics)#9MJ1, Vech (unknown)
History
- 2026-11-02: add by m2/dev
FEBV3HTN7M FEBV3HTN7M
| URI | m2://inv/FEBV3HTN7M |
|---|---|
| Kind | statement |
| 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.12736#NYMT (statement). In 5350Q52F6P/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.2
Crossed products by discrete groups FEBVGGTHPZ
| URI | m2://inv/FEBVGGTHPZ |
|---|---|
| Kind | example |
| 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.27518#AK4Y, Crossed products by discrete groups (example)
History
- 2026-11-01: add by m2/v0.6.15
Examples FEBVM0MTKG
| URI | m2://inv/FEBVM0MTKG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the cue heading names a section and not one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal subgroup#Q81R, Examples (example)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
inverse element FEBX9EH0B8
| URI | m2://inv/FEBX9EH0B8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Inverse element 0BRHKKP333 |
Mentions
- wikidata: Wikidata Q338057, inverse element (unknown). Also MathWorld InverseElement
- wikipedia: Wikipedia Inverse element, Inverse element (definition). Also Wikidata Q338057
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Terminology FEC5XRB2RV
| URI | m2://inv/FEC5XRB2RV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convection#6HT4, Terminology (definition)
History
- 2026-11-02: add by m2/dev
FEC8BTZN72 FEC8BTZN72
| URI | m2://inv/FEC8BTZN72 |
|---|---|
| Kind | example |
| 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.36423#HH0A (example). In Q5Z178SAHP/e1, example 7.2
History
- 2026-10-30: add by m2/v0.4.12
24-cell FECQ0Y816A
| URI | m2://inv/FECQ0Y816A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | 24-cell SH9NBM8JRR |
Mentions
- wikidata: Wikidata Q539008, 24-cell (unknown). Also MathWorld 24-Cell, nLab 24-cell
- wikipedia: Wikipedia 24-cell, 24-cell (definition). Also Wikidata Q539008
History
- 2026-10-26: add by m2/dev
General-$d$ $q=2$ ceiling FECQVGW8ZY
| URI | m2://inv/FECQVGW8ZY |
|---|---|
| Kind | conjecture |
| 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 2610.02392#OQ5M, General-$d$ $q=2$ ceiling (conjecture). In W066HQZQBF/e1, conjecture 24
History
- 2026-10-29: add by m2/v0.4.12
Examples of Markov chains FECR4SCGEZ
| URI | m2://inv/FECR4SCGEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2R4O, Examples of Markov chains (definition)
- wikipedia: Wikipedia List of mathematical examples#RNTL, Examples of Markov chains (definition)
History
- 2026-11-02: add by m2/dev
Renato Caccioppoli FED3R2BPPB
| URI | m2://inv/FED3R2BPPB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Renato Caccioppoli, Renato Caccioppoli (topic). Also Wikidata Q983325
History
- 2026-11-02: add by m2/dev
Formulation FED7ME45ZG
| URI | m2://inv/FED7ME45ZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stark conjectures#O5E5, Formulation (definition)
History
- 2026-11-02: add by m2/dev
FED9TXKMF6 FED9TXKMF6
| URI | m2://inv/FED9TXKMF6 |
|---|---|
| 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.09735#G108 (statement). In C518KB563H/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Cox and Parry , McDonald FEDG9B1XFG
| URI | m2://inv/FEDG9B1XFG |
|---|---|
| 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.31910#0780, Cox and Parry , McDonald (statement). In E4EK1XXPY4/e1, theorem 2.1
History
- 2026-10-31: add by m2/v0.5.6
FEDR598QDE FEDR598QDE
| URI | m2://inv/FEDR598QDE |
|---|---|
| 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.23341#QW8V (statement)
History
- 2026-11-02: add by m2/v0.6.17
FEDSZPYVHH FEDSZPYVHH
| URI | m2://inv/FEDSZPYVHH |
|---|---|
| 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 2504.01057#6YLF (statement). In 69QFBXJENW/e1, corollary 2.9
History
- 2026-10-27: add by m2/v0.3.5
Fading affect bias FEE612560Y
| URI | m2://inv/FEE612560Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#YWRA, Fading affect bias (unknown)
History
- 2026-11-02: add by m2/dev
Ludwig Berwald FEEGEW838D
| URI | m2://inv/FEEGEW838D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#SJCK, Ludwig Berwald (topic)
History
- 2026-11-02: add by m2/dev
FEEGW51KDV FEEGW51KDV
| URI | m2://inv/FEEGW51KDV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.34295#6KIU (statement). In A93R925Z24/e1, proposition 5.3
History
- 2026-10-30: add by m2/v0.4.12
Comparison to Raoult's law FEEM349APH
| URI | m2://inv/FEEM349APH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry's law#68VU, Comparison to Raoult's law (statement)
History
- 2026-11-02: add by m2/dev
First-order expansion of a perturbed product FEER64VB70
| URI | m2://inv/FEER64VB70 |
|---|---|
| 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.11760#TZAR, First-order expansion of a perturbed product (statement). In NBNERWXW53/e1, lemma S11.3
History
- 2026-10-28: add by m2/v0.4.3
FEER8AVFZ1 FEER8AVFZ1
| URI | m2://inv/FEER8AVFZ1 |
|---|---|
| Kind | definition |
| 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 1612.08394#6WYP (definition). In 1P8D88DKG5/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
\textsf{Rank-preserving truncation FEERM2BSQQ
| URI | m2://inv/FEERM2BSQQ |
|---|---|
| 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.09404#350D, \textsf{Rank-preserving truncation (statement). In D7CZZ48FRN/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
FEEVE55JTB FEEVE55JTB
| URI | m2://inv/FEEVE55JTB |
|---|---|
| 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.31269#MD45 (statement). In ZPT9XCCAPQ/e1, lemma 2.1.11
History
- 2026-10-31: add by m2/v0.5.6
atom-bond connectivity index FEFDHT3R46
| URI | m2://inv/FEFDHT3R46 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137393187, atom-bond connectivity index (unknown). Also MathWorld ABCIndex
History
- 2026-10-26: add by m2/dev
∦ FEFF0RYRW1
| URI | m2://inv/FEFF0RYRW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#F154, ∦ (definition)
History
- 2026-11-02: add by m2/dev
Transport of $Q$ FEFJR18MCP
| URI | m2://inv/FEFJR18MCP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.25762#ML1V, Transport of $Q$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Diagonal stopped-observation measurability FEFMREYP0G
| URI | m2://inv/FEFMREYP0G |
|---|---|
| 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.09278#HR5E, Diagonal stopped-observation measurability (statement). In XREKHJHAT7/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.10
Ehrling's lemma FEFN7EHES1
| URI | m2://inv/FEFN7EHES1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ehrling's lemma, Ehrling's lemma (statement). Also Wikidata Q5348634
History
- 2026-11-02: add by m2/dev
FEFNSVX04G FEFNSVX04G
| URI | m2://inv/FEFNSVX04G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 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.21703#IA2F (definition)
History
- 2026-11-02: add by m2/v0.6.18
FEFT6Q1S6J FEFT6Q1S6J
| URI | m2://inv/FEFT6Q1S6J |
|---|---|
| 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.01924#CFBR (statement). In CB89152EQW/e1, corollary 3
History
- 2026-10-29: add by m2/v0.4.12
FEFW4RBDME FEFW4RBDME
| URI | m2://inv/FEFW4RBDME |
|---|---|
| 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.20316#KC00 (statement). In YRJS76169Z/e1, lemma 4.11
History
- 2026-10-27: add by m2/v0.4.2
Marianna Pensky FEG11G8X91
| URI | m2://inv/FEG11G8X91 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marianna Pensky, Marianna Pensky (topic). Also Wikidata Q56090451
History
- 2026-11-02: add by m2/dev
FEG5QZYFXS FEG5QZYFXS
| URI | m2://inv/FEG5QZYFXS |
|---|---|
| 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 2609.31393#QOD0 (statement). In ED0WC9Z55C/e1, theorem 3.2
History
- 2026-10-31: add by m2/v0.5.6
Cunningham chain FEGBFNK8XB
| URI | m2://inv/FEGBFNK8XB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#0GDR, Cunningham chain (definition)
History
- 2026-11-02: add by m2/dev
FEGDHDC14N FEGDHDC14N
| URI | m2://inv/FEGDHDC14N |
|---|---|
| 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.23871#E458 (statement)
History
- 2026-11-02: add by m2/v0.6.17
E0 FEGM7PNHAB
| URI | m2://inv/FEGM7PNHAB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E0 (cipher), E0 (definition). Also Wikidata Q3045752
History
- 2026-11-02: add by m2/dev
FEGNGK6TH1 FEGNGK6TH1
| URI | m2://inv/FEGNGK6TH1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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 2610.19076#5LZ7 (statement). In M77QPWHHRX/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
FEGQYZ50B0 FEGQYZ50B0
| URI | m2://inv/FEGQYZ50B0 |
|---|---|
| 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.25084#340D (statement)
History
- 2026-11-01: add by m2/v0.6.15
De-sparsified lasso FEGRBYM6PB
| URI | m2://inv/FEGRBYM6PB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De-sparsified lasso, De-sparsified lasso (definition). Also Wikidata Q25303914
History
- 2026-11-02: add by m2/dev
A simple example FEGZFX3059
| URI | m2://inv/FEGZFX3059 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Potential game#L744, A simple example (example)
History
- 2026-11-02: add by m2/dev
FEH1MFQZ50 FEH1MFQZ50
| URI | m2://inv/FEH1MFQZ50 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/no-universal-function.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 3.8
History
- 2026-11-01: add by m2/v0.6.13
FEH3W9EHD5 FEH3W9EHD5
| URI | m2://inv/FEH3W9EHD5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#example-6 (example). In E59CDZA4DP, example, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Relative-error estimate for the smooth denominator FEH7QM6WGY
| URI | m2://inv/FEH7QM6WGY |
|---|---|
| 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.28306#MK11, Relative-error estimate for the smooth denominator (statement)
History
- 2026-11-01: add by m2/v0.6.15
FEJ2B9J7NQ FEJ2B9J7NQ
| URI | m2://inv/FEJ2B9J7NQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cellular.tex#lemma-1 (statement). In RZP28ERRZV, lemma, section 50.2
History
- 2026-11-01: add by m2/v0.6.13
Properties FEJBWRRHQ2
| URI | m2://inv/FEJBWRRHQ2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean domain#QTS3, Properties (statement)
History
- 2026-11-02: add by m2/dev
Polynomial invariance criterion FEJGZXW6TF
| URI | m2://inv/FEJGZXW6TF |
|---|---|
| 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.20593#G5E6, Polynomial invariance criterion (statement). In 7GMD8J4200/e1, corollary 2
History
- 2026-10-27: add by m2/v0.4.2
FEJQBEJYEN FEJQBEJYEN
| URI | m2://inv/FEJQBEJYEN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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.14837#T5F5 (statement). In J4P6HXMJCH/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Gromov's stable inequality FEK5AM2S5S
| URI | m2://inv/FEK5AM2S5S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Systolic geometry#NFUY, Gromov's stable inequality (statement)
History
- 2026-11-02: add by m2/dev
FEK7FBEW8N FEK7FBEW8N
| URI | m2://inv/FEK7FBEW8N |
|---|---|
| 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.24640#G4XT (statement)
History
- 2026-11-01: add by m2/v0.6.15
FEK862E7FP FEK862E7FP
| URI | m2://inv/FEK862E7FP |
|---|---|
| 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.36181#1KG0 (statement). In 1KSE33PVS6/e1, corollary 20
History
- 2026-10-30: add by m2/v0.4.12
Mary Michel Boulus FEKJV0XJCZ
| URI | m2://inv/FEKJV0XJCZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Michel Boulus, Mary Michel Boulus (topic). Also Wikidata Q105978576
History
- 2026-11-02: add by m2/dev
Monotonicity of small-step paths FEKQP5RDG5
| URI | m2://inv/FEKQP5RDG5 |
|---|---|
| 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 1905.02785#Z84O, Monotonicity of small-step paths (statement). In PF9KV74Q02/e1, lemma B.4
History
- 2026-10-27: add by m2/v0.3.5
FEKRCEMQ71 FEKRCEMQ71
| URI | m2://inv/FEKRCEMQ71 |
|---|---|
| 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 2108.09796#KLM4 (statement). In NAA7WFQN20/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
List of genetic algorithm applications FEKTJ4WFJX
| URI | m2://inv/FEKTJ4WFJX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications, List of genetic algorithm applications (topic). Also Wikidata Q6621582
History
- 2026-11-02: add by m2/dev
Steve Lavin FEKYGCKNBG
| URI | m2://inv/FEKYGCKNBG |
|---|---|
| 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#ER0S, Steve Lavin (unknown)
History
- 2026-11-02: add by m2/dev
FEM6NRERZF FEM6NRERZF
| URI | m2://inv/FEM6NRERZF |
|---|---|
| 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 2310.19073#TY9C (statement). In DK2ZSJ65ZV/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Shifted theta solutions FEM6QFGFV0
| URI | m2://inv/FEM6QFGFV0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12434#QO9Q, Shifted theta solutions (statement). In YCRZC9SDCE/e1, lemma 11.1
History
- 2026-10-28: add by m2/v0.4.2
coherent FEM9PQNMAB
| URI | m2://inv/FEM9PQNMAB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#RX3Z, coherent (definition)
History
- 2026-11-02: add by m2/dev
Andreea Erciulescu FEMA325V1J
| URI | m2://inv/FEMA325V1J |
|---|---|
| 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#8GNB, Andreea Erciulescu (topic)
History
- 2026-11-02: add by m2/dev
open formula FEMAATDWY0
| URI | m2://inv/FEMAATDWY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#5NI5, open formula (definition)
History
- 2026-11-02: add by m2/dev
One-PID Base Partition FEMHQBM1S3
| URI | m2://inv/FEMHQBM1S3 |
|---|---|
| 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 2609.37578#OLRS, One-PID Base Partition (statement). In D7NDCWSDJE/e1, lemma 17
History
- 2026-10-30: add by m2/v0.4.12
Table maker dilemma FEMTRRZNS1
| URI | m2://inv/FEMTRRZNS1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rounding#NNBH, Table maker dilemma (unknown)
History
- 2026-11-02: add by m2/dev
Limits of Two Functions FEMZM2RP98
| URI | m2://inv/FEMZM2RP98 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-1-2-lim.xml#Ex-1-2-Limits, Limits of Two Functions (example). In 907G4C4EJ1, example, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
Partial residual plot FEN1B0S7WZ
| URI | m2://inv/FEN1B0S7WZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#U13E, Partial residual plot (definition)
History
- 2026-11-02: add by m2/dev
FEN1JBV4HT FEN1JBV4HT
| URI | m2://inv/FEN1JBV4HT |
|---|---|
| Kind | example |
| 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.16505#XB1B (example). In P9V43TXCJ3/e1, example 4.9
History
- 2026-10-28: add by m2/v0.4.2
Signed minoration from spread witnesses FENH3Y9ZG2
| URI | m2://inv/FENH3Y9ZG2 |
|---|---|
| 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.31782#XIIH, Signed minoration from spread witnesses (statement). In YAYP5VZ94H/e1, theorem 7.2
History
- 2026-10-31: add by m2/v0.5.6
FENK5R99MG FENK5R99MG
| URI | m2://inv/FENK5R99MG |
|---|---|
| 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 2609.25431#ID3P (definition)
History
- 2026-11-01: add by m2/v0.6.15
Degenerate distribution FENSH9CG0W
| URI | m2://inv/FENSH9CG0W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7KYD, Degenerate distribution (definition)
History
- 2026-11-02: add by m2/dev
FENY7KNRNW FENY7KNRNW
| URI | m2://inv/FENY7KNRNW |
|---|---|
| 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.33162#HYY1 (definition). In RPC7VG3KHQ/e1, definition 6.1
History
- 2026-10-30: add by m2/v0.4.12
Applications FEP1185CMX
| URI | m2://inv/FEP1185CMX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirac structure#M5Z9, Applications (example)
History
- 2026-11-02: add by m2/dev
Alexander Schenkel FEP4KV180Q
| URI | m2://inv/FEP4KV180Q |
|---|---|
| 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 Q62068433, Alexander Schenkel (unknown). Also nLab Alexander Schenkel
History
- 2026-10-26: add by m2/dev
FEP9M34HXY FEP9M34HXY
| URI | m2://inv/FEP9M34HXY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.23682#Z0BW (example)
History
- 2026-11-02: add by m2/v0.6.17
FEPVFTB5T4 FEPVFTB5T4
| URI | m2://inv/FEPVFTB5T4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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 2609.24701#BQ73 (statement)
History
- 2026-11-01: add by m2/v0.6.15
FEPXT8P9V0 FEPXT8P9V0
| URI | m2://inv/FEPXT8P9V0 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#KGVA (unknown). In QNBFHFZ3H0/e1, unknown
History
- 2026-10-28: add by m2/v0.4.2
FEQ2QPV6E5 FEQ2QPV6E5
| URI | m2://inv/FEQ2QPV6E5 |
|---|---|
| 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.14803#MZY0 (statement). In VAEVDTBD3B/e1, corollary 2.14
History
- 2026-10-28: add by m2/v0.4.2
FEQ460AADX FEQ460AADX
| URI | m2://inv/FEQ460AADX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#definition-3 (definition). In RZP28ERRZV, definition, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
split-complex plane FEQB5EF1PP
| URI | m2://inv/FEQB5EF1PP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#NGW8, split-complex plane (definition)
History
- 2026-11-02: add by m2/dev
FEQK6V9VRD FEQK6V9VRD
| URI | m2://inv/FEQK6V9VRD |
|---|---|
| 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 2610.11834#3MBU (statement). In SMC03CWP4R/e1, lemma A.2
History
- 2026-10-28: add by m2/v0.4.3
Admissible terminal partition FEQYMNBVWZ
| URI | m2://inv/FEQYMNBVWZ |
|---|---|
| Kind | definition |
| 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 2609.20643#5DAI, Admissible terminal partition (definition)
History
- 2026-11-02: add by m2/v0.6.18
Uniform rank three FEQYXH5Y1H
| URI | m2://inv/FEQYXH5Y1H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.20649#5AJ2, Uniform rank three (statement). In XDTM624YPE/e1, corollary 13.2
History
- 2026-10-27: add by m2/v0.4.2
Protocol analysis FER2Q5WE6T
| URI | m2://inv/FER2Q5WE6T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Protocol analysis, Protocol analysis (definition). Also Wikidata Q7251931
History
- 2026-11-02: add by m2/dev
absolute integral closure FER3NSBV6Z
| URI | m2://inv/FER3NSBV6Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#0VYL, absolute integral closure (definition)
History
- 2026-11-02: add by m2/dev
Gustavus Simmons FER4FBHN3R
| URI | m2://inv/FER4FBHN3R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#QY32, Gustavus Simmons (topic)
History
- 2026-11-02: add by m2/dev
FERCTG96D0 FERCTG96D0
| URI | m2://inv/FERCTG96D0 |
|---|---|
| Kind | statement |
| 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 2609.27301#T6NK (statement)
History
- 2026-11-01: add by m2/v0.6.15
FERQV1ED35 FERQV1ED35
| URI | m2://inv/FERQV1ED35 |
|---|---|
| Kind | definition |
| 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.39539#XFU5 (definition). In GVR218P3ZR/e1, definition 4.5.2
History
- 2026-10-30: add by m2/v0.4.12
FERR0DMM8H FERR0DMM8H
| URI | m2://inv/FERR0DMM8H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-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.37520#TATK (statement). In BDN507RN7J/e1, proposition 4.2.15
History
- 2026-10-30: add by m2/v0.4.12
Five-number summary FES4ENZX56
| URI | m2://inv/FES4ENZX56 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7T9D, Five-number summary (definition)
History
- 2026-11-02: add by m2/dev
FES83Q8MMF FES83Q8MMF
| URI | m2://inv/FES83Q8MMF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-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 math/0406514#3TP4 (statement). In CY1FE8W1ZW/e1, lemma 0.247
History
- 2026-10-27: add by m2/v0.4.0
Ptolemy's theorem FESQ6ZZZMR
| URI | m2://inv/FESQ6ZZZMR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean geometry#H1JS, Ptolemy's theorem (statement)
History
- 2026-11-02: add by m2/dev
Number of rounds up to worker logarithms FESXCSYEXD
| URI | m2://inv/FESXCSYEXD |
|---|---|
| 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 2610.12641#X6CT, Number of rounds up to worker logarithms (statement). In X5BYGZZHPF/e1, corollary J.14
History
- 2026-10-28: add by m2/v0.4.2
Examples FET0MWMQGS
| URI | m2://inv/FET0MWMQGS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blumberg theorem#S0UM, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties FET3AFTMAW
| URI | m2://inv/FET3AFTMAW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leverage (statistics)#MXFB, Properties (statement)
History
- 2026-11-02: add by m2/dev
Graphing calculator FETJEAGDHP
| URI | m2://inv/FETJEAGDHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graphing calculator, Graphing calculator (definition). Also Wikidata Q1541580
History
- 2026-11-02: add by m2/dev
Second model system FETJKAG6CX
| URI | m2://inv/FETJKAG6CX |
|---|---|
| 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 2411.16655#WZ1W, Second model system (statement). In EJHAXRV685/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Localization FETKEWMHJN
| URI | m2://inv/FETKEWMHJN |
|---|---|
| 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.10188#P22G, Localization (statement). In S608Z3ZBP6/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Axiom 1 FETPTT58H5
| URI | m2://inv/FETPTT58H5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tarski's axiomatization of the reals#HFSS, Axiom 1 (statement)
History
- 2026-11-02: add by m2/dev
List of statistics education software FETVVK5Y0J
| URI | m2://inv/FETVVK5Y0J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistics education#ML2K, List of statistics education software (unknown)
History
- 2026-11-02: add by m2/dev
FEV0FVRF4W FEV0FVRF4W
| URI | m2://inv/FEV0FVRF4W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book preliminaries.tex#ex:composition (exercise). In N54F33XE07, ex, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
FEV2WS2KFM FEV2WS2KFM
| URI | m2://inv/FEV2WS2KFM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.01087#FCSV (statement). In 7QXAZXGNPQ/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Quantum field theory FEV5NHX988
| URI | m2://inv/FEV5NHX988 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#1L7T, Quantum field theory (definition)
History
- 2026-11-02: add by m2/dev
FEVAT5T90V FEVAT5T90V
| URI | m2://inv/FEVAT5T90V |
|---|---|
| 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.33019#4MX6 (statement). In R4V2A3Z5GP/e1, theorem 2.1
History
- 2026-10-31: add by m2/v0.5.6
Examples FEVJW92DND
| URI | m2://inv/FEVJW92DND |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laplace–Beltrami operator#ZLJJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Definitions FEVK6YR9RN
| URI | m2://inv/FEVK6YR9RN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of largest cities#TRLI, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Money line FEVQJXFHZP
| URI | m2://inv/FEVQJXFHZP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odds#N8GU, Money line (unknown)
History
- 2026-11-02: add by m2/dev
Notation FEVQV1F0RZ
| URI | m2://inv/FEVQV1F0RZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rise time#RCA2, Notation (definition)
History
- 2026-11-02: add by m2/dev
Sharp maximal order FEVS49HC04
| URI | m2://inv/FEVS49HC04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-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.03811#OTHC, Sharp maximal order (statement). In DHQWFJW02X/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.12
Campedelli surface FEVT99AR9A
| URI | m2://inv/FEVT99AR9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Campedelli surface, Campedelli surface (definition). Also Wikidata Q5028252
History
- 2026-11-02: add by m2/dev
concrete object FEVXH00WW8
| URI | m2://inv/FEVXH00WW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#S6Y4, concrete object (definition)
History
- 2026-11-02: add by m2/dev
Arad (angular unit) FEW3D491K0
| URI | m2://inv/FEW3D491K0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radian#41VJ, Arad (angular unit) (unknown)
History
- 2026-11-02: add by m2/dev
Vitale's random Brunn–Minkowski inequality FEW8V30VE2
| URI | m2://inv/FEW8V30VE2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#B813, Vitale's random Brunn–Minkowski inequality (statement)
History
- 2026-11-02: add by m2/dev
Nominal category FEW9SP2MCS
| URI | m2://inv/FEW9SP2MCS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SDJM, Nominal category (definition)
History
- 2026-11-02: add by m2/dev
Broyden's method FEWFXXE0XX
| URI | m2://inv/FEWFXXE0XX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Broyden's method GYNYT7KTC3 |
Mentions
- wikidata: Wikidata Q761993, Broyden's method (unknown). Also MathWorld BroydensMethod
- wikipedia: Wikipedia Broyden's method, Broyden's method (definition). Also Wikidata Q761993
History
- 2026-10-26: add by m2/dev
Ashish Sen FEWGWQQA8J
| URI | m2://inv/FEWGWQQA8J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#JMBI, Ashish Sen (unknown)
History
- 2026-11-02: add by m2/dev
FEWW2GMFHG FEWW2GMFHG
| URI | m2://inv/FEWW2GMFHG |
|---|---|
| Kind | example |
| 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.31274#420M (example). In RK0ZMDJ23T/e1, example 1.2.7
History
- 2026-10-31: add by m2/v0.5.6
Triangular structure FEX0EGQQZ8
| URI | m2://inv/FEX0EGQQZ8 |
|---|---|
| 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.10875#GKJQ, Triangular structure (statement). In N91F15MHW1/e1, lemma 27
History
- 2026-10-28: add by m2/v0.4.3
Commuting sum: mixing-time upper bound FEX4X9JEC6
| URI | m2://inv/FEX4X9JEC6 |
|---|---|
| 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.36016#RB15, Commuting sum: mixing-time upper bound (statement). In NAM9ZMPHZ9/e1, lemma D.2
History
- 2026-10-30: add by m2/v0.4.12
Derivation of statistical mechanical principles from the fundamental thermodynamic relation FEX7CZYX01
| URI | m2://inv/FEX7CZYX01 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental thermodynamic relation#JEOS, Derivation of statistical mechanical principles from the fundamental thermodynamic relation (statement)
History
- 2026-11-02: add by m2/dev
FEXE066K06 FEXE066K06
| URI | m2://inv/FEXE066K06 |
|---|---|
| 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 2610.03612#KUXQ (statement). In REDG6QVHM3/e1, corollary 9.10
History
- 2026-10-29: add by m2/v0.4.12
Lasse Rempe FEXE5Z5QE5
| URI | m2://inv/FEXE5Z5QE5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lasse Rempe, Lasse Rempe (topic). Also Wikidata Q6493933
History
- 2026-11-02: add by m2/dev
FEXHSNJA2D FEXHSNJA2D
| URI | m2://inv/FEXHSNJA2D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.04431#FIQ0 (statement). In 3PSAWXCCJ8/e1, proposition 21
History
- 2026-10-29: add by m2/v0.4.12
FEXK371GTJ FEXK371GTJ
| URI | m2://inv/FEXK371GTJ |
|---|---|
| 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.03238#MYKT (statement). In 5PG581A1GK/e1, theorem 15
History
- 2026-10-29: add by m2/v0.4.12
FEXN1FCBJB FEXN1FCBJB
| URI | m2://inv/FEXN1FCBJB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#thm:S1rec (statement). In N54F33XE07, lem, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
FEY8TZ985Q FEY8TZ985Q
| URI | m2://inv/FEY8TZ985Q |
|---|---|
| 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.21322#Q7TA (statement). In CNDA8DBEGD/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.4.2
An explicit nonconstant product--log complex FEY94NAVW9
| URI | m2://inv/FEY94NAVW9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-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.27799#1EZV, An explicit nonconstant product--log complex (example)
History
- 2026-11-01: add by m2/v0.6.15
Siegel operator FEYD2VT0FR
| URI | m2://inv/FEYD2VT0FR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel operator, Siegel operator (definition). Also Wikidata Q18574158
History
- 2026-11-02: add by m2/dev
Lethargy theorem FEYDG32MDM
| URI | m2://inv/FEYDG32MDM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lethargy theorem, Lethargy theorem (statement). Also Wikidata Q6533272
History
- 2026-11-02: add by m2/dev
Formulation FEYDNKV2N8
| URI | m2://inv/FEYDNKV2N8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leibniz operator#476C, Formulation (definition)
History
- 2026-11-02: add by m2/dev
FEYPFHBA66 FEYPFHBA66
| URI | m2://inv/FEYPFHBA66 |
|---|---|
| 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.21929#VSQ2 (statement). In 2PP4XRVS0J/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.2
FEYRHN80ME FEYRHN80ME
| URI | m2://inv/FEYRHN80ME |
|---|---|
| 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.21078#S6T1 (statement). In S95P85BHRQ/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.2
FEZ4Y9ZAE6 FEZ4Y9ZAE6
| URI | m2://inv/FEZ4Y9ZAE6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-3.xml#example-2 (example). In 649HGZKE96, example, section 4.3.2
History
- 2026-11-01: add by m2/v0.6.13
Largest empty sphere FEZ56K8JEK
| URI | m2://inv/FEZ56K8JEK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Largest empty sphere, Largest empty sphere (definition). Also Wikidata Q3089190
History
- 2026-11-02: add by m2/dev
Beurling zeta function FEZ76BWQBH
| URI | m2://inv/FEZ76BWQBH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beurling zeta function, Beurling zeta function (definition). Also Wikidata Q4899294
History
- 2026-11-02: add by m2/dev
Termites FEZ9ZAPZXW
| URI | m2://inv/FEZ9ZAPZXW |
|---|---|
| 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#CH8J, Termites (unknown)
History
- 2026-11-02: add by m2/dev
rules of type theory FEZBEEZJ55
| URI | m2://inv/FEZBEEZJ55 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4/rules-of-type-theory, rules of type theory (concept). In N54F33XE07, index, section 4
History
- 2026-11-01: add by m2/v0.6.13
FEZEBRD2KP FEZEBRD2KP
| URI | m2://inv/FEZEBRD2KP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2607.25960#PEK6 (statement). In 13GSWBXPCM/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
Uses FEZXAT7X5N
| URI | m2://inv/FEZXAT7X5N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Encryption#HRHT, Uses (example)
History
- 2026-11-02: add by m2/dev
FEZY525GWR FEZY525GWR
| URI | m2://inv/FEZY525GWR |
|---|---|
| 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.04323#CFEO (statement). In 3Z0D2NCJ0B/e1, lemma 30
History
- 2026-10-29: add by m2/v0.4.12