Inventory rows NJ
The cards of the rows of the inventory whose ids start with NJ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Definition NJ033Z9VSV
| URI | m2://inv/NJ033Z9VSV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Memorylessness#TYWF, Definition (definition)
History
- 2026-11-02: add by m2/dev
The metric group of the diagonal words is the untwisted one NJ05CZSSRA
| URI | m2://inv/NJ05CZSSRA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#4G1H, The metric group of the diagonal words is the untwisted one (statement). In 11JNM66Z09/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Use NJ06V45NTE
| URI | m2://inv/NJ06V45NTE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local volatility#JHXT, Use (example)
History
- 2026-11-02: add by m2/dev
Hexadecagon NJ08P85ZD3
| URI | m2://inv/NJ08P85ZD3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#1DPD, Hexadecagon (definition)
- wikipedia: Wikipedia List of mathematical shapes#O4C3, Hexadecagon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#SERB, Hexadecagon (definition)
History
- 2026-11-02: add by m2/dev
NJ08T0HNK7 NJ08T0HNK7
| URI | m2://inv/NJ08T0HNK7 |
|---|---|
| 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#4E3K (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples NJ0DNMTH0H
| URI | m2://inv/NJ0DNMTH0H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radial basis function interpolation#EZGG, Examples (example)
History
- 2026-11-02: add by m2/dev
F. Thomson Leighton NJ0FYPEXQS
| URI | m2://inv/NJ0FYPEXQS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XY6S, F. Thomson Leighton (unknown)
History
- 2026-11-02: add by m2/dev
Measurement of the first kind NJ0KF0AMRS
| URI | m2://inv/NJ0KF0AMRS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wave function collapse#P8G0, Measurement of the first kind (unknown)
History
- 2026-11-02: add by m2/dev
NJ0KYJR77V NJ0KYJR77V
| URI | m2://inv/NJ0KYJR77V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12357#490P (statement). In 1F26AF81XP/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
absolutely NJ0QN8K5HA
| URI | m2://inv/NJ0QN8K5HA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#L5GZ, absolutely (definition)
History
- 2026-11-02: add by m2/dev
Statements NJ0V6EYR7B
| URI | m2://inv/NJ0V6EYR7B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truth-bearer#KJTK, Statements (statement)
History
- 2026-11-02: add by m2/dev
Examples NJ0ZHP6NYD
| URI | m2://inv/NJ0ZHP6NYD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commuting matrices#QY99, Examples (example)
History
- 2026-11-02: add by m2/dev
Collective classification NJ1410V6HV
| URI | m2://inv/NJ1410V6HV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collective classification, Collective classification (definition). Also Wikidata Q97933318
History
- 2026-11-02: add by m2/dev
NJ17Y21WNJ NJ17Y21WNJ
| URI | m2://inv/NJ17Y21WNJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28323#HP9A (statement)
History
- 2026-11-01: add by m2/v0.6.15
NJ1DEV65CM NJ1DEV65CM
| URI | m2://inv/NJ1DEV65CM |
|---|---|
| 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.01899#QR1J (statement). In 638TEFBFGP/e1, proposition 7.4
History
- 2026-10-29: add by m2/v0.4.12
Albertson index NJ1FH38Y1W
| URI | m2://inv/NJ1FH38Y1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albertson index, Albertson index (definition). Also Wikidata Q136483532
History
- 2026-11-02: add by m2/dev
NJ1G956TMB NJ1G956TMB
| URI | m2://inv/NJ1G956TMB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20119#706Z (statement)
History
- 2026-11-02: add by m2/v0.6.18
NJ1KRCJMYV NJ1KRCJMYV
| URI | m2://inv/NJ1KRCJMYV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.13105#PDNR (definition). In 5ACPY6CEDV/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
NJ1RFRM94S NJ1RFRM94S
| URI | m2://inv/NJ1RFRM94S |
|---|---|
| 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.24701#GSMX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Deirdre Smeltzer NJ1T2C4617
| URI | m2://inv/NJ1T2C4617 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deirdre Smeltzer, Deirdre Smeltzer (topic). Also Wikidata Q102167577
History
- 2026-11-02: add by m2/dev
Latent growth modeling NJ20P9SJJZ
| URI | m2://inv/NJ20P9SJJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#43LS, Latent growth modeling (definition)
History
- 2026-11-02: add by m2/dev
NJ210084QV NJ210084QV
| URI | m2://inv/NJ210084QV |
|---|---|
| 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.15367#RQYK (statement). In 9AFZ1S368G/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
series-reduced tree NJ25B8RDPH
| URI | m2://inv/NJ25B8RDPH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121143389, series-reduced tree (unknown). Also MathWorld Series-ReducedTree, OEIS A000014
History
- 2026-10-26: add by m2/dev
Measurable coefficients NJ26RET7T9
| URI | m2://inv/NJ26RET7T9 |
|---|---|
| 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.06490#QUZC, Measurable coefficients (statement). In NKXTXH59P1/e1, lemma A.7
History
- 2026-10-29: add by m2/v0.4.10
NJ2BN2F5NS NJ2BN2F5NS
| URI | m2://inv/NJ2BN2F5NS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 4.7
History
- 2026-11-01: add by m2/v0.6.13
Steiner conic NJ2BRYQWJN
| URI | m2://inv/NJ2BRYQWJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steiner conic, Steiner conic (definition). Also Wikidata Q15844090
History
- 2026-11-02: add by m2/dev
Compatibility with the fixed-level adelic family NJ2K8A8TXD
| URI | m2://inv/NJ2K8A8TXD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25925#0H6V, Compatibility with the fixed-level adelic family (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem NJ2V9VKVDV
| URI | m2://inv/NJ2V9VKVDV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gershgorin circle theorem#RW3E, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Definitions NJ2YRAGX40
| URI | m2://inv/NJ2YRAGX40 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone dualization#WGYH, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Properties NJ3738K5HS
| URI | m2://inv/NJ3738K5HS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filling radius#AV51, Properties (statement)
History
- 2026-11-02: add by m2/dev
Chiu-Chu Melissa Liu NJ394E5KHY
| URI | m2://inv/NJ394E5KHY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Taiwanese mathematicians#9SLF, Chiu-Chu Melissa Liu (topic)
History
- 2026-11-02: add by m2/dev
Localization of a module NJ3DQMMN0F
| URI | m2://inv/NJ3DQMMN0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#EJG1, Localization of a module (definition)
- wikipedia: Wikipedia List of commutative algebra topics#7K7Q, Localization of a module (definition)
History
- 2026-11-02: add by m2/dev
Spin foam NJ3EJ3A00K
| URI | m2://inv/NJ3EJ3A00K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#6TRY, Spin foam (definition)
History
- 2026-11-02: add by m2/dev
Applications NJ3R47PBQF
| URI | m2://inv/NJ3R47PBQF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straight-line program#RIHP, Applications (example)
History
- 2026-11-02: add by m2/dev
Ivan Fellegi NJ3ZVB7K5H
| URI | m2://inv/NJ3ZVB7K5H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#TGNP, Ivan Fellegi (unknown)
History
- 2026-11-02: add by m2/dev
NJ49PMWMMV NJ49PMWMMV
| URI | m2://inv/NJ49PMWMMV |
|---|---|
| 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.28365#0UMY (statement)
History
- 2026-11-01: add by m2/v0.6.15
NJ4FF8VR87 NJ4FF8VR87
| URI | m2://inv/NJ4FF8VR87 |
|---|---|
| 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#OMOV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alexander–Conway polynomial NJ4FMTCFX7
| URI | m2://inv/NJ4FMTCFX7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after John Horton Conway#61AS, Alexander–Conway polynomial (definition)
History
- 2026-11-02: add by m2/dev
Fixed fields and logarithmic entropy loss NJ4RZQ3B5J
| URI | m2://inv/NJ4RZQ3B5J |
|---|---|
| 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.20351#9PJO, Fixed fields and logarithmic entropy loss (statement)
History
- 2026-11-02: add by m2/v0.6.18
small set NJ5AWTQ1GB
| URI | m2://inv/NJ5AWTQ1GB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7543576, small set (unknown). Also nLab small set
- wikipedia: Wikipedia Small set (category theory), Small set (definition). Also Wikidata Q7543576
History
- 2026-10-26: add by m2/dev
Model complexity bounds total compositionality NJ5W1KARC4
| URI | m2://inv/NJ5W1KARC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20922#FC4D, Model complexity bounds total compositionality (statement). In BYG6MRRYA1/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.2
NJ5YHS03T7 NJ5YHS03T7
| URI | m2://inv/NJ5YHS03T7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#V6H9 (statement). In CY1FE8W1ZW/e1, theorem 0.258
History
- 2026-10-27: add by m2/v0.4.0
NJ66ZR6ASH NJ66ZR6ASH
| URI | m2://inv/NJ66ZR6ASH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04046#EH93 (statement). In 3THDT8WNF7/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.12
Unimodular lattice NJ68H8RXET
| URI | m2://inv/NJ68H8RXET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#WK9T, Unimodular lattice (definition)
History
- 2026-11-02: add by m2/dev
Internet survey NJ6F2C3933
| URI | m2://inv/NJ6F2C3933 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Survey (human research)#I45R, Internet survey (unknown)
History
- 2026-11-02: add by m2/dev
Elementary rational bounds NJ6GK55JJT
| URI | m2://inv/NJ6GK55JJT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13964#T0SA, Elementary rational bounds (statement). In 7Q47472TKR/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
Proposition NJ6JFD9FXY
| URI | m2://inv/NJ6JFD9FXY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal matrix#SV5N, Proposition (statement)
History
- 2026-11-02: add by m2/dev
NJ70KMKASP NJ70KMKASP
| URI | m2://inv/NJ70KMKASP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-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.23884#K84U (statement)
History
- 2026-11-02: add by m2/v0.6.17
NJ76XEC3YE NJ76XEC3YE
| URI | m2://inv/NJ76XEC3YE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-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.19787#DSA2 (statement). In A4VP56CT7B/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.2
H. Blaine Lawson NJ79ASJ16D
| URI | m2://inv/NJ79ASJ16D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BH7W, H. Blaine Lawson (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9MC0, H. Blaine Lawson (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QIGU, H. Blaine Lawson (unknown)
History
- 2026-11-02: add by m2/dev
NJ7BB8VB50 NJ7BB8VB50
| URI | m2://inv/NJ7BB8VB50 |
|---|---|
| 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.19309#Q5RC (statement). In XKENQH35DW/e1, corollary 1.4
History
- 2026-10-28: add by m2/v0.4.2
NJ7BRMPE42 NJ7BRMPE42
| URI | m2://inv/NJ7BRMPE42 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#prop:nconnected_tested_by_lv_n_dependent types (statement). In N54F33XE07, lem, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
NJ7BZD6561 NJ7BZD6561
| URI | m2://inv/NJ7BZD6561 |
|---|---|
| Kind | statement |
| 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#2UV9 (statement). In NAMCCRM50R/e1, corollary 2.5
History
- 2026-10-27: add by m2/v0.3.5
Knowing and the Known NJ7GJNZAZ3
| URI | m2://inv/NJ7GJNZAZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knowing and the Known, Knowing and the Known (definition). Also Wikidata Q6423225
History
- 2026-11-02: add by m2/dev
NJ7P6G4RQM NJ7P6G4RQM
| URI | m2://inv/NJ7P6G4RQM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/abelian.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 35.1
History
- 2026-11-01: add by m2/v0.6.13
NJ7Q3YHY97 NJ7Q3YHY97
| URI | m2://inv/NJ7Q3YHY97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#HMTX (statement). In X9WFC1D9ZS/e1, proposition 11
History
- 2026-10-27: add by m2/v0.4.2
``Almost-always'' regularity NJ7TEEP84M
| URI | m2://inv/NJ7TEEP84M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#O002, ``Almost-always'' regularity (statement). In KM3Q791JY0/e1, corollary 3.18
History
- 2026-10-27: add by m2/v0.4.2
Moment expansion for an unbounded spectral measure NJ7XF6H841
| URI | m2://inv/NJ7XF6H841 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#MVCL, Moment expansion for an unbounded spectral measure (statement)
History
- 2026-11-01: add by m2/v0.6.15
Soul theorem NJ8A1QFF9H
| URI | m2://inv/NJ8A1QFF9H |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4171386, Soul theorem (statement). Also Wikidata Q4171386
- thousand_plus: thousand_plus Q4171386, Soul theorem (statement). Also Wikidata Q4171386, Wikipedia Soul theorem
- wikipedia: Wikipedia Soul theorem, Soul theorem (statement). Also Wikidata Q4171386
History
- 2026-10-26: add by m2/dev
NJ8BB88CBR NJ8BB88CBR
| URI | m2://inv/NJ8BB88CBR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#HXNQ (statement). In ABS9M47F4K/e1, lemma 3.21
History
- 2026-10-27: add by m2/v0.3.6
NJ8CGZV8VH NJ8CGZV8VH
| URI | m2://inv/NJ8CGZV8VH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-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.34845#D75G (statement). In SBZNH932ZV/e1, lemma 10.5
History
- 2026-10-30: add by m2/v0.4.12
Ahlfors regularity and singular neighbourhoods NJ8FQ2QZAH
| URI | m2://inv/NJ8FQ2QZAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05064#G0XZ, Ahlfors regularity and singular neighbourhoods (statement). In 11SW7NAN7M/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.12
NJ8HV1Z39P NJ8HV1Z39P
| URI | m2://inv/NJ8HV1Z39P |
|---|---|
| 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 2404.05965#JDRN (statement). In GD1GED3FZ3/e1, lemma 7.4
History
- 2026-10-27: add by m2/v0.3.5
Residue-class densities NJ8N6S1QF2
| URI | m2://inv/NJ8N6S1QF2 |
|---|---|
| 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.03811#ACT9, Residue-class densities (statement). In DHQWFJW02X/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.12
NJ8Q8GBBGT NJ8Q8GBBGT
| URI | m2://inv/NJ8Q8GBBGT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2609.34295#X2AH (statement). In A93R925Z24/e1, theorem F
History
- 2026-10-30: add by m2/v0.4.12
NJ8R9W8SVD NJ8R9W8SVD
| URI | m2://inv/NJ8R9W8SVD |
|---|---|
| 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.21367#CA3T (statement)
History
- 2026-11-02: add by m2/v0.6.18
Identification with $(T^*G_{\mathbb{C}})^E /\!\!/\!\!/_{\mathbb{C}} G_{\mathbb{C}}^{\Gamma_{\mathrm{int}}}$ NJ8VPJ0E7X
| URI | m2://inv/NJ8VPJ0E7X |
|---|---|
| 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.03384#WMTT, Identification with $(T^*G_{\mathbb{C}})^E /\!\!/\!\!/_{\mathbb{C}} G_{\mathbb{C}}^{\Gamma_{\mathrm{int}}}$ (statement). In J55JTTKG84/e1, theorem 4.36
History
- 2026-10-29: add by m2/v0.4.12
NJ94W4M6D7 NJ94W4M6D7
| URI | m2://inv/NJ94W4M6D7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01267#UEHA (statement). In GWWHP6R0BZ/e1, theorem 4.14
History
- 2026-10-29: add by m2/v0.4.12
Best worst method NJ9CY2VRKG
| URI | m2://inv/NJ9CY2VRKG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Best worst method, Best worst method (definition). Also Wikidata Q28405420
History
- 2026-11-02: add by m2/dev
Variance-Limited Scaling Law NJ9F67TM9M
| URI | m2://inv/NJ9F67TM9M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.14457#I232, Variance-Limited Scaling Law (statement). In PNRHHWGHM2/e1, theorem 3.10
History
- 2026-10-27: add by m2/v0.3.6
Independence complex NJ9FT66KK1
| URI | m2://inv/NJ9FT66KK1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Independence complex, Independence complex (definition). Also Wikidata Q104845680
History
- 2026-11-02: add by m2/dev
NJ9JCN91HW NJ9JCN91HW
| URI | m2://inv/NJ9JCN91HW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16267#061N (statement). In 65GKPZ15VH/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.2
NJ9Z1FZVH4 NJ9Z1FZVH4
| URI | m2://inv/NJ9Z1FZVH4 |
|---|---|
| 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.06541#VXH2 (definition). In R604B78EVK/e1, definition 3.5
History
- 2026-10-29: add by m2/v0.4.10
NJ9ZFH138E NJ9ZFH138E
| URI | m2://inv/NJ9ZFH138E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28189#UWI1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ron Donagi NJAGDP5KM9
| URI | m2://inv/NJAGDP5KM9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#J4KE, Ron Donagi (topic)
History
- 2026-11-02: add by m2/dev
Friedrich Wilhelm Schäfke NJATF2RK81
| URI | m2://inv/NJATF2RK81 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedrich Wilhelm Schäfke, Friedrich Wilhelm Schäfke (topic). Also Wikidata Q103369
History
- 2026-11-02: add by m2/dev
Barnette–Bosák–Lederberg graph NJATYJ53GR
| URI | m2://inv/NJATYJ53GR |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115470, Barnette–Bosák–Lederberg graph (unknown). Also House of Graphs 954, MathWorld Barnette-Bosak-LederbergGraph
- wikipedia: Wikipedia Barnette–Bosák–Lederberg graph, Barnette–Bosák–Lederberg graph (object). Also Wikidata Q3115470
History
- 2026-10-26: add by m2/dev
Base ten blocks NJAY4Y1QVV
| URI | m2://inv/NJAY4Y1QVV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Base ten blocks, Base ten blocks (definition). Also Wikidata Q4866408
History
- 2026-11-02: add by m2/dev
Dynamo theory NJB2M8Z56A
| URI | m2://inv/NJB2M8Z56A |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamo theory, Dynamo theory (conjecture). Also Wikidata Q1269129
History
- 2026-11-02: add by m2/dev
Magidor NJB2TR9PB0
| URI | m2://inv/NJB2TR9PB0 |
|---|---|
| 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 2608.24190#6UFU, Magidor (statement). In DW7FVA587C/e1, theorem 2.12
History
- 2026-10-27: add by m2/v0.3.5
NJB7C6T9BM NJB7C6T9BM
| URI | m2://inv/NJB7C6T9BM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35323#O4PT (statement). In 5CKPXBWSCX/e1, proposition 2.12
History
- 2026-10-30: add by m2/v0.4.12
Smooth approximation of the Sono functionals NJBCERQGAT
| URI | m2://inv/NJBCERQGAT |
|---|---|
| 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.35548#ONS7, Smooth approximation of the Sono functionals (statement). In 12AXZ0DFD9/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
Examples NJBJ0KPMVG
| URI | m2://inv/NJBJ0KPMVG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2-group#GZAB, Examples (example)
History
- 2026-11-02: add by m2/dev
theorem, Whitehead's NJBSYQT1XF
| URI | m2://inv/NJBSYQT1XF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.8/theorem-whitehead-s, theorem, Whitehead's (concept). In N54F33XE07, index, section 7.8
History
- 2026-11-01: add by m2/v0.6.13
Cantor's diagonal argument NJC29KAT4E
| URI | m2://inv/NJC29KAT4E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/zfc.tex#lem:cantor_diag, Cantor's diagonal argument (statement). In RZP28ERRZV, lemma, section 93.2
History
- 2026-11-01: add by m2/v0.6.13
NJC38N18HP NJC38N18HP
| URI | m2://inv/NJC38N18HP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20675#4D5P (statement)
History
- 2026-11-02: add by m2/v0.6.18
NJC5DYZ8VG NJC5DYZ8VG
| URI | m2://inv/NJC5DYZ8VG |
|---|---|
| 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.03323#GWA5 (statement). In J1ZP57QWED/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
A prepolar comparison with zero target excess NJCAYT2EV1
| URI | m2://inv/NJCAYT2EV1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07528#HMVK, A prepolar comparison with zero target excess (statement). In WVX0T502A1/e1, corollary 5.11
History
- 2026-10-29: add by m2/v0.4.10
Shokichi Iyanaga NJCK766QE5
| URI | m2://inv/NJCK766QE5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shokichi Iyanaga, Shokichi Iyanaga (topic). Also Wikidata Q1676097
History
- 2026-11-02: add by m2/dev
NJCQMZQN8R NJCQMZQN8R
| URI | m2://inv/NJCQMZQN8R |
|---|---|
| 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.36423#QZE3 (statement). In Q5Z178SAHP/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
Path lower-bound configuration, {*{Theorem 7.3 NJCQY42QMF
| URI | m2://inv/NJCQY42QMF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09650#SIGQ, Path lower-bound configuration, {*{Theorem 7.3 (statement). In 628KM8869P/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
Moment closure NJDNQ72XFZ
| URI | m2://inv/NJDNQ72XFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moment closure, Moment closure (definition). Also Wikidata Q6897109
History
- 2026-11-02: add by m2/dev
Projected auxiliary correction at the current outer point NJDSMFNBJX
| URI | m2://inv/NJDSMFNBJX |
|---|---|
| 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.01843#NJE8, Projected auxiliary correction at the current outer point (statement). In EDG9ZFDSWK/e1, lemma A.5
History
- 2026-10-29: add by m2/v0.4.12
Stanisław Łojasiewicz NJDYASFRDE
| URI | m2://inv/NJDYASFRDE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanisław Łojasiewicz, Stanisław Łojasiewicz (topic). Also Wikidata Q1800585
History
- 2026-11-02: add by m2/dev
The wealth process is a supermartingale NJE4FR0X1E
| URI | m2://inv/NJE4FR0X1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#JWAP, The wealth process is a supermartingale (statement)
History
- 2026-11-01: add by m2/v0.6.15
Expansion 1.8a NJEGXWY64N
| URI | m2://inv/NJEGXWY64N |
|---|---|
| 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#TWQL, Expansion 1.8a (statement). In ZPCYW4N0EH/e1, lemma 4.11
History
- 2026-10-29: add by m2/v0.4.10
NJF012BEB7 NJF012BEB7
| URI | m2://inv/NJF012BEB7 |
|---|---|
| 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.27270#K6NS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition (Usefulness) NJF0S4CB8V
| URI | m2://inv/NJF0S4CB8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential mechanism#WF1X, Definition (Usefulness) (definition)
History
- 2026-11-02: add by m2/dev
crocodile dilemma NJF1HEVC3A
| URI | m2://inv/NJF1HEVC3A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1685394, crocodile dilemma (unknown). Also MathWorld CrocodilesDilemma
History
- 2026-10-26: add by m2/dev
NJF50Q8EN0 NJF50Q8EN0
| URI | m2://inv/NJF50Q8EN0 |
|---|---|
| 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.17720#HM8P (statement). In QPM0GQYNZ9/e1, theorem 7.4
History
- 2026-10-28: add by m2/v0.4.2
Generalizations NJF58JYDDT
| URI | m2://inv/NJF58JYDDT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyiamond#EI03, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
NJF9XXDMNB NJF9XXDMNB
| URI | m2://inv/NJF9XXDMNB |
|---|---|
| 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.10525#0U4Y (statement). In N3K26VPX0R/e1, proposition 3.9
History
- 2026-10-29: add by m2/v0.4.10
NJFCMXAE57 NJFCMXAE57
| URI | m2://inv/NJFCMXAE57 |
|---|---|
| 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.23975#QJK5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
NJFHWZFWX7 NJFHWZFWX7
| URI | m2://inv/NJFHWZFWX7 |
|---|---|
| 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.00103#K9WA (statement). In S7RDXJWP1A/e1, lemma D.1
History
- 2026-10-30: add by m2/v0.4.12
NJG41VX7Z0 NJG41VX7Z0
| URI | m2://inv/NJG41VX7Z0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15385#67PT (statement). In HBZXCMYPME/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
NJG6WG38AH NJG6WG38AH
| URI | m2://inv/NJG6WG38AH |
|---|---|
| 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.28848#9YQP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications NJG6YZG9KF
| URI | m2://inv/NJG6YZG9KF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability#S0VW, Applications (example)
History
- 2026-11-02: add by m2/dev
NJG8ZRE8RE NJG8ZRE8RE
| URI | m2://inv/NJG8ZRE8RE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02686#A4CO (statement). In 5QWPNXQ32J/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.12
Delannoy number NJGBXQPWS9
| URI | m2://inv/NJGBXQPWS9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2886564, Delannoy number (concept). Also MathWorld DelannoyNumber
- wikipedia: Wikipedia Delannoy number, Delannoy number (definition). Also Wikidata Q2886564
History
- 2026-10-26: add by m2/dev
NJGHJW29KW NJGHJW29KW
| URI | m2://inv/NJGHJW29KW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28195#X6CH (statement)
History
- 2026-11-01: add by m2/v0.6.15
NJGQ3K6NZJ NJGQ3K6NZJ
| URI | m2://inv/NJGQ3K6NZJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39615#N6LF (statement). In RNXRAZYR3S/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
Vitali's convergence theorem NJGVN5X17D
| URI | m2://inv/NJGVN5X17D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1255240, Vitali's convergence theorem (statement). Also MathWorld VitalisConvergenceTheorem
History
- 2026-10-26: add by m2/dev
NJH1GNMTZ7 NJH1GNMTZ7
| URI | m2://inv/NJH1GNMTZ7 |
|---|---|
| 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.21963#ASDV (statement). In HR9R8RPKN8/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.4.2
Lovász Local Lemma, asymmetric NJH7N7VC9J
| URI | m2://inv/NJH7N7VC9J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/16.7/lovász-local-lemma-asymmetric, Lovász Local Lemma, asymmetric (concept). In QKM9DD2H56, index, section 16.7
History
- 2026-11-01: add by m2/v0.6.13
multinomial coefficient NJH8HVJ085
| URI | m2://inv/NJH8HVJ085 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/2.7/multinomial-coefficient, multinomial coefficient (concept). In QKM9DD2H56, index, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
NJHACKN64J NJHACKN64J
| URI | m2://inv/NJHACKN64J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-58 (exercise). In E9HS8K3A52, exercise, section 6.4.4
History
- 2026-11-01: add by m2/v0.6.13
Weighted zero density NJHCHZF8RV
| URI | m2://inv/NJHCHZF8RV |
|---|---|
| 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.38650#8HKJ, Weighted zero density (statement). In DZJ9QJVQK3/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Examples NJHES9YYMJ
| URI | m2://inv/NJHES9YYMJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclogon#XB4C, Examples (example)
History
- 2026-11-02: add by m2/dev
Two-port network NJHGZE9F5R
| URI | m2://inv/NJHGZE9F5R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-port network, Two-port network (definition). Also Wikidata Q243745
History
- 2026-11-02: add by m2/dev
Definition NJHH17AYR3
| URI | m2://inv/NJHH17AYR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 4-polytope#W11I, Definition (definition)
History
- 2026-11-02: add by m2/dev
NJHQ2D3D3Z NJHQ2D3D3Z
| URI | m2://inv/NJHQ2D3D3Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#44I6 (statement). In Y1DR0DPWD0/e1, proposition 5.12
History
- 2026-10-29: add by m2/v0.4.12
First variation of branched transport cost NJHTW9P194
| URI | m2://inv/NJHTW9P194 |
|---|---|
| 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.24451#AY2R, First variation of branched transport cost (statement)
History
- 2026-11-01: add by m2/v0.6.15
NJJ7GW4X85 NJJ7GW4X85
| URI | m2://inv/NJJ7GW4X85 |
|---|---|
| Kind | example |
| 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 2304.03611#RP3S (example). In 75E8ZB1CBV/e1, example 3.1.1
History
- 2026-10-27: add by m2/v0.4.0
product formula NJJB7XEHZW
| URI | m2://inv/NJJB7XEHZW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3077644, product formula (statement). Also MathWorld ProductFormula
History
- 2026-10-26: add by m2/dev
NJJESN4D91 NJJESN4D91
| URI | m2://inv/NJJESN4D91 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15698#OPOS (statement). In 69GJX04N6M/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Length lower bound NJJG2R9S31
| URI | m2://inv/NJJG2R9S31 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09341#UFE8, Length lower bound (statement). In DSXBMRYE0V/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
TOPSIS NJJKJSN200
| URI | m2://inv/NJJKJSN200 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TOPSIS, TOPSIS (definition). Also Wikidata Q1235853
History
- 2026-11-02: add by m2/dev
NJJYQQYZ7G NJJYQQYZ7G
| URI | m2://inv/NJJYQQYZ7G |
|---|---|
| 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.03337#HWE6 (statement). In VH7EZDGTNA/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Examples NJK32N5CYD
| URI | m2://inv/NJK32N5CYD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McShane integral#YA82, Examples (example)
History
- 2026-11-02: add by m2/dev
Guilford’s G NJK63XQC6C
| URI | m2://inv/NJK63XQC6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#EZKJ, Guilford’s G (definition)
History
- 2026-11-02: add by m2/dev
NJK7F5G5BP NJK7F5G5BP
| URI | m2://inv/NJK7F5G5BP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#81DH (definition). In ESDKTYDHC8/e1, definition 18
History
- 2026-10-29: add by m2/v0.4.12
Examples NJKK79MZAP
| URI | m2://inv/NJKK79MZAP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultraproduct#NSJ2, Examples (example)
History
- 2026-11-02: add by m2/dev
NJKTG8QKV0 NJKTG8QKV0
| URI | m2://inv/NJKTG8QKV0 |
|---|---|
| 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.12640#FI2H (statement). In QP9FE1D6PG/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
Extensions NJKTRFDGJK
| URI | m2://inv/NJKTRFDGJK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regression discontinuity design#NQAF, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Cop-win graph NJKY9CR8DD
| URI | m2://inv/NJKY9CR8DD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cop-win graph, Cop-win graph (definition). Also Wikidata Q28402476
History
- 2026-11-02: add by m2/dev
Kernel (universal algebra) NJM11ZDZY2
| URI | m2://inv/NJM11ZDZY2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel (algebra)#JR25, Kernel (universal algebra) (unknown)
History
- 2026-11-02: add by m2/dev
NJM1WDYVPE NJM1WDYVPE
| URI | m2://inv/NJM1WDYVPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19296#AY3J (statement). In WFR2WNW8NB/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.2
Signal-to-noise ratio NJM6WC82PG
| URI | m2://inv/NJM6WC82PG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CI4W, Signal-to-noise ratio (definition)
History
- 2026-11-02: add by m2/dev
NJM9XR8TR3 NJM9XR8TR3
| URI | m2://inv/NJM9XR8TR3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09201#6FA7 (statement). In JQFPH09JG8/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
NJMB6CFPPP NJMB6CFPPP
| URI | m2://inv/NJMB6CFPPP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/tautological-instances.tex#lem:valid-taut (statement). In PKGMM3P5QY, lem, section 55.1
History
- 2026-11-01: add by m2/v0.6.13
NJMCPM32SJ NJMCPM32SJ
| URI | m2://inv/NJMCPM32SJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15167#XQP6 (statement). In 4ME94TPA7R/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Example NJMMKDCA80
| URI | m2://inv/NJMMKDCA80 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Return period#4KLF, Example (example)
History
- 2026-11-02: add by m2/dev
Theorem NJMNHV52D1
| URI | m2://inv/NJMNHV52D1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Image (category theory)#HQL6, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Energy solutions NJMQC5B6FC
| URI | m2://inv/NJMQC5B6FC |
|---|---|
| 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.24962#FPX9, Energy solutions (statement)
History
- 2026-11-01: add by m2/v0.6.15
NJMTXSE20E NJMTXSE20E
| URI | m2://inv/NJMTXSE20E |
|---|---|
| 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 2610.05611#JNIZ (definition). In QDTX6NXFEB/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Osserman conjecture NJMV16ZMY7
| URI | m2://inv/NJMV16ZMY7 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#KXRK, Osserman conjecture (object)
History
- 2026-11-02: add by m2/dev
Waldspurger formula NJMXCPJFC3
| URI | m2://inv/NJMXCPJFC3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Waldspurger formula, Waldspurger formula (statement). Also Wikidata Q56291664
History
- 2026-11-02: add by m2/dev
Definition NJMY40898B
| URI | m2://inv/NJMY40898B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exclusive or#XPG2, Definition (definition)
History
- 2026-11-02: add by m2/dev
complementary event NJN0KHT4AK
| URI | m2://inv/NJN0KHT4AK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#4P3Z, complementary event (definition)
History
- 2026-11-02: add by m2/dev
Leibniz's Law NJN2VNZZN1
| URI | m2://inv/NJN2VNZZN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#BQ45, Leibniz's Law (definition)
History
- 2026-11-02: add by m2/dev
Susan Jane Colley NJN81XQVQR
| URI | m2://inv/NJN81XQVQR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susan Jane Colley, Susan Jane Colley (topic). Also Wikidata Q61722013
History
- 2026-11-02: add by m2/dev
NJNBNV5QNV NJNBNV5QNV
| URI | m2://inv/NJNBNV5QNV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#G12X (statement). In 9ZD87293QS/e1, lemma 3.30
History
- 2026-10-27: add by m2/v0.4.0
NJNC0R6D4K NJNC0R6D4K
| URI | m2://inv/NJNC0R6D4K |
|---|---|
| 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.10581#S0HI (statement). In 6V42A71SPC/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.10
Sergei Treil NJND45A3EB
| URI | m2://inv/NJND45A3EB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergei Treil, Sergei Treil (topic). Also Wikidata Q23061981
History
- 2026-11-02: add by m2/dev
Hardy-Littlewood maximal inequality NJNDB7BYGS
| URI | m2://inv/NJNDB7BYGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#Z067, Hardy-Littlewood maximal inequality (definition)
History
- 2026-11-02: add by m2/dev
NJNHS6GAE7 NJNHS6GAE7
| URI | m2://inv/NJNHS6GAE7 |
|---|---|
| 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.02379#RLH9 (statement). In W9E40AZJ03/e1, corollary 2.2
History
- 2026-10-29: add by m2/v0.4.12
GP NJNK57YH4Y
| URI | m2://inv/NJNK57YH4Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10080#B3BM, GP (definition). In N6EBNRZCYX/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
NJNKE1TJPM NJNKE1TJPM
| URI | m2://inv/NJNKE1TJPM |
|---|---|
| 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.14154#2MH7 (statement). In 8X6PXX2TRA/e1, lemma 3.12
History
- 2026-10-28: add by m2/v0.4.2
Irena Lasiecka NJNQ29CBYM
| URI | m2://inv/NJNQ29CBYM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4FWZ, Irena Lasiecka (topic)
History
- 2026-11-02: add by m2/dev
NJNTXR8875 NJNTXR8875
| URI | m2://inv/NJNTXR8875 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10973#9MES (unknown). In H8NGNDP0XT/e1, unknown 3
History
- 2026-10-28: add by m2/v0.4.3
NJP2JE6G21 NJP2JE6G21
| URI | m2://inv/NJP2JE6G21 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/frobenius.tex#example-1 (example). In RZP28ERRZV, example, section 13.2
History
- 2026-11-01: add by m2/v0.6.13
NJP7CQ1V8K NJP7CQ1V8K
| URI | m2://inv/NJP7CQ1V8K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21533#PH08 (definition). In N3Z6JFEPCF/e1, definition
History
- 2026-10-27: add by m2/v0.4.2
Igor Krichever NJP8H4CTS2
| URI | m2://inv/NJP8H4CTS2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Igor Krichever, Igor Krichever (topic). Also Wikidata Q1656756
History
- 2026-11-02: add by m2/dev
NJPF3V7FNY NJPF3V7FNY
| URI | m2://inv/NJPF3V7FNY |
|---|---|
| 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.26455#6YU1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Growth Rates of the Lebesgue Constant and of the Inverse Smallest Singular Value NJPH0EZECJ
| URI | m2://inv/NJPH0EZECJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13222#M2HP, Growth Rates of the Lebesgue Constant and of the Inverse Smallest Singular Value (statement). In Z6WA2R0J50/e1, theorem 2.12
History
- 2026-10-28: add by m2/v0.4.2
NJPM75M37N NJPM75M37N
| URI | m2://inv/NJPM75M37N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#AHOI (definition). In JS5FKV1S9T/e1, definition G.2
History
- 2026-10-27: add by m2/v0.3.5
Accumulated output NJPMEEM5AP
| URI | m2://inv/NJPMEEM5AP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22058#UXGV, Accumulated output (definition)
History
- 2026-11-02: add by m2/v0.6.17
G. S. Makanin NJPS5KHMNY
| URI | m2://inv/NJPS5KHMNY |
|---|---|
| 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#CG8W, G. S. Makanin (topic)
History
- 2026-11-02: add by m2/dev
Symmetry in Mechanics NJPYA59M97
| URI | m2://inv/NJPYA59M97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetry in Mechanics, Symmetry in Mechanics (definition). Also Wikidata Q96407286
History
- 2026-11-02: add by m2/dev
NJQ7SM81GM NJQ7SM81GM
| URI | m2://inv/NJQ7SM81GM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#E3J9 (definition). In 9DQKY7KGE8/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Empty matrix NJQA82GR4Q
| URI | m2://inv/NJQA82GR4Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix (mathematics)#U1UV, Empty matrix (unknown)
History
- 2026-11-02: add by m2/dev
Dirac Comb NJQAWNG586
| URI | m2://inv/NJQAWNG586 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22759#EA13, Dirac Comb (example)
History
- 2026-11-02: add by m2/v0.6.17
Huang Minqiang NJQKDY0RM8
| URI | m2://inv/NJQKDY0RM8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Huang Minqiang, Huang Minqiang (topic). Also Wikidata Q9462603
History
- 2026-11-02: add by m2/dev
Example NJQNY8FGTQ
| URI | m2://inv/NJQNY8FGTQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BCM theory#87WF, Example (example)
History
- 2026-11-02: add by m2/dev
NJR1EQ32B0 NJR1EQ32B0
| URI | m2://inv/NJR1EQ32B0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-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 2503.00560#M1MH (definition). In KH1H3TSWPS/e1, definition 4.6
History
- 2026-10-27: add by m2/v0.3.6
Holomorphic discriminant datum NJR71MBHCP
| URI | m2://inv/NJR71MBHCP |
|---|---|
| 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.20197#4HQ7, Holomorphic discriminant datum (statement)
History
- 2026-11-02: add by m2/v0.6.18
NJRA31DGEV NJRA31DGEV
| URI | m2://inv/NJRA31DGEV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 51-XX, 52-XX, 53-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.03305#K0ZG (statement). In WAJ5AZHF62/e1, corollary 4.4
History
- 2026-10-29: add by m2/v0.4.12
NJRZ0E036P NJRZ0E036P
| URI | m2://inv/NJRZ0E036P |
|---|---|
| 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.27771#JF1R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Singular continuity NJS49K2BYV
| URI | m2://inv/NJS49K2BYV |
|---|---|
| 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.03811#TOJI, Singular continuity (statement). In DHQWFJW02X/e1, theorem 5.6
History
- 2026-10-29: add by m2/v0.4.12
Definition NJS7VBYSKA
| URI | m2://inv/NJS7VBYSKA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic complex#710L, Definition (definition)
History
- 2026-11-02: add by m2/dev
Quasi strategy NJSBFQ4B3Q
| URI | m2://inv/NJSBFQ4B3Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Determinacy#WHF8, Quasi strategy (unknown)
History
- 2026-11-02: add by m2/dev
IƆƆ NJSGQSQP67
| URI | m2://inv/NJSGQSQP67 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roman numerals#2PZM, IƆƆ (unknown)
History
- 2026-11-02: add by m2/dev
NJSSSSQYZZ NJSSSSQYZZ
| URI | m2://inv/NJSSSSQYZZ |
|---|---|
| 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 2506.21337#T2TJ (statement). In EPZN0JTG2Z/e1, lemma 3.13
History
- 2026-10-27: add by m2/v0.3.5
Dirichlet character NJT2FDRTQ7
| URI | m2://inv/NJT2FDRTQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#YAWM, Dirichlet character (definition)
History
- 2026-11-02: add by m2/dev
Chilean Journal of Statistics NJTGXFTZGZ
| URI | m2://inv/NJTGXFTZGZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#BVD2, Chilean Journal of Statistics (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition NJTMNA1AW0
| URI | m2://inv/NJTMNA1AW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional completeness#3WUC, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Betül Tanbay NJTRA54P2V
| URI | m2://inv/NJTRA54P2V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Betül Tanbay, Betül Tanbay (topic). Also Wikidata Q57613764
History
- 2026-11-02: add by m2/dev
Definition NJTZQZ257A
| URI | m2://inv/NJTZQZ257A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel (set theory)#FJ3P, Definition (definition)
History
- 2026-11-02: add by m2/dev
Entropymetry NJV2XG3M21
| URI | m2://inv/NJV2XG3M21 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropy#RZ29, Entropymetry (unknown)
History
- 2026-11-02: add by m2/dev
Boundary second-order estimates for stable transition layers NJV583KYEK
| URI | m2://inv/NJV583KYEK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#54DQ, Boundary second-order estimates for stable transition layers (statement). In RYWAX33Z51/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
NJV5KF523Z NJV5KF523Z
| URI | m2://inv/NJV5KF523Z |
|---|---|
| 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.28597#RDND (statement)
History
- 2026-11-01: add by m2/v0.6.15
NJVBHZ5P3S NJVBHZ5P3S
| URI | m2://inv/NJVBHZ5P3S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-56 (exercise). In E59CDZA4DP, exercise, section 2.4.4
History
- 2026-11-01: add by m2/v0.6.13
Catherine O'Sullivan NJVBPEDG5J
| URI | m2://inv/NJVBPEDG5J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catherine O'Sullivan, Catherine O'Sullivan (topic). Also Wikidata Q58143459
History
- 2026-11-02: add by m2/dev
Nilakantha Somayaji NJVE5BM92K
| URI | m2://inv/NJVE5BM92K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#HSXS, Nilakantha Somayaji (unknown)
History
- 2026-11-02: add by m2/dev
NJVEZRW6AM NJVEZRW6AM
| URI | m2://inv/NJVEZRW6AM |
|---|---|
| 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.03050#IU6X (statement). In WXBRJN9PHQ/e1, corollary 5.4
History
- 2026-10-29: add by m2/v0.4.12
Jan Łukasiewicz NJVFQ8PM21
| URI | m2://inv/NJVFQ8PM21 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#XAWL, Jan Łukasiewicz (topic)
History
- 2026-11-02: add by m2/dev
756 (number) NJW34CV2JN
| URI | m2://inv/NJW34CV2JN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#QWHQ, 756 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Definition NJW3GTCC8R
| URI | m2://inv/NJW3GTCC8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmic spiral#71B3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties NJW3P1FM31
| URI | m2://inv/NJW3P1FM31 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edit distance#HGQT, Properties (statement)
History
- 2026-11-02: add by m2/dev
Two Harbors NJW4G6MZZR
| URI | m2://inv/NJW4G6MZZR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#482F, Two Harbors (unknown)
History
- 2026-11-02: add by m2/dev
CLT for self-normalized one-step estimator NJWMP2S9M2
| URI | m2://inv/NJWMP2S9M2 |
|---|---|
| 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.39274#402D, CLT for self-normalized one-step estimator (statement). In HVC7RVEM6V/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
Olimpíada Brasileira de Matemática NJWNEB0TR3
| URI | m2://inv/NJWNEB0TR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olimpíada Brasileira de Matemática, Olimpíada Brasileira de Matemática (definition). Also Wikidata Q7086900
History
- 2026-11-02: add by m2/dev
NJX73DFEZ3 NJX73DFEZ3
| URI | m2://inv/NJX73DFEZ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.05628#T9WH (statement). In 9JPKTEWW4W/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.3.5
Extensions NJXV60QK5N
| URI | m2://inv/NJXV60QK5N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chirplet transform#QR9K, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Definition NJXXP2KKCA
| URI | m2://inv/NJXXP2KKCA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thurstonian model#GMUF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Monotonicity of the vertex proximity NJY30G8X30
| URI | m2://inv/NJY30G8X30 |
|---|---|
| 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.06653#FUFY, Monotonicity of the vertex proximity (statement). In 9D2N76AJAT/e1, lemma E.4
History
- 2026-10-29: add by m2/v0.4.10
Grace Yang NJY60F05YF
| URI | m2://inv/NJY60F05YF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Taiwanese mathematicians#DJ5O, Grace Yang (topic)
History
- 2026-11-02: add by m2/dev
Erdős-Ko-Rado Theorem NJYBJTRYN2
| URI | m2://inv/NJYBJTRYN2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/16.2/erdős-ko-rado-theorem, Erdős-Ko-Rado Theorem (concept). In QKM9DD2H56, index, section 16.2
History
- 2026-11-01: add by m2/v0.6.13
NJYMTCAE8Z NJYMTCAE8Z
| URI | m2://inv/NJYMTCAE8Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#XJ9S (definition). In 3KTZ6Z615H/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
neutron star NJYNFJSGT9
| URI | m2://inv/NJYNFJSGT9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4202, neutron star (unknown). Also nLab neutron star
History
- 2026-10-26: add by m2/dev
Symmetry NJYT93CNWH
| URI | m2://inv/NJYT93CNWH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disdyakis triacontahedron#Y1BL, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
E-values NJZ3M0D4EY
| URI | m2://inv/NJZ3M0D4EY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E-values, E-values (definition). Also Wikidata Q130492653
History
- 2026-11-02: add by m2/dev
Madame X (device) NJZEZ77WXB
| URI | m2://inv/NJZEZ77WXB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bombe#FZPS, Madame X (device) (unknown)
History
- 2026-11-02: add by m2/dev
Line chart NJZP045XZ4
| URI | m2://inv/NJZP045XZ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BWMY, Line chart (definition)
- wikipedia: Wikipedia List of graphical methods#HJHU, Line chart (definition)
History
- 2026-11-02: add by m2/dev
Enumeration NJZRBENXC8
| URI | m2://inv/NJZRBENXC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skew-merged permutation#CRPR, Enumeration (definition)
History
- 2026-11-02: add by m2/dev
NJZXPME0XF NJZXPME0XF
| URI | m2://inv/NJZXPME0XF |
|---|---|
| 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.21258#5PBW (statement). In PN98BKSKZP/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.3.5
19 NJZXVYES5K
| URI | m2://inv/NJZXVYES5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 19 (number), 19 (definition). Also Wikidata Q39850
History
- 2026-11-02: add by m2/dev