Inventory rows QB
The cards of the rows of the inventory whose ids start with QB. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Sigurður Helgason QB07NF5FXH
| URI | m2://inv/QB07NF5FXH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#R02L, Sigurður Helgason (topic)
History
- 2026-11-02: add by m2/dev
AMP-to-Huber optimizer transfer under restricted secant inequality QB07RED1VE
| URI | m2://inv/QB07RED1VE |
|---|---|
| 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.20798#AKK8, AMP-to-Huber optimizer transfer under restricted secant inequality (statement). In 947GFWDY7C/e1, lemma 3
History
- 2026-10-27: add by m2/v0.4.2
cohomology ring QB0B5NEB93
| URI | m2://inv/QB0B5NEB93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Cohomology ring RDT4785M4D |
Mentions
- wikidata: Wikidata Q5141399, cohomology ring (unknown). Also nLab cohomology ring
- wikipedia: Wikipedia Cohomology ring, Cohomology ring (definition). Also Wikidata Q5141399
History
- 2026-10-26: add by m2/dev
QB0GZ1RVNZ QB0GZ1RVNZ
| URI | m2://inv/QB0GZ1RVNZ |
|---|---|
| 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 2303.11021#Q6Q7 (statement). In B2ZK4DF2PM/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.0
generic interval QB0M6FB5D2
| URI | m2://inv/QB0M6FB5D2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5532674, generic interval (unknown). Also nLab generic interval
History
- 2026-10-26: add by m2/dev
Applications QB0Z4S7BWM
| URI | m2://inv/QB0Z4S7BWM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E8 (mathematics)#1MC8, Applications (example)
History
- 2026-11-02: add by m2/dev
Fredholm solvability QB135M7Q4P
| URI | m2://inv/QB135M7Q4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fredholm solvability, Fredholm solvability (definition). Also Wikidata Q28404553
History
- 2026-11-02: add by m2/dev
Semyon Aranovich Gershgorin QB15DCEAYP
| URI | m2://inv/QB15DCEAYP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semyon Aranovich Gershgorin, Semyon Aranovich Gershgorin (topic). Also Wikidata Q716067
History
- 2026-11-02: add by m2/dev
QB1C9MYRMM QB1C9MYRMM
| URI | m2://inv/QB1C9MYRMM |
|---|---|
| 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.20429#I6QL (statement)
History
- 2026-11-02: add by m2/v0.6.18
Factoring $3$ in the integers of $\QQ(\sqrt{-17})$ QB1EADCF38
| URI | m2://inv/QB1EADCF38 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/dedekind.tex#example-4, Factoring $3$ in the integers of $\QQ(\sqrt{-17})$ (example). In RZP28ERRZV, example, section 10.5
History
- 2026-11-01: add by m2/v0.6.13
Hopf algebra of permutations QB1VCFK5VZ
| URI | m2://inv/QB1VCFK5VZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf algebra of permutations, Hopf algebra of permutations (definition). Also Wikidata Q17027553
History
- 2026-11-02: add by m2/dev
QB1ZXJESPP QB1ZXJESPP
| URI | m2://inv/QB1ZXJESPP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22161#NBAV (statement). In FVM35KPN8C/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.4.0
Leonardo number QB27414PA0
| URI | m2://inv/QB27414PA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1762428, Leonardo number (object). Also OEIS A001595
- wikipedia: Wikipedia Leonardo number, Leonardo number (definition). Also Wikidata Q1762428
History
- 2026-10-26: add by m2/dev
Statement QB2BK5DYVW
| URI | m2://inv/QB2BK5DYVW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf–Whitney theorem#T20H, Statement (statement)
History
- 2026-11-02: add by m2/dev
Derivations of the Chevalley module QB2FVS1JEK
| URI | m2://inv/QB2FVS1JEK |
|---|---|
| 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.20994#P9MC, Derivations of the Chevalley module (statement). In E90KYMVZMR/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.4.2
Uniform 9-polytope QB304YEHST
| URI | m2://inv/QB304YEHST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform 9-polytope, Uniform 9-polytope (definition). Also Wikidata Q7885005
History
- 2026-11-02: add by m2/dev
QB3MTFSVR9 QB3MTFSVR9
| URI | m2://inv/QB3MTFSVR9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19463#A7KS (statement). In Q4HWFFK0R9/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
Input-to-state stability QB3NTB40CB
| URI | m2://inv/QB3NTB40CB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Input-to-state stability, Input-to-state stability (definition). Also Wikidata Q48995800
History
- 2026-11-02: add by m2/dev
QB3YMWFRVG QB3YMWFRVG
| URI | m2://inv/QB3YMWFRVG |
|---|---|
| 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.39531#QQ7N (statement). In SN9RSTHQ07/e1, lemma F.1
History
- 2026-10-30: add by m2/v0.4.12
QB44NG5572 QB44NG5572
| URI | m2://inv/QB44NG5572 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10600#9TXT (statement). In V7WT21EDPM/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
Metric measure spacetime QB47GTE33Q
| URI | m2://inv/QB47GTE33Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#ISQV, Metric measure spacetime (definition). In KM3Q791JY0/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.2
Orymbek Zhautykov QB4AARZKZQ
| URI | m2://inv/QB4AARZKZQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orymbek Zhautykov, Orymbek Zhautykov (topic). Also Wikidata Q4178364
History
- 2026-11-02: add by m2/dev
Jaya Satagopan QB4CBCE4VS
| URI | m2://inv/QB4CBCE4VS |
|---|---|
| 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#KH71, Jaya Satagopan (unknown)
History
- 2026-11-02: add by m2/dev
QB4CEVXXRJ QB4CEVXXRJ
| URI | m2://inv/QB4CEVXXRJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12857#8EF3 (example). In XJWQ6Y83F8/e1, example 3.8
History
- 2026-10-28: add by m2/v0.4.2
Aleksei Chernavskii QB4ZC1R9PZ
| URI | m2://inv/QB4ZC1R9PZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aleksei Chernavskii, Aleksei Chernavskii (topic). Also Wikidata Q97999885
History
- 2026-11-02: add by m2/dev
Reciprocal cipher QB52A0APT7
| URI | m2://inv/QB52A0APT7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric-key algorithm#HBDT, Reciprocal cipher (unknown)
History
- 2026-11-02: add by m2/dev
QB52KMTDRC QB52KMTDRC
| URI | m2://inv/QB52KMTDRC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-97 (exercise). In E9HS8K3A52, exercise, section 4.7.1
History
- 2026-11-01: add by m2/v0.6.13
QB5709VYEV QB5709VYEV
| URI | m2://inv/QB5709VYEV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#8PP9 (statement). In GWNT8HEZG1/e1, theorem 3.36
History
- 2026-10-27: add by m2/v0.3.6
QB59SBPPM9 QB59SBPPM9
| URI | m2://inv/QB59SBPPM9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX, 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.03601#MSI9 (statement). In F7TDYCHCSE/e1, proposition 2.6
History
- 2026-10-27: add by m2/v0.3.5
Jacobson density theorem QB5GX2ZKB7
| URI | m2://inv/QB5GX2ZKB7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncommutative ring#9CCI, Jacobson density theorem (statement)
History
- 2026-11-02: add by m2/dev
Statement QB5VTDMN3V
| URI | m2://inv/QB5VTDMN3V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener–Ikehara theorem#M2O6, Statement (statement)
History
- 2026-11-02: add by m2/dev
QB5ZBT0R3F QB5ZBT0R3F
| URI | m2://inv/QB5ZBT0R3F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 54-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20683#Z0XD (statement)
History
- 2026-11-02: add by m2/v0.6.18
nearest neighbor search QB5ZRVCK8P
| URI | m2://inv/QB5ZRVCK8P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q608751, nearest neighbor search (unknown). Also MathWorld NearestNeighborProblem
History
- 2026-10-26: add by m2/dev
Normality and perfectness QB5ZXBT56H
| URI | m2://inv/QB5ZXBT56H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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.26110#R9B8, Normality and perfectness (definition)
History
- 2026-11-01: add by m2/v0.6.15
QB602RPCKY QB602RPCKY
| URI | m2://inv/QB602RPCKY |
|---|---|
| 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 2411.16655#KCCH (statement). In EJHAXRV685/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
QB60AK33G9 QB60AK33G9
| URI | m2://inv/QB60AK33G9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-64 (exercise). In E9HS8K3A52, exercise, section 4.4.1
History
- 2026-11-01: add by m2/v0.6.13
QB64QPQFYP QB64QPQFYP
| URI | m2://inv/QB64QPQFYP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35474#FFP8 (statement). In 9QWPGZ92ZN/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Definition QB67B4NEF2
| URI | m2://inv/QB67B4NEF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace (linear algebra)#RCOJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
John Jardine QB6KZJR8HT
| URI | m2://inv/QB6KZJR8HT |
|---|---|
| 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 Q15456834, John Jardine (unknown). Also nLab John Frederick Jardine
- wikipedia: Wikipedia Rick Jardine, Rick Jardine (topic). Also Wikidata Q15456834
History
- 2026-10-26: add by m2/dev
Elongated triangular orthobicupola QB6PME09AG
| URI | m2://inv/QB6PME09AG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#T06Q, Elongated triangular orthobicupola (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#0E77, Elongated triangular orthobicupola (definition)
History
- 2026-11-02: add by m2/dev
Shimura varieties QB6QKDNH3D
| URI | m2://inv/QB6QKDNH3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#5QMJ, Shimura varieties (definition)
History
- 2026-11-02: add by m2/dev
Silk Road trial QB6T9FFKN3
| URI | m2://inv/QB6T9FFKN3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Silk Road (marketplace)#3TQA, Silk Road trial (unknown)
History
- 2026-11-02: add by m2/dev
QB6W650CRG QB6W650CRG
| URI | m2://inv/QB6W650CRG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#A5V3 (statement). In DDNP38CHQJ/e1, lemma 8.2
History
- 2026-10-27: add by m2/v0.3.5
Rectified 6-simplexes QB6XHKWBZ4
| URI | m2://inv/QB6XHKWBZ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 6-simplexes, Rectified 6-simplexes (definition). Also Wikidata Q7303161
History
- 2026-11-02: add by m2/dev
Giovanni Alberti QB74HNGEN2
| URI | m2://inv/QB74HNGEN2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Alberti (mathematician), Giovanni Alberti (topic). Also Wikidata Q3766362
History
- 2026-11-02: add by m2/dev
Properties QB78PE4BRH
| URI | m2://inv/QB78PE4BRH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suzuki groups#S6RL, Properties (statement)
History
- 2026-11-02: add by m2/dev
product fiber theorem QB7RPM8WQ4
| URI | m2://inv/QB7RPM8WQ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.15099#H31A, product fiber theorem (statement). In PF5JJ9DS8Q/e1, proposition 6.3.1
History
- 2026-10-28: add by m2/v0.4.2
An AND split and join QB7S2JX4K3
| URI | m2://inv/QB7S2JX4K3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20478#VPCX, An AND split and join (example)
History
- 2026-11-02: add by m2/v0.6.18
QB7V2R0WAH QB7V2R0WAH
| URI | m2://inv/QB7V2R0WAH |
|---|---|
| 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.15720#XZVQ (statement). In VNN52G3BRE/e1, proposition B.5
History
- 2026-10-28: add by m2/v0.4.2
QB7XWQH6HZ QB7XWQH6HZ
| URI | m2://inv/QB7XWQH6HZ |
|---|---|
| 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.08599#MKJ5 (statement). In DST9FWMHT6/e1, proposition 4.10
History
- 2026-10-29: add by m2/v0.4.10
QB7Y46ECSH QB7Y46ECSH
| URI | m2://inv/QB7Y46ECSH |
|---|---|
| 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.19036#70H7 (statement). In 76GJ814P0A/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Euler's rotation theorem QB7YRCFRK0
| URI | m2://inv/QB7YRCFRK0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q681406, Euler's rotation theorem (statement). Also Wikidata Q681406
- thousand_plus: thousand_plus Q681406, Euler's rotation theorem (statement). Also Wikidata Q681406, Wikipedia Euler's rotation theorem
- wikipedia: Wikipedia Euler's rotation theorem, Euler's rotation theorem (statement). Also Wikidata Q681406
History
- 2026-10-26: add by m2/dev
QB872ARTJH QB872ARTJH
| URI | m2://inv/QB872ARTJH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38220#NPQ1 (definition). In 1AC4S19925/e1, definition 6.6
History
- 2026-10-30: add by m2/v0.4.12
QB8MYFMJ0V QB8MYFMJ0V
| URI | m2://inv/QB8MYFMJ0V |
|---|---|
| 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.12295#LY05 (statement). In 6DZPR52HRP/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Hundred-dollar, Hundred-digit Challenge problems QB8R5Y6S0H
| URI | m2://inv/QB8R5Y6S0H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5942174, Hundred-dollar, Hundred-digit Challenge problems (concept). Also MathWorld Hundred-DollarHundred-DigitChallengeProblems
- wikipedia: Wikipedia Hundred-dollar, Hundred-digit Challenge problems, Hundred-dollar, Hundred-digit Challenge problems (problem). Also Wikidata Q5942174
History
- 2026-10-26: add by m2/dev
QB8XT3V0H7 QB8XT3V0H7
| URI | m2://inv/QB8XT3V0H7 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
QB9482K3A0 QB9482K3A0
| URI | m2://inv/QB9482K3A0 |
|---|---|
| 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.12329#KI18 (statement). In ZJQB9W60T6/e1, theorem 6.6
History
- 2026-10-28: add by m2/v0.4.2
error function QB9659C80V
| URI | m2://inv/QB9659C80V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Error function 7Y56QCZSZJ |
Mentions
- wikidata: Wikidata Q579262, error function (unknown). Also MathWorld Erf
- wikipedia: Wikipedia Error function, Error function (definition). Also Wikidata Q579262
History
- 2026-10-26: add by m2/dev
QB965FY34D QB965FY34D
| URI | m2://inv/QB965FY34D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#PDA8 (definition). In HX63A1PH1W/e1, definition 3.5
History
- 2026-10-28: add by m2/v0.4.3
Secondary research QB9B1KBCN7
| URI | m2://inv/QB9B1KBCN7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secondary research, Secondary research (definition). Also Wikidata Q1629267
History
- 2026-11-02: add by m2/dev
T. N. Venkataramana QB9CQBPDBY
| URI | m2://inv/QB9CQBPDBY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FB4U, T. N. Venkataramana (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DYA1, T. N. Venkataramana (topic)
History
- 2026-11-02: add by m2/dev
Private measure: a lower bound QB9GKA8K9Y
| URI | m2://inv/QB9GKA8K9Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.09167#HHMD, Private measure: a lower bound (statement). In S1MENYEAG5/e1, theorem 8.5
History
- 2026-10-27: add by m2/v0.3.5
QB9M0GF6XH QB9M0GF6XH
| URI | m2://inv/QB9M0GF6XH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32977#FW9J (statement). In 4KT9TK3MG4/e1, corollary C.9
History
- 2026-10-31: add by m2/v0.5.6
Formal definition QB9MGVB0BR
| URI | m2://inv/QB9MGVB0BR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computation in the limit#8H9A, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
QB9N2AEDSN QB9N2AEDSN
| URI | m2://inv/QB9N2AEDSN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04046#WMYO (statement). In 3THDT8WNF7/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.12
Frieze group QB9V47PPDD
| URI | m2://inv/QB9V47PPDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#00RD, Frieze group (definition)
- wikipedia: Wikipedia List of Lie groups topics#8YVG, Frieze group (definition)
- wikipedia: Wikipedia List of mathematical examples#YPWL, Frieze group (definition)
History
- 2026-11-02: add by m2/dev
Gross income QBA176ZGP1
| URI | m2://inv/QBA176ZGP1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#LRG2, Gross income (unknown)
History
- 2026-11-02: add by m2/dev
Branch point QBA2MAN1N6
| URI | m2://inv/QBA2MAN1N6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#U8AW, Branch point (definition)
History
- 2026-11-02: add by m2/dev
QBA3C6KF4K QBA3C6KF4K
| URI | m2://inv/QBA3C6KF4K |
|---|---|
| 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.33015#KG2L (statement). In W6Y6NPK648/e1, proposition 5.11
History
- 2026-10-27: add by m2/v0.3.5
QBA5TKKQAK QBA5TKKQAK
| URI | m2://inv/QBA5TKKQAK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.14879#DVLD (example). In 3VZ55B2N0D/e1, example 6.25
History
- 2026-10-27: add by m2/v0.4.0
Unsolved problems QBA6082MZD
| URI | m2://inv/QBA6082MZD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diophantine approximation#3HI0, Unsolved problems (statement)
History
- 2026-11-02: add by m2/dev
QBACV1DNW6 QBACV1DNW6
| URI | m2://inv/QBACV1DNW6 |
|---|---|
| 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.06909#HMR3 (statement). In F1EF8XE30A/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.10
singleton QBADH667J4
| URI | m2://inv/QBADH667J4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1165112, singleton (unknown). Also MathWorld Monad
- wikipedia: Wikipedia Singleton (mathematics), Singleton (definition). Also Wikidata Q1165112
History
- 2026-10-26: add by m2/dev
Thick Black Theory QBAH7BMY2X
| URI | m2://inv/QBAH7BMY2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thick Black Theory, Thick Black Theory (definition). Also Wikidata Q620619
History
- 2026-11-02: add by m2/dev
QBAK0W6VPF QBAK0W6VPF
| URI | m2://inv/QBAK0W6VPF |
|---|---|
| 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 2501.17276#GXQ6 (statement). In EWKHA675JY/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Anchor QBB497TZW6
| URI | m2://inv/QBB497TZW6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17329#G17P, Anchor (definition). In F6GD5JWK9M/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
QBB4KJS3RC QBB4KJS3RC
| URI | m2://inv/QBB4KJS3RC |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.00585#91AL (problem). In 332PQD90SW/e1, problem 4.16
History
- 2026-10-27: add by m2/v0.3.5
equivalence, properties of QBB5H1Q98Z
| URI | m2://inv/QBB5H1Q98Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.7/equivalence-properties-of, equivalence, properties of (concept). In N54F33XE07, index, section 3.7
History
- 2026-11-01: add by m2/v0.6.13
Definition QBB6NVF6D6
| URI | m2://inv/QBB6NVF6D6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tipping points in the climate system#HD6H, Definition (definition)
History
- 2026-11-02: add by m2/dev
boundary point QBBNJWYZRD
| URI | m2://inv/QBBNJWYZRD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77615305, boundary point (unknown). Also MathWorld BoundaryPoint
History
- 2026-10-26: add by m2/dev
Theorem QBBRFGGFC2
| URI | m2://inv/QBBRFGGFC2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extreme value theorem#UM04, Theorem (statement)
History
- 2026-11-02: add by m2/dev
von Neumann algebra QBBV3KR4BH
| URI | m2://inv/QBBV3KR4BH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Von Neumann algebra PSFWQVZ0FS |
Mentions
- wikidata: Wikidata Q1970172, von Neumann algebra (concept). Also MathWorld vonNeumannAlgebra, nLab von Neumann algebra
- wikipedia: Wikipedia Von Neumann algebra, Von Neumann algebra (definition). Also Wikidata Q1970172
History
- 2026-10-26: add by m2/dev
QBBVQE71CH QBBVQE71CH
| URI | m2://inv/QBBVQE71CH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.16311#UQP6 (statement). In 3G0HCK0DVA/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
QBC8KTVVGJ QBC8KTVVGJ
| URI | m2://inv/QBC8KTVVGJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#ex:Wimpred (exercise). In N54F33XE07, ex, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
QBCG85TAK3 QBCG85TAK3
| URI | m2://inv/QBCG85TAK3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#ques-5 (exercise). In RZP28ERRZV, ques, section 9.7
History
- 2026-11-01: add by m2/v0.6.13
QBCK2KWQER QBCK2KWQER
| URI | m2://inv/QBCK2KWQER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13877#YNE7 (statement). In NBMA6DBKJG/e1, corollary 5.8
History
- 2026-10-28: add by m2/v0.4.2
QBCN3DFG96 QBCN3DFG96
| URI | m2://inv/QBCN3DFG96 |
|---|---|
| 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.17325#4KF1 (statement). In SE16BAED46/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
A7 lattice QBCQ8DEJFE
| URI | m2://inv/QBCQ8DEJFE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 7-simplex honeycomb#VD0N, A7 lattice (unknown)
History
- 2026-11-02: add by m2/dev
QBCWD3KFD5 QBCWD3KFD5
| URI | m2://inv/QBCWD3KFD5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#E0FR (statement). In TX0H26X4VX/e1, theorem 6.12
History
- 2026-10-29: add by m2/v0.4.12
Tent domination QBCYEHAB20
| URI | m2://inv/QBCYEHAB20 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#VXI1, Tent domination (statement). In 1QSV7EQE3T/e1, lemma S12
History
- 2026-10-28: add by m2/v0.4.2
Internal and external angles QBD2K6G1YY
| URI | m2://inv/QBD2K6G1YY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Internal and external angles, Internal and external angles (definition). Also Wikidata Q1156900
History
- 2026-11-02: add by m2/dev
Titchmarsh convolution theorem QBD40S2JDZ
| URI | m2://inv/QBD40S2JDZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Titchmarsh convolution theorem#KK2H, Titchmarsh convolution theorem (statement)
History
- 2026-11-02: add by m2/dev
Versine QBD5XACN85
| URI | m2://inv/QBD5XACN85 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#C8H6, Versine (definition)
History
- 2026-11-02: add by m2/dev
QBDB5JWEHV QBDB5JWEHV
| URI | m2://inv/QBDB5JWEHV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00914#LJ8M (statement). In TQ9CKHBTWN/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.12
The minimum variance criterion QBDGR1B5TT
| URI | m2://inv/QBDGR1B5TT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ward's method#A2JM, The minimum variance criterion (statement)
History
- 2026-11-02: add by m2/dev
Institute of Mathematics of the Romanian Academy QBDM3THQQF
| URI | m2://inv/QBDM3THQQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institute of Mathematics of the Romanian Academy, Institute of Mathematics of the Romanian Academy (definition). Also Wikidata Q10302891
History
- 2026-11-02: add by m2/dev
QBDVKGSXK3 QBDVKGSXK3
| URI | m2://inv/QBDVKGSXK3 |
|---|---|
| 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 2406.19866#XBBD (statement). In 9F94CEQ1ZM/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Münchhausen trilemma QBDZFK9YJ7
| URI | m2://inv/QBDZFK9YJ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Münchhausen trilemma, Münchhausen trilemma (definition). Also Wikidata Q949691
History
- 2026-11-02: add by m2/dev
QBE01WVVMH QBE01WVVMH
| URI | m2://inv/QBE01WVVMH |
|---|---|
| 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.35683#URC2 (statement). In A4S9A3X494/e1, corollary 5
History
- 2026-10-30: add by m2/v0.4.12
non-abelian QBE52CZCRS
| URI | m2://inv/QBE52CZCRS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#DTZ5, non-abelian (definition)
History
- 2026-11-02: add by m2/dev
Deleting a constant helper QBE5BQ4V77
| URI | m2://inv/QBE5BQ4V77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10002#NW5N, Deleting a constant helper (statement). In 5ZYWF6HAXJ/e1, lemma 15
History
- 2026-10-29: add by m2/v0.4.10
Circumscribed circle QBE8MWMJAE
| URI | m2://inv/QBE8MWMJAE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#YUUA, Circumscribed circle (definition)
History
- 2026-11-02: add by m2/dev
QBE8PRDKJB QBE8PRDKJB
| URI | m2://inv/QBE8PRDKJB |
|---|---|
| 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.36389#7USC (statement). In N1S169J2MV/e1, lemma 10
History
- 2026-10-30: add by m2/v0.4.12
Cheeger–Müller theorem QBE8W1Q03K
| URI | m2://inv/QBE8W1Q03K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic torsion#7YQI, Cheeger–Müller theorem (statement)
History
- 2026-11-02: add by m2/dev
QBEEYV4H0B QBEEYV4H0B
| URI | m2://inv/QBEEYV4H0B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/semantics/semantic-notions.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 32.6
History
- 2026-11-01: add by m2/v0.6.13
PROPOSITION 2 QBEXEZRSJ3
| URI | m2://inv/QBEXEZRSJ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple theorems in the algebra of sets#HZU0, PROPOSITION 2 (statement)
History
- 2026-11-02: add by m2/dev
QBF637NAV9 QBF637NAV9
| URI | m2://inv/QBF637NAV9 |
|---|---|
| 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 1009.2047#STWA (statement). In F3MWRNBNED/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
Hans Grauert QBF6Q625AG
| URI | m2://inv/QBF6Q625AG |
|---|---|
| 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 Q78091, Hans Grauert (unknown). Also nLab Hans Grauert
- wikipedia: Wikipedia Hans Grauert, Hans Grauert (topic). Also Wikidata Q78091
History
- 2026-10-26: add by m2/dev
Susan Murphy QBFP62MY0X
| URI | m2://inv/QBFP62MY0X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#YJVA, Susan Murphy (topic)
History
- 2026-11-02: add by m2/dev
QBFSNJ1JGX QBFSNJ1JGX
| URI | m2://inv/QBFSNJ1JGX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20345#HICU (definition). In WVRRST04WS/e1, definition 1
History
- 2026-10-27: add by m2/v0.4.2
Fubini theorem for colimits QBFTJDM1ZK
| URI | m2://inv/QBFTJDM1ZK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.5.3/fubini-theorem-for-colimits, Fubini theorem for colimits (concept). In N54F33XE07, index, section 7.5.3
History
- 2026-11-01: add by m2/v0.6.13
Near-margin reduction QBFX9Q7AFC
| URI | m2://inv/QBFX9Q7AFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11309#2KSP, Near-margin reduction (statement). In TTEAQA1XXR/e1, lemma D.1
History
- 2026-10-28: add by m2/v0.4.3
Hurwitz quaternion order QBFYWY4N78
| URI | m2://inv/QBFYWY4N78 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurwitz quaternion order, Hurwitz quaternion order (definition). Also Wikidata Q16002489
History
- 2026-11-02: add by m2/dev
Constructive set theory QBFZ7ACRX6
| URI | m2://inv/QBFZ7ACRX6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of alternative set theories#X82S, Constructive set theory (definition)
History
- 2026-11-02: add by m2/dev
Presupposition QBG0PPG9XX
| URI | m2://inv/QBG0PPG9XX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Presupposition, Presupposition (definition). Also Wikidata Q1076131
History
- 2026-11-02: add by m2/dev
QBGCNQ0C0B QBGCNQ0C0B
| URI | m2://inv/QBGCNQ0C0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29008#62JD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bohumil Bydzovsky QBGE29VQS9
| URI | m2://inv/QBGE29VQS9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2BXW, Bohumil Bydzovsky (topic)
History
- 2026-11-02: add by m2/dev
QBGGC2AXEE QBGGC2AXEE
| URI | m2://inv/QBGGC2AXEE |
|---|---|
| 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.35027#5P7F (definition). In MEA7NHMQKB/e1, definition 1.1
History
- 2026-10-30: add by m2/v0.4.12
QBGM87QHW1 QBGM87QHW1
| URI | m2://inv/QBGM87QHW1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.14143#CJMJ (statement). In 7WV4JVGEN1/e1, theorem 5.9
History
- 2026-10-27: add by m2/v0.4.0
Crystals-Dilithium QBGTH5HYJX
| URI | m2://inv/QBGTH5HYJX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice-based cryptography#VHJI, Crystals-Dilithium (unknown)
History
- 2026-11-02: add by m2/dev
Proper-free-factor restrictions QBH0BHJSHV
| URI | m2://inv/QBH0BHJSHV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27204#LHX4, Proper-free-factor restrictions (statement)
History
- 2026-11-01: add by m2/v0.6.15
David Spivak QBH348681T
| URI | m2://inv/QBH348681T |
|---|---|
| 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 Q63866129, David Spivak (unknown). Also nLab David Spivak
History
- 2026-10-26: add by m2/dev
coordination number QBH4G97TM4
| URI | m2://inv/QBH4G97TM4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q397226, coordination number (unknown). Also MathWorld CoordinationNumber
History
- 2026-10-26: add by m2/dev
Weighted elliptic crossing local time QBHCA4Z4KN
| URI | m2://inv/QBHCA4Z4KN |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX, 37-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27962#YZFL, Weighted elliptic crossing local time (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
QBHCSFBWG2 QBHCSFBWG2
| URI | m2://inv/QBHCSFBWG2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#SKY0 (statement). In E7W2HDNEKJ/e1, lemma 4.12
History
- 2026-10-30: add by m2/v0.4.12
QBHJ34E1TN QBHJ34E1TN
| URI | m2://inv/QBHJ34E1TN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#prop:LXYvs (statement). In E59CDZA4DP, prop, section 11.1.3
History
- 2026-11-01: add by m2/v0.6.13
QBHS809WYF QBHS809WYF
| URI | m2://inv/QBHS809WYF |
|---|---|
| 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.08753#70R3 (statement). In J9P361Z1CX/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Symmetry QBHYM4QMWW
| URI | m2://inv/QBHYM4QMWW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated tetrahexagonal tiling#SUBL, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
QBJ46W1FAG QBJ46W1FAG
| URI | m2://inv/QBJ46W1FAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12810#5C2P (statement). In DR35633CPN/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
inverse image functor QBJ97WB3DV
| URI | m2://inv/QBJ97WB3DV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6060386, inverse image functor (unknown). Also nLab inverse image
- wikipedia: Wikipedia Inverse image functor, Inverse image functor (definition). Also Wikidata Q6060386
History
- 2026-10-26: add by m2/dev
Morton L. Curtis QBJDFPPB9P
| URI | m2://inv/QBJDFPPB9P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morton L. Curtis, Morton L. Curtis (topic). Also Wikidata Q10642901
History
- 2026-11-02: add by m2/dev
Closed-Form Exit Distance for Modular Cut QBJJ0NN063
| URI | m2://inv/QBJJ0NN063 |
|---|---|
| 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.33946#SMTX, Closed-Form Exit Distance for Modular Cut (statement). In T61D8EZH24/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
Riemann's existence theorem QBJPHHNK7B
| URI | m2://inv/QBJPHHNK7B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#7W7H, Riemann's existence theorem (statement)
History
- 2026-11-02: add by m2/dev
QBK0BF1A1C QBK0BF1A1C
| URI | m2://inv/QBK0BF1A1C |
|---|---|
| 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.30097#94JL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lucio Lombardo-Radice QBKH5T585E
| URI | m2://inv/QBKH5T585E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucio Lombardo-Radice, Lucio Lombardo-Radice (topic). Also Wikidata Q3838892
History
- 2026-11-02: add by m2/dev
QBKHAZK12F QBKHAZK12F
| URI | m2://inv/QBKHAZK12F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#YEE9 (statement). In WRE0P7V6Z3/e1, lemma 9.10
History
- 2026-10-30: add by m2/v0.4.12
quantum QBKNM80089
| URI | m2://inv/QBKNM80089 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#TX94, quantum (definition)
History
- 2026-11-02: add by m2/dev
QBKQBZJ8BG QBKQBZJ8BG
| URI | m2://inv/QBKQBZJ8BG |
|---|---|
| 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.00358#S6SK (statement). In C5WGCSPM6W/e1, proposition 5.3
History
- 2026-10-30: add by m2/v0.4.12
QBM6CZVBF0 QBM6CZVBF0
| URI | m2://inv/QBM6CZVBF0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37252#QQKF (statement). In E3EK0ESPA7/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
QBM7XHNMVM QBM7XHNMVM
| URI | m2://inv/QBM7XHNMVM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-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.18929#C4PQ (statement). In ZRJ2DZT6P1/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
QBMAADRWH2 QBMAADRWH2
| URI | m2://inv/QBMAADRWH2 |
|---|---|
| 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.01197#G316 (statement). In WDWDY0VP18/e1, corollary 4
History
- 2026-10-29: add by m2/v0.4.12
Molecular set theory QBMAXSPWS3
| URI | m2://inv/QBMAXSPWS3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical and theoretical biology#OS88, Molecular set theory (unknown)
History
- 2026-11-02: add by m2/dev
Results QBMEHE24S3
| URI | m2://inv/QBMEHE24S3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disjunction and existence properties#4YA9, Results (statement)
History
- 2026-11-02: add by m2/dev
Neunkirch QBMENBYSVC
| URI | m2://inv/QBMENBYSVC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#O8Y6, Neunkirch (unknown)
History
- 2026-11-02: add by m2/dev
Properties QBMGGAAZDN
| URI | m2://inv/QBMGGAAZDN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet density#YF6J, Properties (statement)
History
- 2026-11-02: add by m2/dev
QBMPB1XXDY QBMPB1XXDY
| URI | m2://inv/QBMPB1XXDY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#PHP8 (statement). In E7W2HDNEKJ/e1, lemma 5.32
History
- 2026-10-30: add by m2/v0.4.12
QBMQ28B020 QBMQ28B020
| URI | m2://inv/QBMQ28B020 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36309#5R4K (statement). In FAJ10EJMYE/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
QBMSBBD29N QBMSBBD29N
| URI | m2://inv/QBMSBBD29N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21017#J4UO (statement). In 8KKYZ4NKT2/e1, proposition 33
History
- 2026-10-27: add by m2/v0.4.2
QBN8251G88 QBN8251G88
| URI | m2://inv/QBN8251G88 |
|---|---|
| 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.29723#WW4H (statement)
History
- 2026-11-01: add by m2/v0.6.15
QBNCWVH484 QBNCWVH484
| URI | m2://inv/QBNCWVH484 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35600#IIME (statement). In ET8GYMMDQM/e1, proposition 6.2
History
- 2026-10-30: add by m2/v0.4.12
Accelerator physics QBNEYMW71T
| URI | m2://inv/QBNEYMW71T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#6KZQ, Accelerator physics (unknown)
History
- 2026-11-02: add by m2/dev
QBNPCYYC8P QBNPCYYC8P
| URI | m2://inv/QBNPCYYC8P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#1DN2 (statement). In RK0ZMDJ23T/e1, lemma 2.2.11
History
- 2026-10-31: add by m2/v0.5.6
QBNXGT5ZHQ QBNXGT5ZHQ
| URI | m2://inv/QBNXGT5ZHQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#Z6JV (statement). In E7W2HDNEKJ/e1, theorem 4.28
History
- 2026-10-30: add by m2/v0.4.12
QBNYT2YDZX QBNYT2YDZX
| URI | m2://inv/QBNYT2YDZX |
|---|---|
| Kind | definition |
| 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.01932#QVIM (definition). In XDKWW6NR0K/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.12
QBNZYE3SGH QBNZYE3SGH
| URI | m2://inv/QBNZYE3SGH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#theorem-4 (statement). In E9HS8K3A52, theorem, section 10.4.2
History
- 2026-11-01: add by m2/v0.6.13
Andrew X. Pham QBPE3WDA4X
| URI | m2://inv/QBPE3WDA4X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#V5WY, Andrew X. Pham (unknown)
History
- 2026-11-02: add by m2/dev
QBPFFVJKYW QBPFFVJKYW
| URI | m2://inv/QBPFFVJKYW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19660#SF42 (statement). In YKVVY2BW1B/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Somers' D QBPH7ZD3X3
| URI | m2://inv/QBPH7ZD3X3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#T4BF, Somers' D (definition)
History
- 2026-11-02: add by m2/dev
QBPP14XB6B QBPP14XB6B
| URI | m2://inv/QBPP14XB6B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11336#NX72 (statement). In X1R1GDAJ0Y/e1, lemma 1.3
History
- 2026-10-28: add by m2/v0.4.3
Hilbert–Poincaré series QBPXDCY849
| URI | m2://inv/QBPXDCY849 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert–Poincaré series, Hilbert–Poincaré series (definition). Also Wikidata Q5761255
History
- 2026-11-02: add by m2/dev
QBPYXKNSBK QBPYXKNSBK
| URI | m2://inv/QBPYXKNSBK |
|---|---|
| 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 2610.05204#YU7Q (definition). In ET0TQ8YF7Z/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
QBPZDEJ2RT QBPZDEJ2RT
| URI | m2://inv/QBPZDEJ2RT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/pairs-and-products.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 82.5
History
- 2026-11-01: add by m2/v0.6.13
Definitions QBQ1ZR3EDH
| URI | m2://inv/QBQ1ZR3EDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nearest neighbour distribution#OX1Q, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Continuity QBQ6080KCY
| URI | m2://inv/QBQ6080KCY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-uniform rational B-spline#SDKL, Continuity (statement)
History
- 2026-11-02: add by m2/dev
Gyrobifastigium QBQ9VVPGW6
| URI | m2://inv/QBQ9VVPGW6 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#PGON, Gyrobifastigium (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#V499, Gyrobifastigium (object)
History
- 2026-11-02: add by m2/dev
QBQEHF3EF5 QBQEHF3EF5
| URI | m2://inv/QBQEHF3EF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21399#JIE6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
QBQJ0M4TK8 QBQJ0M4TK8
| URI | m2://inv/QBQJ0M4TK8 |
|---|---|
| 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.03407#J17R (statement). In MPGC7SNYAG/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.12
QBQRPV3XGK QBQRPV3XGK
| URI | m2://inv/QBQRPV3XGK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.22636#FQ9S (definition). In 2X2A6MT0QD/e1, definition 5.6
History
- 2026-10-27: add by m2/v0.3.5
Examples QBR2R0YZRN
| URI | m2://inv/QBR2R0YZRN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the cue heading names a section and not one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abelian group#AD48, Examples (example)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
David X. Li QBR3HTHAAM
| URI | m2://inv/QBR3HTHAAM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#S8L5, David X. Li (topic)
History
- 2026-11-02: add by m2/dev
Applications QBR5D348BD
| URI | m2://inv/QBR5D348BD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zak transform#X9RQ, Applications (example)
History
- 2026-11-02: add by m2/dev
open interval QBR8HWDD8Q
| URI | m2://inv/QBR8HWDD8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#WSXQ, open interval (definition)
History
- 2026-11-02: add by m2/dev
QBRBS0DVX7 QBRBS0DVX7
| URI | m2://inv/QBRBS0DVX7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33766#Q0NZ (example). In VGKK4M68EK/e1, example 1.3
History
- 2026-10-30: add by m2/v0.4.12
Johannes Finsterbusch QBRED1FB03
| URI | m2://inv/QBRED1FB03 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5RYL, Johannes Finsterbusch (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9E14, Johannes Finsterbusch (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HB6E, Johannes Finsterbusch (topic)
History
- 2026-11-02: add by m2/dev
Properties QBRN67CXHN
| URI | m2://inv/QBRN67CXHN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barycentric subdivision#DIXZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Vertical tilde QBRP99RD5W
| URI | m2://inv/QBRP99RD5W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tilde#TNRD, Vertical tilde (unknown)
History
- 2026-11-02: add by m2/dev
QBRPCCMWT1 QBRPCCMWT1
| URI | m2://inv/QBRPCCMWT1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24542#GLEI (statement)
History
- 2026-11-01: add by m2/v0.6.15
QBS4057KPW QBS4057KPW
| URI | m2://inv/QBS4057KPW |
|---|---|
| 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 2609.29022#Q4LE (definition)
History
- 2026-11-01: add by m2/v0.6.15
Final interior error decomposition and convergence QBS4SQT7DF
| URI | m2://inv/QBS4SQT7DF |
|---|---|
| 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.10484#FMG9, Final interior error decomposition and convergence (statement). In 5B4AX4SF88/e1, theorem 4.19
History
- 2026-10-29: add by m2/v0.4.10
QBS9Q9Z7N1 QBS9Q9Z7N1
| URI | m2://inv/QBS9Q9Z7N1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09810#AUNC (statement). In B6PCH930FV/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.10
Pierce--Yung QBSC7XRMR6
| URI | m2://inv/QBSC7XRMR6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14841#OQ6T, Pierce--Yung (statement). In 6V5HP8W1ZG/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
centre QBSEX6S908
| URI | m2://inv/QBSEX6S908 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#IBCD, centre (definition)
History
- 2026-11-02: add by m2/dev
Paul A. Schweitzer QBSPG03D17
| URI | m2://inv/QBSPG03D17 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UB4Y, Paul A. Schweitzer (unknown)
History
- 2026-11-02: add by m2/dev
Free boundary convergence QBSR12NNJJ
| URI | m2://inv/QBSR12NNJJ |
|---|---|
| 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.18270#BV90, Free boundary convergence (statement). In CPDMYJ0NJV/e1, lemma 2.11
History
- 2026-10-28: add by m2/v0.4.2
Construction QBSWAZ12PK
| URI | m2://inv/QBSWAZ12PK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Astrolabe#A15Z, Construction (definition)
History
- 2026-11-02: add by m2/dev
QBSYPCFTF6 QBSYPCFTF6
| URI | m2://inv/QBSYPCFTF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.06581#6MQL (statement). In WXJ2V3HA2R/e1, lemma D.9
History
- 2026-10-27: add by m2/v0.3.5
Boris Trakhtenbrot QBT4YPSB7E
| URI | m2://inv/QBT4YPSB7E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#10P3, Boris Trakhtenbrot (topic)
History
- 2026-11-02: add by m2/dev
Michael Pfannkuche QBT8PR1BEV
| URI | m2://inv/QBT8PR1BEV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#F629, Michael Pfannkuche (unknown)
History
- 2026-11-02: add by m2/dev
Passing uniform regularity and its deficit to the limit QBTB4F1N88
| URI | m2://inv/QBTB4F1N88 |
|---|---|
| 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#7KLZ, Passing uniform regularity and its deficit to the limit (statement). In 9YAE8FNQST/e1, lemma 16.7
History
- 2026-10-30: add by m2/v0.4.12
Zodiac QBTC3HJ08S
| URI | m2://inv/QBTC3HJ08S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zodiac (cipher), Zodiac (definition). Also Wikidata Q8073224
History
- 2026-11-02: add by m2/dev
Dual lattice QBTGW9FD92
| URI | m2://inv/QBTGW9FD92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual lattice, Dual lattice (definition). Also Wikidata Q104840620
History
- 2026-11-02: add by m2/dev
Properties QBTHDZF033
| URI | m2://inv/QBTHDZF033 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthocenter#YA8A, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition QBTJKYMXR3
| URI | m2://inv/QBTJKYMXR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete logarithm#T04W, Definition (definition)
History
- 2026-11-02: add by m2/dev
Measurement in quantum mechanics QBTMQVZJAE
| URI | m2://inv/QBTMQVZJAE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#2DZV, Measurement in quantum mechanics (unknown)
History
- 2026-11-02: add by m2/dev
Retaining intermediate summands QBTNH8G1RY
| URI | m2://inv/QBTNH8G1RY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#MEP8, Retaining intermediate summands (statement). In E7W2HDNEKJ/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Membership and factor reconstruction QBTV2EVDJV
| URI | m2://inv/QBTV2EVDJV |
|---|---|
| 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#T09I, Membership and factor reconstruction (statement). In R03K2N7FRF/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
QBTY10HVCV QBTY10HVCV
| URI | m2://inv/QBTY10HVCV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#X3K3 (statement). In 13GSWBXPCM/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.3.5
Heilbronn triangle problem QBV3NDNW53
| URI | m2://inv/QBV3NDNW53 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Heilbronn triangle problem XT32T13KBY |
Mentions
- wikidata: Wikidata Q5699425, Heilbronn triangle problem (problem). Also MathWorld HeilbronnTriangleProblem
- wikipedia: Wikipedia Heilbronn triangle problem, Heilbronn triangle problem (conjecture). Also Wikidata Q5699425
History
- 2026-10-26: add by m2/dev
Giuseppina Masotti Biggiogero QBV4W9G5JY
| URI | m2://inv/QBV4W9G5JY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giuseppina Masotti Biggiogero, Giuseppina Masotti Biggiogero (topic). Also Wikidata Q3771686
History
- 2026-11-02: add by m2/dev
QBVE0J8CGJ QBVE0J8CGJ
| URI | m2://inv/QBVE0J8CGJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21231#I0AQ (definition). In 4RH9PS7MN1/e1, definition 1
History
- 2026-10-27: add by m2/v0.4.2
QBVK7F26YR QBVK7F26YR
| URI | m2://inv/QBVK7F26YR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10377#ACTS (statement). In 6HP7BR9WZM/e1, theorem 4.6
History
- 2026-10-29: add by m2/v0.4.10
Data transformation (statistics) QBVSHM8QQ9
| URI | m2://inv/QBVSHM8QQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#84J7, Data transformation (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Separable Jacobian conjecture QBVX9E5GXX
| URI | m2://inv/QBVX9E5GXX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobian conjecture#9OS2, Separable Jacobian conjecture (statement)
History
- 2026-11-02: add by m2/dev
Graham's number QBVYGFBTFK
| URI | m2://inv/QBVYGFBTFK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#05F2, Graham's number (definition)
History
- 2026-11-02: add by m2/dev
Ben Franklin effect QBW02H9CD0
| URI | m2://inv/QBW02H9CD0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#T54D, Ben Franklin effect (unknown)
History
- 2026-11-02: add by m2/dev
QBW3WCKX01 QBW3WCKX01
| URI | m2://inv/QBW3WCKX01 |
|---|---|
| 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.21828#BK03 (statement). In B5M7S1FGS0/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
QBW42B6CMS QBW42B6CMS
| URI | m2://inv/QBW42B6CMS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30663#84GH (statement). In 3JZDKWS8NK/e1, lemma 7.1
History
- 2026-10-31: add by m2/v0.5.6
Coframe QBW6STAZCF
| URI | m2://inv/QBW6STAZCF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coframe, Coframe (definition). Also Wikidata Q5141056
History
- 2026-11-02: add by m2/dev
QBWBGA0HMX QBWBGA0HMX
| URI | m2://inv/QBWBGA0HMX |
|---|---|
| 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.29824#0IP4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Apache Commons Math QBWKFQ175J
| URI | m2://inv/QBWKFQ175J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#ZBYU, Apache Commons Math (unknown)
History
- 2026-11-02: add by m2/dev
QBWQE654NV QBWQE654NV
| URI | m2://inv/QBWQE654NV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.33841#EMI9 (statement). In 3CVQHT206K/e1, theorem 4.9
History
- 2026-10-30: add by m2/v0.4.12
QBX4C3KDGQ QBX4C3KDGQ
| URI | m2://inv/QBX4C3KDGQ |
|---|---|
| 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 2609.34856#H30J (statement). In MRR92GQNZE/e1, proposition 3.27
History
- 2026-10-30: add by m2/v0.4.12
QBX9M8NGVZ QBX9M8NGVZ
| URI | m2://inv/QBX9M8NGVZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-65 (exercise). In E59CDZA4DP, exercise, section 2.5.4
History
- 2026-11-01: add by m2/v0.6.13
Definition (Detailed balance) QBXCA29H7R
| URI | m2://inv/QBXCA29H7R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov chain Monte Carlo#IO3K, Definition (Detailed balance) (definition)
History
- 2026-11-02: add by m2/dev
Examples QBXHGN613H
| URI | m2://inv/QBXHGN613H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moduli scheme#S73A, Examples (example)
History
- 2026-11-02: add by m2/dev
Theorem QBXK7FEBBY
| URI | m2://inv/QBXK7FEBBY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor product#WYEQ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Equations of motion from D'Alembert's principle QBXP9HGJ3S
| URI | m2://inv/QBXP9HGJ3S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrangian mechanics#CMJ2, Equations of motion from D'Alembert's principle (statement)
History
- 2026-11-02: add by m2/dev
QBXSVDGDBA QBXSVDGDBA
| URI | m2://inv/QBXSVDGDBA |
|---|---|
| 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.03327#YWYS (statement). In EBNXA84CPM/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
QBXXX1Z4WP QBXXX1Z4WP
| URI | m2://inv/QBXXX1Z4WP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.12716#3W70 (definition). In 6X76XBE3HV/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.5
Constructions QBY8JHQ3XY
| URI | m2://inv/QBY8JHQ3XY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics of paper folding#X483, Constructions (definition)
History
- 2026-11-02: add by m2/dev
QBY930X3GV QBY930X3GV
| URI | m2://inv/QBY930X3GV |
|---|---|
| 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.27641#UXGP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition QBYJN8J0KR
| URI | m2://inv/QBYJN8J0KR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cursed equilibrium#O1V9, Definition (definition)
History
- 2026-11-02: add by m2/dev
Elastic instability QBYJTZ4YQE
| URI | m2://inv/QBYJTZ4YQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elastic instability, Elastic instability (definition). Also Wikidata Q3799193
History
- 2026-11-02: add by m2/dev
Automated theorem proving QBYMW52T97
| URI | m2://inv/QBYMW52T97 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automated theorem proving, Automated theorem proving (statement). Also Wikidata Q431667
History
- 2026-11-02: add by m2/dev
QBYMZ8B23G QBYMZ8B23G
| URI | m2://inv/QBYMZ8B23G |
|---|---|
| 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.24051#ROLH (statement)
History
- 2026-11-02: add by m2/v0.6.17
Lemma QBYT1ZD4CR
| URI | m2://inv/QBYT1ZD4CR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal lattice#33C5, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Statement of the inequality QBYWM0VVGH
| URI | m2://inv/QBYWM0VVGH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karamata's inequality#VGCP, Statement of the inequality (statement)
History
- 2026-11-02: add by m2/dev
Spinh group QBYYZ65NQR
| URI | m2://inv/QBYYZ65NQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spinh group, Spinh group (definition). Also Wikidata Q131472004
History
- 2026-11-02: add by m2/dev
Michael Fekete QBZC3MM4Q5
| URI | m2://inv/QBZC3MM4Q5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3OJ6, Michael Fekete (unknown)
History
- 2026-11-02: add by m2/dev
Linear system QBZCVKEEBH
| URI | m2://inv/QBZCVKEEBH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear system, Linear system (definition). Also Wikidata Q1072174
History
- 2026-11-02: add by m2/dev
Statement QBZEVCB789
| URI | m2://inv/QBZEVCB789 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nivat's conjecture#A3F5, Statement (statement)
History
- 2026-11-02: add by m2/dev
diagonalization QBZHXRG9V2
| URI | m2://inv/QBZHXRG9V2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Structure theory of endomorphisms > diagonalization, diagonalization (unknown)
History
- 2026-10-26: add by m2/dev
QBZTG6Z0VG QBZTG6Z0VG
| URI | m2://inv/QBZTG6Z0VG |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Penny graph#QT8Q (problem)
History
- 2026-11-02: add by m2/dev