Inventory rows NB
The cards of the rows of the inventory whose ids start with NB. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
NB01APRTKD NB01APRTKD
| URI | m2://inv/NB01APRTKD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33027#U12K (statement). In E2AF84709B/e1, lemma 35
History
- 2026-10-31: add by m2/v0.5.6
Sobolev space NB09E1E6TD
| URI | m2://inv/NB09E1E6TD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of vector spaces in mathematics#9UIH, Sobolev space (definition)
- wikipedia: Wikipedia List of functional analysis topics#U2K8, Sobolev space (definition)
- wikipedia: Wikipedia List of partial differential equation topics#5GLB, Sobolev space (definition)
- wikipedia: Wikipedia List of harmonic analysis topics#UBYM, Sobolev space (definition)
- wikipedia: Wikipedia List of Fourier analysis topics#UQHI, Sobolev space (definition)
History
- 2026-11-02: add by m2/dev
Hans Heilbronn NB0AD05YMN
| URI | m2://inv/NB0AD05YMN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Heilbronn, Hans Heilbronn (topic). Also Wikidata Q215970
History
- 2026-11-02: add by m2/dev
NB0BVZ6WC9 NB0BVZ6WC9
| URI | m2://inv/NB0BVZ6WC9 |
|---|---|
| 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 1712.02437#W3YA (statement). In GZDFK652T9/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.3.5
antidifferentiation NB0NM73E3B
| URI | m2://inv/NB0NM73E3B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/4.1.3/antidifferentiation, antidifferentiation (concept). In 907G4C4EJ1, index, section 4.1.3
History
- 2026-11-01: add by m2/v0.6.13
NB0VFN5K9D NB0VFN5K9D
| URI | m2://inv/NB0VFN5K9D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#R0A3 (statement). In 9TR5E527P5/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.10
NB0XXFA2VP NB0XXFA2VP
| URI | m2://inv/NB0XXFA2VP |
|---|---|
| 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 2011.06637#4QT1 (statement). In KFCJ5CFP3G/e1, corollary 1.2
History
- 2026-10-27: add by m2/v0.3.5
Examples NB11D6XQ0N
| URI | m2://inv/NB11D6XQ0N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magic triangle (mathematics)#GDV4, Examples (example)
History
- 2026-11-02: add by m2/dev
Algebraic properties NB1421Q8DE
| URI | m2://inv/NB1421Q8DE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bidiakis cube#B4GB, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Le Cam's theorem NB14EQYNQG
| URI | m2://inv/NB14EQYNQG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#4I6G, Le Cam's theorem (statement)
History
- 2026-11-02: add by m2/dev
NB16VK72Z9 NB16VK72Z9
| URI | m2://inv/NB16VK72Z9 |
|---|---|
| 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.11440#8RVD (statement). In KBV6TD64F1/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.3
Vincent's theorem NB197JSFFZ
| URI | m2://inv/NB197JSFFZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vincent's theorem, Vincent's theorem (statement). Also Wikidata Q7931634
History
- 2026-11-02: add by m2/dev
Convergence of random variables NB1F0AGQJJ
| URI | m2://inv/NB1F0AGQJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RUYM, Convergence of random variables (definition)
- wikipedia: Wikipedia List of probability topics#NQ7C, Convergence of random variables (definition)
History
- 2026-11-02: add by m2/dev
Applications NB1GYHHFPB
| URI | m2://inv/NB1GYHHFPB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel–Cantelli lemma#1GVB, Applications (example)
History
- 2026-11-02: add by m2/dev
Noise floor NB1JP46873
| URI | m2://inv/NB1JP46873 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35418#R1SS, Noise floor (statement). In JHD3TW67QT/e1, lemma 16
History
- 2026-10-30: add by m2/v0.4.12
NB1QMC3755 NB1QMC3755
| URI | m2://inv/NB1QMC3755 |
|---|---|
| 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#CQVG (statement). In ZD7BWDKT84/e1, lemma B.2
History
- 2026-10-29: add by m2/v0.4.10
NB1TE0XTV6 NB1TE0XTV6
| URI | m2://inv/NB1TE0XTV6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37450#HF0E (statement). In FP05Z6EBV4/e1, theorem 4.3
History
- 2026-10-30: add by m2/v0.4.12
Bernard Silverman NB1V2QTMZA
| URI | m2://inv/NB1V2QTMZA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Royal Statistical Society#F4MJ, Bernard Silverman (topic)
History
- 2026-11-02: add by m2/dev
John Kemeny NB1WSDS22K
| URI | m2://inv/NB1WSDS22K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#S7ZB, John Kemeny (unknown)
History
- 2026-11-02: add by m2/dev
NB230EJXR2 NB230EJXR2
| URI | m2://inv/NB230EJXR2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.08738#K5Y7 (definition). In 9GMTVSTAVN/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.3.5
Explicit formulae for L-functions NB24F210MQ
| URI | m2://inv/NB24F210MQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Explicit formulae for L-functions, Explicit formulae for L-functions (definition). Also Wikidata Q5421272
History
- 2026-11-02: add by m2/dev
NB276XRZTH NB276XRZTH
| URI | m2://inv/NB276XRZTH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18600#B425 (statement). In 31D6TQVCNZ/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
NB2DW6N2QY NB2DW6N2QY
| URI | m2://inv/NB2DW6N2QY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-193 (exercise). In VNMV985MXX, exercise, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Definitions NB2FWQ71KH
| URI | m2://inv/NB2FWQ71KH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spacetime#PLZG, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Related laws NB2TCBDBG3
| URI | m2://inv/NB2TCBDBG3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zipf's law#AMQC, Related laws (statement)
History
- 2026-11-02: add by m2/dev
Datta, Susmita NB36TKJWES
| URI | m2://inv/NB36TKJWES |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#C0SO, Datta, Susmita (unknown)
History
- 2026-11-02: add by m2/dev
Thomas Muirhead Flett NB38H4X9SY
| URI | m2://inv/NB38H4X9SY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Muirhead Flett, Thomas Muirhead Flett (topic). Also Wikidata Q7792603
History
- 2026-11-02: add by m2/dev
NB3FC5PJ1Q NB3FC5PJ1Q
| URI | m2://inv/NB3FC5PJ1Q |
|---|---|
| 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 2001.10234#KRAB (statement). In YYZHNNJR1P/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.6
NB41FY0KYN NB41FY0KYN
| URI | m2://inv/NB41FY0KYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16332#MPLP (statement). In JJQPFXZQ3D/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
Conditioning (probability) NB44K08HVZ
| URI | m2://inv/NB44K08HVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#15SQ, Conditioning (probability) (definition)
History
- 2026-11-02: add by m2/dev
Definition NB45D02NCJ
| URI | m2://inv/NB45D02NCJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering space#I6W1, Definition (definition)
History
- 2026-11-02: add by m2/dev
NB4GH4H2CE NB4GH4H2CE
| URI | m2://inv/NB4GH4H2CE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19470#YEFC (statement). In Y24F6WTV90/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Donaldson–Thomas theory NB4PHQKWHC
| URI | m2://inv/NB4PHQKWHC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donaldson–Thomas theory, Donaldson–Thomas theory (topic). Also Wikidata Q5295377
History
- 2026-11-02: add by m2/dev
Aleph number NB4VVQS6E4
| URI | m2://inv/NB4VVQS6E4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of large cardinal properties#NK59, Aleph number (definition)
History
- 2026-11-02: add by m2/dev
NB4WEAW09N NB4WEAW09N
| URI | m2://inv/NB4WEAW09N |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36078#RQVN (problem). In MVKXS0Q6XN/e1, problem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Applications NB4ZNZJR6G
| URI | m2://inv/NB4ZNZJR6G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cover time#LLRB, Applications (example)
History
- 2026-11-02: add by m2/dev
Derived functor NB511G9ZT7
| URI | m2://inv/NB511G9ZT7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of homological algebra topics#H5GZ, Derived functor (definition)
History
- 2026-11-02: add by m2/dev
Functional Inequalities and Mixing Time NB53EHD6VS
| URI | m2://inv/NB53EHD6VS |
|---|---|
| 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.23994#4GY4, Functional Inequalities and Mixing Time (statement)
History
- 2026-11-02: add by m2/v0.6.17
NB57QA5WQB NB57QA5WQB
| URI | m2://inv/NB57QA5WQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35421#9Z0A (statement). In KE8B8KMDJJ/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
Definition NB5BD2AY6V
| URI | m2://inv/NB5BD2AY6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence relation#Y586, Definition (definition)
History
- 2026-11-02: add by m2/dev
Kolmogorov's criterion NB5FEKRWP8
| URI | m2://inv/NB5FEKRWP8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Detailed balance#WDEJ, Kolmogorov's criterion (statement)
History
- 2026-11-02: add by m2/dev
Janakiammal NB5VBSH5J9
| URI | m2://inv/NB5VBSH5J9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Srinivasa Ramanujan#7O77, Janakiammal (unknown)
History
- 2026-11-02: add by m2/dev
Glasgow Mathematical Journal NB5XP0EAVS
| URI | m2://inv/NB5XP0EAVS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glasgow Mathematical Journal, Glasgow Mathematical Journal (definition). Also Wikidata Q15272971
History
- 2026-11-02: add by m2/dev
NB62GWE40Z NB62GWE40Z
| URI | m2://inv/NB62GWE40Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#ZA1R (definition). In G02N9D40B9/e1, definition 2.2.7
History
- 2026-10-29: add by m2/v0.4.10
Uses NB62SZM7NF
| URI | m2://inv/NB62SZM7NF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preorder#NIM4, Uses (example)
History
- 2026-11-02: add by m2/dev
NB63GYG6A1 NB63GYG6A1
| URI | m2://inv/NB63GYG6A1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21532#66W6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
NB6VBZD4HD NB6VBZD4HD
| URI | m2://inv/NB6VBZD4HD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20514#RUMP (statement)
History
- 2026-11-02: add by m2/v0.6.18
squaring function NB6XCQJ5TK
| URI | m2://inv/NB6XCQJ5TK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.3/squaring-function, squaring function (concept). In N54F33XE07, index, section B.3.3
History
- 2026-11-01: add by m2/v0.6.13
4-polytope NB6ZW3R9XE
| URI | m2://inv/NB6ZW3R9XE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#M5AB, 4-polytope (definition)
History
- 2026-11-02: add by m2/dev
NB7235PMYH NB7235PMYH
| URI | m2://inv/NB7235PMYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24845#LVVK (statement)
History
- 2026-11-01: add by m2/v0.6.15
NB72BH38G4 NB72BH38G4
| URI | m2://inv/NB72BH38G4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/valuations-sat.tex#prop:sat-value (statement). In PKGMM3P5QY, prop, section 63.1
History
- 2026-11-01: add by m2/v0.6.13
Beth Chance NB7H6F0QW0
| URI | m2://inv/NB7H6F0QW0 |
|---|---|
| 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#GXTN, Beth Chance (unknown)
History
- 2026-11-02: add by m2/dev
NB7VR9HCXX NB7VR9HCXX
| URI | m2://inv/NB7VR9HCXX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25390#L0EK (statement)
History
- 2026-11-01: add by m2/v0.6.15
NB7Y1SSVKE NB7Y1SSVKE
| URI | m2://inv/NB7Y1SSVKE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#FLRE (definition). In PEXJPV3NP8/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
NB82ZPMQAF NB82ZPMQAF
| URI | m2://inv/NB82ZPMQAF |
|---|---|
| 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.04382#FAXN (statement). In 7VW8XD28G1/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
NB88FEA67Y NB88FEA67Y
| URI | m2://inv/NB88FEA67Y |
|---|---|
| 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.09704#I6JR (statement). In FNG4B47MRV/e1, lemma 5.7
History
- 2026-10-29: add by m2/v0.4.10
NB8DF39T7J NB8DF39T7J
| URI | m2://inv/NB8DF39T7J |
|---|---|
| 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 0809.1307#OKBE (statement). In TP09MNWY6B/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
NAND logic NB8DWZVH9V
| URI | m2://inv/NB8DWZVH9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NAND logic, NAND logic (definition). Also Wikidata Q4116068
History
- 2026-11-02: add by m2/dev
NB8KWBH60T NB8KWBH60T
| URI | m2://inv/NB8KWBH60T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#JTNR (statement). In M4ZVJWM8YA/e1, lemma 4.19
History
- 2026-10-27: add by m2/v0.4.2
J. Michael Steele NB8RGKGRFQ
| URI | m2://inv/NB8RGKGRFQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9Y17, J. Michael Steele (unknown)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#6O77, J. Michael Steele (unknown)
History
- 2026-11-02: add by m2/dev
Strain tensor NB91XS5VT9
| URI | m2://inv/NB91XS5VT9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#74ZU, Strain tensor (definition)
History
- 2026-11-02: add by m2/dev
Bayesian efficiency NB9BT38XZ9
| URI | m2://inv/NB9BT38XZ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian efficiency, Bayesian efficiency (definition). Also Wikidata Q4874467
History
- 2026-11-02: add by m2/dev
Schur's lemma NB9ZESSV0P
| URI | m2://inv/NB9ZESSV0P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebra representation#1NCU, Schur's lemma (statement)
History
- 2026-11-02: add by m2/dev
Survival of Truncated Columns NBA0529CTQ
| URI | m2://inv/NBA0529CTQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02495#59PB, Survival of Truncated Columns (statement). In T4S7XVAJJC/e1, lemma 10.3
History
- 2026-10-29: add by m2/v0.4.12
Posterior covariance minorization NBA0P2KY02
| URI | m2://inv/NBA0P2KY02 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#6WZQ, Posterior covariance minorization (statement). In 9YAE8FNQST/e1, lemma 18.5
History
- 2026-10-30: add by m2/v0.4.12
Common-method variance NBA6T612Q2
| URI | m2://inv/NBA6T612Q2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SD1A, Common-method variance (definition)
History
- 2026-11-02: add by m2/dev
Judith T. Lessler NBAGWD6555
| URI | m2://inv/NBAGWD6555 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#NINF, Judith T. Lessler (topic)
History
- 2026-11-02: add by m2/dev
Cocycle category NBAPHZ6WHK
| URI | m2://inv/NBAPHZ6WHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cocycle category, Cocycle category (definition). Also Wikidata Q16958842
History
- 2026-11-02: add by m2/dev
NBAPVXW4Q0 NBAPVXW4Q0
| URI | m2://inv/NBAPVXW4Q0 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21255#NGVS (conjecture). In FB4DAYJJ5F/e1, conjecture conjecture
History
- 2026-10-27: add by m2/v0.4.2
NBAW57Q3DX NBAW57Q3DX
| URI | m2://inv/NBAW57Q3DX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12683#K0S9 (statement). In N5ZFFWV3RX/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
NBB076WMQ4 NBB076WMQ4
| URI | m2://inv/NBB076WMQ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0008020#8QZE (statement). In 8K466RA3HH/e1, proposition 6
History
- 2026-10-27: add by m2/v0.3.5
Largest splitting topology NBB0BPTB32
| URI | m2://inv/NBB0BPTB32 |
|---|---|
| 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.23281#8GV6, Largest splitting topology (statement)
History
- 2026-11-02: add by m2/v0.6.17
BAN logic analysis of the Wide Mouth Frog protocol NBB390M0YS
| URI | m2://inv/NBB390M0YS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burrows–Abadi–Needham logic#R54V, BAN logic analysis of the Wide Mouth Frog protocol (unknown)
History
- 2026-11-02: add by m2/dev
General Uniqueness of the Median NBB7XQ8MQ8
| URI | m2://inv/NBB7XQ8MQ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08484#7J3Y, General Uniqueness of the Median (statement). In C2HJ1CCJ0S/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.10
Niels Ferguson NBB8RD1N87
| URI | m2://inv/NBB8RD1N87 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Niels Ferguson, Niels Ferguson (topic). Also Wikidata Q466478
History
- 2026-11-02: add by m2/dev
NBBF7TPTP9 NBBF7TPTP9
| URI | m2://inv/NBBF7TPTP9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/differentiate.tex#example-2 (example). In RZP28ERRZV, example, section 30.2
History
- 2026-11-01: add by m2/v0.6.13
Exact exceptional set NBBPKG8MWA
| URI | m2://inv/NBBPKG8MWA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39262#IIKB, Exact exceptional set (statement). In XA2NE2Z06S/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Integer NBBT49X8KZ
| URI | m2://inv/NBBT49X8KZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#A6HX, Integer (definition)
History
- 2026-11-02: add by m2/dev
Aggregated indices randomization method NBBY6Z52V8
| URI | m2://inv/NBBY6Z52V8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aggregated indices randomization method, Aggregated indices randomization method (definition). Also Wikidata Q4692258
History
- 2026-11-02: add by m2/dev
Exponential integrator NBC73V4B1N
| URI | m2://inv/NBC73V4B1N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#BVV8, Exponential integrator (definition)
History
- 2026-11-02: add by m2/dev
Jean-Marc Delort NBC999AEAR
| URI | m2://inv/NBC999AEAR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TI2K, Jean-Marc Delort (unknown)
History
- 2026-11-02: add by m2/dev
NBCBH4WFGQ NBCBH4WFGQ
| URI | m2://inv/NBCBH4WFGQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20299#NDCJ (statement). In P7T0W5D3W3/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
Simcenter STAR-CCM+ NBCQ8AGCJF
| URI | m2://inv/NBCQ8AGCJF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#EKG7, Simcenter STAR-CCM+ (unknown)
History
- 2026-11-02: add by m2/dev
Ervand Kogbetliantz NBCR0AKVK7
| URI | m2://inv/NBCR0AKVK7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SO1U, Ervand Kogbetliantz (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TF80, Ervand Kogbetliantz (unknown)
History
- 2026-11-02: add by m2/dev
Shioda modular surface NBCZKP00VZ
| URI | m2://inv/NBCZKP00VZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shioda modular surface, Shioda modular surface (definition). Also Wikidata Q7497863
History
- 2026-11-02: add by m2/dev
Fermat's Last Theorem NBCZW3EPWC
| URI | m2://inv/NBCZW3EPWC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#4WSC, Fermat's Last Theorem (definition)
History
- 2026-11-02: add by m2/dev
Construction NBD08M81T6
| URI | m2://inv/NBD08M81T6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exceptional Lie algebra#5FZG, Construction (definition)
History
- 2026-11-02: add by m2/dev
NBD38FMY7S NBD38FMY7S
| URI | m2://inv/NBD38FMY7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ord-arithmetic/addition.tex#defordplus (definition). In PKGMM3P5QY, defn, section 71.8
History
- 2026-11-01: add by m2/v0.6.13
Fractional calculus NBD4K7F2F0
| URI | m2://inv/NBD4K7F2F0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#8RG3, Fractional calculus (definition)
History
- 2026-11-02: add by m2/dev
NBDC859JGA NBDC859JGA
| URI | m2://inv/NBDC859JGA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22759#3HTX (definition)
History
- 2026-11-02: add by m2/v0.6.17
NBDCPXW48D NBDCPXW48D
| URI | m2://inv/NBDCPXW48D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-5.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
NBDTTHHPQ8 NBDTTHHPQ8
| URI | m2://inv/NBDTTHHPQ8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35577#JG5H (definition). In 4F8QRV05BV/e1, definition 2.9
History
- 2026-10-30: add by m2/v0.4.12
Stephen R. Doty NBDVXRC4MX
| URI | m2://inv/NBDVXRC4MX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen R. Doty, Stephen R. Doty (topic). Also Wikidata Q61865588
History
- 2026-11-02: add by m2/dev
NBE6A9NBS2 NBE6A9NBS2
| URI | m2://inv/NBE6A9NBS2 |
|---|---|
| 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.20025#4X9M (statement). In 4W1WR4JB89/e1, theorem 2.9
History
- 2026-10-27: add by m2/v0.4.2
Ruth Gregory NBEMHDTYGP
| URI | m2://inv/NBEMHDTYGP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruth Gregory, Ruth Gregory (topic). Also Wikidata Q15994469
History
- 2026-11-02: add by m2/dev
Tsit Yuen Lam NBENVGDRHX
| URI | m2://inv/NBENVGDRHX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2YRP, Tsit Yuen Lam (unknown)
History
- 2026-11-02: add by m2/dev
Statement NBER1WBYVD
| URI | m2://inv/NBER1WBYVD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lovelock's theorem#JZYS, Statement (statement)
History
- 2026-11-02: add by m2/dev
William Esson NBER74F4TD
| URI | m2://inv/NBER74F4TD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Esson, William Esson (topic). Also Wikidata Q536514
History
- 2026-11-02: add by m2/dev
Total length of graphs NBEXSQ7F8T
| URI | m2://inv/NBEXSQ7F8T |
|---|---|
| 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#YD23, Total length of graphs (statement). In EHQBEXHF9W/e1, proposition 2.3
History
- 2026-10-31: add by m2/v0.5.6
Differences of powers NBF1Z38JVG
| URI | m2://inv/NBF1Z38JVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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.00501#U6IK, Differences of powers (statement). In FTPW1SZ8D3/e1, lemma D.2
History
- 2026-10-30: add by m2/v0.4.12
Frank W. J. Olver NBF7RXF5GK
| URI | m2://inv/NBF7RXF5GK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank W. J. Olver, Frank W. J. Olver (topic). Also Wikidata Q5490152
History
- 2026-11-02: add by m2/dev
NBFD1TE7SD NBFD1TE7SD
| URI | m2://inv/NBFD1TE7SD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08638#SXW4 (statement). In 113VZ5XX7J/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
Formal definition NBFGB8PY59
| URI | m2://inv/NBFGB8PY59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conformal connection#DJ9Y, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
NBFJ3XKGRF NBFJ3XKGRF
| URI | m2://inv/NBFJ3XKGRF |
|---|---|
| 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 2011.14561#GJXP (statement). In V2XJJJX1Z8/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
List of mathematics history topics NBFM2NP561
| URI | m2://inv/NBFM2NP561 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics history topics, List of mathematics history topics (topic). Also Wikidata Q6627368
History
- 2026-11-02: add by m2/dev
Statistical lower bound NBFSY4W8M8
| URI | m2://inv/NBFSY4W8M8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12641#D3AF, Statistical lower bound (statement). In X5BYGZZHPF/e1, lemma G.11
History
- 2026-10-28: add by m2/v0.4.2
Johann II Bernoulli NBFVXAAQ4S
| URI | m2://inv/NBFVXAAQ4S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johann II Bernoulli, Johann II Bernoulli (topic). Also Wikidata Q123994
History
- 2026-11-02: add by m2/dev
Definition NBG7QB075Q
| URI | m2://inv/NBG7QB075Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimax estimator#AW7N, Definition (definition)
History
- 2026-11-02: add by m2/dev
NBGC27BCYK NBGC27BCYK
| URI | m2://inv/NBGC27BCYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16606#CQQ2 (statement). In A798V7TX99/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
NBGJYJHSWK NBGJYJHSWK
| URI | m2://inv/NBGJYJHSWK |
|---|---|
| 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 2201.10697#HUNF (statement). In WN2Z20ZV49/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.6
Lina Fazylovna Rakhmatullina NBGT8MCP9B
| URI | m2://inv/NBGT8MCP9B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lina Fazylovna Rakhmatullina, Lina Fazylovna Rakhmatullina (topic). Also Wikidata Q102274697
History
- 2026-11-02: add by m2/dev
Generalised metric NBGW08GKFK
| URI | m2://inv/NBGW08GKFK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalised metric, Generalised metric (definition). Also Wikidata Q5532413
History
- 2026-11-02: add by m2/dev
NBGY0Z7G2A NBGY0Z7G2A
| URI | m2://inv/NBGY0Z7G2A |
|---|---|
| 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.29699#UPIX (statement)
History
- 2026-11-01: add by m2/v0.6.15
NBGYDFCJGQ NBGYDFCJGQ
| URI | m2://inv/NBGYDFCJGQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00914#G58K (statement). In TQ9CKHBTWN/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
NBH0XPF3FQ NBH0XPF3FQ
| URI | m2://inv/NBH0XPF3FQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/manifolds.tex#definition-4 (definition). In RZP28ERRZV, definition, section 44.5
History
- 2026-11-01: add by m2/v0.6.13
Definitions NBHCDK5Z5V
| URI | m2://inv/NBHCDK5Z5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler angles#1YH9, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Urbain Le Verrier NBHF8TVGAK
| URI | m2://inv/NBHF8TVGAK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Urbain Le Verrier, Urbain Le Verrier (topic). Also Wikidata Q104154
History
- 2026-11-02: add by m2/dev
Robert E. Valett NBHGACSZZ6
| URI | m2://inv/NBHGACSZZ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert E. Valett, Robert E. Valett (topic). Also Wikidata Q28741278
History
- 2026-11-02: add by m2/dev
NBHHYSJ5ET NBHHYSJ5ET
| URI | m2://inv/NBHHYSJ5ET |
|---|---|
| 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.29196#UA7R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kiyoshi Itô NBHQZ6T5N6
| URI | m2://inv/NBHQZ6T5N6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#XB58, Kiyoshi Itô (topic)
History
- 2026-11-02: add by m2/dev
NBHVMYX3Z8 NBHVMYX3Z8
| URI | m2://inv/NBHVMYX3Z8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_addtops-numbth.ptx#example-5 (example). In Y91XFCEVHQ, example, section 6.2.3
History
- 2026-11-01: add by m2/v0.6.13
Data point NBHVW7HYRT
| URI | m2://inv/NBHVW7HYRT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit of observation#E1O4, Data point (unknown)
History
- 2026-11-02: add by m2/dev
TI-83 Plus Silver Edition NBHYFXFBCD
| URI | m2://inv/NBHYFXFBCD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TI-83 series#Q1O8, TI-83 Plus Silver Edition (unknown)
History
- 2026-11-02: add by m2/dev
Empirical statistical laws NBJCKK65GD
| URI | m2://inv/NBJCKK65GD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empirical statistical laws, Empirical statistical laws (statement). Also Wikidata Q5374255
History
- 2026-11-02: add by m2/dev
NBJREGQWDW NBJREGQWDW
| URI | m2://inv/NBJREGQWDW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19707#RFW7 (statement). In R6SEBXARYC/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Examples NBJZBN9PJE
| URI | m2://inv/NBJZBN9PJE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton's method#5IQ3, Examples (example)
History
- 2026-11-02: add by m2/dev
Pair-marker calibration identity NBK1V6Q7JA
| URI | m2://inv/NBK1V6Q7JA |
|---|---|
| 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 2610.00448#X467, Pair-marker calibration identity (statement). In N06J7GC05Q/e1, proposition 5.8
History
- 2026-10-30: add by m2/v0.4.12
NBK941VXE1 NBK941VXE1
| URI | m2://inv/NBK941VXE1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0906.2853#B9GF (statement). In 32ZZ1DETCX/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.3.5
NBKBYXHPE9 NBKBYXHPE9
| URI | m2://inv/NBKBYXHPE9 |
|---|---|
| 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#9V0G (statement). In P6PHR4W23S/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Orthogonality of mixed type for every ordered partition of roots NBKDTPM3NM
| URI | m2://inv/NBKDTPM3NM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08568#1HMW, Orthogonality of mixed type for every ordered partition of roots (statement). In FDDA562VCA/e1, corollary 3.6
History
- 2026-10-29: add by m2/v0.4.10
Pythagorean theorem NBKEVB0KGZ
| URI | m2://inv/NBKEVB0KGZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#DW6W, Pythagorean theorem (statement)
History
- 2026-11-02: add by m2/dev
Legendre–Papoulis filter NBKHRWEP83
| URI | m2://inv/NBKHRWEP83 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#C5NU, Legendre–Papoulis filter (unknown)
History
- 2026-11-02: add by m2/dev
topology NBKMEMJ593
| URI | m2://inv/NBKMEMJ593 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q42989, topology (topic). Also MathWorld Topology, ProofWiki Definition:Topology_(Mathematical_Branch)
- wikipedia: Wikipedia Topology, Topology (topic). Also Wikidata Q42989
History
- 2026-10-26: add by m2/dev
Examples NBKPHMSZMV
| URI | m2://inv/NBKPHMSZMV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brunnian link#GCX1, Examples (example)
History
- 2026-11-02: add by m2/dev
retract, of a type NBKT5XRQQB
| URI | m2://inv/NBKT5XRQQB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.9/retract-of-a-type, retract, of a type (concept). In N54F33XE07, index, section 3.9
History
- 2026-11-01: add by m2/v0.6.13
NBKXK5YBZK NBKXK5YBZK
| URI | m2://inv/NBKXK5YBZK |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03864#N282 (unknown). In 41GB65CTBJ/e1, unknown 1
History
- 2026-10-29: add by m2/v0.4.12
NBM360NS38 NBM360NS38
| URI | m2://inv/NBM360NS38 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2301.04933#7V5X (definition). In Q70CTMCJTP/e1, definition 4.14
History
- 2026-10-27: add by m2/v0.3.5
Giuseppe Albenga NBM4JQ7HCA
| URI | m2://inv/NBM4JQ7HCA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YDSM, Giuseppe Albenga (unknown)
History
- 2026-11-02: add by m2/dev
Closed condition NBM8DX8PKN
| URI | m2://inv/NBM8DX8PKN |
|---|---|
| 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.28024#R2S7, Closed condition (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement NBMSPKBB31
| URI | m2://inv/NBMSPKBB31 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohn's irreducibility criterion#01B4, Statement (statement)
History
- 2026-11-02: add by m2/dev
Rank-four counterexample NBMYBC9F5P
| URI | m2://inv/NBMYBC9F5P |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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.37778#XMVV, Rank-four counterexample (example). In V399QB419P/e1, example 3.6
History
- 2026-10-30: add by m2/v0.4.12
NBN0GEARTF NBN0GEARTF
| URI | m2://inv/NBN0GEARTF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22326#QBIL (definition). In EAABRG99V8/e1, definition 3.7
History
- 2026-10-27: add by m2/v0.4.0
NBN1AQ2YXP NBN1AQ2YXP
| URI | m2://inv/NBN1AQ2YXP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05506#CVDC (statement). In FT53PMB1TE/e1, lemma 6.3.5
History
- 2026-10-29: add by m2/v0.4.10
NBN5B3TCSD NBN5B3TCSD
| URI | m2://inv/NBN5B3TCSD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.18777#02QU (statement). In TFZDPHDF7V/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.6
Weil representation NBN7BVXZFF
| URI | m2://inv/NBN7BVXZFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after André Weil#9YGN, Weil representation (definition)
History
- 2026-11-02: add by m2/dev
Fuchsian theory NBN9KDBQCX
| URI | m2://inv/NBN9KDBQCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuchsian theory, Fuchsian theory (definition). Also Wikidata Q55647818
History
- 2026-11-02: add by m2/dev
Safety in numbers NBNKVV7HV4
| URI | m2://inv/NBNKVV7HV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Safety in numbers, Safety in numbers (definition). Also Wikidata Q12355039
History
- 2026-11-02: add by m2/dev
NBNKZR8P0F NBNKZR8P0F
| URI | m2://inv/NBNKZR8P0F |
|---|---|
| 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 2211.16099#PN18 (statement). In 91RRFW0K5D/e1, lemma 23
History
- 2026-10-27: add by m2/v0.3.5
Pierre Adolphe Issaly NBNV8J9NKM
| URI | m2://inv/NBNV8J9NKM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UMVL, Pierre Adolphe Issaly (unknown)
History
- 2026-11-02: add by m2/dev
Ibragimov–Iosifescu conjecture for φ-mixing sequences NBNWG8SW8V
| URI | m2://inv/NBNWG8SW8V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ibragimov–Iosifescu conjecture for φ-mixing sequences, Ibragimov–Iosifescu conjecture for φ-mixing sequences (statement). Also Wikidata Q115803023
History
- 2026-11-02: add by m2/dev
NBNXSSDBP4 NBNXSSDBP4
| URI | m2://inv/NBNXSSDBP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37439#M5PM (statement). In 8K7D3FKJDT/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
NeuroMat NBP048CTS8
| URI | m2://inv/NBP048CTS8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NeuroMat, NeuroMat (definition). Also Wikidata Q18477654
History
- 2026-11-02: add by m2/dev
Harmonic progression NBPFF4VKKV
| URI | m2://inv/NBPFF4VKKV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic progression (mathematics), Harmonic progression (definition). Also Wikidata Q720413
History
- 2026-11-02: add by m2/dev
Properties NBPJ3AF3ZV
| URI | m2://inv/NBPJ3AF3ZV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mapping cone (homological algebra)#K470, Properties (statement)
History
- 2026-11-02: add by m2/dev
Russell's paradox NBPM59EJ8R
| URI | m2://inv/NBPM59EJ8R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#167Y, Russell's paradox (statement)
History
- 2026-11-02: add by m2/dev
Green–Tao theorem NBPMVW1JRH
| URI | m2://inv/NBPMVW1JRH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#HGMO, Green–Tao theorem (statement)
History
- 2026-11-02: add by m2/dev
The dichotomy NBPQ9NRASH
| URI | m2://inv/NBPQ9NRASH |
|---|---|
| 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.14695#9UHX, The dichotomy (statement). In T15EJSPCNG/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
NBPVKTX2VD NBPVKTX2VD
| URI | m2://inv/NBPVKTX2VD |
|---|---|
| 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 2609.38664#4WH7 (statement). In 7BCDS9M8MC/e1, theorem 1.6
History
- 2026-10-30: add by m2/v0.4.12
NBQ5A6X0W8 NBQ5A6X0W8
| URI | m2://inv/NBQ5A6X0W8 |
|---|---|
| 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 2506.09840#YXLP (statement). In Y7TWHSF2HC/e1, proposition 2.11
History
- 2026-10-27: add by m2/v0.3.5
Dini–Lipschitz criterion NBQ6QHNAPK
| URI | m2://inv/NBQ6QHNAPK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dini–Lipschitz criterion, Dini–Lipschitz criterion (statement). Also Wikidata Q5278349
History
- 2026-11-02: add by m2/dev
NBQ7ZBRD36 NBQ7ZBRD36
| URI | m2://inv/NBQ7ZBRD36 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.15432#6VOC (statement). In D1DFM4WYEW/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Relation to foundational principles NBQC4ZDX0H
| URI | m2://inv/NBQC4ZDX0H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CLs method (particle physics)#2OEK, Relation to foundational principles (statement)
History
- 2026-11-02: add by m2/dev
NBQEZFQECA NBQEZFQECA
| URI | m2://inv/NBQEZFQECA |
|---|---|
| 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.20050#4T5V (statement). In T41GD0Y0GX/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.4.2
Garnik A. Karapetyan NBQGDCSP1T
| URI | m2://inv/NBQGDCSP1T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Garnik A. Karapetyan, Garnik A. Karapetyan (topic). Also Wikidata Q47457007
History
- 2026-11-02: add by m2/dev
NBQH43QTQ7 NBQH43QTQ7
| URI | m2://inv/NBQH43QTQ7 |
|---|---|
| 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.07040#0GY1 (statement). In KMNXNW7FHP/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
surface integral NBQHQKT59W
| URI | m2://inv/NBQHQKT59W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Surface integral 065HE5V98E |
Mentions
- wikidata: Wikidata Q598146, surface integral (unknown). Also EoM Surface_integral, MathWorld SurfaceIntegral
- wikipedia: Wikipedia Surface integral, Surface integral (definition). Also Wikidata Q598146
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Vieta's formulas NBQNWGJJ30
| URI | m2://inv/NBQNWGJJ30 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 13-XX |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Vieta's formulas 0M8EWQJ1YV |
Mentions
- mathlib_1000: mathlib_1000 Q570779, Vieta's formulas (statement). Also Mathlib Multiset.prod_X_add_C_eq_sum_esymm, Wikidata Q570779
- thousand_plus: thousand_plus Q570779, Vieta's formulas (statement). Also Mathlib Multiset.prod_X_add_C_eq_sum_esymm, Wikidata Q570779, Wikipedia Vieta's formulas
- wikidata: Wikidata Q570779, Vieta's formulas (unknown). Also MathWorld VietasFormulas
- wikipedia: Wikipedia Vieta's formulas, Vieta's formulas (statement). Also Wikidata Q570779
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Cavalieri's quadrature formula NBQPSH71R1
| URI | m2://inv/NBQPSH71R1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5054786, Cavalieri's quadrature formula (unknown). Also MathWorld CavalierisQuadratureFormula
- wikipedia: Wikipedia Cavalieri's quadrature formula, Cavalieri's quadrature formula (statement). Also Wikidata Q5054786
History
- 2026-10-26: add by m2/dev
Turán's theorem NBRM8HTC7N
| URI | m2://inv/NBRM8HTC7N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forbidden subgraph problem#PWQW, Turán's theorem (statement)
History
- 2026-11-02: add by m2/dev
Tamiaki Yoneya NBRPED4P6G
| URI | m2://inv/NBRPED4P6G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#GIEG, Tamiaki Yoneya (unknown)
History
- 2026-11-02: add by m2/dev
Aleksandr Kolchinsky NBSKYQ1QZR
| URI | m2://inv/NBSKYQ1QZR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#OZGQ, Aleksandr Kolchinsky (unknown)
History
- 2026-11-02: add by m2/dev
NBSNTNMRT2 NBSNTNMRT2
| URI | m2://inv/NBSNTNMRT2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cohomology.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 51.4
History
- 2026-11-01: add by m2/v0.6.13
Foliation definitions NBT4CNYDEY
| URI | m2://inv/NBT4CNYDEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Foliation#YHFQ, Foliation definitions (definition)
History
- 2026-11-02: add by m2/dev
Lemma 4 NBT7R8SNZE
| URI | m2://inv/NBT7R8SNZE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gibbard–Satterthwaite theorem#MZUL, Lemma 4 (statement)
History
- 2026-11-02: add by m2/dev
Péter Frankl NBTA9539PR
| URI | m2://inv/NBTA9539PR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#UK19, Péter Frankl (topic)
History
- 2026-11-02: add by m2/dev
Kinetic Aleksandrov estimate NBTAP9TDZM
| URI | m2://inv/NBTAP9TDZM |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 35-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03083#LNXE, Kinetic Aleksandrov estimate (conjecture). In C71DZH5GBJ/e1, conjecture 1.2
History
- 2026-10-29: add by m2/v0.4.12
Properties NBTF8NXKZM
| URI | m2://inv/NBTF8NXKZM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great disnub dirhombidodecahedron#BO69, Properties (statement)
History
- 2026-11-02: add by m2/dev
Continuum hypothesis NBTKTYKZVJ
| URI | m2://inv/NBTKTYKZVJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#HCX8, Continuum hypothesis (statement)
History
- 2026-11-02: add by m2/dev
NBV2AY6C9N NBV2AY6C9N
| URI | m2://inv/NBV2AY6C9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09765#VJ2Z (statement). In 79JJCQ63R3/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
Ideal NBV2HQ3DF6
| URI | m2://inv/NBV2HQ3DF6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#LL7U, Ideal (definition)
History
- 2026-11-02: add by m2/dev
NBV4SVHBAZ NBV4SVHBAZ
| URI | m2://inv/NBV4SVHBAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/eigenvalues.tex#definition-2 (definition). In RZP28ERRZV, definition, section 58.3
History
- 2026-11-01: add by m2/v0.6.13
NBV5K9BYSQ NBV5K9BYSQ
| URI | m2://inv/NBV5K9BYSQ |
|---|---|
| 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.01276#XC1R (statement). In 7JJPPMS2DN/e1, lemma 8.2
History
- 2026-10-29: add by m2/v0.4.12
No challenge-space amplification NBVCKPFQNA
| URI | m2://inv/NBVCKPFQNA |
|---|---|
| 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.26258#NKEP, No challenge-space amplification (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lars Gårding NBVE1C9RN2
| URI | m2://inv/NBVE1C9RN2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lars Gårding, Lars Gårding (topic). Also Wikidata Q924485
History
- 2026-11-02: add by m2/dev
NBVHYSEW0M NBVHYSEW0M
| URI | m2://inv/NBVHYSEW0M |
|---|---|
| Kind | example |
| 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 1009.3308#PUBS (example). In KGBKNQB52Z/e1, example 2
History
- 2026-10-27: add by m2/v0.3.5
NBVJBCT0WH NBVJBCT0WH
| URI | m2://inv/NBVJBCT0WH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.01868#CDUR (statement). In MQ8S73F6X7/e1, proposition 13
History
- 2026-10-27: add by m2/v0.3.6
Properties NBVXTFKV72
| URI | m2://inv/NBVXTFKV72 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beltrami–Klein model#HIHL, Properties (statement)
History
- 2026-11-02: add by m2/dev
Hash tree NBVZ6VSGM1
| URI | m2://inv/NBVZ6VSGM1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#VC3S, Hash tree (definition)
History
- 2026-11-02: add by m2/dev
Sample size determination NBW0HZHZST
| URI | m2://inv/NBW0HZHZST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sample size determination, Sample size determination (definition). Also Wikidata Q2564360
History
- 2026-11-02: add by m2/dev
Certified bound NBW39C0KX2
| URI | m2://inv/NBW39C0KX2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03823#3UXG, Certified bound (statement). In 3RQERTJKSF/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.12
NBW4E2FYP6 NBW4E2FYP6
| URI | m2://inv/NBW4E2FYP6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05354#J20A (statement). In TZ5BMDXRQZ/e1, proposition 4.11
History
- 2026-10-29: add by m2/v0.4.10
Properties NBW6V689WW
| URI | m2://inv/NBW6V689WW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weird number#F70L, Properties (statement)
History
- 2026-11-02: add by m2/dev
General position NBWCB4SSPJ
| URI | m2://inv/NBWCB4SSPJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24901#XEBW, General position (definition)
History
- 2026-11-01: add by m2/v0.6.15
Cauchy formula NBWCPE75S4
| URI | m2://inv/NBWCPE75S4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1.1/cauchy-formula, Cauchy formula (concept). In VNMV985MXX, index, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
NBWG8B251V NBWG8B251V
| URI | m2://inv/NBWG8B251V |
|---|---|
| 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 2605.24355#93V3 (statement). In VV3AJMWWCR/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.6
Twenty-four points NBWHJ29BX1
| URI | m2://inv/NBWHJ29BX1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#8K3U, Twenty-four points (statement)
History
- 2026-11-01: add by m2/v0.6.15
L has a reflection principle NBWMGF4K2E
| URI | m2://inv/NBWMGF4K2E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructible universe#4UZO, L has a reflection principle (statement)
History
- 2026-11-02: add by m2/dev
Generalizations NBWMXYKW4S
| URI | m2://inv/NBWMXYKW4S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractional Fourier transform#1FSA, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
NBWT4SV5YX NBWT4SV5YX
| URI | m2://inv/NBWT4SV5YX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#90XC (statement). In BSWNH3NW1M/e1, proposition 9.35
History
- 2026-10-27: add by m2/v0.4.0
Tomahawk NBWXW843EC
| URI | m2://inv/NBWXW843EC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#JBXM, Tomahawk (definition)
History
- 2026-11-02: add by m2/dev
Example of the converse principle NBX2T49XRM
| URI | m2://inv/NBX2T49XRM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gradient theorem#GZG5, Example of the converse principle (example)
History
- 2026-11-02: add by m2/dev
Abraham Robinson NBX3EC2AA2
| URI | m2://inv/NBX3EC2AA2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#VTX9, Abraham Robinson (topic)
History
- 2026-11-02: add by m2/dev
NBX4Z2N4RA NBX4Z2N4RA
| URI | m2://inv/NBX4Z2N4RA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14267#HP8I (statement). In 9YTGFNA004/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Cocycle (algebraic topology) NBXKCG3HRC
| URI | m2://inv/NBXKCG3HRC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cocycle#N42Q, Cocycle (algebraic topology) (unknown)
History
- 2026-11-02: add by m2/dev
\textbf{Failure of TPO for Sturmian beta-transformations NBXRKTQ67K
| URI | m2://inv/NBXRKTQ67K |
|---|---|
| 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 2610.03619#H6AH, \textbf{Failure of TPO for Sturmian beta-transformations (statement). In 7SRERSS1PF/e1, theorem E
History
- 2026-10-29: add by m2/v0.4.12
Heisenberg group NBXS8XRVA9
| URI | m2://inv/NBXS8XRVA9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#Y07X, Heisenberg group (definition)
History
- 2026-11-02: add by m2/dev
Lotka's law NBYAN07Z35
| URI | m2://inv/NBYAN07Z35 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5H3U, Lotka's law (statement)
History
- 2026-11-02: add by m2/dev
De Giorgi Structure Theorem NBYC99ZNXQ
| URI | m2://inv/NBYC99ZNXQ |
|---|---|
| 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.18673#XIL2, De Giorgi Structure Theorem (statement). In 7ZFD9XRKA1/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
NBYE3T9EZ0 NBYE3T9EZ0
| URI | m2://inv/NBYE3T9EZ0 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newman's conjecture#K023 (problem)
History
- 2026-11-02: add by m2/dev
NBYHYBG6CN NBYHYBG6CN
| URI | m2://inv/NBYHYBG6CN |
|---|---|
| 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 1008.2055#NDFF (statement). In 76JR4WFT4B/e1, proposition 2.6
History
- 2026-10-27: add by m2/v0.3.5
Pumsaint NBYSN4TE02
| URI | m2://inv/NBYSN4TE02 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#H1EG, Pumsaint (unknown)
History
- 2026-11-02: add by m2/dev
Hopf NBYT5D4SKM
| URI | m2://inv/NBYT5D4SKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#T9TI, Hopf (definition)
History
- 2026-11-02: add by m2/dev
NBYW4QHMGT NBYW4QHMGT
| URI | m2://inv/NBYW4QHMGT |
|---|---|
| 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.01915#UIP0 (definition). In 6HJQXZS0A6/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.12
Pull-through formula NBZ2PCKWK6
| URI | m2://inv/NBZ2PCKWK6 |
|---|---|
| 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.16081#Z3RV, Pull-through formula (statement). In RS6WWZKMT6/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Proposition NBZ352433B
| URI | m2://inv/NBZ352433B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total ring of fractions#QWSQ, Proposition (statement)
History
- 2026-11-02: add by m2/dev
NBZ754EBGE NBZ754EBGE
| URI | m2://inv/NBZ754EBGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/eigenvalues.tex#definition-1 (definition). In RZP28ERRZV, definition, section 58.3
History
- 2026-11-01: add by m2/v0.6.13
NBZCWZ632M NBZCWZ632M
| URI | m2://inv/NBZCWZ632M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13850#3YDK (statement). In KJY735KSMF/e1, theorem 10.3
History
- 2026-10-28: add by m2/v0.4.2
NBZQD16152 NBZQD16152
| URI | m2://inv/NBZQD16152 |
|---|---|
| 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.29196#Y94C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Asymptotic conformality; *{Theorem D NBZSSGGEX5
| URI | m2://inv/NBZSSGGEX5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2411.17227#WRPE, Asymptotic conformality; *{Theorem D (statement). In DDNP38CHQJ/e1, theorem 5.8
History
- 2026-10-27: add by m2/v0.3.5
Euclid–Mullin sequence NBZZ01S8VS
| URI | m2://inv/NBZZ01S8VS |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Euclid#P77Y, Euclid–Mullin sequence (conjecture)
History
- 2026-11-02: add by m2/dev