Inventory rows G1
The cards of the rows of the inventory whose ids start with G1. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Delaunay tessellation field estimator G106SGD3A4
| URI | m2://inv/G106SGD3A4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delaunay tessellation field estimator, Delaunay tessellation field estimator (definition). Also Wikidata Q5253187
History
- 2026-11-02: add by m2/dev
G10GVBXR0S G10GVBXR0S
| URI | m2://inv/G10GVBXR0S |
|---|---|
| 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.39274#0TJQ (statement). In HVC7RVEM6V/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
G10JN2V1H4 G10JN2V1H4
| URI | m2://inv/G10JN2V1H4 |
|---|---|
| Kind | definition |
| 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.02901#FVM8 (definition). In NSP90G5XCQ/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.12
Richard Milton Martin G10MMQD66Y
| URI | m2://inv/G10MMQD66Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Milton Martin, Richard Milton Martin (topic). Also Wikidata Q7327829
History
- 2026-11-02: add by m2/dev
Applications G10R3SA174
| URI | m2://inv/G10R3SA174 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ind-completion#1CCU, Applications (example)
History
- 2026-11-02: add by m2/dev
Proof: first part. G10S12WTEJ
| URI | m2://inv/G10S12WTEJ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/history/set-theory/cantor-plane.tex#proof-1, Proof: first part. (proof). In PKGMM3P5QY, proof, section 25.8
History
- 2026-11-01: add by m2/v0.6.13
Uniform star polyhedron G10VKBJR68
| URI | m2://inv/G10VKBJR68 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform star polyhedron, Uniform star polyhedron (object). Also Wikidata Q2878957
History
- 2026-11-02: add by m2/dev
G10VPY9HDV G10VPY9HDV
| URI | m2://inv/G10VPY9HDV |
|---|---|
| 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 2610.18544#1EBZ (statement). In HT5MC1SPD9/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
G10ZS4XBRH G10ZS4XBRH
| URI | m2://inv/G10ZS4XBRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12831#FOA3 (statement). In 7ZBQ8WGQVB/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Supporting line G1120W8R3G
| URI | m2://inv/G1120W8R3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supporting line, Supporting line (definition). Also Wikidata Q7644623
History
- 2026-11-02: add by m2/dev
Sociedade Brasileira de Matemática Aplicada e Computacional G112X3W899
| URI | m2://inv/G112X3W899 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sociedade Brasileira de Matemática Aplicada e Computacional, Sociedade Brasileira de Matemática Aplicada e Computacional (definition). Also Wikidata Q2017416
History
- 2026-11-02: add by m2/dev
G116PC3HSK G116PC3HSK
| URI | m2://inv/G116PC3HSK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-3 (exercise). In E59CDZA4DP, exercise, section 5.1.6
History
- 2026-11-01: add by m2/v0.6.13
Eighth moment G118Y4V1NG
| URI | m2://inv/G118Y4V1NG |
|---|---|
| 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 2610.14373#JNB8, Eighth moment (statement). In 77TK7M3B9Y/e1, theorem 6
History
- 2026-10-28: add by m2/v0.4.2
G119JJ21NC G119JJ21NC
| URI | m2://inv/G119JJ21NC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#L046 (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
G11EH3SWHP G11EH3SWHP
| URI | m2://inv/G11EH3SWHP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2012.11507#SLBE (statement). In DZA5P853H9/e1, corollary 3
History
- 2026-10-27: add by m2/v0.3.5
Vertex expansion G11F8G3P49
| URI | m2://inv/G11F8G3P49 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expander graph#1OKR, Vertex expansion (unknown)
History
- 2026-11-02: add by m2/dev
G11JRSXSEG G11JRSXSEG
| URI | m2://inv/G11JRSXSEG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38323#EJBX (statement). In MER0S03A77/e1, corollary B
History
- 2026-10-30: add by m2/v0.4.12
G11NKNNQ7V G11NKNNQ7V
| URI | m2://inv/G11NKNNQ7V |
|---|---|
| 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 2404.18690#LABN (statement). In MDCJJJRQ2X/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
group automorphism G11QGCBKAV
| URI | m2://inv/G11QGCBKAV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 12397) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#FD9A, group automorphism (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
big G11R51YC48
| URI | m2://inv/G11R51YC48 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#XUKP, big (definition)
History
- 2026-11-02: add by m2/dev
G11VCEE5YX G11VCEE5YX
| URI | m2://inv/G11VCEE5YX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38970#J6ZD (statement). In VE6WBAMDSA/e1, corollary 4.2
History
- 2026-10-30: add by m2/v0.4.12
G11WCFFJ33 G11WCFFJ33
| URI | m2://inv/G11WCFFJ33 |
|---|---|
| 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.17518#1F3Q (statement). In YA4JEWTVS4/e1, proposition 5.4
History
- 2026-10-28: add by m2/v0.4.2
Functional Central Limit Theorem G122CJ7DVW
| URI | m2://inv/G122CJ7DVW |
|---|---|
| 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.21258#876O, Functional Central Limit Theorem (statement). In PN98BKSKZP/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
Instant centre of rotation G1272NCNFF
| URI | m2://inv/G1272NCNFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Instant centre of rotation, Instant centre of rotation (definition). Also Wikidata Q1429043
History
- 2026-11-02: add by m2/dev
No-local-broadcasting theorem G12B7HY8ZC
| URI | m2://inv/G12B7HY8ZC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia No-broadcasting theorem#F86N, No-local-broadcasting theorem (statement)
History
- 2026-11-02: add by m2/dev
G12FKEGWHP G12FKEGWHP
| URI | m2://inv/G12FKEGWHP |
|---|---|
| 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.12047#6UJP (statement). In ZF1Y3HZMZ9/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.3
A colored Euler criterion G12M7416N1
| URI | m2://inv/G12M7416N1 |
|---|---|
| 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.12014#OIMG, A colored Euler criterion (statement). In DR7BK4CQ0V/e1, theorem 3.20
History
- 2026-10-28: add by m2/v0.4.3
G12MB7SVRA G12MB7SVRA
| URI | m2://inv/G12MB7SVRA |
|---|---|
| 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.24580#WI95 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dense multilinear varieties contain low codimensional varieties, Theorem 2 G12MX4ZDX0
| URI | m2://inv/G12MX4ZDX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33733#7U7O, Dense multilinear varieties contain low codimensional varieties, Theorem 2 (statement). In QBAP8C82FG/e1, theorem 12
History
- 2026-10-30: add by m2/v0.4.12
Joseph Keller G12SR1269K
| URI | m2://inv/G12SR1269K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9FPY, Joseph Keller (topic)
History
- 2026-11-02: add by m2/dev
G12VZ4FSY8 G12VZ4FSY8
| URI | m2://inv/G12VZ4FSY8 |
|---|---|
| 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.31127#LXR8 (statement). In NS3RZ26JC7/e1, lemma 2
History
- 2026-10-31: add by m2/v0.5.6
G12W51996C G12W51996C
| URI | m2://inv/G12W51996C |
|---|---|
| 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.05582#3ABR (statement). In 9X4TANWWWR/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Centred cone transfer G130DHX181
| URI | m2://inv/G130DHX181 |
|---|---|
| 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.18214#OWJP, Centred cone transfer (statement). In S4NXHVGB0Q/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
Ising pair ratio G132WGP4V5
| URI | m2://inv/G132WGP4V5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#6OTV, Ising pair ratio (statement)
History
- 2026-11-02: add by m2/v0.6.17
Odd number theorem G137BR51FT
| URI | m2://inv/G137BR51FT |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q280116, Odd number theorem (statement). Also Wikidata Q280116
- thousand_plus: thousand_plus Q280116, Odd number theorem (statement). Also Wikidata Q280116, Wikipedia Odd number theorem
- wikipedia: Wikipedia Odd number theorem, Odd number theorem (statement). Also Wikidata Q280116
History
- 2026-10-26: add by m2/dev
Examples G13BEJ0B3E
| URI | m2://inv/G13BEJ0B3E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivariant topology#B95F, Examples (example)
History
- 2026-11-02: add by m2/dev
perfect G13C3HF9GD
| URI | m2://inv/G13C3HF9GD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#5NP6, perfect (definition)
History
- 2026-11-02: add by m2/dev
G13E4RSXR9 G13E4RSXR9
| URI | m2://inv/G13E4RSXR9 |
|---|---|
| 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#8WW7 (statement). In 3G0HCK0DVA/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
G13EFZ05MZ G13EFZ05MZ
| URI | m2://inv/G13EFZ05MZ |
|---|---|
| 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#D40B (statement). In J7ZX3WWRQP/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Implementations G13FG5ZTXF
| URI | m2://inv/G13FG5ZTXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SQIsign#P1TU, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Twin paradox G13S0EP5E3
| URI | m2://inv/G13S0EP5E3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spacetime#29DL, Twin paradox (statement)
History
- 2026-11-02: add by m2/dev
G1429YFD7B G1429YFD7B
| URI | m2://inv/G1429YFD7B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.08074#G4IL (statement). In ZRPYF750AV/e1, lemma 7.5
History
- 2026-10-29: add by m2/v0.4.10
G14CSP2FDM G14CSP2FDM
| URI | m2://inv/G14CSP2FDM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#prop:derzeroconst (statement). In E59CDZA4DP, prop, section 3.2.4
History
- 2026-11-01: add by m2/v0.6.13
rank statistic G14DY92W4V
| URI | m2://inv/G14DY92W4V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q64767753, rank statistic (concept). Also EoM Rank_statistic
History
- 2026-10-26: add by m2/dev
Marie Françoise Ouedraogo G14QAE6GQJ
| URI | m2://inv/G14QAE6GQJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marie Françoise Ouedraogo, Marie Françoise Ouedraogo (topic). Also Wikidata Q12894109
History
- 2026-11-02: add by m2/dev
Product rule G14SD2ZKTT
| URI | m2://inv/G14SD2ZKTT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#prop-3, Product rule (statement). In E59CDZA4DP, prop, section 3.1.1
History
- 2026-11-01: add by m2/v0.6.13
Conservation of energy G14V9KENH2
| URI | m2://inv/G14V9KENH2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fluid dynamics#54TD, Conservation of energy (definition)
History
- 2026-11-02: add by m2/dev
Exact \ac{pmf} via Convolution G150XEBQX3
| URI | m2://inv/G150XEBQX3 |
|---|---|
| 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.09998#HONJ, Exact \ac{pmf} via Convolution (statement). In AFMB05H7A6/e1, proposition 8
History
- 2026-10-29: add by m2/v0.4.10
additive G151XK495A
| URI | m2://inv/G151XK495A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#LADJ, additive (definition)
History
- 2026-11-02: add by m2/dev
Arnold Möller G15307NS06
| URI | m2://inv/G15307NS06 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#TE54, Arnold Möller (unknown)
History
- 2026-11-02: add by m2/dev
G15756V4VB G15756V4VB
| URI | m2://inv/G15756V4VB |
|---|---|
| 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.17698#10QC (statement). In DAH99JEYHF/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Corollary G15K6CC3CP
| URI | m2://inv/G15K6CC3CP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hairy ball theorem#SMB9, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Lower bound on the class with bounded initial optimality gap G15PPDJDGH
| URI | m2://inv/G15PPDJDGH |
|---|---|
| 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.21461#DROP, Lower bound on the class with bounded initial optimality gap (statement). In DWQANBV7B7/e1, theorem B.3
History
- 2026-10-27: add by m2/v0.4.2
Definitions G15RP2SVX4
| URI | m2://inv/G15RP2SVX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dade isometry#8C1N, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Images of bounded components G16DBQR0RP
| URI | m2://inv/G16DBQR0RP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30103#618I, Images of bounded components (statement)
History
- 2026-11-01: add by m2/v0.6.15
G16FHGZARP G16FHGZARP
| URI | m2://inv/G16FHGZARP |
|---|---|
| Kind | example |
| 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#1PBG (example). In M4ZVJWM8YA/e1, example 5.35
History
- 2026-10-27: add by m2/v0.4.2
Integrator G16HDM2Y81
| URI | m2://inv/G16HDM2Y81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integrator, Integrator (definition). Also Wikidata Q2081431
History
- 2026-11-02: add by m2/dev
General definition G16PKC5YZ2
| URI | m2://inv/G16PKC5YZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root of unity#5XUD, General definition (definition)
History
- 2026-11-02: add by m2/dev
Stephen Fienberg G16QH4TCR2
| URI | m2://inv/G16QH4TCR2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#IMKQ, Stephen Fienberg (topic)
History
- 2026-11-02: add by m2/dev
G16YRJW971 G16YRJW971
| URI | m2://inv/G16YRJW971 |
|---|---|
| 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.16941#GAPB (statement). In T96MPYB0KT/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
G16ZF8Z57V G16ZF8Z57V
| URI | m2://inv/G16ZF8Z57V |
|---|---|
| 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.00103#9FVJ (statement). In S7RDXJWP1A/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
G175BNYA97 G175BNYA97
| URI | m2://inv/G175BNYA97 |
|---|---|
| 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.17442#FUB4 (statement). In 6ADGJ51W1P/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Potential G17AG6R0AT
| URI | m2://inv/G17AG6R0AT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#PFXI, Potential (unknown)
History
- 2026-11-02: add by m2/dev
Conformal Ward identities G17CHQ68VZ
| URI | m2://inv/G17CHQ68VZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-dimensional conformal field theory#XFP1, Conformal Ward identities (unknown)
History
- 2026-11-02: add by m2/dev
G17E9RS005 G17E9RS005
| URI | m2://inv/G17E9RS005 |
|---|---|
| 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.14374#L9MP (statement). In YPTC532FEG/e1, proposition 18
History
- 2026-10-28: add by m2/v0.4.2
Mordechai Ben-Ari G17MK32V1H
| URI | m2://inv/G17MK32V1H |
|---|---|
| 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 Q6909646, Mordechai Ben-Ari (unknown). Also ProofWiki Mathematician:Mordechai_Ben-Ari
History
- 2026-10-26: add by m2/dev
G17NK7FVGK G17NK7FVGK
| URI | m2://inv/G17NK7FVGK |
|---|---|
| Kind | example |
| 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.05193#VMPB (example). In XDMM0KNNZ9/e1, example 21
History
- 2026-10-29: add by m2/v0.4.10
Examples G17NNM4NC7
| URI | m2://inv/G17NNM4NC7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplex#BXBI, Examples (example)
History
- 2026-11-02: add by m2/dev
G1846KQ0FY G1846KQ0FY
| URI | m2://inv/G1846KQ0FY |
|---|---|
| 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.22345#TTHY (statement). In 7JATJ4VG9G/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.4.0
propositional, resizing G18AHYEPAX
| URI | m2://inv/G18AHYEPAX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2/propositional-resizing, propositional, resizing (concept). In N54F33XE07, index, section B.2
History
- 2026-11-01: add by m2/v0.6.13
Cohen–Macaulay condition and the upper bound conjecture G18S5TCM13
| URI | m2://inv/G18S5TCM13 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanley–Reisner ring#WY1S, Cohen–Macaulay condition and the upper bound conjecture (statement)
History
- 2026-11-02: add by m2/dev
G18T7MAPRQ G18T7MAPRQ
| URI | m2://inv/G18T7MAPRQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-33 (proof). In N54F33XE07, proof, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
G18TP3EYNZ G18TP3EYNZ
| URI | m2://inv/G18TP3EYNZ |
|---|---|
| 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.26873#3ORP (statement)
History
- 2026-11-01: add by m2/v0.6.15
G18ZWRVHP9 G18ZWRVHP9
| URI | m2://inv/G18ZWRVHP9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#HG7Z (definition). In VD4JP4HVBX/e1, definition 6.2
History
- 2026-10-28: add by m2/v0.4.2
G190251W4X G190251W4X
| URI | m2://inv/G190251W4X |
|---|---|
| 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.05582#JUC9 (statement). In 9X4TANWWWR/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.10
Unfolding the twist relation G194GMZ4N5
| URI | m2://inv/G194GMZ4N5 |
|---|---|
| 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.07905#OGVD, Unfolding the twist relation (statement). In 88GEN3Z5VG/e1, lemma 8.7
History
- 2026-10-29: add by m2/v0.4.10
Serial interval G196XPERW8
| URI | m2://inv/G196XPERW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serial interval, Serial interval (definition). Also Wikidata Q7454689
History
- 2026-11-02: add by m2/dev
Alexander Vilenkin G196XVCQZ2
| URI | m2://inv/G196XVCQZ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#RBY7, Alexander Vilenkin (unknown)
History
- 2026-11-02: add by m2/dev
differential equation G199N0HJSG
| URI | m2://inv/G199N0HJSG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Differential equation 003R0V5M7V |
Mentions
- wikidata: Wikidata Q11214, differential equation (definition). Also MathWorld DifferentialEquation, ProofWiki Definition:Differential_Equation
- wikipedia: Wikipedia Differential equation, Differential equation (definition). Also Wikidata Q11214
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Kazhdan's property G19BDH103E
| URI | m2://inv/G19BDH103E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kazhdan's property (T), Kazhdan's property (definition). Also Wikidata Q30765715
History
- 2026-11-02: add by m2/dev
Merging component penalties G19BJE15DD
| URI | m2://inv/G19BJE15DD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34025#VUKZ, Merging component penalties (statement). In VCG579E7MM/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
contranormal subgroup G19BP7ZGC6
| URI | m2://inv/G19BP7ZGC6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 3593761) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#UY8B, contranormal subgroup (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
GIS in Hydrology G19BTN77Y5
| URI | m2://inv/G19BTN77Y5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hydrology#E25U, GIS in Hydrology (unknown)
History
- 2026-11-02: add by m2/dev
\textbf{One-step error estimates for randomized ULMC G19S3FT5Y7
| URI | m2://inv/G19S3FT5Y7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20713#D52Z, \textbf{One-step error estimates for randomized ULMC (statement)
History
- 2026-11-02: add by m2/v0.6.18
Lady Windermere's Fan G19SQB0VY1
| URI | m2://inv/G19SQB0VY1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lady Windermere's Fan (mathematics), Lady Windermere's Fan (definition). Also Wikidata Q6470604
History
- 2026-11-02: add by m2/dev
G19TG6YH5K G19TG6YH5K
| URI | m2://inv/G19TG6YH5K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#R6H2 (statement). In CC6S1HVK0T/e1, proposition E.14
History
- 2026-10-28: add by m2/v0.4.2
generalized cohomology theory G19Y1DGJN1
| URI | m2://inv/G19Y1DGJN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#JIUC, generalized cohomology theory (definition)
History
- 2026-11-02: add by m2/dev
Card G1A6WP22K8
| URI | m2://inv/G1A6WP22K8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#468K, Card (definition)
History
- 2026-11-02: add by m2/dev
G1AD3YGQ7K G1AD3YGQ7K
| URI | m2://inv/G1AD3YGQ7K |
|---|---|
| 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 2206.12966#8AHQ (statement). In VH93X5QZDV/e1, lemma 1.5
History
- 2026-10-27: add by m2/v0.3.5
50 G1AEBCCE1J
| URI | m2://inv/G1AEBCCE1J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 50 (number), 50 (definition). Also Wikidata Q712519
History
- 2026-11-02: add by m2/dev
G1AFA0QBTR G1AFA0QBTR
| URI | m2://inv/G1AFA0QBTR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.09900#9GUS (statement). In ATSYBWEMMP/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.10
Gustav Ferdinand Mehler G1AGTEH8XH
| URI | m2://inv/G1AGTEH8XH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#16KZ, Gustav Ferdinand Mehler (topic)
History
- 2026-11-02: add by m2/dev
9] Theorem II G1AH0ZZ70M
| URI | m2://inv/G1AH0ZZ70M |
|---|---|
| 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 0809.4587#FUW1, 9] Theorem II (statement). In KQ8JPHDKKE/e1, theorem 9.7.1
History
- 2026-10-27: add by m2/v0.3.5
G1AH72SCYD G1AH72SCYD
| URI | m2://inv/G1AH72SCYD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#ZOI9 (statement). In WAXS6FS388/e1, lemma 2.7
History
- 2026-10-30: add by m2/v0.4.12
G1B333P5TN G1B333P5TN
| URI | m2://inv/G1B333P5TN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14859#WKL9 (statement). In 8TPP7WC7K3/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Special cases G1BEXQ4QYC
| URI | m2://inv/G1BEXQ4QYC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appell series#ANNZ, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Microdata G1BGXJ7R6S
| URI | m2://inv/G1BGXJ7R6S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Microdata (statistics), Microdata (definition). Also Wikidata Q1933849
History
- 2026-11-02: add by m2/dev
Dimension missmatch G1BH3DMRTE
| URI | m2://inv/G1BH3DMRTE |
|---|---|
| Kind | example |
| 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 2609.33313#2DB6, Dimension missmatch (example). In HRCEFY172P/e1, example 3.1
History
- 2026-10-30: add by m2/v0.4.12
G1BJ3SSQ0D G1BJ3SSQ0D
| URI | m2://inv/G1BJ3SSQ0D |
|---|---|
| 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.20119#1411 (statement)
History
- 2026-11-02: add by m2/v0.6.18
DeLong, Elizabeth G1BN6YAAZC
| URI | m2://inv/G1BN6YAAZC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#X565, DeLong, Elizabeth (unknown)
History
- 2026-11-02: add by m2/dev
G1BW2B9GD1 G1BW2B9GD1
| URI | m2://inv/G1BW2B9GD1 |
|---|---|
| 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.07608#OP4K (statement). In X8FQD4TEVG/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
G1BXXFV0NZ G1BXXFV0NZ
| URI | m2://inv/G1BXXFV0NZ |
|---|---|
| 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.28454#SHFT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Guralnick--Malmskog--Pries G1C811S9MP
| URI | m2://inv/G1C811S9MP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33185#E6WP, Guralnick--Malmskog--Pries (statement). In QX30H2WNA7/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
G1C9YCE757 G1C9YCE757
| URI | m2://inv/G1C9YCE757 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37593#UHGT (statement). In YTF96VHKAH/e1, lemma 5.6
History
- 2026-10-30: add by m2/v0.4.12
G1CBCNWHPQ G1CBCNWHPQ
| URI | m2://inv/G1CBCNWHPQ |
|---|---|
| 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.35275#I5G7 (statement). In B0NV0JBAKB/e1, theorem A.5
- arxiv: arXiv 2609.35275#PD4V (statement). In B0NV0JBAKB/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Galois G1CDVR6R7R
| URI | m2://inv/G1CDVR6R7R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#VFPG, Galois (definition)
History
- 2026-11-02: add by m2/dev
Formula G1CSSN2M53
| URI | m2://inv/G1CSSN2M53 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Narayana number#N3CG, Formula (statement)
History
- 2026-11-02: add by m2/dev
Namba forcing G1CST187NN
| URI | m2://inv/G1CST187NN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of forcing notions#4INH, Namba forcing (unknown)
History
- 2026-11-02: add by m2/dev
Mathieu group M11 G1D3W56JCD
| URI | m2://inv/G1D3W56JCD |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathieu group M11, Mathieu group M11 (object). Also Wikidata Q6787235
History
- 2026-11-02: add by m2/dev
Bounded bivariate copula densities G1D8X79SCQ
| URI | m2://inv/G1D8X79SCQ |
|---|---|
| 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.29658#R8I6, Bounded bivariate copula densities (statement)
History
- 2026-11-01: add by m2/v0.6.15
G1DEBNPRG5 G1DEBNPRG5
| URI | m2://inv/G1DEBNPRG5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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 1209.5343#8BNM (statement). In 4SPYEGKZ8J/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.5
G1DEKY4603 G1DEKY4603
| URI | m2://inv/G1DEKY4603 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-sheaf.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 27.3.1
History
- 2026-11-01: add by m2/v0.6.13
Control-Lyapunov function G1DFJP3456
| URI | m2://inv/G1DFJP3456 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Control-Lyapunov function, Control-Lyapunov function (definition). Also Wikidata Q5165805
History
- 2026-11-02: add by m2/dev
G1DGB41FSP G1DGB41FSP
| URI | m2://inv/G1DGB41FSP |
|---|---|
| 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.30165#TLR6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hermitian wavelet G1DGJR49SK
| URI | m2://inv/G1DGJR49SK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Charles Hermite#0QQM, Hermitian wavelet (definition)
History
- 2026-11-02: add by m2/dev
G1DKDCTEMZ G1DKDCTEMZ
| URI | m2://inv/G1DKDCTEMZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2610.05850#ZJJT (definition). In D424GB5MAW/e1, definition 4.2
History
- 2026-10-29: add by m2/v0.4.10
G1DV0ER0EE G1DV0ER0EE
| URI | m2://inv/G1DV0ER0EE |
|---|---|
| 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.17408#ROZ6 (statement). In QR8H4M1X4N/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
G1E436832V G1E436832V
| URI | m2://inv/G1E436832V |
|---|---|
| Kind | example |
| 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#28VM (example). In 9ZSNSJRJ5N/e1, example 17
History
- 2026-10-27: add by m2/v0.4.2
ΛΠ-calculus G1E897TYP1
| URI | m2://inv/G1E897TYP1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dependent type#R19U, ΛΠ-calculus (unknown)
History
- 2026-11-02: add by m2/dev
William Timothy Gowers G1E8N11TAY
| URI | m2://inv/G1E8N11TAY |
|---|---|
| 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#XM6N, William Timothy Gowers (topic)
History
- 2026-11-02: add by m2/dev
G1EB595CHB G1EB595CHB
| URI | m2://inv/G1EB595CHB |
|---|---|
| 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.15525#FX12 (statement). In EFDRME13PT/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.2
G1EFRE5QTY G1EFRE5QTY
| URI | m2://inv/G1EFRE5QTY |
|---|---|
| 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.20135#1DKD (statement). In ZQQEN3J866/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.2
modal logic G1EJ6JYASR
| URI | m2://inv/G1EJ6JYASR |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 03B45 |
| Sources | 2 |
| Outcome | open |
| Node | Modal logic C3RZY20ETK |
Mentions
- wikidata: Wikidata Q210841, modal logic (topic). Also nLab modal logic, ProofWiki Definition:Modal_Logic
- wikipedia: Wikipedia Modal logic, Modal logic (definition). Also Wikidata Q210841
History
- 2026-10-26: add by m2/dev
G1EPEY58AC G1EPEY58AC
| URI | m2://inv/G1EPEY58AC |
|---|---|
| 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 2609.21668#SPT1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties G1ES7TXXCH
| URI | m2://inv/G1ES7TXXCH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent risk measure#4C4G, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples G1F8BE1PW3
| URI | m2://inv/G1F8BE1PW3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the cue heading names a section and not one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group action#IQQY, Examples (example)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Definition G1F8RT7M27
| URI | m2://inv/G1F8RT7M27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene's O#OJOL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Function-space version G1FCFNHKRT
| URI | m2://inv/G1FCFNHKRT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02642#FX8U, Function-space version (statement). In VMWV58VWKN/e1, corollary 5.5
History
- 2026-10-29: add by m2/v0.4.12
National identity G1FF351J90
| URI | m2://inv/G1FF351J90 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Northern Ireland#RQ6I, National identity (statement)
History
- 2026-11-02: add by m2/dev
G1FQRS4KAG G1FQRS4KAG
| URI | m2://inv/G1FQRS4KAG |
|---|---|
| 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.30203#B3FQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
G1FRRK43EX G1FRRK43EX
| URI | m2://inv/G1FRRK43EX |
|---|---|
| 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#XEE5 (statement). In 7F8KACT5AJ/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
G1FTZ1V8TJ G1FTZ1V8TJ
| URI | m2://inv/G1FTZ1V8TJ |
|---|---|
| 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/provability-quantifiers.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 15.5
History
- 2026-11-01: add by m2/v0.6.13
G1FXVHQ3H6 G1FXVHQ3H6
| URI | m2://inv/G1FXVHQ3H6 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#O8KJ (proof). In WJD9YPGGYH/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
G1G4YN5P23 G1G4YN5P23
| URI | m2://inv/G1G4YN5P23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22924#5KEN (statement)
History
- 2026-11-02: add by m2/v0.6.17
G1G5Q3E25Y G1G5Q3E25Y
| URI | m2://inv/G1G5Q3E25Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21034#UP0E (definition)
History
- 2026-11-02: add by m2/v0.6.18
Hot-hand fallacy G1G7J36SK2
| URI | m2://inv/G1G7J36SK2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#EYOV, Hot-hand fallacy (unknown)
History
- 2026-11-02: add by m2/dev
G1G8VPT1GH G1G8VPT1GH
| URI | m2://inv/G1G8VPT1GH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 60.5
History
- 2026-11-01: add by m2/v0.6.13
alternative algebra G1GBC6EN8K
| URI | m2://inv/G1GBC6EN8K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2165111, alternative algebra (unknown). Also nLab alternative algebra
- wikipedia: Wikipedia Alternative algebra, Alternative algebra (definition). Also Wikidata Q2165111
History
- 2026-10-26: add by m2/dev
Emilie Kaufmann G1GHWEBGE3
| URI | m2://inv/G1GHWEBGE3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emilie Kaufmann, Emilie Kaufmann (topic). Also Wikidata Q109326556
History
- 2026-11-02: add by m2/dev
G1GR82ZH7N G1GR82ZH7N
| URI | m2://inv/G1GR82ZH7N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10881#PESJ (statement). In DC01XRB5YE/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.3
G1GWHEGFTB G1GWHEGFTB
| URI | m2://inv/G1GWHEGFTB |
|---|---|
| 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.07828#1HZ1 (statement). In TWGMVT1N1G/e1, corollary 3.7
History
- 2026-10-29: add by m2/v0.4.10
G1GXJ56W0E G1GXJ56W0E
| URI | m2://inv/G1GXJ56W0E |
|---|---|
| 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.11939#2IED (statement). In DQMEN40FZV/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.3
Étienne Bazeries G1GXJ9TY5N
| URI | m2://inv/G1GXJ9TY5N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Étienne Bazeries, Étienne Bazeries (topic). Also Wikidata Q289375
History
- 2026-11-02: add by m2/dev
Hyperhomology G1H6AJGAJZ
| URI | m2://inv/G1H6AJGAJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperhomology, Hyperhomology (definition). Also Wikidata Q5958057
History
- 2026-11-02: add by m2/dev
G1HD5FENG3 G1HD5FENG3
| URI | m2://inv/G1HD5FENG3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
G1HFP5N1XK G1HFP5N1XK
| URI | m2://inv/G1HFP5N1XK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15926#JUQC (statement). In G0J92BSX4A/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.2
Functional central limit theorem G1HFXD7X0S
| URI | m2://inv/G1HFXD7X0S |
|---|---|
| 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.12873#P01P, Functional central limit theorem (statement). In 9MMD2N7DQ1/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
Quantum sort G1HJ2RZ4WH
| URI | m2://inv/G1HJ2RZ4WH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#3EZ3, Quantum sort (unknown)
History
- 2026-11-02: add by m2/dev
G1HJEQWT6Q G1HJEQWT6Q
| URI | m2://inv/G1HJEQWT6Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30519#BR3W (statement). In GQQZNRYK15/e1, theorem 4.4
History
- 2026-10-31: add by m2/v0.5.6
G1HKYN98MK G1HKYN98MK
| URI | m2://inv/G1HKYN98MK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21260#EA90 (statement). In Z7WW536KA5/e1, theorem E
History
- 2026-10-27: add by m2/v0.4.2
G1HWVEDNGA G1HWVEDNGA
| URI | m2://inv/G1HWVEDNGA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28024#TMG9 (example)
History
- 2026-11-01: add by m2/v0.6.15
field error to $U_{\mathrm{pop}}$ G1J0FTQW78
| URI | m2://inv/G1J0FTQW78 |
|---|---|
| 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.37762#ZLEH, field error to $U_{\mathrm{pop}}$ (statement). In 6YPMRQHMR5/e1, proposition 16
History
- 2026-10-30: add by m2/v0.4.12
queueing theory G1JAA9SZMQ
| URI | m2://inv/G1JAA9SZMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 60K25 |
| Sources | 2 |
| Outcome | open |
| Node | Queueing theory P64V0HTE78 |
Mentions
- wikidata: Wikidata Q847526, queueing theory (topic). Also MathWorld QueuingTheory
- wikipedia: Wikipedia Queueing theory, Queueing theory (definition). Also Wikidata Q847526
History
- 2026-10-26: add by m2/dev
Paul Halmos G1JBGKNCSG
| URI | m2://inv/G1JBGKNCSG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#GULF, Paul Halmos (topic)
History
- 2026-11-02: add by m2/dev
G1JG6MX913 G1JG6MX913
| URI | m2://inv/G1JG6MX913 |
|---|---|
| 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 2504.13802#3R9N (statement). In MH358B1GVQ/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Pandiagonal magic cube G1JHNEYE8M
| URI | m2://inv/G1JHNEYE8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pandiagonal magic cube, Pandiagonal magic cube (definition). Also Wikidata Q7130630
History
- 2026-11-02: add by m2/dev
John Platt G1JNX5F0EA
| URI | m2://inv/G1JNX5F0EA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#63TN, John Platt (unknown)
History
- 2026-11-02: add by m2/dev
G1JXKTNM8C G1JXKTNM8C
| URI | m2://inv/G1JXKTNM8C |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-25 (proof). In N54F33XE07, proof, section C.3
History
- 2026-11-01: add by m2/v0.6.13
G1KAKR9PSK G1KAKR9PSK
| URI | m2://inv/G1KAKR9PSK |
|---|---|
| Kind | problem |
| 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.08873#9Z5I (problem). In 7WMNVJBAVR/e1, problem 1.2
History
- 2026-10-29: add by m2/v0.4.10
G1KPER1RCV G1KPER1RCV
| URI | m2://inv/G1KPER1RCV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03231#2M1L (definition). In 3Y76AQQGF0/e1, definition 2.9
History
- 2026-10-29: add by m2/v0.4.12
G1M0NX47PH G1M0NX47PH
| URI | m2://inv/G1M0NX47PH |
|---|---|
| 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.32860#5UC0 (statement). In H71AJ341B3/e1, lemma 6.8
History
- 2026-10-31: add by m2/v0.5.6
Weakly Reinhardt cardinal G1M17KWC54
| URI | m2://inv/G1M17KWC54 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of large cardinal properties#3QU3, Weakly Reinhardt cardinal (unknown)
History
- 2026-11-02: add by m2/dev
Envelope identity G1MMG68KR6
| URI | m2://inv/G1MMG68KR6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06480#7P29, Envelope identity (statement). In 2Y47E704Z9/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Block-matrix rigidity G1MRQGN827
| URI | m2://inv/G1MRQGN827 |
|---|---|
| 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.02218#AXKG, Block-matrix rigidity (statement). In 3FY227EFVZ/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
one-node quota repair G1MRY63MJV
| URI | m2://inv/G1MRY63MJV |
|---|---|
| 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.16715#YLS1, one-node quota repair (statement). In RA1Z6BV25A/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Controlled additivity G1MZD24EPQ
| URI | m2://inv/G1MZD24EPQ |
|---|---|
| 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#6J5F, Controlled additivity (statement). In PYY8DFK2JS/e1, lemma A.5
History
- 2026-10-30: add by m2/v0.4.12
Jennie Golding G1MZRJNW44
| URI | m2://inv/G1MZRJNW44 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jennie Golding, Jennie Golding (topic). Also Wikidata Q138821642
History
- 2026-11-02: add by m2/dev
Stochastic optimization G1N0SRNXE4
| URI | m2://inv/G1N0SRNXE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1NVG, Stochastic optimization (definition)
History
- 2026-11-02: add by m2/dev
G1NT0YVCEW G1NT0YVCEW
| URI | m2://inv/G1NT0YVCEW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14099#46KY (statement). In D77GXFTKFH/e1, proposition 6
History
- 2026-10-28: add by m2/v0.4.2
Theorem (Krylov–Bogolyubov) G1NVTD1860
| URI | m2://inv/G1NVTD1860 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krylov–Bogolyubov theorem#56NF, Theorem (Krylov–Bogolyubov) (statement)
History
- 2026-11-02: add by m2/dev
surface parameterization G1NY2C48FQ
| URI | m2://inv/G1NY2C48FQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q116894198, surface parameterization (unknown). Also MathWorld SurfaceParameterization
History
- 2026-10-26: add by m2/dev
circle of antisimilitude G1P159ZQ6V
| URI | m2://inv/G1P159ZQ6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2693467, circle of antisimilitude (unknown). Also MathWorld Midcircle
- wikipedia: Wikipedia Circle of antisimilitude, Circle of antisimilitude (definition). Also Wikidata Q2693467
History
- 2026-10-26: add by m2/dev
infra-barrelled G1P1EY72G5
| URI | m2://inv/G1P1EY72G5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#N5RW, infra-barrelled (definition)
History
- 2026-11-02: add by m2/dev
Overlap profile bound G1P7YVAB2F
| URI | m2://inv/G1P7YVAB2F |
|---|---|
| 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.28198#CL6A, Overlap profile bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
G1P9KCQGMD G1P9KCQGMD
| URI | m2://inv/G1P9KCQGMD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-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.19658#5N5M (example). In G00EYA9DXG/e1, example 6.1
History
- 2026-10-28: add by m2/v0.4.2
G1PA112Q8S G1PA112Q8S
| URI | m2://inv/G1PA112Q8S |
|---|---|
| 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.07790#JRYL (statement). In A5YJDDM0NX/e1, proposition A.3
History
- 2026-10-29: add by m2/v0.4.10
G1PFFN31FA G1PFFN31FA
| URI | m2://inv/G1PFFN31FA |
|---|---|
| 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 2610.03517#F3WN (statement). In 3CGS9GSKTQ/e1, lemma 8.4
History
- 2026-10-29: add by m2/v0.4.12
G1PH0M2W9T G1PH0M2W9T
| URI | m2://inv/G1PH0M2W9T |
|---|---|
| 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.25843#6KT4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
G1PK88SN4P G1PK88SN4P
| URI | m2://inv/G1PK88SN4P |
|---|---|
| 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 2312.06581#49PE (statement). In WXJ2V3HA2R/e1, theorem E.15
History
- 2026-10-27: add by m2/v0.3.5
G1PX96VZ5W G1PX96VZ5W
| URI | m2://inv/G1PX96VZ5W |
|---|---|
| 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.20050#C28R (definition). In T41GD0Y0GX/e1, definition Notation
History
- 2026-10-27: add by m2/v0.4.2
Serge Lang G1PYPC34YK
| URI | m2://inv/G1PYPC34YK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#S3SH, Serge Lang (topic)
History
- 2026-11-02: add by m2/dev
Day convolution G1Q2QHR2KK
| URI | m2://inv/G1Q2QHR2KK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Day convolution 457T9T7Y75 |
Mentions
- wikidata: Wikidata Q85755931, Day convolution (unknown). Also nLab Day convolution
- wikipedia: Wikipedia Day convolution, Day convolution (definition). Also Wikidata Q85755931
History
- 2026-10-26: add by m2/dev
Ado's theorem G1Q6059264
| URI | m2://inv/G1Q6059264 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 17-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2028341, Ado's theorem (statement). Also Wikidata Q2028341
- thousand_plus: thousand_plus Q2028341, Ado's theorem (statement). Also Wikidata Q2028341, Wikipedia Ado's theorem
- wikidata: Wikidata Q2028341, Ado's theorem (statement). Also MathWorld AdosTheorem
- wikipedia: Wikipedia Ado's theorem, Ado's theorem (statement). Also Wikidata Q2028341
History
- 2026-10-26: add by m2/dev
Characterization of the rescaled edge-difference space G1QDTNPCMP
| URI | m2://inv/G1QDTNPCMP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14310#MNU4, Characterization of the rescaled edge-difference space (statement). In 8GSG7024NW/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.2
G1QEZVPZHR G1QEZVPZHR
| URI | m2://inv/G1QEZVPZHR |
|---|---|
| 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#OBDW (statement). In AKB3CNDA0F/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.12
G1QJ2AC7GF G1QJ2AC7GF
| URI | m2://inv/G1QJ2AC7GF |
|---|---|
| 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.06529#X7A8 (statement). In JFQY4CYHKP/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
G1QKYVQTGT G1QKYVQTGT
| URI | m2://inv/G1QKYVQTGT |
|---|---|
| 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.21043#CEEX (statement)
History
- 2026-11-02: add by m2/v0.6.18
Ridge G1QT1SK6XJ
| URI | m2://inv/G1QT1SK6XJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#FSSZ, Ridge (definition)
History
- 2026-11-02: add by m2/dev
idempotence G1R0NG54X9
| URI | m2://inv/G1R0NG54X9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Idempotence 9FS1JFZSX4 |
Mentions
- wikidata: Wikidata Q368988, idempotence (concept). Also EoM Idempotence, MathWorld Idempotent
- wikipedia: Wikipedia Idempotence, Idempotence (definition). Also Wikidata Q368988
History
- 2026-10-26: add by m2/dev
Signature change G1R1MFV16G
| URI | m2://inv/G1R1MFV16G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric signature#Q2RP, Signature change (unknown)
History
- 2026-11-02: add by m2/dev
Properties G1R57RGSWF
| URI | m2://inv/G1R57RGSWF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperreal number#6PNQ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Applications G1R6P3RCB4
| URI | m2://inv/G1R6P3RCB4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curve sketching#BFUZ, Applications (example)
History
- 2026-11-02: add by m2/dev
G1R8QBM9V2 G1R8QBM9V2
| URI | m2://inv/G1R8QBM9V2 |
|---|---|
| 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.35339#R70R (statement). In JT998WJYJJ/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
G1RAEG9A0V G1RAEG9A0V
| URI | m2://inv/G1RAEG9A0V |
|---|---|
| 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.39782#9ELH (statement). In JF4188WVV0/e1, theorem 4.2
History
- 2026-10-30: add by m2/v0.4.12
Transition map G1RBDVY9SM
| URI | m2://inv/G1RBDVY9SM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atlas (topology)#MLLV, Transition map (unknown)
History
- 2026-11-02: add by m2/dev
Hierarchy of the GGDPC dendrogram G1RC5847X5
| URI | m2://inv/G1RC5847X5 |
|---|---|
| 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.01050#4WGR, Hierarchy of the GGDPC dendrogram (statement). In 48NN33SAH7/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
discharge G1S5BVV25J
| URI | m2://inv/G1S5BVV25J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#23H2, discharge (definition)
History
- 2026-11-02: add by m2/dev
Attractor basin G1S6S7XSA3
| URI | m2://inv/G1S6S7XSA3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Attractor#KNBO, Attractor basin (unknown)
History
- 2026-11-02: add by m2/dev
G1S72PRJAK G1S72PRJAK
| URI | m2://inv/G1S72PRJAK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#prop:trunc_of_prop_is_set (statement). In N54F33XE07, lem, section C.1.5
History
- 2026-11-01: add by m2/v0.6.13
G1S8Y3CSAY G1S8Y3CSAY
| URI | m2://inv/G1S8Y3CSAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.01916#FHFX (statement). In XTGB5Z08YH/e1, corollary 4.4
History
- 2026-10-27: add by m2/v0.4.0
Bipyramid G1SANMYAKM
| URI | m2://inv/G1SANMYAKM |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#OKC5, Bipyramid (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#RZPS, Bipyramid (object)
History
- 2026-11-02: add by m2/dev
Structure of the MCSE G1SAZ60RCC
| URI | m2://inv/G1SAZ60RCC |
|---|---|
| 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.17403#O9IQ, Structure of the MCSE (statement). In 9EMNMAW8YH/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
Applications G1SKTSKMEK
| URI | m2://inv/G1SKTSKMEK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Problem of Apollonius#FPFU, Applications (example)
History
- 2026-11-02: add by m2/dev
$N$-function and Morse--Transue space G1SQCRTS5C
| URI | m2://inv/G1SQCRTS5C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2610.08074#V020, $N$-function and Morse--Transue space (definition). In ZRPYF750AV/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
G1SR12C277 G1SR12C277
| URI | m2://inv/G1SR12C277 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05312#1Q8W (definition). In 1CMMK399WQ/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.10
G1SSWXGNXB G1SSWXGNXB
| URI | m2://inv/G1SSWXGNXB |
|---|---|
| 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.12810#X8C7 (statement). In DR35633CPN/e1, corollary 5.2
History
- 2026-10-28: add by m2/v0.4.2
Implementations G1SXTC6FBW
| URI | m2://inv/G1SXTC6FBW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Π-calculus#3OU1, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Examples G1T2P1VP7Y
| URI | m2://inv/G1T2P1VP7Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latent and observable variables#MZD4, Examples (example)
History
- 2026-11-02: add by m2/dev
G1T4JXH8ND G1T4JXH8ND
| URI | m2://inv/G1T4JXH8ND |
|---|---|
| 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 2609.32104#C90R (definition). In YRJSYFXNM8/e1, definition 5.2
History
- 2026-10-31: add by m2/v0.5.6
1 Pm G1T4S78E7Z
| URI | m2://inv/G1T4S78E7Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (length)#GJD0, 1 Pm (unknown)
History
- 2026-11-02: add by m2/dev
G1T6N9F48X G1T6N9F48X
| URI | m2://inv/G1T6N9F48X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24845#ZROI (statement)
History
- 2026-11-01: add by m2/v0.6.15
G1T95G07AB G1T95G07AB
| URI | m2://inv/G1T95G07AB |
|---|---|
| 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#TZCL (statement). In E7W2HDNEKJ/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
G1TPEN6V2Q G1TPEN6V2Q
| URI | m2://inv/G1TPEN6V2Q |
|---|---|
| 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.33656#V7AA (statement). In 8PXDPT3X9P/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Tadashi Nagano G1TRW2K2XJ
| URI | m2://inv/G1TRW2K2XJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tadashi Nagano, Tadashi Nagano (topic). Also Wikidata Q63036278
History
- 2026-11-02: add by m2/dev
Complete coloring G1TWSH5QH5
| URI | m2://inv/G1TWSH5QH5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#CFVQ, Complete coloring (definition)
History
- 2026-11-02: add by m2/dev
G1TYVMPTHP G1TYVMPTHP
| URI | m2://inv/G1TYVMPTHP |
|---|---|
| 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 2610.07828#TH2B (definition). In TWGMVT1N1G/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Brezis–Gallouët inequality G1V2CSS42S
| URI | m2://inv/G1V2CSS42S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brezis–Gallouët inequality, Brezis–Gallouët inequality (statement). Also Wikidata Q15296043
History
- 2026-11-02: add by m2/dev
Edelman-Kostlan G1V5XKW3MF
| URI | m2://inv/G1V5XKW3MF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2501.03704#1HLG, Edelman-Kostlan (statement). In Q3PY5AGD6N/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
Equivalent infinitesimal G1V78J2P4W
| URI | m2://inv/G1V78J2P4W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indeterminate form#TJDE, Equivalent infinitesimal (unknown)
History
- 2026-11-02: add by m2/dev
G1VBTSSEN2 G1VBTSSEN2
| URI | m2://inv/G1VBTSSEN2 |
|---|---|
| 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 2607.26169#28NJ (statement). In Q46QV3B0NF/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
G1VF13F6DN G1VF13F6DN
| URI | m2://inv/G1VF13F6DN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08594#28Z4 (statement). In FEE70SSD96/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
G1VKR203Y1 G1VKR203Y1
| URI | m2://inv/G1VKR203Y1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-29 (exercise). In E59CDZA4DP, exercise, section 8.3.4
History
- 2026-11-01: add by m2/v0.6.13
Solid statics G1VKYK8Y5C
| URI | m2://inv/G1VKYK8Y5C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statics#1N7C, Solid statics (unknown)
History
- 2026-11-02: add by m2/dev
G1W0QRVPAX G1W0QRVPAX
| URI | m2://inv/G1W0QRVPAX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#example-13 (example). In RZP28ERRZV, example, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
Periodic useful-data quantizers G1W72H77XS
| URI | m2://inv/G1W72H77XS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#CXX4, Periodic useful-data quantizers (statement). In 9YAE8FNQST/e1, corollary 28.11
History
- 2026-10-30: add by m2/v0.4.12
G1W8PA9BQT G1W8PA9BQT
| URI | m2://inv/G1W8PA9BQT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23518#FM3P (statement)
History
- 2026-11-02: add by m2/v0.6.17
Primary extension G1W989Q1VW
| URI | m2://inv/G1W989Q1VW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#NZ0H, Primary extension (definition)
History
- 2026-11-02: add by m2/dev
Opinion polling for the 2024 Indian general election G1WEQJQ2KY
| URI | m2://inv/G1WEQJQ2KY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opinion polling for the 2024 Indian general election, Opinion polling for the 2024 Indian general election (definition). Also Wikidata Q121811804
History
- 2026-11-02: add by m2/dev
truncated cone G1WPCRS2PX
| URI | m2://inv/G1WPCRS2PX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9090332, truncated cone (unknown). Also MathWorld ConicalFrustum
History
- 2026-10-26: add by m2/dev
G1WWQ3J0Q3 G1WWQ3J0Q3
| URI | m2://inv/G1WWQ3J0Q3 |
|---|---|
| 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 2609.20458#W21B (definition)
History
- 2026-11-02: add by m2/v0.6.18
G1WX97PCB0 G1WX97PCB0
| URI | m2://inv/G1WX97PCB0 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#proof-2 (proof). In E59CDZA4DP, proof, section 2.1.2
History
- 2026-11-01: add by m2/v0.6.13
G1X0QMXB8A G1X0QMXB8A
| URI | m2://inv/G1X0QMXB8A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40191#S3P1 (statement). In F0D8VSM4Z4/e1, proposition 5.11
History
- 2026-10-30: add by m2/v0.4.12
G1X3X8JJRN G1X3X8JJRN
| URI | m2://inv/G1X3X8JJRN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25589#P29X (statement)
History
- 2026-11-01: add by m2/v0.6.15
G1XD3DVRHH G1XD3DVRHH
| URI | m2://inv/G1XD3DVRHH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/function-basics.tex#ex-4 (example). In PKGMM3P5QY, ex, section 78.9
History
- 2026-11-01: add by m2/v0.6.13
Non-Ward zero-defect criterion G1XHP0NR5R
| URI | m2://inv/G1XHP0NR5R |
|---|---|
| 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.20593#K7I4, Non-Ward zero-defect criterion (statement). In 7GMD8J4200/e1, corollary 17
History
- 2026-10-27: add by m2/v0.4.2
G1XQ6T48GN G1XQ6T48GN
| URI | m2://inv/G1XQ6T48GN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-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 2505.05539#H56L (statement). In 8SVVEVGMNE/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
G1XQ92HWHP G1XQ92HWHP
| URI | m2://inv/G1XQ92HWHP |
|---|---|
| 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#84X2 (statement). In B8MJT0GGW8/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.4.0
wonderful compactification G1XS39GNWC
| URI | m2://inv/G1XS39GNWC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8031858, wonderful compactification (unknown). Also nLab wonderful compactification
- wikipedia: Wikipedia Wonderful compactification, Wonderful compactification (definition). Also Wikidata Q8031858
History
- 2026-10-26: add by m2/dev
Aleksandr Danilovich Aleksandrov G1XWJ3NZGM
| URI | m2://inv/G1XWJ3NZGM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#QFA1, Aleksandr Danilovich Aleksandrov (unknown)
History
- 2026-11-02: add by m2/dev
greatest commond divisor G1XWVMT61Z
| URI | m2://inv/G1XWVMT61Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/6.2.3/greatest-commond-divisor, greatest commond divisor (concept). In Y91XFCEVHQ, index, section 6.2.3
History
- 2026-11-01: add by m2/v0.6.13
Closed evolution of quasiderivations G1XYN072M1
| URI | m2://inv/G1XYN072M1 |
|---|---|
| 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.36016#4AH9, Closed evolution of quasiderivations (statement). In NAM9ZMPHZ9/e1, lemma C.3
History
- 2026-10-30: add by m2/v0.4.12
Quadratic integer G1Y46DDHA5
| URI | m2://inv/G1Y46DDHA5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic integer, Quadratic integer (definition). Also Wikidata Q803531
History
- 2026-11-02: add by m2/dev
G1Y77989ZB G1Y77989ZB
| URI | m2://inv/G1Y77989ZB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 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 math/0512416#CJEH (statement). In WJD9YPGGYH/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.3.5
Special cases G1Y78BKKCD
| URI | m2://inv/G1Y78BKKCD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dominating set#NJHO, Special cases (statement)
History
- 2026-11-02: add by m2/dev
An odd first generator G1Y7ZNV9QQ
| URI | m2://inv/G1Y7ZNV9QQ |
|---|---|
| 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.14509#AKXA, An odd first generator (statement). In N6GD8392QB/e1, lemma 17.2
History
- 2026-10-28: add by m2/v0.4.2
G1YBBBS5Y0 G1YBBBS5Y0
| URI | m2://inv/G1YBBBS5Y0 |
|---|---|
| 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.35252#EIYD (statement). In RPFP34GH09/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
triangular cupola G1YBSRT8EJ
| URI | m2://inv/G1YBSRT8EJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q61562, triangular cupola (object). Also MathWorld TriangularCupola
- wikipedia: Wikipedia Triangular cupola, Triangular cupola (definition). Also Wikidata Q61562
History
- 2026-10-26: add by m2/dev
interchange G1YGD375QJ
| URI | m2://inv/G1YGD375QJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#CU4V, interchange (definition)
History
- 2026-11-02: add by m2/dev
G1YJ0F7EMV G1YJ0F7EMV
| URI | m2://inv/G1YJ0F7EMV |
|---|---|
| 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.13613#9TK1 (statement). In 3HCT4TQ5PM/e1, corollary 4.1
History
- 2026-10-28: add by m2/v0.4.2
Theorem G1YM7XB97N
| URI | m2://inv/G1YM7XB97N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré–Hopf theorem#X89O, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Aevum G1Z16FPQQG
| URI | m2://inv/G1Z16FPQQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aevum, Aevum (definition). Also Wikidata Q16146969
History
- 2026-11-02: add by m2/dev
G1Z8HPKY97 G1Z8HPKY97
| URI | m2://inv/G1Z8HPKY97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24739#3182 (statement)
History
- 2026-11-01: add by m2/v0.6.15
eulerian, trail G1ZAN6KFRX
| URI | m2://inv/G1ZAN6KFRX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5/eulerian-trail, eulerian, trail (concept). In QKM9DD2H56, index, section 5
History
- 2026-11-01: add by m2/v0.6.13
Harmonic analysis G1ZFV5H02D
| URI | m2://inv/G1ZFV5H02D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#HIRE, Harmonic analysis (topic)
History
- 2026-11-02: add by m2/dev
Exact solution for power-law density-of-states G1ZGXMVE7D
| URI | m2://inv/G1ZGXMVE7D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermi gas#ZMC5, Exact solution for power-law density-of-states (statement)
History
- 2026-11-02: add by m2/dev
Fries's trilemma G1ZJ3XYBZ3
| URI | m2://inv/G1ZJ3XYBZ3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Münchhausen trilemma#ISKZ, Fries's trilemma (unknown)
History
- 2026-11-02: add by m2/dev