Inventory rows MN
The cards of the rows of the inventory whose ids start with MN. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Convex geometry MN025CWKQF
| URI | m2://inv/MN025CWKQF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex geometry, Convex geometry (topic). Also Wikidata Q1783542
History
- 2026-11-02: add by m2/dev
Quantitative causal $\lambda$-convexity of modified time separations MN03NJ261P
| URI | m2://inv/MN03NJ261P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.10051#S916, Quantitative causal $\lambda$-convexity of modified time separations (statement). In VCHH2AC34R/e1, theorem 2.15
History
- 2026-10-29: add by m2/v0.4.10
MN06Q50S39 MN06Q50S39
| URI | m2://inv/MN06Q50S39 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/characters.tex#example-2 (example). In RZP28ERRZV, example, section 79.2
History
- 2026-11-01: add by m2/v0.6.13
Evelyn Buckwar MN0JSN91R4
| URI | m2://inv/MN0JSN91R4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evelyn Buckwar, Evelyn Buckwar (topic). Also Wikidata Q15429974
History
- 2026-11-02: add by m2/dev
conformal bootstrap MN0SET648K
| URI | m2://inv/MN0SET648K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20707005, conformal bootstrap (unknown). Also nLab conformal bootstrap
- wikipedia: Wikipedia Conformal bootstrap, Conformal bootstrap (definition). Also Wikidata Q20707005
History
- 2026-10-26: add by m2/dev
MN0XFJN8F4 MN0XFJN8F4
| URI | m2://inv/MN0XFJN8F4 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 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.16475#8EDF (problem). In FM9SKN560Q/e1, problem 4.2
History
- 2026-10-28: add by m2/v0.4.2
MN171N1S8Q MN171N1S8Q
| URI | m2://inv/MN171N1S8Q |
|---|---|
| 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.14681#9OUA (statement). In 459W0NBS5Q/e1, corollary 3
History
- 2026-10-28: add by m2/v0.4.2
MN1B17A7HE MN1B17A7HE
| URI | m2://inv/MN1B17A7HE |
|---|---|
| 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.18600#Z2Q8 (statement). In 31D6TQVCNZ/e1, corollary 2.5
History
- 2026-10-28: add by m2/v0.4.2
Properties MN1DD5W7ER
| URI | m2://inv/MN1DD5W7ER |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Countably generated space#X8ZK, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples MN1HT30THT
| URI | m2://inv/MN1HT30THT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fiber bundle#IGCL, Examples (example)
History
- 2026-11-02: add by m2/dev
Robion Kirby MN1JPRF2J4
| URI | m2://inv/MN1JPRF2J4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MHO0, Robion Kirby (topic)
History
- 2026-11-02: add by m2/dev
Meissner body MN246J9SSY
| URI | m2://inv/MN246J9SSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#JSW7, Meissner body (definition)
History
- 2026-11-02: add by m2/dev
Saddle tower MN29XHVYHH
| URI | m2://inv/MN29XHVYHH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#QV9R, Saddle tower (definition)
- wikipedia: Wikipedia List of surfaces#O0HV, Saddle tower (definition)
History
- 2026-11-02: add by m2/dev
MN2M96WPH0 MN2M96WPH0
| URI | m2://inv/MN2M96WPH0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.39593#SN55 (statement). In BF0RYHPMS1/e1, proposition 3.7
History
- 2026-10-30: add by m2/v0.4.12
Birkhoff–von Neumann theorem MN2QK9KZGG
| URI | m2://inv/MN2QK9KZGG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doubly stochastic matrix#4T5A, Birkhoff–von Neumann theorem (statement)
History
- 2026-11-02: add by m2/dev
Profile-Sensitive Inner PID Syndrome MN2QQF02TJ
| URI | m2://inv/MN2QQF02TJ |
|---|---|
| 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#FHI0, Profile-Sensitive Inner PID Syndrome (statement). In D7NDCWSDJE/e1, theorem 8
History
- 2026-10-30: add by m2/v0.4.12
Aviv Regev MN2T7A1MP9
| URI | m2://inv/MN2T7A1MP9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MM7U, Aviv Regev (unknown)
History
- 2026-11-02: add by m2/dev
Lorenz 96 model MN2VWBF47F
| URI | m2://inv/MN2VWBF47F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorenz 96 model, Lorenz 96 model (definition). Also Wikidata Q6680551
History
- 2026-11-02: add by m2/dev
Christine Heitsch MN2ZQ22XQY
| URI | m2://inv/MN2ZQ22XQY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#21CK, Christine Heitsch (topic)
History
- 2026-11-02: add by m2/dev
Peter Szüsz MN34KFMCDK
| URI | m2://inv/MN34KFMCDK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Szüsz, Peter Szüsz (topic). Also Wikidata Q94900877
History
- 2026-11-02: add by m2/dev
Sem Borst MN3A2XSFEK
| URI | m2://inv/MN3A2XSFEK |
|---|---|
| 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#NBPZ, Sem Borst (unknown)
History
- 2026-11-02: add by m2/dev
Positively separated sets MN3TE5X67J
| URI | m2://inv/MN3TE5X67J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positively separated sets, Positively separated sets (definition). Also Wikidata Q7233308
History
- 2026-11-02: add by m2/dev
tensor conjugate transpose MN3TNVTYDF
| URI | m2://inv/MN3TNVTYDF |
|---|---|
| Kind | definition |
| 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 2505.04063#QKL9, tensor conjugate transpose (definition). In TFH7T63DX9/e1, definition A.6
History
- 2026-10-27: add by m2/v0.3.5
MN3TQ520RS MN3TQ520RS
| URI | m2://inv/MN3TQ520RS |
|---|---|
| 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.19464#SYFF (statement). In G8JCZ109A9/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Guo-Phong MN45R0591F
| URI | m2://inv/MN45R0591F |
|---|---|
| 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.39726#5R23, Guo-Phong (statement). In 4CTC8A57SD/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
Formation sequences for formulas MN465WYGRG
| URI | m2://inv/MN465WYGRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/formation-sequences.tex#defn:fseq-frm, Formation sequences for formulas (definition). In PKGMM3P5QY, defn, section 62.3
History
- 2026-11-01: add by m2/v0.6.13
Locally profinite group MN46SAHRS9
| URI | m2://inv/MN46SAHRS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally profinite group, Locally profinite group (definition). Also Wikidata Q6664696
History
- 2026-11-02: add by m2/dev
Jiahua Chen MN4B66AYXG
| URI | m2://inv/MN4B66AYXG |
|---|---|
| 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#QZ64, Jiahua Chen (topic)
History
- 2026-11-02: add by m2/dev
Definition MN4D82AFS5
| URI | m2://inv/MN4D82AFS5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Countably quasi-barrelled space#U83S, Definition (definition)
History
- 2026-11-02: add by m2/dev
Theorem MN4QV1T672
| URI | m2://inv/MN4QV1T672 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Round-off error#S4VY, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Hu-Tucker coding MN4RSQ3PB6
| URI | m2://inv/MN4RSQ3PB6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Huffman coding#KPQA, Hu-Tucker coding (unknown)
History
- 2026-11-02: add by m2/dev
MN4S1Z6P5M MN4S1Z6P5M
| URI | m2://inv/MN4S1Z6P5M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2503.22636#QLWI (statement). In 2X2A6MT0QD/e1, theorem B
History
- 2026-10-27: add by m2/v0.4.2
Heinz Hopf Prize MN4XFX57SY
| URI | m2://inv/MN4XFX57SY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heinz Hopf Prize, Heinz Hopf Prize (definition). Also Wikidata Q665671
History
- 2026-11-02: add by m2/dev
MN504FQBWE MN504FQBWE
| URI | m2://inv/MN504FQBWE |
|---|---|
| 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.24790#MXR0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition MN523H5J6Q
| URI | m2://inv/MN523H5J6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weil–Petersson metric#3BVA, Definition (definition)
History
- 2026-11-02: add by m2/dev
MN538XAGCC MN538XAGCC
| URI | m2://inv/MN538XAGCC |
|---|---|
| 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.24043#4JU8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Hypergraph MN53ZFMK7X
| URI | m2://inv/MN53ZFMK7X |
|---|---|
| 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 2610.09810#SKVN, Hypergraph (definition). In B6PCH930FV/e1, definition 8
History
- 2026-10-29: add by m2/v0.4.10
Raptor code MN57CS473B
| URI | m2://inv/MN57CS473B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raptor code, Raptor code (definition). Also Wikidata Q7294373
History
- 2026-11-02: add by m2/dev
Pong Hau K'i MN58EHYTPZ
| URI | m2://inv/MN58EHYTPZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q359049, Pong Hau K'i (unknown). Also MathWorld PongHauKi
History
- 2026-10-26: add by m2/dev
Algorithms MN5GC4NKK7
| URI | m2://inv/MN5GC4NKK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-linear least squares#VUXW, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
MN5N7GXZ7X MN5N7GXZ7X
| URI | m2://inv/MN5N7GXZ7X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2605.16669#GJMP (statement). In 1463YCCRP5/e1, theorem 7.12
History
- 2026-10-27: add by m2/v0.4.0
Examples MN5VE6B46N
| URI | m2://inv/MN5VE6B46N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient by an equivalence relation#G1IX, Examples (example)
History
- 2026-11-02: add by m2/dev
MN5WBZYXCN MN5WBZYXCN
| URI | m2://inv/MN5WBZYXCN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20013#QUYA (statement). In SC5JZQKZH6/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
Cramér's theorem (large deviations) MN617BZG0D
| URI | m2://inv/MN617BZG0D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#U7X3, Cramér's theorem (large deviations) (statement)
History
- 2026-11-02: add by m2/dev
Precision planning MN644CGC9Z
| URI | m2://inv/MN644CGC9Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Estimation statistics#CNP0, Precision planning (unknown)
History
- 2026-11-02: add by m2/dev
MN66RETVPM MN66RETVPM
| URI | m2://inv/MN66RETVPM |
|---|---|
| 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.11271#LQKS (statement). In HF7J38T8Y6/e1, corollary 2.4
History
- 2026-10-28: add by m2/v0.4.3
Gauss's constant MN690NMY81
| URI | m2://inv/MN690NMY81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#C73H, Gauss's constant (definition)
History
- 2026-11-02: add by m2/dev
MN6ETV2R8C MN6ETV2R8C
| URI | m2://inv/MN6ETV2R8C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/unique-readability.tex#prop:unique-atomic (statement). In PKGMM3P5QY, prop, section 22.2
History
- 2026-11-01: add by m2/v0.6.13
MN6J0HKFY0 MN6J0HKFY0
| URI | m2://inv/MN6J0HKFY0 |
|---|---|
| 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.32937#GWJT (statement). In RB0SJRQP6X/e1, corollary 2.2
History
- 2026-10-31: add by m2/v0.5.6
Jordan MN6Q6V6T3C
| URI | m2://inv/MN6Q6V6T3C |
|---|---|
| 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 Q810, Jordan (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Jordan
History
- 2026-10-26: add by m2/dev
Kernel descent to the local lattice MN70WNDC4R
| URI | m2://inv/MN70WNDC4R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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.04189#4E4F, Kernel descent to the local lattice (statement). In 1KRZ5ACTKE/e1, lemma 6.8
History
- 2026-10-29: add by m2/v0.4.12
MN733CH12Q MN733CH12Q
| URI | m2://inv/MN733CH12Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#WNK6 (definition). In S26QVW5613/e1, definition 4.2.2
History
- 2026-10-30: add by m2/v0.4.12
Sidon sequence MN765AKTYW
| URI | m2://inv/MN765AKTYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Sidon set BAADB7WHWZ |
Mentions
- wikidata: Wikidata Q748968, Sidon sequence (unknown). Also MathWorld B2-Sequence
- wikipedia: Wikipedia Sidon sequence, Sidon sequence (definition). Also Wikidata Q748968
History
- 2026-10-26: add by m2/dev
MN77F9EAKS MN77F9EAKS
| URI | m2://inv/MN77F9EAKS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 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.06338#BJS0 (statement). In F1CYVYK7YB/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
MN78A9NNRY MN78A9NNRY
| URI | m2://inv/MN78A9NNRY |
|---|---|
| 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.29478#OS37 (statement). In XAFYHH8G7X/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
Cluster algebra MN7K21V0Y8
| URI | m2://inv/MN7K21V0Y8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#4UTD, Cluster algebra (definition)
History
- 2026-11-02: add by m2/dev
MN7P450WGM MN7P450WGM
| URI | m2://inv/MN7P450WGM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#problem-6 (exercise). In P1C114YBXG, problem, section F
History
- 2026-11-01: add by m2/v0.6.13
MN7R3KCN78 MN7R3KCN78
| URI | m2://inv/MN7R3KCN78 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#proof-3 (proof). In RZP28ERRZV, proof, section 32.5
History
- 2026-11-01: add by m2/v0.6.13
equal MN7Z6YDR2N
| URI | m2://inv/MN7Z6YDR2N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#ZF7T, equal (definition)
History
- 2026-11-02: add by m2/dev
SEQUITUR algorithm MN828TSQMK
| URI | m2://inv/MN828TSQMK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#1N7W, SEQUITUR algorithm (unknown)
History
- 2026-11-02: add by m2/dev
MN899WC4Y2 MN899WC4Y2
| URI | m2://inv/MN899WC4Y2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40156#RVAY (statement). In PP8BEHWK33/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
Extrapolation domain analysis MN8FDT1N3J
| URI | m2://inv/MN8FDT1N3J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PJ6K, Extrapolation domain analysis (definition)
History
- 2026-11-02: add by m2/dev
MN8GE3PH3Z MN8GE3PH3Z
| URI | m2://inv/MN8GE3PH3Z |
|---|---|
| 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#CZZ4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition MN8QVBVKTT
| URI | m2://inv/MN8QVBVKTT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov additive process#5I3L, Definition (definition)
History
- 2026-11-02: add by m2/dev
MN8R4FH2T9 MN8R4FH2T9
| URI | m2://inv/MN8R4FH2T9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-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.27458#IO9H (statement)
History
- 2026-11-01: add by m2/v0.6.15
MN8VQS9FN3 MN8VQS9FN3
| URI | m2://inv/MN8VQS9FN3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.21914#8YM0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Perfect set property MN8WM5YKV1
| URI | m2://inv/MN8WM5YKV1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of properties of sets of reals#WSDD, Perfect set property (definition)
History
- 2026-11-02: add by m2/dev
MN8YPCG9XP MN8YPCG9XP
| URI | m2://inv/MN8YPCG9XP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2610.13100#DPAB (statement). In CC6S1HVK0T/e1, theorem 5.14
History
- 2026-10-28: add by m2/v0.4.2
A lower bound on the free energy MN97MTM1NH
| URI | m2://inv/MN97MTM1NH |
|---|---|
| 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.37479#7LB3, A lower bound on the free energy (statement). In P3RTT99C41/e1, lemma 6.3
History
- 2026-10-30: add by m2/v0.4.12
Rethinking Mathematics MN9KMAFX71
| URI | m2://inv/MN9KMAFX71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rethinking Mathematics, Rethinking Mathematics (definition). Also Wikidata Q7316702
History
- 2026-11-02: add by m2/dev
Neumann derivative estimate MN9P3RADS8
| URI | m2://inv/MN9P3RADS8 |
|---|---|
| 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.32829#KXHQ, Neumann derivative estimate (statement). In RYWAX33Z51/e1, proposition 7.2
History
- 2026-10-31: add by m2/v0.5.6
Translation-constrained flow matching recovers squared Euclidean distance MN9RA8ABPG
| URI | m2://inv/MN9RA8ABPG |
|---|---|
| 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.31544#04R2, Translation-constrained flow matching recovers squared Euclidean distance (statement). In TX449S1VZV/e1, proposition A.2
History
- 2026-10-31: add by m2/v0.5.6
Lagrange stability MN9S4AEVK7
| URI | m2://inv/MN9S4AEVK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrange stability, Lagrange stability (definition). Also Wikidata Q25100150
History
- 2026-11-02: add by m2/dev
Freyd's adjoint functor theorem MN9T459CEF
| URI | m2://inv/MN9T459CEF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal criteria for adjoint functors#6LAV, Freyd's adjoint functor theorem (statement)
History
- 2026-11-02: add by m2/dev
Tumacacori-Carmen MN9Y0GF70X
| URI | m2://inv/MN9Y0GF70X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#S9JD, Tumacacori-Carmen (unknown)
History
- 2026-11-02: add by m2/dev
MN9YB5RTWK MN9YB5RTWK
| URI | m2://inv/MN9YB5RTWK |
|---|---|
| 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.02642#NLO4 (statement). In VMWV58VWKN/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
Extensions MN9Z401T61
| URI | m2://inv/MN9Z401T61 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytical hierarchy#WWO9, Extensions (statement)
History
- 2026-11-02: add by m2/dev
MNA25TR9QZ MNA25TR9QZ
| URI | m2://inv/MNA25TR9QZ |
|---|---|
| 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 2610.17519#YMDI (definition). In H2DNTQ5MKV/e1, definition 2.14
History
- 2026-10-28: add by m2/v0.4.2
Alice Ambrose MNA31PD6Q4
| URI | m2://inv/MNA31PD6Q4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alice Ambrose, Alice Ambrose (topic). Also Wikidata Q4725710
History
- 2026-11-02: add by m2/dev
Student's t-test MNAF2GFE3S
| URI | m2://inv/MNAF2GFE3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#XEFA, Student's t-test (definition)
History
- 2026-11-02: add by m2/dev
Charles M. Newman MNAWQY66DS
| URI | m2://inv/MNAWQY66DS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NT7C, Charles M. Newman (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#A05R, Charles M. Newman (unknown)
History
- 2026-11-02: add by m2/dev
Axioms for quantifiers MNAZEHF4X5
| URI | m2://inv/MNAZEHF4X5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/axioms-rules-quantifiers.tex#defn-1, Axioms for quantifiers (definition). In PKGMM3P5QY, defn, section 8.2
History
- 2026-11-01: add by m2/v0.6.13
MNB0ZG1396 MNB0ZG1396
| URI | m2://inv/MNB0ZG1396 |
|---|---|
| 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.10928#MO7J (statement). In 8M7BFVQYMM/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.3
MNB7FDABD1 MNB7FDABD1
| URI | m2://inv/MNB7FDABD1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-prop.ptx#investigation-2 (exercise). In Y91XFCEVHQ, investigation, section 4.1.3
History
- 2026-11-01: add by m2/v0.6.13
MNBDW8R7F8 MNBDW8R7F8
| URI | m2://inv/MNBDW8R7F8 |
|---|---|
| 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-64 (exercise). In E59CDZA4DP, exercise, section 11.5.2
History
- 2026-11-01: add by m2/v0.6.13
Definition MNBG2JKFBT
| URI | m2://inv/MNBG2JKFBT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertex operator algebra#X6AC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Profile likelihood MNBMCQ8CHA
| URI | m2://inv/MNBMCQ8CHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZP90, Profile likelihood (definition)
History
- 2026-11-02: add by m2/dev
Giulio Giorello MNBNEVJ01S
| URI | m2://inv/MNBNEVJ01S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giulio Giorello, Giulio Giorello (topic). Also Wikidata Q642708
History
- 2026-11-02: add by m2/dev
Energy-sensitive simultaneous norm bounds MNBT4KMQXW
| URI | m2://inv/MNBT4KMQXW |
|---|---|
| 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#Q6SE, Energy-sensitive simultaneous norm bounds (statement). In 9YAE8FNQST/e1, theorem 3.16
History
- 2026-10-30: add by m2/v0.4.12
Applications MNBVZ112EH
| URI | m2://inv/MNBVZ112EH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ionescu-Tulcea theorem#MI37, Applications (example)
History
- 2026-11-02: add by m2/dev
Basic formula MNBZ48017E
| URI | m2://inv/MNBZ48017E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Area of a triangle#71LG, Basic formula (statement)
History
- 2026-11-02: add by m2/dev
Rio Rico Southwest MNC0P2SP66
| URI | m2://inv/MNC0P2SP66 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#7DRI, Rio Rico Southwest (unknown)
History
- 2026-11-02: add by m2/dev
Definitions MNC3QZA48H
| URI | m2://inv/MNC3QZA48H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vanish at infinity#XCIX, Definitions (definition)
History
- 2026-11-02: add by m2/dev
MNC3SNKZ89 MNC3SNKZ89
| URI | m2://inv/MNC3SNKZ89 |
|---|---|
| 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.35683#PFGV (statement). In A4S9A3X494/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
MNC50M7TQT MNC50M7TQT
| URI | m2://inv/MNC50M7TQT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26776#AS07 (statement)
History
- 2026-11-01: add by m2/v0.6.15
MNC999MFCP MNC999MFCP
| URI | m2://inv/MNC999MFCP |
|---|---|
| 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 0904.2839#QAKQ (statement). In 2P34N0GWS1/e1, lemma 3.1.1
History
- 2026-10-27: add by m2/v0.3.5
mathematics MNCDHFKG68
| URI | m2://inv/MNCDHFKG68 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 00A05, 00A30 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q395, mathematics (topic). Also EoM Mathematics, MathWorld Mathematics, ProofWiki Definition:Mathematics
- wikipedia: Wikipedia Mathematics, Mathematics (topic). Also Wikidata Q395
History
- 2026-10-26: add by m2/dev
multiplication, of natural numbers MNCQ03P47H
| URI | m2://inv/MNCQ03P47H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.12.3/multiplication-of-natural-numbers, multiplication, of natural numbers (concept). In N54F33XE07, index, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
Internal wave breaking MNCQFE39V1
| URI | m2://inv/MNCQFE39V1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Internal wave breaking, Internal wave breaking (definition). Also Wikidata Q111954712
History
- 2026-11-02: add by m2/dev
MND1XPCPYB MND1XPCPYB
| URI | m2://inv/MND1XPCPYB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2403.16814#G1YV (statement). In MN03Z3PRFT/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.3.5
Definition MND2K03WMM
| URI | m2://inv/MND2K03WMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zariski–Riemann space#J313, Definition (definition)
History
- 2026-11-02: add by m2/dev
MND78B8YFT MND78B8YFT
| URI | m2://inv/MND78B8YFT |
|---|---|
| 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 2107.00792#AIL0 (statement). In TD16A541ZN/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Statement of Finsler's lemma MND92M1MVT
| URI | m2://inv/MND92M1MVT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finsler's lemma#UGCN, Statement of Finsler's lemma (statement)
History
- 2026-11-02: add by m2/dev
MNDHK06Z4X MNDHK06Z4X
| URI | m2://inv/MNDHK06Z4X |
|---|---|
| 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.30018#L2TE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Congruence decomposition MNDHS9SP66
| URI | m2://inv/MNDHS9SP66 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21662#YPFT, Congruence decomposition (statement). In 25B3WHEKH2/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.4.2
p-adic dynamics MNDR4N26TM
| URI | m2://inv/MNDR4N26TM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#EYQL, p-adic dynamics (definition)
History
- 2026-11-02: add by m2/dev
Definition MNDTHGFXW7
| URI | m2://inv/MNDTHGFXW7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Persistent Betti number#HWSL, Definition (definition)
History
- 2026-11-02: add by m2/dev
MNEFAMN28J MNEFAMN28J
| URI | m2://inv/MNEFAMN28J |
|---|---|
| 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.33250#K4U3 (statement). In JCTD510XJ0/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Isadore Singer MNEVFBK4DX
| URI | m2://inv/MNEVFBK4DX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q353407, Isadore Singer (unknown). Also nLab Isadore Singer
- wikipedia: Wikipedia Isadore Singer, Isadore Singer (topic). Also Wikidata Q353407
History
- 2026-10-26: add by m2/dev
MNEZ0TD9EE MNEZ0TD9EE
| URI | m2://inv/MNEZ0TD9EE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18101#2PCT (statement). In XXN6KKXPYF/e1, theorem 6.3
History
- 2026-10-28: add by m2/v0.4.2
No Movement Bound With Only Perturbation Size and Eigengap MNF0Q2BAYP
| URI | m2://inv/MNF0Q2BAYP |
|---|---|
| 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.08152#WNVU, No Movement Bound With Only Perturbation Size and Eigengap (statement). In T1GYQ6SCCZ/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
Precession MNF4G8VE74
| URI | m2://inv/MNF4G8VE74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Precession, Precession (definition). Also Wikidata Q104225
History
- 2026-11-02: add by m2/dev
Game-theoretic semantics for dependence logic MNF4MY1DSQ
| URI | m2://inv/MNF4MY1DSQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dependence logic#8FT4, Game-theoretic semantics for dependence logic (unknown)
History
- 2026-11-02: add by m2/dev
twist MNF91H80A4
| URI | m2://inv/MNF91H80A4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17138781, twist (unknown). Also MathWorld Twist
- wikipedia: Wikipedia Twist (differential geometry), Twist (definition). Also Wikidata Q17138781
History
- 2026-10-26: add by m2/dev
MNF9TY5B59 MNF9TY5B59
| URI | m2://inv/MNF9TY5B59 |
|---|---|
| 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#WWEO (statement). In WNFW6GY38C/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
The Coefficient Algorithm MNFERA0ZHS
| URI | m2://inv/MNFERA0ZHS |
|---|---|
| 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#8TEV, The Coefficient Algorithm (definition). In 68AE571S4P/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
MNFFK29QH0 MNFFK29QH0
| URI | m2://inv/MNFFK29QH0 |
|---|---|
| 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.24314#FMK6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
A jump within one level MNFG4NK94Z
| URI | m2://inv/MNFG4NK94Z |
|---|---|
| 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.33794#67CZ, A jump within one level (statement). In W0PQMW25VY/e1, proposition 3.13
History
- 2026-10-30: add by m2/v0.4.12
MNFJ586TZV MNFJ586TZV
| URI | m2://inv/MNFJ586TZV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.25801#WLCY (statement)
History
- 2026-11-01: add by m2/v0.6.15
logic, constructive MNFMF2633V
| URI | m2://inv/MNFMF2633V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u7/logic-constructive, logic, constructive (concept). In N54F33XE07, index, section u1.u7
History
- 2026-11-01: add by m2/v0.6.13
MNFTBKR907 MNFTBKR907
| URI | m2://inv/MNFTBKR907 |
|---|---|
| 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 0809.3835#DTZT (statement). In V4J1J8YC7V/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.5
Properties MNG1PRZHQW
| URI | m2://inv/MNG1PRZHQW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twin circles#XH66, Properties (statement)
History
- 2026-11-02: add by m2/dev
MNG2NYFJH3 MNG2NYFJH3
| URI | m2://inv/MNG2NYFJH3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.10246#SETK (definition). In XD0YT3XCW2/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
MNG52VDGHG MNG52VDGHG
| URI | m2://inv/MNG52VDGHG |
|---|---|
| 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.14135#FXV1 (statement). In C304J64Q79/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Anderson function MNG562WNGZ
| URI | m2://inv/MNG562WNGZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anderson function, Anderson function (definition). Also Wikidata Q113518354
History
- 2026-11-02: add by m2/dev
MNGD78CM82 MNGD78CM82
| URI | m2://inv/MNGD78CM82 |
|---|---|
| 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.31537#6S4X (statement). In MNYPK3W135/e1, corollary 5.3
History
- 2026-10-31: add by m2/v0.5.6
computation rule, for identity types MNGG9DZNC6
| URI | m2://inv/MNGG9DZNC6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.12.1/computation-rule-for-identity-types, computation rule, for identity types (concept). In N54F33XE07, index, section A.12.1
History
- 2026-11-01: add by m2/v0.6.13
MNGH8DFG13 MNGH8DFG13
| URI | m2://inv/MNGH8DFG13 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.25457#5FTD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations MNGK69AVJ5
| URI | m2://inv/MNGK69AVJ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive-real function#5KRW, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Principles MNGXCTG8NY
| URI | m2://inv/MNGXCTG8NY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beam propagation method#2SUK, Principles (statement)
History
- 2026-11-02: add by m2/dev
Rebecca Hubbard MNH1PETT4C
| URI | m2://inv/MNH1PETT4C |
|---|---|
| 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#MDSY, Rebecca Hubbard (unknown)
History
- 2026-11-02: add by m2/dev
MNH1WEWPPV MNH1WEWPPV
| URI | m2://inv/MNH1WEWPPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00909#IPAY (statement). In Z4TD36VFPW/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.12
MNH7ANJZ0B MNH7ANJZ0B
| URI | m2://inv/MNH7ANJZ0B |
|---|---|
| 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#BQ2Z (statement). In G6WQDW52TJ/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.6
MNHD0KZ60T MNHD0KZ60T
| URI | m2://inv/MNHD0KZ60T |
|---|---|
| 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 2610.17875#9R5D (statement). In AQX7DGD360/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
MNHFC4QN3A MNHFC4QN3A
| URI | m2://inv/MNHFC4QN3A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.21408#1D40 (statement). In 3XBEGXNPXZ/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.4.2
Fundamental gap estimate MNHGJXZN7B
| URI | m2://inv/MNHGJXZN7B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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.22659#CADP, Fundamental gap estimate (statement)
History
- 2026-11-02: add by m2/v0.6.17
MNHRENZVHS MNHRENZVHS
| URI | m2://inv/MNHRENZVHS |
|---|---|
| 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.15744#9ZI2 (statement). In NV3PBZGBB7/e1, proposition 1.12
History
- 2026-10-28: add by m2/v0.4.2
Benjamin Weiss MNHWS3CX0R
| URI | m2://inv/MNHWS3CX0R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1OX2, Benjamin Weiss (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6MED, Benjamin Weiss (topic)
History
- 2026-11-02: add by m2/dev
constant of integration MNHXTTQ999
| URI | m2://inv/MNHXTTQ999 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#YAQO, constant of integration (definition)
History
- 2026-11-02: add by m2/dev
Definitions MNHZDJZY0Q
| URI | m2://inv/MNHZDJZY0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cocompact embedding#3FFY, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Deviation of a poset MNJ0251WR5
| URI | m2://inv/MNJ0251WR5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deviation of a poset, Deviation of a poset (definition). Also Wikidata Q5266999
History
- 2026-11-02: add by m2/dev
Transfinite sequence MNJ08YQFBV
| URI | m2://inv/MNJ08YQFBV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinal number#CP34, Transfinite sequence (unknown)
History
- 2026-11-02: add by m2/dev
Double tangent bundle MNJ4T7G01T
| URI | m2://inv/MNJ4T7G01T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double tangent bundle, Double tangent bundle (definition). Also Wikidata Q5300098
History
- 2026-11-02: add by m2/dev
Toy model MNJ7EZ4S2P
| URI | m2://inv/MNJ7EZ4S2P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toy model, Toy model (definition). Also Wikidata Q1138909
History
- 2026-11-02: add by m2/dev
MNJNAR1VGY MNJNAR1VGY
| URI | m2://inv/MNJNAR1VGY |
|---|---|
| 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.05232#DJZO (statement). In DA3VN96YX2/e1, corollary A.2
History
- 2026-10-29: add by m2/v0.4.10
Effective unstable information MNJPTRM7BM
| URI | m2://inv/MNJPTRM7BM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-XX, 65-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.23927#295Z, Effective unstable information (statement)
History
- 2026-11-02: add by m2/v0.6.17
List of mathematical identities MNJQHPHBSC
| URI | m2://inv/MNJQHPHBSC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities, List of mathematical identities (topic). Also Wikidata Q6627328
History
- 2026-11-02: add by m2/dev
Cardinal arithmetic MNK06SEG34
| URI | m2://inv/MNK06SEG34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#definition-7, Cardinal arithmetic (definition). In RZP28ERRZV, definition, section 89.4
History
- 2026-11-01: add by m2/v0.6.13
MNK1CRCWKF MNK1CRCWKF
| URI | m2://inv/MNK1CRCWKF |
|---|---|
| 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 2507.05417#A8CS (definition). In RGHZ863Q26/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Hermite–Minkowski theorem MNKEV51FQH
| URI | m2://inv/MNKEV51FQH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermite–Minkowski theorem, Hermite–Minkowski theorem (statement). Also Wikidata Q16966018
History
- 2026-11-02: add by m2/dev
MNKHCSHHG4 MNKHCSHHG4
| URI | m2://inv/MNKHCSHHG4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreInduction.tex#theorem-1 (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
Prison Mathematics Project MNKKPPK2X1
| URI | m2://inv/MNKKPPK2X1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prison Mathematics Project, Prison Mathematics Project (definition). Also Wikidata Q137636419
History
- 2026-11-02: add by m2/dev
Properties MNKP0Y3WPR
| URI | m2://inv/MNKP0Y3WPR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Petersen graph#YGIS, Properties (statement)
History
- 2026-11-02: add by m2/dev
YΔ-family MNKP991R2C
| URI | m2://inv/MNKP991R2C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia YΔ- and ΔY-transformation#HY0E, YΔ-family (unknown)
History
- 2026-11-02: add by m2/dev
MNKPXS7PVP MNKPXS7PVP
| URI | m2://inv/MNKPXS7PVP |
|---|---|
| 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.32977#LDCG (example). In 4KT9TK3MG4/e1, example 2.3
History
- 2026-10-31: add by m2/v0.5.6
Examples MNKQV04211
| URI | m2://inv/MNKQV04211 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residue theorem#0P0Z, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications MNKRX3NTE4
| URI | m2://inv/MNKRX3NTE4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equitable coloring#JNKI, Applications (example)
History
- 2026-11-02: add by m2/dev
Leonid Khachiyan MNM1D4V90T
| URI | m2://inv/MNM1D4V90T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leonid Khachiyan, Leonid Khachiyan (topic). Also Wikidata Q1392167
History
- 2026-11-02: add by m2/dev
Lower bound MNM2FC2D1T
| URI | m2://inv/MNM2FC2D1T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33866#8S2E, Lower bound (statement). In Y3MSGX6472/e1, proposition 5
History
- 2026-10-30: add by m2/v0.4.12
Quantum Zeno effect MNM7T7K6CH
| URI | m2://inv/MNM7T7K6CH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum Zeno effect, Quantum Zeno effect (definition). Also Wikidata Q1897309
History
- 2026-11-02: add by m2/dev
Definition MNMH3GVD70
| URI | m2://inv/MNMH3GVD70 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partially observable Markov decision process#XLBL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Local defect MNMN2KNZSG
| URI | m2://inv/MNMN2KNZSG |
|---|---|
| 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.38993#VLK7, Local defect (statement). In AFKQK866Y1/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Definition MNMPYJ6WQX
| URI | m2://inv/MNMPYJ6WQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gap metric#605P, Definition (definition)
History
- 2026-11-02: add by m2/dev
Zbigniew Ciesielski MNMW17FFMY
| URI | m2://inv/MNMW17FFMY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TMYB, Zbigniew Ciesielski (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LX9P, Zbigniew Ciesielski (topic)
History
- 2026-11-02: add by m2/dev
MNMXCPF2AT MNMXCPF2AT
| URI | m2://inv/MNMXCPF2AT |
|---|---|
| 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.23327#DOBN (statement)
History
- 2026-11-02: add by m2/v0.6.17
Notations MNN4PEFA56
| URI | m2://inv/MNN4PEFA56 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Design effect#T57B, Notations (definition)
History
- 2026-11-02: add by m2/dev
One step via compactness MNN4TGT9RZ
| URI | m2://inv/MNN4TGT9RZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20998#HT51, One step via compactness (statement)
History
- 2026-11-02: add by m2/v0.6.18
MNNFJC6CGY MNNFJC6CGY
| URI | m2://inv/MNNFJC6CGY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#QQGP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Michel Loève MNNKV1F2AR
| URI | m2://inv/MNNKV1F2AR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ZGDZ, Michel Loève (topic)
History
- 2026-11-02: add by m2/dev
projection formula MNNPZ0Z3D6
| URI | m2://inv/MNNPZ0Z3D6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#FYY4, projection formula (definition)
History
- 2026-11-02: add by m2/dev
MNNTCBW21X MNNTCBW21X
| URI | m2://inv/MNNTCBW21X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 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.23167#QEJF (definition)
History
- 2026-11-02: add by m2/v0.6.17
Matroid partitioning MNNTS60MM7
| URI | m2://inv/MNNTS60MM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid partitioning, Matroid partitioning (definition). Also Wikidata Q6787906
History
- 2026-11-02: add by m2/dev
MNP3B6JN0W MNP3B6JN0W
| URI | m2://inv/MNP3B6JN0W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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 1503.05744#9F02 (statement). In 5XKHZKEGAF/e1, theorem 2.14
History
- 2026-10-27: add by m2/v0.3.5
Heyting implication MNP3B8AGWQ
| URI | m2://inv/MNP3B8AGWQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heyting algebra#PVDS, Heyting implication (unknown)
History
- 2026-11-02: add by m2/dev
MNP5D9PNWJ MNP5D9PNWJ
| URI | m2://inv/MNP5D9PNWJ |
|---|---|
| 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.37593#QAWW (statement). In YTF96VHKAH/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
Multiple comparisons MNP810WA8R
| URI | m2://inv/MNP810WA8R |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JLVP, Multiple comparisons (problem)
History
- 2026-11-02: add by m2/dev
Taro Morishima MNPCT1BXNN
| URI | m2://inv/MNPCT1BXNN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taro Morishima, Taro Morishima (topic). Also Wikidata Q7686503
History
- 2026-11-02: add by m2/dev
MNQ909DRQ0 MNQ909DRQ0
| URI | m2://inv/MNQ909DRQ0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#RNPB (definition). In HX63A1PH1W/e1, definition 6.35
History
- 2026-10-28: add by m2/v0.4.3
Theorem MNQAGQ57AC
| URI | m2://inv/MNQAGQ57AC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sonnenschein–Mantel–Debreu theorem#J86W, Theorem (statement)
History
- 2026-11-02: add by m2/dev
MNQE301R6S MNQE301R6S
| URI | m2://inv/MNQE301R6S |
|---|---|
| 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.21274#L704 (statement)
History
- 2026-11-02: add by m2/v0.6.18
List of topics named after Leonhard Euler MNQH8G3T4T
| URI | m2://inv/MNQH8G3T4T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler, List of topics named after Leonhard Euler (topic). Also Wikidata Q2386492
History
- 2026-11-02: add by m2/dev
MNQJY0VT1H MNQJY0VT1H
| URI | m2://inv/MNQJY0VT1H |
|---|---|
| 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 2609.36884#D57A (statement). In Z7E16PFFCP/e1, corollary F
History
- 2026-10-30: add by m2/v0.4.12
MNQMRHMNKR MNQMRHMNKR
| URI | m2://inv/MNQMRHMNKR |
|---|---|
| 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.16554#8H3Q (statement). In GWNT8HEZG1/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.6
Presupposition MNRC0C5RT2
| URI | m2://inv/MNRC0C5RT2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Presupposition (philosophy), Presupposition (definition). Also Wikidata Q7242104
History
- 2026-11-02: add by m2/dev
Quasithin group MNRMJPHKAR
| URI | m2://inv/MNRMJPHKAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasithin group, Quasithin group (definition). Also Wikidata Q7269537
History
- 2026-11-02: add by m2/dev
Edward Marczewski MNRYDWMFZ6
| URI | m2://inv/MNRYDWMFZ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BDA2, Edward Marczewski (topic)
History
- 2026-11-02: add by m2/dev
Complex convexity MNRZ0X3NKK
| URI | m2://inv/MNRZ0X3NKK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#IGHJ, Complex convexity (definition)
History
- 2026-11-02: add by m2/dev
Uniformization MNS103H016
| URI | m2://inv/MNS103H016 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniformization (set theory), Uniformization (definition). Also Wikidata Q7885143
History
- 2026-11-02: add by m2/dev
Weiwen Miao MNS1ER57FB
| URI | m2://inv/MNS1ER57FB |
|---|---|
| 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#XCX9, Weiwen Miao (topic)
History
- 2026-11-02: add by m2/dev
Christian Lubich MNSA7W79Y7
| URI | m2://inv/MNSA7W79Y7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christian Lubich, Christian Lubich (topic). Also Wikidata Q30328058
History
- 2026-11-02: add by m2/dev
MNSD6D1015 MNSD6D1015
| URI | m2://inv/MNSD6D1015 |
|---|---|
| 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.08935#J9PZ (statement). In G02N9D40B9/e1, proposition 6.2.9
History
- 2026-10-29: add by m2/v0.4.10
Edge MNSRTRB1DS
| URI | m2://inv/MNSRTRB1DS |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#S1QX, Edge (object)
History
- 2026-11-02: add by m2/dev
Foundations of geometry MNSXFE8FAK
| URI | m2://inv/MNSXFE8FAK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Foundations of geometry, Foundations of geometry (topic). Also Wikidata Q5474574
History
- 2026-11-02: add by m2/dev
Lindenbaum–Tarski algebra MNT5B3V096
| URI | m2://inv/MNT5B3V096 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alfred Tarski#T9Q8, Lindenbaum–Tarski algebra (definition)
- wikipedia: Wikipedia List of mathematical logic topics#O2F0, Lindenbaum–Tarski algebra (definition)
- wikipedia: Wikipedia List of Boolean algebra topics#9QPE, Lindenbaum–Tarski algebra (definition)
History
- 2026-11-02: add by m2/dev
MNTD3MQN8J MNTD3MQN8J
| URI | m2://inv/MNTD3MQN8J |
|---|---|
| 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#ZOKA (statement). In X38P26DK6S/e1, theorem 6.4
History
- 2026-10-27: add by m2/v0.4.0
Carrying the payload MNTNYR9FTD
| URI | m2://inv/MNTNYR9FTD |
|---|---|
| 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#4ATU, Carrying the payload (definition). In WD2NCBV9F0/e1, definition 11.4
History
- 2026-10-27: add by m2/v0.3.5
MNTRXB645N MNTRXB645N
| URI | m2://inv/MNTRXB645N |
|---|---|
| Kind | statement |
| 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#Y57O (statement)
History
- 2026-11-02: add by m2/v0.6.18
559 (number) MNV316YCWY
| URI | m2://inv/MNV316YCWY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#H4MS, 559 (number) (unknown)
History
- 2026-11-02: add by m2/dev
The double branched cover MNV4ZPCH33
| URI | m2://inv/MNV4ZPCH33 |
|---|---|
| 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 2609.29839#H29L, The double branched cover (statement)
History
- 2026-11-01: add by m2/v0.6.15
Carrownagappul Bog MNVG0F9FFD
| URI | m2://inv/MNVG0F9FFD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#GZYX, Carrownagappul Bog (unknown)
History
- 2026-11-02: add by m2/dev
Abel's curve theorem MNVMH7NA5E
| URI | m2://inv/MNVMH7NA5E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#YSKL, Abel's curve theorem (definition)
History
- 2026-11-02: add by m2/dev
Some type $(1, 0)$ $1$-forms MNWH3453HY
| URI | m2://inv/MNWH3453HY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/forms.tex#example-5, Some type $(1, 0)$ $1$-forms (example). In RZP28ERRZV, example, section 84.2.1
History
- 2026-11-01: add by m2/v0.6.13
MNWSV35RYQ MNWSV35RYQ
| URI | m2://inv/MNWSV35RYQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-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 2609.24545#6F2I (definition)
History
- 2026-11-01: add by m2/v0.6.15
Lotfi A. Zadeh MNX1QB9YS9
| URI | m2://inv/MNX1QB9YS9 |
|---|---|
| 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 Q92767, Lotfi A. Zadeh (unknown). Also ProofWiki Mathematician:Lotfi_Aliasker_Zadeh
History
- 2026-10-26: add by m2/dev
Linear combination of block encodings, cf. Lemma 52 in Ref. MNXAHV08ZR
| URI | m2://inv/MNXAHV08ZR |
|---|---|
| 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.39992#EXFT, Linear combination of block encodings, cf. Lemma 52 in Ref. (statement). In WF64CGYVK1/e1, lemma S26
History
- 2026-10-30: add by m2/v0.4.12
MNXAK2PDZV MNXAK2PDZV
| URI | m2://inv/MNXAK2PDZV |
|---|---|
| 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#DAUC (statement). In TFZNHCE6EV/e1, lemma 2.9
History
- 2026-10-30: add by m2/v0.4.12
Hadamard regularization MNXBD6MWCZ
| URI | m2://inv/MNXBD6MWCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard regularization, Hadamard regularization (definition). Also Wikidata Q15998917
History
- 2026-11-02: add by m2/dev
MNXH0A1CX3 MNXH0A1CX3
| URI | m2://inv/MNXH0A1CX3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 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.13213#771K (definition). In V97F4YZ8B0/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Unpredictable permutation MNXJ9MQTAJ
| URI | m2://inv/MNXJ9MQTAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#CGTY, Unpredictable permutation (definition)
History
- 2026-11-02: add by m2/dev
MNXJQ2WTZJ MNXJQ2WTZJ
| URI | m2://inv/MNXJQ2WTZJ |
|---|---|
| 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.17553#NA6W (statement). In ETMBHKF5A9/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Unexpected hanging paradox MNXPDDKF1J
| URI | m2://inv/MNXPDDKF1J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Backward induction#6IWO, Unexpected hanging paradox (statement)
History
- 2026-11-02: add by m2/dev
Right conoid MNXXCTR49H
| URI | m2://inv/MNXXCTR49H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#1KLN, Right conoid (definition)
History
- 2026-11-02: add by m2/dev
Implementation MNY1PHH4V8
| URI | m2://inv/MNY1PHH4V8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nine-point stencil#C4GY, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Definition MNY32FRNK2
| URI | m2://inv/MNY32FRNK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line integral#6VY2, Definition (definition)
History
- 2026-11-02: add by m2/dev
MNY7KCD809 MNY7KCD809
| URI | m2://inv/MNY7KCD809 |
|---|---|
| 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.09561#CPO1 (statement). In WDV5E2CVTR/e1, theorem 7.7
History
- 2026-10-29: add by m2/v0.4.10
Richard Shute MNY8D2TWZH
| URI | m2://inv/MNY8D2TWZH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Shute, Richard Shute (topic). Also Wikidata Q7329036
History
- 2026-11-02: add by m2/dev
Haecceity MNYMT6694S
| URI | m2://inv/MNYMT6694S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haecceity, Haecceity (definition). Also Wikidata Q16840755
History
- 2026-11-02: add by m2/dev
MNYSNW4D2C MNYSNW4D2C
| URI | m2://inv/MNYSNW4D2C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 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 2610.18788#GCBE (statement). In KFEASG3ZHS/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Ana-Maria Staicu MNYV7RKDN5
| URI | m2://inv/MNYV7RKDN5 |
|---|---|
| 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#J4V4, Ana-Maria Staicu (unknown)
History
- 2026-11-02: add by m2/dev
The inequality MNYZ7H6MAK
| URI | m2://inv/MNYZ7H6MAK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milnor–Wood inequality#S6C2, The inequality (statement)
History
- 2026-11-02: add by m2/dev
MNZ312ETPS MNZ312ETPS
| URI | m2://inv/MNZ312ETPS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#YA6C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Resolution-independent derived trace of AKSZ source cocycles MNZ9W17RPD
| URI | m2://inv/MNZ9W17RPD |
|---|---|
| Kind | statement |
| 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#PY1M, Resolution-independent derived trace of AKSZ source cocycles (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nonobtuse mesh MNZHCPYGT2
| URI | m2://inv/MNZHCPYGT2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#MOGB, Nonobtuse mesh (unknown)
History
- 2026-11-02: add by m2/dev
MNZNW5ABQ2 MNZNW5ABQ2
| URI | m2://inv/MNZNW5ABQ2 |
|---|---|
| Kind | definition |
| 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 2405.02275#9RSK (definition). In 1QXCNGRWV1/e1, definition 4.7
History
- 2026-10-27: add by m2/v0.3.5
MNZYJTNWSC MNZYJTNWSC
| URI | m2://inv/MNZYJTNWSC |
|---|---|
| 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 1002.0879#N6OZ (definition). In M0SQY5EZN5/e1, definition 4.4.7
History
- 2026-10-27: add by m2/v0.3.5