Inventory rows 8X
The cards of the rows of the inventory whose ids start with 8X. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
8X04JJH8VP 8X04JJH8VP
| URI | m2://inv/8X04JJH8VP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#H0VZ (statement). In DDNP38CHQJ/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.3.5
First proof 8X0CCPYYY1
| URI | m2://inv/8X0CCPYYY1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-15, First proof (proof). In N54F33XE07, proof, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Table of derivatives 8X0P46G79N
| URI | m2://inv/8X0P46G79N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics reference tables#WY6M, Table of derivatives (definition)
- wikipedia: Wikipedia List of calculus topics#4CRJ, Table of derivatives (definition)
- wikipedia: Wikipedia Lists of mathematics topics#MQ9S, Table of derivatives (definition)
History
- 2026-11-02: add by m2/dev
8X0VJGE3VD 8X0VJGE3VD
| URI | m2://inv/8X0VJGE3VD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.01087#YAH2 (statement). In 7QXAZXGNPQ/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.12
numerical quantifier 8X1H9SQWQV
| URI | m2://inv/8X1H9SQWQV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#1UP3, numerical quantifier (definition)
History
- 2026-11-02: add by m2/dev
Properties 8X1QBSYQHM
| URI | m2://inv/8X1QBSYQHM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorial#UC0V, Properties (statement)
History
- 2026-11-02: add by m2/dev
8X1QXN4N8X 8X1QXN4N8X
| URI | m2://inv/8X1QXN4N8X |
|---|---|
| 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 math/9201244#BBNO (statement). In 7D3HCN21MK/e1, lemma 5.9
History
- 2026-10-27: add by m2/v0.3.5
Kurt Gödel Society 8X1VDYCHGM
| URI | m2://inv/8X1VDYCHGM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#E7KL, Kurt Gödel Society (definition)
History
- 2026-11-02: add by m2/dev
8X21TM24MM 8X21TM24MM
| URI | m2://inv/8X21TM24MM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/overspill.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 46.4
History
- 2026-11-01: add by m2/v0.6.13
Density and satedness for monoid actions 8X25C20X0K
| URI | m2://inv/8X25C20X0K |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#U639, Density and satedness for monoid actions (example). In HX63A1PH1W/e1, example 4.5
History
- 2026-10-28: add by m2/v0.4.3
Levi-Civita tensor 8X2D80DKCD
| URI | m2://inv/8X2D80DKCD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levi-Civita symbol#CAA3, Levi-Civita tensor (unknown)
History
- 2026-11-02: add by m2/dev
8X2FNQSVGF 8X2FNQSVGF
| URI | m2://inv/8X2FNQSVGF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04124#FLV8 (statement). In DB9WCCW840/e1, theorem 0.1
History
- 2026-10-29: add by m2/v0.4.12
Hotelling's law 8X2KSV1NS4
| URI | m2://inv/8X2KSV1NS4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hotelling's law, Hotelling's law (statement). Also Wikidata Q1631149
History
- 2026-11-02: add by m2/dev
8X2MNXSYW9 8X2MNXSYW9
| URI | m2://inv/8X2MNXSYW9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#ZTPH (statement). In WRE0P7V6Z3/e1, corollary 1.14
History
- 2026-10-30: add by m2/v0.4.12
Gauss–Bonnet theorem 8X30BYW36H
| URI | m2://inv/8X30BYW36H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#ASVW, Gauss–Bonnet theorem (statement)
- wikipedia: Wikipedia List of differential geometry topics#K0LD, Gauss–Bonnet theorem (statement)
- wikipedia: Wikipedia List of differential geometry topics#SMNY, Gauss–Bonnet theorem (statement)
History
- 2026-11-02: add by m2/dev
Profinite completion 8X322XK54P
| URI | m2://inv/8X322XK54P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Profinite group#RXVP, Profinite completion (unknown)
History
- 2026-11-02: add by m2/dev
Mariza de Andrade 8X346X10D4
| URI | m2://inv/8X346X10D4 |
|---|---|
| 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#KDDD, Mariza de Andrade (unknown)
History
- 2026-11-02: add by m2/dev
8X385WZGVS 8X385WZGVS
| URI | m2://inv/8X385WZGVS |
|---|---|
| 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.07445#S2UR (statement). In F1BM3Q8125/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
8X3916YQH5 8X3916YQH5
| URI | m2://inv/8X3916YQH5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14985#VZ2R (example). In DGXJW3SCBR/e1, example 15
History
- 2026-10-28: add by m2/v0.4.2
Henry Ercole 8X3AKYPDNS
| URI | m2://inv/8X3AKYPDNS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry Ercole, Henry Ercole (topic). Also Wikidata Q5720867
History
- 2026-11-02: add by m2/dev
Innovation (signal processing) 8X3DD215RC
| URI | m2://inv/8X3DD215RC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PF1T, Innovation (signal processing) (definition)
History
- 2026-11-02: add by m2/dev
Framing 8X3GENZJ0V
| URI | m2://inv/8X3GENZJ0V |
|---|---|
| Kind | definition |
| 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.10365#3YSA, Framing (definition). In PRVQPSBVHK/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.10
Arithmetica 8X3JG2EC2C
| URI | m2://inv/8X3JG2EC2C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#0TC4, Arithmetica (topic)
History
- 2026-11-02: add by m2/dev
prime numbers 8X3P62A4AX
| URI | m2://inv/8X3P62A4AX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/4.2/prime-numbers, prime numbers (concept). In Y91XFCEVHQ, index, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
Weyl curvature hypothesis 8X3QBMRR11
| URI | m2://inv/8X3QBMRR11 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#6DMX, Weyl curvature hypothesis (unknown)
- wikipedia: Wikipedia List of things named after Hermann Weyl#B8VW, Weyl curvature hypothesis (unknown)
History
- 2026-11-02: add by m2/dev
Examples 8X3SA7SW6Y
| URI | m2://inv/8X3SA7SW6Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohn-Vossen's inequality#SO3P, Examples (example)
History
- 2026-11-02: add by m2/dev
La Monte Young 8X3VGT5326
| URI | m2://inv/8X3VGT5326 |
|---|---|
| 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#IUNF, La Monte Young (unknown)
History
- 2026-11-02: add by m2/dev
8X41R5HH4R 8X41R5HH4R
| URI | m2://inv/8X41R5HH4R |
|---|---|
| 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 2504.01057#8CF1 (example). In 69QFBXJENW/e1, example 2.13
History
- 2026-10-27: add by m2/v0.3.5
Pushforward to bounded functions 8X43X8FXCJ
| URI | m2://inv/8X43X8FXCJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2510.05499#EUFS, Pushforward to bounded functions (statement). In WRMNCC8VBC/e1, proposition 23
History
- 2026-10-27: add by m2/v0.3.6
Pauline van den Driessche 8X484BKVM5
| URI | m2://inv/8X484BKVM5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pauline van den Driessche, Pauline van den Driessche (topic). Also Wikidata Q20985882
History
- 2026-11-02: add by m2/dev
Abel Klein 8X4PB51R7J
| URI | m2://inv/8X4PB51R7J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abel Klein, Abel Klein (topic). Also Wikidata Q56599916
History
- 2026-11-02: add by m2/dev
Mittag-Leffler Institute 8X4XBAKS2A
| URI | m2://inv/8X4XBAKS2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mittag-Leffler Institute, Mittag-Leffler Institute (definition). Also Wikidata Q1848697
History
- 2026-11-02: add by m2/dev
8X4Z7NHSJ8 8X4Z7NHSJ8
| URI | m2://inv/8X4Z7NHSJ8 |
|---|---|
| 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.29469#NGX7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions 8X504VJ96C
| URI | m2://inv/8X504VJ96C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet–Urysohn space#NBAL, Definitions (definition)
History
- 2026-11-02: add by m2/dev
$\tau$-variation 8X524XK1V3
| URI | m2://inv/8X524XK1V3 |
|---|---|
| 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 2609.24451#88S0, $\tau$-variation (definition)
History
- 2026-11-01: add by m2/v0.6.15
8X527TNMD6 8X527TNMD6
| URI | m2://inv/8X527TNMD6 |
|---|---|
| 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.14692#6G1Z (statement). In NE5EH5FXRV/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.3.5
Statement 8X54QTEK0D
| URI | m2://inv/8X54QTEK0D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schanuel's lemma#4SCO, Statement (statement)
History
- 2026-11-02: add by m2/dev
Efficient cake-cutting 8X55GXGDXX
| URI | m2://inv/8X55GXGDXX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Efficient cake-cutting, Efficient cake-cutting (definition). Also Wikidata Q17492682
History
- 2026-11-02: add by m2/dev
Elementary properties of the ultrafilter probability 8X5871Z8FD
| URI | m2://inv/8X5871Z8FD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 54-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20683#4AT7, Elementary properties of the ultrafilter probability (statement)
History
- 2026-11-02: add by m2/v0.6.18
8X58Q66BQ6 8X58Q66BQ6
| URI | m2://inv/8X58Q66BQ6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.20678#0GN5 (definition)
History
- 2026-11-02: add by m2/v0.6.18
8X5C95P22K 8X5C95P22K
| URI | m2://inv/8X5C95P22K |
|---|---|
| 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.15316#FFG0 (statement). In 3K84E4150C/e1, proposition 5.6
History
- 2026-10-28: add by m2/v0.4.2
Final value theorem 8X5P5C6X76
| URI | m2://inv/8X5P5C6X76 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Advanced z-transform#LW2U, Final value theorem (statement)
History
- 2026-11-02: add by m2/dev
8X5S9YG9R5 8X5S9YG9R5
| URI | m2://inv/8X5S9YG9R5 |
|---|---|
| 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 0910.5574#Z84D (statement). In 2TJRBRKYAY/e1, lemma 12.4
History
- 2026-10-27: add by m2/v0.3.5
8X5W0C3DAT 8X5W0C3DAT
| URI | m2://inv/8X5W0C3DAT |
|---|---|
| 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.20422#BJXW (statement). In HCH89W5Y2C/e1, theorem 3
History
- 2026-10-27: add by m2/v0.4.2
Examples 8X5W84PZZE
| URI | m2://inv/8X5W84PZZE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System equivalence#RRRJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Corrado de Concini 8X5WH6BFD5
| URI | m2://inv/8X5WH6BFD5 |
|---|---|
| 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 Q1135253, Corrado de Concini (unknown). Also nLab Corrado de Concini
- wikipedia: Wikipedia Corrado de Concini, Corrado de Concini (topic). Also Wikidata Q1135253
History
- 2026-10-26: add by m2/dev
Enumeration 8X5WY4F6BJ
| URI | m2://inv/8X5WY4F6BJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antimatroid#AF0Q, Enumeration (definition)
History
- 2026-11-02: add by m2/dev
8X646P5ZXX 8X646P5ZXX
| URI | m2://inv/8X646P5ZXX |
|---|---|
| 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.18544#ZE8S (statement). In HT5MC1SPD9/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
8X646XPV2E 8X646XPV2E
| URI | m2://inv/8X646XPV2E |
|---|---|
| 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 2604.10080#SPFR (definition). In KM2FWKP93A/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.4.0
8X675NG6XZ 8X675NG6XZ
| URI | m2://inv/8X675NG6XZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 17.5
History
- 2026-11-01: add by m2/v0.6.13
Alexander Mihailovich Zamorzaev 8X6E16FRD1
| URI | m2://inv/8X6E16FRD1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Mihailovich Zamorzaev, Alexander Mihailovich Zamorzaev (topic). Also Wikidata Q4185893
History
- 2026-11-02: add by m2/dev
759 (number) 8X6PR2T1SN
| URI | m2://inv/8X6PR2T1SN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#WK31, 759 (number) (unknown)
History
- 2026-11-02: add by m2/dev
8X77T8EE4F 8X77T8EE4F
| URI | m2://inv/8X77T8EE4F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 53-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08697#L4HV (definition). In GJ4ZMDQF3C/e1, definition 1
- arxiv: arXiv 2610.11386#0KQZ (definition). In RH7T1S3MAD/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.3
1,000,000 Digits of Pi 8X7AZ9C1KK
| URI | m2://inv/8X7AZ9C1KK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pi#MW4Z, 1,000,000 Digits of Pi (unknown)
History
- 2026-11-02: add by m2/dev
Example 8X7BCKZ832
| URI | m2://inv/8X7BCKZ832 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear canonical transformation#9PWM, Example (example)
History
- 2026-11-02: add by m2/dev
Toy model I+ 8X7BYPSXB1
| URI | m2://inv/8X7BYPSXB1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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 2609.38061#T4V2, Toy model I+ (definition). In XFBW60M3AR/e1, definition 3.6
History
- 2026-10-30: add by m2/v0.4.12
8X7E9GJJX3 8X7E9GJJX3
| URI | m2://inv/8X7E9GJJX3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#NCWU (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
8X7ECCGTZS 8X7ECCGTZS
| URI | m2://inv/8X7ECCGTZS |
|---|---|
| Kind | definition |
| 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.27800#Q21G (definition)
History
- 2026-11-01: add by m2/v0.6.15
Prampir Makara 8X7GA7GR7K
| URI | m2://inv/8X7GA7GR7K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#FJXC, Prampir Makara (unknown)
History
- 2026-11-02: add by m2/dev
8X7Z7T1QAH 8X7Z7T1QAH
| URI | m2://inv/8X7Z7T1QAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.24542#74U0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
8X894PQ6BH 8X894PQ6BH
| URI | m2://inv/8X894PQ6BH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2104.08176#DJYV (statement). In SYGR43673J/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
Francis Brown 8X8CW4V5B8
| URI | m2://inv/8X8CW4V5B8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francis Brown (mathematician), Francis Brown (topic). Also Wikidata Q1118299
History
- 2026-11-02: add by m2/dev
general number field sieve 8X8KWFNVMS
| URI | m2://inv/8X8KWFNVMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140770, general number field sieve (unknown). Also MathWorld NumberFieldSieve
- wikipedia: Wikipedia General number field sieve, General number field sieve (definition). Also Wikidata Q140770
History
- 2026-10-26: add by m2/dev
Fred Sommers 8X8NTSKV1W
| URI | m2://inv/8X8NTSKV1W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fred Sommers, Fred Sommers (topic). Also Wikidata Q5497142
History
- 2026-11-02: add by m2/dev
8X8VGD0YX1 8X8VGD0YX1
| URI | m2://inv/8X8VGD0YX1 |
|---|---|
| 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.02295#JBDE (statement). In PEBD9ZMA1W/e1, proposition A.7
History
- 2026-10-29: add by m2/v0.4.12
Scalar penalization 8X8XAFSRZS
| URI | m2://inv/8X8XAFSRZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.25762#FHHC, Scalar penalization (statement)
History
- 2026-11-01: add by m2/v0.6.15
norm of a continuous linear map 8X92FVZSZF
| URI | m2://inv/8X92FVZSZF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Normed vector spaces/Banach spaces > norm of a continuous linear map, norm of a continuous linear map (unknown). Also Mathlib LinearMap.mkContinuous
- mathlib_undergrad: mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > norm of a continuous linear map, norm of a continuous linear map (unknown). Also Mathlib LinearMap.mkContinuous
History
- 2026-10-26: add by m2/dev
design theory 8X93QJ2FSQ
| URI | m2://inv/8X93QJ2FSQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Block design 4JCSS2Z1BA |
Mentions
- wikidata: Wikidata Q3984090, design theory (concept). Also MathWorld BlockDesign
- wikidata: Wikidata Q751484, block design (concept). Also MathWorld BlockDesign, nLab block design
- wikipedia: Wikipedia Block design, Block design (definition). Also Wikidata Q751484
History
- 2026-10-26: add by m2/dev
8X962MQ7DK 8X962MQ7DK
| URI | m2://inv/8X962MQ7DK |
|---|---|
| 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.09729#PDY4 (statement). In 7CDD4HCYTV/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
Bounding the semi-distance by the Fisher–Rao distance 8X96JH91BW
| URI | m2://inv/8X96JH91BW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.30220#OSUJ, Bounding the semi-distance by the Fisher–Rao distance (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bryce DeWitt 8X9BW2Z1GT
| URI | m2://inv/8X9BW2Z1GT |
|---|---|
| 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 Q545097, Bryce DeWitt (unknown). Also nLab Bryce DeWitt
History
- 2026-10-26: add by m2/dev
Repair is subspace estimation 8X9EQ7RGW3
| URI | m2://inv/8X9EQ7RGW3 |
|---|---|
| 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.08069#BMP3, Repair is subspace estimation (statement). In TVW9BTWJ3D/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
8X9HV3J38Y 8X9HV3J38Y
| URI | m2://inv/8X9HV3J38Y |
|---|---|
| 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#RXKN (statement). In H21X3FHNYJ/e1, proposition 9.5
History
- 2026-10-27: add by m2/v0.4.2
8X9QP4ZWC6 8X9QP4ZWC6
| URI | m2://inv/8X9QP4ZWC6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-39 (proof). In N54F33XE07, proof, section B.6
History
- 2026-11-01: add by m2/v0.6.13
scientific journal 8X9T4V3QDD
| URI | m2://inv/8X9T4V3QDD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5633421, scientific journal (unknown). Also ProofWiki Book:Journal
History
- 2026-10-26: add by m2/dev
Williamson conjecture 8X9XXEMCVF
| URI | m2://inv/8X9XXEMCVF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures#JI2E, Williamson conjecture (statement)
History
- 2026-11-02: add by m2/dev
8X9ZC0B927 8X9ZC0B927
| URI | m2://inv/8X9ZC0B927 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#cor:modular power (statement). In P1C114YBXG, corollary, section F
History
- 2026-11-01: add by m2/v0.6.13
Erwin Bolthausen 8XA2CXH9HS
| URI | m2://inv/8XA2CXH9HS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erwin Bolthausen, Erwin Bolthausen (topic). Also Wikidata Q1115146
History
- 2026-11-02: add by m2/dev
8XA7S4SQHM 8XA7S4SQHM
| URI | m2://inv/8XA7S4SQHM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.01653#WSW4 (statement). In WZMHJCQPB2/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
Pythagorean Triangles 8XACYG5DFH
| URI | m2://inv/8XACYG5DFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#DCCG, Pythagorean Triangles (definition)
History
- 2026-11-02: add by m2/dev
8XAM7PT3N4 8XAM7PT3N4
| URI | m2://inv/8XAM7PT3N4 |
|---|---|
| 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.20679#J8HR (statement)
History
- 2026-11-02: add by m2/v0.6.18
8XAMRJ1GS3 8XAMRJ1GS3
| URI | m2://inv/8XAMRJ1GS3 |
|---|---|
| Kind | problem |
| 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.20915#AY1A (problem). In 5M1SXP75D9/e1, problem 7.6
History
- 2026-10-27: add by m2/v0.4.2
Determination of exterior pairs 8XAWC8CSM9
| URI | m2://inv/8XAWC8CSM9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#GRSB, Determination of exterior pairs (statement). In KR7WXN4EWR/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
Uniform decay of centered observables 8XAXFVEE5N
| URI | m2://inv/8XAXFVEE5N |
|---|---|
| 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.39144#4ZTS, Uniform decay of centered observables (statement). In 814ZF5WMMF/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
Contractive variance estimate 8XAZHNHSVN
| URI | m2://inv/8XAZHNHSVN |
|---|---|
| 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 2607.28185#T1RL, Contractive variance estimate (statement). In EG1XXNSTXX/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
Local continuation 8XB4EPHYAJ
| URI | m2://inv/8XB4EPHYAJ |
|---|---|
| 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.02721#HV9E, Local continuation (statement). In XXFYVDVPPE/e1, proposition 2.15
History
- 2026-10-29: add by m2/v0.4.12
8XBCDQDV43 8XBCDQDV43
| URI | m2://inv/8XBCDQDV43 |
|---|---|
| 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 2405.10580#RSU5 (statement). In FXEJE0PWEP/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
``Fixing $x$'' 8XBDWA8F2A
| URI | m2://inv/8XBDWA8F2A |
|---|---|
| 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#N98F, ``Fixing $x$'' (definition). In HVGT9D84WV/e1, definition 1.9
History
- 2026-10-27: add by m2/v0.3.5
8XBFH6EE6F 8XBFH6EE6F
| URI | m2://inv/8XBFH6EE6F |
|---|---|
| Kind | definition |
| 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.40207#X44E (definition). In JXTG8KP95P/e1, definition 2.27
History
- 2026-10-30: add by m2/v0.4.12
Examples 8XBH1QS0SD
| URI | m2://inv/8XBH1QS0SD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oriented coloring#2U5X, Examples (example)
History
- 2026-11-02: add by m2/dev
J. Robert Oppenheimer 8XBKK393DH
| URI | m2://inv/8XBKK393DH |
|---|---|
| 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 Q132537, J. Robert Oppenheimer (unknown). Also nLab Robert Oppenheimer
History
- 2026-10-26: add by m2/dev
Variants 8XBPSSVKGG
| URI | m2://inv/8XBPSSVKGG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moessner's theorem#1KIR, Variants (statement)
History
- 2026-11-02: add by m2/dev
The clasp belt 8XBPW4KX8P
| URI | m2://inv/8XBPW4KX8P |
|---|---|
| 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.29839#47K0, The clasp belt (definition)
History
- 2026-11-01: add by m2/v0.6.15
Algebraic properties 8XBWP802WH
| URI | m2://inv/8XBWP802WH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exterior algebra#2LDZ, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
8XBX3QYHDV 8XBX3QYHDV
| URI | m2://inv/8XBX3QYHDV |
|---|---|
| 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.18445#O3UF (statement). In X63FGXZP4F/e1, corollary 4.2
History
- 2026-10-28: add by m2/v0.4.2
8XC575JJK5 8XC575JJK5
| URI | m2://inv/8XC575JJK5 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.13464#3217 (conjecture). In JPYGC2R3FC/e1, conjecture 1.1
History
- 2026-10-27: add by m2/v0.3.6
Ruth Charney 8XCGJ5CE4K
| URI | m2://inv/8XCGJ5CE4K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GKA2, Ruth Charney (topic)
History
- 2026-11-02: add by m2/dev
Applications 8XCHJ0WCGZ
| URI | m2://inv/8XCHJ0WCGZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear Schrödinger equation#69KE, Applications (example)
History
- 2026-11-02: add by m2/dev
Construction 8XCJ231BR4
| URI | m2://inv/8XCJ231BR4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hanoi graph#9UIE, Construction (definition)
History
- 2026-11-02: add by m2/dev
8XCJTADVJG 8XCJTADVJG
| URI | m2://inv/8XCJTADVJG |
|---|---|
| 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.33775#YCWF (statement). In VVQ1FMTHXB/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
8XCQ6SXBGR 8XCQ6SXBGR
| URI | m2://inv/8XCQ6SXBGR |
|---|---|
| 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 math/9602216#7H8H (statement). In SD43497T8C/e1, corollary 5.6
History
- 2026-10-27: add by m2/v0.3.5
nonsmooth analysis 8XCV0NKBEX
| URI | m2://inv/8XCV0NKBEX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#ME9D, nonsmooth analysis (definition)
History
- 2026-11-02: add by m2/dev
8XCWCPPQBQ 8XCWCPPQBQ
| URI | m2://inv/8XCWCPPQBQ |
|---|---|
| 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 0907.5545#W6AO (statement). In K3GWCTV5YE/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
The Mukhin–Tarasov–Varchenko identity and the Gaudin model 8XD2W2478X
| URI | m2://inv/8XD2W2478X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capelli's identity#MCBV, The Mukhin–Tarasov–Varchenko identity and the Gaudin model (statement)
History
- 2026-11-02: add by m2/dev
8XD3YRC9Z1 8XD3YRC9Z1
| URI | m2://inv/8XD3YRC9Z1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.01057#27XM (statement). In 69QFBXJENW/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.3.5
Pseudo-Boolean function 8XD42WMT74
| URI | m2://inv/8XD42WMT74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-Boolean function, Pseudo-Boolean function (definition). Also Wikidata Q7254398
History
- 2026-11-02: add by m2/dev
8XD6HBMF53 8XD6HBMF53
| URI | m2://inv/8XD6HBMF53 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-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.20558#KOR9 (definition). In 46370P3Y9S/e1, definition 5.16
History
- 2026-10-27: add by m2/v0.4.2
Tarski–Kuratowski algorithm 8XD9TQH7S7
| URI | m2://inv/8XD9TQH7S7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#VOM8, Tarski–Kuratowski algorithm (definition)
History
- 2026-11-02: add by m2/dev
Applications 8XDJ9Z2CRN
| URI | m2://inv/8XDJ9Z2CRN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential invariant#TQER, Applications (example)
History
- 2026-11-02: add by m2/dev
Normalcy bias 8XDVKEB3BT
| URI | m2://inv/8XDVKEB3BT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#3CGV, Normalcy bias (unknown)
History
- 2026-11-02: add by m2/dev
Augmented Backus–Naur form 8XDZPMCRM0
| URI | m2://inv/8XDZPMCRM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Augmented Backus–Naur form, Augmented Backus–Naur form (definition). Also Wikidata Q538050
History
- 2026-11-02: add by m2/dev
$G$-Zips, \S 1.1 8XE8YXG8CM
| URI | m2://inv/8XE8YXG8CM |
|---|---|
| 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.33808#K1YE, $G$-Zips, \S 1.1 (definition). In 328KGRNN0W/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Reason 8XE9MD3GVB
| URI | m2://inv/8XE9MD3GVB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reason, Reason (definition). Also Wikidata Q178354
History
- 2026-11-02: add by m2/dev
Three loops in terms of $\mathcal F_{\gamma_3}$ 8XEAJ52KRV
| URI | m2://inv/8XEAJ52KRV |
|---|---|
| Kind | statement |
| 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 2610.10821#OMSB, Three loops in terms of $\mathcal F_{\gamma_3}$ (statement). In RWNP4FEE65/e1, corollary 2.3
History
- 2026-10-28: add by m2/v0.4.3
8XEASXR7WC 8XEASXR7WC
| URI | m2://inv/8XEASXR7WC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#JWTJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Expected-error lower bound 8XEB1B7J3S
| URI | m2://inv/8XEB1B7J3S |
|---|---|
| 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#002E, Expected-error lower bound (statement). In 4W7ARR1DAR/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
quantifier, existential 8XEB6CP7V9
| URI | m2://inv/8XEB6CP7V9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2/quantifier-existential, quantifier, existential (concept). In N54F33XE07, index, section B.2
History
- 2026-11-01: add by m2/v0.6.13
8XECYY6QGC 8XECYY6QGC
| URI | m2://inv/8XECYY6QGC |
|---|---|
| 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.25063#84F4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conjecture 8XEE6XRDG1
| URI | m2://inv/8XEE6XRDG1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Egan conjecture#HJTD, Conjecture (statement)
History
- 2026-11-02: add by m2/dev
Statement 8XEJ3GH1K4
| URI | m2://inv/8XEJ3GH1K4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ado's theorem#ZF64, Statement (statement)
History
- 2026-11-02: add by m2/dev
A biquadratic field 8XF0WRDVGE
| URI | m2://inv/8XF0WRDVGE |
|---|---|
| Kind | example |
| 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#ERVG, A biquadratic field (example). In 4W7ARR1DAR/e1, example A.1
History
- 2026-10-28: add by m2/v0.4.2
8XFBHNAGAT 8XFBHNAGAT
| URI | m2://inv/8XFBHNAGAT |
|---|---|
| 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.01731#EZA4 (statement). In 3TJ2FWXQ0D/e1, lemma 7.7
History
- 2026-10-29: add by m2/v0.4.12
8XFJPHC5BJ 8XFJPHC5BJ
| URI | m2://inv/8XFJPHC5BJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09810#3KG1 (statement). In B6PCH930FV/e1, theorem 14
History
- 2026-10-29: add by m2/v0.4.10
Response modeling methodology 8XFS188PWK
| URI | m2://inv/8XFS188PWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Response modeling methodology, Response modeling methodology (definition). Also Wikidata Q30693499
History
- 2026-11-02: add by m2/dev
8XFXEP2KK8 8XFXEP2KK8
| URI | m2://inv/8XFXEP2KK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26417#BS8J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations 8XFXT4NVYW
| URI | m2://inv/8XFXT4NVYW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symplectic manifold#AA3M, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
8XGR869S97 8XGR869S97
| URI | m2://inv/8XGR869S97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12908#171A (statement). In TNC658NVMQ/e1, corollary 7.4
History
- 2026-10-28: add by m2/v0.4.2
Reverse inequality 8XGXSGSWCB
| URI | m2://inv/8XGXSGSWCB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski inequality#4AQR, Reverse inequality (statement)
History
- 2026-11-02: add by m2/dev
List of things named after Augustin-Louis Cauchy 8XH5PA4AY5
| URI | m2://inv/8XH5PA4AY5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy, List of things named after Augustin-Louis Cauchy (topic). Also Wikidata Q6643276
History
- 2026-11-02: add by m2/dev
8XH7KNE370 8XH7KNE370
| URI | m2://inv/8XH7KNE370 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 19.15
History
- 2026-11-01: add by m2/v0.6.13
Catalan's conjecture 8XHDKP80HK
| URI | m2://inv/8XHDKP80HK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catalan's conjecture#A30J, Catalan's conjecture (statement)
History
- 2026-11-02: add by m2/dev
UCL Faculty of Mathematical and Physical Sciences 8XHN57JZRN
| URI | m2://inv/8XHN57JZRN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia UCL Faculty of Mathematical and Physical Sciences, UCL Faculty of Mathematical and Physical Sciences (definition). Also Wikidata Q7864070
History
- 2026-11-02: add by m2/dev
Proposition 8XHSYTE2PN
| URI | m2://inv/8XHSYTE2PN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Presheaf (category theory)#683O, Proposition (statement)
History
- 2026-11-02: add by m2/dev
8XJ8Y3YZ9R 8XJ8Y3YZ9R
| URI | m2://inv/8XJ8Y3YZ9R |
|---|---|
| Kind | statement |
| 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.15344#KFYQ (statement). In B9EX6K51RD/e1, proposition 3.8
History
- 2026-10-28: add by m2/v0.4.2
A Rademacher-type result 8XJAKZF11X
| URI | m2://inv/8XJAKZF11X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04317#E3FD, A Rademacher-type result (statement). In 49V3ANDZTY/e1, proposition 6.11
History
- 2026-10-27: add by m2/v0.3.5
8XJAN07B3T 8XJAN07B3T
| URI | m2://inv/8XJAN07B3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.14097#OJMS (statement). In H52QQS8WZA/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
8XJAZ278ZE 8XJAZ278ZE
| URI | m2://inv/8XJAZ278ZE |
|---|---|
| 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#IDGU (statement). In ESDKTYDHC8/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.12
Definition 8XJEBK866N
| URI | m2://inv/8XJEBK866N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Envelope (category theory)#T5RP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Conon of Samos 8XJHHD0615
| URI | m2://inv/8XJHHD0615 |
|---|---|
| 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 Q354377, Conon of Samos (unknown). Also ProofWiki Mathematician:Conon_of_Samos
History
- 2026-10-26: add by m2/dev
8XJN4MKAQX 8XJN4MKAQX
| URI | m2://inv/8XJN4MKAQX |
|---|---|
| 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.35421#CBFM (statement). In KE8B8KMDJJ/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
complete lattice 8XJTB3PDC9
| URI | m2://inv/8XJTB3PDC9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice (order)#QOPN, complete lattice (definition)
History
- 2026-11-02: add by m2/dev
8XJWWS120W 8XJWWS120W
| URI | m2://inv/8XJWWS120W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2410.16036#8E4B (statement). In S1T3VFXE05/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.3.6
Quasi-relative interior 8XJY53EARC
| URI | m2://inv/8XJY53EARC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-relative interior, Quasi-relative interior (definition). Also Wikidata Q7269473
History
- 2026-11-02: add by m2/dev
8XK39HQA29 8XK39HQA29
| URI | m2://inv/8XK39HQA29 |
|---|---|
| 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.19260#4IIT (statement). In PWXT7J9JX3/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
Definitions 8XK7TQ64QT
| URI | m2://inv/8XK7TQ64QT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trivial group#P3AS, Definitions (definition)
History
- 2026-11-02: add by m2/dev
8XK8VQP9NN 8XK8VQP9NN
| URI | m2://inv/8XK8VQP9NN |
|---|---|
| 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.24580#FWMA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Correlative-based fallacies 8XKAZ49V3C
| URI | m2://inv/8XKAZ49V3C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlative-based fallacies, Correlative-based fallacies (definition). Also Wikidata Q2912344
History
- 2026-11-02: add by m2/dev
8XKKZYPE5Q 8XKKZYPE5Q
| URI | m2://inv/8XKKZYPE5Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-74 (exercise). In E9HS8K3A52, exercise, section 10.7.3
History
- 2026-11-01: add by m2/v0.6.13
Jeremiah Farrell 8XKRFWXWCB
| URI | m2://inv/8XKRFWXWCB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeremiah Farrell, Jeremiah Farrell (topic). Also Wikidata Q3177282
History
- 2026-11-02: add by m2/dev
set 8XKXSKE6K0
| URI | m2://inv/8XKXSKE6K0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Data structures > Sets > set, set (unknown). Also Mathlib Set
History
- 2026-10-26: add by m2/dev
Bayes' theorem 8XKZBKPZT3
| URI | m2://inv/8XKZBKPZT3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian hierarchical modeling#3F47, Bayes' theorem (statement)
History
- 2026-11-02: add by m2/dev
Robert Kass 8XM06RFE6E
| URI | m2://inv/8XM06RFE6E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Kass, Robert Kass (topic). Also Wikidata Q29613457
History
- 2026-11-02: add by m2/dev
8XMBGWNYGR 8XMBGWNYGR
| URI | m2://inv/8XMBGWNYGR |
|---|---|
| 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.17411#12XD (statement). In 73QW05MWQB/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
8XMH0H18SB 8XMH0H18SB
| URI | m2://inv/8XMH0H18SB |
|---|---|
| Kind | conjecture |
| 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 2011.06637#R8LW (conjecture). In KFCJ5CFP3G/e1, conjecture III
History
- 2026-10-27: add by m2/v0.3.5
Vlad Vicol 8XMP3Y1640
| URI | m2://inv/8XMP3Y1640 |
|---|---|
| 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#WGNR, Vlad Vicol (unknown)
History
- 2026-11-02: add by m2/dev
8XMQZSW5JR 8XMQZSW5JR
| URI | m2://inv/8XMQZSW5JR |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-20 (proof). In N54F33XE07, proof, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Definition 8XN2X4037P
| URI | m2://inv/8XN2X4037P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trapped surface#VXIW, Definition (definition)
History
- 2026-11-02: add by m2/dev
8XNBXRCYYQ 8XNBXRCYYQ
| URI | m2://inv/8XNBXRCYYQ |
|---|---|
| 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#GDYH (statement). In VGKK4M68EK/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
List of Slovenian mathematicians 8XNDJHS4ZF
| URI | m2://inv/8XNDJHS4ZF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematicians#RLLR, List of Slovenian mathematicians (unknown)
History
- 2026-11-02: add by m2/dev
Visual boundary 8XNH3ZE862
| URI | m2://inv/8XNH3ZE862 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-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.25468#KSKR, Visual boundary (definition)
History
- 2026-11-01: add by m2/v0.6.15
Bernoulli Sudakov minoration 8XNVXST7V6
| URI | m2://inv/8XNVXST7V6 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31782#0K83, Bernoulli Sudakov minoration (unknown). In YAYP5VZ94H/e1, unknown 2.4
History
- 2026-10-31: add by m2/v0.5.6
8XP142FZE2 8XP142FZE2
| URI | m2://inv/8XP142FZE2 |
|---|---|
| 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.10205#SSOM (statement). In PQGS7NDMDQ/e1, proposition 12
History
- 2026-10-29: add by m2/v0.4.10
The two return depths in the rational \texorpdfstring{$(3,2)$}{(3,2)} system 8XP2HG479G
| URI | m2://inv/8XP2HG479G |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#0T0S, The two return depths in the rational \texorpdfstring{$(3,2)$}{(3,2)} system (example)
History
- 2026-11-01: add by m2/v0.6.15
Applications 8XPDWFXRZZ
| URI | m2://inv/8XPDWFXRZZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Little's law#SGOX, Applications (example)
History
- 2026-11-02: add by m2/dev
Statement of the conjecture 8XPJ0B26D5
| URI | m2://inv/8XPJ0B26D5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vojta's conjecture#H0GX, Statement of the conjecture (statement)
History
- 2026-11-02: add by m2/dev
SM9 Identity Based Key Agreement 8XPM354BZN
| URI | m2://inv/8XPM354BZN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SM9 (cryptography standard)#QMRM, SM9 Identity Based Key Agreement (statement)
History
- 2026-11-02: add by m2/dev
Cauchy's theorem (group theory) 8XPYFJGDTN
| URI | m2://inv/8XPYFJGDTN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#FE3L, Cauchy's theorem (group theory) (statement)
History
- 2026-11-02: add by m2/dev
Tangential equation 8XQ7HF70FZ
| URI | m2://inv/8XQ7HF70FZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line coordinates#JR2G, Tangential equation (unknown)
History
- 2026-11-02: add by m2/dev
Construction 8XQACSN5R8
| URI | m2://inv/8XQACSN5R8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-integer base of numeration#2IZ8, Construction (definition)
History
- 2026-11-02: add by m2/dev
Example 8XQHRFYXFV
| URI | m2://inv/8XQHRFYXFV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integro-differential equation#GRGZ, Example (example)
History
- 2026-11-02: add by m2/dev
8XQHVBPA6E 8XQHVBPA6E
| URI | m2://inv/8XQHVBPA6E |
|---|---|
| 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.18101#DGWF (statement). In XXN6KKXPYF/e1, theorem 9.12
History
- 2026-10-28: add by m2/v0.4.2
positive-semidefinite matrix 8XQP955FKQ
| URI | m2://inv/8XQP955FKQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Positive semidefinite matrix 01MMVW8CKC |
Mentions
- wikidata: Wikidata Q130344267, positive-semidefinite matrix (unknown). Also MathWorld PositiveSemidefiniteMatrix
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Example 8XQPCZBE91
| URI | m2://inv/8XQPCZBE91 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robinson–Schensted–Knuth correspondence#6ELM, Example (example)
History
- 2026-11-02: add by m2/dev
Primality Testing for Beginners 8XQRPQ57EV
| URI | m2://inv/8XQRPQ57EV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primality Testing for Beginners, Primality Testing for Beginners (definition). Also Wikidata Q104835803
History
- 2026-11-02: add by m2/dev
Martha Farnsworth Riche 8XQW14GGKA
| URI | m2://inv/8XQW14GGKA |
|---|---|
| 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#6QKP, Martha Farnsworth Riche (unknown)
History
- 2026-11-02: add by m2/dev
8XQZ0JPNN6 8XQZ0JPNN6
| URI | m2://inv/8XQZ0JPNN6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/prop-reduce.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 3.11
History
- 2026-11-01: add by m2/v0.6.13
8XR2FY531N 8XR2FY531N
| URI | m2://inv/8XR2FY531N |
|---|---|
| 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 1002.0879#CH5R (definition). In M0SQY5EZN5/e1, definition 2.1.3
History
- 2026-10-27: add by m2/v0.3.5
8XR2PRVXQR 8XR2PRVXQR
| URI | m2://inv/8XR2PRVXQR |
|---|---|
| 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.18101#VQ7I (definition). In XXN6KKXPYF/e1, definition 6.1
History
- 2026-10-28: add by m2/v0.4.2
8XR5TAGRXA 8XR5TAGRXA
| URI | m2://inv/8XR5TAGRXA |
|---|---|
| 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 2608.24606#0M8N (statement). In VFV3FFB7Q7/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
Special cases 8XR6A9MB8V
| URI | m2://inv/8XR6A9MB8V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antiprism#XTX2, Special cases (statement)
History
- 2026-11-02: add by m2/dev
8XR8DHXEF8 8XR8DHXEF8
| URI | m2://inv/8XR8DHXEF8 |
|---|---|
| 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.40274#A97Y (statement). In 7ZDNJC9MST/e1, proposition 2.6
History
- 2026-10-30: add by m2/v0.4.12
Example 8XRBES1P6Y
| URI | m2://inv/8XRBES1P6Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection (relational algebra)#TS8C, Example (example)
History
- 2026-11-02: add by m2/dev
Frank Folupa 8XRCQTTN5S
| URI | m2://inv/8XRCQTTN5S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William James Sidis#ENH7, Frank Folupa (unknown)
History
- 2026-11-02: add by m2/dev
Gilles Pisier 8XRDRQ6J39
| URI | m2://inv/8XRDRQ6J39 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#O5I9, Gilles Pisier (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#383U, Gilles Pisier (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LW7Y, Gilles Pisier (topic)
History
- 2026-11-02: add by m2/dev
8XRN2KY8HE 8XRN2KY8HE
| URI | m2://inv/8XRN2KY8HE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.12484#861Y (statement). In GW23NX78SB/e1, lemma 4.35
History
- 2026-10-28: add by m2/v0.4.2
8XRNGBVR2E 8XRNGBVR2E
| URI | m2://inv/8XRNGBVR2E |
|---|---|
| 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.38539#AVUV (statement). In 6H78W2WZ5G/e1, corollary 3.2
History
- 2026-10-30: add by m2/v0.4.12
Generalizations 8XRY5N9GTE
| URI | m2://inv/8XRY5N9GTE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius inversion formula#VQXY, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
8XRZH1SKV2 8XRZH1SKV2
| URI | m2://inv/8XRZH1SKV2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25111#BXME (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 8XS241JVGM
| URI | m2://inv/8XS241JVGM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural numbers object#N0PD, Examples (example)
History
- 2026-11-02: add by m2/dev
K-medians clustering 8XS3XVPRTD
| URI | m2://inv/8XS3XVPRTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-medians clustering, K-medians clustering (definition). Also Wikidata Q4041956
History
- 2026-11-02: add by m2/dev
subgraph 8XS7EHJ6G0
| URI | m2://inv/8XS7EHJ6G0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.1/subgraph, subgraph (concept). In QKM9DD2H56, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
6765 (number) 8XS916RE3A
| URI | m2://inv/8XS916RE3A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 6000 (number)#Y446, 6765 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Structural cohesion 8XSDZGCXK8
| URI | m2://inv/8XSDZGCXK8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#DN99, Structural cohesion (unknown)
History
- 2026-11-02: add by m2/dev
Examples 8XSG27DS4A
| URI | m2://inv/8XSG27DS4A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphism of algebraic varieties#0DGZ, Examples (example)
History
- 2026-11-02: add by m2/dev
8XSHAFQ07F 8XSHAFQ07F
| URI | m2://inv/8XSHAFQ07F |
|---|---|
| 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 2208.05288#03W0 (statement). In RTW3GDYPND/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.0
Moduli of formal group laws 8XSJHX0XGG
| URI | m2://inv/8XSJHX0XGG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient stack#BUR1, Moduli of formal group laws (statement)
History
- 2026-11-02: add by m2/dev
8XSJHZ7J1A 8XSJHZ7J1A
| URI | m2://inv/8XSJHZ7J1A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-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 2311.00585#7HCS (statement). In 332PQD90SW/e1, theorem 4.19
History
- 2026-10-27: add by m2/v0.3.5
*{Lemma 4.5 8XSQ5T4AMA
| URI | m2://inv/8XSQ5T4AMA |
|---|---|
| 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.27518#SF8C, *{Lemma 4.5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Multidimensional Hardy inequality around a point 8XT29RJVM9
| URI | m2://inv/8XT29RJVM9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy's inequality#08PU, Multidimensional Hardy inequality around a point (statement)
History
- 2026-11-02: add by m2/dev
8XT49Z1C5H 8XT49Z1C5H
| URI | m2://inv/8XT49Z1C5H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#R9BT (example). In S26QVW5613/e1, example 3.6.3
History
- 2026-10-30: add by m2/v0.4.12
cut point 8XTDTJN96A
| URI | m2://inv/8XTDTJN96A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#NPMD, cut point (definition)
History
- 2026-11-02: add by m2/dev
8XTJTQNYCZ 8XTJTQNYCZ
| URI | m2://inv/8XTJTQNYCZ |
|---|---|
| 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.19658#9SOP (statement). In G00EYA9DXG/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
Correlation function 8XTKTS9JPC
| URI | m2://inv/8XTKTS9JPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlation function, Correlation function (definition). Also Wikidata Q3276790
History
- 2026-11-02: add by m2/dev
8XV0V7H4B1 8XV0V7H4B1
| URI | m2://inv/8XV0V7H4B1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.36403#2SE6 (statement). In A4XGTS3QXQ/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Marta Bunge 8XV0ZVMVV7
| URI | m2://inv/8XV0ZVMVV7 |
|---|---|
| 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 Q59325321, Marta Bunge (unknown). Also nLab Marta Bunge
History
- 2026-10-26: add by m2/dev
Parameter sensitivity and plug-in equivalence 8XV6MRX1C1
| URI | m2://inv/8XV6MRX1C1 |
|---|---|
| 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.05864#HZBN, Parameter sensitivity and plug-in equivalence (statement). In 31QPXWDZSH/e1, theorem B.10
History
- 2026-10-29: add by m2/v0.4.10
Applications 8XVD6BWX9G
| URI | m2://inv/8XVD6BWX9G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Base change theorems#AY7I, Applications (example)
History
- 2026-11-02: add by m2/dev
8XVGMT0SCR 8XVGMT0SCR
| URI | m2://inv/8XVGMT0SCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#D9OK (statement). In XYCBKM4WKY/e1, theorem 19
History
- 2026-10-27: add by m2/v0.3.5
Flux interpolants $\olj_\kappa$, $\wtj_\kappa$ 8XVV3KN976
| URI | m2://inv/8XVV3KN976 |
|---|---|
| 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.11034#ZU6Z, Flux interpolants $\olj_\kappa$, $\wtj_\kappa$ (statement). In 2KACPY9MMF/e1, proposition 4.14
History
- 2026-10-28: add by m2/v0.4.3
Definition 8XVVAD463C
| URI | m2://inv/8XVVAD463C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius transformation#0PHM, Definition (definition)
History
- 2026-11-02: add by m2/dev
8XVXE0EB9A 8XVXE0EB9A
| URI | m2://inv/8XVXE0EB9A |
|---|---|
| Kind | definition |
| 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.15593#ENRI (definition). In PREJREM4BB/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Optical theorem in one dimension 8XW5KP14VV
| URI | m2://inv/8XW5KP14VV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S-matrix#61VS, Optical theorem in one dimension (statement)
History
- 2026-11-02: add by m2/dev
8XW5TV5DXK 8XW5TV5DXK
| URI | m2://inv/8XW5TV5DXK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#UCDI (example)
History
- 2026-11-01: add by m2/v0.6.15
Cue-dependent forgetting 8XWA815JVC
| URI | m2://inv/8XWA815JVC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#ZGQQ, Cue-dependent forgetting (unknown)
History
- 2026-11-02: add by m2/dev
Trigonometric integral 8XWGWVSRWJ
| URI | m2://inv/8XWGWVSRWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric integral, Trigonometric integral (definition). Also Wikidata Q1094282
History
- 2026-11-02: add by m2/dev
Herbert Federer 8XWP4Z4JRJ
| URI | m2://inv/8XWP4Z4JRJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#8YX4, Herbert Federer (topic)
History
- 2026-11-02: add by m2/dev
rational function 8XWVYBF4JG
| URI | m2://inv/8XWVYBF4JG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Rational function 0WCZH4AFMT |
Mentions
- wikidata: Wikidata Q41237, rational function (unknown). Also MathWorld RationalFunction, nLab rational function
- wikipedia: Wikipedia Rational function, Rational function (definition). Also Wikidata Q41237
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
8XWWD0S5K5 8XWWD0S5K5
| URI | m2://inv/8XWWD0S5K5 |
|---|---|
| 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.07855#KXRA (statement). In 1VT8CVVCM7/e1, proposition 3.10
History
- 2026-10-29: add by m2/v0.4.10
8XWWY3ZEAX 8XWWY3ZEAX
| URI | m2://inv/8XWWY3ZEAX |
|---|---|
| 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.38539#0LVV (statement). In 6H78W2WZ5G/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
Tryokhgorny 8XWYDW53A5
| URI | m2://inv/8XWYDW53A5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#FMC8, Tryokhgorny (unknown)
History
- 2026-11-02: add by m2/dev
Hardness of approximating the common entropy 8XWZRC3MG3
| URI | m2://inv/8XWZRC3MG3 |
|---|---|
| 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.15402#7AJR, Hardness of approximating the common entropy (statement). In WSE8SEHVXG/e1, corollary 26
History
- 2026-10-28: add by m2/v0.4.2
8XX0G3TBP7 8XX0G3TBP7
| URI | m2://inv/8XX0G3TBP7 |
|---|---|
| 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.29449#V62S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example of a Sierpiński set 8XX49J0T6A
| URI | m2://inv/8XX49J0T6A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sierpiński set#HO95, Example of a Sierpiński set (example)
History
- 2026-11-02: add by m2/dev
8XXAE1NP56 8XXAE1NP56
| URI | m2://inv/8XXAE1NP56 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12357#LQ78 (statement). In 1F26AF81XP/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
110-vertex Iofinova–Ivanov graph 8XXVWFABP9
| URI | m2://inv/8XXVWFABP9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2806925, 110-vertex Iofinova–Ivanov graph (unknown). Also House of Graphs 37748, MathWorld Iofinova-IvanovGraphs
- wikipedia: Wikipedia 110-vertex Iofinova–Ivanov graph, 110-vertex Iofinova–Ivanov graph (definition). Also Wikidata Q2806925
History
- 2026-10-26: add by m2/dev
8XYCVY95F0 8XYCVY95F0
| URI | m2://inv/8XYCVY95F0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02870#YZN8 (statement). In JJQQJ4KX94/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
8XYHNBQ9ME 8XYHNBQ9ME
| URI | m2://inv/8XYHNBQ9ME |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Formal definition 8XYRVHCK7X
| URI | m2://inv/8XYRVHCK7X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariant derivative#H83T, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Mixed strategies 8XYVQ0737D
| URI | m2://inv/8XYVQ0737D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strategy (game theory)#EQU8, Mixed strategies (unknown)
History
- 2026-11-02: add by m2/dev
Statement 8XYWEPJNFG
| URI | m2://inv/8XYWEPJNFG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krein–Milman theorem#69YE, Statement (statement)
History
- 2026-11-02: add by m2/dev
Cylindrical multipole moments 8XYWHHAT4G
| URI | m2://inv/8XYWHHAT4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylindrical multipole moments, Cylindrical multipole moments (definition). Also Wikidata Q5199284
History
- 2026-11-02: add by m2/dev
8XZ98ERTX7 8XZ98ERTX7
| URI | m2://inv/8XZ98ERTX7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#5I0U (statement). In V42PPD7SWH/e1, corollary 2.5
History
- 2026-10-31: add by m2/v0.5.6
Averaging over primitive vectors 8XZAEJYR4Z
| URI | m2://inv/8XZAEJYR4Z |
|---|---|
| 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.15265#CJOP, Averaging over primitive vectors (statement). In TCQ1JBR84Y/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
8XZB250TDC 8XZB250TDC
| URI | m2://inv/8XZB250TDC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.14201#KTKL (statement). In 7NKMVRHY2E/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Treynor ratio 8XZC3CTTDD
| URI | m2://inv/8XZC3CTTDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DB6G, Treynor ratio (definition)
History
- 2026-11-02: add by m2/dev
Autoregressive integrated moving average 8XZF8GNEDJ
| URI | m2://inv/8XZF8GNEDJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#J8HY, Autoregressive integrated moving average (definition)
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#HCWI, Autoregressive integrated moving average (definition)
History
- 2026-11-02: add by m2/dev
Absolute magnitude 8XZFVZQN8V
| URI | m2://inv/8XZFVZQN8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute magnitude, Absolute magnitude (definition). Also Wikidata Q159653
History
- 2026-11-02: add by m2/dev
Fenske equation 8XZJF4HYZ0
| URI | m2://inv/8XZJF4HYZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fenske equation, Fenske equation (definition). Also Wikidata Q955351
History
- 2026-11-02: add by m2/dev
Goldilocks principle 8XZRZ7AHBV
| URI | m2://inv/8XZRZ7AHBV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goldilocks principle, Goldilocks principle (statement). Also Wikidata Q13580479
History
- 2026-11-02: add by m2/dev
Unobserved heterogeneity in duration models 8XZYC719QX
| URI | m2://inv/8XZYC719QX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unobserved heterogeneity in duration models, Unobserved heterogeneity in duration models (definition). Also Wikidata Q25304402
History
- 2026-11-02: add by m2/dev