Inventory rows 56
The cards of the rows of the inventory whose ids start with 56. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
560FV82GDM 560FV82GDM
| URI | m2://inv/560FV82GDM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01796#Q063 (statement). In JC3PAB5DRC/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.12
Definition 560KJYQT9Z
| URI | m2://inv/560KJYQT9Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latent Dirichlet allocation#LVYR, Definition (definition)
History
- 2026-11-02: add by m2/dev
UEFA Super Cup 560KQ8ZJZP
| URI | m2://inv/560KQ8ZJZP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Borussia Dortmund records and statistics#MXWW, UEFA Super Cup (unknown)
History
- 2026-11-02: add by m2/dev
560RSE9KZK 560RSE9KZK
| URI | m2://inv/560RSE9KZK |
|---|---|
| Kind | conjecture |
| 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.30648#L5YJ (conjecture). In 2P83KYQCMA/e1, conjecture 4
History
- 2026-10-31: add by m2/v0.5.6
function-derivative pair 560XV9S5PE
| URI | m2://inv/560XV9S5PE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/5.3.3/function-derivative-pair, function-derivative pair (concept). In 907G4C4EJ1, index, section 5.3.3
History
- 2026-11-01: add by m2/v0.6.13
5611KPCNRJ 5611KPCNRJ
| URI | m2://inv/5611KPCNRJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#definition-8 (definition). In RZP28ERRZV, definition, section 98.6
History
- 2026-11-01: add by m2/v0.6.13
56131MA32T 56131MA32T
| URI | m2://inv/56131MA32T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26713#JBYF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Subcontraction map 5613A60QKK
| URI | m2://inv/5613A60QKK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contraction mapping#05QC, Subcontraction map (unknown)
History
- 2026-11-02: add by m2/dev
561DJBRQDF 561DJBRQDF
| URI | m2://inv/561DJBRQDF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01433#5Z6D (statement). In 160PQ7F1AS/e1, corollary 3.14
History
- 2026-10-29: add by m2/v0.4.12
Ed Perkins 561MDWSPMJ
| URI | m2://inv/561MDWSPMJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ed Perkins, Ed Perkins (topic). Also Wikidata Q3736815
History
- 2026-11-02: add by m2/dev
Ernst Steinitz 561N28CQ1W
| URI | m2://inv/561N28CQ1W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#17DF, Ernst Steinitz (topic)
History
- 2026-11-02: add by m2/dev
Rybczynski theorem 561TTCY62C
| URI | m2://inv/561TTCY62C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#6GE8, Rybczynski theorem (statement)
History
- 2026-11-02: add by m2/dev
56200EJHH5 56200EJHH5
| URI | m2://inv/56200EJHH5 |
|---|---|
| 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.20316#G1BY (statement). In YRJS76169Z/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.4.2
Union-closed sets conjecture 5622MPHZVJ
| URI | m2://inv/5622MPHZVJ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#K50S, Union-closed sets conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
5625W7BPA7 5625W7BPA7
| URI | m2://inv/5625W7BPA7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#EXLZ (definition). In JS5FKV1S9T/e1, definition B.5
History
- 2026-10-27: add by m2/v0.3.5
Conditioning on the displacement 5628NPJCHF
| URI | m2://inv/5628NPJCHF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#M4LO, Conditioning on the displacement (statement). In ZZER8ZBSCR/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
Isoperimetric gap 562C49WNC9
| URI | m2://inv/562C49WNC9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#15PE, Isoperimetric gap (definition)
History
- 2026-11-02: add by m2/dev
562EEM7BYR 562EEM7BYR
| URI | m2://inv/562EEM7BYR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#QNLS (statement). In AGJE43FTF8/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.2
562W1TTD1G 562W1TTD1G
| URI | m2://inv/562W1TTD1G |
|---|---|
| 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 2609.31907#Y0JX (statement). In 6B2PCEGCYZ/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
Gysin long exact sequence 5633AAP84C
| URI | m2://inv/5633AAP84C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19251#ZXAL, Gysin long exact sequence (statement). In CSW6NG0FRN/e1, lemma 2.10
History
- 2026-10-28: add by m2/v0.4.2
5634DD2AR0 5634DD2AR0
| URI | m2://inv/5634DD2AR0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#prop-6 (statement). In E59CDZA4DP, prop, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
Two-point local spectrum 5634VQ8GQ9
| URI | m2://inv/5634VQ8GQ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04189#A6YI, Two-point local spectrum (statement). In 1KRZ5ACTKE/e1, theorem 5.5
History
- 2026-10-29: add by m2/v0.4.12
56361XJCS1 56361XJCS1
| URI | m2://inv/56361XJCS1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#MZTQ (statement). In X47RYAZF8P/e1, corollary 9.4
History
- 2026-10-28: add by m2/v0.4.2
Compactness results 5638QKPCDD
| URI | m2://inv/5638QKPCDD |
|---|---|
| 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.27414#VY3O, Compactness results (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ince equation 56398ZKTCS
| URI | m2://inv/56398ZKTCS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ince equation, Ince equation (definition). Also Wikidata Q6014229
History
- 2026-11-02: add by m2/dev
Nicholas Varopoulos 5639X8EEN9
| URI | m2://inv/5639X8EEN9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicholas Varopoulos, Nicholas Varopoulos (topic). Also Wikidata Q1258247
History
- 2026-11-02: add by m2/dev
563B0YPRFY 563B0YPRFY
| URI | m2://inv/563B0YPRFY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1912.02769#VAXE (definition). In JH7VQ2EC16/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Split form 563CZ4B28K
| URI | m2://inv/563CZ4B28K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real form (Lie theory)#YR5V, Split form (unknown)
History
- 2026-11-02: add by m2/dev
Stochastic volatility 563SF36R8W
| URI | m2://inv/563SF36R8W |
|---|---|
| Kind | example |
| 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.12873#FPIZ, Stochastic volatility (example). In 9MMD2N7DQ1/e1, example 2.3
History
- 2026-10-28: add by m2/v0.4.2
self-dual graph 563VP38X3C
| URI | m2://inv/563VP38X3C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115454, self-dual graph (unknown). Also MathWorld Self-DualGraph
History
- 2026-10-26: add by m2/dev
National Office of Statistics 5642DD58RW
| URI | m2://inv/5642DD58RW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Office of Statistics, National Office of Statistics (definition). Also Wikidata Q1753291
History
- 2026-11-02: add by m2/dev
linear logic 564A700RFT
| URI | m2://inv/564A700RFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Linear logic 2P2184B6HE |
Mentions
- wikidata: Wikidata Q841728, linear logic (unknown). Also nLab linear logic
- wikipedia: Wikipedia Linear logic, Linear logic (definition). Also Wikidata Q841728
History
- 2026-10-26: add by m2/dev
Randomized time-grid bound for at most $M$ updates 564ENCWD9B
| URI | m2://inv/564ENCWD9B |
|---|---|
| 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.05333#KO12, Randomized time-grid bound for at most $M$ updates (statement). In N37WKFTR7Q/e1, corollary G.6
History
- 2026-10-29: add by m2/v0.4.10
Endpoint Pucci maximum principle 564S2E6DY7
| URI | m2://inv/564S2E6DY7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19410#XNJL, Endpoint Pucci maximum principle (statement). In GRESY1RPK6/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
564VS4VZHX 564VS4VZHX
| URI | m2://inv/564VS4VZHX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#YT2B (statement). In 5KR3MHYVV6/e1, corollary 5.7
History
- 2026-10-28: add by m2/v0.4.2
564X04Y4G5 564X04Y4G5
| URI | m2://inv/564X04Y4G5 |
|---|---|
| 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#B5LS (statement). In 1PR73ECTZB/e1, proposition 18
History
- 2026-10-27: add by m2/v0.3.5
Jean Léonard Marie Poiseuille 5650HG4R4B
| URI | m2://inv/5650HG4R4B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q550943, Jean Léonard Marie Poiseuille (unknown). Also ProofWiki Mathematician:Jean_Léonard_Marie_Poiseuille
History
- 2026-10-26: add by m2/dev
Elsayed M. Abo-Dahab 5651J9XPBG
| URI | m2://inv/5651J9XPBG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elsayed M. Abo-Dahab, Elsayed M. Abo-Dahab (topic). Also Wikidata Q112709480
History
- 2026-11-02: add by m2/dev
565DKD0Q46 565DKD0Q46
| URI | m2://inv/565DKD0Q46 |
|---|---|
| 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 2609.23528#UQAW (statement)
History
- 2026-11-02: add by m2/v0.6.17
Cross entropy loss 565E0NC27V
| URI | m2://inv/565E0NC27V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-entropy#G0Z5, Cross entropy loss (unknown)
History
- 2026-11-02: add by m2/dev
Downgrade attack 565KF5MKDT
| URI | m2://inv/565KF5MKDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Downgrade attack, Downgrade attack (definition). Also Wikidata Q20707942
History
- 2026-11-02: add by m2/dev
56631Q6ADR 56631Q6ADR
| URI | m2://inv/56631Q6ADR |
|---|---|
| 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#LB4P (statement). In TXBXCPP0QH/e1, lemma 37
History
- 2026-10-29: add by m2/v0.4.10
Finland 566HKPJ9G7
| URI | m2://inv/566HKPJ9G7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q33, Finland (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Finland
History
- 2026-10-26: add by m2/dev
566HSCQ112 566HSCQ112
| URI | m2://inv/566HSCQ112 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polygonalization#SQWG (problem)
History
- 2026-11-02: add by m2/dev
566M4FDYY4 566M4FDYY4
| URI | m2://inv/566M4FDYY4 |
|---|---|
| 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#VT6S (statement). In B8MJT0GGW8/e1, proposition 2.6
History
- 2026-10-27: add by m2/v0.4.0
Ptak space 566PM7Q8F9
| URI | m2://inv/566PM7Q8F9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ptak space, Ptak space (definition). Also Wikidata Q96400395
History
- 2026-11-02: add by m2/dev
566YVKZNAM 566YVKZNAM
| URI | m2://inv/566YVKZNAM |
|---|---|
| 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 2610.14154#4HDR (definition). In 8X6PXX2TRA/e1, definition 11.1
History
- 2026-10-28: add by m2/v0.4.2
Josephine Jue 56700Q9ECK
| URI | m2://inv/56700Q9ECK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Josephine Jue, Josephine Jue (topic). Also Wikidata Q83802139
History
- 2026-11-02: add by m2/dev
5671Z63SFZ 5671Z63SFZ
| URI | m2://inv/5671Z63SFZ |
|---|---|
| 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 2610.05611#H1EQ (definition). In QDTX6NXFEB/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Extension of $\Op L$ and uniqueness of the native space 5676NV3GV9
| URI | m2://inv/5676NV3GV9 |
|---|---|
| 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.14906#A96F, Extension of $\Op L$ and uniqueness of the native space (statement). In 1F8ENX770M/e1, proposition 5.9
History
- 2026-10-28: add by m2/v0.4.2
rook's graph 567N6QXJMM
| URI | m2://inv/567N6QXJMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7366184, rook's graph (unknown). Also MathWorld RookGraph
- wikipedia: Wikipedia Rook's graph, Rook's graph (definition). Also Wikidata Q7366184
History
- 2026-10-26: add by m2/dev
5687GPN0GP 5687GPN0GP
| URI | m2://inv/5687GPN0GP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02669#TX1F (statement). In NSBSWH6XB4/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
Hao Huang 5687PMZSAC
| URI | m2://inv/5687PMZSAC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hao Huang (mathematician), Hao Huang (topic). Also Wikidata Q67864437
History
- 2026-11-02: add by m2/dev
568NVM90BR 568NVM90BR
| URI | m2://inv/568NVM90BR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#PPTP (statement). In PQHTR84RAJ/e1, proposition 3.17
History
- 2026-10-27: add by m2/v0.4.0
Donald J. Wheeler 568QZJ2F05
| URI | m2://inv/568QZJ2F05 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#RBUH, Donald J. Wheeler (unknown)
History
- 2026-11-02: add by m2/dev
rung independence 568T9ZNGHQ
| URI | m2://inv/568T9ZNGHQ |
|---|---|
| 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.00902#CZXC, rung independence (statement). In 1BYMXTH5MW/e1, lemma 9.2
History
- 2026-10-29: add by m2/v0.4.12
Dihedral symmetry in three dimensions 568Z73D8DM
| URI | m2://inv/568Z73D8DM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dihedral symmetry in three dimensions, Dihedral symmetry in three dimensions (definition). Also Wikidata Q5276399
History
- 2026-11-02: add by m2/dev
5692V7RW57 5692V7RW57
| URI | m2://inv/5692V7RW57 |
|---|---|
| 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.00259#23EQ (statement). In CFXW6Z78G0/e1, corollary 5.2
History
- 2026-10-30: add by m2/v0.4.12
Vincenzo Amato 5697NS1KSB
| URI | m2://inv/5697NS1KSB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vincenzo Amato (mathematician), Vincenzo Amato (topic). Also Wikidata Q4013081
History
- 2026-11-02: add by m2/dev
Egbert Brieskorn 569B3WEWGR
| URI | m2://inv/569B3WEWGR |
|---|---|
| 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#6HIL, Egbert Brieskorn (topic)
History
- 2026-11-02: add by m2/dev
569JXDJH0E 569JXDJH0E
| URI | m2://inv/569JXDJH0E |
|---|---|
| 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 2607.26169#VJQU (definition). In Q46QV3B0NF/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
569QT3PYCC 569QT3PYCC
| URI | m2://inv/569QT3PYCC |
|---|---|
| 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 1303.4328#TFLA (statement). In HCTYW6VH87/e1, lemma 8.15
History
- 2026-10-27: add by m2/v0.3.5
Thomas–Yau conjecture 569S2HTNH3
| URI | m2://inv/569S2HTNH3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry#0D8D, Thomas–Yau conjecture (definition)
History
- 2026-11-02: add by m2/dev
Primitive permutation group 56AFA4Y7M8
| URI | m2://inv/56AFA4Y7M8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#Z49M, Primitive permutation group (definition)
History
- 2026-11-02: add by m2/dev
56AGEG76CM 56AGEG76CM
| URI | m2://inv/56AGEG76CM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27886#GJWW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications 56AM0HTBNC
| URI | m2://inv/56AM0HTBNC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pairwise comparison (psychology)#3LC7, Applications (example)
History
- 2026-11-02: add by m2/dev
56ASTMK1Q3 56ASTMK1Q3
| URI | m2://inv/56ASTMK1Q3 |
|---|---|
| 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.03298#4LC0 (statement). In 9SBZP218SM/e1, corollary 5.5
History
- 2026-10-29: add by m2/v0.4.12
56AYNDG9C4 56AYNDG9C4
| URI | m2://inv/56AYNDG9C4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17875#8OJV (statement). In AQX7DGD360/e1, theorem 6.7
History
- 2026-10-28: add by m2/v0.4.2
56B0EZQ8RQ 56B0EZQ8RQ
| URI | m2://inv/56B0EZQ8RQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/sigma1-completeness.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 30.3
History
- 2026-11-01: add by m2/v0.6.13
56B6HHBZ19 56B6HHBZ19
| URI | m2://inv/56B6HHBZ19 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#PQ5B (definition). In V97F4YZ8B0/e1, definition 9.10
History
- 2026-10-28: add by m2/v0.4.2
56BJEJJSZX 56BJEJJSZX
| URI | m2://inv/56BJEJJSZX |
|---|---|
| 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.30730#QLE1 (statement). In 7R7ANDMWG4/e1, proposition 9.2
History
- 2026-10-31: add by m2/v0.5.6
56BP4QV68R 56BP4QV68R
| URI | m2://inv/56BP4QV68R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09565#1A1N (statement). In 7A5YZACF1E/e1, theorem 9
History
- 2026-10-29: add by m2/v0.4.10
polypent 56BPFK7EDX
| URI | m2://inv/56BPFK7EDX |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110151481, polypent (object). Also OEIS A103465
History
- 2026-10-26: add by m2/dev
56BRHRQRJV 56BRHRQRJV
| URI | m2://inv/56BRHRQRJV |
|---|---|
| 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.14838#HKOB (statement). In J7ZX3WWRQP/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Leon Trotsky 56BTKTNYET
| URI | m2://inv/56BTKTNYET |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#DUVJ, Leon Trotsky (unknown)
History
- 2026-11-02: add by m2/dev
56BY87FVVN 56BY87FVVN
| URI | m2://inv/56BY87FVVN |
|---|---|
| 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.25004#ZC5E (statement)
History
- 2026-11-01: add by m2/v0.6.15
56C8MXCP5J 56C8MXCP5J
| URI | m2://inv/56C8MXCP5J |
|---|---|
| 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.19311#IN1C (statement). In 3MFD6RSV41/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
56CP0CNQWV 56CP0CNQWV
| URI | m2://inv/56CP0CNQWV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13291#GOKN (statement). In D16PSAVVWV/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
56CPB6K1B8 56CPB6K1B8
| URI | m2://inv/56CPB6K1B8 |
|---|---|
| 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 2609.37124#0FUN (statement). In 2QF1YG9DD0/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
Commutative Simulation 56CRYDRJ67
| URI | m2://inv/56CRYDRJ67 |
|---|---|
| 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 math/0003117#E6OZ, Commutative Simulation (statement). In WD2NCBV9F0/e1, theorem 13
History
- 2026-10-27: add by m2/v0.3.5
Tangent-flow classification 56CW8G63J8
| URI | m2://inv/56CW8G63J8 |
|---|---|
| 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.09557#MDO0, Tangent-flow classification (statement). In VHC7FQVPCZ/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
56D2EHBJRE 56D2EHBJRE
| URI | m2://inv/56D2EHBJRE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#4U0T (statement). In Z7M2JSF6HA/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
56D7PZ373G 56D7PZ373G
| URI | m2://inv/56D7PZ373G |
|---|---|
| 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.12846#438V (statement). In GG9P59PJS2/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Simplicial complex recognition problem 56DCXMBGA1
| URI | m2://inv/56DCXMBGA1 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplicial complex recognition problem, Simplicial complex recognition problem (problem). Also Wikidata Q115804337
History
- 2026-11-02: add by m2/dev
56DGDBBA01 56DGDBBA01
| URI | m2://inv/56DGDBBA01 |
|---|---|
| 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.04730#B9SF (statement). In QHFP0837Q8/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.12
Gaussian bound 56DQCSFPXZ
| URI | m2://inv/56DQCSFPXZ |
|---|---|
| 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.35325#08UJ, Gaussian bound (statement). In GHT5WXFA4E/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
56EA5PBJMS 56EA5PBJMS
| URI | m2://inv/56EA5PBJMS |
|---|---|
| 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.31858#HA68 (statement). In QV16PHDXKJ/e1, proposition 3.3
History
- 2026-10-31: add by m2/v0.5.6
56ED86ZQPE 56ED86ZQPE
| URI | m2://inv/56ED86ZQPE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_intro-statements.ptx#example-8 (example). In Y91XFCEVHQ, example, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
56EHCANY6C 56EHCANY6C
| URI | m2://inv/56EHCANY6C |
|---|---|
| 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.38014#53Q6 (statement). In F3X5W4E0AJ/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
Ignoramus et ignorabimus 56EJ94ETXV
| URI | m2://inv/56EJ94ETXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ignoramus et ignorabimus, Ignoramus et ignorabimus (definition). Also Wikidata Q1542375
History
- 2026-11-02: add by m2/dev
Basic formulas 56EK2Q3VXA
| URI | m2://inv/56EK2Q3VXA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paraboloidal coordinates#8NGD, Basic formulas (statement)
History
- 2026-11-02: add by m2/dev
56ER73YM98 56ER73YM98
| URI | m2://inv/56ER73YM98 |
|---|---|
| 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.23006#NUBG (statement)
History
- 2026-11-02: add by m2/v0.6.17
56F2KK6604 56F2KK6604
| URI | m2://inv/56F2KK6604 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#TX72 (statement). In 6HJQXZS0A6/e1, lemma 3.21
History
- 2026-10-29: add by m2/v0.4.12
Intervals and equality under transport 56FCX1T5RZ
| URI | m2://inv/56FCX1T5RZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#SDO8, Intervals and equality under transport (statement). In TC5QA4AB4Z/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Fresnel integral 56FDR7JVWM
| URI | m2://inv/56FDR7JVWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Fresnel integrals D0TQ9F2ZDW |
Mentions
- wikidata: Wikidata Q580253, Fresnel integral (unknown). Also MathWorld FresnelIntegrals
- wikipedia: Wikipedia Fresnel integral, Fresnel integral (definition). Also Wikidata Q580253
History
- 2026-10-26: add by m2/dev
56FDXAZ3W5 56FDXAZ3W5
| URI | m2://inv/56FDXAZ3W5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2609.35102#BPRG (statement). In XK6H7F2F13/e1, lemma 4.12
History
- 2026-10-30: add by m2/v0.4.12
\emph{Principle of induction on !!{formula}s} 56FEHK5EP9
| URI | m2://inv/56FEHK5EP9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/preliminaries.tex#thm:induction, \emph{Principle of induction on !!{formula}s} (statement). In PKGMM3P5QY, thm, section 62.6
History
- 2026-11-01: add by m2/v0.6.13
56FEXCQ49R 56FEXCQ49R
| URI | m2://inv/56FEXCQ49R |
|---|---|
| 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.20401#U9GA (statement)
History
- 2026-11-02: add by m2/v0.6.18
Louis Poinsot 56FJCJ9YEA
| URI | m2://inv/56FJCJ9YEA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louis Poinsot, Louis Poinsot (topic). Also Wikidata Q382107
History
- 2026-11-02: add by m2/dev
Application 56FNF9QYJ4
| URI | m2://inv/56FNF9QYJ4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Directional-change intrinsic time#S2HK, Application (example)
History
- 2026-11-02: add by m2/dev
56FNH0MD4W 56FNH0MD4W
| URI | m2://inv/56FNH0MD4W |
|---|---|
| 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 2609.24374#5AYW (statement)
History
- 2026-11-01: add by m2/v0.6.15
56FNSE4YB0 56FNSE4YB0
| URI | m2://inv/56FNSE4YB0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/sigma1-completeness.tex#lem:atomic-completeness (statement). In PKGMM3P5QY, lem, section 30.3
History
- 2026-11-01: add by m2/v0.6.13
Gorenstein scheme 56FS4ZB6Q7
| URI | m2://inv/56FS4ZB6Q7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gorenstein scheme, Gorenstein scheme (definition). Also Wikidata Q25304340
History
- 2026-11-02: add by m2/dev
Word-representable graph 56GHT8D7GZ
| URI | m2://inv/56GHT8D7GZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#X9RS, Word-representable graph (definition)
History
- 2026-11-02: add by m2/dev
Definition 56GJ4010KC
| URI | m2://inv/56GJ4010KC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function (mathematics)#LEGP, Definition (definition)
History
- 2026-11-02: add by m2/dev
source 56GS9H3M7B
| URI | m2://inv/56GS9H3M7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#39NU, source (definition)
History
- 2026-11-02: add by m2/dev
Conjugacy-closed subgroup 56H3HBP4AQ
| URI | m2://inv/56H3HBP4AQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugacy-closed subgroup, Conjugacy-closed subgroup (definition). Also Wikidata Q5015126
History
- 2026-11-02: add by m2/dev
56H5PY488X 56H5PY488X
| URI | m2://inv/56H5PY488X |
|---|---|
| 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 2210.11778#70NN (statement). In PPAJZ2JBCE/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Nancy Leveson 56H6F1QJ23
| URI | m2://inv/56H6F1QJ23 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8R9M, Nancy Leveson (unknown)
History
- 2026-11-02: add by m2/dev
Other axioms 56HCW1C4H8
| URI | m2://inv/56HCW1C4H8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dutch book arguments#EG05, Other axioms (statement)
History
- 2026-11-02: add by m2/dev
Examples 56HGCPN2D8
| URI | m2://inv/56HGCPN2D8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent space#GGZD, Examples (example)
History
- 2026-11-02: add by m2/dev
Josef Lense 56HQGBNYZ2
| URI | m2://inv/56HQGBNYZ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#7DZH, Josef Lense (unknown)
History
- 2026-11-02: add by m2/dev
56HWVCQ788 56HWVCQ788
| URI | m2://inv/56HWVCQ788 |
|---|---|
| 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.20385#Q52Q (statement)
History
- 2026-11-02: add by m2/v0.6.18
56JC0GDA51 56JC0GDA51
| URI | m2://inv/56JC0GDA51 |
|---|---|
| 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 2609.34013#ZCE1 (statement). In 3TA3P3CWSJ/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
56JZFMDV7Q 56JZFMDV7Q
| URI | m2://inv/56JZFMDV7Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreInduction.tex#thm:n<2^n (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
Quotient by a reflexive subspace 56K0YV399G
| URI | m2://inv/56K0YV399G |
|---|---|
| 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.26984#75BT, Quotient by a reflexive subspace (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 56K9GSKWBD
| URI | m2://inv/56K9GSKWBD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solution set#Y0T1, Examples (example)
History
- 2026-11-02: add by m2/dev
Marjorie Lee Browne 56K9VC154E
| URI | m2://inv/56K9VC154E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#0Z7L, Marjorie Lee Browne (topic)
History
- 2026-11-02: add by m2/dev
continuous function 56KCEN37MP
| URI | m2://inv/56KCEN37MP |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 26A15 |
| Sources | 4 |
| Outcome | node (a node has the same name as the row) |
| Node | Continuous function 0P27W9RW0G |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > continuous function, continuous function (unknown). Also Mathlib Continuous
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Real-valued functions defined on a subset of $\R$ > continuity, continuity (unknown). Also Mathlib Continuous
- mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > continuous functions, continuous functions (unknown). Also Mathlib Continuous
- wikidata: Wikidata Q170058, continuous function (topic). Also EoM Continuous_function, Mathlib Continuous, MathWorld ContinuousFunction, MathWorld ContinuousMap, nLab continuous map
- wikipedia: Wikipedia Continuous function, Continuous function (definition). Also Wikidata Q170058
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
56KKH59S2Z 56KKH59S2Z
| URI | m2://inv/56KKH59S2Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13103#RSJI (statement). In GG2ZZV6KEQ/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
Full-batch max--sum dominated margin convergence 56KM4M2BCJ
| URI | m2://inv/56KM4M2BCJ |
|---|---|
| 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.11309#O433, Full-batch max--sum dominated margin convergence (statement). In TTEAQA1XXR/e1, theorem B.6
History
- 2026-10-28: add by m2/v0.4.3
Cyclic hexagon 56KV4RMQ46
| URI | m2://inv/56KV4RMQ46 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexagon#1V2N, Cyclic hexagon (unknown)
History
- 2026-11-02: add by m2/dev
Vaughan Pratt 56KVWMCV70
| URI | m2://inv/56KVWMCV70 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UJE0, Vaughan Pratt (unknown)
History
- 2026-11-02: add by m2/dev
Constant step size 56KZMT9SA8
| URI | m2://inv/56KZMT9SA8 |
|---|---|
| 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.14988#BP49, Constant step size (statement). In B29M4E6KGC/e1, corollary H.2
History
- 2026-10-28: add by m2/v0.4.2
56M4CK824Y 56M4CK824Y
| URI | m2://inv/56M4CK824Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17139#SBO1 (statement). In AQWX60Z563/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
Theorem 56M5FEVAKE
| URI | m2://inv/56M5FEVAKE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl algebra#SN9F, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Overfull conjecture 56MBBT3VYE
| URI | m2://inv/56MBBT3VYE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overfull graph#7O2K, Overfull conjecture (statement)
History
- 2026-11-02: add by m2/dev
Sequential quadratic programming 56MQJ04K56
| URI | m2://inv/56MQJ04K56 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequential quadratic programming, Sequential quadratic programming (definition). Also Wikidata Q4373881
History
- 2026-11-02: add by m2/dev
Ten Thousand Islands 56MVHZRFYD
| URI | m2://inv/56MVHZRFYD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#ENEF, Ten Thousand Islands (unknown)
History
- 2026-11-02: add by m2/dev
56MYQTG3X1 56MYQTG3X1
| URI | m2://inv/56MYQTG3X1 |
|---|---|
| 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.28297#SKYH (definition)
History
- 2026-11-01: add by m2/v0.6.15
Francisco Santos 56N9PKTJ4D
| URI | m2://inv/56N9PKTJ4D |
|---|---|
| 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#RZXB, Francisco Santos (topic)
History
- 2026-11-02: add by m2/dev
56NSD6WEDB 56NSD6WEDB
| URI | m2://inv/56NSD6WEDB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dets.tex#definition-2 (definition). In RZP28ERRZV, definition, section 56.1
History
- 2026-11-01: add by m2/v0.6.13
56NX0513Y1 56NX0513Y1
| URI | m2://inv/56NX0513Y1 |
|---|---|
| Kind | definition |
| 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.19300#5TWM (definition). In S6S4RD5VXJ/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
second Blanuša snark 56NZZ68742
| URI | m2://inv/56NZZ68742 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17174962, second Blanuša snark (unknown). Also House of Graphs 2760
History
- 2026-10-26: add by m2/dev
56PG9RMDWT 56PG9RMDWT
| URI | m2://inv/56PG9RMDWT |
|---|---|
| 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.12857#JTEU (statement). In XJWQ6Y83F8/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
56PGNQA6ME 56PGNQA6ME
| URI | m2://inv/56PGNQA6ME |
|---|---|
| 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.15700#OV3P (statement). In S95MSZ7MDR/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Atan2 56PGQR4J1G
| URI | m2://inv/56PGQR4J1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atan2, Atan2 (definition). Also Wikidata Q776598
History
- 2026-11-02: add by m2/dev
Law of total expectation 56PJTS1FBW
| URI | m2://inv/56PJTS1FBW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of total expectation, Law of total expectation (statement). Also Wikidata Q2247110
History
- 2026-11-02: add by m2/dev
Popov criterion 56PT5XMEEF
| URI | m2://inv/56PT5XMEEF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Popov criterion, Popov criterion (statement). Also Wikidata Q4241326
History
- 2026-11-02: add by m2/dev
compound of three octahedra 56PVHGHWS3
| URI | m2://inv/56PVHGHWS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5156894, compound of three octahedra (unknown). Also MathWorld Octahedron3-Compound
- wikipedia: Wikipedia Compound of three octahedra, Compound of three octahedra (definition). Also Wikidata Q5156894
History
- 2026-10-26: add by m2/dev
geometry, synthetic 56Q2PWSD1M
| URI | m2://inv/56Q2PWSD1M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1/geometry-synthetic, geometry, synthetic (concept). In N54F33XE07, index, section 1
History
- 2026-11-01: add by m2/v0.6.13
Robertson graph 56QAHY0H21
| URI | m2://inv/56QAHY0H21 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115531, Robertson graph (unknown). Also House of Graphs 1288, MathWorld RobertsonGraph
- wikipedia: Wikipedia Robertson graph, Robertson graph (definition). Also Wikidata Q3115531
History
- 2026-10-26: add by m2/dev
Finite set 56QE3EWTCM
| URI | m2://inv/56QE3EWTCM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of forcing notions#HX6E, Finite set (definition)
History
- 2026-11-02: add by m2/dev
Rate five halves 56QEN7BSBW
| URI | m2://inv/56QEN7BSBW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.37368#WPDN, Rate five halves (statement). In FRMCKEGVJZ/e1, theorem 8
History
- 2026-10-30: add by m2/v0.4.12
Characterizations 56QH0Y0E5T
| URI | m2://inv/56QH0Y0E5T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet–Urysohn space#UCHO, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
56QHSFY47Z 56QHSFY47Z
| URI | m2://inv/56QHSFY47Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03449#E1TD (statement). In 3XM05SYQ8D/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.12
class limit 56QPYP3MMN
| URI | m2://inv/56QPYP3MMN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q112913401, class limit (concept). Also MathWorld ClassLimits
History
- 2026-10-26: add by m2/dev
56QR1B5BAK 56QR1B5BAK
| URI | m2://inv/56QR1B5BAK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#cor-1 (statement). In E59CDZA4DP, cor, section 11.4.1
History
- 2026-11-01: add by m2/v0.6.13
Special case of Proposition 2.4 56QSBKNEY9
| URI | m2://inv/56QSBKNEY9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22218#V1BU, Special case of Proposition 2.4 (statement). In 338GKREFVP/e1, lemma 26
History
- 2026-10-27: add by m2/v0.4.0
John B. Cosgrave 56R2YX9065
| URI | m2://inv/56R2YX9065 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John B. Cosgrave, John B. Cosgrave (topic). Also Wikidata Q6219897
History
- 2026-11-02: add by m2/dev
56R4S7Y7V6 56R4S7Y7V6
| URI | m2://inv/56R4S7Y7V6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.29838#G80W (statement). In KP0X1RKKKB/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.4.0
Associated Legendre function of the second kind 56R8ZWHXPF
| URI | m2://inv/56R8ZWHXPF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre function#XZNQ, Associated Legendre function of the second kind (unknown)
History
- 2026-11-02: add by m2/dev
56RARC9WK3 56RARC9WK3
| URI | m2://inv/56RARC9WK3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/free-variables.tex#lem:fv (statement). In PKGMM3P5QY, lem, section 38.14
History
- 2026-11-01: add by m2/v0.6.13
Approximate entropy 56RCBE6H58
| URI | m2://inv/56RCBE6H58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7FZ7, Approximate entropy (definition)
History
- 2026-11-02: add by m2/dev
$(\ell, s, B)$-Sequential Sampling Algorithm 56RJGYMTCK
| URI | m2://inv/56RJGYMTCK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14615#YKCX, $(\ell, s, B)$-Sequential Sampling Algorithm (definition). In 7D5MMP8XB5/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Example: $d=3$ with finite Blaschke products 56RKBE2FZP
| URI | m2://inv/56RKBE2FZP |
|---|---|
| Kind | example |
| 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.02692#J0ME, Example: $d=3$ with finite Blaschke products (example). In P482WJSQSN/e1, example 3.6
History
- 2026-10-29: add by m2/v0.4.12
56RPTY0WA6 56RPTY0WA6
| URI | m2://inv/56RPTY0WA6 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amicable numbers#ML11 (problem)
History
- 2026-11-02: add by m2/dev
Bellman equation 56RS8BQ6HK
| URI | m2://inv/56RS8BQ6HK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bellman equation, Bellman equation (definition). Also Wikidata Q1430750
History
- 2026-11-02: add by m2/dev
Notation 56RT1YJX7N
| URI | m2://inv/56RT1YJX7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Summation#1HHY, Notation (definition)
History
- 2026-11-02: add by m2/dev
56RZCW7H29 56RZCW7H29
| URI | m2://inv/56RZCW7H29 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27931#03EN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nonzero rationals 56S7DRMPG4
| URI | m2://inv/56S7DRMPG4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#example-2, Nonzero rationals (example). In RZP28ERRZV, example, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Simplicial volume 56S8VSXG1R
| URI | m2://inv/56S8VSXG1R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplicial volume, Simplicial volume (definition). Also Wikidata Q4419838
History
- 2026-11-02: add by m2/dev
56SAFVVHAY 56SAFVVHAY
| URI | m2://inv/56SAFVVHAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#207X (statement). In VNE8N0D2FB/e1, lemma 1.6
History
- 2026-10-31: add by m2/v0.5.6
56SMPGD1FK 56SMPGD1FK
| URI | m2://inv/56SMPGD1FK |
|---|---|
| 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.25255#PIYJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
56SSPEWNQC 56SSPEWNQC
| URI | m2://inv/56SSPEWNQC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#OV0B (statement)
History
- 2026-11-01: add by m2/v0.6.15
quaternionic 56STM7AHFG
| URI | m2://inv/56STM7AHFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#AIJC, quaternionic (definition)
History
- 2026-11-02: add by m2/dev
Uniform horospherical approximation 56T0HH27YZ
| URI | m2://inv/56T0HH27YZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27752#7JXV, Uniform horospherical approximation (statement)
History
- 2026-11-01: add by m2/v0.6.15
56T7JGG3QC 56T7JGG3QC
| URI | m2://inv/56T7JGG3QC |
|---|---|
| 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.25973#87T2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gravity 56TA9KBFZ8
| URI | m2://inv/56TA9KBFZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gravity (alcoholic beverage), Gravity (definition). Also Wikidata Q38635
History
- 2026-11-02: add by m2/dev
Uniqueness of Arthur rows 56TEGVVFWJ
| URI | m2://inv/56TEGVVFWJ |
|---|---|
| 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#RJQF, Uniqueness of Arthur rows (statement). In H7DMRWBBJN/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.2
q-Beta function 56TGYMAXTM
| URI | m2://inv/56TGYMAXTM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q24837857, q-Beta function (unknown). Also MathWorld q-BetaFunction
History
- 2026-10-26: add by m2/dev
well-equipped 56THV9219K
| URI | m2://inv/56THV9219K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2405.14678#BHHU, well-equipped (definition). In 9ZSNSJRJ5N/e1, definition 21
History
- 2026-10-27: add by m2/v0.4.2
56TM4HPC93 56TM4HPC93
| URI | m2://inv/56TM4HPC93 |
|---|---|
| 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#8J5A (definition). In 9GMTVSTAVN/e1, definition 6.11
History
- 2026-10-27: add by m2/v0.3.5
56TN5TP639 56TN5TP639
| URI | m2://inv/56TN5TP639 |
|---|---|
| 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 2207.07461#NS05 (statement). In GAG532VMPF/e1, lemma 3.3.6
History
- 2026-10-27: add by m2/v0.3.5
56TP3BBACW 56TP3BBACW
| URI | m2://inv/56TP3BBACW |
|---|---|
| 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.20991#8NK5 (statement). In H98ZC5YBSD/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.4.2
56TP8B6XW8 56TP8B6XW8
| URI | m2://inv/56TP8B6XW8 |
|---|---|
| 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 0810.0962#3CHB (statement). In 80YMRN5KS9/e1, proposition 12
History
- 2026-10-27: add by m2/v0.3.5
56TTF2VGEY 56TTF2VGEY
| URI | m2://inv/56TTF2VGEY |
|---|---|
| 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 2109.08858#RESW (statement). In E6795TKR6R/e1, corollary 8
History
- 2026-10-27: add by m2/v0.3.5
Pilish 56V0FNRJ7N
| URI | m2://inv/56V0FNRJ7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pilish, Pilish (definition). Also Wikidata Q17078151
History
- 2026-11-02: add by m2/dev
Owen Gwilliam 56V0WQQT9E
| URI | m2://inv/56V0WQQT9E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q102421346, Owen Gwilliam (unknown). Also nLab Owen Gwilliam
History
- 2026-10-26: add by m2/dev
Properties 56V3PAF2W6
| URI | m2://inv/56V3PAF2W6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie group action#JGF4, Properties (statement)
History
- 2026-11-02: add by m2/dev
Hans G. Kaper 56V5DVMZ95
| URI | m2://inv/56V5DVMZ95 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans G. Kaper, Hans G. Kaper (topic). Also Wikidata Q19665838
History
- 2026-11-02: add by m2/dev
Laplace operator 56VD0HE0E3
| URI | m2://inv/56VD0HE0E3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Laplacian 0E0B6RA8K0 |
Mentions
- wikidata: Wikidata Q203484, Laplace operator (concept). Also EoM Laplace_operator, Mathlib InnerProductSpace.laplacianWithin, MathWorld Laplacian, nLab Laplace operator, ProofWiki Definition:Laplacian
- wikipedia: Wikipedia Laplace operator, Laplace operator (definition). Also Wikidata Q203484
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
56VE777X19 56VE777X19
| URI | m2://inv/56VE777X19 |
|---|---|
| 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 2610.16267#ZJKD (statement). In 65GKPZ15VH/e1, theorem 3.24
History
- 2026-10-28: add by m2/v0.4.2
56VK6YYTKY 56VK6YYTKY
| URI | m2://inv/56VK6YYTKY |
|---|---|
| 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.27699#9DSX (statement)
History
- 2026-11-01: add by m2/v0.6.15
balanced 56VM0C0AJA
| URI | m2://inv/56VM0C0AJA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#HBAS, balanced (definition)
History
- 2026-11-02: add by m2/dev
Gao, Jackson, Krohne and Seward 56VPRN17Q5
| URI | m2://inv/56VPRN17Q5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39824#HQPX, Gao, Jackson, Krohne and Seward (statement). In REPGS464V6/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
O'Nan moonshine 56W9VZQF0T
| URI | m2://inv/56W9VZQF0T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia O'Nan group#RIKW, O'Nan moonshine (unknown)
History
- 2026-11-02: add by m2/dev
Mahler 56WX78R0BX
| URI | m2://inv/56WX78R0BX |
|---|---|
| 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 2609.28141#8LUK, Mahler (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 56X2T38YP0
| URI | m2://inv/56X2T38YP0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Highly structured ring spectrum#TV1E, Examples (example)
History
- 2026-11-02: add by m2/dev
Parsing formulas 56X4XSAQ58
| URI | m2://inv/56X4XSAQ58 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional formula#UI5P, Parsing formulas (statement)
History
- 2026-11-02: add by m2/dev
Conversion tracking 56XAKWE5PT
| URI | m2://inv/56XAKWE5PT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conversion tracking, Conversion tracking (definition). Also Wikidata Q1129450
History
- 2026-11-02: add by m2/dev
Two-point inequality 56XE5CYJTD
| URI | m2://inv/56XE5CYJTD |
|---|---|
| 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.26984#FEQN, Two-point inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
Monica Vișan 56XR3HGSWK
| URI | m2://inv/56XR3HGSWK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monica Vișan, Monica Vișan (topic). Also Wikidata Q56746535
History
- 2026-11-02: add by m2/dev
$p$-test 56XX1Z6GW2
| URI | m2://inv/56XX1Z6GW2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.5.5/p-test, $p$-test (concept). In E59CDZA4DP, index, section 10.5.5
History
- 2026-11-01: add by m2/v0.6.13
Numberphile 56Y2YTDY5R
| URI | m2://inv/56Y2YTDY5R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numberphile, Numberphile (definition). Also Wikidata Q55100562
History
- 2026-11-02: add by m2/dev
56Y3MF9C8A 56Y3MF9C8A
| URI | m2://inv/56Y3MF9C8A |
|---|---|
| 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 2510.12502#6SRF (statement). In 3A4K47Y9F2/e1, lemma 7.4
History
- 2026-10-27: add by m2/v0.4.0
Diagrammatic bound on the NoBLE coefficients 56Y7T78Z9F
| URI | m2://inv/56Y7T78Z9F |
|---|---|
| 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 1905.02785#UEYG, Diagrammatic bound on the NoBLE coefficients (statement). In PF9KV74Q02/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Properties 56YJN1WCZH
| URI | m2://inv/56YJN1WCZH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tutte polynomial#HPL5, Properties (statement)
History
- 2026-11-02: add by m2/dev
56YM3XPRDX 56YM3XPRDX
| URI | m2://inv/56YM3XPRDX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-nd.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 27.7
History
- 2026-11-01: add by m2/v0.6.13
\autocite[\Thm B]{JohanPMT 56YXBEHMPE
| URI | m2://inv/56YXBEHMPE |
|---|---|
| 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.32383#BZ2D, \autocite[\Thm B]{JohanPMT (statement). In 94GZYA55Q5/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
Constance Vella 56YXH01DKX
| URI | m2://inv/56YXH01DKX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constance Vella, Constance Vella (topic). Also Wikidata Q5163590
History
- 2026-11-02: add by m2/dev
56YYEGGKGM 56YYEGGKGM
| URI | m2://inv/56YYEGGKGM |
|---|---|
| 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 2510.12502#OJXC (statement). In 3A4K47Y9F2/e1, lemma 2.53
History
- 2026-10-27: add by m2/v0.4.0
Second proof 56Z4TPGSQS
| URI | m2://inv/56Z4TPGSQS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-2, Second proof (proof). In N54F33XE07, proof, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Boolean independence 56Z8H4B4NX
| URI | m2://inv/56Z8H4B4NX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#8U7Y, Boolean independence (example). In 7V3HG30ZGW/e1, example 4.6
History
- 2026-10-27: add by m2/v0.4.0
56Z9MV7F6V 56Z9MV7F6V
| URI | m2://inv/56Z9MV7F6V |
|---|---|
| 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.12740#VRKO (statement). In HKYRZSZPEC/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Natural proof 56ZA5AK3PW
| URI | m2://inv/56ZA5AK3PW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#H4WZ, Natural proof (definition)
- wikipedia: Wikipedia List of computability and complexity topics#1PSK, Natural proof (definition)
History
- 2026-11-02: add by m2/dev
Linear syzygies of a singular pencil 56ZF4K461Q
| URI | m2://inv/56ZF4K461Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#R9RK, Linear syzygies of a singular pencil (statement)
History
- 2026-11-01: add by m2/v0.6.15
56ZMD407JK 56ZMD407JK
| URI | m2://inv/56ZMD407JK |
|---|---|
| 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.21655#SXBY (statement). In 3Q0387SH7Q/e1, lemma 5
History
- 2026-10-27: add by m2/v0.4.2
56ZNN6WG3W 56ZNN6WG3W
| URI | m2://inv/56ZNN6WG3W |
|---|---|
| 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.03255#PG07 (definition). In DCC0Y18670/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.12
56ZPGX9VM7 56ZPGX9VM7
| URI | m2://inv/56ZPGX9VM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/stokes.tex#definition-3 (definition). In RZP28ERRZV, definition, section 46.3
History
- 2026-11-01: add by m2/v0.6.13
Generalizations 56ZSQZSQ8G
| URI | m2://inv/56ZSQZSQ8G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volume of an n-ball#F4QQ, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Random effects model 56ZTMAY3MV
| URI | m2://inv/56ZTMAY3MV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0QSL, Random effects model (definition)
History
- 2026-11-02: add by m2/dev
Progression-to-Bohr estimate 56ZVGPRSBZ
| URI | m2://inv/56ZVGPRSBZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11965#TKQK, Progression-to-Bohr estimate (statement). In 48QX0QD0XR/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.3