Inventory rows FR
The cards of the rows of the inventory whose ids start with FR. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Subjective Bayesian networks FR055S2JVN
| URI | m2://inv/FR055S2JVN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subjective logic#M4KO, Subjective Bayesian networks (unknown)
History
- 2026-11-02: add by m2/dev
Dorothy Brady FR0BY8KV7A
| URI | m2://inv/FR0BY8KV7A |
|---|---|
| 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#4M6F, Dorothy Brady (topic)
History
- 2026-11-02: add by m2/dev
FR0C2TACQH FR0C2TACQH
| URI | m2://inv/FR0C2TACQH |
|---|---|
| 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.33162#C5JW (statement). In RPC7VG3KHQ/e1, proposition 5.13
History
- 2026-10-30: add by m2/v0.4.12
Multiplicative ergodicity FR0E2J0M90
| URI | m2://inv/FR0E2J0M90 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00843#LWD4, Multiplicative ergodicity (definition). In 1K7M5TD0M2/e1, definition A.1
History
- 2026-10-29: add by m2/v0.4.12
FR0FSJ9BA5 FR0FSJ9BA5
| URI | m2://inv/FR0FSJ9BA5 |
|---|---|
| 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 2511.05069#1D7K (statement). In SFQBJBTW8K/e1, corollary A.4
History
- 2026-10-27: add by m2/v0.3.5
FR0Q1X9AB2 FR0Q1X9AB2
| URI | m2://inv/FR0Q1X9AB2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/truth-values.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 38.7
History
- 2026-11-01: add by m2/v0.6.13
Definition FR0WB7BQ04
| URI | m2://inv/FR0WB7BQ04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buekenhout geometry#9T2J, Definition (definition)
History
- 2026-11-02: add by m2/dev
FR0XWA7KPW FR0XWA7KPW
| URI | m2://inv/FR0XWA7KPW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompleteInduction.tex#theorem-3 (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
First-order temporal convergence for the discrete gradient system FR11C6BETG
| URI | m2://inv/FR11C6BETG |
|---|---|
| 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.25489#OHLH, First-order temporal convergence for the discrete gradient system (statement)
History
- 2026-11-01: add by m2/v0.6.15
FR1411S9F7 FR1411S9F7
| URI | m2://inv/FR1411S9F7 |
|---|---|
| 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.19464#AQZX (statement). In G8JCZ109A9/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Examples FR15W6Z9S9
| URI | m2://inv/FR15W6Z9S9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparse language#W4TL, Examples (example)
History
- 2026-11-02: add by m2/dev
FR188H61KB FR188H61KB
| URI | m2://inv/FR188H61KB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38206#OVK2 (statement). In F71MS1F637/e1, lemma 5.13
History
- 2026-10-30: add by m2/v0.4.12
FR1C37A6NA FR1C37A6NA
| URI | m2://inv/FR1C37A6NA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20203#EMFG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Erwin Lutwak FR1J0PBPTZ
| URI | m2://inv/FR1J0PBPTZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erwin Lutwak, Erwin Lutwak (topic). Also Wikidata Q43685505
History
- 2026-11-02: add by m2/dev
FR1J61V1TW FR1J61V1TW
| URI | m2://inv/FR1J61V1TW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16059#0QDH (statement). In 51W7AECQDA/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
Trihexagonal tiling FR1K6J6C6K
| URI | m2://inv/FR1K6J6C6K |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Euclidean uniform tilings#HUXC, Trihexagonal tiling (object)
History
- 2026-11-02: add by m2/dev
Inseparability does not determine homotopy type FR1N7ACA89
| URI | m2://inv/FR1N7ACA89 |
|---|---|
| Kind | example |
| 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.14783#Z5M0, Inseparability does not determine homotopy type (example). In Y3X5XY2J65/e1, example 7.5
History
- 2026-10-28: add by m2/v0.4.2
Compound of six pentagrammic prisms FR1NHR6F1V
| URI | m2://inv/FR1NHR6F1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of six pentagrammic prisms, Compound of six pentagrammic prisms (definition). Also Wikidata Q5156884
History
- 2026-11-02: add by m2/dev
FR1VSV6GWA FR1VSV6GWA
| URI | m2://inv/FR1VSV6GWA |
|---|---|
| Kind | example |
| 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 2609.36884#W64M (example). In Z7E16PFFCP/e1, example 2.2
History
- 2026-10-30: add by m2/v0.4.12
Yurii Egorov FR1VZT6QGG
| URI | m2://inv/FR1VZT6QGG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yurii Egorov, Yurii Egorov (topic). Also Wikidata Q23655951
History
- 2026-11-02: add by m2/dev
Wakefield, Edward FR29WJK1PX
| URI | m2://inv/FR29WJK1PX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#DT6V, Wakefield, Edward (unknown)
History
- 2026-11-02: add by m2/dev
Definition FR2A1DZJZX
| URI | m2://inv/FR2A1DZJZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group scheme#4YON, Definition (definition)
History
- 2026-11-02: add by m2/dev
The class $n\equiv3\pmod6$ FR2HAJ9E9X
| URI | m2://inv/FR2HAJ9E9X |
|---|---|
| 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.17100#2ATA, The class $n\equiv3\pmod6$ (statement). In 4TSS52DMB2/e1, theorem 5.5
History
- 2026-10-28: add by m2/v0.4.2
FR2P2F1P9K FR2P2F1P9K
| URI | m2://inv/FR2P2F1P9K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02833#YFMT (definition). In TNREX5GDK2/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Examples FR2V5YTPHN
| URI | m2://inv/FR2V5YTPHN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wreath product#BRW6, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties FR2W441B0H
| URI | m2://inv/FR2W441B0H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-function#L79I, Properties (statement)
History
- 2026-11-02: add by m2/dev
Regularity structure FR2YA7DE21
| URI | m2://inv/FR2YA7DE21 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regularity structure, Regularity structure (definition). Also Wikidata Q28401890
History
- 2026-11-02: add by m2/dev
P FR2Z2RRR5R
| URI | m2://inv/FR2Z2RRR5R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q846354, P (unknown). Also MathWorld P-Problem
- wikipedia: Wikipedia P (complexity), P (definition). Also Wikidata Q846354
History
- 2026-10-26: add by m2/dev
FR2ZBN45M6 FR2ZBN45M6
| URI | m2://inv/FR2ZBN45M6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32374#85RE (example). In 96D6N9AXQM/e1, example 4.3
History
- 2026-10-31: add by m2/v0.5.6
FR30VHTJFQ FR30VHTJFQ
| URI | m2://inv/FR30VHTJFQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20805#CB84 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Selfridge's conjecture FR339A4968
| URI | m2://inv/FR339A4968 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#G4SA, Selfridge's conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Law of segregation of genes FR38Q0PH8Z
| URI | m2://inv/FR38Q0PH8Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mendelian inheritance#9863, Law of segregation of genes (statement)
History
- 2026-11-02: add by m2/dev
FR393AGYZD FR393AGYZD
| URI | m2://inv/FR393AGYZD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 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.09900#NRVC (definition). In ATSYBWEMMP/e1, definition 7.1
History
- 2026-10-29: add by m2/v0.4.10
choice function FR3JQCYXQE
| URI | m2://inv/FR3JQCYXQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#MRDJ, choice function (definition)
History
- 2026-11-02: add by m2/dev
UCT Mathematics Competition FR3K5MYJJZ
| URI | m2://inv/FR3K5MYJJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia UCT Mathematics Competition, UCT Mathematics Competition (definition). Also Wikidata Q7864134
History
- 2026-11-02: add by m2/dev
quantum statistical mechanics FR3SWVM9H2
| URI | m2://inv/FR3SWVM9H2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q845260, quantum statistical mechanics (unknown). Also nLab quantum statistical mechanics
- wikipedia: Wikipedia Quantum statistical mechanics, Quantum statistical mechanics (definition). Also Wikidata Q845260
History
- 2026-10-26: add by m2/dev
FR3WQZ08KB FR3WQZ08KB
| URI | m2://inv/FR3WQZ08KB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02174#D50W (definition). In 7JPHSV4NXW/e1, definition 2.7
History
- 2026-10-29: add by m2/v0.4.12
FR3ZZA719V FR3ZZA719V
| URI | m2://inv/FR3ZZA719V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07673#IYBS (statement). In 37B1MPV8GX/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
Examples FR408YPTAS
| URI | m2://inv/FR408YPTAS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuratowski closure axioms#MWB2, Examples (example)
History
- 2026-11-02: add by m2/dev
Final ADHH decomposition FR49NC2E9Y
| URI | m2://inv/FR49NC2E9Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27181#NZKE, Final ADHH decomposition (statement)
History
- 2026-11-01: add by m2/v0.6.15
FR4BDMBBCG FR4BDMBBCG
| URI | m2://inv/FR4BDMBBCG |
|---|---|
| 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.38975#GUV7 (definition). In D2247CRPPE/e1, definition 3
History
- 2026-10-30: add by m2/v0.4.12
Stefan Grigorievich Samko FR4H9GJATB
| URI | m2://inv/FR4H9GJATB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stefan Grigorievich Samko, Stefan Grigorievich Samko (topic). Also Wikidata Q12150381
History
- 2026-11-02: add by m2/dev
FR4KENT6WA FR4KENT6WA
| URI | m2://inv/FR4KENT6WA |
|---|---|
| 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 2401.15490#VRMW (statement). In AAY60GVERS/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
FR4W0XGXGA FR4W0XGXGA
| URI | m2://inv/FR4W0XGXGA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18302#LGTI (statement). In VJTRH1S4JA/e1, proposition 2.25
History
- 2026-10-28: add by m2/v0.4.2
Invisible transitions FR510HVHXB
| URI | m2://inv/FR510HVHXB |
|---|---|
| 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#KPZ4, Invisible transitions (statement). In 5E9G06XJKC/e1, lemma E.10
History
- 2026-10-28: add by m2/v0.4.2
Probability distribution FR570SRX90
| URI | m2://inv/FR570SRX90 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#X6IG, Probability distribution (definition)
- wikipedia: Wikipedia List of probability topics#L8O5, Probability distribution (definition)
History
- 2026-11-02: add by m2/dev
Weil conjectures FR58MPSXNY
| URI | m2://inv/FR58MPSXNY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#J7LX, Weil conjectures (statement)
- wikipedia: Wikipedia List of algebraic geometry topics#7UPB, Weil conjectures (statement)
- wikipedia: Wikipedia List of things named after André Weil#EFVM, Weil conjectures (statement)
History
- 2026-11-02: add by m2/dev
FR5FD00G4Z FR5FD00G4Z
| URI | m2://inv/FR5FD00G4Z |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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.30821#G4NF (example). In 1MZ9XBPTFQ/e1, example 3
History
- 2026-10-31: add by m2/v0.5.6
Consumer-resource model FR5JGWG3EH
| URI | m2://inv/FR5JGWG3EH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consumer-resource model, Consumer-resource model (definition). Also Wikidata Q125101377
History
- 2026-11-02: add by m2/dev
FR5VEGS1H2 FR5VEGS1H2
| URI | m2://inv/FR5VEGS1H2 |
|---|---|
| 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.38548#2CG3 (statement). In Z7ZFV3HM1S/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Maximal relaxed subslope FR5XW9EFVZ
| URI | m2://inv/FR5XW9EFVZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#KG2E, Maximal relaxed subslope (definition). In KM3Q791JY0/e1, definition 3.10
History
- 2026-10-27: add by m2/v0.4.2
Wedderburn–Etherington number FR5YNC1F3M
| URI | m2://inv/FR5YNC1F3M |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2068748, Wedderburn–Etherington number (object). Also OEIS A001190
History
- 2026-10-26: add by m2/dev
FR67RQSGSS FR67RQSGSS
| URI | m2://inv/FR67RQSGSS |
|---|---|
| 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 2601.00910#JMRK (statement). In 8B1548XAJ4/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.6
free points FR68X43FRH
| URI | m2://inv/FR68X43FRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07508#ZE9T, free points (statement). In TPA3E67MKK/e1, lemma 9.5
History
- 2026-10-29: add by m2/v0.4.10
FR6JWNG885 FR6JWNG885
| URI | m2://inv/FR6JWNG885 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.02331#2E3F (problem). In N9J5DJCTJZ/e1, problem 2
History
- 2026-10-27: add by m2/v0.3.5
Representation FR6KR43VR4
| URI | m2://inv/FR6KR43VR4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultimate reality#NB6B, Representation (definition)
History
- 2026-11-02: add by m2/dev
small triambic icosahedron FR79RK5C7B
| URI | m2://inv/FR79RK5C7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7543600, small triambic icosahedron (unknown). Also MathWorld SmallTriambicIcosahedron
- wikipedia: Wikipedia Small triambic icosahedron, Small triambic icosahedron (definition). Also Wikidata Q7543600
History
- 2026-10-26: add by m2/dev
Kerr–Newman metric FR7BVWG0SA
| URI | m2://inv/FR7BVWG0SA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kerr–Newman metric, Kerr–Newman metric (definition). Also Wikidata Q1190600
History
- 2026-11-02: add by m2/dev
P. V. Sukhatme FR7NDSDQF5
| URI | m2://inv/FR7NDSDQF5 |
|---|---|
| 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#SGM2, P. V. Sukhatme (unknown)
History
- 2026-11-02: add by m2/dev
FR7PYZZ0WJ FR7PYZZ0WJ
| URI | m2://inv/FR7PYZZ0WJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21438#5L1R (statement)
History
- 2026-11-02: add by m2/v0.6.18
FR808H479R FR808H479R
| URI | m2://inv/FR808H479R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.01586#DV3I (definition). In P39MF3ZJC0/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
FR81ZK2C5D FR81ZK2C5D
| URI | m2://inv/FR81ZK2C5D |
|---|---|
| Kind | definition |
| 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 2104.00162#OODC (definition). In HVGT9D84WV/e1, definition 1.15
History
- 2026-10-27: add by m2/v0.3.5
AVT Statistical filtering algorithm FR8F16H1AB
| URI | m2://inv/FR8F16H1AB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AVT Statistical filtering algorithm, AVT Statistical filtering algorithm (definition). Also Wikidata Q25303779
History
- 2026-11-02: add by m2/dev
Susanne Hambrusch FR8GF5RBDH
| URI | m2://inv/FR8GF5RBDH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4503, Susanne Hambrusch (unknown)
History
- 2026-11-02: add by m2/dev
Applications FR8J8ME1NW
| URI | m2://inv/FR8J8ME1NW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Head/tail breaks#BRVS, Applications (example)
History
- 2026-11-02: add by m2/dev
Quasi-experiment FR8JKYB7DC
| URI | m2://inv/FR8JKYB7DC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-experiment, Quasi-experiment (definition). Also Wikidata Q11832859
History
- 2026-11-02: add by m2/dev
Quatro Irmãos FR8STJGF6Y
| URI | m2://inv/FR8STJGF6Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#N6FC, Quatro Irmãos (unknown)
History
- 2026-11-02: add by m2/dev
FR8X55FY4A FR8X55FY4A
| URI | m2://inv/FR8X55FY4A |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-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.36509#FAQR (problem). In DPJ15KW23C/e1, problem 1.4
History
- 2026-10-30: add by m2/v0.4.12
FR8ZQD8419 FR8ZQD8419
| URI | m2://inv/FR8ZQD8419 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 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.03373#1BG6 (problem). In ZA7DBT3NWR/e1, problem 1
History
- 2026-10-29: add by m2/v0.4.12
FR9546HGP5 FR9546HGP5
| URI | m2://inv/FR9546HGP5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#CJOQ (statement). In JW8HH6EPG2/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.10
FR9B6CQDV2 FR9B6CQDV2
| URI | m2://inv/FR9B6CQDV2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX, 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 2609.30262#WBH6 (definition). In FWA5QW6FCF/e1, definition 4.10
History
- 2026-10-31: add by m2/v0.5.6
243 FR9CECENS0
| URI | m2://inv/FR9CECENS0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q769215, 243 (unknown). Also MathWorld 243
History
- 2026-10-26: add by m2/dev
Efficient initialization and ideal iid coupling FR9CWZZHNS
| URI | m2://inv/FR9CWZZHNS |
|---|---|
| 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 2609.37482#FIWQ, Efficient initialization and ideal iid coupling (statement). In 9QDRMZX8EY/e1, theorem 0.3
History
- 2026-10-30: add by m2/v0.4.12
Chebotarev's density theorem FR9KBDDQ0H
| URI | m2://inv/FR9KBDDQ0H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#183C, Chebotarev's density theorem (statement)
History
- 2026-11-02: add by m2/dev
Statement of the diamond theorem FR9MQRM9VM
| URI | m2://inv/FR9MQRM9VM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haran's diamond theorem#8HHR, Statement of the diamond theorem (statement)
History
- 2026-11-02: add by m2/dev
FR9N9XEA46 FR9N9XEA46
| URI | m2://inv/FR9N9XEA46 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05142#ZACL (statement). In 8A0HVCGRR8/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.10
differential of a function FR9Q6BV8FD
| URI | m2://inv/FR9Q6BV8FD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#LCFS, differential of a function (definition)
History
- 2026-11-02: add by m2/dev
FR9X60YF5S FR9X60YF5S
| URI | m2://inv/FR9X60YF5S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#61NF (definition)
History
- 2026-11-01: add by m2/v0.6.15
Bounded-Parameter Log-concave Distributions FRA0RGW1NG
| URI | m2://inv/FRA0RGW1NG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21033#FC4R, Bounded-Parameter Log-concave Distributions (definition). In A8C1M9BSWH/e1, definition 8.4
History
- 2026-10-27: add by m2/v0.4.2
Selfridge primality test FRA627V7XC
| URI | m2://inv/FRA627V7XC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Selfridge#BH75, Selfridge primality test (unknown)
History
- 2026-11-02: add by m2/dev
FRA75861P3 FRA75861P3
| URI | m2://inv/FRA75861P3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00105#DB5X (statement). In EZXTEXR47M/e1, corollary 4.8
History
- 2026-10-30: add by m2/v0.4.12
FRA82F3JY6 FRA82F3JY6
| URI | m2://inv/FRA82F3JY6 |
|---|---|
| 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.33766#8JNF (statement). In VGKK4M68EK/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
FRABWM5SQC FRABWM5SQC
| URI | m2://inv/FRABWM5SQC |
|---|---|
| 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.11836#AXLY (statement). In 1X68TCGB9E/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.3
FRAK0Q3Q1D FRAK0Q3Q1D
| URI | m2://inv/FRAK0Q3Q1D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
y-axis FRAK54SSPW
| URI | m2://inv/FRAK54SSPW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q26262125, y-axis (unknown). Also MathWorld y-Axis
History
- 2026-10-26: add by m2/dev
H-matrix FRASN38VMV
| URI | m2://inv/FRASN38VMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H-matrix (iterative method), H-matrix (definition). Also Wikidata Q55643070
History
- 2026-11-02: add by m2/dev
FRB0D6SJ63 FRB0D6SJ63
| URI | m2://inv/FRB0D6SJ63 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33557#ZM0I (problem). In 95YZVAPGJA/e1, problem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Closure by the common contact FRB0RRND91
| URI | m2://inv/FRB0RRND91 |
|---|---|
| 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.06480#IR2D, Closure by the common contact (statement). In 2Y47E704Z9/e1, lemma G.3
History
- 2026-10-29: add by m2/v0.4.10
Worst-case expectile envelope FRB8C53Z8T
| URI | m2://inv/FRB8C53Z8T |
|---|---|
| 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.11917#2QSQ, Worst-case expectile envelope (statement). In 7BB6PY94G9/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.3
Florimond de Beaune FRBC4V9BEC
| URI | m2://inv/FRBC4V9BEC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Florimond de Beaune, Florimond de Beaune (topic). Also Wikidata Q1430134
History
- 2026-11-02: add by m2/dev
FRBM19RCQ9 FRBM19RCQ9
| URI | m2://inv/FRBM19RCQ9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#S6RW (definition). In F3BKXXPR3K/e1, definition 2.27
History
- 2026-10-27: add by m2/v0.4.2
Nigel James Hitchin FRBNEXPRTC
| URI | m2://inv/FRBNEXPRTC |
|---|---|
| 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#8ZUD, Nigel James Hitchin (topic)
History
- 2026-11-02: add by m2/dev
Five Dock FRBXEHTDZ9
| URI | m2://inv/FRBXEHTDZ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#UWIK, Five Dock (unknown)
History
- 2026-11-02: add by m2/dev
Helmut Hasse FRC22K8F3M
| URI | m2://inv/FRC22K8F3M |
|---|---|
| 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 Q61768, Helmut Hasse (unknown). Also nLab Helmut Hasse
- wikipedia: Wikipedia Helmut Hasse, Helmut Hasse (topic). Also Wikidata Q61768
History
- 2026-10-26: add by m2/dev
FRC4KB2XT6 FRC4KB2XT6
| URI | m2://inv/FRC4KB2XT6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#JCG6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
FRCGK1GKMX FRCGK1GKMX
| URI | m2://inv/FRCGK1GKMX |
|---|---|
| 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.14236#DBZQ (statement). In XEQD21EBTT/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
Ecliptic FRCH321B44
| URI | m2://inv/FRCH321B44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ecliptic, Ecliptic (definition). Also Wikidata Q79852
History
- 2026-11-02: add by m2/dev
Directionality theory and the second law of thermodynamics FRCRP44PPY
| URI | m2://inv/FRCRP44PPY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lloyd Demetrius#78PP, Directionality theory and the second law of thermodynamics (statement)
History
- 2026-11-02: add by m2/dev
Related results FRCSTPV855
| URI | m2://inv/FRCSTPV855 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central carrier#6WJM, Related results (statement)
History
- 2026-11-02: add by m2/dev
FRCY5W4K0K FRCY5W4K0K
| URI | m2://inv/FRCY5W4K0K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-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.13213#52AY (statement). In V97F4YZ8B0/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
Empirical measure FRCZ9YYCKK
| URI | m2://inv/FRCZ9YYCKK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empirical measure, Empirical measure (definition). Also Wikidata Q5374247
History
- 2026-11-02: add by m2/dev
FRDBGM1Q2K FRDBGM1Q2K
| URI | m2://inv/FRDBGM1Q2K |
|---|---|
| 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.04466#Q9OR (statement). In EHW82CK883/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Loewy decomposition of linear differential equations FRDG85VQC5
| URI | m2://inv/FRDG85VQC5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partial differential equation topics#HPOR, Loewy decomposition of linear differential equations (unknown)
History
- 2026-11-02: add by m2/dev
FRDMP5Y8G4 FRDMP5Y8G4
| URI | m2://inv/FRDMP5Y8G4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31604#K9TM (definition). In GSN5YTQS2K/e1, definition 2.6
History
- 2026-10-31: add by m2/v0.5.6
Definition FRDSEH5TMX
| URI | m2://inv/FRDSEH5TMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biconnected graph#4K51, Definition (definition)
History
- 2026-11-02: add by m2/dev
FRDVCTS29W FRDVCTS29W
| URI | m2://inv/FRDVCTS29W |
|---|---|
| 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 2511.08099#RUH3 (statement). In 5NK801XBGA/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Burnside's theorem FRDW0FQ9K6
| URI | m2://inv/FRDW0FQ9K6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite group#7OLP, Burnside's theorem (statement)
History
- 2026-11-02: add by m2/dev
FRDYMYPWCA FRDYMYPWCA
| URI | m2://inv/FRDYMYPWCA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.08004#O1PO (statement). In TYS65EG479/e1, corollary 12
History
- 2026-10-27: add by m2/v0.3.5
FRE83RZ0DF FRE83RZ0DF
| URI | m2://inv/FRE83RZ0DF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04431#W03F (statement). In 3PSAWXCCJ8/e1, proposition 8
History
- 2026-10-29: add by m2/v0.4.12
Construction FRF9KEJSGF
| URI | m2://inv/FRF9KEJSGF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological Hochschild homology#KU0N, Construction (definition)
History
- 2026-11-02: add by m2/dev
Hiroaki Terao FRFA43FS2W
| URI | m2://inv/FRFA43FS2W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hiroaki Terao, Hiroaki Terao (topic). Also Wikidata Q23062404
History
- 2026-11-02: add by m2/dev
Definitions FRFCQ5GWN4
| URI | m2://inv/FRFCQ5GWN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequence transformation#736T, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Ursula Hamenstädt FRFKF8H6EE
| URI | m2://inv/FRFKF8H6EE |
|---|---|
| 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#TIDX, Ursula Hamenstädt (topic)
- wikipedia: Wikipedia List of German mathematicians#FHLA, Ursula Hamenstädt (topic)
History
- 2026-11-02: add by m2/dev
XploRe FRFNWHN8GS
| URI | m2://inv/FRFNWHN8GS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WP06, XploRe (definition)
History
- 2026-11-02: add by m2/dev
choice operator FRG28CQNDD
| URI | m2://inv/FRG28CQNDD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.2/choice-operator, choice operator (concept). In N54F33XE07, index, section 9.2
History
- 2026-11-01: add by m2/v0.6.13
FRG4K6E3JM FRG4K6E3JM
| URI | m2://inv/FRG4K6E3JM |
|---|---|
| Kind | definition |
| 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.25435#2O4T (definition)
History
- 2026-11-01: add by m2/v0.6.15
FRGC8PCYC9 FRGC8PCYC9
| URI | m2://inv/FRGC8PCYC9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#example:msC01 (example). In E59CDZA4DP, example, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Definition FRGF27PDQ6
| URI | m2://inv/FRGF27PDQ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ratio estimator#Z9GJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition FRGG5FB8RH
| URI | m2://inv/FRGG5FB8RH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Folded Reed–Solomon code#P6RB, Definition (definition)
History
- 2026-11-02: add by m2/dev
Gray FRGG5FGF9Y
| URI | m2://inv/FRGG5FGF9Y |
|---|---|
| Kind | definition |
| 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 2302.04566#4RPU, Gray (definition). In 80S2NP05HJ/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.4.0
graph theory FRGGTR4ECY
| URI | m2://inv/FRGGTR4ECY |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 05Cxx |
| Sources | 2 |
| Outcome | open |
| Node | Graph theory A167XK4YTF |
Mentions
- wikidata: Wikidata Q131476, graph theory (topic). Also MathWorld GraphTheory, ProofWiki Definition:Graph_Theory
- wikipedia: Wikipedia Graph theory, Graph theory (topic). Also Wikidata Q131476
History
- 2026-10-26: add by m2/dev
Robert Frucht FRGX9K3WNT
| URI | m2://inv/FRGX9K3WNT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#5KA9, Robert Frucht (topic)
History
- 2026-11-02: add by m2/dev
FRH3PTRDB9 FRH3PTRDB9
| URI | m2://inv/FRH3PTRDB9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#G33W (statement). In NGZ5AZ70NN/e1, proposition 5.8
History
- 2026-10-28: add by m2/v0.4.2
bitopological space FRH5XDWAME
| URI | m2://inv/FRH5XDWAME |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q973690, bitopological space (unknown). Also nLab bitopological space
- wikipedia: Wikipedia Bitopological space, Bitopological space (definition). Also Wikidata Q973690
History
- 2026-10-26: add by m2/dev
FRH9T42RWG FRH9T42RWG
| URI | m2://inv/FRH9T42RWG |
|---|---|
| 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.31276#4BMP (statement). In WYDHWYFRFK/e1, proposition 3.3
History
- 2026-10-31: add by m2/v0.5.6
Sample-only finite KL-constrained improvement FRHF5XGRS5
| URI | m2://inv/FRHF5XGRS5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.33499#1GM1, Sample-only finite KL-constrained improvement (statement). In AAH14S2JJ2/e1, corollary D.2
History
- 2026-10-30: add by m2/v0.4.12
FRHKYJ7F6W FRHKYJ7F6W
| URI | m2://inv/FRHKYJ7F6W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38206#OWWL (statement). In F71MS1F637/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
Injective function FRHS0HQEV9
| URI | m2://inv/FRHS0HQEV9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#9VU4, Injective function (definition)
History
- 2026-11-02: add by m2/dev
FRHTSBTDJ8 FRHTSBTDJ8
| URI | m2://inv/FRHTSBTDJ8 |
|---|---|
| Kind | example |
| 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 2604.10080#KSRV (example). In KM2FWKP93A/e1, example 7.9
History
- 2026-10-27: add by m2/v0.4.0
FRJ29J5Q1W FRJ29J5Q1W
| URI | m2://inv/FRJ29J5Q1W |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#proof-8 (proof). In RZP28ERRZV, proof, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
Dichromatic symmetry FRJ8W9R1M0
| URI | m2://inv/FRJ8W9R1M0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dichromatic symmetry, Dichromatic symmetry (definition). Also Wikidata Q118905860
History
- 2026-11-02: add by m2/dev
Geometric algebra FRJKFVGPNQ
| URI | m2://inv/FRJKFVGPNQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#PNHC, Geometric algebra (definition)
History
- 2026-11-02: add by m2/dev
Pressure at a fixed scale FRJWQ31837
| URI | m2://inv/FRJWQ31837 |
|---|---|
| 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.25915#1UEJ, Pressure at a fixed scale (statement)
History
- 2026-11-01: add by m2/v0.6.15
Shandelle Henson FRK4FHZDBE
| URI | m2://inv/FRK4FHZDBE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shandelle Henson, Shandelle Henson (topic). Also Wikidata Q84577445
History
- 2026-11-02: add by m2/dev
naive set theory FRK62ZDESZ
| URI | m2://inv/FRK62ZDESZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Naive set theory XGAMQBSE1G |
Mentions
- wikidata: Wikidata Q903783, naive set theory (definition). Also MathWorld NaiveSetTheory, ProofWiki Definition:Naive_Set_Theory
- wikipedia: Wikipedia Naive set theory, Naive set theory (definition). Also Wikidata Q903783
History
- 2026-10-26: add by m2/dev
the last jump FRKCHJ6NNP
| URI | m2://inv/FRKCHJ6NNP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07508#CU71, the last jump (statement). In TPA3E67MKK/e1, lemma 9.4
History
- 2026-10-29: add by m2/v0.4.10
FRKGTC9WKX FRKGTC9WKX
| URI | m2://inv/FRKGTC9WKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#defn-16 (definition). In E59CDZA4DP, defn, section 4.5.5
History
- 2026-11-01: add by m2/v0.6.13
David Deutsch FRKHZ84KGF
| URI | m2://inv/FRKHZ84KGF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q543682, David Deutsch (unknown). Also ProofWiki Mathematician:David_Elieser_Deutsch
History
- 2026-10-26: add by m2/dev
Half Chance, Alabama FRKJZA87SY
| URI | m2://inv/FRKJZA87SY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#DV74, Half Chance, Alabama (unknown)
History
- 2026-11-02: add by m2/dev
Boustrophedon transform FRKMYB519A
| URI | m2://inv/FRKMYB519A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4950418, Boustrophedon transform (unknown). Also MathWorld BoustrophedonTransform
- wikipedia: Wikipedia Boustrophedon transform, Boustrophedon transform (definition). Also Wikidata Q4950418
History
- 2026-10-26: add by m2/dev
FRKRVMEWAM FRKRVMEWAM
| URI | m2://inv/FRKRVMEWAM |
|---|---|
| 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.06556#8W1K (statement). In KW8C7VE9XR/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.10
FRM2RYYBNX FRM2RYYBNX
| URI | m2://inv/FRM2RYYBNX |
|---|---|
| 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#B03I (statement). In QA5CM6HNM1/e1, proposition 8.2
History
- 2026-10-28: add by m2/v0.4.2
Kepler–Poinsot polyhedron FRM32JYB3T
| URI | m2://inv/FRM32JYB3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#I86A, Kepler–Poinsot polyhedron (definition)
History
- 2026-11-02: add by m2/dev
FRM3T376EP FRM3T376EP
| URI | m2://inv/FRM3T376EP |
|---|---|
| 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.02798#K96J (definition). In 446QW3DHTN/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
FRMBV1CA1T FRMBV1CA1T
| URI | m2://inv/FRMBV1CA1T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop-26 (statement). In VNMV985MXX, prop, section B
History
- 2026-11-01: add by m2/v0.6.13
FRMGP93Q7G FRMGP93Q7G
| URI | m2://inv/FRMGP93Q7G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#example-5 (example). In RZP28ERRZV, example, section 22.4.2
History
- 2026-11-01: add by m2/v0.6.13
Algorithm FRMQ4CAB2K
| URI | m2://inv/FRMQ4CAB2K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cramer's rule#FF1M, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
FRMR29HXZX FRMR29HXZX
| URI | m2://inv/FRMR29HXZX |
|---|---|
| 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.26001#TB3V (statement)
History
- 2026-11-01: add by m2/v0.6.15
FRMYV1ZB7K FRMYV1ZB7K
| URI | m2://inv/FRMYV1ZB7K |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 19-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.23527#MRZR (example)
History
- 2026-11-02: add by m2/v0.6.17
Meyer--Zheng tightness criterion FRN2MB4JHC
| URI | m2://inv/FRN2MB4JHC |
|---|---|
| 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.29205#XFNG, Meyer--Zheng tightness criterion (statement)
History
- 2026-11-01: add by m2/v0.6.15
small rhombidodecahedron FRN41W15JH
| URI | m2://inv/FRN41W15JH |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q59629, small rhombidodecahedron (unknown). Also MathWorld SmallRhombidodecahedron
- wikipedia: Wikipedia Small rhombidodecahedron, Small rhombidodecahedron (object). Also Wikidata Q59629
History
- 2026-10-26: add by m2/dev
FRND6AQJS8 FRND6AQJS8
| URI | m2://inv/FRND6AQJS8 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/sheaves.tex#proof-2 (proof). In RZP28ERRZV, proof, section 25.6
History
- 2026-11-01: add by m2/v0.6.13
Stationarity bound at a penalty update FRNFEFG6QF
| URI | m2://inv/FRNFEFG6QF |
|---|---|
| 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.39736#SO97, Stationarity bound at a penalty update (statement). In BB1XJ47PVW/e1, lemma 22
History
- 2026-10-30: add by m2/v0.4.12
FRNJH31HN9 FRNJH31HN9
| URI | m2://inv/FRNJH31HN9 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 54-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 2609.24545#2PM6 (problem)
History
- 2026-11-01: add by m2/v0.6.15
FRNJHC9R1J FRNJHC9R1J
| URI | m2://inv/FRNJHC9R1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-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.37520#0BOF (statement). In BDN507RN7J/e1, proposition 4.7.11
History
- 2026-10-30: add by m2/v0.4.12
Reformulation of the semi-differentiability of the generalised $\L^\infty$ envelope FRNNFD5QKQ
| URI | m2://inv/FRNNFD5QKQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27918#QAL3, Reformulation of the semi-differentiability of the generalised $\L^\infty$ envelope (statement)
History
- 2026-11-01: add by m2/v0.6.15
pivot position FRNY80N8F0
| URI | m2://inv/FRNY80N8F0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/1.4.1/pivot-position, pivot position (concept). In 649HGZKE96, index, section 1.4.1
History
- 2026-11-01: add by m2/v0.6.13
Enterprise key FRP059ZWGE
| URI | m2://inv/FRP059ZWGE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wi-Fi Protected Access#Z4KK, Enterprise key (unknown)
History
- 2026-11-02: add by m2/dev
enthymeme FRP6BNMFMB
| URI | m2://inv/FRP6BNMFMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#OTFS, enthymeme (definition)
History
- 2026-11-02: add by m2/dev
Fredholm theory FRPAZVSJGK
| URI | m2://inv/FRPAZVSJGK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Fredholm theory 242TFD41KZ |
Mentions
- wikidata: Wikidata Q4455098, Fredholm theory (statement). Also EoM Fredholm_operator
- wikidata: Wikidata Q573631, Fredholm operator (concept). Also EoM Fredholm_operator, nLab Fredholm operator
- wikidata: Wikidata Q657820, Fredholm alternative (statement). Also EoM Fredholm_operator, MathWorld FredholmAlternative
- wikipedia: Wikipedia Fredholm operator, Fredholm operator (definition). Also Wikidata Q573631
- wikipedia: Wikipedia Fredholm alternative, Fredholm alternative (definition). Also Wikidata Q657820
- wikipedia: Wikipedia Fredholm theory, Fredholm theory (definition). Also Wikidata Q4455098
History
- 2026-10-26: add by m2/dev
FRPB7WTCK0 FRPB7WTCK0
| URI | m2://inv/FRPB7WTCK0 |
|---|---|
| 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 2306.08237#NSPX (definition). In E22A2MFR4Y/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.6
FRPDVNS66Z FRPDVNS66Z
| URI | m2://inv/FRPDVNS66Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#3C2Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Trapped surfaces FRPECY5ASJ
| URI | m2://inv/FRPECY5ASJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11911#TB1M, Trapped surfaces (definition). In 5BYE5NYB89/e1, definition 4.10
History
- 2026-10-28: add by m2/v0.4.3
K. S. Virbhadra FRPMF99W1J
| URI | m2://inv/FRPMF99W1J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#0PZC, K. S. Virbhadra (unknown)
History
- 2026-11-02: add by m2/dev
Hypercone FRPPZCDQH8
| URI | m2://inv/FRPPZCDQH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypercone, Hypercone (definition). Also Wikidata Q4138728
History
- 2026-11-02: add by m2/dev
Exact finite-depth reference FRPXF8BW40
| URI | m2://inv/FRPXF8BW40 |
|---|---|
| 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#TAY3, Exact finite-depth reference (statement). In 9YAE8FNQST/e1, theorem 5.12
History
- 2026-10-30: add by m2/v0.4.12
Examples FRQ0PTJXTX
| URI | m2://inv/FRQ0PTJXTX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stickelberger's theorem#ELDY, Examples (example)
History
- 2026-11-02: add by m2/dev
FRQ2SZ9A43 FRQ2SZ9A43
| URI | m2://inv/FRQ2SZ9A43 |
|---|---|
| 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.18084#7JJC (statement). In PKPT8NY665/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
Kitagawa–Oaxaca–Blinder decomposition FRQ6KHWJSZ
| URI | m2://inv/FRQ6KHWJSZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kitagawa–Oaxaca–Blinder decomposition, Kitagawa–Oaxaca–Blinder decomposition (definition). Also Wikidata Q22907419
History
- 2026-11-02: add by m2/dev
Curtis Cooper FRQ9HQDSCD
| URI | m2://inv/FRQ9HQDSCD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curtis Cooper (mathematician), Curtis Cooper (topic). Also Wikidata Q1755386
History
- 2026-11-02: add by m2/dev
FRQWFN1Z7X FRQWFN1Z7X
| URI | m2://inv/FRQWFN1Z7X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00134#602I (statement). In S654779J5P/e1, theorem 9
History
- 2026-10-30: add by m2/v0.4.12
Closed formula for every nonbottom trapezoidal interval FRQZ3VQ052
| URI | m2://inv/FRQZ3VQ052 |
|---|---|
| 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.24541#USKZ, Closed formula for every nonbottom trapezoidal interval (statement)
History
- 2026-11-01: add by m2/v0.6.15
regular category FRR1Z6G3GE
| URI | m2://inv/FRR1Z6G3GE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Regular category 2SM3JRJXA4 |
Mentions
- wikidata: Wikidata Q2844249, regular category (unknown). Also nLab regular category
- wikipedia: Wikipedia Regular category, Regular category (definition). Also Wikidata Q2844249
History
- 2026-10-26: add by m2/dev
dihedral prime FRR28WCE21
| URI | m2://inv/FRR28WCE21 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5276398, dihedral prime (unknown). Also MathWorld DihedralPrime, OEIS A134996
- wikipedia: Wikipedia Dihedral prime, Dihedral prime (object). Also Wikidata Q5276398
History
- 2026-10-26: add by m2/dev
Whorl FRR7T276TJ
| URI | m2://inv/FRR7T276TJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whorl, Whorl (definition). Also Wikidata Q5999740
History
- 2026-11-02: add by m2/dev
FRR893487Y FRR893487Y
| URI | m2://inv/FRR893487Y |
|---|---|
| Kind | definition |
| 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.35307#JKTQ (definition). In FT5TKY10T8/e1, definition 6.1
History
- 2026-10-30: add by m2/v0.4.12
Definition FRRBXPC35R
| URI | m2://inv/FRRBXPC35R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sitnikov problem#IQC0, Definition (definition)
History
- 2026-11-02: add by m2/dev
FRRDE593JH FRRDE593JH
| URI | m2://inv/FRRDE593JH |
|---|---|
| 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 2609.21937#OJQ6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Ribes--Zalesskii FRS3C3F7DT
| URI | m2://inv/FRS3C3F7DT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.04870#RXI3, Ribes--Zalesskii (statement). In X765ZXXVC3/e1, theorem 2.22
History
- 2026-10-29: add by m2/v0.4.12
Skipjack FRS8FNYSXB
| URI | m2://inv/FRS8FNYSXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skipjack (cipher), Skipjack (definition). Also Wikidata Q1422306
History
- 2026-11-02: add by m2/dev
Meister Eckhart FRS97ZAE1X
| URI | m2://inv/FRS97ZAE1X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q76548, Meister Eckhart (unknown). Also nLab Meister Eckhart
History
- 2026-10-26: add by m2/dev
Algorithm FRS9FX5X52
| URI | m2://inv/FRS9FX5X52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Insertion sort#ZTBK, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Linda Keen FRSAEGZDGM
| URI | m2://inv/FRSAEGZDGM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linda Keen, Linda Keen (topic). Also Wikidata Q450283
History
- 2026-11-02: add by m2/dev
Gauss's formula FRSDXP0378
| URI | m2://inv/FRSDXP0378 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclotomic polynomial#ROXD, Gauss's formula (statement)
History
- 2026-11-02: add by m2/dev
FRSF1A24DT FRSF1A24DT
| URI | m2://inv/FRSF1A24DT |
|---|---|
| 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.14099#0DR7 (statement). In D77GXFTKFH/e1, proposition 8
History
- 2026-10-28: add by m2/v0.4.2
FRSGVWKJ3N FRSGVWKJ3N
| URI | m2://inv/FRSGVWKJ3N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:isomorphism (definition). In N54F33XE07, defn, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Meissner equation FRSN7VRD3N
| URI | m2://inv/FRSN7VRD3N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meissner equation, Meissner equation (definition). Also Wikidata Q6810340
History
- 2026-11-02: add by m2/dev
Utility functions on indivisible goods FRSW4VKMT8
| URI | m2://inv/FRSW4VKMT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Utility functions on indivisible goods, Utility functions on indivisible goods (definition). Also Wikidata Q22909590
History
- 2026-11-02: add by m2/dev
Incompressibility for the ambient quotient FRSWQVJSWT
| URI | m2://inv/FRSWQVJSWT |
|---|---|
| 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.26984#IDLX, Incompressibility for the ambient quotient (statement)
History
- 2026-11-01: add by m2/v0.6.15
Normal cone FRSZ6PBB3F
| URI | m2://inv/FRSZ6PBB3F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal cone (convex analysis), Normal cone (definition). Also Wikidata Q139968311
History
- 2026-11-02: add by m2/dev
FRT05ZRH7W FRT05ZRH7W
| URI | m2://inv/FRT05ZRH7W |
|---|---|
| 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.21622#W9TB (statement). In H21X3FHNYJ/e1, corollary 3.6
History
- 2026-10-27: add by m2/v0.4.2
FRT3AK7WX6 FRT3AK7WX6
| URI | m2://inv/FRT3AK7WX6 |
|---|---|
| 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 2508.02432#3066 (statement). In B366ACYB37/e1, corollary 3.27
History
- 2026-10-27: add by m2/v0.3.5
FRT3XKPJQP FRT3XKPJQP
| URI | m2://inv/FRT3XKPJQP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#I7SI (example)
History
- 2026-11-01: add by m2/v0.6.15
chromatic polynomial FRT6F778GK
| URI | m2://inv/FRT6F778GK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Chromatic polynomial 038YGY0HSC |
Mentions
- wikidata: Wikidata Q1087609, chromatic polynomial (unknown). Also MathWorld ChromaticPolynomial
- wikipedia: Wikipedia Chromatic polynomial, Chromatic polynomial (definition). Also Wikidata Q1087609
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
FRT6NK16NY FRT6NK16NY
| URI | m2://inv/FRT6NK16NY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#IS9E (statement). In ESDKTYDHC8/e1, lemma 21
History
- 2026-10-29: add by m2/v0.4.12
FRTDEBNCPX FRTDEBNCPX
| URI | m2://inv/FRTDEBNCPX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/c-representable.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 29.5
History
- 2026-11-01: add by m2/v0.6.13
FRTFE5KH9V FRTFE5KH9V
| URI | m2://inv/FRTFE5KH9V |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/top-more.tex#proof-1 (proof). In RZP28ERRZV, proof, section 101.8
History
- 2026-11-01: add by m2/v0.6.13
FRTMR4PCZM FRTMR4PCZM
| URI | m2://inv/FRTMR4PCZM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/localization.tex#prop:prime_quotient (statement). In RZP28ERRZV, proposition, section 21.6
History
- 2026-11-01: add by m2/v0.6.13
knower's paradox FRTQXAQ4BG
| URI | m2://inv/FRTQXAQ4BG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#M727, knower's paradox (definition)
History
- 2026-11-02: add by m2/dev
Generalization FRTRGDJ56S
| URI | m2://inv/FRTRGDJ56S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Göbel's sequence#EH6A, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Reduced word FRTRJDBHBE
| URI | m2://inv/FRTRJDBHBE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Word (group theory)#IV3W, Reduced word (unknown)
History
- 2026-11-02: add by m2/dev
FRTZNY88XT FRTZNY88XT
| URI | m2://inv/FRTZNY88XT |
|---|---|
| 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.02489#0TVU (statement). In ZCJDWDR16Z/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
FRV1P04HTQ FRV1P04HTQ
| URI | m2://inv/FRV1P04HTQ |
|---|---|
| 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.11481#7UN4 (statement). In 8XHK5ZCX7H/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.3
Fractional Laplacian FRV9HCE38C
| URI | m2://inv/FRV9HCE38C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractional Laplacian, Fractional Laplacian (definition). Also Wikidata Q30694381
History
- 2026-11-02: add by m2/dev
Slawomir Solecki FRVFR2DDSQ
| URI | m2://inv/FRVFR2DDSQ |
|---|---|
| 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#AQHN, Slawomir Solecki (unknown)
History
- 2026-11-02: add by m2/dev
FRVKHM4BB0 FRVKHM4BB0
| URI | m2://inv/FRVKHM4BB0 |
|---|---|
| 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.08424#VAHT (statement). In BVD2HAAKD5/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Garside monoid FRVKVKT1PK
| URI | m2://inv/FRVKVKT1PK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Garside element#MI1B, Garside monoid (unknown)
History
- 2026-11-02: add by m2/dev
Andres and Marzo's delta FRVP776VHY
| URI | m2://inv/FRVP776VHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andres and Marzo's delta, Andres and Marzo's delta (definition). Also Wikidata Q4756135
History
- 2026-11-02: add by m2/dev
Properties and theorems FRVSC6R6F7
| URI | m2://inv/FRVSC6R6F7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caputo fractional derivative#XQEA, Properties and theorems (statement)
History
- 2026-11-02: add by m2/dev
FRVSX4GHSP FRVSX4GHSP
| URI | m2://inv/FRVSX4GHSP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#prop:supinfalg (statement). In E59CDZA4DP, prop, section 7.2.3
History
- 2026-11-01: add by m2/v0.6.13
1971 census of India FRVXBKVF6V
| URI | m2://inv/FRVXBKVF6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1971 census of India, 1971 census of India (definition). Also Wikidata Q106879883
History
- 2026-11-02: add by m2/dev
FRW16TEHT8 FRW16TEHT8
| URI | m2://inv/FRW16TEHT8 |
|---|---|
| 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.40138#M4J0 (statement). In R60HR493TS/e1, lemma 2.8
History
- 2026-10-30: add by m2/v0.4.12
Totally disconnected group FRW1T06Z0G
| URI | m2://inv/FRW1T06Z0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Totally disconnected group, Totally disconnected group (definition). Also Wikidata Q7828252
History
- 2026-11-02: add by m2/dev
FRW45CPF2Q FRW45CPF2Q
| URI | m2://inv/FRW45CPF2Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26058#S1JB (statement)
History
- 2026-11-01: add by m2/v0.6.15
FRW4YHEWPT FRW4YHEWPT
| URI | m2://inv/FRW4YHEWPT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.22180#YEOQ (statement). In VXQXVZ7SE7/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.4.0
Localization criteria for prime and maximal submodules FRW64DP1MZ
| URI | m2://inv/FRW64DP1MZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-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.15887#0QSO, Localization criteria for prime and maximal submodules (statement). In 87QYNZZ67Z/e1, proposition 9.4
History
- 2026-10-28: add by m2/v0.4.2
Non-equational axioms FRW7T33W64
| URI | m2://inv/FRW7T33W64 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic structure#I34Y, Non-equational axioms (statement)
History
- 2026-11-02: add by m2/dev
FRW9HX6T4T FRW9HX6T4T
| URI | m2://inv/FRW9HX6T4T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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 2610.18242#Q492 (definition). In VVC2FHQZZR/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
four bodily humours FRWBXSAGFG
| URI | m2://inv/FRWBXSAGFG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#55R5, four bodily humours (unknown)
History
- 2026-11-02: add by m2/dev
FRWFVN3YTX FRWFVN3YTX
| URI | m2://inv/FRWFVN3YTX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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.19451#CJ65 (statement). In QHYYV06KBS/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
The Large Scale Structure of Space-Time FRWJAT4KZQ
| URI | m2://inv/FRWJAT4KZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Large Scale Structure of Space-Time, The Large Scale Structure of Space-Time (definition). Also Wikidata Q7745497
History
- 2026-11-02: add by m2/dev
Orlicz space FRWRMYDBN2
| URI | m2://inv/FRWRMYDBN2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-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.26645#29QD, Orlicz space (definition)
History
- 2026-11-01: add by m2/v0.6.15
FRWV5AZ88B FRWV5AZ88B
| URI | m2://inv/FRWV5AZ88B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-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.21860#2CK2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Hypercomplex algebra FRWXAVV260
| URI | m2://inv/FRWXAVV260 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#TC8O, Hypercomplex algebra (definition)
History
- 2026-11-02: add by m2/dev
Spectral Theorem for compact self-adjoint linear relations FRX3XBA446
| URI | m2://inv/FRX3XBA446 |
|---|---|
| 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.13385#GDVD, Spectral Theorem for compact self-adjoint linear relations (statement). In J99CBQ3QYD/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Stephen A. Fulling FRX447C6C6
| URI | m2://inv/FRX447C6C6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen A. Fulling, Stephen A. Fulling (topic). Also Wikidata Q57692961
History
- 2026-11-02: add by m2/dev
Luna's slice theorem FRXE0823AY
| URI | m2://inv/FRXE0823AY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luna's slice theorem, Luna's slice theorem (statement). Also Wikidata Q6703479
History
- 2026-11-02: add by m2/dev
FRXEF59ZQY FRXEF59ZQY
| URI | m2://inv/FRXEF59ZQY |
|---|---|
| Kind | problem |
| 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.30519#9LGL (problem). In GQQZNRYK15/e1, problem 5.6
History
- 2026-10-31: add by m2/v0.5.6
Law of diminishing marginal utility FRXWR8KJ8H
| URI | m2://inv/FRXWR8KJ8H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Utility#A911, Law of diminishing marginal utility (statement)
History
- 2026-11-02: add by m2/dev
FRXY5PA8MC FRXY5PA8MC
| URI | m2://inv/FRXY5PA8MC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05953#RTUU (statement). In P3XHJ1VB8C/e1, corollary 13
History
- 2026-10-29: add by m2/v0.4.10
FRY3C0T5FT FRY3C0T5FT
| URI | m2://inv/FRY3C0T5FT |
|---|---|
| Kind | example |
| 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.08480#F1S7 (example). In R4EEE89C3S/e1, example 4.14
History
- 2026-10-29: add by m2/v0.4.10
Conway's Soldiers FRY3JS4R1A
| URI | m2://inv/FRY3JS4R1A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5015732, Conway's Soldiers (unknown). Also MathWorld ConwaysSoldiers
- wikipedia: Wikipedia Conway's Soldiers, Conway's Soldiers (definition). Also Wikidata Q5015732
History
- 2026-10-26: add by m2/dev
FRY5PSXF0R FRY5PSXF0R
| URI | m2://inv/FRY5PSXF0R |
|---|---|
| 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.21461#BS45 (statement). In DWQANBV7B7/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.2
FRY60GF0A5 FRY60GF0A5
| URI | m2://inv/FRY60GF0A5 |
|---|---|
| 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 2605.23846#1OF6 (statement). In H72CXFWVPV/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
\SEPH{$k$} Problem FRY8S6H98G
| URI | m2://inv/FRY8S6H98G |
|---|---|
| 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 2609.26769#2XED, \SEPH{$k$} Problem (definition)
History
- 2026-11-01: add by m2/v0.6.15
Vladimir Drinfeld FRYAMZPAG3
| URI | m2://inv/FRYAMZPAG3 |
|---|---|
| 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 Q369561, Vladimir Drinfeld (unknown). Also nLab Vladimir Drinfel'd, ProofWiki Mathematician:Vladimir_Gershonovich_Drinfeld
- wikipedia: Wikipedia Vladimir Drinfeld, Vladimir Drinfeld (topic). Also Wikidata Q369561
History
- 2026-10-26: add by m2/dev
The Lindelöf hypothesis FRYGBN3MXX
| URI | m2://inv/FRYGBN3MXX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Z function#329N, The Lindelöf hypothesis (statement)
History
- 2026-11-02: add by m2/dev
FRYGV2NKRN FRYGV2NKRN
| URI | m2://inv/FRYGV2NKRN |
|---|---|
| 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.34876#9W1B (statement). In XXQAW3ZBDF/e1, proposition 6.1
History
- 2026-10-30: add by m2/v0.4.12
Beta Graph FRYMG5EDZB
| URI | m2://inv/FRYMG5EDZB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Existential graph#OAK4, Beta Graph (unknown)
History
- 2026-11-02: add by m2/dev
FRYMW24H6S FRYMW24H6S
| URI | m2://inv/FRYMW24H6S |
|---|---|
| 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.08151#YFK8 (statement). In A0HQ7ZGK3B/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
Output entropy from second moments FRYRF64XAR
| URI | m2://inv/FRYRF64XAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22308#6ZB9, Output entropy from second moments (statement). In 4QN87R0P1G/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.0
Lithuanian Mathematical Society FRYT077VRJ
| URI | m2://inv/FRYT077VRJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#183V, Lithuanian Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
Best additive approximation FRYYDNS88N
| URI | m2://inv/FRYYDNS88N |
|---|---|
| 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.30301#GYFF, Best additive approximation (statement). In 7NS75J7HAM/e1, lemma 5.4
History
- 2026-10-31: add by m2/v0.5.6
FRZ2C167D3 FRZ2C167D3
| URI | m2://inv/FRZ2C167D3 |
|---|---|
| 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 2610.14837#DLCK (statement). In J4P6HXMJCH/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
FRZB2EER0T FRZB2EER0T
| URI | m2://inv/FRZB2EER0T |
|---|---|
| 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#31FB (statement). In 9ZD87293QS/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.4.0
Fahrenheit scale FRZDXE43VK
| URI | m2://inv/FRZDXE43VK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105525247, Fahrenheit scale (definition). Also ProofWiki Definition:Fahrenheit
History
- 2026-10-26: add by m2/dev
Sigmund Gundelfinger FRZFE8EB49
| URI | m2://inv/FRZFE8EB49 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sigmund Gundelfinger, Sigmund Gundelfinger (topic). Also Wikidata Q99548
History
- 2026-11-02: add by m2/dev
FRZH2QY2D6 FRZH2QY2D6
| URI | m2://inv/FRZH2QY2D6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06300#1OJQ (statement). In 751KSRS7WT/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
Unitary method FRZQA9FVJS
| URI | m2://inv/FRZQA9FVJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unitary method, Unitary method (definition). Also Wikidata Q7887248
History
- 2026-11-02: add by m2/dev
Cagniard–De Hoop method FRZQVKV835
| URI | m2://inv/FRZQVKV835 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cagniard–De Hoop method, Cagniard–De Hoop method (definition). Also Wikidata Q5017373
History
- 2026-11-02: add by m2/dev