Inventory rows S8
The cards of the rows of the inventory whose ids start with S8. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
S805FPZSXS S805FPZSXS
| URI | m2://inv/S805FPZSXS |
|---|---|
| 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 2610.14068#P7ME (statement). In JF19FEH3SW/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Definition S8080T96WJ
| URI | m2://inv/S8080T96WJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signal magnitude area#VAXE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Christoffel–Darboux formula, confluent form S80KBWQ2Q0
| URI | m2://inv/S80KBWQ2Q0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christoffel–Darboux formula#KNKH, Christoffel–Darboux formula, confluent form (statement)
History
- 2026-11-02: add by m2/dev
Applications S80NB4CCJD
| URI | m2://inv/S80NB4CCJD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chevalley's structure theorem#R8AF, Applications (example)
History
- 2026-11-02: add by m2/dev
Smith Hat S80PF4ZPDY
| URI | m2://inv/S80PF4ZPDY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Einstein problem#2HSQ, Smith Hat (unknown)
History
- 2026-11-02: add by m2/dev
Conjecture S80RKMN81X
| URI | m2://inv/S80RKMN81X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic curve primality#9I0M, Conjecture (statement)
History
- 2026-11-02: add by m2/dev
Bayes estimator S80S727Q1N
| URI | m2://inv/S80S727Q1N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#N751, Bayes estimator (definition)
History
- 2026-11-02: add by m2/dev
Time-varying impulse response S80T4ZMTG0
| URI | m2://inv/S80T4ZMTG0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear system#D26K, Time-varying impulse response (unknown)
History
- 2026-11-02: add by m2/dev
Anna Sfard S80XQ6FBVK
| URI | m2://inv/S80XQ6FBVK |
|---|---|
| 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#K06U, Anna Sfard (topic)
History
- 2026-11-02: add by m2/dev
Michel Van den Bergh S80XTCJSQT
| URI | m2://inv/S80XTCJSQT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DZ4W, Michel Van den Bergh (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6DX2, Michel Van den Bergh (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#F0W7, Michel van den Bergh (unknown)
History
- 2026-11-02: add by m2/dev
Bicupola S80ZTZYTS8
| URI | m2://inv/S80ZTZYTS8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#HTI0, Bicupola (definition)
History
- 2026-11-02: add by m2/dev
Wait list control group S8156693ZR
| URI | m2://inv/S8156693ZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wait list control group, Wait list control group (definition). Also Wikidata Q16947537
History
- 2026-11-02: add by m2/dev
Mammoth S8160Y2SBC
| URI | m2://inv/S8160Y2SBC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#6MI6, Mammoth (unknown)
History
- 2026-11-02: add by m2/dev
S81E2ASMHX S81E2ASMHX
| URI | m2://inv/S81E2ASMHX |
|---|---|
| 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 2512.07470#WIRS (statement). In XPF72KTPMZ/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
Definition S81JJB52A1
| URI | m2://inv/S81JJB52A1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicative sequence#6GYM, Definition (definition)
History
- 2026-11-02: add by m2/dev
S81KE1FDCG S81KE1FDCG
| URI | m2://inv/S81KE1FDCG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21680#466J (statement)
History
- 2026-11-02: add by m2/v0.6.18
S81MJTN1NS S81MJTN1NS
| URI | m2://inv/S81MJTN1NS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/modal-validity.tex#prop:Nec-rule (statement). In PKGMM3P5QY, prop, section 54.4
History
- 2026-11-01: add by m2/v0.6.13
Structured Procrastionation S81P5RC835
| URI | m2://inv/S81P5RC835 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Perry (philosopher)#ZJTG, Structured Procrastionation (unknown)
History
- 2026-11-02: add by m2/dev
S81QBH5SHZ S81QBH5SHZ
| URI | m2://inv/S81QBH5SHZ |
|---|---|
| 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.32174#W8SE (definition). In GHKR740SG3/e1, definition 2.8
History
- 2026-10-31: add by m2/v0.5.6
Density theorem for Kleinian groups S81WWA4B0H
| URI | m2://inv/S81WWA4B0H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Density theorem for Kleinian groups, Density theorem for Kleinian groups (statement). Also Wikidata Q5259336
History
- 2026-11-02: add by m2/dev
Online bipartite matching S820P2749E
| URI | m2://inv/S820P2749E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matching (graph theory)#9CRK, Online bipartite matching (unknown)
History
- 2026-11-02: add by m2/dev
smooth morphism S82545E60D
| URI | m2://inv/S82545E60D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Smooth morphism EXKGG9X6J0 |
Mentions
- wikidata: Wikidata Q7546425, smooth morphism (unknown). Also nLab smooth morphism, nLab smooth morphism of schemes
- wikipedia: Wikipedia Smooth morphism, Smooth morphism (definition). Also Wikidata Q7546425
History
- 2026-10-26: add by m2/dev
essential discontinuity S82926X8BN
| URI | m2://inv/S82926X8BN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#E2B0, essential discontinuity (definition)
History
- 2026-11-02: add by m2/dev
Examples S82BFJGA2Q
| URI | m2://inv/S82BFJGA2Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monge–Ampère equation#TV6I, Examples (example)
History
- 2026-11-02: add by m2/dev
Arf ring S82HGDYNHD
| URI | m2://inv/S82HGDYNHD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arf ring, Arf ring (definition). Also Wikidata Q4789138
History
- 2026-11-02: add by m2/dev
interprime S82JNSP1QE
| URI | m2://inv/S82JNSP1QE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6056535, interprime (object). Also MathWorld Interprime, OEIS A024675
- wikipedia: Wikipedia Interprime, Interprime (definition). Also Wikidata Q6056535
History
- 2026-10-26: add by m2/dev
Thales's theorem S82JR9RCV1
| URI | m2://inv/S82JR9RCV1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#HXEL, Thales's theorem (statement)
History
- 2026-11-02: add by m2/dev
Properties S82JX0PVFE
| URI | m2://inv/S82JX0PVFE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Touchard polynomials#YF3V, Properties (statement)
History
- 2026-11-02: add by m2/dev
approximate delta function S82W71ZT1V
| URI | m2://inv/S82W71ZT1V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/1.7.1/approximate-delta-function, approximate delta function (concept). In E59CDZA4DP, index, section 1.7.1
History
- 2026-11-01: add by m2/v0.6.13
S82Z2ZYE4C S82Z2ZYE4C
| URI | m2://inv/S82Z2ZYE4C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29107#LBUY (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definitions S831YRQF8V
| URI | m2://inv/S831YRQF8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet space#LT49, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Equipartition theorem S83847W261
| URI | m2://inv/S83847W261 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 37-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q255996, Equipartition theorem (statement). Also Wikidata Q255996
- thousand_plus: thousand_plus Q255996, Equipartition theorem (statement). Also Wikidata Q255996, Wikipedia Equipartition theorem
- wikipedia: Wikipedia Equipartition theorem, Equipartition theorem (statement). Also Wikidata Q255996
History
- 2026-10-26: add by m2/dev
Proposition 1 S839AYX6SG
| URI | m2://inv/S839AYX6SG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley–Dickson construction#XMM7, Proposition 1 (statement)
History
- 2026-11-02: add by m2/dev
Arc forcing S839JQZEYG
| URI | m2://inv/S839JQZEYG |
|---|---|
| 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.03763#M1DK, Arc forcing (statement). In ARZ4X5PXXC/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
S83A5CCMP6 S83A5CCMP6
| URI | m2://inv/S83A5CCMP6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.14762#SYVA (statement). In ZC1B70NT4D/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.5
S83BAQZC1W S83BAQZC1W
| URI | m2://inv/S83BAQZC1W |
|---|---|
| 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.26401#BA0X (statement)
History
- 2026-11-01: add by m2/v0.6.15
S83CFJ4YE1 S83CFJ4YE1
| URI | m2://inv/S83CFJ4YE1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30600#62NE (statement). In BKGWH9ZN4J/e1, lemma 4.1
History
- 2026-10-31: add by m2/v0.5.6
S83CRYMCM6 S83CRYMCM6
| URI | m2://inv/S83CRYMCM6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#HRCI (definition)
History
- 2026-11-02: add by m2/v0.6.18
Effective sample size S83NPJRKH4
| URI | m2://inv/S83NPJRKH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14695#F6GD, Effective sample size (statement). In T15EJSPCNG/e1, corollary 3.1
History
- 2026-10-28: add by m2/v0.4.2
S83QEMGE5Z S83QEMGE5Z
| URI | m2://inv/S83QEMGE5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19311#K2NR (statement). In 3MFD6RSV41/e1, theorem 5.9
History
- 2026-10-28: add by m2/v0.4.2
Examples S83VHDPY6X
| URI | m2://inv/S83VHDPY6X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slice knot#CRCW, Examples (example)
History
- 2026-11-02: add by m2/dev
S83VQCCH6M S83VQCCH6M
| URI | m2://inv/S83VQCCH6M |
|---|---|
| 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 2407.04161#GVD3 (statement). In JBZJ7NPQ4G/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.4.0
Volume sampling S841HXPQ7A
| URI | m2://inv/S841HXPQ7A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20556#I1JV, Volume sampling (definition)
History
- 2026-11-02: add by m2/v0.6.18
Attribution S841NND5ZY
| URI | m2://inv/S841NND5ZY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#JPIT, Attribution (definition). In WD2NCBV9F0/e1, definition 16.2
History
- 2026-10-27: add by m2/v0.3.5
S844SS85PB S844SS85PB
| URI | m2://inv/S844SS85PB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17411#9MQZ (statement). In 73QW05MWQB/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
Supertransitive class S849HMJB8X
| URI | m2://inv/S849HMJB8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supertransitive class, Supertransitive class (definition). Also Wikidata Q25303870
History
- 2026-11-02: add by m2/dev
Jean Écalle S84AGJPTGR
| URI | m2://inv/S84AGJPTGR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean Écalle, Jean Écalle (topic). Also Wikidata Q15433908
History
- 2026-11-02: add by m2/dev
Weight-dependent emergence after adding a new edge S84BTNCV0N
| URI | m2://inv/S84BTNCV0N |
|---|---|
| Kind | example |
| 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#3PMG, Weight-dependent emergence after adding a new edge (example). In 8GSG7024NW/e1, example 3.1
History
- 2026-10-28: add by m2/v0.4.2
Properties S84EXEKX02
| URI | m2://inv/S84EXEKX02 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Progressively measurable process#WDUB, Properties (statement)
History
- 2026-11-02: add by m2/dev
Applications S84FKWVW5E
| URI | m2://inv/S84FKWVW5E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solid geometry#9U43, Applications (example)
History
- 2026-11-02: add by m2/dev
Adaptive mesh refinement S84H0QEC53
| URI | m2://inv/S84H0QEC53 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 74S05 |
| Sources | 2 |
| Outcome | open |
| Node | Adaptive mesh refinement X001F42KH8 |
Mentions
- wikidata: Wikidata Q4680751, Adaptive mesh refinement (topic)
- wikipedia: Wikipedia Adaptive mesh refinement, Adaptive mesh refinement (definition). Also Wikidata Q4680751
History
- 2026-10-26: add by m2/dev
John Tukey S84K1HZPMS
| URI | m2://inv/S84K1HZPMS |
|---|---|
| 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#I25M, John Tukey (topic)
History
- 2026-11-02: add by m2/dev
S84NQKM4GR S84NQKM4GR
| URI | m2://inv/S84NQKM4GR |
|---|---|
| Kind | conjecture |
| 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.12169#QS0Y (conjecture). In 645GF9SFWM/e1, conjecture 11
History
- 2026-10-28: add by m2/v0.4.2
Interleave sequence S84R3HWK4T
| URI | m2://inv/S84R3HWK4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interleave sequence, Interleave sequence (definition). Also Wikidata Q6046889
History
- 2026-11-02: add by m2/dev
S854YK9Z94 S854YK9Z94
| URI | m2://inv/S854YK9Z94 |
|---|---|
| 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.36884#CN97 (definition). In Z7E16PFFCP/e1, definition 3.18
History
- 2026-10-30: add by m2/v0.4.12
S855B2BFYW S855B2BFYW
| URI | m2://inv/S855B2BFYW |
|---|---|
| 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.21256#ZHX0 (statement)
History
- 2026-11-02: add by m2/v0.6.18
seriality S85FYEHS8N
| URI | m2://inv/S85FYEHS8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#VA0F, seriality (definition)
History
- 2026-11-02: add by m2/dev
invariant S85J4ZJHEG
| URI | m2://inv/S85J4ZJHEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#GENF, invariant (definition)
History
- 2026-11-02: add by m2/dev
S85NXC0FFJ S85NXC0FFJ
| URI | m2://inv/S85NXC0FFJ |
|---|---|
| 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.29925#W4XP (statement)
History
- 2026-11-01: add by m2/v0.6.15
S-unit equation S85TCHRH2J
| URI | m2://inv/S85TCHRH2J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S-unit#NZI5, S-unit equation (unknown)
History
- 2026-11-02: add by m2/dev
Uses S862SNYE6R
| URI | m2://inv/S862SNYE6R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multilevel model#7S8P, Uses (example)
History
- 2026-11-02: add by m2/dev
S86EZVFK6M S86EZVFK6M
| URI | m2://inv/S86EZVFK6M |
|---|---|
| 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.15257#G027 (statement). In 2R95BYW2V7/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.2
Constructions S86V8KHVD3
| URI | m2://inv/S86V8KHVD3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia (2,3,7) triangle group#45CY, Constructions (definition)
History
- 2026-11-02: add by m2/dev
S86VEB5GJR S86VEB5GJR
| URI | m2://inv/S86VEB5GJR |
|---|---|
| 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 2403.01959#67E6 (statement). In 5YMNGJRC6Y/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
S8715JQ5NV S8715JQ5NV
| URI | m2://inv/S8715JQ5NV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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 math/9902147#XWYT (statement). In 7CK21JGM5A/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.4.2
Polaris S877797GB5
| URI | m2://inv/S877797GB5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12980, Polaris (definition). Also ProofWiki Definition:Polaris
History
- 2026-10-26: add by m2/dev
Tomek Bartoszyński S87DATPA8N
| URI | m2://inv/S87DATPA8N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tomek Bartoszyński, Tomek Bartoszyński (topic). Also Wikidata Q7818795
History
- 2026-11-02: add by m2/dev
Kalai's 3^d conjecture S87DCMV9X3
| URI | m2://inv/S87DCMV9X3 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kalai's 3^d conjecture, Kalai's 3^d conjecture (conjecture). Also Wikidata Q17077841
History
- 2026-11-02: add by m2/dev
Raychaudhuri's theorem and exotic matter S87M0GMWWN
| URI | m2://inv/S87M0GMWWN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wormhole#X1S1, Raychaudhuri's theorem and exotic matter (statement)
History
- 2026-11-02: add by m2/dev
Examples S87PE11VZ8
| URI | m2://inv/S87PE11VZ8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normalizing constant#I265, Examples (example)
History
- 2026-11-02: add by m2/dev
Compression into the space form S87Q8NFS8M
| URI | m2://inv/S87Q8NFS8M |
|---|---|
| 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.29839#R9KW, Compression into the space form (statement)
History
- 2026-11-01: add by m2/v0.6.15
S8863838ZM S8863838ZM
| URI | m2://inv/S8863838ZM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27918#S334 (statement)
History
- 2026-11-01: add by m2/v0.6.15
One-vertex comparison at \texorpdfstring{\(z=0\)}{z=0 S88EKNPJRV
| URI | m2://inv/S88EKNPJRV |
|---|---|
| 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.12456#T350, One-vertex comparison at \texorpdfstring{\(z=0\)}{z=0 (statement). In 5XPM4E03W6/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Grinberg graph 46 S88NY00R8V
| URI | m2://inv/S88NY00R8V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2816873, Grinberg graph 46 (unknown). Also House of Graphs 1130
History
- 2026-10-26: add by m2/dev
Elijah Zahalon S88PC5V6BF
| URI | m2://inv/S88PC5V6BF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#J8C4, Elijah Zahalon (unknown)
History
- 2026-11-02: add by m2/dev
S88QHRBF5M S88QHRBF5M
| URI | m2://inv/S88QHRBF5M |
|---|---|
| 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.19535#20MH (statement). In MJXSE9QR4X/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Construction of a GIT quotient S88V1ZE5PB
| URI | m2://inv/S88V1ZE5PB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GIT quotient#H6IX, Construction of a GIT quotient (definition)
History
- 2026-11-02: add by m2/dev
S88Z45YDX4 S88Z45YDX4
| URI | m2://inv/S88Z45YDX4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13888#L0RY (example). In XJWYBPS14M/e1, example 6.5
History
- 2026-10-28: add by m2/v0.4.2
Lyndon–Hochschild–Serre spectral sequence S8902W17RS
| URI | m2://inv/S8902W17RS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lyndon–Hochschild–Serre spectral sequence, Lyndon–Hochschild–Serre spectral sequence (definition). Also Wikidata Q6708764
History
- 2026-11-02: add by m2/dev
S8910DVCW9 S8910DVCW9
| URI | m2://inv/S8910DVCW9 |
|---|---|
| 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.06081#2B7L (statement). In 7Z3KQRFEVG/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
S89288BYG4 S89288BYG4
| URI | m2://inv/S89288BYG4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/trakhtenbrot.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 86.10
History
- 2026-11-01: add by m2/v0.6.13
Philipp Apian S894BPADE6
| URI | m2://inv/S894BPADE6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#FVW8, Philipp Apian (unknown)
History
- 2026-11-02: add by m2/dev
Solutions of recurrence relations S89DBH98XA
| URI | m2://inv/S89DBH98XA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recurrence relation#S7DX, Solutions of recurrence relations (unknown)
History
- 2026-11-02: add by m2/dev
S89EAD5XRC S89EAD5XRC
| URI | m2://inv/S89EAD5XRC |
|---|---|
| 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.07963#QPTT (statement). In HAGJKEZ1CK/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
S89J3WBP83 S89J3WBP83
| URI | m2://inv/S89J3WBP83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12352#DHWD (statement). In EXASSFT73P/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Example S89K0Y0A5E
| URI | m2://inv/S89K0Y0A5E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holm–Bonferroni method#YA2B, Example (example)
History
- 2026-11-02: add by m2/dev
Theorem S8A713PP5R
| URI | m2://inv/S8A713PP5R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inner product space#9BNZ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Symmetry S8A781173A
| URI | m2://inv/S8A781173A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octahedral-hexagonal tiling honeycomb#1DIK, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
S8A97JT6ZE S8A97JT6ZE
| URI | m2://inv/S8A97JT6ZE |
|---|---|
| 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.14121#MRL0 (statement). In MRKCK4QYZN/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
S8AD3ZSCE4 S8AD3ZSCE4
| URI | m2://inv/S8AD3ZSCE4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#WV1S (statement). In 13GSWBXPCM/e1, lemma 2.15
History
- 2026-10-27: add by m2/v0.3.5
Friedhelm Eicker S8AKXF7DDZ
| URI | m2://inv/S8AKXF7DDZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedhelm Eicker, Friedhelm Eicker (topic). Also Wikidata Q1457194
History
- 2026-11-02: add by m2/dev
S8APTHMHKM S8APTHMHKM
| URI | m2://inv/S8APTHMHKM |
|---|---|
| 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.18033#4LHL (statement). In 59VRB6Y27N/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
S8AR1MN4ER S8AR1MN4ER
| URI | m2://inv/S8AR1MN4ER |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29450#JN3N (definition)
History
- 2026-11-01: add by m2/v0.6.15
S8ATYPGJ2D S8ATYPGJ2D
| URI | m2://inv/S8ATYPGJ2D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26471#JA4B (statement)
History
- 2026-11-01: add by m2/v0.6.15
S8AV5GQC9F S8AV5GQC9F
| URI | m2://inv/S8AV5GQC9F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24917#0BYP (example)
History
- 2026-11-01: add by m2/v0.6.15
Theorem S8AW4X8F0H
| URI | m2://inv/S8AW4X8F0H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steenrod algebra#S7LC, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Juliusz Schauder S8AZ9QGKYR
| URI | m2://inv/S8AZ9QGKYR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Juliusz Schauder, Juliusz Schauder (topic). Also Wikidata Q653658
History
- 2026-11-02: add by m2/dev
Hélène Esnault S8B0TW969M
| URI | m2://inv/S8B0TW969M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q104173, Hélène Esnault (unknown). Also nLab Hélène Esnault
- wikipedia: Wikipedia Hélène Esnault, Hélène Esnault (topic). Also Wikidata Q104173
History
- 2026-10-26: add by m2/dev
Equality Testing S8B3HTAX5M
| URI | m2://inv/S8B3HTAX5M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#5EK0, Equality Testing (statement). In 68AE571S4P/e1, corollary 3.11
History
- 2026-10-29: add by m2/v0.4.10
Lifting S8B84B1WGN
| URI | m2://inv/S8B84B1WGN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02244#DXPA, Lifting (statement). In 3REM2EXQK7/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.12
Uses S8B8P2EZPG
| URI | m2://inv/S8B8P2EZPG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Design effect#ZSJS, Uses (example)
History
- 2026-11-02: add by m2/dev
Almost symmetry S8BAG3N854
| URI | m2://inv/S8BAG3N854 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10051#C3ZX, Almost symmetry (statement). In VCHH2AC34R/e1, proposition 3.19
History
- 2026-10-29: add by m2/v0.4.10
S8BBG0PEFA S8BBG0PEFA
| URI | m2://inv/S8BBG0PEFA |
|---|---|
| Kind | problem |
| 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.22272#3FN0 (problem). In 4VZV5V0YD6/e1, problem
History
- 2026-10-27: add by m2/v0.4.0
S8BCRYE765 S8BCRYE765
| URI | m2://inv/S8BCRYE765 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/henkin-expansions.tex#prop:lang-exp (statement). In PKGMM3P5QY, prop, section 11.3
History
- 2026-11-01: add by m2/v0.6.13
Cauchy's integral formula S8BD3Q0D2M
| URI | m2://inv/S8BD3Q0D2M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pi#7K3F, Cauchy's integral formula (statement)
History
- 2026-11-02: add by m2/dev
BV functions S8BE8RM6YD
| URI | m2://inv/S8BE8RM6YD |
|---|---|
| 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.17129#ZVUA, BV functions (definition). In TCZWAMNYCV/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
The algorithm S8BEH92RNE
| URI | m2://inv/S8BEH92RNE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Boor's algorithm#NEB9, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
S8BEYH477P S8BEYH477P
| URI | m2://inv/S8BEYH477P |
|---|---|
| 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.30760#OE32 (statement). In MMVNRRE7N0/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
S8BN5MX78A S8BN5MX78A
| URI | m2://inv/S8BN5MX78A |
|---|---|
| Kind | definition |
| 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 2201.04174#2LDG (definition). In NVTHDNQQ4Q/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
S8BP4DPYA5 S8BP4DPYA5
| URI | m2://inv/S8BP4DPYA5 |
|---|---|
| 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 2609.38556#OVTR (statement). In GC2H0HS7ZM/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
Fuchs's theorem S8BRW2MP1V
| URI | m2://inv/S8BRW2MP1V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#24KY, Fuchs's theorem (statement)
History
- 2026-11-02: add by m2/dev
S8BXE98MJ4 S8BXE98MJ4
| URI | m2://inv/S8BXE98MJ4 |
|---|---|
| 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 2105.08875#UE9V (statement). In QT8HPDAYPX/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.3.5
S8C5YMKZ57 S8C5YMKZ57
| URI | m2://inv/S8C5YMKZ57 |
|---|---|
| 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.01225#PDHW (statement). In MFR807V4YG/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
The logarithmic volume Hessian S8C6716XSW
| URI | m2://inv/S8C6716XSW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21670#LHQT, The logarithmic volume Hessian (statement)
History
- 2026-11-02: add by m2/v0.6.18
Plan continuation bias S8CEJ2KYKC
| URI | m2://inv/S8CEJ2KYKC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#M570, Plan continuation bias (definition)
History
- 2026-11-02: add by m2/dev
Jensen lower discretisation S8CFC0DV1F
| URI | m2://inv/S8CFC0DV1F |
|---|---|
| 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.12713#EF5O, Jensen lower discretisation (statement). In F14A5HX20Q/e1, proposition C.2.1
History
- 2026-10-28: add by m2/v0.4.2
function, differentiable S8CJYQ1A5H
| URI | m2://inv/S8CJYQ1A5H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/3.1.1/function-differentiable, function, differentiable (concept). In E59CDZA4DP, index, section 3.1.1
History
- 2026-11-01: add by m2/v0.6.13
Monotonicity of SRW Green's function in $d$ S8CN3K22FV
| URI | m2://inv/S8CN3K22FV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1905.02785#ZOGN, Monotonicity of SRW Green's function in $d$ (statement). In PF9KV74Q02/e1, lemma B.2
History
- 2026-10-27: add by m2/v0.3.5
Hugo Duminil-Copin S8CWD8EPQE
| URI | m2://inv/S8CWD8EPQE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hugo Duminil-Copin, Hugo Duminil-Copin (topic). Also Wikidata Q15461028
History
- 2026-11-02: add by m2/dev
Cyclical monotonicity S8CX5FZK3Z
| URI | m2://inv/S8CX5FZK3Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclical monotonicity, Cyclical monotonicity (definition). Also Wikidata Q85754897
History
- 2026-11-02: add by m2/dev
S8DA8QZVE4 S8DA8QZVE4
| URI | m2://inv/S8DA8QZVE4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.27420#Z284 (statement)
History
- 2026-11-01: add by m2/v0.6.15
1086 S8DANMYHVX
| URI | m2://inv/S8DANMYHVX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4262495, 1086 (statement). Also ProofWiki 1086
History
- 2026-10-26: add by m2/dev
Barrington's theorem S8DC4DXW91
| URI | m2://inv/S8DC4DXW91 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NC (complexity)#UID6, Barrington's theorem (statement)
History
- 2026-11-02: add by m2/dev
Results S8DKF5Q5MR
| URI | m2://inv/S8DKF5Q5MR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia World Social Capital Monitor#3JT6, Results (statement)
History
- 2026-11-02: add by m2/dev
Bombieri–Lang conjecture S8DRY9Q90N
| URI | m2://inv/S8DRY9Q90N |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bombieri–Lang conjecture, Bombieri–Lang conjecture (conjecture). Also Wikidata Q65088644
History
- 2026-11-02: add by m2/dev
S8DSQ8ND6Q S8DSQ8ND6Q
| URI | m2://inv/S8DSQ8ND6Q |
|---|---|
| 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 2212.00617#2T8W (statement). In K7505G10SS/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.3.5
Density of high-vacancy vertices S8DTNRHDY1
| URI | m2://inv/S8DTNRHDY1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26133#R1XP, Density of high-vacancy vertices (statement)
History
- 2026-11-01: add by m2/v0.6.15
S8E0PH3XDE S8E0PH3XDE
| URI | m2://inv/S8E0PH3XDE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#HIWI (statement)
History
- 2026-11-01: add by m2/v0.6.15
S8E1K3WYJ2 S8E1K3WYJ2
| URI | m2://inv/S8E1K3WYJ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31907#QIAM (statement). In 6B2PCEGCYZ/e1, corollary 6.7
History
- 2026-10-31: add by m2/v0.5.6
COMBIN S8E6FDE8BY
| URI | m2://inv/S8E6FDE8BY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combination#0CV5, COMBIN (unknown)
History
- 2026-11-02: add by m2/dev
S8EC1KJ63Q S8EC1KJ63Q
| URI | m2://inv/S8EC1KJ63Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39951#IPTK (statement). In H343T48ZWE/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
S8EG160GG0 S8EG160GG0
| URI | m2://inv/S8EG160GG0 |
|---|---|
| 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#HV1W (statement). In CC6S1HVK0T/e1, lemma E.7
History
- 2026-10-28: add by m2/v0.4.2
S8EHGTQMFW S8EHGTQMFW
| URI | m2://inv/S8EHGTQMFW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 37-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 0804.0248#85MN (example). In NG9HWAE79A/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
Terao's factorization theorem S8EJCNSM11
| URI | m2://inv/S8EJCNSM11 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13291#NDNC, Terao's factorization theorem (statement). In D16PSAVVWV/e1, theorem 2.5
History
- 2026-10-28: add by m2/v0.4.2
S8EMKTX5A0 S8EMKTX5A0
| URI | m2://inv/S8EMKTX5A0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.08791#TEGO (statement). In SZ7N8Q5S6N/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.0
History of mathematical psychology S8ENNS1DW8
| URI | m2://inv/S8ENNS1DW8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical psychology#NIZ9, History of mathematical psychology (unknown)
History
- 2026-11-02: add by m2/dev
Cazacu–Barlat yield criterion for plane stress S8ETSPA2XN
| URI | m2://inv/S8ETSPA2XN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Drucker–Prager yield criterion#5E6F, Cazacu–Barlat yield criterion for plane stress (statement)
History
- 2026-11-02: add by m2/dev
Truncated cubic honeycomb S8FE815CDR
| URI | m2://inv/S8FE815CDR |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#SGQO, Truncated cubic honeycomb (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#RC3W, Truncated cubic honeycomb (object)
History
- 2026-11-02: add by m2/dev
Complex cepstrum S8FEC7T0AH
| URI | m2://inv/S8FEC7T0AH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cepstrum#IWCC, Complex cepstrum (unknown)
History
- 2026-11-02: add by m2/dev
S8FEQ69561 S8FEQ69561
| URI | m2://inv/S8FEQ69561 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#ZTWR (statement). In 6WJ0R9YEBR/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
S8FHFYQDC6 S8FHFYQDC6
| URI | m2://inv/S8FHFYQDC6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05259#A75K (definition). In X1J5HKPS3R/e1, definition 1.4
History
- 2026-10-29: add by m2/v0.4.10
S8FJ71MFYH S8FJ71MFYH
| URI | m2://inv/S8FJ71MFYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10925#D2U6 (statement). In 9604WYX0BW/e1, corollary 5.10
History
- 2026-10-28: add by m2/v0.4.3
S8FJPB9BAC S8FJPB9BAC
| URI | m2://inv/S8FJPB9BAC |
|---|---|
| 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.13833#GUS0 (statement). In VD4JP4HVBX/e1, proposition 8.9
History
- 2026-10-28: add by m2/v0.4.2
S8FMAKZCE5 S8FMAKZCE5
| URI | m2://inv/S8FMAKZCE5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-conc.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
Coppersmith's attack S8FXGFCZX8
| URI | m2://inv/S8FXGFCZX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coppersmith's attack, Coppersmith's attack (definition). Also Wikidata Q5168852
History
- 2026-11-02: add by m2/dev
S8FXH1XD2T S8FXH1XD2T
| URI | m2://inv/S8FXH1XD2T |
|---|---|
| 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 2207.05628#UWHG (statement). In 9JPKTEWW4W/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
S8G0BSTC84 S8G0BSTC84
| URI | m2://inv/S8G0BSTC84 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07164#40WQ (statement). In Q1XJ5VWE1N/e1, lemma 3.13
History
- 2026-10-29: add by m2/v0.4.10
S8G0RY4326 S8G0RY4326
| URI | m2://inv/S8G0RY4326 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/top-more.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 101.9
History
- 2026-11-01: add by m2/v0.6.13
Properties S8G3ESRB9Y
| URI | m2://inv/S8G3ESRB9Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally compact space#HJW0, Properties (statement)
History
- 2026-11-02: add by m2/dev
Zygmunt Zalcwasser S8G65E4J7Y
| URI | m2://inv/S8G65E4J7Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#J2OZ, Zygmunt Zalcwasser (topic)
History
- 2026-11-02: add by m2/dev
S8GBAHJGKR S8GBAHJGKR
| URI | m2://inv/S8GBAHJGKR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17553#LBIO (statement). In ETMBHKF5A9/e1, lemma 5.17
History
- 2026-10-28: add by m2/v0.4.2
S8GDP0QT6N S8GDP0QT6N
| URI | m2://inv/S8GDP0QT6N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#cor-2 (statement). In N54F33XE07, cor, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
S8GGMW5EV0 S8GGMW5EV0
| URI | m2://inv/S8GGMW5EV0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28011#69UJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
S8GGVCYYKF S8GGVCYYKF
| URI | m2://inv/S8GGVCYYKF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21491#O36V (statement)
History
- 2026-11-02: add by m2/v0.6.18
Bellows conjecture S8GJG2PRJ5
| URI | m2://inv/S8GJG2PRJ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flexible polyhedron#U63N, Bellows conjecture (statement)
History
- 2026-11-02: add by m2/dev
Guoliang Yu S8GP5G4317
| URI | m2://inv/S8GP5G4317 |
|---|---|
| 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#UN6R, Guoliang Yu (topic)
History
- 2026-11-02: add by m2/dev
Metalanguage S8GV394WT1
| URI | m2://inv/S8GV394WT1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metalanguage, Metalanguage (definition). Also Wikidata Q193983
History
- 2026-11-02: add by m2/dev
Random walk S8GWN9VB3C
| URI | m2://inv/S8GWN9VB3C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#U8F5, Random walk (definition)
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#LCPY, Random walk (definition)
- wikipedia: Wikipedia List of probability topics#TMFX, Random walk (definition)
History
- 2026-11-02: add by m2/dev
Examples S8H706CZD4
| URI | m2://inv/S8H706CZD4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appeal to accomplishment#YCM8, Examples (example)
History
- 2026-11-02: add by m2/dev
Friendship theorem S8H7M24008
| URI | m2://inv/S8H7M24008 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#KB37, Friendship theorem (definition)
History
- 2026-11-02: add by m2/dev
Vinogradov's theorem S8HDM0A5DS
| URI | m2://inv/S8HDM0A5DS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#JT1H, Vinogradov's theorem (statement)
History
- 2026-11-02: add by m2/dev
S8HPR8BAR2 S8HPR8BAR2
| URI | m2://inv/S8HPR8BAR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#ODL3 (statement). In SD43497T8C/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.5
Uses S8HZHB1190
| URI | m2://inv/S8HZHB1190 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andres and Marzo's delta#507R, Uses (example)
History
- 2026-11-02: add by m2/dev
Random effects model S8JJCAA3A1
| URI | m2://inv/S8JJCAA3A1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6PEY, Random effects model (definition)
History
- 2026-11-02: add by m2/dev
Science of Logic S8JVM2T8KP
| URI | m2://inv/S8JVM2T8KP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book or a journal, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q374811, Science of Logic (unknown). Also nLab Science of Logic
- wikipedia: Wikipedia Science of Logic, Science of Logic (definition). Also Wikidata Q374811
History
- 2026-10-26: add by m2/dev
S8K5H51708 S8K5H51708
| URI | m2://inv/S8K5H51708 |
|---|---|
| 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.32977#IIHW (statement). In 4KT9TK3MG4/e1, lemma D.18
History
- 2026-10-31: add by m2/v0.5.6
S8K9QVKVXE S8K9QVKVXE
| URI | m2://inv/S8K9QVKVXE |
|---|---|
| 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.10773#S360 (statement). In 744Y8ZPEV7/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.3
coset S8KHNG9EDR
| URI | m2://inv/S8KHNG9EDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node |
| Node | Coset 564VVAQTNR |
Mentions
- wikidata: Wikidata Q751969, coset (unknown). Also EoM Coset_in_a_group, MathWorld Coset
- wikipedia: Wikipedia Coset, Coset (definition). Also Wikidata Q751969
History
- 2026-10-26: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
S8KJAMJKWK S8KJAMJKWK
| URI | m2://inv/S8KJAMJKWK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.01057#S8EA (statement). In 69QFBXJENW/e1, proposition 2.23
History
- 2026-10-27: add by m2/v0.3.5
Definition S8KPKSBN8D
| URI | m2://inv/S8KPKSBN8D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular trace#6ZHA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Tracy–Widom distribution S8KVCN669J
| URI | m2://inv/S8KVCN669J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#RUEB, Tracy–Widom distribution (definition)
History
- 2026-11-02: add by m2/dev
S8KZVSE23B S8KZVSE23B
| URI | m2://inv/S8KZVSE23B |
|---|---|
| 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.07644#XQ8C (statement). In TFAN2DR6FD/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
S8KZZV58AZ S8KZZV58AZ
| URI | m2://inv/S8KZZV58AZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27078#GLW3 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Applications S8M49D4MPG
| URI | m2://inv/S8M49D4MPG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moment curve#OPGJ, Applications (example)
History
- 2026-11-02: add by m2/dev
S8M6F5K1XG S8M6F5K1XG
| URI | m2://inv/S8M6F5K1XG |
|---|---|
| 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 0805.4273#FFXZ (statement). In ZX3NV58FRX/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.3.5
Derivative matching S8M7E0X5T4
| URI | m2://inv/S8M7E0X5T4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32710#A3RG, Derivative matching (statement). In KVYG6R7CGJ/e1, lemma 4.4
History
- 2026-10-31: add by m2/v0.5.6
electromagnetic unit system S8MAZH00X7
| URI | m2://inv/S8MAZH00X7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q27666180, electromagnetic unit system (definition). Also ProofWiki Definition:CGS_Unrationalised_Electromagnetic_System
History
- 2026-10-26: add by m2/dev
H topology S8MDS8JSYS
| URI | m2://inv/S8MDS8JSYS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H topology, H topology (definition). Also Wikidata Q356459
History
- 2026-11-02: add by m2/dev
S8MEKHGCG8 S8MEKHGCG8
| URI | m2://inv/S8MEKHGCG8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.07461#P8T5 (statement). In GAG532VMPF/e1, lemma 6.2.3
History
- 2026-10-27: add by m2/v0.3.5
S8MJRN9751 S8MJRN9751
| URI | m2://inv/S8MJRN9751 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09599#VMG0 (statement). In 4JYGH9XNA9/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.10
Properties S8MP9WKEBD
| URI | m2://inv/S8MP9WKEBD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneous distribution#JCGS, Properties (statement)
History
- 2026-11-02: add by m2/dev
S8MPBC8S5H S8MPBC8S5H
| URI | m2://inv/S8MPBC8S5H |
|---|---|
| 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.18205#LJPO (statement). In Y37VAPDKE4/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
S8N10A1FMN S8N10A1FMN
| URI | m2://inv/S8N10A1FMN |
|---|---|
| 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 2507.13548#STK8 (statement). In 4NVVK50D1P/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.3.5
Hilbert's axioms S8N5XBR61P
| URI | m2://inv/S8N5XBR61P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Foundations of geometry#2CSR, Hilbert's axioms (statement)
History
- 2026-11-02: add by m2/dev
S8N7SK67GS S8N7SK67GS
| URI | m2://inv/S8N7SK67GS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#E5SO (statement). In V7SN19J84T/e1, proposition 7.11
History
- 2026-10-28: add by m2/v0.4.2
S8NWVT2KMD S8NWVT2KMD
| URI | m2://inv/S8NWVT2KMD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/action.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
MRB constant S8NZ18EHZ5
| URI | m2://inv/S8NZ18EHZ5 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6717435, MRB constant (object). Also MathWorld MRBConstant, OEIS A037077
- wikipedia: Wikipedia MRB constant, MRB constant (object). Also Wikidata Q6717435
History
- 2026-10-26: add by m2/dev
Definitions S8NZEFNFB0
| URI | m2://inv/S8NZEFNFB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Étale algebra#AIKO, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Gyroelongated square bicupola S8NZRHF8YP
| URI | m2://inv/S8NZRHF8YP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#4KLM, Gyroelongated square bicupola (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#WRH7, Gyroelongated square bicupola (definition)
History
- 2026-11-02: add by m2/dev
Examples S8P42W99FV
| URI | m2://inv/S8P42W99FV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational mapping#LWCG, Examples (example)
History
- 2026-11-02: add by m2/dev
Linnik class S8P81J6WXS
| URI | m2://inv/S8P81J6WXS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linnik class, Linnik class (definition). Also Wikidata Q56375889
History
- 2026-11-02: add by m2/dev
Denis Henrion S8P9EDWQQ7
| URI | m2://inv/S8P9EDWQQ7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Denis Henrion, Denis Henrion (topic). Also Wikidata Q3022732
History
- 2026-11-02: add by m2/dev
S8PCMGS48C S8PCMGS48C
| URI | m2://inv/S8PCMGS48C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28803#FK9R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Notations S8PP968VJT
| URI | m2://inv/S8PP968VJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aspect ratio#I0LE, Notations (definition)
History
- 2026-11-02: add by m2/dev
Alexandra Carpentier S8PS038RVX
| URI | m2://inv/S8PS038RVX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexandra Carpentier, Alexandra Carpentier (topic). Also Wikidata Q85931227
History
- 2026-11-02: add by m2/dev
S8PWBDYR5T S8PWBDYR5T
| URI | m2://inv/S8PWBDYR5T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#4EQT (statement). In Y1DR0DPWD0/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Wanless, Derek S8Q03K0ZQF
| URI | m2://inv/S8Q03K0ZQF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#1YZS, Wanless, Derek (unknown)
History
- 2026-11-02: add by m2/dev
S8Q4ZCB560 S8Q4ZCB560
| URI | m2://inv/S8Q4ZCB560 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#W99V (statement). In YVK8EFSYNJ/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
S8QK0VPB56 S8QK0VPB56
| URI | m2://inv/S8QK0VPB56 |
|---|---|
| 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.22002#Y8PR (statement). In JTND2BM263/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.4.2
Properties S8QKQ7752P
| URI | m2://inv/S8QKQ7752P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological entropy#S3RT, Properties (statement)
History
- 2026-11-02: add by m2/dev
Measurable winding obstruction S8QKW9G4MK
| URI | m2://inv/S8QKW9G4MK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27970#8SZN, Measurable winding obstruction (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nob Yoshigahara S8QRMNAK4H
| URI | m2://inv/S8QRMNAK4H |
|---|---|
| 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 Q7045586, Nob Yoshigahara (unknown). Also ProofWiki Mathematician:Nobuyuki_Yoshigahara
History
- 2026-10-26: add by m2/dev
S8QXR0GNXQ S8QXR0GNXQ
| URI | m2://inv/S8QXR0GNXQ |
|---|---|
| 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.37931#L794 (example). In J8C1EXQW86/e1, example 4.4
History
- 2026-10-30: add by m2/v0.4.12
Theorem S8QZXZZK51
| URI | m2://inv/S8QZXZZK51 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seifert–Van Kampen theorem#9Y6W, Theorem (statement)
History
- 2026-11-02: add by m2/dev
S8R4HMDWTE S8R4HMDWTE
| URI | m2://inv/S8R4HMDWTE |
|---|---|
| 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.36113#VQPZ (statement). In FSGSVD0XYH/e1, lemma 15
History
- 2026-10-30: add by m2/v0.4.12
Seismic inversion S8R80DERFD
| URI | m2://inv/S8R80DERFD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seismic inversion, Seismic inversion (definition). Also Wikidata Q7446968
History
- 2026-11-02: add by m2/dev
Free comparison for the dependent model S8RB1TZVXR
| URI | m2://inv/S8RB1TZVXR |
|---|---|
| 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.39793#8YLP, Free comparison for the dependent model (statement). In 380M45ANWF/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Direct stiffness method S8RGWM0K5T
| URI | m2://inv/S8RGWM0K5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#TCQY, Direct stiffness method (definition)
History
- 2026-11-02: add by m2/dev
Dirichlet's unit theorem S8RQA0Q5A1
| URI | m2://inv/S8RQA0Q5A1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#6667, Dirichlet's unit theorem (statement)
History
- 2026-11-02: add by m2/dev
Selman Waksman S8RXH20D7Q
| URI | m2://inv/S8RXH20D7Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#RZ0M, Selman Waksman (unknown)
History
- 2026-11-02: add by m2/dev
Comparison to Chebyshev's inequality S8S1B6GQPG
| URI | m2://inv/S8S1B6GQPG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantelli's inequality#1E2Z, Comparison to Chebyshev's inequality (statement)
History
- 2026-11-02: add by m2/dev
Grid puzzle S8S4ZQZ3VZ
| URI | m2://inv/S8S4ZQZ3VZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic puzzle#VX91, Grid puzzle (unknown)
History
- 2026-11-02: add by m2/dev
S8SCDTGMFZ S8SCDTGMFZ
| URI | m2://inv/S8SCDTGMFZ |
|---|---|
| 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 2112.14455#ZWU6 (statement). In VDE5R8HBS1/e1, corollary 3.9
History
- 2026-10-27: add by m2/v0.3.5
S8SE0B5Y49 S8SE0B5Y49
| URI | m2://inv/S8SE0B5Y49 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24610#GQE9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Francisco Miranda da Costa Lobo S8SHDSV1XV
| URI | m2://inv/S8SHDSV1XV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ATDY, Francisco Miranda da Costa Lobo (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#L3P9, Francisco Miranda da Costa Lobo (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#N9KU, Francisco Miranda da Costa Lobo (unknown)
History
- 2026-11-02: add by m2/dev
S8SMNV3NZY S8SMNV3NZY
| URI | m2://inv/S8SMNV3NZY |
|---|---|
| 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.19845#95JJ (statement). In A8Y7B1MD91/e1, lemma 2.11
History
- 2026-10-28: add by m2/v0.4.2
S8SNFQ57Q8 S8SNFQ57Q8
| URI | m2://inv/S8SNFQ57Q8 |
|---|---|
| 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.20900#1D44 (statement)
History
- 2026-11-02: add by m2/v0.6.18
S8SPM7G4AK S8SPM7G4AK
| URI | m2://inv/S8SPM7G4AK |
|---|---|
| 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 2604.02255#SK4T (statement). In 14NGZPH8B9/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
S8SQK2WTQG S8SQK2WTQG
| URI | m2://inv/S8SQK2WTQG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26406#27JN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications S8SVNPCJCM
| URI | m2://inv/S8SVNPCJCM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dense submodule#JEMY, Applications (example)
History
- 2026-11-02: add by m2/dev
S8SWCA4D7H S8SWCA4D7H
| URI | m2://inv/S8SWCA4D7H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-18 (exercise). In Y91XFCEVHQ, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
Examples S8T15GGAZB
| URI | m2://inv/S8T15GGAZB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete set of commuting observables#L4GU, Examples (example)
History
- 2026-11-02: add by m2/dev
S8T2V8EM3S S8T2V8EM3S
| URI | m2://inv/S8T2V8EM3S |
|---|---|
| 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 2609.25524#WZNV (example)
History
- 2026-11-01: add by m2/v0.6.15
S8T4JDK1TX S8T4JDK1TX
| URI | m2://inv/S8T4JDK1TX |
|---|---|
| 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#0AWG (statement)
History
- 2026-11-02: add by m2/v0.6.18
variable, in context S8T96F26Y5
| URI | m2://inv/S8T96F26Y5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/sec:formal-prelim/variable-in-context, variable, in context (concept). In N54F33XE07, index, section sec:formal-prelim
History
- 2026-11-01: add by m2/v0.6.13
Applications S8T9GPV60K
| URI | m2://inv/S8T9GPV60K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matching pursuit#OSC8, Applications (example)
History
- 2026-11-02: add by m2/dev
Implementation S8TMEW2DDS
| URI | m2://inv/S8TMEW2DDS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Support vector machine#9DU6, Implementation (definition)
History
- 2026-11-02: add by m2/dev
continuous at $c$ S8TWDYM0Q4
| URI | m2://inv/S8TWDYM0Q4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/2.2.1/continuous-at-c, continuous at $c$ (concept). In E59CDZA4DP, index, section 2.2.1
History
- 2026-11-01: add by m2/v0.6.13
Binomial specialization S8TZ7C8EXY
| URI | m2://inv/S8TZ7C8EXY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08568#DLA4, Binomial specialization (statement). In FDDA562VCA/e1, corollary 3.14
History
- 2026-10-29: add by m2/v0.4.10
Antonio Maria Bordoni S8V5PE6ZQM
| URI | m2://inv/S8V5PE6ZQM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#95HE, Antonio Maria Bordoni (topic)
History
- 2026-11-02: add by m2/dev
excenter S8V712CNFR
| URI | m2://inv/S8V712CNFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3735768, excenter (definition). Also MathWorld Excenter, ProofWiki Definition:Excircle_of_Triangle/Excenter
History
- 2026-10-26: add by m2/dev
S8V7QPD3F7 S8V7QPD3F7
| URI | m2://inv/S8V7QPD3F7 |
|---|---|
| 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.30090#N771 (statement)
History
- 2026-11-01: add by m2/v0.6.15
John Müller S8V97NXJ93
| URI | m2://inv/S8V97NXJ93 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Müller, John Müller (topic). Also Wikidata Q18732185
History
- 2026-11-02: add by m2/dev
μ operator S8VB28974P
| URI | m2://inv/S8VB28974P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q307772, μ operator (unknown). Also MathWorld Mu-Operator
- wikipedia: Wikipedia Mu operator, Mu operator (definition). Also Wikidata Q307772
History
- 2026-10-26: add by m2/dev
S8VKZT144M S8VKZT144M
| URI | m2://inv/S8VKZT144M |
|---|---|
| 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.03011#M7XH (statement). In VE8FB6K8EN/e1, lemma 15
History
- 2026-10-29: add by m2/v0.4.12
Emilie Halpern S8VM974AHC
| URI | m2://inv/S8VM974AHC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#JRCL, Emilie Halpern (unknown)
History
- 2026-11-02: add by m2/dev
S8VPWJCBG9 S8VPWJCBG9
| URI | m2://inv/S8VPWJCBG9 |
|---|---|
| Kind | example |
| 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.19285#WO0P (example). In 6DJR9DKY5W/e1, example 7.4
History
- 2026-10-28: add by m2/v0.4.2
S8VSM4TRT6 S8VSM4TRT6
| URI | m2://inv/S8VSM4TRT6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15444#NDQP (statement). In M2X9TEYRPC/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
S8VYZZZ091 S8VYZZZ091
| URI | m2://inv/S8VYZZZ091 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11965#JHBT (statement). In 48QX0QD0XR/e1, lemma 6.11
History
- 2026-10-28: add by m2/v0.4.3
Engelbert–Schmidt zero–one law S8W006Z8Y2
| URI | m2://inv/S8W006Z8Y2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4JW1, Engelbert–Schmidt zero–one law (statement)
History
- 2026-11-02: add by m2/dev
Edmond Bonan S8W6VYJ37V
| URI | m2://inv/S8W6VYJ37V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edmond Bonan, Edmond Bonan (topic). Also Wikidata Q16104618
History
- 2026-11-02: add by m2/dev
S8W86T6XNA S8W86T6XNA
| URI | m2://inv/S8W86T6XNA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01354#ZABI (statement). In BWD76W20W8/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.12
S8WGQBSAY8 S8WGQBSAY8
| URI | m2://inv/S8WGQBSAY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#HZ1I (statement). In TX0H26X4VX/e1, lemma 7.11
History
- 2026-10-29: add by m2/v0.4.12
Applications S8WKZBW8TS
| URI | m2://inv/S8WKZBW8TS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crossing number inequality#5WOO, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples S8WXANXMR6
| URI | m2://inv/S8WXANXMR6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Presentation complex#QV0Z, Examples (example)
History
- 2026-11-02: add by m2/dev
S8X7T89S99 S8X7T89S99
| URI | m2://inv/S8X7T89S99 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/choice/vitali.tex#proof-6 (proof). In PKGMM3P5QY, proof, section 71.6
History
- 2026-11-01: add by m2/v0.6.13
Uniform concentration over $g$ S8X88A6BAX
| URI | m2://inv/S8X88A6BAX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03303#YD89, Uniform concentration over $g$ (statement). In VS9KKQWEMX/e1, theorem B.5
History
- 2026-10-29: add by m2/v0.4.12
Euler's formula S8XF83127P
| URI | m2://inv/S8XF83127P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Euler's formula 04R3CY41VJ |
Mentions
- wikidata: Wikidata Q184871, Euler's formula (statement). Also MathWorld EulerFormula, nLab Euler's formula
- wikipedia: Wikipedia Euler's formula, Euler's formula (statement). Also Wikidata Q184871
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Semi-global integrability S8XHCWD9SF
| URI | m2://inv/S8XHCWD9SF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.12497#9LMB, Semi-global integrability (statement). In Z0SAF18JPP/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.2
Choosing the frequency resolution S8XRTRYER9
| URI | m2://inv/S8XRTRYER9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#DRU7, Choosing the frequency resolution (statement). In 1QSV7EQE3T/e1, corollary S15
History
- 2026-10-28: add by m2/v0.4.2
Constantin Carathéodory S8XTPMFEWA
| URI | m2://inv/S8XTPMFEWA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#CL9U, Constantin Carathéodory (topic)
History
- 2026-11-02: add by m2/dev
Limit formula S8XVBWFB68
| URI | m2://inv/S8XVBWFB68 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambek–Moser theorem#X72M, Limit formula (statement)
History
- 2026-11-02: add by m2/dev
Aban number S8XZ1GTGKD
| URI | m2://inv/S8XZ1GTGKD |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q120336202, Aban number (object). Also MathWorld AbanNumber
History
- 2026-10-26: add by m2/dev
S8Y3A3N5Y1 S8Y3A3N5Y1
| URI | m2://inv/S8Y3A3N5Y1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/henkin-expansions.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 11.3
History
- 2026-11-01: add by m2/v0.6.13
Method of image charges S8Y7THYSWC
| URI | m2://inv/S8Y7THYSWC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of image charges, Method of image charges (definition). Also Wikidata Q1372220
History
- 2026-11-02: add by m2/dev
Definition S8YB0MQKPT
| URI | m2://inv/S8YB0MQKPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional-theoretic algebra#IO11, Definition (definition)
History
- 2026-11-02: add by m2/dev
S8YJJCBFTB S8YJJCBFTB
| URI | m2://inv/S8YJJCBFTB |
|---|---|
| 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.22268#V212 (statement). In 9ZD87293QS/e1, corollary 3.8
History
- 2026-10-27: add by m2/v0.4.0
S8YP2V0067 S8YP2V0067
| URI | m2://inv/S8YP2V0067 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-257 (exercise). In VNMV985MXX, exercise, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
S8YT744THQ S8YT744THQ
| URI | m2://inv/S8YT744THQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#M2RC (definition). In 4WPYBTARS2/e1, definition 3.6
History
- 2026-10-29: add by m2/v0.4.12
Swizzling (computer graphics) S8Z2DEX0X6
| URI | m2://inv/S8Z2DEX0X6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#592A, Swizzling (computer graphics) (unknown)
History
- 2026-11-02: add by m2/dev
function, injective S8Z354ZQ9D
| URI | m2://inv/S8Z354ZQ9D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.6/function-injective, function, injective (concept). In N54F33XE07, index, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
S8ZAM6X8J5 S8ZAM6X8J5
| URI | m2://inv/S8ZAM6X8J5 |
|---|---|
| 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.28195#FMQY (statement)
History
- 2026-11-01: add by m2/v0.6.15
complex S8ZE7HRX19
| URI | m2://inv/S8ZE7HRX19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#YWBM, complex (definition)
History
- 2026-11-02: add by m2/dev
S8ZFJN3SD4 S8ZFJN3SD4
| URI | m2://inv/S8ZFJN3SD4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06458#XUHB (statement). In 4X93XG8NMD/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Relational algebra S8ZGVQQSNN
| URI | m2://inv/S8ZGVQQSNN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#81DL, Relational algebra (topic)
History
- 2026-11-02: add by m2/dev
Factor (von Neumann algebra) S8ZJ34BJE6
| URI | m2://inv/S8ZJ34BJE6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann algebra#MMEV, Factor (von Neumann algebra) (unknown)
History
- 2026-11-02: add by m2/dev
Gary Cunningham S8ZM6ZJNM4
| URI | m2://inv/S8ZM6ZJNM4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#2MLG, Gary Cunningham (unknown)
History
- 2026-11-02: add by m2/dev
Haim Hanani S8ZMQK0GKS
| URI | m2://inv/S8ZMQK0GKS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haim Hanani, Haim Hanani (topic). Also Wikidata Q5639296
History
- 2026-11-02: add by m2/dev