Inventory rows 9M
The cards of the rows of the inventory whose ids start with 9M. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
9M00MMA9KS 9M00MMA9KS
| URI | m2://inv/9M00MMA9KS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24795#59SL (definition)
History
- 2026-11-01: add by m2/v0.6.15
Converse of the theorem 9M08R4B1H3
| URI | m2://inv/9M08R4B1H3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vitali convergence theorem#MX9K, Converse of the theorem (statement)
History
- 2026-11-02: add by m2/dev
9M0ATBB8VV 9M0ATBB8VV
| URI | m2://inv/9M0ATBB8VV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24545#I1UU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications 9M0EP8PD2S
| URI | m2://inv/9M0EP8PD2S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fat object (geometry)#469J, Applications (example)
History
- 2026-11-02: add by m2/dev
9M0F3WCW0N 9M0F3WCW0N
| URI | m2://inv/9M0F3WCW0N |
|---|---|
| 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#4MM2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
9M0VZ18K2R 9M0VZ18K2R
| URI | m2://inv/9M0VZ18K2R |
|---|---|
| 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.16225#1WV3 (statement). In H3DJV9YQW1/e1, corollary 4.21
History
- 2026-10-28: add by m2/v0.4.2
9M0XMH8C9N 9M0XMH8C9N
| URI | m2://inv/9M0XMH8C9N |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/syntax-and-semantics/inf-count.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 67.2
History
- 2026-11-01: add by m2/v0.6.13
Hexakis truncated tetrahedron 9M14RP8QQQ
| URI | m2://inv/9M14RP8QQQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated triakis tetrahedron#TEUE, Hexakis truncated tetrahedron (unknown)
History
- 2026-11-02: add by m2/dev
Invariance of the family 9M1786NT78
| URI | m2://inv/9M1786NT78 |
|---|---|
| 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.38220#31EX, Invariance of the family (statement). In 1AC4S19925/e1, theorem 6.7
History
- 2026-10-30: add by m2/v0.4.12
Algorithm 9M18FTE8A0
| URI | m2://inv/9M18FTE8A0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Broyden–Fletcher–Goldfarb–Shanno algorithm#4MH8, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Boundedness of the coupling operators 9M19RJ3B2Q
| URI | m2://inv/9M19RJ3B2Q |
|---|---|
| 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.34938#ND5Q, Boundedness of the coupling operators (statement). In N57GZ5N6E1/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Almost never 9M1KVAJJYG
| URI | m2://inv/9M1KVAJJYG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exceptional set concepts#6MXL, Almost never (definition)
History
- 2026-11-02: add by m2/dev
Applications 9M1P99E8Y6
| URI | m2://inv/9M1P99E8Y6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modified Kumaraswamy distribution#9ACI, Applications (example)
History
- 2026-11-02: add by m2/dev
Bôcher's theorem in complex analysis 9M1PBXVFH6
| URI | m2://inv/9M1PBXVFH6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bôcher's theorem#OXY4, Bôcher's theorem in complex analysis (statement)
History
- 2026-11-02: add by m2/dev
Sheaf cohomology axioms 9M20DFTT4P
| URI | m2://inv/9M20DFTT4P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Godement resolution#K52K, Sheaf cohomology axioms (statement)
History
- 2026-11-02: add by m2/dev
Controversies surrounding WhatsApp 9M24VRGR0A
| URI | m2://inv/9M24VRGR0A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia WhatsApp#JKZE, Controversies surrounding WhatsApp (unknown)
History
- 2026-11-02: add by m2/dev
Chapman–Kolmogorov equation 9M26MVS73C
| URI | m2://inv/9M26MVS73C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Chapman–Kolmogorov equation 01APZ8GDQH |
Mentions
- wikidata: Wikidata Q722882, Chapman–Kolmogorov equation (unknown). Also MathWorld Chapman-KolmogorovEquation
- wikipedia: Wikipedia Chapman–Kolmogorov equation, Chapman–Kolmogorov equation (definition). Also Wikidata Q722882
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
9M2GMCJ7E9 9M2GMCJ7E9
| URI | m2://inv/9M2GMCJ7E9 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#proof-9 (proof). In Y91XFCEVHQ, proof, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
9M2JT3J8TA 9M2JT3J8TA
| URI | m2://inv/9M2JT3J8TA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dets.tex#problem-8 (exercise). In RZP28ERRZV, problem, section 56.3
History
- 2026-11-01: add by m2/v0.6.13
9M2MYGTM36 9M2MYGTM36
| URI | m2://inv/9M2MYGTM36 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-66 (exercise). In E59CDZA4DP, exercise, section 1.8.7
History
- 2026-11-01: add by m2/v0.6.13
9M2Q02HZA7 9M2Q02HZA7
| URI | m2://inv/9M2Q02HZA7 |
|---|---|
| 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.09672#J1V1 (statement). In TXBXCPP0QH/e1, lemma 36
History
- 2026-10-29: add by m2/v0.4.10
9M2Q06FBAW 9M2Q06FBAW
| URI | m2://inv/9M2Q06FBAW |
|---|---|
| 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 2204.13401#1KCB (statement). In B8MJT0GGW8/e1, theorem 3.25
History
- 2026-10-27: add by m2/v0.4.0
trail 9M2SRN3YYP
| URI | m2://inv/9M2SRN3YYP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17455228, trail (unknown). Also MathWorld Trail
History
- 2026-10-26: add by m2/dev
Duplication formula 9M2V6NEJQX
| URI | m2://inv/9M2V6NEJQX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clausen function#T7GH, Duplication formula (statement)
History
- 2026-11-02: add by m2/dev
Examples 9M2Y2VF0W2
| URI | m2://inv/9M2Y2VF0W2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolutely and completely monotonic functions and sequences#LJZB, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications 9M30VJ3WDF
| URI | m2://inv/9M30VJ3WDF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Network synthesis#XZUS, Applications (example)
History
- 2026-11-02: add by m2/dev
9M31XM3V5S 9M31XM3V5S
| URI | m2://inv/9M31XM3V5S |
|---|---|
| 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#S3KT (definition). In 9GMTVSTAVN/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
Brent's method 9M333VR8FS
| URI | m2://inv/9M333VR8FS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Brent's method 5F76XA1ABC |
Mentions
- wikidata: Wikidata Q905988, Brent's method (unknown). Also MathWorld BrentsMethod
- wikipedia: Wikipedia Brent's method, Brent's method (definition). Also Wikidata Q905988
History
- 2026-10-26: add by m2/dev
J. N. Srivastava 9M33XXTRSS
| URI | m2://inv/9M33XXTRSS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#1JHO, J. N. Srivastava (topic)
History
- 2026-11-02: add by m2/dev
9M347V0V36 9M347V0V36
| URI | m2://inv/9M347V0V36 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21355#8SOY (example). In XKJ7VKN4P0/e1, example 2
History
- 2026-10-27: add by m2/v0.4.2
9M35AT8T6B 9M35AT8T6B
| URI | m2://inv/9M35AT8T6B |
|---|---|
| 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 1003.1817#JICN (statement). In VCPT7BK80E/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
9M36H1RRVA 9M36H1RRVA
| URI | m2://inv/9M36H1RRVA |
|---|---|
| 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.20716#9YXW (statement)
History
- 2026-11-02: add by m2/v0.6.18
Le Cam's theorem 9M3CCFGYF4
| URI | m2://inv/9M3CCFGYF4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QE8Z, Le Cam's theorem (statement)
- wikipedia: Wikipedia List of probability topics#4JKA, Le Cam's theorem (statement)
- wikipedia: Wikipedia List of inequalities#HW1E, Le Cam's theorem (statement)
History
- 2026-11-02: add by m2/dev
9M3D48WDTW 9M3D48WDTW
| URI | m2://inv/9M3D48WDTW |
|---|---|
| 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.29425#OYAA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Extinction criterion for Galton–Watson process 9M3G89P9XT
| URI | m2://inv/9M3G89P9XT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galton–Watson process#P9VO, Extinction criterion for Galton–Watson process (statement)
History
- 2026-11-02: add by m2/dev
Examples 9M3HG9W2T9
| URI | m2://inv/9M3HG9W2T9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear space (geometry)#MJKH, Examples (example)
History
- 2026-11-02: add by m2/dev
Arnd Scheel 9M3QMCJ6W4
| URI | m2://inv/9M3QMCJ6W4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#DJ3N, Arnd Scheel (unknown)
History
- 2026-11-02: add by m2/dev
Galbraith plot 9M3RKK0ZY6
| URI | m2://inv/9M3RKK0ZY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KQD1, Galbraith plot (definition)
- wikipedia: Wikipedia List of graphical methods#YOQO, Galbraith plot (definition)
History
- 2026-11-02: add by m2/dev
9M3WHZRKYN 9M3WHZRKYN
| URI | m2://inv/9M3WHZRKYN |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/consistency.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 50.1
History
- 2026-11-01: add by m2/v0.6.13
9M3XNVNDW0 9M3XNVNDW0
| URI | m2://inv/9M3XNVNDW0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25539#Q2NT (definition)
History
- 2026-11-01: add by m2/v0.6.15
Proposition 9M431FAGD0
| URI | m2://inv/9M431FAGD0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biquaternion#W10F, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Saddle point 9M49NB3GE1
| URI | m2://inv/9M49NB3GE1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#TXM8, Saddle point (definition)
- wikipedia: Wikipedia List of multivariable calculus topics#VINZ, Saddle point (definition)
History
- 2026-11-02: add by m2/dev
9M4E11KM4Y 9M4E11KM4Y
| URI | m2://inv/9M4E11KM4Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.05005#X72J (statement). In SMJMAQ2S3J/e1, corollary 2
History
- 2026-10-27: add by m2/v0.4.0
Viscosity solution and Hopf formula 9M4JD7ZXNR
| URI | m2://inv/9M4JD7ZXNR |
|---|---|
| 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.32710#01T0, Viscosity solution and Hopf formula (statement). In KVYG6R7CGJ/e1, theorem 5.4
History
- 2026-10-31: add by m2/v0.5.6
Schur orthogonality 9M4PA16D0E
| URI | m2://inv/9M4PA16D0E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-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.40271#0VN2, Schur orthogonality (statement). In 9MXMRKFKDW/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Karl Sigmund 9M4SQNRBJM
| URI | m2://inv/9M4SQNRBJM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Sigmund, Karl Sigmund (topic). Also Wikidata Q88800
History
- 2026-11-02: add by m2/dev
Walsh matrix 9M4ZN89B7N
| URI | m2://inv/9M4ZN89B7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walsh matrix, Walsh matrix (definition). Also Wikidata Q3851929
History
- 2026-11-02: add by m2/dev
Characterizations 9M52DFJ93H
| URI | m2://inv/9M52DFJ93H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flat module#YAJG, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Franz Rellich 9M56AHGDWY
| URI | m2://inv/9M56AHGDWY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Franz Rellich, Franz Rellich (topic). Also Wikidata Q75919
History
- 2026-11-02: add by m2/dev
Convex volume approximation 9M5868XZFW
| URI | m2://inv/9M5868XZFW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex volume approximation, Convex volume approximation (definition). Also Wikidata Q7226628
History
- 2026-11-02: add by m2/dev
coimage 9M5JXJTAXQ
| URI | m2://inv/9M5JXJTAXQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#GOFU, coimage (definition)
History
- 2026-11-02: add by m2/dev
Turán graph 9M5M1NN2ZS
| URI | m2://inv/9M5M1NN2ZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Turán graph 0VTCABADBE |
Mentions
- wikidata: Wikidata Q720459, Turán graph (unknown). Also MathWorld TuranGraph
- wikipedia: Wikipedia Turán graph, Turán graph (definition). Also Wikidata Q720459
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Olympic gel 9M5NK688GN
| URI | m2://inv/9M5NK688GN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olympic gel, Olympic gel (definition). Also Wikidata Q136171470
History
- 2026-11-02: add by m2/dev
9M5TNW2XZF 9M5TNW2XZF
| URI | m2://inv/9M5TNW2XZF |
|---|---|
| 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 2405.05684#Y2EX (statement). In 1PR73ECTZB/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Luby transform code 9M5W281T44
| URI | m2://inv/9M5W281T44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luby transform code, Luby transform code (definition). Also Wikidata Q13563306
History
- 2026-11-02: add by m2/dev
Dehn function 9M5Y1TK7FA
| URI | m2://inv/9M5Y1TK7FA |
|---|---|
| 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.04271#P6JU, Dehn function (statement). In WBXAW9G4JB/e1, proposition A.3
History
- 2026-10-29: add by m2/v0.4.12
Iterative proportional fitting 9M5YWKAQNG
| URI | m2://inv/9M5YWKAQNG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iterative proportional fitting, Iterative proportional fitting (definition). Also Wikidata Q17092769
History
- 2026-11-02: add by m2/dev
Coulomb's law 9M5YX8V79Z
| URI | m2://inv/9M5YX8V79Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q83152, Coulomb's law (statement). Also ProofWiki Coulomb's_Law_of_Electrostatics
- wikipedia: Wikipedia Coulomb's law, Coulomb's law (statement). Also Wikidata Q83152
History
- 2026-10-26: add by m2/dev
Kuromasu 9M61CX8CFY
| URI | m2://inv/9M61CX8CFY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#6OVE, Kuromasu (definition)
History
- 2026-11-02: add by m2/dev
9M66QFT87Z 9M66QFT87Z
| URI | m2://inv/9M66QFT87Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38243#UT4E (statement). In R03K2N7FRF/e1, lemma C.2
History
- 2026-10-30: add by m2/v0.4.12
Comparison with the Tietze–Urysohn extension theorem 9M678R14QA
| URI | m2://inv/9M678R14QA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dugundji extension theorem#4U8F, Comparison with the Tietze–Urysohn extension theorem (statement)
History
- 2026-11-02: add by m2/dev
9M68R5G00F 9M68R5G00F
| URI | m2://inv/9M68R5G00F |
|---|---|
| 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.07598#O8R2 (statement). In V57RPDNR8H/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
DRGT 9M6BH139BT
| URI | m2://inv/9M6BH139BT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Massive gravity#YFBZ, DRGT (unknown)
History
- 2026-11-02: add by m2/dev
9M6DJSQW2M 9M6DJSQW2M
| URI | m2://inv/9M6DJSQW2M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.21921#8MN4 (statement). In CM2YEK9T4F/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
Perpendicular distance 9M6NZZJNY4
| URI | m2://inv/9M6NZZJNY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perpendicular distance, Perpendicular distance (definition). Also Wikidata Q7169518
History
- 2026-11-02: add by m2/dev
Algebraic Eraser 9M6RGB3AXZ
| URI | m2://inv/9M6RGB3AXZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic Eraser, Algebraic Eraser (definition). Also Wikidata Q22808838
History
- 2026-11-02: add by m2/dev
9M6VCEWRC4 9M6VCEWRC4
| URI | m2://inv/9M6VCEWRC4 |
|---|---|
| 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.28297#U5B3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
9M6WEJRV2M 9M6WEJRV2M
| URI | m2://inv/9M6WEJRV2M |
|---|---|
| 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.02944#I0BA (statement). In 1F99Z64AB7/e1, theorem B.1
History
- 2026-10-29: add by m2/v0.4.12
9M730JRF3H 9M730JRF3H
| URI | m2://inv/9M730JRF3H |
|---|---|
| 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.37562#O2LG (statement). In PYY8DFK2JS/e1, lemma A.9
History
- 2026-10-30: add by m2/v0.4.12
The basic lemma 9M7HW85XYP
| URI | m2://inv/9M7HW85XYP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separoid#I8KL, The basic lemma (statement)
History
- 2026-11-02: add by m2/dev
9M7NA513GR 9M7NA513GR
| URI | m2://inv/9M7NA513GR |
|---|---|
| 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#SSQ0 (definition). In PEXJPV3NP8/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Compound of twenty octahedra with rotational freedom 9M7V3GJCWH
| URI | m2://inv/9M7V3GJCWH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#ZX0O, Compound of twenty octahedra with rotational freedom (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#YQ4M, Compound of twenty octahedra with rotational freedom (definition)
History
- 2026-11-02: add by m2/dev
Complexification 9M7VNPRX4T
| URI | m2://inv/9M7VNPRX4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complexification (Lie group), Complexification (definition). Also Wikidata Q17005573
History
- 2026-11-02: add by m2/dev
Symmetric design 9M7WEZ697J
| URI | m2://inv/9M7WEZ697J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CSVN, Symmetric design (definition)
History
- 2026-11-02: add by m2/dev
9M7Y8186RP 9M7Y8186RP
| URI | m2://inv/9M7Y8186RP |
|---|---|
| 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 2605.09717#BH2P (statement). In W7QSDK6YPM/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.6
Piecewise continuous function 9M7YKV5RYD
| URI | m2://inv/9M7YKV5RYD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Piecewise function#F9EO, Piecewise continuous function (unknown)
History
- 2026-11-02: add by m2/dev
Exact error of a flattened design 9M839XYSSF
| URI | m2://inv/9M839XYSSF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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.27765#KT2U, Exact error of a flattened design (statement)
History
- 2026-11-01: add by m2/v0.6.15
9M852G65KS 9M852G65KS
| URI | m2://inv/9M852G65KS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0810.0962#SSIB (definition). In 80YMRN5KS9/e1, definition 7
History
- 2026-10-27: add by m2/v0.3.5
translation number defines a homeomorphism up to semiconjugacy 9M8B6ZGW5D
| URI | m2://inv/9M8B6ZGW5D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Dynamics > Circle dynamics > translation number defines a homeomorphism up to semiconjugacy, translation number defines a homeomorphism up to semiconjugacy (unknown). Also Mathlib CircleDeg1Lift.semiconj_of_bijective_of_translationNumber_eq
History
- 2026-10-26: add by m2/dev
9M8C64BDWJ 9M8C64BDWJ
| URI | m2://inv/9M8C64BDWJ |
|---|---|
| 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.10093#V6FY (statement). In NJDN112PFS/e1, proposition A.1
History
- 2026-10-29: add by m2/v0.4.10
Fontené theorems 9M8HZ69CKF
| URI | m2://inv/9M8HZ69CKF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q24957222, Fontené theorems (statement). Also MathWorld FonteneTheorems, ProofWiki Fontené_Theorems
History
- 2026-10-26: add by m2/dev
Example 9M8RAP423R
| URI | m2://inv/9M8RAP423R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Design of experiments#BYE4, Example (example)
History
- 2026-11-02: add by m2/dev
G-structure 9M8TF5BJJ0
| URI | m2://inv/9M8TF5BJJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | G-structure VYNQVZ8XVF |
Mentions
- wikidata: Wikidata Q5511959, G-structure (unknown). Also nLab G-structure
- wikipedia: Wikipedia G-structure on a manifold, G-structure on a manifold (definition). Also Wikidata Q5511959
History
- 2026-10-26: add by m2/dev
\emph{Feasibility 9M8XCVSXXF
| URI | m2://inv/9M8XCVSXXF |
|---|---|
| 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.13424#BRUY, \emph{Feasibility (statement). In RBCXCDNPAN/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Representation theory of SU(2) 9M8XFZK09Q
| URI | m2://inv/9M8XFZK09Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#KFJR, Representation theory of SU(2) (definition)
History
- 2026-11-02: add by m2/dev
Characterization of first-class combinations 9M909TAK69
| URI | m2://inv/9M909TAK69 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27966#6XC4, Characterization of first-class combinations (statement)
History
- 2026-11-01: add by m2/v0.6.15
Read only right moving Turing Machines 9M9DTMTQJ1
| URI | m2://inv/9M9DTMTQJ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deterministic finite automaton#YIOX, Read only right moving Turing Machines (unknown)
History
- 2026-11-02: add by m2/dev
Root of unity 9M9PSFM15W
| URI | m2://inv/9M9PSFM15W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#21PC, Root of unity (definition)
History
- 2026-11-02: add by m2/dev
9MA27BX535 9MA27BX535
| URI | m2://inv/9MA27BX535 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#NV90 (definition). In 9DQKY7KGE8/e1, definition A.9
History
- 2026-10-31: add by m2/v0.5.6
Matematicheskii Sbornik 9MA2NSATHF
| URI | m2://inv/9MA2NSATHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4284728, Matematicheskii Sbornik (unknown). Also ProofWiki Book:Journal/Matematicheskii_Sbornik
- wikipedia: Wikipedia Matematicheskii Sbornik, Matematicheskii Sbornik (definition). Also Wikidata Q4284728
History
- 2026-10-26: add by m2/dev
game, Conway 9MA384E8H8
| URI | m2://inv/9MA384E8H8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/game-conway, game, Conway (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
First order arithmetic 9MAAY38ZM4
| URI | m2://inv/9MAAY38ZM4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#JNP9, First order arithmetic (definition)
History
- 2026-11-02: add by m2/dev
Sierpi\'nski 9MACBATXSN
| URI | m2://inv/9MACBATXSN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39593#9B6C, Sierpi\'nski (statement). In BF0RYHPMS1/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
9MAHTJTDK5 9MAHTJTDK5
| URI | m2://inv/9MAHTJTDK5 |
|---|---|
| Kind | example |
| 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#E7ON (example). In M0SQY5EZN5/e1, example 5.2.2
History
- 2026-10-27: add by m2/v0.3.5
Properties 9MAMWBYK2T
| URI | m2://inv/9MAMWBYK2T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual curve#JRG1, Properties (statement)
History
- 2026-11-02: add by m2/dev
Porteous formula 9MB0353MB9
| URI | m2://inv/9MB0353MB9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Porteous formula, Porteous formula (statement). Also Wikidata Q7231572
History
- 2026-11-02: add by m2/dev
Abraham Abigdor 9MB2D9YV07
| URI | m2://inv/9MB2D9YV07 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#HQ2A, Abraham Abigdor (unknown)
History
- 2026-11-02: add by m2/dev
9MB6CEARWK 9MB6CEARWK
| URI | m2://inv/9MB6CEARWK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/halting-problem.tex#thm:halting-problem (statement). In PKGMM3P5QY, thm, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
circumference 9MB7K8PHK9
| URI | m2://inv/9MB7K8PHK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q843905, circumference (unknown). Also MathWorld Circumference
- wikipedia: Wikipedia Circumference, Circumference (definition). Also Wikidata Q843905
History
- 2026-10-26: add by m2/dev
9MBDAZS9H5 9MBDAZS9H5
| URI | m2://inv/9MBDAZS9H5 |
|---|---|
| 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.15013#VRSO (statement). In JB837X6D1Q/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Krippendorff's alpha 9MBHC9JZN3
| URI | m2://inv/9MBHC9JZN3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krippendorff's alpha, Krippendorff's alpha (definition). Also Wikidata Q6437118
History
- 2026-11-02: add by m2/dev
Relaxation time 9MBNZP07HG
| URI | m2://inv/9MBNZP07HG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#EJKI, Relaxation time (definition). In WD2NCBV9F0/e1, definition 6.10
History
- 2026-10-27: add by m2/v0.3.5
Euclidean random matrix 9MBQEF4K8Q
| URI | m2://inv/9MBQEF4K8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean random matrix, Euclidean random matrix (definition). Also Wikidata Q5406123
History
- 2026-11-02: add by m2/dev
Statement 9MBR47FXF4
| URI | m2://inv/9MBR47FXF4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krein–Smulian theorem#3X8L, Statement (statement)
History
- 2026-11-02: add by m2/dev
9MBTQ05G8H 9MBTQ05G8H
| URI | m2://inv/9MBTQ05G8H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#T6LH (definition). In Q5Z178SAHP/e1, definition 4.16
History
- 2026-10-30: add by m2/v0.4.12
Finite type invariant 9MBWMYAAX8
| URI | m2://inv/9MBWMYAAX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#8DMQ, Finite type invariant (definition)
History
- 2026-11-02: add by m2/dev
Shlomo Sternberg 9MBWNCKTJB
| URI | m2://inv/9MBWNCKTJB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZY4X, Shlomo Sternberg (topic)
History
- 2026-11-02: add by m2/dev
9MC2H5MMNG 9MC2H5MMNG
| URI | m2://inv/9MC2H5MMNG |
|---|---|
| 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#7NRW (statement). In M4ZVJWM8YA/e1, theorem 4.14
History
- 2026-10-27: add by m2/v0.4.2
9MC60ZM7EH 9MC60ZM7EH
| URI | m2://inv/9MC60ZM7EH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#CXMA (statement). In NGZ5AZ70NN/e1, proposition 3.13
History
- 2026-10-28: add by m2/v0.4.2
9MC95YDXYX 9MC95YDXYX
| URI | m2://inv/9MC95YDXYX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/unions-and-intersections.tex#ex-2 (example). In PKGMM3P5QY, ex, section 83.2
History
- 2026-11-01: add by m2/v0.6.13
9MC9WBGV5F 9MC9WBGV5F
| URI | m2://inv/9MC9WBGV5F |
|---|---|
| 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.35460#WZLF (statement). In R515NECVME/e1, proposition 6.2
History
- 2026-10-30: add by m2/v0.4.12
LDP synthetic dataset 9MCH709X3E
| URI | m2://inv/9MCH709X3E |
|---|---|
| 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.21033#MJ46, LDP synthetic dataset (statement). In A8C1M9BSWH/e1, theorem 6.3
History
- 2026-10-27: add by m2/v0.4.2
Orrin Frink 9MCK4E9S46
| URI | m2://inv/9MCK4E9S46 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PCB0, Orrin Frink (topic)
History
- 2026-11-02: add by m2/dev
9MCM223M1C 9MCM223M1C
| URI | m2://inv/9MCM223M1C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-11 (exercise). In E59CDZA4DP, exercise, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
Fluctuations of the empirical modulus 9MCM4M0FZ4
| URI | m2://inv/9MCM4M0FZ4 |
|---|---|
| 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#TNAE, Fluctuations of the empirical modulus (statement). In FTPW1SZ8D3/e1, lemma C.6
History
- 2026-10-30: add by m2/v0.4.12
derivative, tangent 9MCQG7AVBY
| URI | m2://inv/9MCQG7AVBY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/2.4.2/derivative-tangent, derivative, tangent (concept). In 907G4C4EJ1, index, section 2.4.2
History
- 2026-11-01: add by m2/v0.6.13
9MCTW9XM5D 9MCTW9XM5D
| URI | m2://inv/9MCTW9XM5D |
|---|---|
| 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 2308.09645#BBP7 (statement). In HVDSC1GQRD/e1, corollary 2.15
History
- 2026-10-27: add by m2/v0.3.5
9MCY9EHVSK 9MCY9EHVSK
| URI | m2://inv/9MCY9EHVSK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/bezout.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 20.4
History
- 2026-11-01: add by m2/v0.6.13
Examples 9MD3CY55DY
| URI | m2://inv/9MD3CY55DY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugacy class#GJVA, Examples (example)
History
- 2026-11-02: add by m2/dev
Species discovery curve 9MD3N8TZNB
| URI | m2://inv/9MD3N8TZNB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8VS8, Species discovery curve (definition)
History
- 2026-11-02: add by m2/dev
9MD72TSC6G 9MD72TSC6G
| URI | m2://inv/9MD72TSC6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27241#7IQG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lambda-mu calculus 9MDCKZ2YEG
| URI | m2://inv/9MDCKZ2YEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambda-mu calculus, Lambda-mu calculus (definition). Also Wikidata Q6481090
History
- 2026-11-02: add by m2/dev
Michele Besso 9MDCVSFY24
| URI | m2://inv/9MDCVSFY24 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WJNK, Michele Besso (unknown)
History
- 2026-11-02: add by m2/dev
Dirac measure 9MDD4KNC1Z
| URI | m2://inv/9MDD4KNC1Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Dirac measure 099SXAG014 |
Mentions
- wikidata: Wikidata Q1227387, Dirac measure (concept). Also nLab Dirac measure
- wikipedia: Wikipedia Dirac measure, Dirac measure (definition). Also Wikidata Q1227387
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Local cat-code adiabatic estimate 9MDGCKQR1W
| URI | m2://inv/9MDGCKQR1W |
|---|---|
| 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.01669#DVXO, Local cat-code adiabatic estimate (statement). In 41AVNP6DJ9/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.12
9MDHWJ5668 9MDHWJ5668
| URI | m2://inv/9MDHWJ5668 |
|---|---|
| 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.33697#S308 (statement). In Q6GGQ29TRC/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
9MDJS2V24R 9MDJS2V24R
| URI | m2://inv/9MDJS2V24R |
|---|---|
| Kind | example |
| 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.20190#CZY7 (example)
History
- 2026-11-02: add by m2/v0.6.18
Response rate 9MDPC4GRQ6
| URI | m2://inv/9MDPC4GRQ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Response rate (survey), Response rate (definition). Also Wikidata Q780226
History
- 2026-11-02: add by m2/dev
9ME18KR3NV 9ME18KR3NV
| URI | m2://inv/9ME18KR3NV |
|---|---|
| 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 2204.01073#J64R (statement). In W4TYN4PGE8/e1, lemma 2.27
History
- 2026-10-27: add by m2/v0.3.5
9ME45S1671 9ME45S1671
| URI | m2://inv/9ME45S1671 |
|---|---|
| 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.23338#SC6E (statement)
History
- 2026-11-02: add by m2/v0.6.17
Mehmet Burak Erdoğan 9ME79C5906
| URI | m2://inv/9ME79C5906 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mehmet Burak Erdoğan, Mehmet Burak Erdoğan (topic). Also Wikidata Q102230056
History
- 2026-11-02: add by m2/dev
Novikov–Veselov equation 9MEAKH8QS2
| URI | m2://inv/9MEAKH8QS2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17104811, Novikov–Veselov equation (concept). Also MathWorld Veselov-NovikovEquation
History
- 2026-10-26: add by m2/dev
1 E+41 m2 9MEDZNZCXQ
| URI | m2://inv/9MEDZNZCXQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (area)#HXFF, 1 E+41 m2 (unknown)
History
- 2026-11-02: add by m2/dev
complete graph K11 9MEE61VVHE
| URI | m2://inv/9MEE61VVHE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131179481, complete graph K11 (unknown). Also House of Graphs 32555
History
- 2026-10-26: add by m2/dev
Active tails have no complex intersections 9MEEA87NCS
| URI | m2://inv/9MEEA87NCS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07379#LXLW, Active tails have no complex intersections (statement). In N0EVQ46HBR/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.10
Multi-layer FedProx under common layer bounds 9MEEV72X0H
| URI | m2://inv/9MEEV72X0H |
|---|---|
| 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.02659#BU23, Multi-layer FedProx under common layer bounds (statement). In EV933413SJ/e1, corollary D.6
History
- 2026-10-29: add by m2/v0.4.12
branch cut 9MEFNA5A7R
| URI | m2://inv/9MEFNA5A7R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Branch cut 06JYC06JHY |
Mentions
- wikidata: Wikidata Q121355947, branch cut (concept). Also MathWorld BranchCut
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Tibor Šalát 9MEK0HYQKZ
| URI | m2://inv/9MEK0HYQKZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tibor Šalát, Tibor Šalát (topic). Also Wikidata Q7800529
History
- 2026-11-02: add by m2/dev
Stationary ergodic process 9MEN9ZPKQ9
| URI | m2://inv/9MEN9ZPKQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RBP5, Stationary ergodic process (definition)
History
- 2026-11-02: add by m2/dev
Christophe Soulé 9MEZCJCQH3
| URI | m2://inv/9MEZCJCQH3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christophe Soulé, Christophe Soulé (topic). Also Wikidata Q1086403
History
- 2026-11-02: add by m2/dev
Formal Definition 9MF1CR8DJ9
| URI | m2://inv/9MF1CR8DJ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polarization constants#4A3N, Formal Definition (definition)
History
- 2026-11-02: add by m2/dev
Raster graphics 9MF41YWHYH
| URI | m2://inv/9MF41YWHYH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#XWP4, Raster graphics (unknown)
History
- 2026-11-02: add by m2/dev
9MFAHT4PCZ 9MFAHT4PCZ
| URI | m2://inv/9MFAHT4PCZ |
|---|---|
| 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#PZVM (statement). In WRE0P7V6Z3/e1, corollary 1.11
History
- 2026-10-30: add by m2/v0.4.12
9MFJH7J0GT 9MFJH7J0GT
| URI | m2://inv/9MFJH7J0GT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29679#9ZYV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rui Loja Fernandes 9MFSZ5G4EY
| URI | m2://inv/9MFSZ5G4EY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rui Loja Fernandes, Rui Loja Fernandes (topic). Also Wikidata Q30143482
History
- 2026-11-02: add by m2/dev
9MFTPPRSS2 9MFTPPRSS2
| URI | m2://inv/9MFTPPRSS2 |
|---|---|
| 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 2302.05529#PG9U (statement). In 9VPMHV0M4R/e1, lemma 1.4
History
- 2026-10-27: add by m2/v0.3.5
9MG0W9MQS4 9MG0W9MQS4
| URI | m2://inv/9MG0W9MQS4 |
|---|---|
| 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.13981#6CFP (statement). In V78F5DK90W/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Julian Seymour Schwinger 9MG225M44S
| URI | m2://inv/9MG225M44S |
|---|---|
| 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 Q186465, Julian Seymour Schwinger (unknown). Also nLab Julian Schwinger
- wikipedia: Wikipedia Julian Schwinger, Julian Schwinger (topic). Also Wikidata Q186465
History
- 2026-10-26: add by m2/dev
9MG78VBF9G 9MG78VBF9G
| URI | m2://inv/9MG78VBF9G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37893#R5PV (definition). In 8H0KHK7AMN/e1, definition 2.14
History
- 2026-10-30: add by m2/v0.4.12
Procedure 9MG7Q308XX
| URI | m2://inv/9MG7Q308XX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forney algorithm#E6E8, Procedure (definition)
History
- 2026-11-02: add by m2/dev
9MG9S762XD 9MG9S762XD
| URI | m2://inv/9MG9S762XD |
|---|---|
| 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 2610.02983#MGXD (statement). In HMNKENER22/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.12
endofunction 9MGKJT8BK5
| URI | m2://inv/9MGKJT8BK5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15140858, endofunction (unknown). Also nLab endofunction
History
- 2026-10-26: add by m2/dev
9MGPQ4XV0T 9MGPQ4XV0T
| URI | m2://inv/9MGPQ4XV0T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28323#P8PZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Namioka's theorem 9MGVJ20Y89
| URI | m2://inv/9MGVJ20Y89 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Namioka's theorem, Namioka's theorem (statement). Also Wikidata Q133446044
History
- 2026-11-02: add by m2/dev
9MGWVNTF45 9MGWVNTF45
| URI | m2://inv/9MGWVNTF45 |
|---|---|
| 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 2409.03423#2PH8 (statement). In 8C5YCMN81V/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.5
Georgii Suvorov 9MH0M7FMS2
| URI | m2://inv/9MH0M7FMS2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georgii Suvorov, Georgii Suvorov (topic). Also Wikidata Q4445150
History
- 2026-11-02: add by m2/dev
Sylvia Frühwirth-Schnatter 9MH11W28K5
| URI | m2://inv/9MH11W28K5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvia Frühwirth-Schnatter, Sylvia Frühwirth-Schnatter (topic). Also Wikidata Q2374189
History
- 2026-11-02: add by m2/dev
9MH2ED2Q57 9MH2ED2Q57
| URI | m2://inv/9MH2ED2Q57 |
|---|---|
| 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 2610.17737#ZKJR (statement). In 8SXY7Y68HV/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
conductor 9MH8P55K2W
| URI | m2://inv/9MH8P55K2W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5159395, conductor (concept). Also nLab conductor (number theory)
- wikipedia: Wikipedia Conductor (class field theory), Conductor (definition). Also Wikidata Q5159395
History
- 2026-10-26: add by m2/dev
9MH937FRZC 9MH937FRZC
| URI | m2://inv/9MH937FRZC |
|---|---|
| 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.17541#09QR (statement). In 9PHDBFMHH6/e1, proposition 5.5
History
- 2026-10-28: add by m2/v0.4.2
Jacopo Zabarella 9MH9HBKMPR
| URI | m2://inv/9MH9HBKMPR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacopo Zabarella, Jacopo Zabarella (topic). Also Wikidata Q627941
History
- 2026-11-02: add by m2/dev
Alfred W. Hales 9MHCRSGRFA
| URI | m2://inv/9MHCRSGRFA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfred W. Hales, Alfred W. Hales (topic). Also Wikidata Q4723572
History
- 2026-11-02: add by m2/dev
Computational hardness assumption 9MHF361ZMJ
| URI | m2://inv/9MHF361ZMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational hardness assumption, Computational hardness assumption (definition). Also Wikidata Q5157320
History
- 2026-11-02: add by m2/dev
9MHGDC1XQK 9MHGDC1XQK
| URI | m2://inv/9MHGDC1XQK |
|---|---|
| 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.16563#VW0G (statement). In V51HCA9ZAA/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
9MHRFE2AMW 9MHRFE2AMW
| URI | m2://inv/9MHRFE2AMW |
|---|---|
| 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.31242#BMUC (statement). In 3NPRR9546C/e1, corollary 4.4
History
- 2026-10-31: add by m2/v0.5.6
9MHTZP1DKJ 9MHTZP1DKJ
| URI | m2://inv/9MHTZP1DKJ |
|---|---|
| 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 2410.10337#MEWR (definition). In RBBF0XNZ5E/e1, definition 13
History
- 2026-10-27: add by m2/v0.3.5
9MHW2TX0Y5 9MHW2TX0Y5
| URI | m2://inv/9MHW2TX0Y5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#XFSH (statement). In E7W2HDNEKJ/e1, proposition 11.3
History
- 2026-10-30: add by m2/v0.4.12
9MHWGCT35C 9MHWGCT35C
| URI | m2://inv/9MHWGCT35C |
|---|---|
| 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 2609.35183#0OCR (statement). In FYM5XFD9RR/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Exponential stability of forced target system 9MHZHH812F
| URI | m2://inv/9MHZHH812F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.08764#JK4O, Exponential stability of forced target system (statement). In QVFHS1C9BW/e1, proposition \thethrm
History
- 2026-10-29: add by m2/v0.4.10
9MJA12028N 9MJA12028N
| URI | m2://inv/9MJA12028N |
|---|---|
| Kind | definition |
| 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.34458#2OK9 (definition). In 2KQ85H6MS4/e1, definition 11
History
- 2026-10-30: add by m2/v0.4.12
9MJG2R27MN 9MJG2R27MN
| URI | m2://inv/9MJG2R27MN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#3N6B (statement)
History
- 2026-11-01: add by m2/v0.6.15
9MJHDGWA79 9MJHDGWA79
| URI | m2://inv/9MJHDGWA79 |
|---|---|
| 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 2112.05010#CFWD (statement). In 4SZNPS3Z00/e1, proposition F.1
History
- 2026-10-27: add by m2/v0.3.6
Finitism 9MJTFBVR03
| URI | m2://inv/9MJTFBVR03 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#X942, Finitism (definition)
History
- 2026-11-02: add by m2/dev
9MJWC0TD2V 9MJWC0TD2V
| URI | m2://inv/9MJWC0TD2V |
|---|---|
| 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 2609.35287#P7YC (statement). In BPPBAWGPHJ/e1, proposition 7.5
History
- 2026-10-30: add by m2/v0.4.12
Latin letters used in mathematics, science, and engineering 9MJY5FXF3E
| URI | m2://inv/9MJY5FXF3E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latin letters used in mathematics, science, and engineering, Latin letters used in mathematics, science, and engineering (definition). Also Wikidata Q6496521
History
- 2026-11-02: add by m2/dev
Construction 9MK6B0XQE9
| URI | m2://inv/9MK6B0XQE9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Menger sponge#HHC8, Construction (definition)
History
- 2026-11-02: add by m2/dev
9MK81SCTSB 9MK81SCTSB
| URI | m2://inv/9MK81SCTSB |
|---|---|
| Kind | example |
| 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.21181#W9BH (example). In 3D0GJXDY11/e1, example 5.7
History
- 2026-10-27: add by m2/v0.4.2
9MK8CKC5WA 9MK8CKC5WA
| URI | m2://inv/9MK8CKC5WA |
|---|---|
| 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#BS75 (definition). In PEXJPV3NP8/e1, definition 2.19
History
- 2026-10-27: add by m2/v0.3.5
Natural logarithm 9MKC81XSRH
| URI | m2://inv/9MKC81XSRH |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logarithmic identities#WD1O, Natural logarithm (object)
History
- 2026-11-02: add by m2/dev
9MKQ3H422Q 9MKQ3H422Q
| URI | m2://inv/9MKQ3H422Q |
|---|---|
| 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 math/9602216#I3N8 (statement). In SD43497T8C/e1, fact 1.10
History
- 2026-10-27: add by m2/v0.3.5
Kenneth Falconer 9MKRKSTFB1
| URI | m2://inv/9MKRKSTFB1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kenneth Falconer, Kenneth Falconer (topic). Also Wikidata Q14491967
History
- 2026-11-02: add by m2/dev
Three cards problem 9MKTHNNA7Y
| URI | m2://inv/9MKTHNNA7Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bertrand's box paradox#RAUK, Three cards problem (unknown)
History
- 2026-11-02: add by m2/dev
Analytic Liouville coordinates 9MM293FAM9
| URI | m2://inv/9MM293FAM9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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 2610.16094#R86Q, Analytic Liouville coordinates (statement). In RHBS9QDHC3/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
spherical harmonic 9MM9VW58F5
| URI | m2://inv/9MM9VW58F5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Spherical harmonics 3F32Y21HP4 |
Mentions
- wikidata: Wikidata Q877100, spherical harmonic (unknown). Also EoM Spherical_harmonics, MathWorld SphericalHarmonic
- wikipedia: Wikipedia Spherical harmonics, Spherical harmonics (definition). Also Wikidata Q877100
History
- 2026-10-26: add by m2/dev
Formal definition 9MM9ZSA83E
| URI | m2://inv/9MM9ZSA83E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-finite field#UIE1, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
9MMAEX2QKC 9MMAEX2QKC
| URI | m2://inv/9MMAEX2QKC |
|---|---|
| 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 2310.14879#QM6Z (statement). In 3VZ55B2N0D/e1, lemma 6.9
History
- 2026-10-27: add by m2/v0.4.0
9MMAQ5RFP6 9MMAQ5RFP6
| URI | m2://inv/9MMAQ5RFP6 |
|---|---|
| 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 2609.29531#ZVAV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Monte Carlo method for photon transport 9MMB67K804
| URI | m2://inv/9MMB67K804 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LZOH, Monte Carlo method for photon transport (definition)
History
- 2026-11-02: add by m2/dev
Example 9MMCQKBJ2Q
| URI | m2://inv/9MMCQKBJ2Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discounted cumulative gain#9VVD, Example (example)
History
- 2026-11-02: add by m2/dev
intuitionistic logic 9MMDN0SC4J
| URI | m2://inv/9MMDN0SC4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#1847, intuitionistic logic (definition)
History
- 2026-11-02: add by m2/dev
Stanley decomposition 9MMFSVAMDJ
| URI | m2://inv/9MMFSVAMDJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanley decomposition, Stanley decomposition (definition). Also Wikidata Q30704545
History
- 2026-11-02: add by m2/dev
9MMJBCYEWS 9MMJBCYEWS
| URI | m2://inv/9MMJBCYEWS |
|---|---|
| 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.23128#0Y6F (statement)
History
- 2026-11-02: add by m2/v0.6.17
9MMQHH4P5Y 9MMQHH4P5Y
| URI | m2://inv/9MMQHH4P5Y |
|---|---|
| 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.21174#0WY7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
9MMRNFBR57 9MMRNFBR57
| URI | m2://inv/9MMRNFBR57 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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 2609.39254#Y46H (statement). In A59MZ9H284/e1, corollary 1.2
History
- 2026-10-30: add by m2/v0.4.12
homeomorphism group 9MMX7S1KA4
| URI | m2://inv/9MMX7S1KA4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13509874, homeomorphism group (unknown). Also EoM Homeomorphism_group
- wikipedia: Wikipedia Homeomorphism group, Homeomorphism group (definition). Also Wikidata Q13509874
History
- 2026-10-26: add by m2/dev
Albrecht Dürer 9MN42DDBKE
| URI | m2://inv/9MN42DDBKE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#LQU8, Albrecht Dürer (unknown)
History
- 2026-11-02: add by m2/dev
Alexander D. Wentzell 9MNDQBFQFN
| URI | m2://inv/9MNDQBFQFN |
|---|---|
| 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#B8ON, Alexander D. Wentzell (topic)
History
- 2026-11-02: add by m2/dev
Lakkoju Sanjeevaraya Sarma 9MNE6Q54DP
| URI | m2://inv/9MNE6Q54DP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lakkoju Sanjeevaraya Sarma, Lakkoju Sanjeevaraya Sarma (topic). Also Wikidata Q6479719
History
- 2026-11-02: add by m2/dev
9MNFQVQ7GZ 9MNFQVQ7GZ
| URI | m2://inv/9MNFQVQ7GZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 15.1
History
- 2026-11-01: add by m2/v0.6.13
Equivalent definitions 9MNZHV1ACE
| URI | m2://inv/9MNZHV1ACE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topos#42GH, Equivalent definitions (definition)
History
- 2026-11-02: add by m2/dev
9MP2JX5K44 9MP2JX5K44
| URI | m2://inv/9MP2JX5K44 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01924#QRIL (definition). In CB89152EQW/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.12
Newton–Euler equations 9MP7M74G4P
| URI | m2://inv/9MP7M74G4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton–Euler equations, Newton–Euler equations (definition). Also Wikidata Q7020562
History
- 2026-11-02: add by m2/dev
converges, power series 9MPCX21A96
| URI | m2://inv/9MPCX21A96 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/1.3.1/converges-power-series, converges, power series (concept). In E59CDZA4DP, index, section 1.3.1
History
- 2026-11-01: add by m2/v0.6.13
Tutte conjecture 9MPFPVJEJY
| URI | m2://inv/9MPFPVJEJY |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q118372164, Tutte conjecture (conjecture). Also MathWorld TutteConjecture
History
- 2026-10-26: add by m2/dev
KaTeX 9MPP7R5N4A
| URI | m2://inv/9MPP7R5N4A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#GIUJ, KaTeX (unknown)
History
- 2026-11-02: add by m2/dev
United States census 9MPPFY094A
| URI | m2://inv/9MPPFY094A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia United States census, United States census (definition). Also Wikidata Q1345528
History
- 2026-11-02: add by m2/dev
9MPQR2T7H4 9MPQR2T7H4
| URI | m2://inv/9MPQR2T7H4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#Y245 (definition). In BDN507RN7J/e1, definition 3.2.15
History
- 2026-10-30: add by m2/v0.4.12
9MPS8AQ6J0 9MPS8AQ6J0
| URI | m2://inv/9MPS8AQ6J0 |
|---|---|
| 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.26471#06US (statement)
History
- 2026-11-01: add by m2/v0.6.15
Casio ClassPad fx-CP400 9MPWWSX0AG
| URI | m2://inv/9MPWWSX0AG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Casio ClassPad 300#FHV1, Casio ClassPad fx-CP400 (unknown)
History
- 2026-11-02: add by m2/dev
Uniform residual-second-moment upper bounds 9MQ52QAYKJ
| URI | m2://inv/9MQ52QAYKJ |
|---|---|
| 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.19207#07LU, Uniform residual-second-moment upper bounds (statement). In BH3R0BA3PC/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
quotient module 9MQ7KNK8HP
| URI | m2://inv/9MQ7KNK8HP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1432554, quotient module (unknown). Also MathWorld QuotientModule, nLab quotient module
- wikipedia: Wikipedia Quotient module, Quotient module (definition). Also Wikidata Q1432554
History
- 2026-10-26: add by m2/dev
Light segments shine at the weak-endpoint 9MQC0471DJ
| URI | m2://inv/9MQC0471DJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#Q424, Light segments shine at the weak-endpoint (statement). In 9JHMTYGWFQ/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.6
9MQP9THV7X 9MQP9THV7X
| URI | m2://inv/9MQP9THV7X |
|---|---|
| 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 2610.06556#BE0G (example). In KW8C7VE9XR/e1, example 13
History
- 2026-10-29: add by m2/v0.4.10
Point Cloud Library 9MQQ2YY069
| URI | m2://inv/9MQQ2YY069 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point Cloud Library, Point Cloud Library (definition). Also Wikidata Q4817319
History
- 2026-11-02: add by m2/dev
Implementation 9MQQCBGT78
| URI | m2://inv/9MQQCBGT78 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central composite design#XKG4, Implementation (definition)
History
- 2026-11-02: add by m2/dev
9MQQH9TECD 9MQQH9TECD
| URI | m2://inv/9MQQH9TECD |
|---|---|
| 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.01354#024J (definition). In BWD76W20W8/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.12
9MR4KF3ZAP 9MR4KF3ZAP
| URI | m2://inv/9MR4KF3ZAP |
|---|---|
| Kind | statement |
| 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.20516#WVS5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Generalizations 9MRBFMX4GC
| URI | m2://inv/9MRBFMX4GC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mandelbrot set#QTTA, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
9MRD76MAS2 9MRD76MAS2
| URI | m2://inv/9MRD76MAS2 |
|---|---|
| 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.21358#YK44 (definition). In XV70TXYS5A/e1, definition 2.18
History
- 2026-10-27: add by m2/v0.4.2
Fifth by Northwest 9MRTCR77CJ
| URI | m2://inv/9MRTCR77CJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#IEGK, Fifth by Northwest (unknown)
History
- 2026-11-02: add by m2/dev
Baby Monster group 9MRTE66TRP
| URI | m2://inv/9MRTE66TRP |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#09E4, Baby Monster group (object)
History
- 2026-11-02: add by m2/dev
Finite radial-window Gamma-limit 9MS0E44MK4
| URI | m2://inv/9MS0E44MK4 |
|---|---|
| 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.20215#TOIM, Finite radial-window Gamma-limit (statement)
History
- 2026-11-02: add by m2/v0.6.18
9MS2K4WP43 9MS2K4WP43
| URI | m2://inv/9MS2K4WP43 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/verification.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 87.3
History
- 2026-11-01: add by m2/v0.6.13
pred-succ 9MS3S74Q19
| URI | m2://inv/9MS3S74Q19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#TPYX, pred-succ (definition)
History
- 2026-11-02: add by m2/dev
Schönflies notation 9MS5C87EJ1
| URI | m2://inv/9MS5C87EJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space group#KTQI, Schönflies notation (definition)
History
- 2026-11-02: add by m2/dev
Exact cover 9MS5KB6FKE
| URI | m2://inv/9MS5KB6FKE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#KFC9, Exact cover (unknown)
History
- 2026-11-02: add by m2/dev
IODE software 9MS8FKQDTX
| URI | m2://inv/9MS8FKQDTX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.7.3/iode-software, IODE software (concept). In E9HS8K3A52, index, section 6.7.3
History
- 2026-11-01: add by m2/v0.6.13
Henri Poincaré 9MS8G2XCHJ
| URI | m2://inv/9MS8G2XCHJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#C66K, Henri Poincaré (topic)
History
- 2026-11-02: add by m2/dev
9MSEFKDN2N 9MSEFKDN2N
| URI | m2://inv/9MSEFKDN2N |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28211#O0VN (example)
History
- 2026-11-01: add by m2/v0.6.15
Squarefree monomials 9MSWFQM706
| URI | m2://inv/9MSWFQM706 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-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 2609.29683#6ENL, Squarefree monomials (statement)
History
- 2026-11-01: add by m2/v0.6.15
Unrestricted algorithm reduction of the activated BG-$a$ chain 9MSX5SCPC1
| URI | m2://inv/9MSX5SCPC1 |
|---|---|
| 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.02355#00F8, Unrestricted algorithm reduction of the activated BG-$a$ chain (statement). In 1AXXV9ZT11/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.12
Properties 9MT291RVAG
| URI | m2://inv/9MT291RVAG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blancmange curve#PZDN, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties 9MTD8ZE10C
| URI | m2://inv/9MTD8ZE10C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subobject#VHKV, Properties (statement)
History
- 2026-11-02: add by m2/dev
9MTF83WVDN 9MTF83WVDN
| URI | m2://inv/9MTF83WVDN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.10460#8O4M (statement). In 3N20HKKXTJ/e1, corollary 2.7
History
- 2026-10-27: add by m2/v0.3.5
9MTNZ5BEVH 9MTNZ5BEVH
| URI | m2://inv/9MTNZ5BEVH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12619#7TZM (statement). In 7F8KACT5AJ/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Examples 9MTXYAS4H7
| URI | m2://inv/9MTXYAS4H7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dependent and independent variables#D600, Examples (example)
History
- 2026-11-02: add by m2/dev
World Programming System 9MTY8R05W1
| URI | m2://inv/9MTY8R05W1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UBIO, World Programming System (definition)
History
- 2026-11-02: add by m2/dev
Hilbert 9MV3FH4F8A
| URI | m2://inv/9MV3FH4F8A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#HIWD, Hilbert (definition)
History
- 2026-11-02: add by m2/dev
Subharmonic corrected barrier 9MV98CZ4C3
| URI | m2://inv/9MV98CZ4C3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01324#7GMJ, Subharmonic corrected barrier (statement). In XKXG49TNXH/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.6
Daniel H. H. Ingalls Sr. 9MVBGNN3P7
| URI | m2://inv/9MVBGNN3P7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel H. H. Ingalls Sr., Daniel H. H. Ingalls Sr. (topic). Also Wikidata Q4200625
History
- 2026-11-02: add by m2/dev
Michael Loss 9MVEKYK0BK
| URI | m2://inv/9MVEKYK0BK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Loss, Michael Loss (topic). Also Wikidata Q5483120
History
- 2026-11-02: add by m2/dev
figure 9MVN1V5K92
| URI | m2://inv/9MVN1V5K92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#NCUD, figure (definition)
History
- 2026-11-02: add by m2/dev
Hyperbolic cosecant 9MVN6E9Z5S
| URI | m2://inv/9MVN6E9Z5S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#WUV9, Hyperbolic cosecant (definition)
History
- 2026-11-02: add by m2/dev
Beppo Levi 9MVQ5H92B7
| URI | m2://inv/9MVQ5H92B7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beppo Levi, Beppo Levi (topic). Also Wikidata Q818648
History
- 2026-11-02: add by m2/dev
François Gramain 9MVQS1EKNY
| URI | m2://inv/9MVQS1EKNY |
|---|---|
| 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#CUTL, François Gramain (unknown)
History
- 2026-11-02: add by m2/dev
Haybittle–Peto boundary 9MVT5027MB
| URI | m2://inv/9MVT5027MB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0ZZC, Haybittle–Peto boundary (definition)
History
- 2026-11-02: add by m2/dev
Nicomachus's theorem 9MVTTSCRAQ
| URI | m2://inv/9MVTTSCRAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5WOQ, Nicomachus's theorem (definition)
History
- 2026-11-02: add by m2/dev
9MVWRJFM2E 9MVWRJFM2E
| URI | m2://inv/9MVWRJFM2E |
|---|---|
| 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.07471#73JJ (statement). In 7DHCS5SEHT/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.10
9MW0KXX8HQ 9MW0KXX8HQ
| URI | m2://inv/9MW0KXX8HQ |
|---|---|
| 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 2205.06433#W4HR (statement). In 628PJKD3EV/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Dirichlet's test 9MW4CFP140
| URI | m2://inv/9MW4CFP140 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#SBR9, Dirichlet's test (definition)
History
- 2026-11-02: add by m2/dev
Alexander M. Mood 9MW5PM5H9E
| URI | m2://inv/9MW5PM5H9E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander M. Mood, Alexander M. Mood (topic). Also Wikidata Q59626618
History
- 2026-11-02: add by m2/dev
9MW9F08M86 9MW9F08M86
| URI | m2://inv/9MW9F08M86 |
|---|---|
| Kind | definition |
| 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 2609.31365#X3ZM (definition). In 19GENJ3NCP/e1, definition 2.3
History
- 2026-10-31: add by m2/v0.5.6
Line bundle degree 9MWFZQD1X6
| URI | m2://inv/9MWFZQD1X6 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33442#04UG, Line bundle degree (unknown). In EWY5YPMKA3/e1, unknown 2
History
- 2026-10-30: add by m2/v0.4.12
Kirchhoff's circuit laws 9MWJKX7TQM
| URI | m2://inv/9MWJKX7TQM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q187672, Kirchhoff's circuit laws (unknown). Also nLab Kirchhoff's laws
- wikipedia: Wikipedia Kirchhoff's circuit laws, Kirchhoff's circuit laws (statement). Also Wikidata Q187672
History
- 2026-10-26: add by m2/dev
9MWN19PXZR 9MWN19PXZR
| URI | m2://inv/9MWN19PXZR |
|---|---|
| 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.01899#CQ62 (statement). In 638TEFBFGP/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
9MWNMEN1FB 9MWNMEN1FB
| URI | m2://inv/9MWNMEN1FB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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.08196#542S (example). In 8QVWZ23N42/e1, example 4.9
History
- 2026-10-29: add by m2/v0.4.10
9MWW9FFTK5 9MWW9FFTK5
| URI | m2://inv/9MWW9FFTK5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03814#MLC0 (definition). In STPNP83RJS/e1, definition 1.2
History
- 2026-10-29: add by m2/v0.4.12
Formulation 9MX8765TRE
| URI | m2://inv/9MX8765TRE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadric#FPV7, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Complex plane notation 9MX8WAAH0F
| URI | m2://inv/9MX8WAAH0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex plane#QX26, Complex plane notation (definition)
History
- 2026-11-02: add by m2/dev
$\infty$-functor 9MXD3RFSW4
| URI | m2://inv/9MXD3RFSW4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1/infty-functor, $\infty$-functor (concept). In N54F33XE07, index, section 1
History
- 2026-11-01: add by m2/v0.6.13
Timing noise 9MXD8JQT7S
| URI | m2://inv/9MXD8JQT7S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pulsar#BQ23, Timing noise (unknown)
History
- 2026-11-02: add by m2/dev
9MXPQVE45N 9MXPQVE45N
| URI | m2://inv/9MXPQVE45N |
|---|---|
| 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.22657#5OMG (statement)
History
- 2026-11-02: add by m2/v0.6.17
9MXSQVJRD5 9MXSQVJRD5
| URI | m2://inv/9MXSQVJRD5 |
|---|---|
| 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.04833#052X (statement). In AKB3CNDA0F/e1, lemma 3.12
History
- 2026-10-29: add by m2/v0.4.12
9MXVPC25SF 9MXVPC25SF
| URI | m2://inv/9MXVPC25SF |
|---|---|
| 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.16931#JUVZ (statement). In H7DMRWBBJN/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
9MXX0KYKZ0 9MXX0KYKZ0
| URI | m2://inv/9MXX0KYKZ0 |
|---|---|
| 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 2610.15169#RKFQ (statement). In V7SN19J84T/e1, theorem 5.17
History
- 2026-10-28: add by m2/v0.4.2
Jesse Douglas 9MXYNPQS5E
| URI | m2://inv/9MXYNPQS5E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#1EW3, Jesse Douglas (topic)
History
- 2026-11-02: add by m2/dev
9MY6V0DZVG 9MY6V0DZVG
| URI | m2://inv/9MY6V0DZVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.09812#LBSU (statement). In NWWKD8YX57/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
second-order logic 9MYF1ESQGK
| URI | m2://inv/9MYF1ESQGK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Second-order logic G6X7SZSNC5 |
Mentions
- wikidata: Wikidata Q1548746, second-order logic (unknown). Also nLab second-order logic
- wikipedia: Wikipedia Second-order logic, Second-order logic (definition). Also Wikidata Q1548746
History
- 2026-10-26: add by m2/dev
9MYFFVQYWF 9MYFFVQYWF
| URI | m2://inv/9MYFFVQYWF |
|---|---|
| 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 2606.16311#M9DK (statement). In 3G0HCK0DVA/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
9MYP4F6H91 9MYP4F6H91
| URI | m2://inv/9MYP4F6H91 |
|---|---|
| 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.16055#K8LS (statement). In 389BW42CTK/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
9MZATKV4EJ 9MZATKV4EJ
| URI | m2://inv/9MZATKV4EJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2509.04068#VSLK (statement). In Y7TVAQE9PF/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
9MZB64Q1GF 9MZB64Q1GF
| URI | m2://inv/9MZB64Q1GF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06541#N0HS (statement). In R604B78EVK/e1, corollary 3.15
History
- 2026-10-29: add by m2/v0.4.10
High-net-worth individual 9MZHW7MWVE
| URI | m2://inv/9MZHW7MWVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia High-net-worth individual, High-net-worth individual (definition). Also Wikidata Q2271714
History
- 2026-11-02: add by m2/dev
antisymmetric tensor 9MZPDEHEDJ
| URI | m2://inv/9MZPDEHEDJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1325769, antisymmetric tensor (unknown). Also MathWorld AntisymmetricTensor
- wikipedia: Wikipedia Antisymmetric tensor, Antisymmetric tensor (definition). Also Wikidata Q1325769
History
- 2026-10-26: add by m2/dev
Poisson derivation 9MZPYSGD8H
| URI | m2://inv/9MZPYSGD8H |
|---|---|
| Kind | definition |
| 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.08091#JK9C, Poisson derivation (definition). In MS13WE3CSD/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
9MZYK0MMB3 9MZYK0MMB3
| URI | m2://inv/9MZYK0MMB3 |
|---|---|
| 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.00770#1HRP (statement). In AYGRJSRG1M/e1, lemma
History
- 2026-10-29: add by m2/v0.4.12