Inventory rows 9V
The cards of the rows of the inventory whose ids start with 9V. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Erdős–Rado theorem 9V07SRFYCD
| URI | m2://inv/9V07SRFYCD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#LUQT, Erdős–Rado theorem (statement)
History
- 2026-11-02: add by m2/dev
9V082YV9NY 9V082YV9NY
| URI | m2://inv/9V082YV9NY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/minimization-representable.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 29.10
History
- 2026-11-01: add by m2/v0.6.13
Environmental indicator 9V0CD3E8PS
| URI | m2://inv/9V0CD3E8PS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Environmental indicator, Environmental indicator (definition). Also Wikidata Q1520022
History
- 2026-11-02: add by m2/dev
9V0MRYXT5H 9V0MRYXT5H
| URI | m2://inv/9V0MRYXT5H |
|---|---|
| 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 2509.21121#0WCH (definition). In MTDABJF9AP/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
9V0PV7S0ZD 9V0PV7S0ZD
| URI | m2://inv/9V0PV7S0ZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11800#7XUO (statement). In 8TSZ2E32K3/e1, corollary 3.2
History
- 2026-10-28: add by m2/v0.4.3
9V0XEXRNQ8 9V0XEXRNQ8
| URI | m2://inv/9V0XEXRNQ8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-6.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Properties 9V0ZKW3HW1
| URI | m2://inv/9V0ZKW3HW1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized integer gamma distribution#0FP9, Properties (statement)
History
- 2026-11-02: add by m2/dev
9V0ZQZCESD 9V0ZQZCESD
| URI | m2://inv/9V0ZQZCESD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07790#GEZB (statement). In A5YJDDM0NX/e1, lemma A.17
History
- 2026-10-29: add by m2/v0.4.10
Applications 9V10C6YTT7
| URI | m2://inv/9V10C6YTT7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of comparative judgment#YEJZ, Applications (example)
History
- 2026-11-02: add by m2/dev
Target projection for an architecture linear in its output weights 9V14HQHPT5
| URI | m2://inv/9V14HQHPT5 |
|---|---|
| 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.04357#K01V, Target projection for an architecture linear in its output weights (statement). In 6FY8BVP1F3/e1, lemma G.3
History
- 2026-10-29: add by m2/v0.4.12
Large deformation diffeomorphic metric mapping 9V18NM0R66
| URI | m2://inv/9V18NM0R66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Large deformation diffeomorphic metric mapping, Large deformation diffeomorphic metric mapping (definition). Also Wikidata Q25304783
History
- 2026-11-02: add by m2/dev
9V18T2Y98W 9V18T2Y98W
| URI | m2://inv/9V18T2Y98W |
|---|---|
| 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.39104#3KFV (statement). In V2NTW27MSJ/e1, theorem 2.8
History
- 2026-10-30: add by m2/v0.4.12
9V1DCA1WQN 9V1DCA1WQN
| URI | m2://inv/9V1DCA1WQN |
|---|---|
| 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.37471#5GZ3 (statement). In KDF1GTQV08/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
9V1G11GS3Y 9V1G11GS3Y
| URI | m2://inv/9V1G11GS3Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29152#P2K0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Prefix averaging 9V1GP889ZM
| URI | m2://inv/9V1GP889ZM |
|---|---|
| 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.30817#SGEW, Prefix averaging (statement). In DP5KJ7AATM/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
player strategy 9V1HJN8276
| URI | m2://inv/9V1HJN8276 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1546627, player strategy (unknown). Also MathWorld Strategy
- wikipedia: Wikipedia Strategy (game theory), Strategy (definition). Also Wikidata Q1546627
History
- 2026-10-26: add by m2/dev
Dual Basis Lemma 9V1Y98CHAW
| URI | m2://inv/9V1Y98CHAW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear form#G8Y3, Dual Basis Lemma (statement)
History
- 2026-11-02: add by m2/dev
Annealed flat-sphere asymptotics 9V1Z4ZCS98
| URI | m2://inv/9V1Z4ZCS98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05498#BXXT, Annealed flat-sphere asymptotics (statement). In TJT32RQ9GC/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
Ring theory 9V2BNY7P2K
| URI | m2://inv/9V2BNY7P2K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#UDNU, Ring theory (topic)
History
- 2026-11-02: add by m2/dev
Eberhard Freitag 9V2HT1TE13
| URI | m2://inv/9V2HT1TE13 |
|---|---|
| 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#X7T2, Eberhard Freitag (topic)
History
- 2026-11-02: add by m2/dev
Warren Ambrose 9V2SE4SWDD
| URI | m2://inv/9V2SE4SWDD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Warren Ambrose, Warren Ambrose (topic). Also Wikidata Q7585560
History
- 2026-11-02: add by m2/dev
Affine lattices 9V3BBSZ2ZK
| URI | m2://inv/9V3BBSZ2ZK |
|---|---|
| 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.33027#LC96, Affine lattices (statement). In E2AF84709B/e1, lemma 11
History
- 2026-10-31: add by m2/v0.5.6
Definition 9V3FS4Q05E
| URI | m2://inv/9V3FS4Q05E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random closed set#6N8B, Definition (definition)
History
- 2026-11-02: add by m2/dev
5807 (number) 9V3H7P8K85
| URI | m2://inv/9V3H7P8K85 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5000 (number)#4I2J, 5807 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Area theorem (conformal mapping) 9V3MTZ3GN4
| URI | m2://inv/9V3MTZ3GN4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#406Y, Area theorem (conformal mapping) (statement)
History
- 2026-11-02: add by m2/dev
Construction 9V3MW4DQRT
| URI | m2://inv/9V3MW4DQRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loeb space#JFSL, Construction (definition)
History
- 2026-11-02: add by m2/dev
Julia set 9V3YDNKPWA
| URI | m2://inv/9V3YDNKPWA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of chaotic maps#MU6W, Julia set (definition)
History
- 2026-11-02: add by m2/dev
9V41RY3R1V 9V41RY3R1V
| URI | m2://inv/9V41RY3R1V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#W1FE (definition). In HH35K7S17H/e1, definition A.28
History
- 2026-10-29: add by m2/v0.4.10
Blomer--Lutsko 9V43XE4A0D
| URI | m2://inv/9V43XE4A0D |
|---|---|
| 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.16668#62T2, Blomer--Lutsko (statement). In W7GPN2AHHM/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
9V44FR2E7H 9V44FR2E7H
| URI | m2://inv/9V44FR2E7H |
|---|---|
| Kind | definition |
| 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#ALWT (definition). In EZXTEXR47M/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Definition 9V4FXMWR8C
| URI | m2://inv/9V4FXMWR8C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete homogeneous symmetric polynomial#A0VF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Uniform enumeration of matchings 9V4KW1PGTC
| URI | m2://inv/9V4KW1PGTC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26133#JS49, Uniform enumeration of matchings (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lagrangian drifter 9V4P5X1YM5
| URI | m2://inv/9V4P5X1YM5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#DFLG, Lagrangian drifter (unknown)
History
- 2026-11-02: add by m2/dev
HP-27 9V4RERZF3B
| URI | m2://inv/9V4RERZF3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HP-27, HP-27 (definition). Also Wikidata Q5635549
History
- 2026-11-02: add by m2/dev
Wightman axioms 9V4Y4AR1FB
| URI | m2://inv/9V4Y4AR1FB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2874804, Wightman axioms (unknown). Also nLab Wightman axioms
- wikipedia: Wikipedia Wightman axioms, Wightman axioms (statement). Also Wikidata Q2874804
History
- 2026-10-26: add by m2/dev
Sequential estimation 9V50DYYJ6P
| URI | m2://inv/9V50DYYJ6P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Q31Z, Sequential estimation (definition)
History
- 2026-11-02: add by m2/dev
9V55YCGK4Z 9V55YCGK4Z
| URI | m2://inv/9V55YCGK4Z |
|---|---|
| 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.01796#09YB (statement). In JC3PAB5DRC/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.12
Applications 9V5HGNSC8K
| URI | m2://inv/9V5HGNSC8K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topology#M76X, Applications (example)
History
- 2026-11-02: add by m2/dev
9V5M20Y10K 9V5M20Y10K
| URI | m2://inv/9V5M20Y10K |
|---|---|
| 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 2602.19452#JE4I (statement). In 3GF75S0XJ0/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.0
9V5N558RQE 9V5N558RQE
| URI | m2://inv/9V5N558RQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.01916#9QNN (statement). In XTGB5Z08YH/e1, theorem 3.13
History
- 2026-10-27: add by m2/v0.4.0
9V5Z16W2DD 9V5Z16W2DD
| URI | m2://inv/9V5Z16W2DD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02935#D1WH (statement). In WE2KKAMEFW/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
9V5ZJ8VZJ2 9V5ZJ8VZJ2
| URI | m2://inv/9V5ZJ8VZJ2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#PGJW (definition). In G1RP4JY5PE/e1, definition 5.3.1
History
- 2026-10-31: add by m2/v0.5.6
Oleg N. Ageev 9V6AS44AXS
| URI | m2://inv/9V6AS44AXS |
|---|---|
| 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#T2EZ, Oleg N. Ageev (unknown)
History
- 2026-11-02: add by m2/dev
A useful form of the kernel 9V6MTG5JDR
| URI | m2://inv/9V6MTG5JDR |
|---|---|
| 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.33365#9WY4, A useful form of the kernel (statement). In MCXCMR7V0T/e1, lemma 17
History
- 2026-10-30: add by m2/v0.4.12
Margaret Gamalo 9V6SEW7JS3
| URI | m2://inv/9V6SEW7JS3 |
|---|---|
| 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#CNEW, Margaret Gamalo (unknown)
History
- 2026-11-02: add by m2/dev
Creag an Leth-choin 9V72RP0SPP
| URI | m2://inv/9V72RP0SPP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#R851, Creag an Leth-choin (unknown)
History
- 2026-11-02: add by m2/dev
Doob decomposition theorem 9V79G7W9ZK
| URI | m2://inv/9V79G7W9ZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CHNT, Doob decomposition theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition 9V7C5SBDYP
| URI | m2://inv/9V7C5SBDYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound Poisson distribution#JEP5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Neil O'Connell 9V7XEZ6AB1
| URI | m2://inv/9V7XEZ6AB1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neil O'Connell, Neil O'Connell (topic). Also Wikidata Q6989104
History
- 2026-11-02: add by m2/dev
9V860DG5NZ 9V860DG5NZ
| URI | m2://inv/9V860DG5NZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13291#V8O7 (example). In D16PSAVVWV/e1, example 7.2
History
- 2026-10-28: add by m2/v0.4.2
9V8AQJR2TG 9V8AQJR2TG
| URI | m2://inv/9V8AQJR2TG |
|---|---|
| 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.25314#8NZD (statement)
History
- 2026-11-01: add by m2/v0.6.15
9V8H14QPTJ 9V8H14QPTJ
| URI | m2://inv/9V8H14QPTJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-183 (exercise). In VNMV985MXX, exercise, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
Uniform Bounds on Discrete Integrals with Partial Area Weights 9V8MH8R6FF
| URI | m2://inv/9V8MH8R6FF |
|---|---|
| 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.13355#AX92, Uniform Bounds on Discrete Integrals with Partial Area Weights (statement). In QJ1G1HBC6C/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
9V8P7H9PEA 9V8P7H9PEA
| URI | m2://inv/9V8P7H9PEA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.10202#N4NE (statement). In ER06JKXR8B/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.0
transition function 9V98ANNCFV
| URI | m2://inv/9V98ANNCFV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/2.5.4/transition-function, transition function (concept). In 649HGZKE96, index, section 2.5.4
History
- 2026-11-01: add by m2/v0.6.13
bisimulation 9V98THRA0R
| URI | m2://inv/9V98THRA0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q866364, bisimulation (unknown). Also nLab bisimulation
- wikipedia: Wikipedia Bisimulation, Bisimulation (definition). Also Wikidata Q866364
History
- 2026-10-26: add by m2/dev
Definitions 9V9ES53XXX
| URI | m2://inv/9V9ES53XXX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar set#K5GX, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Example 9V9QGCEZNQ
| URI | m2://inv/9V9QGCEZNQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incidence (epidemiology)#HJ47, Example (example)
History
- 2026-11-02: add by m2/dev
9VA1EP4A3M 9VA1EP4A3M
| URI | m2://inv/9VA1EP4A3M |
|---|---|
| Kind | definition |
| 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 2308.02672#8B0W (definition). In ETRT1R1CQ8/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.4.0
Symmetrization of a POVM 9VA65CP97Z
| URI | m2://inv/9VA65CP97Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.29348#9SHO, Symmetrization of a POVM (statement)
History
- 2026-11-01: add by m2/v0.6.15
9VA8MVVABW 9VA8MVVABW
| URI | m2://inv/9VA8MVVABW |
|---|---|
| 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.03222#N3P6 (statement). In BB0JGNK4YF/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Probability matching 9VA8Q78KV7
| URI | m2://inv/9VA8Q78KV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DXRJ, Probability matching (definition)
History
- 2026-11-02: add by m2/dev
Even and odd ordinals 9VA99T44F0
| URI | m2://inv/9VA99T44F0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Even and odd ordinals, Even and odd ordinals (definition). Also Wikidata Q5416564
History
- 2026-11-02: add by m2/dev
9VAE3ZC4K9 9VAE3ZC4K9
| URI | m2://inv/9VAE3ZC4K9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 16-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.14060#RT47 (definition). In X47RYAZF8P/e1, definition 3.21
History
- 2026-10-28: add by m2/v0.4.2
natural deduction 9VAMXQTSSR
| URI | m2://inv/9VAMXQTSSR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#WLG5, natural deduction (definition)
History
- 2026-11-02: add by m2/dev
Two Guns, Arizona 9VAN2VAKBE
| URI | m2://inv/9VAN2VAKBE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#YADU, Two Guns, Arizona (unknown)
History
- 2026-11-02: add by m2/dev
Rigidity 9VAN3X7K30
| URI | m2://inv/9VAN3X7K30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10813#JCP2, Rigidity (statement). In G8F4P7GDMA/e1, corollary 5.4
History
- 2026-10-28: add by m2/v0.4.3
Cycle notation 9VAQAQNDXA
| URI | m2://inv/9VAQAQNDXA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#XNAO, Cycle notation (definition)
History
- 2026-11-02: add by m2/dev
principal part 9VAR272T2T
| URI | m2://inv/9VAR272T2T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Principal part 0NDV5R6Z6X |
Mentions
- wikidata: Wikidata Q7245087, principal part (concept). Also MathWorld PrincipalPart
- wikipedia: Wikipedia Principal part, Principal part (definition). Also Wikidata Q7245087
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Cunningham function 9VAR84FFRN
| URI | m2://inv/9VAR84FFRN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DYF7, Cunningham function (definition)
History
- 2026-11-02: add by m2/dev
9VAVRJBED3 9VAVRJBED3
| URI | m2://inv/9VAVRJBED3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23559#P6W1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Quadratic competition features 9VB13PJDN3
| URI | m2://inv/9VB13PJDN3 |
|---|---|
| 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.00033#0YRN, Quadratic competition features (statement). In SHMMW4JXZ1/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
9VB6TQCCVG 9VB6TQCCVG
| URI | m2://inv/9VB6TQCCVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12295#KMK6 (statement). In 6DZPR52HRP/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
Proposition 9VBASPS8WP
| URI | m2://inv/9VBASPS8WP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal matrix#KIKG, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Disability paradox 9VBCCGT9EF
| URI | m2://inv/9VBCCGT9EF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affective forecasting#ND2Z, Disability paradox (unknown)
History
- 2026-11-02: add by m2/dev
9VBFNYWW2C 9VBFNYWW2C
| URI | m2://inv/9VBFNYWW2C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#8NLA (statement)
History
- 2026-11-02: add by m2/v0.6.17
factor theorem 9VBFS7SEGJ
| URI | m2://inv/9VBFS7SEGJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Factor theorem 0K3MWA7DMC |
Mentions
- wikidata: Wikidata Q1108687, factor theorem (statement). Also MathWorld PolynomialFactorTheorem, ProofWiki Polynomial_Factor_Theorem
- wikipedia: Wikipedia Factor theorem, Factor theorem (statement). Also Wikidata Q1108687
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
9VBPJSHEYV 9VBPJSHEYV
| URI | m2://inv/9VBPJSHEYV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-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 math/0512416#7WDY (definition). In WJD9YPGGYH/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
deck transformation group 9VBVG6JEMZ
| URI | m2://inv/9VBVG6JEMZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78507138, deck transformation group (unknown). Also EoM Group_of_covering_transformations
History
- 2026-10-26: add by m2/dev
Friedberg–Muchnik theorem 9VBVMKPC8X
| URI | m2://inv/9VBVMKPC8X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#4RAO, Friedberg–Muchnik theorem (statement)
History
- 2026-11-02: add by m2/dev
Assignment axiom schema 9VC448M8FR
| URI | m2://inv/9VC448M8FR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hoare logic#JQAJ, Assignment axiom schema (statement)
History
- 2026-11-02: add by m2/dev
Meleko Mokgosi 9VC936RRV6
| URI | m2://inv/9VC936RRV6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#6H37, Meleko Mokgosi (unknown)
History
- 2026-11-02: add by m2/dev
Quantum fingerprinting 9VCA47MKCE
| URI | m2://inv/9VCA47MKCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum fingerprinting, Quantum fingerprinting (definition). Also Wikidata Q7269049
History
- 2026-11-02: add by m2/dev
Adrian Klemm 9VCCFW8MJC
| URI | m2://inv/9VCCFW8MJC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#VESU, Adrian Klemm (unknown)
History
- 2026-11-02: add by m2/dev
Mary N. Torrey 9VCK1B4WCZ
| URI | m2://inv/9VCK1B4WCZ |
|---|---|
| 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#RAKF, Mary N. Torrey (topic)
History
- 2026-11-02: add by m2/dev
Huzihiro Araki 9VCN9GBCTD
| URI | m2://inv/9VCN9GBCTD |
|---|---|
| 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 Q1639493, Huzihiro Araki (unknown). Also nLab Huzihiro Araki
- wikipedia: Wikipedia Huzihiro Araki, Huzihiro Araki (topic). Also Wikidata Q1639493
History
- 2026-10-26: add by m2/dev
9VCQ7B9NMV 9VCQ7B9NMV
| URI | m2://inv/9VCQ7B9NMV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33015#MMJX (statement). In W6Y6NPK648/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Subcoloring 9VCSWATWQZ
| URI | m2://inv/9VCSWATWQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subcoloring, Subcoloring (definition). Also Wikidata Q17118215
History
- 2026-11-02: add by m2/dev
9VCY3WF64F 9VCY3WF64F
| URI | m2://inv/9VCY3WF64F |
|---|---|
| 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 2506.18195#GSUF (statement). In 6B8FNCHF1Z/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.6
9VD412JNPA 9VD412JNPA
| URI | m2://inv/9VD412JNPA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33512#3TK0 (statement). In WYHZMYZT31/e1, theorem 3.10
History
- 2026-10-30: add by m2/v0.4.12
731 (number) 9VD8P4WBD2
| URI | m2://inv/9VD8P4WBD2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#FAO2, 731 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Beltrami–Klein model 9VDA23PR9H
| URI | m2://inv/9VDA23PR9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Felix Klein#KFXJ, Beltrami–Klein model (definition)
History
- 2026-11-02: add by m2/dev
Nil ideal 9VDJWMJVFW
| URI | m2://inv/9VDJWMJVFW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nil ideal, Nil ideal (definition). Also Wikidata Q453275
History
- 2026-11-02: add by m2/dev
Laurance Safford 9VDMCGGB3B
| URI | m2://inv/9VDMCGGB3B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#2YXD, Laurance Safford (unknown)
History
- 2026-11-02: add by m2/dev
Atish Dabholkar 9VE8Q00MYF
| URI | m2://inv/9VE8Q00MYF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#86TE, Atish Dabholkar (unknown)
History
- 2026-11-02: add by m2/dev
Birnbaum–Saunders distribution 9VEA7GKPKB
| URI | m2://inv/9VEA7GKPKB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZOL9, Birnbaum–Saunders distribution (definition)
History
- 2026-11-02: add by m2/dev
Kapteyn series 9VECWVAPWM
| URI | m2://inv/9VECWVAPWM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105555735, Kapteyn series (concept). Also MathWorld KapteynSeries
History
- 2026-10-26: add by m2/dev
9VEJRM6BBK 9VEJRM6BBK
| URI | m2://inv/9VEJRM6BBK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05696#WIHA (statement). In MG81A9XJTQ/e1, theorem III.1
History
- 2026-10-29: add by m2/v0.4.10
Purity of the boundary 9VEPR04H79
| URI | m2://inv/9VEPR04H79 |
|---|---|
| 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.15831#GM4Z, Purity of the boundary (statement). In CVESAPNMCQ/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
SOCR 9VEQ15S5TC
| URI | m2://inv/9VEQ15S5TC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#VHO8, SOCR (definition)
History
- 2026-11-02: add by m2/dev
9VESKAB0YT 9VESKAB0YT
| URI | m2://inv/9VESKAB0YT |
|---|---|
| Kind | definition |
| 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.22040#WGNJ (definition). In 2QP93JHYNB/e1, definition 8.11
History
- 2026-10-27: add by m2/v0.4.2
9VET82TC18 9VET82TC18
| URI | m2://inv/9VET82TC18 |
|---|---|
| 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.06461#XB2O (statement). In QXY3W2JV2N/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.10
9VF18Y87EK 9VF18Y87EK
| URI | m2://inv/9VF18Y87EK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39747#7NN6 (statement). In 9H2KJ3W3JX/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
9VF24N9V9Q 9VF24N9V9Q
| URI | m2://inv/9VF24N9V9Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07401#AQ02 (statement). In FQ5435B36D/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.10
9VF4BBW91C 9VF4BBW91C
| URI | m2://inv/9VF4BBW91C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-63 (exercise). In E9HS8K3A52, exercise, section 2.5.5
History
- 2026-11-01: add by m2/v0.6.13
Morphism of algebraic stacks 9VF56EZ2S2
| URI | m2://inv/9VF56EZ2S2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphism of algebraic stacks, Morphism of algebraic stacks (definition). Also Wikidata Q30694275
History
- 2026-11-02: add by m2/dev
Algorithm 9VF5ZQZMDD
| URI | m2://inv/9VF5ZQZMDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greedy coloring#YUU6, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
probable prime 9VFKM39D79
| URI | m2://inv/9VFKM39D79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2654835, probable prime (unknown). Also MathWorld ProbablePrime
- wikipedia: Wikipedia Probable prime, Probable prime (definition). Also Wikidata Q2654835
History
- 2026-10-26: add by m2/dev
First-order stationary point 9VFPMZ2Z0M
| URI | m2://inv/9VFPMZ2Z0M |
|---|---|
| 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.10205#60OO, First-order stationary point (definition). In PQGS7NDMDQ/e1, definition 11
History
- 2026-10-29: add by m2/v0.4.10
9VFT6P8C9B 9VFT6P8C9B
| URI | m2://inv/9VFT6P8C9B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20849#E2FU (statement). In HK7FV97MFD/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
9VFZ37WP6E 9VFZ37WP6E
| URI | m2://inv/9VFZ37WP6E |
|---|---|
| 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.03437#1ZR4 (statement). In EDTV1EDV7M/e1, theorem 4.6
History
- 2026-10-29: add by m2/v0.4.12
Tom Bridgeland 9VG0VP158E
| URI | m2://inv/9VG0VP158E |
|---|---|
| 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 Q176482, Tom Bridgeland (unknown). Also nLab Tom Bridgeland
History
- 2026-10-26: add by m2/dev
9VG1N89028 9VG1N89028
| URI | m2://inv/9VG1N89028 |
|---|---|
| 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.03358#JUN0 (statement). In KCXEY7HJ8V/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Tres Cruces 9VG2H2VDG6
| URI | m2://inv/9VG2H2VDG6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#H52F, Tres Cruces (unknown)
History
- 2026-11-02: add by m2/dev
Studia Logica 9VG3CPMMAG
| URI | m2://inv/9VG3CPMMAG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Studia Logica, Studia Logica (definition). Also Wikidata Q7628029
History
- 2026-11-02: add by m2/dev
Operations on power series 9VG7JREDY8
| URI | m2://inv/9VG7JREDY8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power series#00RR, Operations on power series (unknown)
History
- 2026-11-02: add by m2/dev
9VGBDKBJXQ 9VGBDKBJXQ
| URI | m2://inv/9VGBDKBJXQ |
|---|---|
| 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.36033#798J (statement). In N2W0AH1KRF/e1, lemma B.2
History
- 2026-10-30: add by m2/v0.4.12
9VGC2125FT 9VGC2125FT
| URI | m2://inv/9VGC2125FT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24051#UXR8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
9VGTBZBB6P 9VGTBZBB6P
| URI | m2://inv/9VGTBZBB6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19285#UY8K (statement). In 6DJR9DKY5W/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
9VGZ598VA1 9VGZ598VA1
| URI | m2://inv/9VGZ598VA1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10873#106B (statement). In AYG8HYGW6V/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.3
9VH3XAWPS6 9VH3XAWPS6
| URI | m2://inv/9VH3XAWPS6 |
|---|---|
| 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 2401.00191#PH6S (definition). In ZMH2KJDAWJ/e1, definition 3.11
History
- 2026-10-27: add by m2/v0.3.5
9VH7QPD0NZ 9VH7QPD0NZ
| URI | m2://inv/9VH7QPD0NZ |
|---|---|
| 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.20466#FTWJ (statement). In M4ZVJWM8YA/e1, lemma A.18
History
- 2026-10-27: add by m2/v0.4.2
9VHATAPFDH 9VHATAPFDH
| URI | m2://inv/9VHATAPFDH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.11021#R7YU (statement). In R0SSJZYVTJ/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.3
Gábor Domokos 9VHEXJ5R59
| URI | m2://inv/9VHEXJ5R59 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gábor Domokos, Gábor Domokos (topic). Also Wikidata Q908394
History
- 2026-11-02: add by m2/dev
Iwahori subgroup 9VHMW5J6CV
| URI | m2://inv/9VHMW5J6CV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iwahori subgroup, Iwahori subgroup (definition). Also Wikidata Q6100308
History
- 2026-11-02: add by m2/dev
holomorphic vector bundle 9VHPBGXF42
| URI | m2://inv/9VHPBGXF42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Holomorphic vector bundle TKA958Z4KZ |
Mentions
- wikidata: Wikidata Q9289328, holomorphic vector bundle (unknown). Also EoM Vector_bundle,_analytic, MathWorld HolomorphicVectorBundle, nLab holomorphic vector bundle
- wikipedia: Wikipedia Holomorphic vector bundle, Holomorphic vector bundle (definition). Also Wikidata Q9289328
History
- 2026-10-26: add by m2/dev
Formal definition 9VHQZHQVY2
| URI | m2://inv/9VHQZHQVY2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability mass function#6LJW, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Reinhard Diestel 9VJ3091PG9
| URI | m2://inv/9VJ3091PG9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reinhard Diestel, Reinhard Diestel (topic). Also Wikidata Q2140649
History
- 2026-11-02: add by m2/dev
converge 9VJC4JBCJ1
| URI | m2://inv/9VJC4JBCJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#ICWY, converge (definition)
History
- 2026-11-02: add by m2/dev
Definition 9VJFCK4VHE
| URI | m2://inv/9VJFCK4VHE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalization of a Lie algebra#F4A9, Definition (definition)
History
- 2026-11-02: add by m2/dev
Cohen-Lenstra heuristics 9VJPQ5BV4B
| URI | m2://inv/9VJPQ5BV4B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Class number problem#KGHZ, Cohen-Lenstra heuristics (unknown)
History
- 2026-11-02: add by m2/dev
Icosahedral graph 9VJPRM6DT5
| URI | m2://inv/9VJPRM6DT5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular icosahedron#7X4T, Icosahedral graph (unknown)
History
- 2026-11-02: add by m2/dev
Examples 9VJRTEJNA5
| URI | m2://inv/9VJRTEJNA5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representative elementary volume#X687, Examples (example)
History
- 2026-11-02: add by m2/dev
Ueli Maurer 9VJVX6F3M8
| URI | m2://inv/9VJVX6F3M8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WSFX, Ueli Maurer (topic)
History
- 2026-11-02: add by m2/dev
Outer stability of exact and approximate cutoffs 9VJWW4G6QZ
| URI | m2://inv/9VJWW4G6QZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08821#0JMT, Outer stability of exact and approximate cutoffs (statement). In KP1THB2C09/e1, corollary 4.12
History
- 2026-10-29: add by m2/v0.4.10
9VK056C3X6 9VK056C3X6
| URI | m2://inv/9VK056C3X6 |
|---|---|
| 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.20817#K9YZ (statement). In M1YRBSZT4H/e1, lemma 6
History
- 2026-10-27: add by m2/v0.4.2
9VK3958NFF 9VK3958NFF
| URI | m2://inv/9VK3958NFF |
|---|---|
| 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.36045#4JUR (statement). In F0E8YBV0Z0/e1, proposition 6.1
History
- 2026-10-30: add by m2/v0.4.12
Modular equation 9VKM1N6CVJ
| URI | m2://inv/9VKM1N6CVJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#3P2S, Modular equation (definition)
History
- 2026-11-02: add by m2/dev
Steven Dillingham 9VKQTFZRS7
| URI | m2://inv/9VKQTFZRS7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steven Dillingham, Steven Dillingham (topic). Also Wikidata Q60668408
History
- 2026-11-02: add by m2/dev
9VKXAFY0P2 9VKXAFY0P2
| URI | m2://inv/9VKXAFY0P2 |
|---|---|
| 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.25718#DVQT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Weierstrass preparation theorem 9VKZE63N9Y
| URI | m2://inv/9VKZE63N9Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#SQ3L, Weierstrass preparation theorem (statement)
History
- 2026-11-02: add by m2/dev
Highest-weight projection 9VM3W1FTYR
| URI | m2://inv/9VM3W1FTYR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40271#U4EM, Highest-weight projection (statement). In 9MXMRKFKDW/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
9VMCEKCGRP 9VMCEKCGRP
| URI | m2://inv/9VMCEKCGRP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21931#M9R4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition of height 9VMVYFVYYH
| URI | m2://inv/9VMVYFVYYH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Height (abelian group)#N4HG, Definition of height (definition)
History
- 2026-11-02: add by m2/dev
Quadratic reciprocity theorem 9VN3CS1PKN
| URI | m2://inv/9VN3CS1PKN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#W4N7, Quadratic reciprocity theorem (definition)
History
- 2026-11-02: add by m2/dev
Soft sheaf 9VN477RACW
| URI | m2://inv/9VN477RACW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injective sheaf#JWQS, Soft sheaf (unknown)
History
- 2026-11-02: add by m2/dev
9VN521X27K 9VN521X27K
| URI | m2://inv/9VN521X27K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36313#KW3G (statement). In Z5SP3NW41S/e1, theorem 3.12
History
- 2026-10-30: add by m2/v0.4.12
Winograd FFT algorithm 9VN7YX41PH
| URI | m2://inv/9VN7YX41PH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fast Fourier transform#QED6, Winograd FFT algorithm (unknown)
History
- 2026-11-02: add by m2/dev
9VNGZCED4W 9VNGZCED4W
| URI | m2://inv/9VNGZCED4W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-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.14160#96N7 (statement). In Y4TP36M0C7/e1, theorem 14
History
- 2026-10-28: add by m2/v0.4.2
triple product 9VNH41ZN8A
| URI | m2://inv/9VNH41ZN8A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Low dimensions > triple product, triple product (unknown). Also Mathlib triple_product_eq_det
History
- 2026-10-26: add by m2/dev
9VNJN1P7YS 9VNJN1P7YS
| URI | m2://inv/9VNJN1P7YS |
|---|---|
| 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 2112.05010#G0G2 (statement). In 4SZNPS3Z00/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.3.6
Peter Salamon 9VNPNE6D4R
| URI | m2://inv/9VNPNE6D4R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0L53, Peter Salamon (unknown)
History
- 2026-11-02: add by m2/dev
Example 9VNQ6TWHZ2
| URI | m2://inv/9VNQ6TWHZ2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Running key cipher#ONV8, Example (example)
History
- 2026-11-02: add by m2/dev
Bonnie Ray 9VNYF18N9M
| URI | m2://inv/9VNYF18N9M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bonnie Ray, Bonnie Ray (topic). Also Wikidata Q102292362
History
- 2026-11-02: add by m2/dev
Weyl normalization 9VP0VD070V
| URI | m2://inv/9VP0VD070V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20994#CJ6S, Weyl normalization (statement). In E90KYMVZMR/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.4.2
Properties 9VP7GWYWFB
| URI | m2://inv/9VP7GWYWFB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kostant polynomial#K0ZC, Properties (statement)
History
- 2026-11-02: add by m2/dev
9VP9200HMZ 9VP9200HMZ
| URI | m2://inv/9VP9200HMZ |
|---|---|
| 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.29894#W4E3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
9VPH6FG568 9VPH6FG568
| URI | m2://inv/9VPH6FG568 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#0YLI (example)
History
- 2026-11-02: add by m2/v0.6.18
9VPM85NDE9 9VPM85NDE9
| URI | m2://inv/9VPM85NDE9 |
|---|---|
| Kind | problem |
| 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.11759#AJ40 (problem). In MWNFP97KRS/e1, problem
History
- 2026-10-28: add by m2/v0.4.3
Gaussian integers {$\ZZ[i]$} form a UFD 9VPS1SFJZ3
| URI | m2://inv/9VPS1SFJZ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#theorem-4, Gaussian integers {$\ZZ[i]$} form a UFD (statement). In RZP28ERRZV, theorem, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
9VPTPNK6E1 9VPTPNK6E1
| URI | m2://inv/9VPTPNK6E1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-39 (exercise). In E9HS8K3A52, exercise, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
Nakagami distribution 9VPWZH0SD7
| URI | m2://inv/9VPWZH0SD7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nakagami distribution, Nakagami distribution (definition). Also Wikidata Q3258347
History
- 2026-11-02: add by m2/dev
9VPYJ1JDM7 9VPYJ1JDM7
| URI | m2://inv/9VPYJ1JDM7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:discrthm (statement). In VNMV985MXX, thm, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Generalizations 9VQ01HH1GC
| URI | m2://inv/9VQ01HH1GC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reduced ring#U28D, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
9VQ0BSS8MH 9VQ0BSS8MH
| URI | m2://inv/9VQ0BSS8MH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13618#HVXG (statement). In XDQAEGH345/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Darnell Hunt 9VQ9YKVBAN
| URI | m2://inv/9VQ9YKVBAN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#XG9P, Darnell Hunt (unknown)
History
- 2026-11-02: add by m2/dev
Space form 9VQPM6J981
| URI | m2://inv/9VQPM6J981 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space form, Space form (definition). Also Wikidata Q4381552
History
- 2026-11-02: add by m2/dev
Partial derivative 9VQW97MB6F
| URI | m2://inv/9VQW97MB6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#J7WB, Partial derivative (definition)
- wikipedia: Wikipedia List of multivariable calculus topics#083T, Partial derivative (definition)
History
- 2026-11-02: add by m2/dev
Sum of an arithmetic series 9VQZ81NEYY
| URI | m2://inv/9VQZ81NEYY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 68, Sum of an arithmetic series (statement). Also Mathlib Finset.sum_range_id
History
- 2026-10-26: add by m2/dev
Hedonic regression 9VR3AYE8TM
| URI | m2://inv/9VR3AYE8TM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hedonic regression, Hedonic regression (definition). Also Wikidata Q388056
History
- 2026-11-02: add by m2/dev
acceptance 9VR5EZ44MD
| URI | m2://inv/9VR5EZ44MD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/acceptance, acceptance (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Jacobian matrix 9VRBD79HN8
| URI | m2://inv/9VRBD79HN8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#ANHG, Jacobian matrix (definition)
- wikipedia: Wikipedia List of multivariable calculus topics#YLM3, Jacobian matrix (definition)
History
- 2026-11-02: add by m2/dev
József Balogh 9VRC8W612S
| URI | m2://inv/9VRC8W612S |
|---|---|
| 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#69R4, József Balogh (topic)
History
- 2026-11-02: add by m2/dev
List of things named after Archimedes 9VRGNWNFM8
| URI | m2://inv/9VRGNWNFM8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Archimedes, List of things named after Archimedes (topic). Also Wikidata Q6643273
History
- 2026-11-02: add by m2/dev
Rubik's Cube software 9VRGW9DAH9
| URI | m2://inv/9VRGW9DAH9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rubik's Cube#QHKN, Rubik's Cube software (unknown)
History
- 2026-11-02: add by m2/dev
Néron–Severi group 9VRJM4EHET
| URI | m2://inv/9VRJM4EHET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#TTJL, Néron–Severi group (definition)
History
- 2026-11-02: add by m2/dev
Chen--Fox--Lyndon 9VRQWF9X1J
| URI | m2://inv/9VRQWF9X1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23106#6K8X, Chen--Fox--Lyndon (statement)
History
- 2026-11-02: add by m2/v0.6.17
Arkiv för matematik, astronomi och fysik 9VRRRDGE7F
| URI | m2://inv/9VRRRDGE7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arkiv för matematik, astronomi och fysik, Arkiv för matematik, astronomi och fysik (definition). Also Wikidata Q4792009
History
- 2026-11-02: add by m2/dev
De Bruijn–Newman constant 9VRY437DB8
| URI | m2://inv/9VRY437DB8 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#DOAH, De Bruijn–Newman constant (object)
History
- 2026-11-02: add by m2/dev
Properties 9VS0YSA5EN
| URI | m2://inv/9VS0YSA5EN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind–MacNeille completion#G5JW, Properties (statement)
History
- 2026-11-02: add by m2/dev
Unstructured grid 9VSBXD4X24
| URI | m2://inv/9VSBXD4X24 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unstructured grid, Unstructured grid (object). Also Wikidata Q17078677
History
- 2026-11-02: add by m2/dev
Philippa Fawcett 9VT9X834TK
| URI | m2://inv/9VT9X834TK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philippa Fawcett, Philippa Fawcett (topic). Also Wikidata Q450366
History
- 2026-11-02: add by m2/dev
Expansion 1.6b 9VTBBBZ0XR
| URI | m2://inv/9VTBBBZ0XR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08500#B1KH, Expansion 1.6b (statement). In ZPCYW4N0EH/e1, lemma 4.9
History
- 2026-10-29: add by m2/v0.4.10
9VTH4WWVBZ 9VTH4WWVBZ
| URI | m2://inv/9VTH4WWVBZ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kotzig's conjecture#L5AI (problem)
History
- 2026-11-02: add by m2/dev
Hamiltonian coloring 9VTHSQQBWG
| URI | m2://inv/9VTHSQQBWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian coloring, Hamiltonian coloring (definition). Also Wikidata Q25099541
History
- 2026-11-02: add by m2/dev
9VTKMAEZ7F 9VTKMAEZ7F
| URI | m2://inv/9VTKMAEZ7F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.20572#5KO0 (definition)
History
- 2026-11-02: add by m2/v0.6.18
calculus of the bound functions 9VV2ENAYS4
| URI | m2://inv/9VV2ENAYS4 |
|---|---|
| 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.14050#DMU6, calculus of the bound functions (statement). In RENT22YXW3/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Applications 9VVBA9RV16
| URI | m2://inv/9VVBA9RV16 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abundance estimation#6661, Applications (example)
History
- 2026-11-02: add by m2/dev
Isagoge 9VVGE39RY6
| URI | m2://inv/9VVGE39RY6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes#49Q3, Isagoge (unknown)
History
- 2026-11-02: add by m2/dev
Statement 9VVJPQ6GH7
| URI | m2://inv/9VVJPQ6GH7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform limit theorem#EAMV, Statement (statement)
History
- 2026-11-02: add by m2/dev
9VVNJGV3ZS 9VVNJGV3ZS
| URI | m2://inv/9VVNJGV3ZS |
|---|---|
| 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 2403.02207#TORL (statement). In 1T3ZYPQZF0/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.6
9VVRBEAW72 9VVRBEAW72
| URI | m2://inv/9VVRBEAW72 |
|---|---|
| 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.09648#2LNQ (statement). In WB9PTPN54H/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Magic hypercube 9VVT9R9KMA
| URI | m2://inv/9VVT9R9KMA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magic hypercube, Magic hypercube (definition). Also Wikidata Q13645891
History
- 2026-11-02: add by m2/dev
Schedule 9VVTK33Y84
| URI | m2://inv/9VVTK33Y84 |
|---|---|
| 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.26337#V3GY, Schedule (definition)
History
- 2026-11-01: add by m2/v0.6.15
Posterior Analytics 9VVTQ4VN7N
| URI | m2://inv/9VVTQ4VN7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes#S131, Posterior Analytics (definition)
History
- 2026-11-02: add by m2/dev
Daniel Kubert 9VVWG3E5MJ
| URI | m2://inv/9VVWG3E5MJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel Kubert, Daniel Kubert (topic). Also Wikidata Q5217834
History
- 2026-11-02: add by m2/dev
Sampling in order 9VW1FX2J24
| URI | m2://inv/9VW1FX2J24 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sampling in order, Sampling in order (definition). Also Wikidata Q17084099
History
- 2026-11-02: add by m2/dev
9VW6YK1HDQ 9VW6YK1HDQ
| URI | m2://inv/9VW6YK1HDQ |
|---|---|
| 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.18078#UWI4 (statement). In YVK8EFSYNJ/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.2
Kowloon 9VWCSHXRR6
| URI | m2://inv/9VWCSHXRR6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#NNL0, Kowloon (unknown)
History
- 2026-11-02: add by m2/dev
Ted Hurley 9VWFW5BM2Z
| URI | m2://inv/9VWFW5BM2Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ted Hurley, Ted Hurley (topic). Also Wikidata Q102313818
History
- 2026-11-02: add by m2/dev
Independence-friendly logic 9VWHSCKPFF
| URI | m2://inv/9VWHSCKPFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Independence-friendly logic, Independence-friendly logic (definition). Also Wikidata Q17101558
History
- 2026-11-02: add by m2/dev
9VWKKH1D8G 9VWKKH1D8G
| URI | m2://inv/9VWKKH1D8G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28848#NLJ3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
SHA-2 9VWQFZ721M
| URI | m2://inv/9VWQFZ721M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SHA-2, SHA-2 (definition). Also Wikidata Q1968605
History
- 2026-11-02: add by m2/dev
9VX3X2E28A 9VX3X2E28A
| URI | m2://inv/9VX3X2E28A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13347#KQBA (statement). In Z6QS82DPHE/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
George Glauberman 9VX8NJKY54
| URI | m2://inv/9VX8NJKY54 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DDUY, George Glauberman (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#L27Z, George Glauberman (topic)
History
- 2026-11-02: add by m2/dev
9VX8VBMT7X 9VX8VBMT7X
| URI | m2://inv/9VX8VBMT7X |
|---|---|
| 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.25524#BYXH (statement)
History
- 2026-11-01: add by m2/v0.6.15
9VX9S3D0RE 9VX9S3D0RE
| URI | m2://inv/9VX9S3D0RE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25957#3X7L (statement)
History
- 2026-11-01: add by m2/v0.6.15
9VXCSX694Z 9VXCSX694Z
| URI | m2://inv/9VXCSX694Z |
|---|---|
| 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 2609.26496#APFK (definition)
History
- 2026-11-01: add by m2/v0.6.15
Properties 9VXEBCSZVZ
| URI | m2://inv/9VXEBCSZVZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nash blowing-up#84GJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
GAC for positively transverse networks 9VXEBRQNA4
| URI | m2://inv/9VXEBRQNA4 |
|---|---|
| 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.11679#0EK5, GAC for positively transverse networks (statement). In 30PZ8ZVR3A/e1, theorem 3.12
History
- 2026-10-28: add by m2/v0.4.3
Kenneth Kunen 9VXGP2H04E
| URI | m2://inv/9VXGP2H04E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#149G, Kenneth Kunen (unknown)
History
- 2026-11-02: add by m2/dev
9VXV3DR61H 9VXV3DR61H
| URI | m2://inv/9VXV3DR61H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01818#NYR2 (statement). In DA31J9XJ4J/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.12
9VXW63JR80 9VXW63JR80
| URI | m2://inv/9VXW63JR80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33263#X4K2 (statement). In 6S5EH3388Z/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
9VXXBH9SAN 9VXXBH9SAN
| URI | m2://inv/9VXXBH9SAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29925#O1UB (statement)
History
- 2026-11-01: add by m2/v0.6.15
9VYDR4RDDW 9VYDR4RDDW
| URI | m2://inv/9VYDR4RDDW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27056#72P1 (example)
History
- 2026-11-01: add by m2/v0.6.15
Warren Goldfarb 9VYDYPRR29
| URI | m2://inv/9VYDYPRR29 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Warren Goldfarb, Warren Goldfarb (topic). Also Wikidata Q7970225
History
- 2026-11-02: add by m2/dev
Cryptanalysis of the Enigma 9VYJJJBGK0
| URI | m2://inv/9VYJJJBGK0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptanalysis of the Enigma, Cryptanalysis of the Enigma (definition). Also Wikidata Q2665859
History
- 2026-11-02: add by m2/dev
9VYNNXJQPG 9VYNNXJQPG
| URI | m2://inv/9VYNNXJQPG |
|---|---|
| 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.10406#CG8L (statement). In VQA35Q7C00/e1, proposition 2.8
History
- 2026-10-29: add by m2/v0.4.10
Menger's conjecture 9VYRARPTYE
| URI | m2://inv/9VYRARPTYE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Menger space#DHYS, Menger's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Conjugates 9VYS8J498T
| URI | m2://inv/9VYS8J498T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18154#E1AA, Conjugates (statement). In 4W7ARR1DAR/e1, fact A.4
History
- 2026-10-28: add by m2/v0.4.2
9VZ2PCEFTS 9VZ2PCEFTS
| URI | m2://inv/9VZ2PCEFTS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.01919#0M1M (statement). In 4H727T2YAS/e1, theorem 9.12
History
- 2026-10-29: add by m2/v0.4.12
9VZ4GKY60S 9VZ4GKY60S
| URI | m2://inv/9VZ4GKY60S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-conc.ptx#exercise-17 (exercise). In Y91XFCEVHQ, exercise, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
9VZBMDPPZH 9VZBMDPPZH
| URI | m2://inv/9VZBMDPPZH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cellular.tex#proof-1 (proof). In RZP28ERRZV, proof, section 50.1
History
- 2026-11-01: add by m2/v0.6.13
Point pattern analysis 9VZC5W86DJ
| URI | m2://inv/9VZC5W86DJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point pattern analysis, Point pattern analysis (definition). Also Wikidata Q7208284
History
- 2026-11-02: add by m2/dev
Clarke tangent cone 9VZHX01MGH
| URI | m2://inv/9VZHX01MGH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tangent cone#BFP2, Clarke tangent cone (unknown)
History
- 2026-11-02: add by m2/dev
Sedenion 9VZNC6GT5W
| URI | m2://inv/9VZNC6GT5W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#24ZS, Sedenion (definition)
History
- 2026-11-02: add by m2/dev
John Erik Fornaess 9VZQ8VV9TX
| URI | m2://inv/9VZQ8VV9TX |
|---|---|
| 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#PXMU, John Erik Fornaess (topic)
History
- 2026-11-02: add by m2/dev
9VZRJ4PJCW 9VZRJ4PJCW
| URI | m2://inv/9VZRJ4PJCW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19132#BD3E (statement). In 3CQJND929F/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.2
9VZT3YQ4X8 9VZT3YQ4X8
| URI | m2://inv/9VZT3YQ4X8 |
|---|---|
| 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.20925#WLBG (statement). In 1KV9SABQC9/e1, proposition 1
History
- 2026-10-27: add by m2/v0.4.2
Smallest bounding sphere 9VZT5PFRSH
| URI | m2://inv/9VZT5PFRSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of combinatorial computational geometry topics#VN47, Smallest bounding sphere (definition)
History
- 2026-11-02: add by m2/dev