Inventory rows AC
The cards of the rows of the inventory whose ids start with AC. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
AC04CNB3YS AC04CNB3YS
| URI | m2://inv/AC04CNB3YS |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degree diameter problem#16QP (problem)
History
- 2026-11-02: add by m2/dev
Conway–Smith graph AC07B788QN
| URI | m2://inv/AC07B788QN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115475, Conway–Smith graph (unknown). Also House of Graphs 979, MathWorld Conway-SmithGraph
History
- 2026-10-26: add by m2/dev
AC07RSTKK0 AC07RSTKK0
| URI | m2://inv/AC07RSTKK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#G6HR (statement). In 6HJQXZS0A6/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
AC0BRMH1PZ AC0BRMH1PZ
| URI | m2://inv/AC0BRMH1PZ |
|---|---|
| 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.24860#04TW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Beautiful Young Minds AC0KSV9DPK
| URI | m2://inv/AC0KSV9DPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beautiful Young Minds, Beautiful Young Minds (definition). Also Wikidata Q4877847
History
- 2026-11-02: add by m2/dev
Eudoxus of Cnidus AC0SAT5QDY
| URI | m2://inv/AC0SAT5QDY |
|---|---|
| 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 Q185150, Eudoxus of Cnidus (unknown). Also ProofWiki Mathematician:Eudoxus_of_Cnidus
- wikipedia: Wikipedia Eudoxus of Cnidus, Eudoxus of Cnidus (topic). Also Wikidata Q185150
History
- 2026-10-26: add by m2/dev
Soft-hair resolution to the paradox AC1GBH45R9
| URI | m2://inv/AC1GBH45R9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black hole information paradox#UFW1, Soft-hair resolution to the paradox (statement)
History
- 2026-11-02: add by m2/dev
geometric property AC1JFYZJTA
| URI | m2://inv/AC1JFYZJTA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#PALR, geometric property (definition)
History
- 2026-11-02: add by m2/dev
Examples AC1MM5DMK7
| URI | m2://inv/AC1MM5DMK7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seminorm#7BXE, Examples (example)
History
- 2026-11-02: add by m2/dev
AC1QTHY0NS AC1QTHY0NS
| URI | m2://inv/AC1QTHY0NS |
|---|---|
| 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 2212.05398#6HWG (statement). In WQKQ8438M7/e1, lemma 1.4
History
- 2026-10-27: add by m2/v0.3.5
recursively axiomatizable theory AC1W7794JJ
| URI | m2://inv/AC1W7794JJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#SYU8, recursively axiomatizable theory (definition)
History
- 2026-11-02: add by m2/dev
SIS AC1Z01RQ3G
| URI | m2://inv/AC1Z01RQ3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#FU2T, SIS (definition)
History
- 2026-11-02: add by m2/dev
AC23NNPXN4 AC23NNPXN4
| URI | m2://inv/AC23NNPXN4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-3.xml#example-1 (example). In 649HGZKE96, example, section 2.3.2
History
- 2026-11-01: add by m2/v0.6.13
Lorenzo Peña AC24NKVSNZ
| URI | m2://inv/AC24NKVSNZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorenzo Peña, Lorenzo Peña (topic). Also Wikidata Q5979081
History
- 2026-11-02: add by m2/dev
AC27BGFQ5G AC27BGFQ5G
| URI | m2://inv/AC27BGFQ5G |
|---|---|
| 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.14458#DLJ5 (statement). In WJ76MVYAZQ/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
AC29KJF1ZW AC29KJF1ZW
| URI | m2://inv/AC29KJF1ZW |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/ch_probmeth.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 11.1
History
- 2026-11-01: add by m2/v0.6.13
Behrend's construction AC2A4EJ4KC
| URI | m2://inv/AC2A4EJ4KC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Additive combinatorics > Behrend's construction, Behrend's construction (unknown). Also Mathlib Behrend.roth_lower_bound
History
- 2026-10-26: add by m2/dev
AC2CJ40YM0 AC2CJ40YM0
| URI | m2://inv/AC2CJ40YM0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#8FNX (definition). In W4TYN4PGE8/e1, definition 2.58
History
- 2026-10-27: add by m2/v0.3.5
microlocal AC2CRJB4S0
| URI | m2://inv/AC2CRJB4S0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#CVR4, microlocal (definition)
History
- 2026-11-02: add by m2/dev
Abstract homotopy theory AC2PGDSDPB
| URI | m2://inv/AC2PGDSDPB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#U91P, Abstract homotopy theory (definition)
History
- 2026-11-02: add by m2/dev
AC2RFHQ1BF AC2RFHQ1BF
| URI | m2://inv/AC2RFHQ1BF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40191#8JGK (statement). In F0D8VSM4Z4/e1, theorem 6.11
History
- 2026-10-30: add by m2/v0.4.12
faithful AC2T52PWTR
| URI | m2://inv/AC2T52PWTR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#6MXD, faithful (definition)
History
- 2026-11-02: add by m2/dev
AC2ZRG4PB8 AC2ZRG4PB8
| URI | m2://inv/AC2ZRG4PB8 |
|---|---|
| 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.09735#NCTZ (statement). In C518KB563H/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
AC32CCARBJ AC32CCARBJ
| URI | m2://inv/AC32CCARBJ |
|---|---|
| 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.19086#8CKM (statement). In RDW99P4ZZJ/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Alternatives to general relativity AC39E2THWM
| URI | m2://inv/AC39E2THWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternatives to general relativity, Alternatives to general relativity (definition). Also Wikidata Q3702775
History
- 2026-11-02: add by m2/dev
kissing number problem AC3TKGFPT0
| URI | m2://inv/AC3TKGFPT0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Kissing number B408FZYXF9 |
Mentions
- wikidata: Wikidata Q1371530, kissing number problem (problem). Also MathWorld KissingNumber
- wikipedia: Wikipedia Kissing number, Kissing number (definition). Also Wikidata Q1371530
History
- 2026-10-26: add by m2/dev
AC3YN9PT8H AC3YN9PT8H
| URI | m2://inv/AC3YN9PT8H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21098#ALOJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
PH = PSPACE problem AC42756QBA
| URI | m2://inv/AC42756QBA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#87I2, PH = PSPACE problem (definition)
History
- 2026-11-02: add by m2/dev
AC47N1ECHT AC47N1ECHT
| URI | m2://inv/AC47N1ECHT |
|---|---|
| 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.18226#5TV8 (statement). In B3EHT1FRM5/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Pool-based learning, Theorem 3 of \protect AC4DS3RQGC
| URI | m2://inv/AC4DS3RQGC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27241#PEIJ, Pool-based learning, Theorem 3 of \protect (statement)
History
- 2026-11-01: add by m2/v0.6.15
Van den Berg–Kesten inequality AC4PVDR6YA
| URI | m2://inv/AC4PVDR6YA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van den Berg–Kesten inequality#UGIC, Van den Berg–Kesten inequality (statement)
History
- 2026-11-02: add by m2/dev
Lattice reciprocity AC4VSGWMDK
| URI | m2://inv/AC4VSGWMDK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#CXRD, Lattice reciprocity (statement). In HF7YNMW39N/e1, proposition 11.2
History
- 2026-10-27: add by m2/v0.4.0
AC4WW0RFKW AC4WW0RFKW
| URI | m2://inv/AC4WW0RFKW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ord-arithmetic/addition.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 71.8
History
- 2026-11-01: add by m2/v0.6.13
AC4YEX4N20 AC4YEX4N20
| URI | m2://inv/AC4YEX4N20 |
|---|---|
| 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 2103.12669#WTEL (statement). In ZA6XNBA90V/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
AC52V7WVTD AC52V7WVTD
| URI | m2://inv/AC52V7WVTD |
|---|---|
| Kind | definition |
| 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.27800#K87T (definition)
History
- 2026-11-01: add by m2/v0.6.15
AC54PC3TT4 AC54PC3TT4
| URI | m2://inv/AC54PC3TT4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-47 (exercise). In E59CDZA4DP, exercise, section 4.4.3
History
- 2026-11-01: add by m2/v0.6.13
AC54Q3ZECV AC54Q3ZECV
| URI | m2://inv/AC54Q3ZECV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-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.03138#5W57 (statement). In P5SY7AVP5E/e1, lemma 6.7
History
- 2026-10-29: add by m2/v0.4.12
AC55B3MCF5 AC55B3MCF5
| URI | m2://inv/AC55B3MCF5 |
|---|---|
| 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.36456#TIRZ (statement). In E3MBNAPCQG/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
AC57214YPQ AC57214YPQ
| URI | m2://inv/AC57214YPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.01302#5BDT (statement). In KTQS6YPA4E/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.3.5
10001 AC5C3KJPJH
| URI | m2://inv/AC5C3KJPJH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q21043231, 10001 (statement). Also ProofWiki 10,001
History
- 2026-10-26: add by m2/dev
AC5CZAXYQS AC5CZAXYQS
| URI | m2://inv/AC5CZAXYQS |
|---|---|
| Kind | conjecture |
| 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.27800#R972 (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Bolzano–Cauchy theorem AC5D3WRA9T
| URI | m2://inv/AC5D3WRA9T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#2WG3, Bolzano–Cauchy theorem (statement)
History
- 2026-11-02: add by m2/dev
AC5DSZ6WTT AC5DSZ6WTT
| URI | m2://inv/AC5DSZ6WTT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/normalization/translations.tex#cor-2 (statement). In PKGMM3P5QY, cor, section 59.4
History
- 2026-11-01: add by m2/v0.6.13
Rolf Noskwith AC5GXNZDYD
| URI | m2://inv/AC5GXNZDYD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rolf Noskwith, Rolf Noskwith (topic). Also Wikidata Q1339153
History
- 2026-11-02: add by m2/dev
Open Mapping Theorem AC5KM33RZT
| URI | m2://inv/AC5KM33RZT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Webbed space#TZQ2, Open Mapping Theorem (statement)
History
- 2026-11-02: add by m2/dev
Richard Montague AC5QVD0578
| URI | m2://inv/AC5QVD0578 |
|---|---|
| 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 Q536528, Richard Montague (unknown). Also nLab Richard Montague
- wikipedia: Wikipedia Richard Montague, Richard Montague (topic). Also Wikidata Q536528
History
- 2026-10-26: add by m2/dev
AC63604E39 AC63604E39
| URI | m2://inv/AC63604E39 |
|---|---|
| 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 2610.12888#6N31 (definition). In ZNX7Y5CWS1/e1, definition 2.1.1
History
- 2026-10-28: add by m2/v0.4.2
AC67HB076C AC67HB076C
| URI | m2://inv/AC67HB076C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-32 (exercise). In E9HS8K3A52, exercise, section 7.2.7
History
- 2026-11-01: add by m2/v0.6.13
Representations AC68215FBR
| URI | m2://inv/AC68215FBR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cube#RO7D, Representations (definition)
History
- 2026-11-02: add by m2/dev
Kripke structure AC6ABQF44K
| URI | m2://inv/AC6ABQF44K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#MY9R, Kripke structure (definition)
History
- 2026-11-02: add by m2/dev
AC6D33A4XB AC6D33A4XB
| URI | m2://inv/AC6D33A4XB |
|---|---|
| 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.27114#HW7R (statement)
History
- 2026-11-01: add by m2/v0.6.15
AC6HEV0ACA AC6HEV0ACA
| URI | m2://inv/AC6HEV0ACA |
|---|---|
| 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#SBMB (statement). In 68AE571S4P/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
AC6NFBMBSF AC6NFBMBSF
| URI | m2://inv/AC6NFBMBSF |
|---|---|
| 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.30732#8H94 (statement). In Q9ZPYJEHT2/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
Birman–Wenzl algebra AC6W451N76
| URI | m2://inv/AC6W451N76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birman–Wenzl algebra, Birman–Wenzl algebra (definition). Also Wikidata Q4916564
History
- 2026-11-02: add by m2/dev
Admissible representation AC6X25AVW6
| URI | m2://inv/AC6X25AVW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Admissible representation, Admissible representation (definition). Also Wikidata Q4683806
History
- 2026-11-02: add by m2/dev
Lottery paradox AC741WH7H3
| URI | m2://inv/AC741WH7H3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lottery paradox, Lottery paradox (statement). Also Wikidata Q4344861
History
- 2026-11-02: add by m2/dev
Spiral of Theodorus AC7AC7AS9A
| URI | m2://inv/AC7AC7AS9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#CKSN, Spiral of Theodorus (definition)
- wikipedia: Wikipedia List of mathematical shapes#SRTO, Spiral of Theodorus (definition)
History
- 2026-11-02: add by m2/dev
AC7TFT0DP6 AC7TFT0DP6
| URI | m2://inv/AC7TFT0DP6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15744#T1IE (definition). In NV3PBZGBB7/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Definition AC7VCQYKB2
| URI | m2://inv/AC7VCQYKB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Killing form#00KL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Whitehead orbibundle description AC7YKGTHQ8
| URI | m2://inv/AC7YKGTHQ8 |
|---|---|
| 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#IXQ8, Whitehead orbibundle description (statement)
History
- 2026-11-01: add by m2/v0.6.15
Minimal axioms for Boolean algebra AC7YYDGA7H
| URI | m2://inv/AC7YYDGA7H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#AKTX, Minimal axioms for Boolean algebra (unknown)
History
- 2026-11-02: add by m2/dev
facient AC8AFHKDRJ
| URI | m2://inv/AC8AFHKDRJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#C984, facient (definition)
History
- 2026-11-02: add by m2/dev
Deprivation index AC8F9ZTE8X
| URI | m2://inv/AC8F9ZTE8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deprivation index, Deprivation index (definition). Also Wikidata Q16947684
History
- 2026-11-02: add by m2/dev
AC8NTRA90H AC8NTRA90H
| URI | m2://inv/AC8NTRA90H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-60 (exercise). In E9HS8K3A52, exercise, section 6.5.2
History
- 2026-11-01: add by m2/v0.6.13
Relative spectral stability AC8P2PBC9C
| URI | m2://inv/AC8P2PBC9C |
|---|---|
| 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.05388#S2S0, Relative spectral stability (statement). In 4HJK1986EJ/e1, proposition C.4
History
- 2026-10-29: add by m2/v0.4.10
Lévy's continuity theorem AC8S5MP6G5
| URI | m2://inv/AC8S5MP6G5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OYEN, Lévy's continuity theorem (statement)
History
- 2026-11-02: add by m2/dev
Giacinto Morera AC8SPGJ8YG
| URI | m2://inv/AC8SPGJ8YG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#5PRV, Giacinto Morera (unknown)
History
- 2026-11-02: add by m2/dev
A centered absolute-deviation inequality AC8SZ82XEK
| URI | m2://inv/AC8SZ82XEK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38243#1WC4, A centered absolute-deviation inequality (statement). In R03K2N7FRF/e1, lemma C.3
History
- 2026-10-30: add by m2/v0.4.12
AC8YBVYCDY AC8YBVYCDY
| URI | m2://inv/AC8YBVYCDY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.21255#4VWG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Combinatorial optimization using quantum algorithms AC90283S03
| URI | m2://inv/AC90283S03 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum optimization algorithms#4FHH, Combinatorial optimization using quantum algorithms (unknown)
History
- 2026-11-02: add by m2/dev
AC95G5EA8D AC95G5EA8D
| URI | m2://inv/AC95G5EA8D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.09294#HCTA (statement). In 2WZQC0TKVK/e1, theorem 3.9
History
- 2026-10-27: add by m2/v0.3.5
AC98BBAJ2V AC98BBAJ2V
| URI | m2://inv/AC98BBAJ2V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#XB2P (statement). In J7ZX3WWRQP/e1, proposition 2.23
History
- 2026-10-28: add by m2/v0.4.2
Raphael Finkel AC9A51EDZH
| URI | m2://inv/AC9A51EDZH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BTS6, Raphael Finkel (unknown)
History
- 2026-11-02: add by m2/dev
Cauchy's mean value theorem AC9FBAR129
| URI | m2://inv/AC9FBAR129 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/3.2.3/cauchy-s-mean-value-theorem, Cauchy's mean value theorem (concept). In E59CDZA4DP, index, section 3.2.3
History
- 2026-11-01: add by m2/v0.6.13
(Tuleta #3) AC9G8RMWN6
| URI | m2://inv/AC9G8RMWN6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#NEEW, (Tuleta #3) (unknown)
History
- 2026-11-02: add by m2/dev
AC9J95P1JJ AC9J95P1JJ
| URI | m2://inv/AC9J95P1JJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#AXKV (statement). In JW8HH6EPG2/e1, lemma 5.8
History
- 2026-10-29: add by m2/v0.4.10
AC9JDD3FPK AC9JDD3FPK
| URI | m2://inv/AC9JDD3FPK |
|---|---|
| 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.01561#SC2Z (statement). In W4G7BCHYEW/e1, theorem 1.9
History
- 2026-10-29: add by m2/v0.4.12
Abbe diffraction limit AC9KP7FBSB
| URI | m2://inv/AC9KP7FBSB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffraction-limited system#NUSC, Abbe diffraction limit (unknown)
History
- 2026-11-02: add by m2/dev
Conditional linearization AC9V6X6ETV
| URI | m2://inv/AC9V6X6ETV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28198#Y49J, Conditional linearization (statement)
History
- 2026-11-01: add by m2/v0.6.15
Variations AC9XFZW7TZ
| URI | m2://inv/AC9XFZW7TZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delphi method#ZY7W, Variations (statement)
History
- 2026-11-02: add by m2/dev
Strengthened finite Ramsey theorem AC9YJ8WWJ9
| URI | m2://inv/AC9YJ8WWJ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paris–Harrington theorem#63IX, Strengthened finite Ramsey theorem (statement)
History
- 2026-11-02: add by m2/dev
Kreiss matrix theorem ACA0496G5N
| URI | m2://inv/ACA0496G5N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kreiss matrix theorem, Kreiss matrix theorem (statement). Also Wikidata Q122973568
History
- 2026-11-02: add by m2/dev
ACA0V75PN3 ACA0V75PN3
| URI | m2://inv/ACA0V75PN3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#KHVW (definition). In JXTG8KP95P/e1, definition 2.28
History
- 2026-10-30: add by m2/v0.4.12
Dimensionless Hubble constant ACA4NCQQVM
| URI | m2://inv/ACA4NCQQVM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hubble's law#PDE4, Dimensionless Hubble constant (unknown)
History
- 2026-11-02: add by m2/dev
Turing scheme ACAPVFVK6T
| URI | m2://inv/ACAPVFVK6T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#RPTX, Turing scheme (unknown)
History
- 2026-11-02: add by m2/dev
Factor-sixteen parent comparison ACB4VBAXQ4
| URI | m2://inv/ACB4VBAXQ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#BJ7G, Factor-sixteen parent comparison (statement)
History
- 2026-11-01: add by m2/v0.6.15
ACB4WFX69B ACB4WFX69B
| URI | m2://inv/ACB4WFX69B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00134#ZIBI (statement). In S654779J5P/e1, corollary
History
- 2026-10-30: add by m2/v0.4.12
Expansion Preserving Gravity ACB5SMSSVV
| URI | m2://inv/ACB5SMSSVV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#7W6J, Expansion Preserving Gravity (definition). In 5E9G06XJKC/e1, definition D.2
History
- 2026-10-28: add by m2/v0.4.2
ACB6NV3C8W ACB6NV3C8W
| URI | m2://inv/ACB6NV3C8W |
|---|---|
| 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.20656#8O0M (statement)
History
- 2026-11-02: add by m2/v0.6.18
Optimal Learning by Deep Networks ACBMC043R2
| URI | m2://inv/ACBMC043R2 |
|---|---|
| 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 2212.14457#STLH, Optimal Learning by Deep Networks (statement). In PNRHHWGHM2/e1, corollary 3.7
History
- 2026-10-27: add by m2/v0.3.6
Examples ACBMRGP8SD
| URI | m2://inv/ACBMRGP8SD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atmospheric reanalysis#BPYX, Examples (example)
History
- 2026-11-02: add by m2/dev
ACBQV6EEXH ACBQV6EEXH
| URI | m2://inv/ACBQV6EEXH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_complex.ptx#proof-1 (proof). In QKM9DD2H56, proof, section B.18.1
History
- 2026-11-01: add by m2/v0.6.13
ACC2CH9MKG ACC2CH9MKG
| URI | m2://inv/ACC2CH9MKG |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_finite-sets.ptx#conjecture-1 (conjecture). In QKM9DD2H56, conjecture, section B.5
History
- 2026-11-01: add by m2/v0.6.13
ACCB9E0PRP ACCB9E0PRP
| URI | m2://inv/ACCB9E0PRP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#E6LM (statement). In F3BKXXPR3K/e1, proposition 3.14
History
- 2026-10-27: add by m2/v0.4.2
cryptography ACCFE3Y5ZS
| URI | m2://inv/ACCFE3Y5ZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8789, cryptography (definition). Also ProofWiki Definition:Cryptography
- wikipedia: Wikipedia Cryptography, Cryptography (definition). Also Wikidata Q8789
History
- 2026-10-26: add by m2/dev
ACCGSJHKNJ ACCGSJHKNJ
| URI | m2://inv/ACCGSJHKNJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37093#FYSY (statement). In GA6QH32CJQ/e1, theorem 12
History
- 2026-10-30: add by m2/v0.4.12
Definition ACCGSVF99H
| URI | m2://inv/ACCGSVF99H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie coalgebra#RU7S, Definition (definition)
History
- 2026-11-02: add by m2/dev
Cap set problem ACCQKG4VR6
| URI | m2://inv/ACCQKG4VR6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#HOTI, Cap set problem (definition)
History
- 2026-11-02: add by m2/dev
Tutte–Coxeter graph ACCRHQ8RP1
| URI | m2://inv/ACCRHQ8RP1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115542, Tutte–Coxeter graph (unknown). Also House of Graphs 1208, MathWorld Tutte8-Cage
- wikipedia: Wikipedia Tutte–Coxeter graph, Tutte–Coxeter graph (definition). Also Wikidata Q3115542
History
- 2026-10-26: add by m2/dev
Rate Transfer Theorem ACCT4YGVDJ
| URI | m2://inv/ACCT4YGVDJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.18739#IIW0, Rate Transfer Theorem (statement). In VGJXQRC44C/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
ACCV6T3KXK ACCV6T3KXK
| URI | m2://inv/ACCV6T3KXK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-16 (exercise). In E59CDZA4DP, exercise, section 11.9.6
History
- 2026-11-01: add by m2/v0.6.13
Long-range spin-wave free energy ACCX51KAQ0
| URI | m2://inv/ACCX51KAQ0 |
|---|---|
| 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.10736#LKOO, Long-range spin-wave free energy (statement). In NCYKB4QG5P/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.3
ACD17PN8BR ACD17PN8BR
| URI | m2://inv/ACD17PN8BR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09704#YKE2 (statement). In FNG4B47MRV/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
24-cell honeycomb ACD7CE92SJ
| URI | m2://inv/ACD7CE92SJ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 24-cell honeycomb, 24-cell honeycomb (object). Also Wikidata Q4631733
History
- 2026-11-02: add by m2/dev
ACD8JSVVVQ ACD8JSVVVQ
| URI | m2://inv/ACD8JSVVVQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#example-2 (example). In E59CDZA4DP, example, section 9.1.1
History
- 2026-11-01: add by m2/v0.6.13
Cosine ACDGQDNB3Y
| URI | m2://inv/ACDGQDNB3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#CJTB, Cosine (definition)
History
- 2026-11-02: add by m2/dev
Metalog distribution ACDHQMTY5N
| URI | m2://inv/ACDHQMTY5N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#O8NW, Metalog distribution (definition)
History
- 2026-11-02: add by m2/dev
ACDJ73WDX2 ACDJ73WDX2
| URI | m2://inv/ACDJ73WDX2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#thm-5 (statement). In N54F33XE07, thm, section 7.10
History
- 2026-11-01: add by m2/v0.6.13
Preimage theorem ACE0ZQMYZ8
| URI | m2://inv/ACE0ZQMYZ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7239984, Preimage theorem (statement). Also Wikidata Q7239984
- thousand_plus: thousand_plus Q7239984, Preimage theorem (statement). Also Wikidata Q7239984, Wikipedia Preimage theorem
- wikipedia: Wikipedia Preimage theorem, Preimage theorem (statement). Also Wikidata Q7239984
History
- 2026-10-26: add by m2/dev
Codes among the vertices of the $600$-cell ACE1HS1BW1
| URI | m2://inv/ACE1HS1BW1 |
|---|---|
| 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#W6OQ, Codes among the vertices of the $600$-cell (statement)
History
- 2026-11-01: add by m2/v0.6.15
ACE5P0T794 ACE5P0T794
| URI | m2://inv/ACE5P0T794 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07673#4HO2 (statement). In 37B1MPV8GX/e1, theorem 2.5
History
- 2026-10-29: add by m2/v0.4.10
Hydrology ACE9HFYS59
| URI | m2://inv/ACE9HFYS59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hydrology, Hydrology (definition). Also Wikidata Q42250
History
- 2026-11-02: add by m2/dev
ACEAE1FCKC ACEAE1FCKC
| URI | m2://inv/ACEAE1FCKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17571#E4M7 (statement). In SWFN2HCEE7/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
ACEAHZZB70 ACEAHZZB70
| URI | m2://inv/ACEAHZZB70 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/classing.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 70.2
History
- 2026-11-01: add by m2/v0.6.13
ACEB2N0DCV ACEB2N0DCV
| URI | m2://inv/ACEB2N0DCV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35691#7L24 (statement). In G7R61RPWE2/e1, proposition 3.5
History
- 2026-10-30: add by m2/v0.4.12
ACEBS8K1S3 ACEBS8K1S3
| URI | m2://inv/ACEBS8K1S3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03837#BMQQ (statement). In TX88QS0A8M/e1, lemma 12
History
- 2026-10-29: add by m2/v0.4.12
ACEBZJ4EDR ACEBZJ4EDR
| URI | m2://inv/ACEBZJ4EDR |
|---|---|
| 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.01818#060R (statement). In DA31J9XJ4J/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.12
Antoine's necklace ACED261M2K
| URI | m2://inv/ACED261M2K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#FPCJ, Antoine's necklace (definition)
History
- 2026-11-02: add by m2/dev
Carol S. Woodward ACEQFR03FP
| URI | m2://inv/ACEQFR03FP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carol S. Woodward, Carol S. Woodward (topic). Also Wikidata Q29572905
History
- 2026-11-02: add by m2/dev
ACES2P3XM5 ACES2P3XM5
| URI | m2://inv/ACES2P3XM5 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.09645#9P8W (problem). In HVDSC1GQRD/e1, problem 3.10
History
- 2026-10-27: add by m2/v0.3.5
Englert–Greenberger duality relation ACEVY1E8YA
| URI | m2://inv/ACEVY1E8YA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#DUYU, Englert–Greenberger duality relation (unknown)
History
- 2026-11-02: add by m2/dev
Basic properties ACEW7TQ8RR
| URI | m2://inv/ACEW7TQ8RR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhombus#OYS6, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Bridgeless graph ACF14C2SJB
| URI | m2://inv/ACF14C2SJB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bridge (graph theory)#2QWC, Bridgeless graph (unknown)
History
- 2026-11-02: add by m2/dev
Platonic solid fractal ACF84Y87C5
| URI | m2://inv/ACF84Y87C5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-flake#AOXQ, Platonic solid fractal (unknown)
History
- 2026-11-02: add by m2/dev
Discrete rototranslations ACFEFZB5C4
| URI | m2://inv/ACFEFZB5C4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36237#O6K0, Discrete rototranslations (example). In JNBMSFE14N/e1, example 3.12
History
- 2026-10-30: add by m2/v0.4.12
ACFF125QTS ACFF125QTS
| URI | m2://inv/ACFF125QTS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/quasi-proj.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 24.4
History
- 2026-11-01: add by m2/v0.6.13
ACFN613BVR ACFN613BVR
| URI | m2://inv/ACFN613BVR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24007#PACY (statement)
History
- 2026-11-02: add by m2/v0.6.17
ACG0TRNBE0 ACG0TRNBE0
| URI | m2://inv/ACG0TRNBE0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
ACG36NRP1J ACG36NRP1J
| URI | m2://inv/ACG36NRP1J |
|---|---|
| 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 2403.15043#T5N8 (statement). In QDE21RT0T2/e1, lemma A.1
History
- 2026-10-27: add by m2/v0.3.5
Properties ACG6WEG96W
| URI | m2://inv/ACG6WEG96W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moser regularization#2OAO, Properties (statement)
History
- 2026-11-02: add by m2/dev
Simultaneous rounding in arbitrary matrix dimension ACH0W4Y2E5
| URI | m2://inv/ACH0W4Y2E5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#UC1T, Simultaneous rounding in arbitrary matrix dimension (statement). In 9YAE8FNQST/e1, theorem 8.12
History
- 2026-10-30: add by m2/v0.4.12
Minimum-weight triangulation ACH4NNA0NT
| URI | m2://inv/ACH4NNA0NT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum-weight triangulation, Minimum-weight triangulation (definition). Also Wikidata Q6865406
History
- 2026-11-02: add by m2/dev
ACH5SAVKJC ACH5SAVKJC
| URI | m2://inv/ACH5SAVKJC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0810.0962#YKAI (statement). In 80YMRN5KS9/e1, corollary 11
History
- 2026-10-27: add by m2/v0.3.5
ACH94QY286 ACH94QY286
| URI | m2://inv/ACH94QY286 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08594#VGUA (statement). In FEE70SSD96/e1, proposition C.2
History
- 2026-10-29: add by m2/v0.4.10
ACHB66HX6M ACHB66HX6M
| URI | m2://inv/ACHB66HX6M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33573#V3Y7 (statement). In ZT1Q1XDQ1W/e1, corollary 5.1
History
- 2026-10-30: add by m2/v0.4.12
Terminal wealth decomposition and admissibility ACHBMD47QY
| URI | m2://inv/ACHBMD47QY |
|---|---|
| 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.08631#BXF0, Terminal wealth decomposition and admissibility (statement). In 3YQNR18XB3/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
ACHJ742TT6 ACHJ742TT6
| URI | m2://inv/ACHJ742TT6 |
|---|---|
| Kind | definition |
| 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.27136#0NVB (definition)
History
- 2026-11-01: add by m2/v0.6.15
Convex domains ACHKG06NTK
| URI | m2://inv/ACHKG06NTK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22407#N90P, Convex domains (statement)
History
- 2026-11-02: add by m2/v0.6.17
Generalizations ACHPFP5PBX
| URI | m2://inv/ACHPFP5PBX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block cipher#OP27, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
type, identity ACHXGM0530
| URI | m2://inv/ACHXGM0530 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.1/type-identity, type, identity (concept). In N54F33XE07, index, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Batch sizes fixed before sampling ACJ2GPG4A9
| URI | m2://inv/ACJ2GPG4A9 |
|---|---|
| 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.15202#9GVY, Batch sizes fixed before sampling (statement). In X1FPG0KYBM/e1, corollary 4.1
History
- 2026-10-28: add by m2/v0.4.2
ACJ9NJ99W1 ACJ9NJ99W1
| URI | m2://inv/ACJ9NJ99W1 |
|---|---|
| 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 0804.2115#TBO7 (statement). In B9XACVAC6X/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Examples ACJF123BZR
| URI | m2://inv/ACJF123BZR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymmetric graph#X6C8, Examples (example)
History
- 2026-11-02: add by m2/dev
ACJF3EZY99 ACJF3EZY99
| URI | m2://inv/ACJF3EZY99 |
|---|---|
| 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.26896#FP4V (statement)
History
- 2026-11-01: add by m2/v0.6.15
Olena Vaneeva ACJFWGZ2G1
| URI | m2://inv/ACJFWGZ2G1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olena Vaneeva, Olena Vaneeva (topic). Also Wikidata Q65197035
History
- 2026-11-02: add by m2/dev
ACJKTRZ4HN ACJKTRZ4HN
| URI | m2://inv/ACJKTRZ4HN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#definition-4 (definition). In RZP28ERRZV, definition, section 95.3
History
- 2026-11-01: add by m2/v0.6.13
partial equivalence relation ACJM3NMSWH
| URI | m2://inv/ACJM3NMSWH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7140366, partial equivalence relation (unknown). Also nLab partial equivalence relation
- wikipedia: Wikipedia Partial equivalence relation, Partial equivalence relation (definition). Also Wikidata Q7140366
History
- 2026-10-26: add by m2/dev
Properties ACJS9M56FE
| URI | m2://inv/ACJS9M56FE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Choquet integral#OF9N, Properties (statement)
History
- 2026-11-02: add by m2/dev
ACJYJGFMS3 ACJYJGFMS3
| URI | m2://inv/ACJYJGFMS3 |
|---|---|
| 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.10452#TVH8 (statement). In 2F4PNP1V3B/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.10
Generalizations ACJYWCJV3J
| URI | m2://inv/ACJYWCJV3J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane-based geometric algebra#JWWV, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Singmaster's conjecture ACJZDWF43Y
| URI | m2://inv/ACJZDWF43Y |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singmaster's conjecture, Singmaster's conjecture (conjecture). Also Wikidata Q2993335
History
- 2026-11-02: add by m2/dev
Restriction ACK13PYJ37
| URI | m2://inv/ACK13PYJ37 |
|---|---|
| Kind | definition |
| 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.25987#TTQL, Restriction (definition)
History
- 2026-11-01: add by m2/v0.6.15
ACK4RA4ZYP ACK4RA4ZYP
| URI | m2://inv/ACK4RA4ZYP |
|---|---|
| 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 2411.16655#4OLS (definition). In EJHAXRV685/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
ACK7Y5CA62 ACK7Y5CA62
| URI | m2://inv/ACK7Y5CA62 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05354#PBCV (statement). In TZ5BMDXRQZ/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
Eddington–Finkelstein coordinates ACK8XVF3W1
| URI | m2://inv/ACK8XVF3W1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eddington–Finkelstein coordinates, Eddington–Finkelstein coordinates (definition). Also Wikidata Q5336608
History
- 2026-11-02: add by m2/dev
Applications ACK8ZXA4FZ
| URI | m2://inv/ACK8ZXA4FZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Link group#5FVM, Applications (example)
History
- 2026-11-02: add by m2/dev
Rouse Ball Professor of Mathematics ACKX82JJ0K
| URI | m2://inv/ACKX82JJ0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rouse Ball Professor of Mathematics, Rouse Ball Professor of Mathematics (definition). Also Wikidata Q7371319
History
- 2026-11-02: add by m2/dev
indicative conditional ACM1FQQ12D
| URI | m2://inv/ACM1FQQ12D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#I2TR, indicative conditional (definition)
History
- 2026-11-02: add by m2/dev
Williams prime ACM2PERVXK
| URI | m2://inv/ACM2PERVXK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of prime numbers#9HSY, Williams prime (definition)
History
- 2026-11-02: add by m2/dev
Fundamental theorem of ultraproducts ACM3RHRHXN
| URI | m2://inv/ACM3RHRHXN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#ZRPL, Fundamental theorem of ultraproducts (definition)
History
- 2026-11-02: add by m2/dev
Complete cyclic fixed-space profile ACMACETJY3
| URI | m2://inv/ACMACETJY3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22082#EGHR, Complete cyclic fixed-space profile (statement). In 7PACGDW3N7/e1, theorem 8.2
History
- 2026-10-27: add by m2/v0.4.0
ACMR8A1TZA ACMR8A1TZA
| URI | m2://inv/ACMR8A1TZA |
|---|---|
| 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#97KE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Taylor ACMYHG443M
| URI | m2://inv/ACMYHG443M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#PI7X, Taylor (definition)
History
- 2026-11-02: add by m2/dev
Paul Townsend ACNAW6AARX
| URI | m2://inv/ACNAW6AARX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#WMV7, Paul Townsend (unknown)
History
- 2026-11-02: add by m2/dev
ACNRJ7K224 ACNRJ7K224
| URI | m2://inv/ACNRJ7K224 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exercise-15 (exercise). In Y91XFCEVHQ, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
Partial pivoting ACP0H1NNJA
| URI | m2://inv/ACP0H1NNJA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pivot element#FLGP, Partial pivoting (unknown)
History
- 2026-11-02: add by m2/dev
ACP0V00M8R ACP0V00M8R
| URI | m2://inv/ACP0V00M8R |
|---|---|
| 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.15160#YMP4 (statement). In 6FV4CCY1NX/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Properties ACP21YN6E4
| URI | m2://inv/ACP21YN6E4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Osculating circle#XWNZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Absolute infinite ACP2BSMQ6P
| URI | m2://inv/ACP2BSMQ6P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute infinite, Absolute infinite (definition). Also Wikidata Q912188
History
- 2026-11-02: add by m2/dev
Covering multiplicity ACPA1FD7S4
| URI | m2://inv/ACPA1FD7S4 |
|---|---|
| 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#P8OO, Covering multiplicity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Janina Hosiasson-Lindenbaum ACPKBKZ2Q7
| URI | m2://inv/ACPKBKZ2Q7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#1QCR, Janina Hosiasson-Lindenbaum (topic)
History
- 2026-11-02: add by m2/dev
ACPXRDG459 ACPXRDG459
| URI | m2://inv/ACPXRDG459 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05442#HRUR (statement). In WEPE51JCHZ/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
ACPZN4FM4B ACPZN4FM4B
| URI | m2://inv/ACPZN4FM4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#EDTO (statement)
History
- 2026-11-01: add by m2/v0.6.15
ACQ2C07ET6 ACQ2C07ET6
| URI | m2://inv/ACQ2C07ET6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/bezout.tex#proof-5 (proof). In RZP28ERRZV, proof, section 20.4
History
- 2026-11-01: add by m2/v0.6.13
Elena Freda ACQ6NHW838
| URI | m2://inv/ACQ6NHW838 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elena Freda, Elena Freda (topic). Also Wikidata Q3721424
History
- 2026-11-02: add by m2/dev
ACQ99D2Q8Y ACQ99D2Q8Y
| URI | m2://inv/ACQ99D2Q8Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/numfield.tex#definition-3 (definition). In RZP28ERRZV, definition, section 16.3
History
- 2026-11-01: add by m2/v0.6.13
ACQAFF6D4S ACQAFF6D4S
| URI | m2://inv/ACQAFF6D4S |
|---|---|
| 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.18419#PNA6 (statement). In 7Q26JWKD7E/e1, lemma 11
History
- 2026-10-28: add by m2/v0.4.2
Theorem ACQDNM1M47
| URI | m2://inv/ACQDNM1M47 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hausdorff dimension#EKFK, Theorem (statement)
History
- 2026-11-02: add by m2/dev
ACQGPGN93A ACQGPGN93A
| URI | m2://inv/ACQGPGN93A |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09295#FTTM (problem). In 29X0B511NF/e1, problem 11.3
History
- 2026-10-29: add by m2/v0.4.10
ACQMMETWT0 ACQMMETWT0
| URI | m2://inv/ACQMMETWT0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-181 (exercise). In VNMV985MXX, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
ACQMRYDR8C ACQMRYDR8C
| URI | m2://inv/ACQMRYDR8C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-6 (exercise). In E9HS8K3A52, exercise, section 2.1.3
History
- 2026-11-01: add by m2/v0.6.13
Schur–Weyl duality ACQR6PF4P8
| URI | m2://inv/ACQR6PF4P8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur–Weyl duality, Schur–Weyl duality (definition). Also Wikidata Q7433041
History
- 2026-11-02: add by m2/dev
independent ACQWXPY3SH
| URI | m2://inv/ACQWXPY3SH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#LQLX, independent (definition)
History
- 2026-11-02: add by m2/dev
ACR2PR65CZ ACR2PR65CZ
| URI | m2://inv/ACR2PR65CZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-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 2609.39389#HIQW (statement). In PP5RE0W4D8/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
manifold ACRA0NXT6F
| URI | m2://inv/ACRA0NXT6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#R2C4, manifold (definition)
History
- 2026-11-02: add by m2/dev
Barwise compactness theorem ACRDY7EZRJ
| URI | m2://inv/ACRDY7EZRJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#9XB0, Barwise compactness theorem (statement)
History
- 2026-11-02: add by m2/dev
Nine Elms ACREMCZRCX
| URI | m2://inv/ACREMCZRCX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#TVXI, Nine Elms (unknown)
History
- 2026-11-02: add by m2/dev
ACREQDPKPR ACREQDPKPR
| URI | m2://inv/ACREQDPKPR |
|---|---|
| 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.16518#R2XW (statement). In SAQBDG4FK1/e1, lemma C.1
History
- 2026-10-28: add by m2/v0.4.2
ACRZ8PR9YK ACRZ8PR9YK
| URI | m2://inv/ACRZ8PR9YK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05506#XUHN (statement). In FT53PMB1TE/e1, lemma 2.3.4
History
- 2026-10-29: add by m2/v0.4.10
ACS157HGSN ACS157HGSN
| URI | m2://inv/ACS157HGSN |
|---|---|
| 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.03864#9QQT (statement). In 41GB65CTBJ/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
ACS7090J6Z ACS7090J6Z
| URI | m2://inv/ACS7090J6Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0808.3741#NBCL (statement). In BBXEQ9QE7K/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
ACS7552447 ACS7552447
| URI | m2://inv/ACS7552447 |
|---|---|
| Kind | definition |
| 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.01753#2BZV (definition). In JY50YXMH5N/e1, definition 6
History
- 2026-10-29: add by m2/v0.4.12
Generalizations ACSAW27NVE
| URI | m2://inv/ACSAW27NVE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chi-squared distribution#R8SA, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Mantel test ACSCQ1YHNR
| URI | m2://inv/ACSCQ1YHNR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#614X, Mantel test (definition)
History
- 2026-11-02: add by m2/dev
ACSHFSWZ7Z ACSHFSWZ7Z
| URI | m2://inv/ACSHFSWZ7Z |
|---|---|
| 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 2609.25000#0FSE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Felix Arscott ACSHX4JHRP
| URI | m2://inv/ACSHX4JHRP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Felix Arscott, Felix Arscott (topic). Also Wikidata Q5442131
History
- 2026-11-02: add by m2/dev
Zeroth- and first-order monotonicity discrepancy ACSK4M9WJB
| URI | m2://inv/ACSK4M9WJB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-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.20998#2ATG, Zeroth- and first-order monotonicity discrepancy (example)
History
- 2026-11-02: add by m2/v0.6.18
ACT1JDTKCR ACT1JDTKCR
| URI | m2://inv/ACT1JDTKCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#A0N7 (statement). In 9B5TNEBJHV/e1, proposition 3.13
History
- 2026-10-29: add by m2/v0.4.10
Alternative plus sign ACT2N1FRPT
| URI | m2://inv/ACT2N1FRPT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plus and minus signs#POO8, Alternative plus sign (unknown)
History
- 2026-11-02: add by m2/dev
Péter Kiss ACTCB80ZHZ
| URI | m2://inv/ACTCB80ZHZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MJLG, Péter Kiss (unknown)
History
- 2026-11-02: add by m2/dev
Penrose graphical notation ACTFKDGFPB
| URI | m2://inv/ACTFKDGFPB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Penrose graphical notation, Penrose graphical notation (definition). Also Wikidata Q2069216
History
- 2026-11-02: add by m2/dev
Generalizations ACTH54S8GG
| URI | m2://inv/ACTH54S8GG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Piecewise linear function#0F1U, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
ACTN7KC53J ACTN7KC53J
| URI | m2://inv/ACTN7KC53J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-6.xml#ex-compose-reflections (exercise). In 649HGZKE96, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
saturation ACTSA9E21N
| URI | m2://inv/ACTSA9E21N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#0FL8, saturation (definition)
History
- 2026-11-02: add by m2/dev
ACV0P2W33R ACV0P2W33R
| URI | m2://inv/ACV0P2W33R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#9ZFH (definition). In G02N9D40B9/e1, definition 2.3.3
History
- 2026-10-29: add by m2/v0.4.10
Special cases ACV38Q85NZ
| URI | m2://inv/ACV38Q85NZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shallow minor#626O, Special cases (statement)
History
- 2026-11-02: add by m2/dev
ACV49YVK27 ACV49YVK27
| URI | m2://inv/ACV49YVK27 |
|---|---|
| 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.23871#32TH (statement)
History
- 2026-11-02: add by m2/v0.6.17
Feigenbaum function ACV6QBBXYS
| URI | m2://inv/ACV6QBBXYS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5441532, Feigenbaum function (unknown). Also MathWorld FeigenbaumFunction
- wikipedia: Wikipedia Feigenbaum function, Feigenbaum function (definition). Also Wikidata Q5441532
History
- 2026-10-26: add by m2/dev
Anomalous regularization ACVDWT392P
| URI | m2://inv/ACVDWT392P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25897#8HEN, Anomalous regularization (statement)
History
- 2026-11-01: add by m2/v0.6.15
Julius Wess ACVS4A5B33
| URI | m2://inv/ACVS4A5B33 |
|---|---|
| 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 Q78700, Julius Wess (unknown). Also nLab Julius Wess
History
- 2026-10-26: add by m2/dev
ACVSESBZH3 ACVSESBZH3
| URI | m2://inv/ACVSESBZH3 |
|---|---|
| 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.23470#FNS7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
David W. Lewis ACVW748Y0D
| URI | m2://inv/ACVW748Y0D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David W. Lewis (mathematician), David W. Lewis (topic). Also Wikidata Q102175647
History
- 2026-11-02: add by m2/dev
MCS algorithm ACW39FQPRD
| URI | m2://inv/ACW39FQPRD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MCS algorithm, MCS algorithm (definition). Also Wikidata Q6714997
History
- 2026-11-02: add by m2/dev
A uniformly good smoothing pencil ACW80VXEMJ
| URI | m2://inv/ACW80VXEMJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38013#FEVF, A uniformly good smoothing pencil (statement). In DQ6P0P6N78/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
Double vertical bar ACWA6SZH9P
| URI | m2://inv/ACWA6SZH9P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertical bar#BGAD, Double vertical bar (unknown)
History
- 2026-11-02: add by m2/dev
GCHQ ACWAR22NYM
| URI | m2://inv/ACWAR22NYM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GCHQ, GCHQ (definition). Also Wikidata Q220798
History
- 2026-11-02: add by m2/dev
Myles Hollander ACWKKFGSX9
| URI | m2://inv/ACWKKFGSX9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#ODPA, Myles Hollander (unknown)
History
- 2026-11-02: add by m2/dev
ACWNHF105M ACWNHF105M
| URI | m2://inv/ACWNHF105M |
|---|---|
| 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#4IVF (statement). In VDE5R8HBS1/e1, proposition 3.14
History
- 2026-10-27: add by m2/v0.3.5
Exponential window function ACWNWZB9MJ
| URI | m2://inv/ACWNWZB9MJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Window function#0WPD, Exponential window function (unknown)
History
- 2026-11-02: add by m2/dev
ACWXQS98Z9 ACWXQS98Z9
| URI | m2://inv/ACWXQS98Z9 |
|---|---|
| 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.03661#B6BK (statement). In ESDKTYDHC8/e1, corollary 15
History
- 2026-10-29: add by m2/v0.4.12
Arithmetic progression game ACX2W86DQT
| URI | m2://inv/ACX2W86DQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic progression game, Arithmetic progression game (definition). Also Wikidata Q60791353
History
- 2026-11-02: add by m2/dev
Applications ACX52MP3R7
| URI | m2://inv/ACX52MP3R7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barycentric subdivision#XK92, Applications (example)
History
- 2026-11-02: add by m2/dev
Weak convergence of pyramids ACX6K2C26G
| URI | m2://inv/ACX6K2C26G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27752#CS3O, Weak convergence of pyramids (definition)
History
- 2026-11-01: add by m2/v0.6.15
Alexandre Savérien ACXCEWMTMN
| URI | m2://inv/ACXCEWMTMN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexandre Savérien, Alexandre Savérien (topic). Also Wikidata Q2834016
History
- 2026-11-02: add by m2/dev
ACXCMF51MD ACXCMF51MD
| URI | m2://inv/ACXCMF51MD |
|---|---|
| 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.01803#RZY3 (statement). In J6N4X33BME/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.12
Discrete weighted transform ACXF2C1NFH
| URI | m2://inv/ACXF2C1NFH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Fourier transform over a ring#V7N6, Discrete weighted transform (unknown)
History
- 2026-11-02: add by m2/dev
ACXJ402DMH ACXJ402DMH
| URI | m2://inv/ACXJ402DMH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20018#7KET (definition)
History
- 2026-11-02: add by m2/v0.6.18
Polynomial expansion ACXRHSDJ8N
| URI | m2://inv/ACXRHSDJ8N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33327#I9SB, Polynomial expansion (statement). In A5R31P82BK/e1, corollary 8.13
History
- 2026-10-30: add by m2/v0.4.12
Theorems ACXYN19HWZ
| URI | m2://inv/ACXYN19HWZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subsequence#DFQ2, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Solar wind ACY65J54Q4
| URI | m2://inv/ACY65J54Q4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solar wind, Solar wind (definition). Also Wikidata Q79833
History
- 2026-11-02: add by m2/dev
Easy ACYC8MDNWB
| URI | m2://inv/ACYC8MDNWB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-10, Easy (exercise). In E59CDZA4DP, exercise, section 11.1.5
History
- 2026-11-01: add by m2/v0.6.13
Graph continuous function ACYN8XVKR6
| URI | m2://inv/ACYN8XVKR6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph continuous function, Graph continuous function (definition). Also Wikidata Q5597077
History
- 2026-11-02: add by m2/dev
ACYR4Q415S ACYR4Q415S
| URI | m2://inv/ACYR4Q415S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.03422#GHI3 (statement). In SF88CM0957/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
Hadamard product ACYR54PRMF
| URI | m2://inv/ACYR54PRMF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard product (matrices), Hadamard product (definition). Also Wikidata Q3406746
History
- 2026-11-02: add by m2/dev
Applications of sampling ACYT6771NW
| URI | m2://inv/ACYT6771NW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sampling (statistics)#YJLE, Applications of sampling (example)
History
- 2026-11-02: add by m2/dev
Single Sector Rate Threshold ACYTVH3BM7
| URI | m2://inv/ACYTVH3BM7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#7DX1, Single Sector Rate Threshold (definition). In 7MVPNFPRKB/e1, definition 8.6
History
- 2026-10-30: add by m2/v0.4.12
Victor Bangert ACYV0N3CW8
| URI | m2://inv/ACYV0N3CW8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victor Bangert, Victor Bangert (topic). Also Wikidata Q7925709
History
- 2026-11-02: add by m2/dev
Poincaré–Lelong equation ACYWHDYYE0
| URI | m2://inv/ACYWHDYYE0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Henri Poincaré#YN1G, Poincaré–Lelong equation (definition)
History
- 2026-11-02: add by m2/dev
Hyperoperation ACZ20Z0VPR
| URI | m2://inv/ACZ20Z0VPR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#5MW5, Hyperoperation (definition)
History
- 2026-11-02: add by m2/dev
lattice endomorphism ACZ5S3P2B1
| URI | m2://inv/ACZ5S3P2B1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice (order)#82QC, lattice endomorphism (definition)
- wikipedia: Wikipedia Lattice (order)#DPXF, lattice automorphism (definition)
- wikipedia: Wikipedia Lattice (order)#GVLH, lattice isomorphism (definition)
History
- 2026-11-02: add by m2/dev
ACZ6JNRJ3R ACZ6JNRJ3R
| URI | m2://inv/ACZ6JNRJ3R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33866#JG64 (statement). In Y3MSGX6472/e1, lemma 13
History
- 2026-10-30: add by m2/v0.4.12
Properties ACZBVYEBFW
| URI | m2://inv/ACZBVYEBFW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polymatroid#35LZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Ulisse Dini ACZNVGDMQ8
| URI | m2://inv/ACZNVGDMQ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#YNSZ, Ulisse Dini (unknown)
- wikipedia: Wikipedia List of mathematicians born in the 19th century#OP6D, Ulisse Dini (unknown)
History
- 2026-11-02: add by m2/dev
F-distribution ACZPWCNWJT
| URI | m2://inv/ACZPWCNWJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Z74W, F-distribution (definition)
History
- 2026-11-02: add by m2/dev
Medial rhombic triacontahedron ACZVV5MHHD
| URI | m2://inv/ACZVV5MHHD |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15932244, Medial rhombic triacontahedron (object). Also MathWorld MedialRhombicTriacontahedron
- wikipedia: Wikipedia Medial rhombic triacontahedron, Medial rhombic triacontahedron (object). Also Wikidata Q15932244
History
- 2026-10-26: add by m2/dev