Inventory rows 4R
The cards of the rows of the inventory whose ids start with 4R. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
4R013ZDT6T 4R013ZDT6T
| URI | m2://inv/4R013ZDT6T |
|---|---|
| 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.09278#VPAG (statement). In XREKHJHAT7/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.10
4R01J2NNJK 4R01J2NNJK
| URI | m2://inv/4R01J2NNJK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-3.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Ritabrata Munshi 4R06N7FDPG
| URI | m2://inv/4R06N7FDPG |
|---|---|
| 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#2PEU, Ritabrata Munshi (topic)
History
- 2026-11-02: add by m2/dev
4R08C64Q4K 4R08C64Q4K
| URI | m2://inv/4R08C64Q4K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CountableSets.tex#theorem-1 (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Rosa M. Miró-Roig 4R0E0QDJZG
| URI | m2://inv/4R0E0QDJZG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rosa M. Miró-Roig, Rosa M. Miró-Roig (topic). Also Wikidata Q11946286
History
- 2026-11-02: add by m2/dev
Jane Wadsworth 4R0JEGCEE0
| URI | m2://inv/4R0JEGCEE0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jane Wadsworth, Jane Wadsworth (topic). Also Wikidata Q52615549
History
- 2026-11-02: add by m2/dev
4R0QXVRH81 4R0QXVRH81
| URI | m2://inv/4R0QXVRH81 |
|---|---|
| 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.17677#C2BK (statement). In 5E9G06XJKC/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
4R12KNDDEX 4R12KNDDEX
| URI | m2://inv/4R12KNDDEX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#exercise-11 (exercise). In E9HS8K3A52, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Fermat's Last Theorem 4R15S7Z0TB
| URI | m2://inv/4R15S7Z0TB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjecture#BHUN, Fermat's Last Theorem (statement)
History
- 2026-11-02: add by m2/dev
nonlinear problems with real and vector values 4R18PSJVXN
| URI | m2://inv/4R18PSJVXN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Iterative methods of solving systems of real and vector-valued equations > nonlinear problems with real and vector values, nonlinear problems with real and vector values (unknown)
History
- 2026-10-26: add by m2/dev
Multiplication-covering tower and Tate module 4R1960Z5VE
| URI | m2://inv/4R1960Z5VE |
|---|---|
| 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.26196#GV9B, Multiplication-covering tower and Tate module (statement)
History
- 2026-11-01: add by m2/v0.6.15
4R1MMJ354W 4R1MMJ354W
| URI | m2://inv/4R1MMJ354W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14374#B6OE (statement). In YPTC532FEG/e1, theorem 12
History
- 2026-10-28: add by m2/v0.4.2
Encyclopedia of the Philosophical Sciences 4R1RXXXQD2
| URI | m2://inv/4R1RXXXQD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book or a journal, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q919699, Encyclopedia of the Philosophical Sciences (unknown). Also nLab Encyclopedia of the Philosophical Sciences
- wikipedia: Wikipedia Encyclopaedia of the Philosophical Sciences in Basic Outline, Encyclopaedia of the Philosophical Sciences in Basic Outline (definition). Also Wikidata Q919699
History
- 2026-10-26: add by m2/dev
Properties of the lower Crandall function 4R1V5MMSX8
| URI | m2://inv/4R1V5MMSX8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28282#RWTL, Properties of the lower Crandall function (statement)
History
- 2026-11-01: add by m2/v0.6.15
4R203QKRTB 4R203QKRTB
| URI | m2://inv/4R203QKRTB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 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.19791#9LJI (statement). In AVDB4KJ6XB/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
4R221JWAZ4 4R221JWAZ4
| URI | m2://inv/4R221JWAZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29107#GM4P (statement)
History
- 2026-11-01: add by m2/v0.6.15
4R26WBP3RH 4R26WBP3RH
| URI | m2://inv/4R26WBP3RH |
|---|---|
| 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 2011.12496#RM2N (statement). In 1DH15ZJFRZ/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Trombi-Varadarajan, real hyperbolic space 4R2FJVM3HY
| URI | m2://inv/4R2FJVM3HY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2503.01567#AA0J, Trombi-Varadarajan, real hyperbolic space (statement). In GB0V23Q6C5/e1, theorem A.5
History
- 2026-10-27: add by m2/v0.3.5
Metasyntax 4R2M9555G1
| URI | m2://inv/4R2M9555G1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metasyntax, Metasyntax (definition). Also Wikidata Q6823262
History
- 2026-11-02: add by m2/dev
4R2PT3325W 4R2PT3325W
| URI | m2://inv/4R2PT3325W |
|---|---|
| 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.39293#5SVB (statement). In S26QVW5613/e1, theorem 4.4.1
History
- 2026-10-30: add by m2/v0.4.12
4R2ZZ7KM4M 4R2ZZ7KM4M
| URI | m2://inv/4R2ZZ7KM4M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/transpose.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 61.2
History
- 2026-11-01: add by m2/v0.6.13
Definition 4R301EBVHP
| URI | m2://inv/4R301EBVHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SETAR (model)#OWS3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Friendship paradox 4R3961QS0W
| URI | m2://inv/4R3961QS0W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#94K0, Friendship paradox (statement)
History
- 2026-11-02: add by m2/dev
Accidental necessity 4R3BNK95FW
| URI | m2://inv/4R3BNK95FW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Accidental necessity, Accidental necessity (definition). Also Wikidata Q4672602
History
- 2026-11-02: add by m2/dev
4R3ESQV4PT 4R3ESQV4PT
| URI | m2://inv/4R3ESQV4PT |
|---|---|
| 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#E3WG (definition). In XDKWW6NR0K/e1, definition 2.13
History
- 2026-10-29: add by m2/v0.4.12
Two-state quantum system 4R3MBZ44PR
| URI | m2://inv/4R3MBZ44PR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-state quantum system, Two-state quantum system (definition). Also Wikidata Q243821
History
- 2026-11-02: add by m2/dev
Marc Culler 4R3P4RGTZA
| URI | m2://inv/4R3P4RGTZA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MNLA, Marc Culler (topic)
History
- 2026-11-02: add by m2/dev
Definitions 4R3W9FE4FZ
| URI | m2://inv/4R3W9FE4FZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flattening#IN6T, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Finney 4R4C933Y0K
| URI | m2://inv/4R4C933Y0K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29450#6ZWI, Finney (statement)
History
- 2026-11-01: add by m2/v0.6.15
4R4CT8SSE7 4R4CT8SSE7
| URI | m2://inv/4R4CT8SSE7 |
|---|---|
| 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#COW1 (statement). In SE16BAED46/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
Stata 4R4D4GW4CY
| URI | m2://inv/4R4D4GW4CY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#WI5D, Stata (definition)
History
- 2026-11-02: add by m2/dev
4R4G9QG0C6 4R4G9QG0C6
| URI | m2://inv/4R4G9QG0C6 |
|---|---|
| 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.02079#ETS9 (statement). In CNS2J2E4T2/e1, proposition 31
History
- 2026-10-29: add by m2/v0.4.12
Nash–Sutcliffe model efficiency coefficient 4R4GR8KQAX
| URI | m2://inv/4R4GR8KQAX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#H0E7, Nash–Sutcliffe model efficiency coefficient (definition)
History
- 2026-11-02: add by m2/dev
4R4HGBZKYC 4R4HGBZKYC
| URI | m2://inv/4R4HGBZKYC |
|---|---|
| Kind | problem |
| 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.11974#DTJC (problem). In AW6S4XZ9ZZ/e1, problem 1
History
- 2026-10-28: add by m2/v0.4.3
selection sort 4R4SD2F45Q
| URI | m2://inv/4R4SD2F45Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q220831, selection sort (unknown). Also MathWorld SelectionSort
History
- 2026-10-26: add by m2/dev
4R4TETTS2P 4R4TETTS2P
| URI | m2://inv/4R4TETTS2P |
|---|---|
| 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.20801#JP7X (statement). In A1GWWGRXPA/e1, proposition 5.21
History
- 2026-10-27: add by m2/v0.4.2
4R4TSGHQ6N 4R4TSGHQ6N
| URI | m2://inv/4R4TSGHQ6N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32650#KTN0 (statement). In PHXJ87HKYB/e1, lemma 2.6
History
- 2026-10-31: add by m2/v0.5.6
Northwest quadrant 4R4TVHE0R9
| URI | m2://inv/4R4TVHE0R9 |
|---|---|
| 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.04809#OMG2, Northwest quadrant (statement). In 2VHV0RNTNV/e1, corollary 8.10
History
- 2026-10-29: add by m2/v0.4.12
4R4WYQJ0BD 4R4WYQJ0BD
| URI | m2://inv/4R4WYQJ0BD |
|---|---|
| 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.30302#U5A3 (statement). In R6ABTE22G0/e1, theorem 9
History
- 2026-10-31: add by m2/v0.5.6
Ranks of the cup-product maps 4R54S8M5QT
| URI | m2://inv/4R54S8M5QT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.21093#CSZK, Ranks of the cup-product maps (statement). In TBFPBPQV3G/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.4.2
irreducible 4R56SJBWR8
| URI | m2://inv/4R56SJBWR8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#XCMX, irreducible (definition)
History
- 2026-11-02: add by m2/dev
cochain 4R5BC0BMTM
| URI | m2://inv/4R5BC0BMTM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78320522, cochain (unknown). Also EoM Cochain, nLab cochain
History
- 2026-10-26: add by m2/dev
4R5F7SCXWJ 4R5F7SCXWJ
| URI | m2://inv/4R5F7SCXWJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 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 2605.16669#EVN2 (statement). In 1463YCCRP5/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.4.0
4R5K2PFKYV 4R5K2PFKYV
| URI | m2://inv/4R5K2PFKYV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#baddifffunc:example (example). In E59CDZA4DP, example, section 3.2.5
History
- 2026-11-01: add by m2/v0.6.13
modulo $n$ 4R5KA581QA
| URI | m2://inv/4R5KA581QA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/6.2.2/modulo-n, modulo $n$ (concept). In Y91XFCEVHQ, index, section 6.2.2
History
- 2026-11-01: add by m2/v0.6.13
Generalizations 4R5SZGWR5K
| URI | m2://inv/4R5SZGWR5K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pappus's centroid theorem#9HP6, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Ernest Michael 4R5W0JBVR6
| URI | m2://inv/4R5W0JBVR6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ZU25, Ernest Michael (unknown)
History
- 2026-11-02: add by m2/dev
Lorentz transformation 4R5Z7EXHAV
| URI | m2://inv/4R5Z7EXHAV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#SX24, Lorentz transformation (definition)
History
- 2026-11-02: add by m2/dev
Szemerédi 4R60T4HVC5
| URI | m2://inv/4R60T4HVC5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_kitchensink_online.ptx#theorem-2, Szemerédi (statement). In QKM9DD2H56, theorem, section 16.1.1
History
- 2026-11-01: add by m2/v0.6.13
Alexander Bain 4R6DKQ0HHN
| URI | m2://inv/4R6DKQ0HHN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Bain (philosopher), Alexander Bain (topic). Also Wikidata Q384882
History
- 2026-11-02: add by m2/dev
Boost integrability and light segments 4R6G99NXC9
| URI | m2://inv/4R6G99NXC9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#JGPP, Boost integrability and light segments (statement). In 9JHMTYGWFQ/e1, theorem 1.11
History
- 2026-10-27: add by m2/v0.3.6
Tamely ramified odd degree 4R6HXN762V
| URI | m2://inv/4R6HXN762V |
|---|---|
| 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 2610.10583#VWUU, Tamely ramified odd degree (statement). In 5BZQS1KY9A/e1, proposition 7.3
History
- 2026-10-29: add by m2/v0.4.10
Stationary wavelet transform 4R6JZWC1TS
| URI | m2://inv/4R6JZWC1TS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of wavelet-related transforms#YKW9, Stationary wavelet transform (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 4R719AEZ0T
| URI | m2://inv/4R719AEZ0T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beauville–Laszlo theorem#1L9K, Theorem (statement)
History
- 2026-11-02: add by m2/dev
4R766DYG06 4R766DYG06
| URI | m2://inv/4R766DYG06 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-251 (exercise). In VNMV985MXX, exercise, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
4R76BJD8Z3 4R76BJD8Z3
| URI | m2://inv/4R76BJD8Z3 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 16-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.34193#Y8A0 (problem). In 9XMZTTSF5E/e1, problem B.12
History
- 2026-10-30: add by m2/v0.4.12
Thomas Lumley 4R77VEW6TJ
| URI | m2://inv/4R77VEW6TJ |
|---|---|
| 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#QMA9, Thomas Lumley (topic)
History
- 2026-11-02: add by m2/dev
Density transfer 4R7F0EHNHT
| URI | m2://inv/4R7F0EHNHT |
|---|---|
| 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 1806.05002#I68M, Density transfer (statement). In JBAQ7DTW7B/e1, lemma 12.3
History
- 2026-10-27: add by m2/v0.3.5
Pitchfork bifurcation 4R7S0AKSFH
| URI | m2://inv/4R7S0AKSFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Pitchfork bifurcation P88X34MSVV |
Mentions
- wikidata: Wikidata Q1785924, Pitchfork bifurcation (unknown). Also MathWorld PitchforkBifurcation
- wikipedia: Wikipedia Pitchfork bifurcation, Pitchfork bifurcation (definition). Also Wikidata Q1785924
History
- 2026-10-26: add by m2/dev
4R7STFZCVK 4R7STFZCVK
| URI | m2://inv/4R7STFZCVK |
|---|---|
| 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 2501.17850#GXRP (statement). In WS5KWBEG5Q/e1, theorem 4
History
- 2026-10-27: add by m2/v0.4.0
tree 4R81N4D3MT
| URI | m2://inv/4R81N4D3MT |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 05C05 |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Tree 062D9KXJB1 |
Mentions
- wikidata: Wikidata Q223655, tree (unknown). Also MathWorld Tree
- wikidata: Wikidata Q272735, tree (topic). Also EoM Tree, MathWorld Tree, ProofWiki Definition:Tree_(Graph_Theory)
- wikipedia: Wikipedia Tree (graph theory), Tree (definition). Also Wikidata Q272735
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
4R83WY6GNF 4R83WY6GNF
| URI | m2://inv/4R83WY6GNF |
|---|---|
| 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.07180#B8DG (statement). In TM4H1RV0BQ/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Realization in every negative component 4R84GMMR1M
| URI | m2://inv/4R84GMMR1M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#4FU3, Realization in every negative component (statement). In XDTM624YPE/e1, theorem 18.4
History
- 2026-10-27: add by m2/v0.4.2
4R8CYS38W7 4R8CYS38W7
| URI | m2://inv/4R8CYS38W7 |
|---|---|
| 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.21692#79S6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
4R8FXF8P9Z 4R8FXF8P9Z
| URI | m2://inv/4R8FXF8P9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09735#11I5 (statement). In C518KB563H/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
4R8J6TGQQH 4R8J6TGQQH
| URI | m2://inv/4R8J6TGQQH |
|---|---|
| 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.23833#NXXC (statement)
History
- 2026-11-02: add by m2/v0.6.17
4R8MDTVWP8 4R8MDTVWP8
| URI | m2://inv/4R8MDTVWP8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.13841#5OP6 (statement). In AB2EMMXC7X/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.3.5
4R8NM6GJMG 4R8NM6GJMG
| URI | m2://inv/4R8NM6GJMG |
|---|---|
| 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.07927#OXTO (statement). In GKM19DHQTM/e1, proposition 6.13
History
- 2026-10-29: add by m2/v0.4.10
Theodosius' Spherics 4R8R31A1W3
| URI | m2://inv/4R8R31A1W3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theodosius' Spherics, Theodosius' Spherics (definition). Also Wikidata Q7576503
History
- 2026-11-02: add by m2/dev
Kurtosis risk 4R8S07Y0CV
| URI | m2://inv/4R8S07Y0CV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kurtosis risk, Kurtosis risk (definition). Also Wikidata Q6447221
History
- 2026-11-02: add by m2/dev
Tun\c{c}el, 1995 4R8VFDDEG1
| URI | m2://inv/4R8VFDDEG1 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17442#D9WV, Tun\c{c}el, 1995 (conjecture). In 6ADGJ51W1P/e1, conjecture
History
- 2026-10-28: add by m2/v0.4.2
4R8VYK7Z0R 4R8VYK7Z0R
| URI | m2://inv/4R8VYK7Z0R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/cover-project.tex#example-10 (example). In RZP28ERRZV, example, section 97.4
History
- 2026-11-01: add by m2/v0.6.13
Risk marker 4R8W8GCS6Q
| URI | m2://inv/4R8W8GCS6Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Risk factor#GUGJ, Risk marker (unknown)
History
- 2026-11-02: add by m2/dev
RSA-290 4R8XNQ2J3N
| URI | m2://inv/4R8XNQ2J3N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#CCTN, RSA-290 (unknown)
History
- 2026-11-02: add by m2/dev
Harry Buhrman 4R915AXP9P
| URI | m2://inv/4R915AXP9P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7NSS, Harry Buhrman (unknown)
History
- 2026-11-02: add by m2/dev
Properties 4R91TSFVJ1
| URI | m2://inv/4R91TSFVJ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paley graph#BP6U, Properties (statement)
History
- 2026-11-02: add by m2/dev
Stephen Stigler 4R9E1EWFTK
| URI | m2://inv/4R9E1EWFTK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#7Y79, Stephen Stigler (topic)
History
- 2026-11-02: add by m2/dev
4R9E42MM2N 4R9E42MM2N
| URI | m2://inv/4R9E42MM2N |
|---|---|
| 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.37208#LAVG (statement). In 7MCBCP4T0B/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
4R9J3SXEA0 4R9J3SXEA0
| URI | m2://inv/4R9J3SXEA0 |
|---|---|
| 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 1002.0879#SJDR (statement). In M0SQY5EZN5/e1, theorem 5.3.2
History
- 2026-10-27: add by m2/v0.3.5
4R9NK3SBN6 4R9NK3SBN6
| URI | m2://inv/4R9NK3SBN6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/trees.tex#ex-1 (example). In PKGMM3P5QY, ex, section 82.2
History
- 2026-11-01: add by m2/v0.6.13
Ideological bias on Wikipedia 4R9R89MAH7
| URI | m2://inv/4R9R89MAH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideological bias on Wikipedia, Ideological bias on Wikipedia (definition). Also Wikidata Q55614285
History
- 2026-11-02: add by m2/dev
4R9Y5WHJA1 4R9Y5WHJA1
| URI | m2://inv/4R9Y5WHJA1 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 26-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.06152#0VJ0 (problem). In HH35K7S17H/e1, problem
History
- 2026-10-29: add by m2/v0.4.10
4RA273W4NH 4RA273W4NH
| URI | m2://inv/4RA273W4NH |
|---|---|
| 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.07401#XBM7 (statement). In FQ5435B36D/e1, proposition 1.1
History
- 2026-10-29: add by m2/v0.4.10
4RA2ZBQW1K 4RA2ZBQW1K
| URI | m2://inv/4RA2ZBQW1K |
|---|---|
| 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#M0CI (statement). In TQ9CKHBTWN/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.12
Mortality rate 4RA3W29MWF
| URI | m2://inv/4RA3W29MWF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#S72R, Mortality rate (definition)
History
- 2026-11-02: add by m2/dev
4RA8RM3VSB 4RA8RM3VSB
| URI | m2://inv/4RA8RM3VSB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20656#9Z24 (statement)
History
- 2026-11-02: add by m2/v0.6.18
4RAK16W73B 4RAK16W73B
| URI | m2://inv/4RAK16W73B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#QIXG (statement). In SD28S3K7BT/e1, lemma 28
History
- 2026-10-29: add by m2/v0.4.12
4RAMZBRBBW 4RAMZBRBBW
| URI | m2://inv/4RAMZBRBBW |
|---|---|
| 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.10477#VWQL (statement). In 1NZSZ241WE/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Kosaku Yosida 4RASRE8AXZ
| URI | m2://inv/4RASRE8AXZ |
|---|---|
| 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#92EV, Kosaku Yosida (unknown)
History
- 2026-11-02: add by m2/dev
4RAV7KYPC5 4RAV7KYPC5
| URI | m2://inv/4RAV7KYPC5 |
|---|---|
| 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.04944#2POU (statement). In BHSY6QQCVK/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.12
4RAWDNQ8AP 4RAWDNQ8AP
| URI | m2://inv/4RAWDNQ8AP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31783#LABD (statement). In CGNVT4C47F/e1, lemma 2.6
History
- 2026-10-31: add by m2/v0.5.6
4RAZCWV4SB 4RAZCWV4SB
| URI | m2://inv/4RAZCWV4SB |
|---|---|
| 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.30961#R65T (statement). In FFG2DDWEVB/e1, corollary 5.11
History
- 2026-10-31: add by m2/v0.5.6
Algorithm 4RB1G0TWNC
| URI | m2://inv/4RB1G0TWNC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hunt–Szymanski algorithm#AXP2, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
4RBAQ66V20 4RBAQ66V20
| URI | m2://inv/4RBAQ66V20 |
|---|---|
| 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.24185#NMDQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Henry John Orchard 4RBFKK4782
| URI | m2://inv/4RBFKK4782 |
|---|---|
| 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#U7DK, Henry John Orchard (unknown)
History
- 2026-11-02: add by m2/dev
Don Coppersmith 4RCBBH7WFE
| URI | m2://inv/4RCBBH7WFE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Don Coppersmith, Don Coppersmith (topic). Also Wikidata Q2573233
History
- 2026-11-02: add by m2/dev
Sokoban 4RCF9MCEVP
| URI | m2://inv/4RCF9MCEVP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#I8JG, Sokoban (unknown)
History
- 2026-11-02: add by m2/dev
Two and One-Half Mile Village 4RD0TRSEHN
| URI | m2://inv/4RD0TRSEHN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#LN8E, Two and One-Half Mile Village (unknown)
History
- 2026-11-02: add by m2/dev
4RD78M5N0W 4RD78M5N0W
| URI | m2://inv/4RD78M5N0W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-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 2103.14389#19ZE (definition). In NAMCCRM50R/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Examples 4RD8EDE6WT
| URI | m2://inv/4RD8EDE6WT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous embedding#2LAB, Examples (example)
History
- 2026-11-02: add by m2/dev
4RDHTTR0DV 4RDHTTR0DV
| URI | m2://inv/4RDHTTR0DV |
|---|---|
| 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#12Y6 (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
4RDK4JZHSP 4RDK4JZHSP
| URI | m2://inv/4RDK4JZHSP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#T9OG (statement)
History
- 2026-11-02: add by m2/v0.6.18
type, higher inductive 4RDZP9CETP
| URI | m2://inv/4RDZP9CETP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u4/type-higher-inductive, type, higher inductive (concept). In N54F33XE07, index, section u1.u4
History
- 2026-11-01: add by m2/v0.6.13
Definition 4RE2A6E2FC
| URI | m2://inv/4RE2A6E2FC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete sine transform#RH74, Definition (definition)
History
- 2026-11-02: add by m2/dev
Positivity in the mean for Problem $\mathcal{B}$ 4REAKSSQDP
| URI | m2://inv/4REAKSSQDP |
|---|---|
| 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.32206#RVBB, Positivity in the mean for Problem $\mathcal{B}$ (statement). In 3C4BQEVRM6/e1, lemma 4
History
- 2026-10-31: add by m2/v0.5.6
List of comparative social surveys 4REBQYK33W
| URI | m2://inv/4REBQYK33W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of comparative social surveys, List of comparative social surveys (topic). Also Wikidata Q85779342
History
- 2026-11-02: add by m2/dev
type, empty 4REC882PPS
| URI | m2://inv/4REC882PPS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.2.7/type-empty, type, empty (concept). In N54F33XE07, index, section 4.2.7
History
- 2026-11-01: add by m2/v0.6.13
4RECZ1E61M 4RECZ1E61M
| URI | m2://inv/4RECZ1E61M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#exercise-15 (exercise). In QKM9DD2H56, exercise, section 8
History
- 2026-11-01: add by m2/v0.6.13
Lawrence Ein 4REN9YMX4H
| URI | m2://inv/4REN9YMX4H |
|---|---|
| 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#1WOJ, Lawrence Ein (topic)
History
- 2026-11-02: add by m2/dev
4REYRGDJ4H 4REYRGDJ4H
| URI | m2://inv/4REYRGDJ4H |
|---|---|
| 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.32174#277S (example). In GHKR740SG3/e1, example 3.9
History
- 2026-10-31: add by m2/v0.5.6
Euclid's theorem 4RF2A7H7QC
| URI | m2://inv/4RF2A7H7QC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#GE10, Euclid's theorem (statement)
History
- 2026-11-02: add by m2/dev
Bernstein's theorem 4RF3SECZDD
| URI | m2://inv/4RF3SECZDD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#CMSI, Bernstein's theorem (statement)
History
- 2026-11-02: add by m2/dev
acceptance 4RF6R935PA
| URI | m2://inv/4RF6R935PA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7/acceptance, acceptance (concept). In N54F33XE07, index, section 7
History
- 2026-11-01: add by m2/v0.6.13
Rotational analogues of Newton's laws 4RFD2CTC12
| URI | m2://inv/4RFD2CTC12 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton's laws of motion#UDIG, Rotational analogues of Newton's laws (statement)
History
- 2026-11-02: add by m2/dev
Martha Evens 4RFSVRJ4TW
| URI | m2://inv/4RFSVRJ4TW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martha Evens, Martha Evens (topic). Also Wikidata Q21062295
History
- 2026-11-02: add by m2/dev
Sublinear function 4RFVMFFV2J
| URI | m2://inv/4RFVMFFV2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sublinear function, Sublinear function (definition). Also Wikidata Q338652
History
- 2026-11-02: add by m2/dev
4RG0NAHA3Q 4RG0NAHA3Q
| URI | m2://inv/4RG0NAHA3Q |
|---|---|
| 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.02061#LFBI (statement). In F5STMSPR6X/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
4RG8BSNQG5 4RG8BSNQG5
| URI | m2://inv/4RG8BSNQG5 |
|---|---|
| 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.16606#HPVE (statement). In A798V7TX99/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Strong stationarity 4RGCPBVS7X
| URI | m2://inv/4RGCPBVS7X |
|---|---|
| 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.00033#MRLA, Strong stationarity (definition). In SHMMW4JXZ1/e1, definition 5
History
- 2026-10-30: add by m2/v0.4.12
4RGE2SK3EE 4RGE2SK3EE
| URI | m2://inv/4RGE2SK3EE |
|---|---|
| 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.39293#IA0O (statement). In S26QVW5613/e1, proposition 5.4.13
History
- 2026-10-30: add by m2/v0.4.12
Certified spectral information 4RGF7AGYYW
| URI | m2://inv/4RGF7AGYYW |
|---|---|
| Kind | problem |
| 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#1RVE, Certified spectral information (problem)
History
- 2026-11-01: add by m2/v0.6.15
4RGKYZYMPJ 4RGKYZYMPJ
| URI | m2://inv/4RGKYZYMPJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15434#ZUDJ (statement). In PWF23QSGDX/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Push of the past 4RGM593X0N
| URI | m2://inv/4RGM593X0N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Push of the past, Push of the past (definition). Also Wikidata Q60788593
History
- 2026-11-02: add by m2/dev
4RGMYDE39G 4RGMYDE39G
| URI | m2://inv/4RGMYDE39G |
|---|---|
| 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.26276#P8ZT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sequencing Operators 4RGNKAT3KT
| URI | m2://inv/4RGNKAT3KT |
|---|---|
| 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.20126#MP7L, Sequencing Operators (definition). In KVXDWX9B11/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.2
4RGPRHSNC7 4RGPRHSNC7
| URI | m2://inv/4RGPRHSNC7 |
|---|---|
| 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 1004.4564#8ZGY (statement). In BZ54C9SKYS/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Mullvad Leta 4RGQRQS39R
| URI | m2://inv/4RGQRQS39R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mullvad#L0KR, Mullvad Leta (unknown)
History
- 2026-11-02: add by m2/dev
k-tree 4RGSSFMQG3
| URI | m2://inv/4RGSSFMQG3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12027616, k-tree (unknown). Also MathWorld k-Tree
- wikipedia: Wikipedia K-tree, K-tree (definition). Also Wikidata Q12027616
History
- 2026-10-26: add by m2/dev
Definition 4RGSYVMDR7
| URI | m2://inv/4RGSYVMDR7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Row and column spaces#JQTU, Definition (definition)
History
- 2026-11-02: add by m2/dev
K-Poincaré group 4RGTC3CQA7
| URI | m2://inv/4RGTC3CQA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-Poincaré group, K-Poincaré group (definition). Also Wikidata Q6322742
History
- 2026-11-02: add by m2/dev
4RH5J7BM3W 4RH5J7BM3W
| URI | m2://inv/4RH5J7BM3W |
|---|---|
| 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.16875#XLNR (statement). In KS30K5JXGB/e1, lemma 2.10
History
- 2026-10-28: add by m2/v0.4.2
Corollary 4RHCZMBEHQ
| URI | m2://inv/4RHCZMBEHQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz representation theorem#CNAB, Corollary (statement)
History
- 2026-11-02: add by m2/dev
4RHJFNCMDJ 4RHJFNCMDJ
| URI | m2://inv/4RHJFNCMDJ |
|---|---|
| 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.00512#RDDJ (statement). In RB5QBG3MJY/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
Examples 4RHKJG3KJQ
| URI | m2://inv/4RHKJG3KJQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditionality principle#CBKB, Examples (example)
History
- 2026-11-02: add by m2/dev
Example 1 4RHMMMHRDQ
| URI | m2://inv/4RHMMMHRDQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Repeated game#ALE5, Example 1 (example)
History
- 2026-11-02: add by m2/dev
Shmuel Agmon 4RJ3GW3TQC
| URI | m2://inv/4RJ3GW3TQC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shmuel Agmon, Shmuel Agmon (topic). Also Wikidata Q374233
History
- 2026-11-02: add by m2/dev
Barhebraeus 4RJ3K1JQYQ
| URI | m2://inv/4RJ3K1JQYQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barhebraeus, Barhebraeus (topic). Also Wikidata Q380295
History
- 2026-11-02: add by m2/dev
4RJ6RMGVYQ 4RJ6RMGVYQ
| URI | m2://inv/4RJ6RMGVYQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-planar.ptx#proof-2 (proof). In Y91XFCEVHQ, proof, section 5.3.1
History
- 2026-11-01: add by m2/v0.6.13
Local existence and continuation 4RJCQHF635
| URI | m2://inv/4RJCQHF635 |
|---|---|
| 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.13248#VI4W, Local existence and continuation (statement). In MGMC5SREP3/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
4RJJV8AAN1 4RJJV8AAN1
| URI | m2://inv/4RJJV8AAN1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2204.04317#IND0 (statement). In 49V3ANDZTY/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
Half Inoue surface 4RJNJX5WD4
| URI | m2://inv/4RJNJX5WD4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inoue surface#38ZW, Half Inoue surface (unknown)
History
- 2026-11-02: add by m2/dev
Morris Lazerowitz 4RJPT5B647
| URI | m2://inv/4RJPT5B647 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morris Lazerowitz, Morris Lazerowitz (topic). Also Wikidata Q15428838
History
- 2026-11-02: add by m2/dev
Stage-wise absorption: slopes uniform in the horizon 4RJTAN045A
| URI | m2://inv/4RJTAN045A |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12713#FM1M, Stage-wise absorption: slopes uniform in the horizon (example). In F14A5HX20Q/e1, example 4.2
History
- 2026-10-28: add by m2/v0.4.2
in $\Zminus + \text{Countable Choice}$ 4RJXEY3MCJ
| URI | m2://inv/4RJXEY3MCJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/choice/countablechoice.tex#thm-2, in $\Zminus + \text{Countable Choice}$ (statement). In PKGMM3P5QY, thm, section 71.1
History
- 2026-11-01: add by m2/v0.6.13
Conceptualism 4RKFDTZJQP
| URI | m2://inv/4RKFDTZJQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conceptualism, Conceptualism (definition). Also Wikidata Q848969
History
- 2026-11-02: add by m2/dev
Riemannian submersion 4RKKETBSC9
| URI | m2://inv/4RKKETBSC9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#BMT1, Riemannian submersion (definition)
History
- 2026-11-02: add by m2/dev
4RKNTDK37A 4RKNTDK37A
| URI | m2://inv/4RKNTDK37A |
|---|---|
| Kind | example |
| 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#WDAJ (example). In 3THDT8WNF7/e1, example 3
History
- 2026-10-29: add by m2/v0.4.12
locally integrable function 4RKT143JX6
| URI | m2://inv/4RKT143JX6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1318586, locally integrable function (definition). Also EoM Locally_integrable_function, MathWorld LocallyIntegrable, ProofWiki Definition:Integrable_Function/Locally_Integrable_Function
- wikipedia: Wikipedia Locally integrable function, Locally integrable function (definition). Also Wikidata Q1318586
History
- 2026-10-26: add by m2/dev
Yuktibhāṣā 4RKVXSTFTH
| URI | m2://inv/4RKVXSTFTH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yuktibhāṣā, Yuktibhāṣā (definition). Also Wikidata Q3573180
History
- 2026-11-02: add by m2/dev
The Irrationality of the Square Root of 2 4RM0P6E39K
| URI | m2://inv/4RM0P6E39K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 1, The Irrationality of the Square Root of 2 (statement). Also Mathlib irrational_sqrt_two
History
- 2026-10-26: add by m2/dev
4RM5B6DRWB 4RM5B6DRWB
| URI | m2://inv/4RM5B6DRWB |
|---|---|
| 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 2609.28669#80OC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Relative matching and strict local lifts 4RM81W8TPT
| URI | m2://inv/4RM81W8TPT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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.28220#XV92, Relative matching and strict local lifts (statement)
History
- 2026-11-01: add by m2/v0.6.15
4RMEJYJQ9R 4RMEJYJQ9R
| URI | m2://inv/4RMEJYJQ9R |
|---|---|
| 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.00625#2GNN (statement). In BGA625B7W1/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
Level-set method 4RMJY5KT02
| URI | m2://inv/4RMJY5KT02 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Level-set method, Level-set method (definition). Also Wikidata Q1751397
History
- 2026-11-02: add by m2/dev
Nahm equations 4RMT2D0TQ3
| URI | m2://inv/4RMT2D0TQ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6959295, Nahm equations (unknown). Also MathWorld NahmsEquation
- wikipedia: Wikipedia Nahm equations, Nahm equations (definition). Also Wikidata Q6959295
History
- 2026-10-26: add by m2/dev
Determinant expansion 4RMW9FHXMH
| URI | m2://inv/4RMW9FHXMH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.08500#PCJ2, Determinant expansion (statement). In ZPCYW4N0EH/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.10
4RN9CRF0D4 4RN9CRF0D4
| URI | m2://inv/4RN9CRF0D4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.14022#UN8Z (definition). In NSYR6W27FP/e1, definition 3.9
History
- 2026-10-27: add by m2/v0.3.5
Compactness and positive curvature 4RNCEJ401H
| URI | m2://inv/4RNCEJ401H |
|---|---|
| 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#WWT2, Compactness and positive curvature (statement). In 9YAE8FNQST/e1, lemma 18.3
History
- 2026-10-30: add by m2/v0.4.12
Bryan John Birch 4RNN0NW347
| URI | m2://inv/4RNN0NW347 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HJIQ, Bryan John Birch (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QNZ0, Bryan John Birch (topic)
History
- 2026-11-02: add by m2/dev
4RNN9PMB6R 4RNN9PMB6R
| URI | m2://inv/4RNN9PMB6R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.40200#0EK6 (statement). In VWNB6QJWFN/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
A necessary parameter gap 4RNP8JTWM3
| URI | m2://inv/4RNP8JTWM3 |
|---|---|
| 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.33794#7J34, A necessary parameter gap (statement). In W0PQMW25VY/e1, proposition 3.11
History
- 2026-10-30: add by m2/v0.4.12
4RNT91J4C7 4RNT91J4C7
| URI | m2://inv/4RNT91J4C7 |
|---|---|
| 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.14217#AJOI (statement). In K0DHYQC5B7/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
4RNWHVCRBN 4RNWHVCRBN
| URI | m2://inv/4RNWHVCRBN |
|---|---|
| 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.23230#DIIC (statement)
History
- 2026-11-02: add by m2/v0.6.17
4RNX3YP77J 4RNX3YP77J
| URI | m2://inv/4RNX3YP77J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2509.04068#W7JZ (statement). In Y7TVAQE9PF/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
4RP3M9C9E1 4RP3M9C9E1
| URI | m2://inv/4RP3M9C9E1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26340#2HV4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
4RP57SQ7AX 4RP57SQ7AX
| URI | m2://inv/4RP57SQ7AX |
|---|---|
| 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.15313#YVOC (statement). In KWKY1CWG1Z/e1, corollary 5.3
History
- 2026-10-28: add by m2/v0.4.2
4RPHVH5YZK 4RPHVH5YZK
| URI | m2://inv/4RPHVH5YZK |
|---|---|
| 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 math/9602216#4ZM1 (example). In SD43497T8C/e1, example 1.37
History
- 2026-10-27: add by m2/v0.3.5
4RPSQZZXCR 4RPSQZZXCR
| URI | m2://inv/4RPSQZZXCR |
|---|---|
| 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.03264#M5L0 (statement). In 5TXRSPPTHP/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
4RPXN6C3SQ 4RPXN6C3SQ
| URI | m2://inv/4RPXN6C3SQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-binom.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
4RPY9VJDB0 4RPY9VJDB0
| URI | m2://inv/4RPY9VJDB0 |
|---|---|
| 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.15421#LWV6 (statement). In 3RBKH0DA74/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Extremal length 4RQ1WESN6N
| URI | m2://inv/4RQ1WESN6N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extremal length, Extremal length (definition). Also Wikidata Q5422297
History
- 2026-11-02: add by m2/dev
4RQ7QM3X4W 4RQ7QM3X4W
| URI | m2://inv/4RQ7QM3X4W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.06152#YKVV (statement). In HH35K7S17H/e1, theorem 6.7
History
- 2026-10-29: add by m2/v0.4.10
Regular minimum-distance estimation 4RQE2J3Q80
| URI | m2://inv/4RQE2J3Q80 |
|---|---|
| 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.07190#MN51, Regular minimum-distance estimation (statement). In ZWS6Q4467X/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
4RQEG3P5K6 4RQEG3P5K6
| URI | m2://inv/4RQEG3P5K6 |
|---|---|
| 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.30200#QUI1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lemma 2 4RQGV7GDP8
| URI | m2://inv/4RQGV7GDP8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael's theorem on paracompact spaces#QA36, Lemma 2 (statement)
History
- 2026-11-02: add by m2/dev
4RQHFJE90B 4RQHFJE90B
| URI | m2://inv/4RQHFJE90B |
|---|---|
| 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#KVBE (statement). In ET8GYMMDQM/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
4RQRHSSXHA 4RQRHSSXHA
| URI | m2://inv/4RQRHSSXHA |
|---|---|
| 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.22311#4625 (statement)
History
- 2026-11-02: add by m2/v0.6.17
strongly regular 4RQXJ9ZBA8
| URI | m2://inv/4RQXJ9ZBA8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#ZRCB, strongly regular (definition)
History
- 2026-11-02: add by m2/dev
Theorem (Ursescu) 4RR193SNZJ
| URI | m2://inv/4RR193SNZJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ursescu theorem#LWTF, Theorem (Ursescu) (statement)
History
- 2026-11-02: add by m2/dev
4RR6VJ2GBP 4RR6VJ2GBP
| URI | m2://inv/4RR6VJ2GBP |
|---|---|
| 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.20153#07N1 (statement). In EYB107TM4Q/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.4.2
Calogero conjecture 4RRBET2Z0B
| URI | m2://inv/4RRBET2Z0B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calogero conjecture, Calogero conjecture (statement). Also Wikidata Q5023144
History
- 2026-11-02: add by m2/dev
Zeta function of an incidence algebra 4RRF5M2MSQ
| URI | m2://inv/4RRF5M2MSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of zeta functions#IPHB, Zeta function of an incidence algebra (definition)
History
- 2026-11-02: add by m2/dev
multinomial theorem 4RRFECX1X1
| URI | m2://inv/4RRFECX1X1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Multinomial theorem 0XFC1VQYEK |
Mentions
- mathlib_1000: mathlib_1000 Q619985, Multinomial theorem (statement). Also Mathlib Finset.sum_pow_eq_sum_piAntidiag_of_commute, Wikidata Q619985
- thousand_plus: thousand_plus Q619985, Multinomial theorem (statement). Also Mathlib Finset.sum_pow_eq_sum_piAntidiag_of_commute, Wikidata Q619985, Wikipedia Multinomial theorem
- wikidata: Wikidata Q619985, multinomial theorem (statement). Also MathWorld MultinomialSeries, ProofWiki Multinomial_Theorem
- wikipedia: Wikipedia Multinomial theorem, Multinomial theorem (statement). Also Wikidata Q619985
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Robert Langlands 4RRPWVAHD6
| URI | m2://inv/4RRPWVAHD6 |
|---|---|
| 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 Q711278, Robert Langlands (unknown). Also nLab Robert Langlands
- wikipedia: Wikipedia Robert Langlands, Robert Langlands (topic). Also Wikidata Q711278
History
- 2026-10-26: add by m2/dev
4RS0R6KEJW 4RS0R6KEJW
| URI | m2://inv/4RS0R6KEJW |
|---|---|
| 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.37897#EU9Q (statement). In RBQ5FNCVNZ/e1, lemma 5.9
History
- 2026-10-30: add by m2/v0.4.12
4RS1V6WNJW 4RS1V6WNJW
| URI | m2://inv/4RS1V6WNJW |
|---|---|
| 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.19453#3YID (statement). In TX82YAVS5V/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Winnie Li 4RS1WGYWSQ
| URI | m2://inv/4RS1WGYWSQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GASP, Winnie Li (topic)
History
- 2026-11-02: add by m2/dev
Bounds for the reduced limiting polygon 4RS586P77G
| URI | m2://inv/4RS586P77G |
|---|---|
| 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.05652#58JH, Bounds for the reduced limiting polygon (statement). In 8BNPFYQDQX/e1, proposition 4.12
History
- 2026-10-29: add by m2/v0.4.10
4RS8RDMN25 4RS8RDMN25
| URI | m2://inv/4RS8RDMN25 |
|---|---|
| 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.06441#O7G2 (statement). In YFJ62HWHVK/e1, theorem 4.7
History
- 2026-10-29: add by m2/v0.4.10
Emma Lehmer 4RS9PKF84P
| URI | m2://inv/4RS9PKF84P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SSF8, Emma Lehmer (topic)
History
- 2026-11-02: add by m2/dev
Kish grid 4RSCX8NSA6
| URI | m2://inv/4RSCX8NSA6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YOB1, Kish grid (definition)
History
- 2026-11-02: add by m2/dev
Theorem (ergodic case) 4RSH0FRNF9
| URI | m2://inv/4RSH0FRNF9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic equipartition property#NJIX, Theorem (ergodic case) (statement)
History
- 2026-11-02: add by m2/dev
List of axioms 4RSP8ZY6F7
| URI | m2://inv/4RSP8ZY6F7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#QRI1, List of axioms (topic)
- wikipedia: Wikipedia List of theorems#2RE3, List of axioms (topic)
History
- 2026-11-02: add by m2/dev
4RSPBXE9PJ 4RSPBXE9PJ
| URI | m2://inv/4RSPBXE9PJ |
|---|---|
| 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 2106.09062#7QAK (statement). In 8HAH8QVKDF/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.6
The Tragedy of the Commons 4RSVP3J7ZQ
| URI | m2://inv/4RSVP3J7ZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tragedy of the commons#BHTJ, The Tragedy of the Commons (unknown)
History
- 2026-11-02: add by m2/dev
quadric 4RT4HX1K2E
| URI | m2://inv/4RT4HX1K2E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Quadric Q3Q4FF23VG |
Mentions
- wikidata: Wikidata Q852117, quadric (unknown). Also MathWorld Quadric, nLab quadric
- wikipedia: Wikipedia Quadric, Quadric (definition). Also Wikidata Q852117
History
- 2026-10-26: add by m2/dev
semisimple fiber form 4RT68V6VAZ
| URI | m2://inv/4RT68V6VAZ |
|---|---|
| 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.39395#RRX4, semisimple fiber form (statement). In ZDVPJ1XX5Z/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
4RTABJ3VKH 4RTABJ3VKH
| URI | m2://inv/4RTABJ3VKH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.14097#MX20 (definition). In H52QQS8WZA/e1, definition 7.1
History
- 2026-10-27: add by m2/v0.3.5
4RTARNAV9T 4RTARNAV9T
| URI | m2://inv/4RTARNAV9T |
|---|---|
| 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.26191#UV42 (statement)
History
- 2026-11-01: add by m2/v0.6.15
4RTNY623J7 4RTNY623J7
| URI | m2://inv/4RTNY623J7 |
|---|---|
| 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.20126#TB0G (statement). In KVXDWX9B11/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.4.2
4RTTA8V6KH 4RTTA8V6KH
| URI | m2://inv/4RTTA8V6KH |
|---|---|
| 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.07099#5Q6J (statement). In 9GNAHRCYFT/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
4RTYQC53AH 4RTYQC53AH
| URI | m2://inv/4RTYQC53AH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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 2204.00813#N50P (statement). In ADKTJTBR9Z/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
Hamilton–Jacobi–Bellman equation 4RTZDAHMVT
| URI | m2://inv/4RTZDAHMVT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamilton–Jacobi–Bellman equation, Hamilton–Jacobi–Bellman equation (definition). Also Wikidata Q3302775
History
- 2026-11-02: add by m2/dev
candela 4RV6JK75YV
| URI | m2://inv/4RV6JK75YV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q83216, candela (definition). Also ProofWiki Definition:Candela
History
- 2026-10-26: add by m2/dev
4RVDZAS3PG 4RVDZAS3PG
| URI | m2://inv/4RVDZAS3PG |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20972#XCE8 (unknown). In 6SZE4MTXGZ/e1, unknown 4.4
History
- 2026-10-27: add by m2/v0.4.2
Variants 4RVGNAQ49Z
| URI | m2://inv/4RVGNAQ49Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kalman decomposition#9INP, Variants (statement)
History
- 2026-11-02: add by m2/dev
List of integrals of irrational functions 4RVRN8PF7M
| URI | m2://inv/4RVRN8PF7M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#JKJ5, List of integrals of irrational functions (topic)
- wikipedia: Wikipedia Lists of mathematics topics#1VYL, List of integrals of irrational functions (topic)
History
- 2026-11-02: add by m2/dev
Killing diffusion 4RW0YATKMF
| URI | m2://inv/4RW0YATKMF |
|---|---|
| Kind | example |
| 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.03264#R7P7, Killing diffusion (example). In 5TXRSPPTHP/e1, example 2
History
- 2026-10-29: add by m2/v0.4.12
pantachy 4RW1CCQFJZ
| URI | m2://inv/4RW1CCQFJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#MM6G, pantachy (definition)
History
- 2026-11-02: add by m2/dev
4RW2AM81GB 4RW2AM81GB
| URI | m2://inv/4RW2AM81GB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-1.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Division theorem 4RW71ZJCVQ
| URI | m2://inv/4RW71ZJCVQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean division#JPGT, Division theorem (statement)
History
- 2026-11-02: add by m2/dev
4RWGKS4VCW 4RWGKS4VCW
| URI | m2://inv/4RWGKS4VCW |
|---|---|
| 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.30200#HCCY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Characterizations 4RWKY90QFS
| URI | m2://inv/4RWKY90QFS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rothberger space#SQMO, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Derivation of the area formula 4RWKYW786S
| URI | m2://inv/4RWKYW786S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagon#R5M6, Derivation of the area formula (statement)
History
- 2026-11-02: add by m2/dev
Minimal sufficiency of source counts 4RWNP3HN50
| URI | m2://inv/4RWNP3HN50 |
|---|---|
| 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.31607#OAMV, Minimal sufficiency of source counts (statement). In H9X9WZ17TT/e1, proposition 27
History
- 2026-10-31: add by m2/v0.5.6
length 4RWV6T5VG0
| URI | m2://inv/4RWV6T5VG0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#8AX0, length (definition)
History
- 2026-11-02: add by m2/dev
4RWZ09DTPY 4RWZ09DTPY
| URI | m2://inv/4RWZ09DTPY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15731#PIR5 (statement). In JJ0EYG2HT4/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Jon Lee 4RX2NKDNP9
| URI | m2://inv/4RX2NKDNP9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JGTR, Jon Lee (unknown)
History
- 2026-11-02: add by m2/dev
Dirichlet eta function 4RX7M0SXNT
| URI | m2://inv/4RX7M0SXNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q973313, Dirichlet eta function (unknown). Also MathWorld DirichletEtaFunction
- wikipedia: Wikipedia Dirichlet eta function, Dirichlet eta function (definition). Also Wikidata Q973313
History
- 2026-10-26: add by m2/dev
Perfect complex 4RXD3SVW9M
| URI | m2://inv/4RXD3SVW9M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect complex, Perfect complex (definition). Also Wikidata Q25098898
History
- 2026-11-02: add by m2/dev
4RXKCKH7E1 4RXKCKH7E1
| URI | m2://inv/4RXKCKH7E1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.06319#VD34 (definition). In 48AVW2CYCR/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.6
4RXKXR7C4X 4RXKXR7C4X
| URI | m2://inv/4RXKXR7C4X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2008.10035#QYCD (statement). In 29EH04FH4B/e1, theorem 5.8
History
- 2026-10-27: add by m2/v0.3.5
Forward-backward displacement 4RXQVKM70M
| URI | m2://inv/4RXQVKM70M |
|---|---|
| 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.35631#GO1H, Forward-backward displacement (statement). In 9NCX0S6MTP/e1, lemma D.4
History
- 2026-10-30: add by m2/v0.4.12
Theorem 4RY2DCWFEQ
| URI | m2://inv/4RY2DCWFEQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial fraction decomposition#UDXP, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Radon transform 4RY3CW8BAX
| URI | m2://inv/4RY3CW8BAX |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 44A12 |
| Sources | 2 |
| Outcome | open |
| Node | Radon transform VJNZJ352PC |
Mentions
- wikidata: Wikidata Q979829, Radon transform (topic). Also MathWorld RadonTransform, nLab Radon transform
- wikipedia: Wikipedia Radon transform, Radon transform (definition). Also Wikidata Q979829
History
- 2026-10-26: add by m2/dev
4RY4MR9ZEH 4RY4MR9ZEH
| URI | m2://inv/4RY4MR9ZEH |
|---|---|
| Kind | statement |
| 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 2610.14811#XBWC (statement). In QA5CM6HNM1/e1, theorem 10.1
History
- 2026-10-28: add by m2/v0.4.2
As a theorem of arithmetic 4RYGJ2AGPV
| URI | m2://inv/4RYGJ2AGPV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel's completeness theorem#E56F, As a theorem of arithmetic (statement)
History
- 2026-11-02: add by m2/dev
Graded reverse lexicographic order 4RYMRV37VZ
| URI | m2://inv/4RYMRV37VZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monomial order#1NRK, Graded reverse lexicographic order (unknown)
History
- 2026-11-02: add by m2/dev
4RYV6BKNA1 4RYV6BKNA1
| URI | m2://inv/4RYV6BKNA1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35927#VO0W (definition). In 7S0DWBCNS8/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Katona and Tarj\'an 4RYX8V19XN
| URI | m2://inv/4RYX8V19XN |
|---|---|
| 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.30336#Z4Y2, Katona and Tarj\'an (statement). In CCWHTB3911/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
4RZCKEDTPZ 4RZCKEDTPZ
| URI | m2://inv/4RZCKEDTPZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02111#3OAM (definition). In NC5ZRF6F8N/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
4RZDBAZX5E 4RZDBAZX5E
| URI | m2://inv/4RZDBAZX5E |
|---|---|
| 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.10243#HX8M (statement). In 6N7EAD1PYD/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
4RZGQ3JY9A 4RZGQ3JY9A
| URI | m2://inv/4RZGQ3JY9A |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.02065#NX3H (example). In 60CK7P5F36/e1, example 4.1
History
- 2026-10-27: add by m2/v0.3.5
Full support of the joint occupation measure 4RZH1NFBZH
| URI | m2://inv/4RZH1NFBZH |
|---|---|
| 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.37944#0BX5, Full support of the joint occupation measure (statement). In KP94WJVJXY/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
4RZVW8QX97 4RZVW8QX97
| URI | m2://inv/4RZVW8QX97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29877#BRJD (statement)
History
- 2026-11-01: add by m2/v0.6.15