Inventory rows BN
The cards of the rows of the inventory whose ids start with BN. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
BN04WXEQ6W BN04WXEQ6W
| URI | m2://inv/BN04WXEQ6W |
|---|---|
| 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.09882#DEG2 (statement). In 7XV6T4N79V/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
𝔞 BN0535HES1
| URI | m2://inv/BN0535HES1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#V0Z1, 𝔞 (definition)
History
- 2026-11-02: add by m2/dev
Leibniz Institute for Science and Mathematics Education at the University of Kiel BN05ET0TMQ
| URI | m2://inv/BN05ET0TMQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz#0TTE, Leibniz Institute for Science and Mathematics Education at the University of Kiel (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition BN0E68Z836
| URI | m2://inv/BN0E68Z836 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monad (category theory)#LGWD, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Applications BN0RX2WF88
| URI | m2://inv/BN0RX2WF88 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intercept theorem#LS0O, Applications (example)
History
- 2026-11-02: add by m2/dev
Leo Katz BN0SBVYT2G
| URI | m2://inv/BN0SBVYT2G |
|---|---|
| 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#3O9S, Leo Katz (unknown)
History
- 2026-11-02: add by m2/dev
Special Cases BN12ERN6XH
| URI | m2://inv/BN12ERN6XH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buchdahl's theorem#LMRI, Special Cases (statement)
History
- 2026-11-02: add by m2/dev
BN19YZG623 BN19YZG623
| URI | m2://inv/BN19YZG623 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31249#XSHD (statement). In RAVR2W9S0B/e1, lemma 3.3
History
- 2026-10-31: add by m2/v0.5.6
Stable-to-critical normalized trace BN1JGFHKV4
| URI | m2://inv/BN1JGFHKV4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#KB00, Stable-to-critical normalized trace (statement). In 5BZQS1KY9A/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.10
twisted de Rham cohomology BN1MZY6SQE
| URI | m2://inv/BN1MZY6SQE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q63627294, twisted de Rham cohomology (concept). Also nLab twisted de Rham cohomology
History
- 2026-10-26: add by m2/dev
Examples BN1TP113F8
| URI | m2://inv/BN1TP113F8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong dual space#ONVP, Examples (example)
History
- 2026-11-02: add by m2/dev
Hyperbolic invariant BN1W4YVAK9
| URI | m2://inv/BN1W4YVAK9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knot theory#U9I1, Hyperbolic invariant (unknown)
History
- 2026-11-02: add by m2/dev
BN1ZDZKWC0 BN1ZDZKWC0
| URI | m2://inv/BN1ZDZKWC0 |
|---|---|
| Kind | conjecture |
| 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.12295#K61R (conjecture). In 6DZPR52HRP/e1, conjecture 1.2
History
- 2026-10-28: add by m2/v0.4.2
Titius–Bode law BN20NN4NYQ
| URI | m2://inv/BN20NN4NYQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q193698, Titius–Bode law (statement). Also ProofWiki Titius-Bode_Law
History
- 2026-10-26: add by m2/dev
BN21SJGYGB BN21SJGYGB
| URI | m2://inv/BN21SJGYGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24212#VRDC (statement)
History
- 2026-11-01: add by m2/v0.6.15
BN25B0K59R BN25B0K59R
| URI | m2://inv/BN25B0K59R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#34TW (statement)
History
- 2026-11-01: add by m2/v0.6.15
BN25BB2GS4 BN25BB2GS4
| URI | m2://inv/BN25BB2GS4 |
|---|---|
| Kind | definition |
| 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.09809#ZQME (definition). In 7NKQ6PR78N/e1, definition 2.12
History
- 2026-10-29: add by m2/v0.4.10
BN271KEE8V BN271KEE8V
| URI | m2://inv/BN271KEE8V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-23 (exercise). In QKM9DD2H56, exercise, section 7
History
- 2026-11-01: add by m2/v0.6.13
BN290GYEAS BN290GYEAS
| URI | m2://inv/BN290GYEAS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.11301#HYMO (statement). In YH1W5A0JTS/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.3.5
Jeans equations BN2BDGQ2N0
| URI | m2://inv/BN2BDGQ2N0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeans equations, Jeans equations (definition). Also Wikidata Q17050625
History
- 2026-11-02: add by m2/dev
Charles Leonard Hamblin BN2JX8MGSG
| URI | m2://inv/BN2JX8MGSG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Leonard Hamblin, Charles Leonard Hamblin (topic). Also Wikidata Q93082
History
- 2026-11-02: add by m2/dev
BN2V0EHT0B BN2V0EHT0B
| URI | m2://inv/BN2V0EHT0B |
|---|---|
| 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:config (statement). In PKGMM3P5QY, lem, section 87.3
History
- 2026-11-01: add by m2/v0.6.13
Mayagüez metropolitan area BN2VSGPN3B
| URI | m2://inv/BN2VSGPN3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mayagüez metropolitan area, Mayagüez metropolitan area (definition). Also Wikidata Q6796791
History
- 2026-11-02: add by m2/dev
General formula BN30D32N3K
| URI | m2://inv/BN30D32N3K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borwein integral#2W5B, General formula (statement)
History
- 2026-11-02: add by m2/dev
A Treatise of the System of the World BN32G3KZKW
| URI | m2://inv/BN32G3KZKW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philosophiæ Naturalis Principia Mathematica#V6DQ, A Treatise of the System of the World (unknown)
History
- 2026-11-02: add by m2/dev
Bounds for $\mathrm{S\text{-}RDV}$ BN32X16T7X
| URI | m2://inv/BN32X16T7X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#EUJ5, Bounds for $\mathrm{S\text{-}RDV}$ (statement). In 5E9G06XJKC/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
BN336ASRJ6 BN336ASRJ6
| URI | m2://inv/BN336ASRJ6 |
|---|---|
| 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.01354#HDZV (statement). In BWD76W20W8/e1, proposition 6.12
History
- 2026-10-29: add by m2/v0.4.12
Hardt-Simon (1979 BN349P64MA
| URI | m2://inv/BN349P64MA |
|---|---|
| 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.26701#29MF, Hardt-Simon (1979 (statement)
History
- 2026-11-01: add by m2/v0.6.15
BN39W8DJ3K BN39W8DJ3K
| URI | m2://inv/BN39W8DJ3K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22170#GTM1 (statement). In 74MMMHHPW5/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.0
Gabriele Kaiser BN3BPRAYZE
| URI | m2://inv/BN3BPRAYZE |
|---|---|
| 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#7TT6, Gabriele Kaiser (topic)
- wikipedia: Wikipedia List of German mathematicians#BKAV, Gabriele Kaiser (topic)
History
- 2026-11-02: add by m2/dev
BN3CFWTCRQ BN3CFWTCRQ
| URI | m2://inv/BN3CFWTCRQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.05423#OMTC (statement). In 3ABGS3F1JG/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.10
BN3DK70A0A BN3DK70A0A
| URI | m2://inv/BN3DK70A0A |
|---|---|
| Kind | statement |
| 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#BZE1 (statement). In V97F4YZ8B0/e1, lemma 7.5
History
- 2026-10-28: add by m2/v0.4.2
BN3EMY6ZRY BN3EMY6ZRY
| URI | m2://inv/BN3EMY6ZRY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2610.05986#6UGC (statement). In N5ZM8MXJXH/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.10
Danskin's theorem BN3EWQF7RV
| URI | m2://inv/BN3EWQF7RV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#3A45, Danskin's theorem (statement)
History
- 2026-11-02: add by m2/dev
Notation BN3J0XPMW6
| URI | m2://inv/BN3J0XPMW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degrees of freedom (statistics)#26HM, Notation (definition)
History
- 2026-11-02: add by m2/dev
Properties BN3R5HYX10
| URI | m2://inv/BN3R5HYX10 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound matrix#R4K8, Properties (statement)
History
- 2026-11-02: add by m2/dev
BN3RGA4Q7Z BN3RGA4Q7Z
| URI | m2://inv/BN3RGA4Q7Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20891#X1PC (statement). In WH55XAE8E2/e1, theorem 6.4
History
- 2026-10-27: add by m2/v0.4.2
BN41PHQVCC BN41PHQVCC
| URI | m2://inv/BN41PHQVCC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35600#KXNQ (statement). In ET8GYMMDQM/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
BN41X5XAPT BN41X5XAPT
| URI | m2://inv/BN41X5XAPT |
|---|---|
| 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 2609.24320#X46C (statement)
History
- 2026-11-01: add by m2/v0.6.15
John R. Stallings BN43G9JC0F
| URI | m2://inv/BN43G9JC0F |
|---|---|
| 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#9FEC, John R. Stallings (topic)
History
- 2026-11-02: add by m2/dev
limit, of a Cauchy approximation BN44MEJRJG
| URI | m2://inv/BN44MEJRJG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2.2/limit-of-a-cauchy-approximation, limit, of a Cauchy approximation (concept). In N54F33XE07, index, section B.2.2
History
- 2026-11-01: add by m2/v0.6.13
simplicial complex BN4EWSH8KV
| URI | m2://inv/BN4EWSH8KV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-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.15099#JGJ2, simplicial complex (example). In PF5JJ9DS8Q/e1, example 5.4.1
History
- 2026-10-28: add by m2/v0.4.2
Examples BN4MQFY6GQ
| URI | m2://inv/BN4MQFY6GQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iverson bracket#YXTW, Examples (example)
History
- 2026-11-02: add by m2/dev
BN4PE3E5B1 BN4PE3E5B1
| URI | m2://inv/BN4PE3E5B1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27617#4SXJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
BN4WYTTE3H BN4WYTTE3H
| URI | m2://inv/BN4WYTTE3H |
|---|---|
| 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.26713#HX07 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Persuasive definition BN4ZR1CX4Z
| URI | m2://inv/BN4ZR1CX4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Persuasive definition, Persuasive definition (definition). Also Wikidata Q2896861
History
- 2026-11-02: add by m2/dev
Definition BN4ZXNMQKQ
| URI | m2://inv/BN4ZXNMQKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comodule over a Hopf algebroid#57GJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bill Gross BN50WV02XT
| URI | m2://inv/BN50WV02XT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#FJ4A, Bill Gross (unknown)
History
- 2026-11-02: add by m2/dev
BN5B8B45R7 BN5B8B45R7
| URI | m2://inv/BN5B8B45R7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16707#06J2 (statement). In HH7FRWBRMB/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
BN5EATMMZK BN5EATMMZK
| URI | m2://inv/BN5EATMMZK |
|---|---|
| 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.13979#EY46 (statement). In M4W5M33Q60/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
BN5MC8KHD5 BN5MC8KHD5
| URI | m2://inv/BN5MC8KHD5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2610.00869#TUW2 (statement). In 63JMKC4GZE/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
BN5NKY71TD BN5NKY71TD
| URI | m2://inv/BN5NKY71TD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-intro.tex#exercise-22 (exercise). In E9HS8K3A52, exercise, section 6.9.1
History
- 2026-11-01: add by m2/v0.6.13
Bounded transitions BN5QD3HTEY
| URI | m2://inv/BN5QD3HTEY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17276#AGPP, Bounded transitions (statement). In GG14QF0JKJ/e1, lemma 2.12
History
- 2026-10-28: add by m2/v0.4.2
Single cancellation or independence axiom BN5T3ZCWJK
| URI | m2://inv/BN5T3ZCWJK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theory of conjoint measurement#LKOC, Single cancellation or independence axiom (statement)
History
- 2026-11-02: add by m2/dev
BN5W937515 BN5W937515
| URI | m2://inv/BN5W937515 |
|---|---|
| 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.09810#1W69 (statement). In B6PCH930FV/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
octave BN5WERYW2Y
| URI | m2://inv/BN5WERYW2Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/15.5.1/octave, octave (concept). In QKM9DD2H56, index, section 15.5.1
History
- 2026-11-01: add by m2/v0.6.13
Representations BN60NA9Y5T
| URI | m2://inv/BN60NA9Y5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Temperley–Lieb algebra#EISM, Representations (definition)
History
- 2026-11-02: add by m2/dev
Pillai's conjecture BN60WJ6GCA
| URI | m2://inv/BN60WJ6GCA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#SN8Z, Pillai's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Karen J. Warren BN62K6FKTM
| URI | m2://inv/BN62K6FKTM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karen J. Warren, Karen J. Warren (topic). Also Wikidata Q6369731
History
- 2026-11-02: add by m2/dev
Disk counting statistics with a centered-disk wall BN650MAZQE
| URI | m2://inv/BN650MAZQE |
|---|---|
| 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.25307#S2SU, Disk counting statistics with a centered-disk wall (statement)
History
- 2026-11-01: add by m2/v0.6.15
CKRS Coverage Guarantee BN6DEYS65Z
| URI | m2://inv/BN6DEYS65Z |
|---|---|
| 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 2601.01076#0E8I, CKRS Coverage Guarantee (statement). In 2E8DDPAZN3/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
programming language theory BN6DQ201TN
| URI | m2://inv/BN6DQ201TN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2670534, programming language theory (unknown). Also EoM Theoretical_programming
History
- 2026-10-26: add by m2/dev
BN6GM10KYZ BN6GM10KYZ
| URI | m2://inv/BN6GM10KYZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
Compound parabolic concentrator BN6M00KSVY
| URI | m2://inv/BN6M00KSVY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonimaging optics#AHYG, Compound parabolic concentrator (unknown)
History
- 2026-11-02: add by m2/dev
Richard Palais BN6Q0RKFY7
| URI | m2://inv/BN6Q0RKFY7 |
|---|---|
| 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 Q2150338, Richard Palais (unknown). Also nLab Richard Palais
- wikipedia: Wikipedia Richard Palais, Richard Palais (topic). Also Wikidata Q2150338
History
- 2026-10-26: add by m2/dev
Theorem BN6R0VJG5Q
| URI | m2://inv/BN6R0VJG5Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relative interior#GK5Y, Theorem (statement)
History
- 2026-11-02: add by m2/dev
big O notation BN6YKBF8JE
| URI | m2://inv/BN6YKBF8JE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | Big O notation 0TGV80E6A4 |
Mentions
- wikidata: Wikidata Q269878, big O notation (unknown). Also MathWorld Big-ONotation, ProofWiki Symbols:O/Big-O_Notation
- wikipedia: Wikipedia Big O notation, Big O notation (definition). Also Wikidata Q269878
History
- 2026-10-26: add by m2/dev
Beam propagation method BN79MT1MKY
| URI | m2://inv/BN79MT1MKY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beam propagation method, Beam propagation method (definition). Also Wikidata Q4876189
History
- 2026-11-02: add by m2/dev
Examples BN7A0M7V00
| URI | m2://inv/BN7A0M7V00 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reynolds operator#LGY5, Examples (example)
History
- 2026-11-02: add by m2/dev
BN7NPWJF1K BN7NPWJF1K
| URI | m2://inv/BN7NPWJF1K |
|---|---|
| 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.19251#7AJK (statement). In CSW6NG0FRN/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
law of non-contradiction BN7S1JTEEV
| URI | m2://inv/BN7S1JTEEV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#LMV6, law of non-contradiction (definition)
History
- 2026-11-02: add by m2/dev
False inclusion BN7TFKJKJZ
| URI | m2://inv/BN7TFKJKJZ |
|---|---|
| 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.11007#JE20, False inclusion (statement). In MF0H78XZXC/e1, lemma C.8
History
- 2026-10-28: add by m2/v0.4.3
Courtenay Slater BN7TFWZDQR
| URI | m2://inv/BN7TFWZDQR |
|---|---|
| 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#R8Q8, Courtenay Slater (unknown)
History
- 2026-11-02: add by m2/dev
Full-interval moving-feedback guarantee BN7Y2VCDRM
| URI | m2://inv/BN7Y2VCDRM |
|---|---|
| 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.33154#6G0X, Full-interval moving-feedback guarantee (statement). In N28DEYRBW7/e1, theorem 3.6
History
- 2026-10-30: add by m2/v0.4.12
BN8474DFRN BN8474DFRN
| URI | m2://inv/BN8474DFRN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06755#ROVL (statement). In DKEX05SEXS/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.10
Proton Docs BN88BP1YAX
| URI | m2://inv/BN88BP1YAX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proton Drive#1Z87, Proton Docs (unknown)
History
- 2026-11-02: add by m2/dev
Solder form BN8CEDDQ9D
| URI | m2://inv/BN8CEDDQ9D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solder form, Solder form (definition). Also Wikidata Q7557226
History
- 2026-11-02: add by m2/dev
Definition BN8M2BJ9BY
| URI | m2://inv/BN8M2BJ9BY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross product#SCHC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties BN8QNSZX62
| URI | m2://inv/BN8QNSZX62 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind-finite ring#J5PS, Properties (statement)
History
- 2026-11-02: add by m2/dev
Paul Stäckel BN8TAD6B75
| URI | m2://inv/BN8TAD6B75 |
|---|---|
| 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#9TZU, Paul Stäckel (topic)
History
- 2026-11-02: add by m2/dev
BN8YR84GQ7 BN8YR84GQ7
| URI | m2://inv/BN8YR84GQ7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.13401#8GEG (definition). In B8MJT0GGW8/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.0
BN90S810J1 BN90S810J1
| URI | m2://inv/BN90S810J1 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21627#53ZK (conjecture). In 4Z44S003HM/e1, conjecture 1
History
- 2026-10-27: add by m2/v0.4.2
Distinct one-symbol insertions BN91G0MKDB
| URI | m2://inv/BN91G0MKDB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14615#VRZP, Distinct one-symbol insertions (statement). In 7D5MMP8XB5/e1, lemma 5.8
History
- 2026-10-28: add by m2/v0.4.2
David W. Henderson BN93ZTDN1P
| URI | m2://inv/BN93ZTDN1P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David W. Henderson, David W. Henderson (topic). Also Wikidata Q22673242
History
- 2026-11-02: add by m2/dev
Definition BN94SSNDT6
| URI | m2://inv/BN94SSNDT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twisted diagonal (category theory)#BJ66, Definition (definition)
History
- 2026-11-02: add by m2/dev
BN95BR0Y4A BN95BR0Y4A
| URI | m2://inv/BN95BR0Y4A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2603.07541#EMLW (statement). In X3RFXWN6FW/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.6
Cable descrambler BN95HNK95C
| URI | m2://inv/BN95HNK95C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scrambler#NK0F, Cable descrambler (unknown)
History
- 2026-11-02: add by m2/dev
BN9CRA0C2C BN9CRA0C2C
| URI | m2://inv/BN9CRA0C2C |
|---|---|
| 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.25094#5SBZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
BN9D8AR2RR BN9D8AR2RR
| URI | m2://inv/BN9D8AR2RR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05327#CA0O (statement). In ZD7BWDKT84/e1, corollary 9.6
History
- 2026-10-29: add by m2/v0.4.10
Rape in Brazil BN9E2EYSWM
| URI | m2://inv/BN9E2EYSWM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rape statistics#JCU0, Rape in Brazil (unknown)
History
- 2026-11-02: add by m2/dev
Examples BN9K20KBHQ
| URI | m2://inv/BN9K20KBHQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-category#O6BX, Examples (example)
History
- 2026-11-02: add by m2/dev
BN9PT9E273 BN9PT9E273
| URI | m2://inv/BN9PT9E273 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19954#PKZK (statement). In AXPPYWYJZ5/e1, theorem 2.8
History
- 2026-10-28: add by m2/v0.4.2
Hardy–Weinberg principle BN9Y0310F2
| URI | m2://inv/BN9Y0310F2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UD00, Hardy–Weinberg principle (statement)
History
- 2026-11-02: add by m2/dev
BN9YEE9HB2 BN9YEE9HB2
| URI | m2://inv/BN9YEE9HB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.00134#QONU (statement). In S654779J5P/e1, lemma 1.1
History
- 2026-10-30: add by m2/v0.4.12
Uses BNA3EW9QV6
| URI | m2://inv/BNA3EW9QV6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ray tracing (physics)#98XT, Uses (example)
History
- 2026-11-02: add by m2/dev
BNA7DR3W4Y BNA7DR3W4Y
| URI | m2://inv/BNA7DR3W4Y |
|---|---|
| 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.29450#4102 (statement)
History
- 2026-11-01: add by m2/v0.6.15
BNAC89P7K1 BNAC89P7K1
| URI | m2://inv/BNAC89P7K1 |
|---|---|
| Kind | example |
| 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.29158#4ISP (example)
History
- 2026-11-01: add by m2/v0.6.15
Barnardisation BNADYJ24T8
| URI | m2://inv/BNADYJ24T8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barnardisation, Barnardisation (definition). Also Wikidata Q4861440
History
- 2026-11-02: add by m2/dev
Nedret Billor BNAMANVN1P
| URI | m2://inv/BNAMANVN1P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nedret Billor, Nedret Billor (topic). Also Wikidata Q102405467
History
- 2026-11-02: add by m2/dev
BNAT8STF6E BNAT8STF6E
| URI | m2://inv/BNAT8STF6E |
|---|---|
| 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 1806.00752#AD52 (statement). In GGW2N4JHXM/e1, proposition 8
History
- 2026-10-27: add by m2/v0.3.5
BNAWZT0CBA BNAWZT0CBA
| URI | m2://inv/BNAWZT0CBA |
|---|---|
| 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 2210.02261#QT6S (statement). In TT74R659T0/e1, lemma 0.6
History
- 2026-10-27: add by m2/v0.3.5
Theorem (semifinite part) BNAYHBPG2M
| URI | m2://inv/BNAYHBPG2M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measure (mathematics)#GIDK, Theorem (semifinite part) (statement)
History
- 2026-11-02: add by m2/dev
Posterior-rank regret and Shtarkov regret BNAZEZE39P
| URI | m2://inv/BNAZEZE39P |
|---|---|
| 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.29688#KB1B, Posterior-rank regret and Shtarkov regret (statement)
History
- 2026-11-01: add by m2/v0.6.15
inverse, approximate BNB3Z78KXR
| URI | m2://inv/BNB3Z78KXR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.1/inverse-approximate, inverse, approximate (concept). In N54F33XE07, index, section B.1
History
- 2026-11-01: add by m2/v0.6.13
Andrei Zelevinsky BNB4875MG5
| URI | m2://inv/BNB4875MG5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DMZM, Andrei Zelevinsky (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3TVS, Andrei Zelevinsky (topic)
History
- 2026-11-02: add by m2/dev
Donald Aronson BNBC8WVVA1
| URI | m2://inv/BNBC8WVVA1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CVDC, Donald Aronson (topic)
History
- 2026-11-02: add by m2/dev
automorphism, of $\Z$, successor BNBJD6981H
| URI | m2://inv/BNBJD6981H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7/automorphism-of-z-successor, automorphism, of $\Z$, successor (concept). In N54F33XE07, index, section 7
History
- 2026-11-01: add by m2/v0.6.13
Resolvent estimate BNBNQ68JWT
| URI | m2://inv/BNBNQ68JWT |
|---|---|
| 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.21972#9261, Resolvent estimate (statement)
History
- 2026-11-02: add by m2/v0.6.17
Communication-Tax Identity BNBSW99A9P
| URI | m2://inv/BNBSW99A9P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03769#Y4TA, Communication-Tax Identity (statement). In 35DNCV14M4/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
Definition BNBY5DM1PK
| URI | m2://inv/BNBY5DM1PK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander horned sphere#49R9, Definition (definition)
History
- 2026-11-02: add by m2/dev
BNC66H62YF BNC66H62YF
| URI | m2://inv/BNC66H62YF |
|---|---|
| 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.39104#NA3E (statement). In V2NTW27MSJ/e1, proposition 2.13
History
- 2026-10-30: add by m2/v0.4.12
Isolation forest BNC95KVECT
| URI | m2://inv/BNC95KVECT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isolation forest, Isolation forest (definition). Also Wikidata Q85770174
History
- 2026-11-02: add by m2/dev
BND28TJ8CA BND28TJ8CA
| URI | m2://inv/BND28TJ8CA |
|---|---|
| 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.05708#EGTX (statement). In 3BJPFGJNSS/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Statement of the theorem BND47FAR1C
| URI | m2://inv/BND47FAR1C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disintegration theorem#BYKP, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
BND7SFRVF8 BND7SFRVF8
| URI | m2://inv/BND7SFRVF8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/partial-recursive-functions.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 38.5
History
- 2026-11-01: add by m2/v0.6.13
informal type theory BNDDGT2Y9Z
| URI | m2://inv/BNDDGT2Y9Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u6/informal-type-theory, informal type theory (concept). In N54F33XE07, index, section u1.u6
History
- 2026-11-01: add by m2/v0.6.13
BNDEVVAJVY BNDEVVAJVY
| URI | m2://inv/BNDEVVAJVY |
|---|---|
| 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.19251#V7Q8 (statement). In CSW6NG0FRN/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
The Margulis lemma for manifolds of non-positive curvature BNDVC73HXF
| URI | m2://inv/BNDVC73HXF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Margulis lemma#3XTP, The Margulis lemma for manifolds of non-positive curvature (statement)
History
- 2026-11-02: add by m2/dev
BNDX4PBPA0 BNDX4PBPA0
| URI | m2://inv/BNDX4PBPA0 |
|---|---|
| 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.14099#NF1R (statement). In D77GXFTKFH/e1, proposition 10
History
- 2026-10-28: add by m2/v0.4.2
Generalizations BNDZP7RGMY
| URI | m2://inv/BNDZP7RGMY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nilmanifold#EGF6, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Romanovski polynomials BNE060SKZ8
| URI | m2://inv/BNE060SKZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Romanovski polynomials, Romanovski polynomials (definition). Also Wikidata Q25304366
History
- 2026-11-02: add by m2/dev
Gudrun Kalmbach BNE2ZN2CAZ
| URI | m2://inv/BNE2ZN2CAZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gudrun Kalmbach, Gudrun Kalmbach (topic). Also Wikidata Q14063365
History
- 2026-11-02: add by m2/dev
Theorem BNE3DTJG1B
| URI | m2://inv/BNE3DTJG1B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rokhlin lemma#JIAW, Theorem (statement)
History
- 2026-11-02: add by m2/dev
BNE7N1AGZ3 BNE7N1AGZ3
| URI | m2://inv/BNE7N1AGZ3 |
|---|---|
| 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 2605.29624#5J1K (statement). In TAD5A4R089/e1, proposition 3.9
History
- 2026-10-27: add by m2/v0.3.5
Bernard Malgrange BNE86D1JF6
| URI | m2://inv/BNE86D1JF6 |
|---|---|
| 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#I6SU, Bernard Malgrange (topic)
History
- 2026-11-02: add by m2/dev
I. M. Rubinow BNE990XGP6
| URI | m2://inv/BNE990XGP6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#WD3E, I. M. Rubinow (unknown)
History
- 2026-11-02: add by m2/dev
Examples BNEKS1MNKD
| URI | m2://inv/BNEKS1MNKD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small cancellation theory#HGS9, Examples (example)
History
- 2026-11-02: add by m2/dev
HAVAL BNEPHJ1NKG
| URI | m2://inv/BNEPHJ1NKG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#SQEE, HAVAL (definition)
History
- 2026-11-02: add by m2/dev
Random generation BNEQZTCAZ8
| URI | m2://inv/BNEQZTCAZ8 |
|---|---|
| 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.08280#8RXZ, Random generation (statement). In EGADPYP7R3/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
Kirchberger's theorem BNEYRV8D66
| URI | m2://inv/BNEYRV8D66 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QX2C, Kirchberger's theorem (statement)
History
- 2026-11-02: add by m2/dev
BNEYZFYJE2 BNEYZFYJE2
| URI | m2://inv/BNEYZFYJE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35209#JME1 (statement). In YEERR7F4NW/e1, theorem B
History
- 2026-10-30: add by m2/v0.4.12
Applications BNF34M2WV1
| URI | m2://inv/BNF34M2WV1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré separation theorem#PAUJ, Applications (example)
History
- 2026-11-02: add by m2/dev
BNFACAQ785 BNFACAQ785
| URI | m2://inv/BNFACAQ785 |
|---|---|
| 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.22040#R5BT (statement). In 2QP93JHYNB/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.4.2
Iteration complexity BNFF76YD9R
| URI | m2://inv/BNFF76YD9R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-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.38741#9IP6, Iteration complexity (statement). In 1SQH3PTYMD/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
Leading-block combination theorem BNG1A91CTK
| URI | m2://inv/BNG1A91CTK |
|---|---|
| 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.17608#VI3F, Leading-block combination theorem (statement). In VAGWC38NSF/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
BNG6E9WNPE BNG6E9WNPE
| URI | m2://inv/BNG6E9WNPE |
|---|---|
| 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#E1UD (statement)
History
- 2026-11-02: add by m2/v0.6.17
small dodecicosahedron BNG6KXWFE6
| URI | m2://inv/BNG6KXWFE6 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2717581, small dodecicosahedron (unknown). Also MathWorld SmallDodecicosahedron
- wikipedia: Wikipedia Small dodecicosahedron, Small dodecicosahedron (object). Also Wikidata Q2717581
History
- 2026-10-26: add by m2/dev
Caroline Klivans BNGBQN8N7J
| URI | m2://inv/BNGBQN8N7J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caroline Klivans, Caroline Klivans (topic). Also Wikidata Q94235423
History
- 2026-11-02: add by m2/dev
Convex series BNGFVQT200
| URI | m2://inv/BNGFVQT200 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex series, Convex series (definition). Also Wikidata Q96375446
History
- 2026-11-02: add by m2/dev
Free-surface modelling BNGJDXSDSR
| URI | m2://inv/BNGJDXSDSR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free-surface modelling, Free-surface modelling (definition). Also Wikidata Q18207248
History
- 2026-11-02: add by m2/dev
Theorem (Jacobi's formula) BNGJZP0JKM
| URI | m2://inv/BNGJZP0JKM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi's formula#GT7J, Theorem (Jacobi's formula) (statement)
History
- 2026-11-02: add by m2/dev
functor, adjoint BNGK3RAJ2S
| URI | m2://inv/BNGK3RAJ2S |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.3/functor-adjoint, functor, adjoint (concept). In N54F33XE07, index, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
unit BNGWC1KGWF
| URI | m2://inv/BNGWC1KGWF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#0ROZ, unit (definition)
History
- 2026-11-02: add by m2/dev
BNGWZ91ZGE BNGWZ91ZGE
| URI | m2://inv/BNGWZ91ZGE |
|---|---|
| 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 2609.25409#8ZMM (statement)
History
- 2026-11-01: add by m2/v0.6.15
BNH2M1T1VS BNH2M1T1VS
| URI | m2://inv/BNH2M1T1VS |
|---|---|
| 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 2609.25854#MW4M (statement)
History
- 2026-11-01: add by m2/v0.6.15
Konrad Zuse BNH7N7KFD9
| URI | m2://inv/BNH7N7KFD9 |
|---|---|
| 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 Q60093, Konrad Zuse (unknown). Also nLab Konrad Zuse
History
- 2026-10-26: add by m2/dev
Tilman consumer-resource model BNHE4T599X
| URI | m2://inv/BNHE4T599X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consumer-resource model#DSH4, Tilman consumer-resource model (unknown)
History
- 2026-11-02: add by m2/dev
zero function BNHMRVYAXG
| URI | m2://inv/BNHMRVYAXG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q682353, zero function (unknown). Also MathWorld ZeroFunction, MathWorld ZeroMap, nLab zero function
History
- 2026-10-26: add by m2/dev
BNHR8BE2E5 BNHR8BE2E5
| URI | m2://inv/BNHR8BE2E5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35191#N5MW (definition). In W9Z6S1PDTP/e1, definition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Edge identities BNJ2HV26SK
| URI | m2://inv/BNJ2HV26SK |
|---|---|
| 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.19356#P7GY, Edge identities (statement). In 2B5QA28NCX/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
matrix BNJD6TDNHB
| URI | m2://inv/BNJD6TDNHB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#9WO7, matrix (definition)
History
- 2026-11-02: add by m2/dev
Blind polytope BNJFZN28NP
| URI | m2://inv/BNJFZN28NP |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blind polytope, Blind polytope (object). Also Wikidata Q115804817
History
- 2026-11-02: add by m2/dev
Cremated remains BNJN86Z49G
| URI | m2://inv/BNJN86Z49G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#4KT3, Cremated remains (unknown)
History
- 2026-11-02: add by m2/dev
BNJWTP7578 BNJWTP7578
| URI | m2://inv/BNJWTP7578 |
|---|---|
| Kind | example |
| 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.20656#5OB5 (example)
History
- 2026-11-02: add by m2/v0.6.18
BNK7X2PTJY BNK7X2PTJY
| URI | m2://inv/BNK7X2PTJY |
|---|---|
| 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.23872#NYBH (statement)
History
- 2026-11-02: add by m2/v0.6.17
Main corollary BNK8VPG3VY
| URI | m2://inv/BNK8VPG3VY |
|---|---|
| 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 2102.11076#1JF5, Main corollary (statement). In T9HZXHTQBJ/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.6
requires \sectionref{sec:taylor} BNKG1RRFH1
| URI | m2://inv/BNKG1RRFH1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise:nonanalytic, requires \sectionref{sec:taylor} (exercise). In E59CDZA4DP, exercise, section 8.4.3
History
- 2026-11-01: add by m2/v0.6.13
Corollary BNKJM30S4F
| URI | m2://inv/BNKJM30S4F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central carrier#2TMG, Corollary (statement)
History
- 2026-11-02: add by m2/dev
poset homotopy BNKPCFX9P0
| URI | m2://inv/BNKPCFX9P0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-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.15099#FTET, poset homotopy (definition). In PF5JJ9DS8Q/e1, definition 5.1.6
History
- 2026-10-28: add by m2/v0.4.2
BNKX33RY7B BNKX33RY7B
| URI | m2://inv/BNKX33RY7B |
|---|---|
| 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.16680#W7VI (statement). In H29YHXQZV6/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
Michael Barr BNKYATMDAR
| URI | m2://inv/BNKYATMDAR |
|---|---|
| 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#4XOT, Michael Barr (topic)
History
- 2026-11-02: add by m2/dev
BNM3039TQB BNM3039TQB
| URI | m2://inv/BNM3039TQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.26479#TET6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Baire one star function BNM3MDQWCG
| URI | m2://inv/BNM3MDQWCG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#Z131, Baire one star function (definition)
History
- 2026-11-02: add by m2/dev
Definition BNMJCPTJXA
| URI | m2://inv/BNMJCPTJXA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual Steenrod algebra#DTQV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Dowker BNMKQYY99M
| URI | m2://inv/BNMKQYY99M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-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 2601.04559#8QME, Dowker (statement). In WWMHZKWZSM/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Prime avoidance lemma BNMKX2HD52
| URI | m2://inv/BNMKX2HD52 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#5NUV, Prime avoidance lemma (statement)
History
- 2026-11-02: add by m2/dev
BNMY0RGMVA BNMY0RGMVA
| URI | m2://inv/BNMY0RGMVA |
|---|---|
| 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 2508.08809#ZOKS (definition). In X5NX1YEABW/e1, definition 1.4
History
- 2026-10-27: add by m2/v0.3.5
Miriam D. Mann BNN67CD4EG
| URI | m2://inv/BNN67CD4EG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miriam D. Mann, Miriam D. Mann (topic). Also Wikidata Q111575386
History
- 2026-11-02: add by m2/dev
Notation BNN67MPFMX
| URI | m2://inv/BNN67MPFMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cunningham Project#96VV, Notation (definition)
History
- 2026-11-02: add by m2/dev
BNNAZ1YBND BNNAZ1YBND
| URI | m2://inv/BNNAZ1YBND |
|---|---|
| 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.07092#ZUJL (statement). In JWNYJVH8XG/e1, lemma 4.14
History
- 2026-10-29: add by m2/v0.4.10
List prediction BNNFWV1RCN
| URI | m2://inv/BNNFWV1RCN |
|---|---|
| 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 2610.02407#QGCG, List prediction (statement). In ZZER8ZBSCR/e1, theorem A.5
History
- 2026-10-29: add by m2/v0.4.12
fundamental theorem of $\Gamma$-convergence BNNJ6AZ9V3
| URI | m2://inv/BNNJ6AZ9V3 |
|---|---|
| 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 2204.07227#S3BX, fundamental theorem of $\Gamma$-convergence (statement). In R85Z7ZZGBC/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Brahmagupta–Fibonacci identity BNNQTW4R5R
| URI | m2://inv/BNNQTW4R5R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#VZRT, Brahmagupta–Fibonacci identity (statement)
History
- 2026-11-02: add by m2/dev
BNNVM2VDX5 BNNVM2VDX5
| URI | m2://inv/BNNVM2VDX5 |
|---|---|
| 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.03336#UIII (statement). In 4ZD20W8BVF/e1, theorem 4.6
History
- 2026-10-29: add by m2/v0.4.12
Examples BNP0VCDPT0
| URI | m2://inv/BNP0VCDPT0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Substructure search#8H5S, Examples (example)
History
- 2026-11-02: add by m2/dev
BNP1ZCMD14 BNP1ZCMD14
| URI | m2://inv/BNP1ZCMD14 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21037#4XRA (statement). In PYB2RFYVVE/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
Computation BNP7KWHSVB
| URI | m2://inv/BNP7KWHSVB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higher-order singular value decomposition#FXWG, Computation (definition)
History
- 2026-11-02: add by m2/dev
BNPDRT2ZZE BNPDRT2ZZE
| URI | m2://inv/BNPDRT2ZZE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26201#0A8F (statement)
History
- 2026-11-01: add by m2/v0.6.15
⌜φ⌝ BNPG2PQBKX
| URI | m2://inv/BNPG2PQBKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#5716, ⌜φ⌝ (definition)
History
- 2026-11-02: add by m2/dev
BNPSWJ1RDG BNPSWJ1RDG
| URI | m2://inv/BNPSWJ1RDG |
|---|---|
| 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 2309.17091#VB6V (statement). In N0JJM098W2/e1, theorem 21
History
- 2026-10-27: add by m2/v0.4.0
Linear congruence theorem BNPXH6ZC2K
| URI | m2://inv/BNPXH6ZC2K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#F537, Linear congruence theorem (statement)
History
- 2026-11-02: add by m2/dev
BNPXM6C6ZZ BNPXM6C6ZZ
| URI | m2://inv/BNPXM6C6ZZ |
|---|---|
| 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.12908#F4AI (statement). In TNC658NVMQ/e1, theorem 10.4
History
- 2026-10-28: add by m2/v0.4.2
Ramsey's theorem BNPYRXGRPP
| URI | m2://inv/BNPYRXGRPP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QE4D, Ramsey's theorem (statement)
History
- 2026-11-02: add by m2/dev
BNQ55BY2RW BNQ55BY2RW
| URI | m2://inv/BNQ55BY2RW |
|---|---|
| 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.04069#WMIY (statement). In ZA7WXGZYWC/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.12
Gödel's second incompleteness theorem BNQ82A4XGA
| URI | m2://inv/BNQ82A4XGA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1031460, Gödel's second incompleteness theorem (statement). Also MathWorld GoedelsSecondIncompletenessTheorem
History
- 2026-10-26: add by m2/dev
BNQBNG7Q5H BNQBNG7Q5H
| URI | m2://inv/BNQBNG7Q5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#thm:freudcode (definition). In N54F33XE07, defn, section 7.6
History
- 2026-11-01: add by m2/v0.6.13
Mayuko Yamashita BNQCGVCKDS
| URI | m2://inv/BNQCGVCKDS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mayuko Yamashita, Mayuko Yamashita (topic). Also Wikidata Q119343105
History
- 2026-11-02: add by m2/dev
Michael F. Singer BNQGDWNK2Y
| URI | m2://inv/BNQGDWNK2Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael F. Singer, Michael F. Singer (topic). Also Wikidata Q38178617
History
- 2026-11-02: add by m2/dev
BNQJGDQNNQ BNQJGDQNNQ
| URI | m2://inv/BNQJGDQNNQ |
|---|---|
| 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.17129#W4XP (statement). In TCZWAMNYCV/e1, proposition 6.13
History
- 2026-10-28: add by m2/v0.4.2
August Ferdinand Möbius BNQN13JXYD
| URI | m2://inv/BNQN13JXYD |
|---|---|
| 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 Q57335, August Ferdinand Möbius (unknown). Also nLab August Ferdinand Möbius, ProofWiki Mathematician:August_Ferdinand_Möbius
- wikipedia: Wikipedia August Ferdinand Möbius, August Ferdinand Möbius (topic). Also Wikidata Q57335
History
- 2026-10-26: add by m2/dev
Panov's two-parameter H-measures BNQQMKX22J
| URI | m2://inv/BNQQMKX22J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20735#4G4E, Panov's two-parameter H-measures (statement)
History
- 2026-11-02: add by m2/v0.6.18
reconstruction conjecture BNR65BYGS9
| URI | m2://inv/BNR65BYGS9 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| MSC | 05-XX, 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | Graph reconstruction conjecture XRBPS2QYE3 |
Mentions
- arxiv: arXiv 2610.14373#4DYG, Reconstruction conjecture (conjecture). In 77TK7M3B9Y/e1, conjecture 2
- wikidata: Wikidata Q7302789, reconstruction conjecture (conjecture). Also MathWorld UlamsConjecture
- wikipedia: Wikipedia Reconstruction conjecture, Reconstruction conjecture (conjecture). Also Wikidata Q7302789
History
- 2026-10-26: add by m2/dev
- 2026-10-31: merge by m2/v0.5.6
BNR6GEJK6B BNR6GEJK6B
| URI | m2://inv/BNR6GEJK6B |
|---|---|
| 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.07442#DQAY (statement). In 6SDC2Z8Y8M/e1, theorem 4.6
History
- 2026-10-29: add by m2/v0.4.10
Properties BNREAB59H1
| URI | m2://inv/BNREAB59H1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring of modular forms#3GKW, Properties (statement)
History
- 2026-11-02: add by m2/dev
BNRED3RK2H BNRED3RK2H
| URI | m2://inv/BNRED3RK2H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04382#ZJUE (definition). In 7VW8XD28G1/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.12
BNRGRFXPQM BNRGRFXPQM
| URI | m2://inv/BNRGRFXPQM |
|---|---|
| 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.21278#9B6J (statement). In DCH1JJGGYH/e1, theorem A
History
- 2026-10-27: add by m2/v0.4.2
Tomography of the cutoff block BNRK339VX0
| URI | m2://inv/BNRK339VX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06810#1HRN, Tomography of the cutoff block (statement). In 1NY2SA03XF/e1, lemma 4.13
History
- 2026-10-29: add by m2/v0.4.10
Battleship BNRKV8WJG6
| URI | m2://inv/BNRKV8WJG6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#Y9ZY, Battleship (unknown)
History
- 2026-11-02: add by m2/dev
Stability of the normalized filters BNRSWMW9KN
| URI | m2://inv/BNRSWMW9KN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28985#BFP0, Stability of the normalized filters (statement)
History
- 2026-11-01: add by m2/v0.6.15
ROF estimates BNRYBMNEH0
| URI | m2://inv/BNRYBMNEH0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15511#8WNL, ROF estimates (statement). In TZM08VJAQT/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Jean D. Gibbons BNRZV91SG9
| URI | m2://inv/BNRZV91SG9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean D. Gibbons, Jean D. Gibbons (topic). Also Wikidata Q42305722
History
- 2026-11-02: add by m2/dev
BNS7SZZWTS BNS7SZZWTS
| URI | m2://inv/BNS7SZZWTS |
|---|---|
| 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.04271#VXU2 (definition). In WBXAW9G4JB/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
Uniform closed-set frequency BNSC0K52CZ
| URI | m2://inv/BNSC0K52CZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11143#2MPE, Uniform closed-set frequency (statement). In 9CS15SV662/e1, lemma 11.2
History
- 2026-10-28: add by m2/v0.4.3
Slice theorem BNSHXAKNK9
| URI | m2://inv/BNSHXAKNK9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slice theorem (differential geometry), Slice theorem (statement). Also Wikidata Q17093903
History
- 2026-11-02: add by m2/dev
supertrace BNSS8SNWGR
| URI | m2://inv/BNSS8SNWGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3978058, supertrace (unknown). Also nLab supertrace
- wikipedia: Wikipedia Supertrace, Supertrace (definition). Also Wikidata Q3978058
History
- 2026-10-26: add by m2/dev
BNSVX8255H BNSVX8255H
| URI | m2://inv/BNSVX8255H |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph coloring game#EFI4 (problem)
History
- 2026-11-02: add by m2/dev
François J. Divisia BNSXYRNVH7
| URI | m2://inv/BNSXYRNVH7 |
|---|---|
| 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#YLG1, François J. Divisia (unknown)
History
- 2026-11-02: add by m2/dev
BNTESG4H6A BNTESG4H6A
| URI | m2://inv/BNTESG4H6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.19872#E91L (statement). In DG9TF5X0EG/e1, lemma 3
History
- 2026-10-27: add by m2/v0.4.0
The paradox BNTS5JHK1K
| URI | m2://inv/BNTS5JHK1K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pinocchio paradox#2F5R, The paradox (statement)
History
- 2026-11-02: add by m2/dev
Hartley, Herman Otto BNTTQKTBQN
| URI | m2://inv/BNTTQKTBQN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#U5MX, Hartley, Herman Otto (topic)
History
- 2026-11-02: add by m2/dev
Homo economicus BNV020XPDF
| URI | m2://inv/BNV020XPDF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homo economicus, Homo economicus (definition). Also Wikidata Q1164073
History
- 2026-11-02: add by m2/dev
BNV0Y3D42W BNV0Y3D42W
| URI | m2://inv/BNV0Y3D42W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#MCMW (statement). In MRR92GQNZE/e1, lemma 5.6
History
- 2026-10-30: add by m2/v0.4.12
BNV4MQKCMY BNV4MQKCMY
| URI | m2://inv/BNV4MQKCMY |
|---|---|
| Kind | statement |
| 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#J0JP (statement). In WRE0P7V6Z3/e1, lemma 14.2
History
- 2026-10-30: add by m2/v0.4.12
identity BNV6XZG0FZ
| URI | m2://inv/BNV6XZG0FZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u3/identity, identity (concept). In N54F33XE07, index, section u1.u3
History
- 2026-11-01: add by m2/v0.6.13
Solving non-trigonometric equations using trigonometry BNV8JJRMD0
| URI | m2://inv/BNV8JJRMD0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uses of trigonometry#EA03, Solving non-trigonometric equations using trigonometry (unknown)
History
- 2026-11-02: add by m2/dev
Definition BNVASPJK83
| URI | m2://inv/BNVASPJK83 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum flow problem#G5T1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Notation BNVXASZ5GF
| URI | m2://inv/BNVXASZ5GF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Map segmentation#5OPI, Notation (definition)
History
- 2026-11-02: add by m2/dev
SIC-POVM BNVYYGFN4R
| URI | m2://inv/BNVYYGFN4R |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SIC-POVM, SIC-POVM (conjecture). Also Wikidata Q7390277
History
- 2026-11-02: add by m2/dev
\probname{FeedbackArcSet BNVZJV6DMX
| URI | m2://inv/BNVZJV6DMX |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38436#WD06, \probname{FeedbackArcSet (problem). In 702AF3E4AF/e1, problem 4.8
History
- 2026-10-30: add by m2/v0.4.12
theorem, van Kampen BNW03Q2XX3
| URI | m2://inv/BNW03Q2XX3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.7/theorem-van-kampen, theorem, van Kampen (concept). In N54F33XE07, index, section 7.7
History
- 2026-11-01: add by m2/v0.6.13
BNW0BKW7P6 BNW0BKW7P6
| URI | m2://inv/BNW0BKW7P6 |
|---|---|
| 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.12188#FSNA (statement). In 52HWCGK5QJ/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
BNW0VFNJ7B BNW0VFNJ7B
| URI | m2://inv/BNW0VFNJ7B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24041#0ZH5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Xinping Cui BNW3EQJ24Q
| URI | m2://inv/BNW3EQJ24Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Xinping Cui, Xinping Cui (topic). Also Wikidata Q102392723
History
- 2026-11-02: add by m2/dev
Fundamental --- \textsc{$\Pi$-$\beta$ BNWCXQCQ63
| URI | m2://inv/BNWCXQCQ63 |
|---|---|
| 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.21131#BRXR, Fundamental --- \textsc{$\Pi$-$\beta$ (statement). In CPYWHRTPKC/e1, lemma 6.65
History
- 2026-10-27: add by m2/v0.4.2
Classification of symmetric spaces BNWVG1C4PP
| URI | m2://inv/BNWVG1C4PP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1ROU, Classification of symmetric spaces (definition)
History
- 2026-11-02: add by m2/dev
BNWZEYMH8S BNWZEYMH8S
| URI | m2://inv/BNWZEYMH8S |
|---|---|
| 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.10221#ZGDM (statement). In 9Z5M655EPV/e1, theorem 4.10
History
- 2026-10-29: add by m2/v0.4.10
Mixed-graph half-rank theorem BNX2MR6EY0
| URI | m2://inv/BNX2MR6EY0 |
|---|---|
| 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.30561#SUVZ, Mixed-graph half-rank theorem (statement). In EHQBEXHF9W/e1, theorem 3.2
History
- 2026-10-31: add by m2/v0.5.6
Distance-two characterization and orbit factorization BNX3866382
| URI | m2://inv/BNX3866382 |
|---|---|
| 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.39121#XCYQ, Distance-two characterization and orbit factorization (statement). In A42CWWRZJE/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Symmetry BNX5S3N4WQ
| URI | m2://inv/BNX5S3N4WQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Platonic solid#ODJ7, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Ismat Beg BNX74S2ZVR
| URI | m2://inv/BNX74S2ZVR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ismat Beg, Ismat Beg (topic). Also Wikidata Q55656100
History
- 2026-11-02: add by m2/dev
BNXGBRTRJA BNXGBRTRJA
| URI | m2://inv/BNXGBRTRJA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#9MXS (definition). In HH35K7S17H/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.10
Structural reduction BNXPTZPMQ0
| URI | m2://inv/BNXPTZPMQ0 |
|---|---|
| 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.33185#UIQG, Structural reduction (statement). In QX30H2WNA7/e1, theorem 5.5
History
- 2026-10-30: add by m2/v0.4.12
BNXTEP2ES9 BNXTEP2ES9
| URI | m2://inv/BNXTEP2ES9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#SPI2 (statement). In M0SQY5EZN5/e1, lemma 2.7.7
History
- 2026-10-27: add by m2/v0.3.5
A∞-operad BNXTTXXSR9
| URI | m2://inv/BNXTTXXSR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A∞-operad, A∞-operad (definition). Also Wikidata Q4833569
History
- 2026-11-02: add by m2/dev
π-base BNY039MFGG
| URI | m2://inv/BNY039MFGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#K6OX, π-base (definition)
History
- 2026-11-02: add by m2/dev
Stochastic Gronwall inequality BNY5EV45FH
| URI | m2://inv/BNY5EV45FH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic Gronwall inequality, Stochastic Gronwall inequality (statement). Also Wikidata Q108821995
History
- 2026-11-02: add by m2/dev
Diagonal evaluation BNYAX9YYBS
| URI | m2://inv/BNYAX9YYBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#QV97, Diagonal evaluation (statement). In QPJ6FWG5HD/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.12
Applications BNYE34E62T
| URI | m2://inv/BNYE34E62T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibonacci sequence#HNZJ, Applications (example)
History
- 2026-11-02: add by m2/dev
BNYHSYNG7D BNYHSYNG7D
| URI | m2://inv/BNYHSYNG7D |
|---|---|
| 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.04835#QDSR (statement). In P6PHR4W23S/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.12
Product formula and compactness of norm-one idele classes BNYKEV3VP0
| URI | m2://inv/BNYKEV3VP0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idele group#YY26, Product formula and compactness of norm-one idele classes (statement)
History
- 2026-11-02: add by m2/dev
BNYTWGJN6F BNYTWGJN6F
| URI | m2://inv/BNYTWGJN6F |
|---|---|
| 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 2610.03688#TEIW (statement). In HMWJQY9NAP/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.12
The signature is a complete invariant of the context structure BNZ2CZ2H08
| URI | m2://inv/BNZ2CZ2H08 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20478#RBWQ, The signature is a complete invariant of the context structure (statement)
History
- 2026-11-02: add by m2/v0.6.18
Riemann zeta function BNZES6DKKV
| URI | m2://inv/BNZES6DKKV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Riemann zeta function 1XWBY4N0VT |
Mentions
- wikidata: Wikidata Q187235, Riemann zeta function (concept). Also EoM Zeta-function#Riemann.27s_zeta-function, Mathlib riemannZeta, MathWorld RiemannZetaFunction, ProofWiki Definition:Riemann_Zeta_Function
- wikipedia: Wikipedia Riemann zeta function, Riemann zeta function (definition). Also Wikidata Q187235
History
- 2026-10-26: add by m2/dev
Senior Wrangler BNZF9BM11Y
| URI | m2://inv/BNZF9BM11Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Senior Wrangler, Senior Wrangler (definition). Also Wikidata Q7450721
History
- 2026-11-02: add by m2/dev
BNZFVPH8JA BNZFVPH8JA
| URI | m2://inv/BNZFVPH8JA |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02111#E5CQ (problem). In NC5ZRF6F8N/e1, problem 1.3
History
- 2026-10-29: add by m2/v0.4.12
Walter Pitts BNZHT83XDB
| URI | m2://inv/BNZHT83XDB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walter Pitts, Walter Pitts (topic). Also Wikidata Q705010
History
- 2026-11-02: add by m2/dev
Blocknots BNZHTDA69Q
| URI | m2://inv/BNZHTDA69Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blocknots, Blocknots (definition). Also Wikidata Q48816285
History
- 2026-11-02: add by m2/dev
BNZW0T40ZS BNZW0T40ZS
| URI | m2://inv/BNZW0T40ZS |
|---|---|
| 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.04317#7VQ3 (statement). In CF1X73QQ11/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12