Inventory rows 30
The cards of the rows of the inventory whose ids start with 30. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Properties 3003291CS9
| URI | m2://inv/3003291CS9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empirical risk minimization#LZUL, Properties (statement)
History
- 2026-11-02: add by m2/dev
3009P1S09Y 3009P1S09Y
| URI | m2://inv/3009P1S09Y |
|---|---|
| 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.35467#P984 (statement). In FK89DQ9J4S/e1, theorem C
History
- 2026-10-30: add by m2/v0.4.12
300JPDYCDB 300JPDYCDB
| URI | m2://inv/300JPDYCDB |
|---|---|
| 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.27484#GGAX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gerbner 300PCSDGM0
| URI | m2://inv/300PCSDGM0 |
|---|---|
| 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.24353#A8KH, Gerbner (statement)
History
- 2026-11-01: add by m2/v0.6.15
dense 300VE36XNC
| URI | m2://inv/300VE36XNC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#CLJ9, dense (definition)
History
- 2026-11-02: add by m2/dev
Properties 300ZA80NM1
| URI | m2://inv/300ZA80NM1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute geometry#P1VI, Properties (statement)
History
- 2026-11-02: add by m2/dev
Bruno von Freytag-Löringhoff 3012E75QR1
| URI | m2://inv/3012E75QR1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#N5O5, Bruno von Freytag-Löringhoff (topic)
History
- 2026-11-02: add by m2/dev
3012J5E2M5 3012J5E2M5
| URI | m2://inv/3012J5E2M5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#thm-1 (statement). In N54F33XE07, thm, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
William Prager 3012RMQRYD
| URI | m2://inv/3012RMQRYD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#VFR7, William Prager (unknown)
History
- 2026-11-02: add by m2/dev
3015VWREZ2 3015VWREZ2
| URI | m2://inv/3015VWREZ2 |
|---|---|
| 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.33124#65J0 (statement). In P27HYGQDAN/e1, theorem 23
History
- 2026-10-30: add by m2/v0.4.12
Michael Aizenman 30171KTXRS
| URI | m2://inv/30171KTXRS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Aizenman, Michael Aizenman (topic). Also Wikidata Q957282
History
- 2026-11-02: add by m2/dev
Cancelling a subspace 301AE6WQYZ
| URI | m2://inv/301AE6WQYZ |
|---|---|
| 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.27044#0QPR, Cancelling a subspace (statement)
History
- 2026-11-01: add by m2/v0.6.15
bounded from above 301C3QM2BE
| URI | m2://inv/301C3QM2BE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140984140, bounded from above (unknown). Also MathWorld BoundedfromAbove
History
- 2026-10-26: add by m2/dev
Seven Pines, West Virginia 301GWHP5RV
| URI | m2://inv/301GWHP5RV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#G1BB, Seven Pines, West Virginia (unknown)
History
- 2026-11-02: add by m2/dev
OpenFOAM 301R9ADANN
| URI | m2://inv/301R9ADANN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#6CX2, OpenFOAM (unknown)
History
- 2026-11-02: add by m2/dev
3020H0JRZQ 3020H0JRZQ
| URI | m2://inv/3020H0JRZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09171#OYYQ (statement). In 5ZPSZFE08Q/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
Multiple-indicator kriging 3020ZWZXE3
| URI | m2://inv/3020ZWZXE3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3I79, Multiple-indicator kriging (definition)
History
- 2026-11-02: add by m2/dev
3025AX07S6 3025AX07S6
| URI | m2://inv/3025AX07S6 |
|---|---|
| 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.10790#64BS (statement). In HHQ6P3RRB8/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.3
302641E6Z6 302641E6Z6
| URI | m2://inv/302641E6Z6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28880#D0FC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Distance 302FX5B049
| URI | m2://inv/302FX5B049 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance, Distance (definition). Also Wikidata Q126017
History
- 2026-11-02: add by m2/dev
Decrease controls the projected gradient 302M6GC78Q
| URI | m2://inv/302M6GC78Q |
|---|---|
| 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.06557#SMGX, Decrease controls the projected gradient (statement). In VV5CH6Y31D/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
302N9ZJ051 302N9ZJ051
| URI | m2://inv/302N9ZJ051 |
|---|---|
| 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.32088#9UWE (statement). In 7781ARDE06/e1, proposition 3.2
History
- 2026-10-31: add by m2/v0.5.6
Toufik Mansour 3030SBXYHT
| URI | m2://inv/3030SBXYHT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toufik Mansour, Toufik Mansour (topic). Also Wikidata Q6575205
History
- 2026-11-02: add by m2/dev
3037P76ABD 3037P76ABD
| URI | m2://inv/3037P76ABD |
|---|---|
| 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 2610.20386#T9ER (statement). In 4WC4V49KAC/e1, corollary 2.16
History
- 2026-10-27: add by m2/v0.4.2
3037PE5D99 3037PE5D99
| URI | m2://inv/3037PE5D99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21934#VTCS (statement). In YKD51BX3XB/e1, lemma 8.6
History
- 2026-10-27: add by m2/v0.4.2
Korteweg-de Vries Institute for Mathematics 3037X6QM25
| URI | m2://inv/3037X6QM25 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Korteweg-de Vries Institute for Mathematics, Korteweg-de Vries Institute for Mathematics (definition). Also Wikidata Q14635323
History
- 2026-11-02: add by m2/dev
Flat case 303F036YC0
| URI | m2://inv/303F036YC0 |
|---|---|
| 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.20274#7YSE, Flat case (statement)
History
- 2026-11-02: add by m2/v0.6.18
5 21 honeycomb 303JJBB2QB
| URI | m2://inv/303JJBB2QB |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5 21 honeycomb, 5 21 honeycomb (object). Also Wikidata Q4641095
History
- 2026-11-02: add by m2/dev
List scheduling 303K75CKMT
| URI | m2://inv/303K75CKMT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List scheduling, List scheduling (definition). Also Wikidata Q6646016
History
- 2026-11-02: add by m2/dev
303TWKMXRQ 303TWKMXRQ
| URI | m2://inv/303TWKMXRQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-proofs.ptx#investigation-1 (exercise). In Y91XFCEVHQ, investigation, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
Dispersionless equation 303VPQ2KY1
| URI | m2://inv/303VPQ2KY1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dispersionless equation, Dispersionless equation (definition). Also Wikidata Q5282585
History
- 2026-11-02: add by m2/dev
Morse 303Y8N8KSV
| URI | m2://inv/303Y8N8KSV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#RGSO, Morse (definition)
History
- 2026-11-02: add by m2/dev
Quadratic Variation of the Mean 303YCEJ2NY
| URI | m2://inv/303YCEJ2NY |
|---|---|
| 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.30105#BURE, Quadratic Variation of the Mean (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 304069JZ5F
| URI | m2://inv/304069JZ5F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-function#WAZZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Substitutionality 3041VZ52BS
| URI | m2://inv/3041VZ52BS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.14022#CYT0, Substitutionality (statement). In NSYR6W27FP/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.3.5
Properties 304AS3ZCBH
| URI | m2://inv/304AS3ZCBH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular cardinal#TJGC, Properties (statement)
History
- 2026-11-02: add by m2/dev
Lemma 304HP5F552
| URI | m2://inv/304HP5F552 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia XTR#74DZ, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Pamela Morse 304ZHZAWZ2
| URI | m2://inv/304ZHZAWZ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pamela Morse, Pamela Morse (topic). Also Wikidata Q104720465
History
- 2026-11-02: add by m2/dev
Tensor analysis 30552AWGHH
| URI | m2://inv/30552AWGHH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#57BC, Tensor analysis (definition)
History
- 2026-11-02: add by m2/dev
Jeffreys prior 305A53CPAQ
| URI | m2://inv/305A53CPAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeffreys prior, Jeffreys prior (definition). Also Wikidata Q4068240
History
- 2026-11-02: add by m2/dev
Limiting point 305EZ5R8WC
| URI | m2://inv/305EZ5R8WC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limiting point (geometry), Limiting point (definition). Also Wikidata Q17077751
History
- 2026-11-02: add by m2/dev
305RS7SQTZ 305RS7SQTZ
| URI | m2://inv/305RS7SQTZ |
|---|---|
| Kind | example |
| 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#W5GE (example). In 37B1MPV8GX/e1, example 4.8
History
- 2026-10-29: add by m2/v0.4.10
The second theorem 3062QTKPKZ
| URI | m2://inv/3062QTKPKZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pappus's centroid theorem#PTZB, The second theorem (statement)
History
- 2026-11-02: add by m2/dev
3066EVD3P7 3066EVD3P7
| URI | m2://inv/3066EVD3P7 |
|---|---|
| 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.23040#VE18 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Dual polygon 3066FRM7F4
| URI | m2://inv/3066FRM7F4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual polygon, Dual polygon (definition). Also Wikidata Q5310230
History
- 2026-11-02: add by m2/dev
objective idealism 30690VR774
| URI | m2://inv/30690VR774 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2011812, objective idealism (unknown). Also nLab objective idealism
History
- 2026-10-26: add by m2/dev
line bundle 306A5QFPWP
| URI | m2://inv/306A5QFPWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1509762, line bundle (unknown). Also nLab line bundle
- wikipedia: Wikipedia Line bundle, Line bundle (definition). Also Wikidata Q1509762
History
- 2026-10-26: add by m2/dev
306DKYAYAP 306DKYAYAP
| URI | m2://inv/306DKYAYAP |
|---|---|
| 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 2105.13129#BCN7 (statement). In J5Z1JD5VKR/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.4.0
Statement 306ES23JJE
| URI | m2://inv/306ES23JJE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crofton formula#B5HL, Statement (statement)
History
- 2026-11-02: add by m2/dev
Essentially finite vector bundle 306FZ717P3
| URI | m2://inv/306FZ717P3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Essentially finite vector bundle, Essentially finite vector bundle (definition). Also Wikidata Q5399588
History
- 2026-11-02: add by m2/dev
Argument from illusion 306H1J9TZY
| URI | m2://inv/306H1J9TZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument from illusion, Argument from illusion (definition). Also Wikidata Q4354764
History
- 2026-11-02: add by m2/dev
tangent space 306J7CWK4E
| URI | m2://inv/306J7CWK4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q909601, tangent space (definition). Also Mathlib TangentSpace, MathWorld TangentSpace, ProofWiki Definition:Tangent_Space
- wikipedia: Wikipedia Tangent space, Tangent space (definition). Also Wikidata Q909601
History
- 2026-10-26: add by m2/dev
Lexicographic order topology on the unit square 306N2CNMEE
| URI | m2://inv/306N2CNMEE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#0ASU, Lexicographic order topology on the unit square (definition)
History
- 2026-11-02: add by m2/dev
306NMEFYBG 306NMEFYBG
| URI | m2://inv/306NMEFYBG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#definition-3 (definition). In RZP28ERRZV, definition, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
306PAVEP95 306PAVEP95
| URI | m2://inv/306PAVEP95 |
|---|---|
| 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.09042#ON3M (statement). In 7CS3N5K9FJ/e1, lemma 18
History
- 2026-10-29: add by m2/v0.4.10
P. C. Vaidya 306SWPHJZJ
| URI | m2://inv/306SWPHJZJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#BSVU, P. C. Vaidya (unknown)
History
- 2026-11-02: add by m2/dev
Ring Sample Complexity 306WMWV5TW
| URI | m2://inv/306WMWV5TW |
|---|---|
| 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.36421#0T9O, Ring Sample Complexity (statement). In E0ZRSZ0YHT/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
306Y599N2J 306Y599N2J
| URI | m2://inv/306Y599N2J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-prop.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 99.1
History
- 2026-11-01: add by m2/v0.6.13
Construction 306YZXSP7X
| URI | m2://inv/306YZXSP7X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brouwer–Haemers graph#RY7K, Construction (definition)
History
- 2026-11-02: add by m2/dev
306ZZ57T6Q 306ZZ57T6Q
| URI | m2://inv/306ZZ57T6Q |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18346#UW33 (problem). In QVPNGHTMEX/e1, problem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Henricus Grammateus 3070RR5FVK
| URI | m2://inv/3070RR5FVK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henricus Grammateus, Henricus Grammateus (topic). Also Wikidata Q90473
History
- 2026-11-02: add by m2/dev
3074N7T5E0 3074N7T5E0
| URI | m2://inv/3074N7T5E0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14266#7KMW (example). In 7R33E8515R/e1, example 2.24
History
- 2026-10-28: add by m2/v0.4.2
Exact annular logarithmic loss 307V6B1EH7
| URI | m2://inv/307V6B1EH7 |
|---|---|
| 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.22345#6GXB, Exact annular logarithmic loss (statement)
History
- 2026-11-02: add by m2/v0.6.17
Ruin theory 307XCT3M8K
| URI | m2://inv/307XCT3M8K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FTAK, Ruin theory (topic)
History
- 2026-11-02: add by m2/dev
3084ZXG3WD 3084ZXG3WD
| URI | m2://inv/3084ZXG3WD |
|---|---|
| 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 2607.27272#UC12 (statement). In BDEA3TDATY/e1, theorem C
History
- 2026-10-27: add by m2/v0.3.5
Vladik Kreinovich 3087RTS2Z4
| URI | m2://inv/3087RTS2Z4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#16XX, Vladik Kreinovich (unknown)
History
- 2026-11-02: add by m2/dev
Example 308C9PXXD4
| URI | m2://inv/308C9PXXD4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius normal form#TJDX, Example (example)
History
- 2026-11-02: add by m2/dev
Incidence poset 308FNNJBH8
| URI | m2://inv/308FNNJBH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incidence poset, Incidence poset (definition). Also Wikidata Q18588959
History
- 2026-11-02: add by m2/dev
308GN7W5M1 308GN7W5M1
| URI | m2://inv/308GN7W5M1 |
|---|---|
| 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.25823#LFIS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fuzzy differential equation 308J8ZPKG8
| URI | m2://inv/308J8ZPKG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy differential equation, Fuzzy differential equation (definition). Also Wikidata Q115516561
History
- 2026-11-02: add by m2/dev
Extremal boundary slope 308MK6VV1N
| URI | m2://inv/308MK6VV1N |
|---|---|
| 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.17519#LFB4, Extremal boundary slope (statement). In H2DNTQ5MKV/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Tree lower bound 308Q9QK2W8
| URI | m2://inv/308Q9QK2W8 |
|---|---|
| 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.09650#JL81, Tree lower bound (statement). In 628KM8869P/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.10
Universal quantum computer 3098VGSB8B
| URI | m2://inv/3098VGSB8B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#56YZ, Universal quantum computer (definition)
History
- 2026-11-02: add by m2/dev
composite number 309A3B0HJQ
| URI | m2://inv/309A3B0HJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Composite number 008BH74D7R |
Mentions
- wikidata: Wikidata Q50707, composite number (unknown). Also EoM Composite_number, MathWorld CompositeNumber, OEIS A002808
- wikipedia: Wikipedia Composite number, Composite number (definition). Also Wikidata Q50707
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Erich Schönhardt 309CARW0T2
| URI | m2://inv/309CARW0T2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#N31R, Erich Schönhardt (topic)
History
- 2026-11-02: add by m2/dev
Formal statement 309ECWVNS7
| URI | m2://inv/309ECWVNS7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gibbard–Satterthwaite theorem#WOJE, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Call by object 309GGQCRYK
| URI | m2://inv/309GGQCRYK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evaluation strategy#YY54, Call by object (unknown)
History
- 2026-11-02: add by m2/dev
Statement 309H74DPVY
| URI | m2://inv/309H74DPVY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scholz's reciprocity law#QP34, Statement (statement)
History
- 2026-11-02: add by m2/dev
Fully discrete common-state convergence 309MW61S3M
| URI | m2://inv/309MW61S3M |
|---|---|
| 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.21991#LXCM, Fully discrete common-state convergence (statement). In KRBDK9J44X/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.4.2
$C^k$-uniform tangency 309S2R4ZXH
| URI | m2://inv/309S2R4ZXH |
|---|---|
| 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 2610.18078#MPNZ, $C^k$-uniform tangency (definition). In YVK8EFSYNJ/e1, definition 8.2
History
- 2026-10-28: add by m2/v0.4.2
Oseledets theorem 309SJK37BM
| URI | m2://inv/309SJK37BM |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 37-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7106480, Oseledec theorem (statement). Also Wikidata Q7106480
- thousand_plus: thousand_plus Q7106480, Oseledec theorem (statement). Also Wikidata Q7106480, Wikipedia Oseledec theorem
- wikipedia: Wikipedia Oseledets theorem, Oseledets theorem (statement). Also Wikidata Q7106480
History
- 2026-10-26: add by m2/dev
309TC08K4B 309TC08K4B
| URI | m2://inv/309TC08K4B |
|---|---|
| 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 2610.05232#NHIH (statement). In DA3VN96YX2/e1, theorem 1.7
History
- 2026-10-29: add by m2/v0.4.10
309ZQNKRKZ 309ZQNKRKZ
| URI | m2://inv/309ZQNKRKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.33512#P5BI (statement). In WYHZMYZT31/e1, lemma 3.19
History
- 2026-10-30: add by m2/v0.4.12
multiplicative function 30A4X7Q7WH
| URI | m2://inv/30A4X7Q7WH |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 11N37, 11Nxx |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Multiplicative function 0AP80TT660 |
Mentions
- wikidata: Wikidata Q1048447, multiplicative function (topic). Also EoM Multiplicative_arithmetic_function, LMFDB knowl af.multiplicative, MathWorld MultiplicativeFunction
- wikipedia: Wikipedia Multiplicative function, Multiplicative function (definition). Also Wikidata Q1048447
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Terminology 30A5Q86WG1
| URI | m2://inv/30A5Q86WG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Figurate number#APV7, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Definitions 30A8JHG76M
| URI | m2://inv/30A8JHG76M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangle wave#S78F, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Marden's theorem 30AE618V2W
| URI | m2://inv/30AE618V2W |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 12-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1568612, Marden's theorem (statement). Also Wikidata Q1568612
- thousand_plus: thousand_plus Q1568612, Marden's theorem (statement). Also Wikidata Q1568612, Wikipedia Marden's theorem
- wikipedia: Wikipedia Marden's theorem, Marden's theorem (statement). Also Wikidata Q1568612
History
- 2026-10-26: add by m2/dev
Maffray--Reed 30AFGVJ945
| URI | m2://inv/30AFGVJ945 |
|---|---|
| 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.16258#OG3U, Maffray--Reed (statement). In AZ6QMVKFHD/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
character 30AGQE2GKY
| URI | m2://inv/30AGQE2GKY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Representation theory > character, character (unknown). Also Mathlib FDRep.character
- mathlib_undergrad: mathlib_undergrad Group Theory > Representation theory of finite groups > characters of a finite-dimensional representation, characters of a finite-dimensional representation (unknown). Also Mathlib FDRep.character
History
- 2026-10-26: add by m2/dev
Anchor-radius second moment 30AVWQ83RQ
| URI | m2://inv/30AVWQ83RQ |
|---|---|
| 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#J821, Anchor-radius second moment (statement). In X1FPG0KYBM/e1, lemma R.1
History
- 2026-10-28: add by m2/v0.4.2
eigenvalues from Rayleigh quotient 30AWXDBXAV
| URI | m2://inv/30AWXDBXAV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Hilbert spaces > eigenvalues from Rayleigh quotient, eigenvalues from Rayleigh quotient (unknown). Also Mathlib IsSelfAdjoint.hasEigenvector_of_isLocalExtrOn
History
- 2026-10-26: add by m2/dev
component, of poset 30AY9HM50Q
| URI | m2://inv/30AY9HM50Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.2/component-of-poset, component, of poset (concept). In QKM9DD2H56, index, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
30BAMAHWCG 30BAMAHWCG
| URI | m2://inv/30BAMAHWCG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20516#TT6C (statement)
History
- 2026-11-02: add by m2/v0.6.18
30BCY64KD0 30BCY64KD0
| URI | m2://inv/30BCY64KD0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.08738#KOMT (example). In 9GMTVSTAVN/e1, example 9
History
- 2026-10-27: add by m2/v0.3.5
30BHC7RGMA 30BHC7RGMA
| URI | m2://inv/30BHC7RGMA |
|---|---|
| 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.23341#XNYS (statement)
History
- 2026-11-02: add by m2/v0.6.17
30BMHY7ZMS 30BMHY7ZMS
| URI | m2://inv/30BMHY7ZMS |
|---|---|
| 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.18106#J795 (statement). In VZDPG7NJCX/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
Identity 30C4T0VAH5
| URI | m2://inv/30C4T0VAH5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract algebra#5G1E, Identity (definition)
History
- 2026-11-02: add by m2/dev
30C9R595DJ 30C9R595DJ
| URI | m2://inv/30C9R595DJ |
|---|---|
| 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.20583#SDHV (statement). In 5YEEPDPAQE/e1, corollary 2.6
History
- 2026-10-27: add by m2/v0.4.2
Concentration of Dynkin martingales 30CBF7Z1SZ
| URI | m2://inv/30CBF7Z1SZ |
|---|---|
| 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.16705#WO6E, Concentration of Dynkin martingales (statement). In B48YQVGAF5/e1, lemma 3.10
History
- 2026-10-28: add by m2/v0.4.2
neoid 30CEFVWJK9
| URI | m2://inv/30CEFVWJK9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1216931, neoid (unknown). Also MathWorld Neoid
History
- 2026-10-26: add by m2/dev
30CFKTNE5F 30CFKTNE5F
| URI | m2://inv/30CFKTNE5F |
|---|---|
| Kind | definition |
| 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.09809#BOXU (definition). In 7NKQ6PR78N/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
Daniel Huybrechts 30CPVQN0AZ
| URI | m2://inv/30CPVQN0AZ |
|---|---|
| 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#DE5O, Daniel Huybrechts (topic)
History
- 2026-11-02: add by m2/dev
Deligne–Mumford stack 30CWJHE7BQ
| URI | m2://inv/30CWJHE7BQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16955706, Deligne–Mumford stack (unknown). Also nLab Deligne-Mumford stack
- wikipedia: Wikipedia Deligne–Mumford stack, Deligne–Mumford stack (definition). Also Wikidata Q16955706
History
- 2026-10-26: add by m2/dev
Properties 30D2V8GVJY
| URI | m2://inv/30D2V8GVJY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multipliers and centralizers (Banach spaces)#9GZD, Properties (statement)
History
- 2026-11-02: add by m2/dev
Inverse functions and differentiation 30D8GWB8C5
| URI | m2://inv/30D8GWB8C5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#Y3EH, Inverse functions and differentiation (definition)
History
- 2026-11-02: add by m2/dev
The definition of a spectrum 30DA6NNB0Z
| URI | m2://inv/30DA6NNB0Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectrum (topology)#W1FB, The definition of a spectrum (definition)
History
- 2026-11-02: add by m2/dev
30DF6YRV4K 30DF6YRV4K
| URI | m2://inv/30DF6YRV4K |
|---|---|
| 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 2208.07401#Q5NW (statement). In GJD7HKCE56/e1, lemma 3.14
History
- 2026-10-27: add by m2/v0.3.6
William Lowell Putnam Mathematical Competition 30DSCH6GW9
| URI | m2://inv/30DSCH6GW9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#DTXT, William Lowell Putnam Mathematical Competition (definition)
History
- 2026-11-02: add by m2/dev
Lubna of Córdoba 30DYD488BP
| URI | m2://inv/30DYD488BP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lubna of Córdoba, Lubna of Córdoba (topic). Also Wikidata Q3264654
History
- 2026-11-02: add by m2/dev
Examples 30EAEM60V1
| URI | m2://inv/30EAEM60V1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semidirect product#Q6WY, Examples (example)
History
- 2026-11-02: add by m2/dev
30EFJC9ACA 30EFJC9ACA
| URI | m2://inv/30EFJC9ACA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#proof-25 (proof). In N54F33XE07, proof, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Extensions 30EFTQM6FP
| URI | m2://inv/30EFTQM6FP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transport Layer Security#IDGU, Extensions (statement)
History
- 2026-11-02: add by m2/dev
30EMT8Q40T 30EMT8Q40T
| URI | m2://inv/30EMT8Q40T |
|---|---|
| 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.20556#U54D (statement)
History
- 2026-11-02: add by m2/v0.6.18
30EQ8RN4EM 30EQ8RN4EM
| URI | m2://inv/30EQ8RN4EM |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 01-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06338#LX08 (problem). In F1CYVYK7YB/e1, problem 10.1
History
- 2026-10-29: add by m2/v0.4.10
30ET6CBGNV 30ET6CBGNV
| URI | m2://inv/30ET6CBGNV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28323#WYNV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ruled join 30F7A8DH1C
| URI | m2://inv/30F7A8DH1C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruled join, Ruled join (definition). Also Wikidata Q55615274
History
- 2026-11-02: add by m2/dev
Ben Goldacre 30F7K5CP5H
| URI | m2://inv/30F7K5CP5H |
|---|---|
| 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 Q816499, Ben Goldacre (unknown). Also ProofWiki Mathematician:Ben_Michael_Goldacre
History
- 2026-10-26: add by m2/dev
30FA2ABSES 30FA2ABSES
| URI | m2://inv/30FA2ABSES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#RP11 (statement). In RYWAX33Z51/e1, lemma 4.15
History
- 2026-10-31: add by m2/v0.5.6
30FGD98FVK 30FGD98FVK
| URI | m2://inv/30FGD98FVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#E65I (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
Waleed Al-Salam 30FWQ7VWS4
| URI | m2://inv/30FWQ7VWS4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#MJ6Y, Waleed Al-Salam (topic)
History
- 2026-11-02: add by m2/dev
Solvability and the Natarajan dimension 30FXRPN2WJ
| URI | m2://inv/30FXRPN2WJ |
|---|---|
| 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.18154#9FZZ, Solvability and the Natarajan dimension (statement). In 4W7ARR1DAR/e1, theorem 7.2
History
- 2026-10-28: add by m2/v0.4.2
19th century in mathematics 30G6NBSAD6
| URI | m2://inv/30G6NBSAD6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of mathematics#HN40, 19th century in mathematics (unknown)
History
- 2026-11-02: add by m2/dev
regular nonagon 30GAXDY0YD
| URI | m2://inv/30GAXDY0YD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18017976, regular nonagon (unknown). Also MathWorld RegularNonagon
History
- 2026-10-26: add by m2/dev
′ 30GK1YY0H6
| URI | m2://inv/30GK1YY0H6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#6CTB, ′ (definition)
History
- 2026-11-02: add by m2/dev
30GTQEAEJV 30GTQEAEJV
| URI | m2://inv/30GTQEAEJV |
|---|---|
| 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.25539#S7AU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition 30GZ58W146
| URI | m2://inv/30GZ58W146 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Russo–Vallois integral#FSS7, Definition (definition)
History
- 2026-11-02: add by m2/dev
tree decomposition 30H8BHVTNC
| URI | m2://inv/30H8BHVTNC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q462095, tree decomposition (unknown). Also MathWorld TreeDecomposition
- wikipedia: Wikipedia Tree decomposition, Tree decomposition (definition). Also Wikidata Q462095
History
- 2026-10-26: add by m2/dev
Tower of Hanoi 30HGXN8RXM
| URI | m2://inv/30HGXN8RXM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Tower of Hanoi 0906Z03EMN |
Mentions
- wikidata: Wikidata Q213593, Tower of Hanoi (unknown). Also MathWorld TowerofHanoi
- wikipedia: Wikipedia Tower of Hanoi, Tower of Hanoi (definition). Also Wikidata Q213593
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
RW iteration for entanglement fidelity 30HJ4ZTFW1
| URI | m2://inv/30HJ4ZTFW1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40203#2JCL, RW iteration for entanglement fidelity (statement). In ECH66J4Y43/e1, corollary 8
History
- 2026-10-30: add by m2/v0.4.12
Unique sink orientation 30HW95YFYV
| URI | m2://inv/30HW95YFYV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unique sink orientation, Unique sink orientation (definition). Also Wikidata Q7886959
History
- 2026-11-02: add by m2/dev
cyclic number 30J1NGYN5X
| URI | m2://inv/30J1NGYN5X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q245463, cyclic number (unknown). Also MathWorld CyclicNumber
- wikipedia: Wikipedia Cyclic number, Cyclic number (definition). Also Wikidata Q245463
History
- 2026-10-26: add by m2/dev
30J6A1EGQZ 30J6A1EGQZ
| URI | m2://inv/30J6A1EGQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#defn-3 (definition). In E59CDZA4DP, defn, section 5.1.2
History
- 2026-11-01: add by m2/v0.6.13
30JDDNDRK0 30JDDNDRK0
| URI | m2://inv/30JDDNDRK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02244#X5C0 (statement). In 3REM2EXQK7/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
30JGDDKB0C 30JGDDKB0C
| URI | m2://inv/30JGDDKB0C |
|---|---|
| Kind | problem |
| 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 2609.20153#I72I (problem)
History
- 2026-11-02: add by m2/v0.6.18
Properties 30JR55GD5P
| URI | m2://inv/30JR55GD5P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius ladder#BDF8, Properties (statement)
History
- 2026-11-02: add by m2/dev
Compound of five nonconvex great rhombicuboctahedra 30JRZ85GX1
| URI | m2://inv/30JRZ85GX1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of five nonconvex great rhombicuboctahedra, Compound of five nonconvex great rhombicuboctahedra (definition). Also Wikidata Q5156858
History
- 2026-11-02: add by m2/dev
Benny Lautrup 30JTN2TQCA
| URI | m2://inv/30JTN2TQCA |
|---|---|
| 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 Q4890009, Benny Lautrup (unknown). Also nLab Benny Lautrup
History
- 2026-10-26: add by m2/dev
Chief series 30JWHFSMNN
| URI | m2://inv/30JWHFSMNN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chief series, Chief series (definition). Also Wikidata Q5097090
History
- 2026-11-02: add by m2/dev
Stationary distribution 30JXM58EN1
| URI | m2://inv/30JXM58EN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KWX3, Stationary distribution (definition)
History
- 2026-11-02: add by m2/dev
30K0EC3CFV 30K0EC3CFV
| URI | m2://inv/30K0EC3CFV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24739#MOE5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
30K2NEQT71 30K2NEQT71
| URI | m2://inv/30K2NEQT71 |
|---|---|
| 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 1907.01440#MACD (statement). In QDRYC6WJJ7/e1, corollary 3
History
- 2026-10-27: add by m2/v0.3.5
30K6SCAE60 30K6SCAE60
| URI | m2://inv/30K6SCAE60 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36021#R5TC (statement). In CB68ATPEV9/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Theorem 30K8M4TQBW
| URI | m2://inv/30K8M4TQBW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform boundedness principle#00QD, Theorem (statement)
History
- 2026-11-02: add by m2/dev
30KAD3QTCB 30KAD3QTCB
| URI | m2://inv/30KAD3QTCB |
|---|---|
| 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.11145#OMIP (statement). In 2KME4YY99M/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.3
30KH7PTD8C 30KH7PTD8C
| URI | m2://inv/30KH7PTD8C |
|---|---|
| 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.03520#1W38 (statement). In CSRZ9CWK69/e1, proposition 7.4
History
- 2026-10-29: add by m2/v0.4.12
Lake tide 30KV9AFPBJ
| URI | m2://inv/30KV9AFPBJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tide#QBQ6, Lake tide (unknown)
History
- 2026-11-02: add by m2/dev
30M3MCXHN2 30M3MCXHN2
| URI | m2://inv/30M3MCXHN2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20516#Y67U (statement)
History
- 2026-11-02: add by m2/v0.6.18
Susanna S. Epp 30M5QQR0NA
| URI | m2://inv/30M5QQR0NA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#XG2G, Susanna S. Epp (topic)
History
- 2026-11-02: add by m2/dev
Elementary properties 30M6NYXTVP
| URI | m2://inv/30M6NYXTVP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pisot–Vijayaraghavan number#FPHF, Elementary properties (statement)
History
- 2026-11-02: add by m2/dev
Reverse OU energies for Gaussians 30M9RKVDW7
| URI | m2://inv/30M9RKVDW7 |
|---|---|
| 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.10875#4G7O, Reverse OU energies for Gaussians (statement). In N91F15MHW1/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.3
Convergence of Probability Measures 30MCTEVWZG
| URI | m2://inv/30MCTEVWZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergence of Probability Measures, Convergence of Probability Measures (definition). Also Wikidata Q105409459
History
- 2026-11-02: add by m2/dev
Separation 30MDB8G4W8
| URI | m2://inv/30MDB8G4W8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17276#ZPGN, Separation (statement). In GG14QF0JKJ/e1, lemma 2.11
History
- 2026-10-28: add by m2/v0.4.2
Alan Turing 30MNMEF9JS
| URI | m2://inv/30MNMEF9JS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alan Turing, Alan Turing (topic). Also Wikidata Q7251
History
- 2026-11-02: add by m2/dev
disconnected graph 30MZNME9XK
| URI | m2://inv/30MZNME9XK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q138827270, disconnected graph (unknown). Also MathWorld DisconnectedGraph
History
- 2026-10-26: add by m2/dev
30N2KH566S 30N2KH566S
| URI | m2://inv/30N2KH566S |
|---|---|
| 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.10813#KLNA (statement). In G8F4P7GDMA/e1, proposition 4.9
History
- 2026-10-28: add by m2/v0.4.3
30N3SJG3X8 30N3SJG3X8
| URI | m2://inv/30N3SJG3X8 |
|---|---|
| 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 2204.01073#77KX (statement). In W4TYN4PGE8/e1, lemma 2.52
History
- 2026-10-27: add by m2/v0.3.5
30N5RDFZQ0 30N5RDFZQ0
| URI | m2://inv/30N5RDFZQ0 |
|---|---|
| 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.26675#YK2D (statement)
History
- 2026-11-01: add by m2/v0.6.15
30NFPXY9FJ 30NFPXY9FJ
| URI | m2://inv/30NFPXY9FJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.14879#2MO5 (statement). In 3VZ55B2N0D/e1, lemma 5.8
History
- 2026-10-27: add by m2/v0.4.0
30NG7Q1ND9 30NG7Q1ND9
| URI | m2://inv/30NG7Q1ND9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/provability-consistency.tex#prop:explicit-inc (statement). In PKGMM3P5QY, prop, section 17.7
History
- 2026-11-01: add by m2/v0.6.13
Euclidean rigid geometry 30NKJ5BH19
| URI | m2://inv/30NKJ5BH19 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-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 2303.09207#S3QY, Euclidean rigid geometry (example). In 9DQKY7KGE8/e1, example B.3
History
- 2026-10-31: add by m2/v0.5.6
30NRJCQ665 30NRJCQ665
| URI | m2://inv/30NRJCQ665 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/differentiate.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 30.6
History
- 2026-11-01: add by m2/v0.6.13
Examples 30PAJ004PD
| URI | m2://inv/30PAJ004PD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slender group#7X2L, Examples (example)
History
- 2026-11-02: add by m2/dev
Verhoeff algorithm 30PC514WDR
| URI | m2://inv/30PC514WDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#ANIA, Verhoeff algorithm (definition)
History
- 2026-11-02: add by m2/dev
30PQY8AP7S 30PQY8AP7S
| URI | m2://inv/30PQY8AP7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-1.xml#definition-1 (definition). In 649HGZKE96, definition, section 7.1.2
History
- 2026-11-01: add by m2/v0.6.13
Raymond Smullyan 30PXN4XRTS
| URI | m2://inv/30PXN4XRTS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#BLY4, Raymond Smullyan (topic)
History
- 2026-11-02: add by m2/dev
Properties 30PZ03WE7P
| URI | m2://inv/30PZ03WE7P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derivation (differential algebra)#S70N, Properties (statement)
History
- 2026-11-02: add by m2/dev
30Q4Z3YA5M 30Q4Z3YA5M
| URI | m2://inv/30Q4Z3YA5M |
|---|---|
| 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.24790#Z7Z0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Related formulas 30Q7GAH8YH
| URI | m2://inv/30Q7GAH8YH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ricci decomposition#2VQP, Related formulas (statement)
History
- 2026-11-02: add by m2/dev
30QD669VJT 30QD669VJT
| URI | m2://inv/30QD669VJT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#RRNL (statement). In ABS9M47F4K/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.6
30QM9P961N 30QM9P961N
| URI | m2://inv/30QM9P961N |
|---|---|
| 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.21895#SOCX (statement)
History
- 2026-11-02: add by m2/v0.6.17
Theorem (Tůma and Wehrung 2006) 30QQ9D9YSJ
| URI | m2://inv/30QQ9D9YSJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence lattice problem#CYBT, Theorem (Tůma and Wehrung 2006) (statement)
History
- 2026-11-02: add by m2/dev
30QQMTK513 30QQMTK513
| URI | m2://inv/30QQMTK513 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01216#E6UP (statement). In 59016RQTW6/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
30QRCWBZFC 30QRCWBZFC
| URI | m2://inv/30QRCWBZFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20899#P6NU (statement). In BSMDFADA39/e1, theorem A
History
- 2026-10-27: add by m2/v0.4.2
30QRZPTPFN 30QRZPTPFN
| URI | m2://inv/30QRZPTPFN |
|---|---|
| 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.26438#4ITD (statement)
History
- 2026-11-01: add by m2/v0.6.15
30QXZ562D2 30QXZ562D2
| URI | m2://inv/30QXZ562D2 |
|---|---|
| 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.04993#6FLN (statement). In JQBWZPXKAV/e1, lemma 5.7
History
- 2026-10-29: add by m2/v0.4.12
Dimension formula 30QZKG9C0Q
| URI | m2://inv/30QZKG9C0Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schubert calculus#KOR7, Dimension formula (statement)
History
- 2026-11-02: add by m2/dev
Pierre Rosenstiehl 30RA4EXXTW
| URI | m2://inv/30RA4EXXTW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#W6G0, Pierre Rosenstiehl (unknown)
History
- 2026-11-02: add by m2/dev
30RCQHPXTY 30RCQHPXTY
| URI | m2://inv/30RCQHPXTY |
|---|---|
| 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#KJZY (statement). In 8KKYZ4NKT2/e1, lemma 30
History
- 2026-10-27: add by m2/v0.4.2
Valentino Tosatti 30RE3EYTP3
| URI | m2://inv/30RE3EYTP3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valentino Tosatti, Valentino Tosatti (topic). Also Wikidata Q79677224
History
- 2026-11-02: add by m2/dev
Andréief–Heine identity 30RJEC09RN
| URI | m2://inv/30RJEC09RN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Eduard Heine#7IEU, Andréief–Heine identity (unknown)
History
- 2026-11-02: add by m2/dev
30RRTYJEN0 30RRTYJEN0
| URI | m2://inv/30RRTYJEN0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37562#44X6 (statement). In PYY8DFK2JS/e1, corollary C
History
- 2026-10-30: add by m2/v0.4.12
30S3SQ0WF0 30S3SQ0WF0
| URI | m2://inv/30S3SQ0WF0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03628#Y00R (statement). In P8KT6JV9N1/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
30S9E5KB0B 30S9E5KB0B
| URI | m2://inv/30S9E5KB0B |
|---|---|
| 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.13585#J7H8 (definition). In VM1H86JNN7/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
30SC5YF8VP 30SC5YF8VP
| URI | m2://inv/30SC5YF8VP |
|---|---|
| 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.27823#YZDL (statement)
History
- 2026-11-01: add by m2/v0.6.15
\emph{Energy estimate 30SCKXR3RJ
| URI | m2://inv/30SCKXR3RJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37593#PTE9, \emph{Energy estimate (statement). In YTF96VHKAH/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
30SCZQ8TD1 30SCZQ8TD1
| URI | m2://inv/30SCZQ8TD1 |
|---|---|
| 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.20911#M14Q (statement). In FF3MV70E7Z/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.4.2
Application 30SS3TH2TM
| URI | m2://inv/30SS3TH2TM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axis–angle representation#ZZI1, Application (example)
History
- 2026-11-02: add by m2/dev
30T0T5VZA1 30T0T5VZA1
| URI | m2://inv/30T0T5VZA1 |
|---|---|
| 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.05193#16RQ (statement). In XDMM0KNNZ9/e1, corollary 12
History
- 2026-10-29: add by m2/v0.4.10
30T1GKP17M 30T1GKP17M
| URI | m2://inv/30T1GKP17M |
|---|---|
| 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.15460#ZDXY (statement). In T2Z3D2VQ9B/e1, theorem A.3
History
- 2026-10-28: add by m2/v0.4.2
Ptolemy's theorem 30T2EGA9T5
| URI | m2://inv/30T2EGA9T5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#IL24, Ptolemy's theorem (statement)
History
- 2026-11-02: add by m2/dev
30T7D0D87M 30T7D0D87M
| URI | m2://inv/30T7D0D87M |
|---|---|
| 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.14135#0077 (definition). In C304J64Q79/e1, definition 8.1
History
- 2026-10-28: add by m2/v0.4.2
Part 2 'Fundamental Theorems' 30T9A98EVA
| URI | m2://inv/30T9A98EVA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A Treatise on Probability#LJJH, Part 2 'Fundamental Theorems' (statement)
History
- 2026-11-02: add by m2/dev
Definition 30TCY99XMV
| URI | m2://inv/30TCY99XMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oblivious pseudorandom function#250G, Definition (definition)
History
- 2026-11-02: add by m2/dev
30TDH9XK2T 30TDH9XK2T
| URI | m2://inv/30TDH9XK2T |
|---|---|
| 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 2610.18016#8M68 (statement). In V5PVKDKGGG/e1, proposition 4.7
History
- 2026-10-28: add by m2/v0.4.2
30TQN2TM6C 30TQN2TM6C
| URI | m2://inv/30TQN2TM6C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#lemma:matrixint (statement). In VNMV985MXX, lemma, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
Uniaxial crystal 30TY00VVZP
| URI | m2://inv/30TY00VVZP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birefringence#0SMK, Uniaxial crystal (unknown)
History
- 2026-11-02: add by m2/dev
Definition 30V5XS8YHS
| URI | m2://inv/30V5XS8YHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Longchamps point#KXVS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Robert Moody 30V8XPJ3RH
| URI | m2://inv/30V8XPJ3RH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Moody, Robert Moody (topic). Also Wikidata Q370028
History
- 2026-11-02: add by m2/dev
30VFTGMW7W 30VFTGMW7W
| URI | m2://inv/30VFTGMW7W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-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.10591#Q6IF (definition). In FTEA0TM35J/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Jerrold E. Marsden 30VMD7JB8E
| URI | m2://inv/30VMD7JB8E |
|---|---|
| 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 Q574589, Jerrold E. Marsden (unknown). Also nLab Jerrold Marsden
History
- 2026-10-26: add by m2/dev
30VMMQEMD5 30VMMQEMD5
| URI | m2://inv/30VMMQEMD5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38323#EUJZ (statement). In MER0S03A77/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
30VNQ1Y7T5 30VNQ1Y7T5
| URI | m2://inv/30VNQ1Y7T5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 55-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.21365#GJOQ (definition). In FCMMB2EVAP/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.4.2
Embedded analytics 30VRJ01JR1
| URI | m2://inv/30VRJ01JR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Embedded analytics, Embedded analytics (definition). Also Wikidata Q25053229
History
- 2026-11-02: add by m2/dev
Dan Barbasch 30W5XP3112
| URI | m2://inv/30W5XP3112 |
|---|---|
| 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#VSM5, Dan Barbasch (unknown)
History
- 2026-11-02: add by m2/dev
30W8SPKMVY 30W8SPKMVY
| URI | m2://inv/30W8SPKMVY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#card:exp (statement). In N54F33XE07, lem, section C.2
History
- 2026-11-01: add by m2/v0.6.13
30WH7Y7QF1 30WH7Y7QF1
| URI | m2://inv/30WH7Y7QF1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#proof-1 (proof). In RZP28ERRZV, proof, section 100.3
History
- 2026-11-01: add by m2/v0.6.13
Axioms used in the book 30WKAA83NJ
| URI | m2://inv/30WKAA83NJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Naive Set Theory (book)#ZRMJ, Axioms used in the book (statement)
History
- 2026-11-02: add by m2/dev
30WNTEVXGM 30WNTEVXGM
| URI | m2://inv/30WNTEVXGM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33313#H20F (example). In HRCEFY172P/e1, example 4.3
History
- 2026-10-30: add by m2/v0.4.12
30WTNQZR8Y 30WTNQZR8Y
| URI | m2://inv/30WTNQZR8Y |
|---|---|
| Kind | definition |
| 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#BFRI (definition). In WRE0P7V6Z3/e1, definition D.1
History
- 2026-10-30: add by m2/v0.4.12
Properties 30WXFXF8NR
| URI | m2://inv/30WXFXF8NR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sl2-triple#ORRG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Example 30X2T9RJ3P
| URI | m2://inv/30X2T9RJ3P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-way analysis of variance#1FAY, Example (example)
History
- 2026-11-02: add by m2/dev
30XC3VSHRX 30XC3VSHRX
| URI | m2://inv/30XC3VSHRX |
|---|---|
| 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 2609.26581#8TVH (definition)
History
- 2026-11-01: add by m2/v0.6.15
Cross-sectional study 30XJPPYSDT
| URI | m2://inv/30XJPPYSDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-sectional study, Cross-sectional study (definition). Also Wikidata Q954027
History
- 2026-11-02: add by m2/dev
30XPQS5JSJ 30XPQS5JSJ
| URI | m2://inv/30XPQS5JSJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3527194 (statement). Also MathWorld LHuiliersTheorem
History
- 2026-10-26: add by m2/dev
30XRE6P088 30XRE6P088
| URI | m2://inv/30XRE6P088 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13913#CJBM (statement). In BW5GVH97JE/e1, proposition 3.10
History
- 2026-10-28: add by m2/v0.4.2
30XXJ5ESMT 30XXJ5ESMT
| URI | m2://inv/30XXJ5ESMT |
|---|---|
| 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.12633#Q1ON (statement). In NGZ5AZ70NN/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.2
30XY637QP0 30XY637QP0
| URI | m2://inv/30XY637QP0 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#ED3W (problem). In VD4JP4HVBX/e1, problem 5
History
- 2026-10-28: add by m2/v0.4.2
30Y6SA9SHC 30Y6SA9SHC
| URI | m2://inv/30Y6SA9SHC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-5.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
non-quadratic 30YADRFVH5
| URI | m2://inv/30YADRFVH5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#CU0D, non-quadratic (definition)
History
- 2026-11-02: add by m2/dev
30YB9NZ8WB 30YB9NZ8WB
| URI | m2://inv/30YB9NZ8WB |
|---|---|
| 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 2503.08018#1KCM (statement). In TN93YFN45W/e1, lemma 3.12
History
- 2026-10-27: add by m2/v0.4.0
30YFTW827X 30YFTW827X
| URI | m2://inv/30YFTW827X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26996#NH5A (statement). In FP7Z8PJ4AW/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Noetherian scheme 30YKRC30K0
| URI | m2://inv/30YKRC30K0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Emmy Noether#CBNQ, Noetherian scheme (definition)
History
- 2026-11-02: add by m2/dev
30YVKY8HT7 30YVKY8HT7
| URI | m2://inv/30YVKY8HT7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37124#Q8W1 (example). In 2QF1YG9DD0/e1, example 3.20
History
- 2026-10-30: add by m2/v0.4.12
Scoring rule 30YWA6RGDC
| URI | m2://inv/30YWA6RGDC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#85WJ, Scoring rule (definition)
History
- 2026-11-02: add by m2/dev
Function symbol 30Z1Q9TGRC
| URI | m2://inv/30Z1Q9TGRC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function symbol, Function symbol (definition). Also Wikidata Q5508846
History
- 2026-11-02: add by m2/dev
FROG 30ZB7WPEH8
| URI | m2://inv/30ZB7WPEH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FROG, FROG (definition). Also Wikidata Q3063412
History
- 2026-11-02: add by m2/dev
30ZBHFTPCV 30ZBHFTPCV
| URI | m2://inv/30ZBHFTPCV |
|---|---|
| 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.02993#F5S8 (statement). In TJH58FRGEN/e1, proposition 8.6
History
- 2026-10-29: add by m2/v0.4.12
30ZBJA6YS4 30ZBJA6YS4
| URI | m2://inv/30ZBJA6YS4 |
|---|---|
| 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.21501#4XCM (statement). In 1H64QT301C/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
Rolle's theorem 30ZC7HYB9P
| URI | m2://inv/30ZC7HYB9P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#O11B, Rolle's theorem (statement)
History
- 2026-11-02: add by m2/dev
30ZCTJ6R9J 30ZCTJ6R9J
| URI | m2://inv/30ZCTJ6R9J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18246#1FW0 (statement). In SN6F0MPPVF/e1, theorem D
History
- 2026-10-28: add by m2/v0.4.2
Unisolvent point set 30ZG4SH007
| URI | m2://inv/30ZG4SH007 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unisolvent point set, Unisolvent point set (definition). Also Wikidata Q16956925
History
- 2026-11-02: add by m2/dev
compact group 30ZGW8MPCK
| URI | m2://inv/30ZGW8MPCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 22C05 |
| Sources | 2 |
| Outcome | open |
| Node | Compact group EVHCE5VR6Y |
Mentions
- wikidata: Wikidata Q1887083, compact group (topic)
- wikipedia: Wikipedia Compact group, Compact group (definition). Also Wikidata Q1887083
History
- 2026-10-26: add by m2/dev
Effective age 30ZK75DZA8
| URI | m2://inv/30ZK75DZA8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#EM8J, Effective age (definition). In WD2NCBV9F0/e1, definition 8.5
History
- 2026-10-27: add by m2/v0.3.5
First- and second-nearest neighbours 30ZMTB7MG4
| URI | m2://inv/30ZMTB7MG4 |
|---|---|
| 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.29671#BNH1, First- and second-nearest neighbours (statement)
History
- 2026-11-01: add by m2/v0.6.15
Grötzsch graph 30ZXAQ0BYB
| URI | m2://inv/30ZXAQ0BYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115494, Grötzsch graph (unknown). Also House of Graphs 1132, MathWorld GroetzschGraph
- wikipedia: Wikipedia Grötzsch graph, Grötzsch graph (definition). Also Wikidata Q3115494
History
- 2026-10-26: add by m2/dev