Inventory rows 5Y
The cards of the rows of the inventory whose ids start with 5Y. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Properties 5Y0C2T20ZB
| URI | m2://inv/5Y0C2T20ZB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergence of random variables#G1G3, Properties (statement)
History
- 2026-11-02: add by m2/dev
5Y13C5RH68 5Y13C5RH68
| URI | m2://inv/5Y13C5RH68 |
|---|---|
| Kind | example |
| 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 2310.14879#AYDB (example). In 3VZ55B2N0D/e1, example 6.6
History
- 2026-10-27: add by m2/v0.4.0
5Y1FSFWX39 5Y1FSFWX39
| URI | m2://inv/5Y1FSFWX39 |
|---|---|
| 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.31811#RYYF (statement). In A8ZBZW9RNA/e1, lemma 6.1
History
- 2026-10-31: add by m2/v0.5.6
Hilbert responses: fractional source and noise 5Y1M1B7S0E
| URI | m2://inv/5Y1M1B7S0E |
|---|---|
| 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.05388#ZY5E, Hilbert responses: fractional source and noise (statement). In 4HJK1986EJ/e1, proposition C.1
History
- 2026-10-29: add by m2/v0.4.10
Locality principle 5Y1M9V08ZE
| URI | m2://inv/5Y1M9V08ZE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#C0CG, Locality principle (unknown)
History
- 2026-11-02: add by m2/dev
Statement 5Y1TJAM77F
| URI | m2://inv/5Y1TJAM77F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom schema of specification#D5HQ, Statement (statement)
History
- 2026-11-02: add by m2/dev
Base 9 5Y2007J2QQ
| URI | m2://inv/5Y2007J2QQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ternary numeral system#CAH1, Base 9 (unknown)
History
- 2026-11-02: add by m2/dev
5Y2029MMCJ 5Y2029MMCJ
| URI | m2://inv/5Y2029MMCJ |
|---|---|
| Kind | definition |
| 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.18847#G057 (definition). In DZ12XTTJSM/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Pinar Heggernes 5Y2B1070T4
| URI | m2://inv/5Y2B1070T4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Y69F, Pinar Heggernes (unknown)
History
- 2026-11-02: add by m2/dev
Tightness in $\mathcal D(\R_+; \mathcal C_\R^\text{tem})$ 5Y2KM4V1D2
| URI | m2://inv/5Y2KM4V1D2 |
|---|---|
| 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.02669#KOL3, Tightness in $\mathcal D(\R_+; \mathcal C_\R^\text{tem})$ (statement). In NSBSWH6XB4/e1, theorem 7.5
History
- 2026-10-29: add by m2/v0.4.12
5Y2Q5AY3ZA 5Y2Q5AY3ZA
| URI | m2://inv/5Y2Q5AY3ZA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13518#J1E3 (statement). In 613TY6V089/e1, lemma 13
History
- 2026-10-28: add by m2/v0.4.2
5Y2QMD3KTS 5Y2QMD3KTS
| URI | m2://inv/5Y2QMD3KTS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#J4RZ (statement). In 9B5TNEBJHV/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Albert Laurence Blakers 5Y2QN7BNKS
| URI | m2://inv/5Y2QN7BNKS |
|---|---|
| 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 Q102175691, Albert Laurence Blakers (unknown). Also nLab Albert Blakers
History
- 2026-10-26: add by m2/dev
5Y2RGAX6SX 5Y2RGAX6SX
| URI | m2://inv/5Y2RGAX6SX |
|---|---|
| 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 2401.00191#XCE7 (example). In ZMH2KJDAWJ/e1, example 3.1
History
- 2026-10-27: add by m2/v0.3.5
Second-layer defect 5Y2XVVEN2G
| URI | m2://inv/5Y2XVVEN2G |
|---|---|
| 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.14509#PZGN, Second-layer defect (statement). In N6GD8392QB/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.2
impredicative, truncation 5Y2ZAWXWZF
| URI | m2://inv/5Y2ZAWXWZF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.11/impredicative-truncation, impredicative, truncation (concept). In N54F33XE07, index, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Someshvara III 5Y31ZHQA7T
| URI | m2://inv/5Y31ZHQA7T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#H1AS, Someshvara III (unknown)
History
- 2026-11-02: add by m2/dev
Definition 5Y36WBQV9C
| URI | m2://inv/5Y36WBQV9C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pairing-based cryptography#5L6X, Definition (definition)
History
- 2026-11-02: add by m2/dev
Generalization 5Y38FCPR4K
| URI | m2://inv/5Y38FCPR4K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blumenthal's zero–one law#8ISF, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Ying Hung 5Y391DA73S
| URI | m2://inv/5Y391DA73S |
|---|---|
| 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#YHZY, Ying Hung (topic)
History
- 2026-11-02: add by m2/dev
5Y3BFZD1Q0 5Y3BFZD1Q0
| URI | m2://inv/5Y3BFZD1Q0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-31 (exercise). In E59CDZA4DP, exercise, section 5.4.3
History
- 2026-11-01: add by m2/v0.6.13
solution 5Y3NHB3M0N
| URI | m2://inv/5Y3NHB3M0N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#O5FY, solution (definition)
History
- 2026-11-02: add by m2/dev
Generalization 5Y3PQ1VQ5M
| URI | m2://inv/5Y3PQ1VQ5M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clutching construction#IBNV, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Numerical solution of the convection–diffusion equation 5Y3Q5ZPYSM
| URI | m2://inv/5Y3Q5ZPYSM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical solution of the convection–diffusion equation, Numerical solution of the convection–diffusion equation (definition). Also Wikidata Q17104838
History
- 2026-11-02: add by m2/dev
5Y3WDTRBWD 5Y3WDTRBWD
| URI | m2://inv/5Y3WDTRBWD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-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.21860#9L2M (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mellin integral of a Bessel mode 5Y3Y2330XC
| URI | m2://inv/5Y3Y2330XC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2501.09848#RAF7, Mellin integral of a Bessel mode (statement). In HF7YNMW39N/e1, lemma 10.1
History
- 2026-10-27: add by m2/v0.4.0
Loop equation 5Y415T381V
| URI | m2://inv/5Y415T381V |
|---|---|
| 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.25301#SXBI, Loop equation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fast cosine transform 5Y421SM74V
| URI | m2://inv/5Y421SM74V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier analysis topics#W75D, Fast cosine transform (definition)
History
- 2026-11-02: add by m2/dev
5Y4935BP2C 5Y4935BP2C
| URI | m2://inv/5Y4935BP2C |
|---|---|
| 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.11481#U8MS (statement). In 8XHK5ZCX7H/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.3
5Y4GXXHQDM 5Y4GXXHQDM
| URI | m2://inv/5Y4GXXHQDM |
|---|---|
| Kind | definition |
| 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 2205.09049#X65H (definition). In 37S7MNMZ2F/e1, definition 85
History
- 2026-10-27: add by m2/v0.3.5
5Y4QX386WC 5Y4QX386WC
| URI | m2://inv/5Y4QX386WC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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.28411#B355 (statement)
History
- 2026-11-01: add by m2/v0.6.15
5Y4WP39KV8 5Y4WP39KV8
| URI | m2://inv/5Y4WP39KV8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-numbth.ptx#exercise-17 (exercise). In Y91XFCEVHQ, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
5Y4YC7Z80C 5Y4YC7Z80C
| URI | m2://inv/5Y4YC7Z80C |
|---|---|
| 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 2609.36811#XWG8 (example). In ZQDX8E43SQ/e1, example 4
History
- 2026-10-30: add by m2/v0.4.12
5Y53M5F0GY 5Y53M5F0GY
| URI | m2://inv/5Y53M5F0GY |
|---|---|
| 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.04411#9M6B (statement). In 6AY8SX3XBW/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
5Y5ADZ32BD 5Y5ADZ32BD
| URI | m2://inv/5Y5ADZ32BD |
|---|---|
| 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.01071#47I8 (statement). In X1YF62ZFB6/e1, lemma 13
History
- 2026-10-29: add by m2/v0.4.12
5Y5DJSYPJB 5Y5DJSYPJB
| URI | m2://inv/5Y5DJSYPJB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/verification.tex#lem:valid-if-halt (statement). In PKGMM3P5QY, lem, section 87.3
History
- 2026-11-01: add by m2/v0.6.13
5Y5GH6DJJ4 5Y5GH6DJJ4
| URI | m2://inv/5Y5GH6DJJ4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1808.00180#QZC2 (definition). In XDYCG8DVHE/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
5Y5JZXQH3T 5Y5JZXQH3T
| URI | m2://inv/5Y5JZXQH3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0009023#ZKPO (statement). In S937GXH9AS/e1, corollary 2
History
- 2026-10-27: add by m2/v0.3.5
Example 5Y5MQ5Y2SM
| URI | m2://inv/5Y5MQ5Y2SM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian game#ZAE4, Example (example)
History
- 2026-11-02: add by m2/dev
supplementary angle 5Y6BG9Q1J2
| URI | m2://inv/5Y6BG9Q1J2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#6I4H, supplementary angle (definition)
History
- 2026-11-02: add by m2/dev
5Y6EW03EP4 5Y6EW03EP4
| URI | m2://inv/5Y6EW03EP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.24465#3TG9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Riemann–Hurwitz formula 5Y6FYQKC6A
| URI | m2://inv/5Y6FYQKC6A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#FN47, Riemann–Hurwitz formula (statement)
- wikipedia: Wikipedia List of curves topics#G5VN, Riemann–Hurwitz formula (statement)
History
- 2026-11-02: add by m2/dev
5Y6Q1877GN 5Y6Q1877GN
| URI | m2://inv/5Y6Q1877GN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03004#EVMI (statement). In 81SMTFDWJ9/e1, theorem A.1
History
- 2026-10-29: add by m2/v0.4.12
Examples 5Y6TM8SFE3
| URI | m2://inv/5Y6TM8SFE3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy hierarchy#7CBV, Examples (example)
History
- 2026-11-02: add by m2/dev
5Y6TRMV5Q2 5Y6TRMV5Q2
| URI | m2://inv/5Y6TRMV5Q2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#3AK5 (statement). In BSWNH3NW1M/e1, lemma 7.4
History
- 2026-10-27: add by m2/v0.4.0
Doomsday conjecture 5Y6TW19Z6V
| URI | m2://inv/5Y6TW19Z6V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doomsday conjecture, Doomsday conjecture (statement). Also Wikidata Q5297129
History
- 2026-11-02: add by m2/dev
Theorem 5Y6YJWHBHW
| URI | m2://inv/5Y6YJWHBHW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sublinear function#G3K2, Theorem (statement)
History
- 2026-11-02: add by m2/dev
5Y7742WS6V 5Y7742WS6V
| URI | m2://inv/5Y7742WS6V |
|---|---|
| Kind | definition |
| 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.23098#GUYA (definition)
History
- 2026-11-02: add by m2/v0.6.17
5Y780FKCJV 5Y780FKCJV
| URI | m2://inv/5Y780FKCJV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2308.05066#UWU8 (statement). In 1QSCT53ZED/e1, lemma 7.12
History
- 2026-10-27: add by m2/v0.4.0
Euler's differential equation 5Y7B9KNCX8
| URI | m2://inv/5Y7B9KNCX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#P11P, Euler's differential equation (definition)
History
- 2026-11-02: add by m2/dev
5Y7HQH1YHP 5Y7HQH1YHP
| URI | m2://inv/5Y7HQH1YHP |
|---|---|
| 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 1008.4946#GFZ5 (definition). In R4ZM6Q4SHH/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
5Y7Q4H7JEY 5Y7Q4H7JEY
| URI | m2://inv/5Y7Q4H7JEY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-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 2505.04593#RWSJ (definition). In PEXJPV3NP8/e1, definition 2.16
History
- 2026-10-27: add by m2/v0.3.5
5Y7V508M4S 5Y7V508M4S
| URI | m2://inv/5Y7V508M4S |
|---|---|
| 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 2506.21337#H5FM (statement). In EPZN0JTG2Z/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
5Y8516G1ZT 5Y8516G1ZT
| URI | m2://inv/5Y8516G1ZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.10558#H368 (statement). In GYSF9JXQCH/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
Continuous mapping theorem 5Y88X52GGB
| URI | m2://inv/5Y88X52GGB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#22KS, Continuous mapping theorem (statement)
History
- 2026-11-02: add by m2/dev
bicorn 5Y8G7TEYWX
| URI | m2://inv/5Y8G7TEYWX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#LM8X, bicorn (definition)
History
- 2026-11-02: add by m2/dev
Geer, Sara van de 5Y8N1N7TWV
| URI | m2://inv/5Y8N1N7TWV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#E3KZ, Geer, Sara van de (topic)
History
- 2026-11-02: add by m2/dev
Mathieu group 5Y8SNDW35H
| URI | m2://inv/5Y8SNDW35H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Mathieu groups T1KR4KPX8P |
Mentions
- wikidata: Wikidata Q934200, Mathieu group (concept). Also EoM Mathieu_group, nLab Mathieu group
- wikipedia: Wikipedia Mathieu group, Mathieu group (definition). Also Wikidata Q934200
History
- 2026-10-26: add by m2/dev
limit of a function 5Y8W3YESGJ
| URI | m2://inv/5Y8W3YESGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#TNZU, limit of a function (definition)
History
- 2026-11-02: add by m2/dev
5Y8W79PDQC 5Y8W79PDQC
| URI | m2://inv/5Y8W79PDQC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-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.34845#XJ6J (statement). In SBZNH932ZV/e1, theorem 5.3
History
- 2026-10-30: add by m2/v0.4.12
David Slepian 5Y8XCYJG1Y
| URI | m2://inv/5Y8XCYJG1Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#H1WO, David Slepian (topic)
History
- 2026-11-02: add by m2/dev
5Y8Z93XB2A 5Y8Z93XB2A
| URI | m2://inv/5Y8Z93XB2A |
|---|---|
| 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 2301.02848#AWHP (statement). In G6WQDW52TJ/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.6
5Y8ZNV7TC3 5Y8ZNV7TC3
| URI | m2://inv/5Y8ZNV7TC3 |
|---|---|
| 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 2511.08099#1KMD (statement). In 5NK801XBGA/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
5Y90GP8XHZ 5Y90GP8XHZ
| URI | m2://inv/5Y90GP8XHZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#example-5 (example). In E9HS8K3A52, example, section 7.1.3
History
- 2026-11-01: add by m2/v0.6.13
Generalizations 5Y96JN5P06
| URI | m2://inv/5Y96JN5P06 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modulo#E819, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Jayadev Athreya 5Y9AG4MNMG
| URI | m2://inv/5Y9AG4MNMG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jayadev Athreya, Jayadev Athreya (topic). Also Wikidata Q102300419
History
- 2026-11-02: add by m2/dev
5Y9K3S49Y6 5Y9K3S49Y6
| URI | m2://inv/5Y9K3S49Y6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.38735#I72P (statement). In XZ71J0DQSE/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
5Y9KCTHPZ9 5Y9KCTHPZ9
| URI | m2://inv/5Y9KCTHPZ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03628#PL6O (statement). In P8KT6JV9N1/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.12
ordinal number 5Y9MH092HR
| URI | m2://inv/5Y9MH092HR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 3 |
| Outcome | node (a node has the same name as the row) |
| Node | Ordinal number 0RDJK7EQYY |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Set theory > Ordinals > ordinal, ordinal (unknown). Also Mathlib Ordinal
- wikidata: Wikidata Q191780, ordinal number (definition). Also Mathlib Ordinal, MathWorld OrdinalNumber, ProofWiki Definition:Ordinal
- wikipedia: Wikipedia Ordinal number, Ordinal number (definition). Also Wikidata Q191780
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Further rational principles for unary PIL 5Y9N27DZWM
| URI | m2://inv/5Y9N27DZWM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pure inductive logic#TDFE, Further rational principles for unary PIL (statement)
History
- 2026-11-02: add by m2/dev
5Y9XF5WZSV 5Y9XF5WZSV
| URI | m2://inv/5Y9XF5WZSV |
|---|---|
| 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 2011.11439#IK73 (statement). In 9Z8RSQ36JC/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
Blaney–Criddle equation 5YA8H5XBN3
| URI | m2://inv/5YA8H5XBN3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blaney–Criddle equation, Blaney–Criddle equation (definition). Also Wikidata Q4925061
History
- 2026-11-02: add by m2/dev
Survey length 5YA9F5VS16
| URI | m2://inv/5YA9F5VS16 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Survey methodology#M1CU, Survey length (unknown)
History
- 2026-11-02: add by m2/dev
Arthur–Merlin protocol 5YABWKC5XN
| URI | m2://inv/5YABWKC5XN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#36UE, Arthur–Merlin protocol (definition)
History
- 2026-11-02: add by m2/dev
5YAHCYD88B 5YAHCYD88B
| URI | m2://inv/5YAHCYD88B |
|---|---|
| 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 2610.13385#A9XB (example). In J99CBQ3QYD/e1, example 3.1
History
- 2026-10-28: add by m2/v0.4.2
5YANHGT53W 5YANHGT53W
| URI | m2://inv/5YANHGT53W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07890#LAQ0 (statement). In 6F3GSDT2V1/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
5YAYJ0NJCC 5YAYJ0NJCC
| URI | m2://inv/5YAYJ0NJCC |
|---|---|
| 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#6EJK (definition). In 68AE571S4P/e1, definition 2.24
History
- 2026-10-29: add by m2/v0.4.10
Locations for evaluation 5YB4PNV3D8
| URI | m2://inv/5YB4PNV3D8 |
|---|---|
| Kind | definition |
| 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 math/0003117#NO7P, Locations for evaluation (definition). In WD2NCBV9F0/e1, definition 9.18
History
- 2026-10-27: add by m2/v0.3.5
Order-5 icosahedral 120-cell honeycomb 5YB906NDD1
| URI | m2://inv/5YB906NDD1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-5 icosahedral 120-cell honeycomb, Order-5 icosahedral 120-cell honeycomb (definition). Also Wikidata Q17077997
History
- 2026-11-02: add by m2/dev
Gel, Yulia 5YBP9E41WA
| URI | m2://inv/5YBP9E41WA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#01R3, Gel, Yulia (topic)
History
- 2026-11-02: add by m2/dev
Properties 5YBQM2P04B
| URI | m2://inv/5YBQM2P04B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fitting length#VTPT, Properties (statement)
History
- 2026-11-02: add by m2/dev
Clarke's dual-action formula 5YBREE2WJV
| URI | m2://inv/5YBREE2WJV |
|---|---|
| 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.37794#PXLO, Clarke's dual-action formula (statement). In ACFC6XHAMQ/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
Self-report study 5YC09QZBP0
| URI | m2://inv/5YC09QZBP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-report study, Self-report study (definition). Also Wikidata Q16255102
History
- 2026-11-02: add by m2/dev
C. R. Rao 5YC79FNMNE
| URI | m2://inv/5YC79FNMNE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6QXL, C. R. Rao (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1LK2, C. R. Rao (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#J2EL, C. R. Rao (topic)
History
- 2026-11-02: add by m2/dev
arcus cotangent 5YCD9EX872
| URI | m2://inv/5YCD9EX872 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q385736, arcus cotangent (definition). Also MathWorld InverseCotangent, ProofWiki Definition:Inverse_Cotangent
History
- 2026-10-26: add by m2/dev
Generalizations 5YCEJ76FYE
| URI | m2://inv/5YCEJ76FYE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structure theorem for finitely generated modules over a principal ideal domain#8IFK, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Easy 5YCEV0CAA5
| URI | m2://inv/5YCEV0CAA5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-18, Easy (exercise). In E59CDZA4DP, exercise, section 11.2.4
History
- 2026-11-01: add by m2/v0.6.13
5YCN70PRPB 5YCN70PRPB
| URI | m2://inv/5YCN70PRPB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.33590#SVS1 (definition). In WRE0P7V6Z3/e1, definition D.11
History
- 2026-10-30: add by m2/v0.4.12
5YCPHCDQH7 5YCPHCDQH7
| URI | m2://inv/5YCPHCDQH7 |
|---|---|
| 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.21724#EA4G (statement). In EDDJCSBMXN/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.4.2
fundamental groupoid 5YCS3H2028
| URI | m2://inv/5YCS3H2028 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#OYMR, fundamental groupoid (definition)
History
- 2026-11-02: add by m2/dev
Herbert Federer 5YCWRDZ7Z1
| URI | m2://inv/5YCWRDZ7Z1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#B2P3, Herbert Federer (topic)
History
- 2026-11-02: add by m2/dev
Cupola 5YD0R0VJ12
| URI | m2://inv/5YD0R0VJ12 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#DGW6, Cupola (definition)
History
- 2026-11-02: add by m2/dev
František Wolf 5YD6HQ27TY
| URI | m2://inv/5YD6HQ27TY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia František Wolf, František Wolf (topic). Also Wikidata Q5492607
History
- 2026-11-02: add by m2/dev
4-position 5YD6NHTW51
| URI | m2://inv/5YD6NHTW51 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four-vector#KKFI, 4-position (unknown)
History
- 2026-11-02: add by m2/dev
Lieb–Oxford inequality 5YD6W9NE5K
| URI | m2://inv/5YD6W9NE5K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lieb–Oxford inequality, Lieb–Oxford inequality (statement). Also Wikidata Q25303681
History
- 2026-11-02: add by m2/dev
Cauchy–Kowalevski theorem 5YDAZN2WF2
| URI | m2://inv/5YDAZN2WF2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#0XSJ, Cauchy–Kowalevski theorem (statement)
History
- 2026-11-02: add by m2/dev
5YDJKQ48E2 5YDJKQ48E2
| URI | m2://inv/5YDJKQ48E2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 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 2610.18302#DZXY (example). In VJTRH1S4JA/e1, example 4.28
History
- 2026-10-28: add by m2/v0.4.2
Using Bézout's identity 5YDP6Y5EZ7
| URI | m2://inv/5YDP6Y5EZ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid's lemma#LSCX, Using Bézout's identity (statement)
History
- 2026-11-02: add by m2/dev
Tilts are free 5YDR19R240
| URI | m2://inv/5YDR19R240 |
|---|---|
| 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.35418#LYPO, Tilts are free (statement). In JHD3TW67QT/e1, lemma 26
History
- 2026-10-30: add by m2/v0.4.12
Uniqueness of geodesics 5YDRG0VKQC
| URI | m2://inv/5YDRG0VKQC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-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.24610#0I62, Uniqueness of geodesics (statement)
History
- 2026-11-01: add by m2/v0.6.15
Vincent Pilloni 5YDXBC45XQ
| URI | m2://inv/5YDXBC45XQ |
|---|---|
| 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#09NL, Vincent Pilloni (topic)
History
- 2026-11-02: add by m2/dev
5YDYFBBT8Q 5YDYFBBT8Q
| URI | m2://inv/5YDYFBBT8Q |
|---|---|
| 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.03420#PBFH (definition). In TG11SZZQCR/e1, definition 5.2
History
- 2026-10-29: add by m2/v0.4.12
5YE0CWVGSE 5YE0CWVGSE
| URI | m2://inv/5YE0CWVGSE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37606#OZ4Y (statement). In WNFW6GY38C/e1, theorem 4.2
History
- 2026-10-30: add by m2/v0.4.12
Order-7 triangular tiling 5YE4EQFRHC
| URI | m2://inv/5YE4EQFRHC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-7 triangular tiling, Order-7 triangular tiling (definition). Also Wikidata Q7100409
History
- 2026-11-02: add by m2/dev
Category of algebras 5YE610F1P8
| URI | m2://inv/5YE610F1P8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category of rings#6AE6, Category of algebras (unknown)
History
- 2026-11-02: add by m2/dev
5YE68M8RFC 5YE68M8RFC
| URI | m2://inv/5YE68M8RFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#YZL7 (statement). In GYMGDQS25R/e1, lemma 6.9
History
- 2026-10-29: add by m2/v0.4.10
5YE9C6F649 5YE9C6F649
| URI | m2://inv/5YE9C6F649 |
|---|---|
| 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.02484#N0XV (statement). In D1V0MQZTFQ/e1, theorem 2.6
History
- 2026-10-29: add by m2/v0.4.12
Lévy arcsine law 5YEFCF4JN1
| URI | m2://inv/5YEFCF4JN1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6711212, Lévy arcsine law (unknown). Also EoM Arcsine_law
- wikipedia: Wikipedia Arcsine laws (Wiener process), Arcsine laws (statement). Also Wikidata Q6711212
History
- 2026-10-26: add by m2/dev
Key principles 5YEP7MYS54
| URI | m2://inv/5YEP7MYS54 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia W. Edwards Deming#T2BU, Key principles (statement)
History
- 2026-11-02: add by m2/dev
Sensitivity to reference-label deviation 5YERRMEXDC
| URI | m2://inv/5YERRMEXDC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32652#4KTZ, Sensitivity to reference-label deviation (statement). In 6KAZWJ8RFX/e1, proposition 5.5
History
- 2026-10-31: add by m2/v0.5.6
Löwenheim number 5YEY40FM20
| URI | m2://inv/5YEY40FM20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Löwenheim number, Löwenheim number (definition). Also Wikidata Q4988715
History
- 2026-11-02: add by m2/dev
5YF2SP0TES 5YF2SP0TES
| URI | m2://inv/5YF2SP0TES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21765#FDCB (statement)
History
- 2026-11-02: add by m2/v0.6.18
5YF84DJBJ8 5YF84DJBJ8
| URI | m2://inv/5YF84DJBJ8 |
|---|---|
| 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 2103.02468#9MR6 (statement). In Q7C6G66CWM/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
Zero-one law 5YF98CHYMB
| URI | m2://inv/5YF98CHYMB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic of graphs#FMYG, Zero-one law (statement)
History
- 2026-11-02: add by m2/dev
resultant 5YFA41MAFP
| URI | m2://inv/5YFA41MAFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Resultant NNPHTWF645 |
Mentions
- wikidata: Wikidata Q1168321, resultant (unknown). Also MathWorld Resultant, nLab resultant
- wikipedia: Wikipedia Resultant, Resultant (definition). Also Wikidata Q1168321
History
- 2026-10-26: add by m2/dev
5YFD5NKT9V 5YFD5NKT9V
| URI | m2://inv/5YFD5NKT9V |
|---|---|
| Kind | statement |
| 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#3R7J (statement). In CGA36VE1C5/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.6
Ivan Losev 5YFGJR0S68
| URI | m2://inv/5YFGJR0S68 |
|---|---|
| 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#YQGE, Ivan Losev (topic)
History
- 2026-11-02: add by m2/dev
Contextual lexical system 5YFH973SXP
| URI | m2://inv/5YFH973SXP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.20207#U093, Contextual lexical system (definition)
History
- 2026-11-02: add by m2/v0.6.18
Category fibered in groupoid 5YG0PFXBCX
| URI | m2://inv/5YG0PFXBCX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibred category#78RF, Category fibered in groupoid (unknown)
History
- 2026-11-02: add by m2/dev
5YG2BH4CKK 5YG2BH4CKK
| URI | m2://inv/5YG2BH4CKK |
|---|---|
| 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 2609.30600#5H0Y (statement). In BKGWH9ZN4J/e1, lemma 6.1
History
- 2026-10-31: add by m2/v0.5.6
Open problem 5YG6E6XHD9
| URI | m2://inv/5YG6E6XHD9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Location testing for Gaussian scale mixture distributions#IAUF, Open problem (statement)
History
- 2026-11-02: add by m2/dev
5YG6FJX3MT 5YG6FJX3MT
| URI | m2://inv/5YG6FJX3MT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-10 (exercise). In E59CDZA4DP, exercise, section 1.2.4
History
- 2026-11-01: add by m2/v0.6.13
5YG6M4QQQF 5YG6M4QQQF
| URI | m2://inv/5YG6M4QQQF |
|---|---|
| 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.38838#EVRU (statement). In 3EH8M9GWTX/e1, corollary 4.12
History
- 2026-10-30: add by m2/v0.4.12
5YG7B3EBJB 5YG7B3EBJB
| URI | m2://inv/5YG7B3EBJB |
|---|---|
| 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.09483#ISG9 (statement). In N1MQ8F9JN6/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.10
5YGF06WC7F 5YGF06WC7F
| URI | m2://inv/5YGF06WC7F |
|---|---|
| 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.06546#RWAY (statement). In G6DK297DQN/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
5YGGQ2RMSY 5YGGQ2RMSY
| URI | m2://inv/5YGGQ2RMSY |
|---|---|
| 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 2307.02473#JNFX (definition). In RGXMK94YW1/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
normal modal logic 5YGM93H019
| URI | m2://inv/5YGM93H019 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q840226, normal modal logic (unknown). Also nLab normal modal logic
- wikipedia: Wikipedia Normal modal logic, Normal modal logic (definition). Also Wikidata Q840226
History
- 2026-10-26: add by m2/dev
Loop 5YGRCFQY43
| URI | m2://inv/5YGRCFQY43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loop (graph theory), Loop (definition). Also Wikidata Q512604
History
- 2026-11-02: add by m2/dev
calculus of fractions 5YGZFAQ18G
| URI | m2://inv/5YGZFAQ18G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#XTRL, calculus of fractions (definition)
History
- 2026-11-02: add by m2/dev
Dense full-tail focusing cascades 5YHB7GE6YD
| URI | m2://inv/5YHB7GE6YD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27813#2ITR, Dense full-tail focusing cascades (statement)
History
- 2026-11-01: add by m2/v0.6.15
What We Owe to Each Other 5YHBX7P693
| URI | m2://inv/5YHBX7P693 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T. M. Scanlon#UY4R, What We Owe to Each Other (unknown)
History
- 2026-11-02: add by m2/dev
R. Steinberg 5YHEHCDWMS
| URI | m2://inv/5YHEHCDWMS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#LW7X, R. Steinberg (unknown)
History
- 2026-11-02: add by m2/dev
5YHFXBA1N0 5YHFXBA1N0
| URI | m2://inv/5YHFXBA1N0 |
|---|---|
| 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.15525#25RZ (statement). In EFDRME13PT/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Leading-order approximation 5YHJFNBKYA
| URI | m2://inv/5YHJFNBKYA |
|---|---|
| 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.10393#5HCY, Leading-order approximation (statement). In ZGS97E3PB7/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
Uniform inverse-$\ell$ gap 5YHMMEJNP3
| URI | m2://inv/5YHMMEJNP3 |
|---|---|
| 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.24931#S43B, Uniform inverse-$\ell$ gap (statement)
History
- 2026-11-01: add by m2/v0.6.15
5YHXREQQR2 5YHXREQQR2
| URI | m2://inv/5YHXREQQR2 |
|---|---|
| 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 2202.10212#3KSU (statement). In E9ZQM8449P/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.3.6
Examples 5YJ1FWFV0Z
| URI | m2://inv/5YJ1FWFV0Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero divisor#CCGG, Examples (example)
History
- 2026-11-02: add by m2/dev
Ancient solution 5YJ2VDJ7G0
| URI | m2://inv/5YJ2VDJ7G0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ancient solution, Ancient solution (definition). Also Wikidata Q25304356
History
- 2026-11-02: add by m2/dev
5YJ3N0G2SF 5YJ3N0G2SF
| URI | m2://inv/5YJ3N0G2SF |
|---|---|
| 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.38865#5T0W (statement). In TFZNHCE6EV/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
Mathematical modelling in epidemiology 5YJ4D0QTFE
| URI | m2://inv/5YJ4D0QTFE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0YX8, Mathematical modelling in epidemiology (definition)
History
- 2026-11-02: add by m2/dev
5YJ924712F 5YJ924712F
| URI | m2://inv/5YJ924712F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-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.16605#2AJR (example). In KZ175036B5/e1, example 3.9
History
- 2026-10-28: add by m2/v0.4.2
Discrete choice 5YJH81ZEVD
| URI | m2://inv/5YJH81ZEVD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete choice, Discrete choice (definition). Also Wikidata Q5282043
History
- 2026-11-02: add by m2/dev
5YJJHFM3E7 5YJJHFM3E7
| URI | m2://inv/5YJJHFM3E7 |
|---|---|
| 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.28200#C5BO (statement)
History
- 2026-11-01: add by m2/v0.6.15
5YJTF81GBB 5YJTF81GBB
| URI | m2://inv/5YJTF81GBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-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 2609.28781#JWKX (statement)
History
- 2026-11-01: add by m2/v0.6.15
5YKGJPQWGT 5YKGJPQWGT
| URI | m2://inv/5YKGJPQWGT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/graphs.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 80.2
History
- 2026-11-01: add by m2/v0.6.13
Ample line bundle 5YKKE2VTYJ
| URI | m2://inv/5YKKE2VTYJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#4TWK, Ample line bundle (definition)
History
- 2026-11-02: add by m2/dev
Wilhelm Blaschke 5YKPG1CZ10
| URI | m2://inv/5YKPG1CZ10 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilhelm Blaschke, Wilhelm Blaschke (topic). Also Wikidata Q79078
History
- 2026-11-02: add by m2/dev
5YKYH5N3GW 5YKYH5N3GW
| URI | m2://inv/5YKYH5N3GW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#MJR5 (definition). In 7V3HG30ZGW/e1, definition 5.10
History
- 2026-10-27: add by m2/v0.4.0
History of Hindu Mathematics 5YM17BMQ93
| URI | m2://inv/5YM17BMQ93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of Hindu Mathematics, History of Hindu Mathematics (definition). Also Wikidata Q24948048
History
- 2026-11-02: add by m2/dev
Friedrichs' inequality 5YMD3W4C9T
| URI | m2://inv/5YMD3W4C9T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3711844, Friedrichs' inequality (statement). Also EoM Friedrichs_inequality
- wikipedia: Wikipedia Friedrichs' inequality, Friedrichs' inequality (statement). Also Wikidata Q3711844
History
- 2026-10-26: add by m2/dev
5YMJ4EWJ6G 5YMJ4EWJ6G
| URI | m2://inv/5YMJ4EWJ6G |
|---|---|
| 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 2208.14274#GLHU (statement). In 2FKE7JPQ76/e1, proposition 2.13
History
- 2026-10-27: add by m2/v0.3.5
Legendre function 5YMJASMP73
| URI | m2://inv/5YMJASMP73 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#HT4G, Legendre function (definition)
History
- 2026-11-02: add by m2/dev
Vierpolders 5YMTD8QWFA
| URI | m2://inv/5YMTD8QWFA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#4SKY, Vierpolders (unknown)
History
- 2026-11-02: add by m2/dev
Straddling checkerboard 5YMZZ95GQZ
| URI | m2://inv/5YMZZ95GQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straddling checkerboard, Straddling checkerboard (definition). Also Wikidata Q85803619
History
- 2026-11-02: add by m2/dev
language 5YNE29BYF0
| URI | m2://inv/5YNE29BYF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#NDW3, language (definition)
History
- 2026-11-02: add by m2/dev
5YNNY12A52 5YNNY12A52
| URI | m2://inv/5YNNY12A52 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09678#MI9F (statement). In 9VG7PNZHZT/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
5YNQM09XD4 5YNQM09XD4
| URI | m2://inv/5YNQM09XD4 |
|---|---|
| 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#R3OZ (statement). In BDN507RN7J/e1, proposition 5.2.7
History
- 2026-10-30: add by m2/v0.4.12
5YNRBQFPFP 5YNRBQFPFP
| URI | m2://inv/5YNRBQFPFP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.21255#IMUH (statement)
History
- 2026-11-02: add by m2/v0.6.18
5YNWMPDKXA 5YNWMPDKXA
| URI | m2://inv/5YNWMPDKXA |
|---|---|
| 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.02158#XTFM (statement). In PCV12VAD47/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.12
5YNX88G98Y 5YNX88G98Y
| URI | m2://inv/5YNX88G98Y |
|---|---|
| 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 2205.09049#DVX3 (statement). In 37S7MNMZ2F/e1, proposition 69
History
- 2026-10-27: add by m2/v0.3.5
5YNXPR0AKT 5YNXPR0AKT
| URI | m2://inv/5YNXPR0AKT |
|---|---|
| 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.02993#SY1O (statement). In TJH58FRGEN/e1, proposition 9.1
History
- 2026-10-29: add by m2/v0.4.12
Definition 5YP75EZBY5
| URI | m2://inv/5YP75EZBY5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear expectation#V92F, Definition (definition)
History
- 2026-11-02: add by m2/dev
Trihexaflexagon 5YPE2Z9AV7
| URI | m2://inv/5YPE2Z9AV7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flexagon#DIMI, Trihexaflexagon (unknown)
History
- 2026-11-02: add by m2/dev
Threshold for one-dimensional projected convex order 5YPG1AR31S
| URI | m2://inv/5YPG1AR31S |
|---|---|
| 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.07404#5J1F, Threshold for one-dimensional projected convex order (statement). In VAJ9MBT3SJ/e1, proposition 6
History
- 2026-10-29: add by m2/v0.4.10
Andrew B. Whinston 5YPKATAJ7P
| URI | m2://inv/5YPKATAJ7P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#G1ON, Andrew B. Whinston (unknown)
History
- 2026-11-02: add by m2/dev
5YPM5GBCA7 5YPM5GBCA7
| URI | m2://inv/5YPM5GBCA7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.07485#Q016 (definition). In 8KAC1E81JQ/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.5
flattening lemma 5YPMS76073
| URI | m2://inv/5YPMS76073 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.5.1/flattening-lemma, flattening lemma (concept). In N54F33XE07, index, section 7.5.1
History
- 2026-11-01: add by m2/v0.6.13
550 (number) 5YPPYBEHY3
| URI | m2://inv/5YPPYBEHY3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#OEB7, 550 (number) (unknown)
History
- 2026-11-02: add by m2/dev
5YPQG1PTWJ 5YPQG1PTWJ
| URI | m2://inv/5YPQG1PTWJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20385#0W6E (example). In 54HS9AHWPE/e1, example 1.7
History
- 2026-10-27: add by m2/v0.4.2
Maximum inner-product search 5YPTW9X5P2
| URI | m2://inv/5YPTW9X5P2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum inner-product search, Maximum inner-product search (definition). Also Wikidata Q112892318
History
- 2026-11-02: add by m2/dev
5YPYZNNYXN 5YPYZNNYXN
| URI | m2://inv/5YPYZNNYXN |
|---|---|
| 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.21994#MUEN (statement)
History
- 2026-11-02: add by m2/v0.6.17
5YPZB2TMWJ 5YPZB2TMWJ
| URI | m2://inv/5YPZB2TMWJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25291#LYVB (statement)
History
- 2026-11-01: add by m2/v0.6.15
5YQ01GNF2S 5YQ01GNF2S
| URI | m2://inv/5YQ01GNF2S |
|---|---|
| Kind | statement |
| 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.03661#E5X4 (statement). In ESDKTYDHC8/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.12
Discrete energy stability of both methods 5YQ7N33XEN
| URI | m2://inv/5YQ7N33XEN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21991#ZOB9, Discrete energy stability of both methods (statement). In KRBDK9J44X/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.4.2
Theorem 5YQNXG8DAR
| URI | m2://inv/5YQNXG8DAR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension (graph theory)#CTDD, Theorem (statement)
History
- 2026-11-02: add by m2/dev
5YQTBH9HG4 5YQTBH9HG4
| URI | m2://inv/5YQTBH9HG4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01888#1KQK (statement). In A89G9GMPC9/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
Examples 5YQVQCXN3X
| URI | m2://inv/5YQVQCXN3X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur–Zassenhaus theorem#Y8AP, Examples (example)
History
- 2026-11-02: add by m2/dev
Riordan array (1/(1-x), x(1+x+x^2+x^3)/(1-x)). 5YR0F3ZQDP
| URI | m2://inv/5YR0F3ZQDP |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100194139, Riordan array (1/(1-x), x(1+x+x^2+x^3)/(1-x)). (object). Also OEIS A103141
History
- 2026-10-26: add by m2/dev
octal 5YR0RWK918
| URI | m2://inv/5YR0RWK918 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q76463, octal (definition). Also MathWorld Octal, ProofWiki Definition:Octal_Notation
- wikipedia: Wikipedia Octal, Octal (definition). Also Wikidata Q76463
History
- 2026-10-26: add by m2/dev
Nakayama's lemma 5YR7R6J13X
| URI | m2://inv/5YR7R6J13X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#C1WI, Nakayama's lemma (definition)
History
- 2026-11-02: add by m2/dev
5YR8S9CQN9 5YR8S9CQN9
| URI | m2://inv/5YR8S9CQN9 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tuza's conjecture#QYZG (problem)
History
- 2026-11-02: add by m2/dev
completion 5YRCV0ZZSK
| URI | m2://inv/5YRCV0ZZSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#T8AA, completion (definition)
History
- 2026-11-02: add by m2/dev
766 (number) 5YRE9WK6JS
| URI | m2://inv/5YRE9WK6JS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#TNXO, 766 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Marquardt, Donald 5YRECQBA6Y
| URI | m2://inv/5YRECQBA6Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#5PLL, Marquardt, Donald (topic)
History
- 2026-11-02: add by m2/dev
5YRVH20ZAM 5YRVH20ZAM
| URI | m2://inv/5YRVH20ZAM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#WUME (example). In 7V2PVZS04C/e1, example 1.13
History
- 2026-10-31: add by m2/v0.5.6
5YRVXDWG3N 5YRVXDWG3N
| URI | m2://inv/5YRVXDWG3N |
|---|---|
| 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.11336#I9Q1 (statement). In X1R1GDAJ0Y/e1, corollary 2.22
History
- 2026-10-28: add by m2/v0.4.3
Galois invariants of $(G,X)$ 5YS1JVGCB1
| URI | m2://inv/5YS1JVGCB1 |
|---|---|
| Kind | definition |
| 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.18154#WIYH, Galois invariants of $(G,X)$ (definition). In 4W7ARR1DAR/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
congruence 5YS33S930E
| URI | m2://inv/5YS33S930E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#CCRJ, congruence (definition)
History
- 2026-11-02: add by m2/dev
Clifford algebra 5YS5JHDEKV
| URI | m2://inv/5YS5JHDEKV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#QWHR, Clifford algebra (definition)
History
- 2026-11-02: add by m2/dev
5YSB5GNKMS 5YSB5GNKMS
| URI | m2://inv/5YSB5GNKMS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-163 (exercise). In VNMV985MXX, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
5YSBJDSWEX 5YSBJDSWEX
| URI | m2://inv/5YSBJDSWEX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#prop:closedcomplete (statement). In E59CDZA4DP, prop, section 4.4.1
History
- 2026-11-01: add by m2/v0.6.13
5YSN1YJPES 5YSN1YJPES
| URI | m2://inv/5YSN1YJPES |
|---|---|
| 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 2406.19866#GF6J (statement). In 9F94CEQ1ZM/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Definition 5YSRY7VBAK
| URI | m2://inv/5YSRY7VBAK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli process#WURY, Definition (definition)
History
- 2026-11-02: add by m2/dev
5YSYEQ29VG 5YSYEQ29VG
| URI | m2://inv/5YSYEQ29VG |
|---|---|
| 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.18312#WIRF (statement). In NPEVE32HFP/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
5YTB5F8GB9 5YTB5F8GB9
| URI | m2://inv/5YTB5F8GB9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16731#8K1Z (statement). In D68KBZQ4Q6/e1, lemma 3.17
History
- 2026-10-28: add by m2/v0.4.2
5YV3ZT7AAS 5YV3ZT7AAS
| URI | m2://inv/5YV3ZT7AAS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25353#79F4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Variants 5YVBQXHFPB
| URI | m2://inv/5YVBQXHFPB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical induction#4VFO, Variants (statement)
History
- 2026-11-02: add by m2/dev
Change of boundary data 5YVEARWN0S
| URI | m2://inv/5YVEARWN0S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.21933#I7PN, Change of boundary data (statement)
History
- 2026-11-02: add by m2/v0.6.17
Results 5YVHYMXRK5
| URI | m2://inv/5YVHYMXRK5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Instanton#X3LF, Results (statement)
History
- 2026-11-02: add by m2/dev
Isomorphism problem of Coxeter groups 5YVWHZB5TK
| URI | m2://inv/5YVWHZB5TK |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isomorphism problem of Coxeter groups, Isomorphism problem of Coxeter groups (conjecture). Also Wikidata Q11301916
History
- 2026-11-02: add by m2/dev
Logical constant 5YVX9Z8E77
| URI | m2://inv/5YVX9Z8E77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical constant, Logical constant (definition). Also Wikidata Q1782658
History
- 2026-11-02: add by m2/dev
Properties 5YW8S73D0A
| URI | m2://inv/5YW8S73D0A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Narayana polynomials#33WF, Properties (statement)
History
- 2026-11-02: add by m2/dev
Lasota--Yorke inequality for the perturbed operators 5YW953YWYK
| URI | m2://inv/5YW953YWYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30274#AAPI, Lasota--Yorke inequality for the perturbed operators (statement). In 6ASPPVJP5M/e1, lemma 10
History
- 2026-10-31: add by m2/v0.5.6
cf.\ 5YWBC65WZH
| URI | m2://inv/5YWBC65WZH |
|---|---|
| Kind | definition |
| 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.25524#879V, cf.\ (definition)
History
- 2026-11-01: add by m2/v0.6.15
5YWDCQPWXZ 5YWDCQPWXZ
| URI | m2://inv/5YWDCQPWXZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24449#GKNK (statement)
History
- 2026-11-01: add by m2/v0.6.15
5YWEXG4WCA 5YWEXG4WCA
| URI | m2://inv/5YWEXG4WCA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 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 2502.14306#XCE3 (definition). In ZNBQD5WH1M/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
factorial prime 5YWG3J0Y1Q
| URI | m2://inv/5YWG3J0Y1Q |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q973861, factorial prime (unknown). Also MathWorld FactorialPrime, OEIS A088054
- wikipedia: Wikipedia Factorial prime, Factorial prime (object). Also Wikidata Q973861
History
- 2026-10-26: add by m2/dev
5YWKKZ7QMR 5YWKKZ7QMR
| URI | m2://inv/5YWKKZ7QMR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 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 math/0512416#521S (statement). In WJD9YPGGYH/e1, lemma 8.2
History
- 2026-10-27: add by m2/v0.3.5
Perfect matching in high-degree hypergraphs 5YWMDTQFKJ
| URI | m2://inv/5YWMDTQFKJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect matching in high-degree hypergraphs, Perfect matching in high-degree hypergraphs (topic). Also Wikidata Q97453176
History
- 2026-11-02: add by m2/dev
Properties 5YWMWW9NGE
| URI | m2://inv/5YWMWW9NGE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Owen's T function#Q9VE, Properties (statement)
History
- 2026-11-02: add by m2/dev
Construction 5YWS8TSBW5
| URI | m2://inv/5YWS8TSBW5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall algebra#2AL1, Construction (definition)
History
- 2026-11-02: add by m2/dev
José Martín Espinosa de los Monteros 5YX1JKBT92
| URI | m2://inv/5YX1JKBT92 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia José Martín Espinosa de los Monteros, José Martín Espinosa de los Monteros (topic). Also Wikidata Q5942488
History
- 2026-11-02: add by m2/dev
British Social Attitudes Survey 5YX3778FKZ
| URI | m2://inv/5YX3778FKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia British Social Attitudes Survey, British Social Attitudes Survey (definition). Also Wikidata Q4971037
History
- 2026-11-02: add by m2/dev
Theorem 5YXK3SSGAM
| URI | m2://inv/5YXK3SSGAM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vitali covering lemma#U133, Theorem (statement)
History
- 2026-11-02: add by m2/dev
5YXMCQZEAS 5YXMCQZEAS
| URI | m2://inv/5YXMCQZEAS |
|---|---|
| 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.19260#WIAR (statement). In PWXT7J9JX3/e1, theorem 6.4
History
- 2026-10-28: add by m2/v0.4.2
Spoofing 5YXTPD5Z2W
| URI | m2://inv/5YXTPD5Z2W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#9IA0, Spoofing (unknown)
History
- 2026-11-02: add by m2/dev
Definitions 5YY6KRKRXW
| URI | m2://inv/5YY6KRKRXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic geometry#74LQ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Formula 5YYC1FTBJS
| URI | m2://inv/5YYC1FTBJS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mason's gain formula#GMA5, Formula (statement)
History
- 2026-11-02: add by m2/dev
Examples 5YYTWRRNG9
| URI | m2://inv/5YYTWRRNG9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero–one law (logic)#TMM4, Examples (example)
History
- 2026-11-02: add by m2/dev
Landau–Ramanujan constant 5YYY8CRESF
| URI | m2://inv/5YYY8CRESF |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#Q5E6, Landau–Ramanujan constant (object)
History
- 2026-11-02: add by m2/dev
Rooted-tree response at level $k$ 5YZ2ZM484C
| URI | m2://inv/5YZ2ZM484C |
|---|---|
| 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.21454#YVDS, Rooted-tree response at level $k$ (statement). In ZP2RJFZ3V2/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.4.2
Global phase expansion without emission-section invariance 5YZYX8E9S0
| URI | m2://inv/5YZYX8E9S0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15686#KYU5, Global phase expansion without emission-section invariance (statement). In 4HCK722M2G/e1, lemma 5.11
History
- 2026-10-28: add by m2/v0.4.2