Inventory rows 8Z
The cards of the rows of the inventory whose ids start with 8Z. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
8Z02HF3W8B 8Z02HF3W8B
| URI | m2://inv/8Z02HF3W8B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21260#SGNH (statement). In Z7WW536KA5/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.4.2
Conditional early-stopping error bound 8Z087MHVJ4
| URI | m2://inv/8Z087MHVJ4 |
|---|---|
| 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.05333#28NA, Conditional early-stopping error bound (statement). In N37WKFTR7Q/e1, corollary G.2
History
- 2026-10-29: add by m2/v0.4.10
David Widder 8Z09A62WRX
| URI | m2://inv/8Z09A62WRX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Widder, David Widder (topic). Also Wikidata Q951285
History
- 2026-11-02: add by m2/dev
8Z09T8V0FP 8Z09T8V0FP
| URI | m2://inv/8Z09T8V0FP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 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.16475#J8M3 (example). In FM9SKN560Q/e1, example 3.5
History
- 2026-10-28: add by m2/v0.4.2
Stanisław Knapowski 8Z0QPS3CPN
| URI | m2://inv/8Z0QPS3CPN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanisław Knapowski, Stanisław Knapowski (topic). Also Wikidata Q37735232
History
- 2026-11-02: add by m2/dev
Hickman, James C. 8Z0RR5YXXE
| URI | m2://inv/8Z0RR5YXXE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#J74Y, Hickman, James C. (topic)
History
- 2026-11-02: add by m2/dev
Groenewold's theorem 8Z0S7C2HVJ
| URI | m2://inv/8Z0S7C2HVJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical quantization#A8GL, Groenewold's theorem (statement)
History
- 2026-11-02: add by m2/dev
General linear position 8Z0WH9SCJ5
| URI | m2://inv/8Z0WH9SCJ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General position#EXMY, General linear position (unknown)
History
- 2026-11-02: add by m2/dev
8Z0ZMXGY29 8Z0ZMXGY29
| URI | m2://inv/8Z0ZMXGY29 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23810#K1BM (statement)
History
- 2026-11-02: add by m2/v0.6.17
8Z11HRNMXS 8Z11HRNMXS
| URI | m2://inv/8Z11HRNMXS |
|---|---|
| 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.31104#WUSN (statement). In 67NFPNF39Y/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
8Z1JQP5FAB 8Z1JQP5FAB
| URI | m2://inv/8Z1JQP5FAB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.05529#WRSS (statement). In 9VPMHV0M4R/e1, theorem 3.10
History
- 2026-10-27: add by m2/v0.3.5
8Z1S2ZHR7A 8Z1S2ZHR7A
| URI | m2://inv/8Z1S2ZHR7A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.06310#56QF (definition). In 9YR0E0T9XA/e1, definition 2.10
History
- 2026-10-27: add by m2/v0.3.5
Example 8Z1SNVTQDA
| URI | m2://inv/8Z1SNVTQDA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hotelling's law#4JN0, Example (example)
History
- 2026-11-02: add by m2/dev
8Z20GEXB4G 8Z20GEXB4G
| URI | m2://inv/8Z20GEXB4G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exercise-19 (exercise). In Y91XFCEVHQ, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
AdamProxy margin characterization 8Z267XY73J
| URI | m2://inv/8Z267XY73J |
|---|---|
| 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.11309#CV7Q, AdamProxy margin characterization (statement). In TTEAQA1XXR/e1, proposition E.10
History
- 2026-10-28: add by m2/v0.4.3
Bilinear form and slice maps 8Z278PFGGH
| URI | m2://inv/8Z278PFGGH |
|---|---|
| Kind | definition |
| 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.11002#JUVK, Bilinear form and slice maps (definition). In P55JSAYR3T/e1, definition
History
- 2026-10-28: add by m2/v0.4.3
Protected coefficient and target drift 8Z29P7CVNJ
| URI | m2://inv/8Z29P7CVNJ |
|---|---|
| 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.15202#QSVD, Protected coefficient and target drift (statement). In X1FPG0KYBM/e1, lemma M.5
History
- 2026-10-28: add by m2/v0.4.2
Cromwell's rule 8Z2AXDA106
| URI | m2://inv/8Z2AXDA106 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cromwell's rule, Cromwell's rule (definition). Also Wikidata Q5187655
History
- 2026-11-02: add by m2/dev
8Z2SQH0TEY 8Z2SQH0TEY
| URI | m2://inv/8Z2SQH0TEY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25915#DET4 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Double point 8Z2YKH3H4R
| URI | m2://inv/8Z2YKH3H4R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular point of a curve#W19J, Double point (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations 8Z36D7H2E3
| URI | m2://inv/8Z36D7H2E3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Khintchine inequality#X8EN, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Daniel Wise 8Z36JNPXD7
| URI | m2://inv/8Z36JNPXD7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#L17H, Daniel Wise (topic)
History
- 2026-11-02: add by m2/dev
Examples 8Z37MGBQRD
| URI | m2://inv/8Z37MGBQRD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R (programming language)#82PJ, Examples (example)
History
- 2026-11-02: add by m2/dev
8Z389E38CX 8Z389E38CX
| URI | m2://inv/8Z389E38CX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#eg:concatequiv (example). In N54F33XE07, eg, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Victor Schlegel 8Z3BA3XPZS
| URI | m2://inv/8Z3BA3XPZS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victor Schlegel, Victor Schlegel (topic). Also Wikidata Q7926321
History
- 2026-11-02: add by m2/dev
Definition 8Z3ESH3372
| URI | m2://inv/8Z3ESH3372 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superfactorial#L96U, Definition (definition)
History
- 2026-11-02: add by m2/dev
Euclidean correctness 8Z3F4WMFBA
| URI | m2://inv/8Z3F4WMFBA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.26270#PCCP, Euclidean correctness (statement)
History
- 2026-11-01: add by m2/v0.6.15
challenging 8Z3SDMKY0Z
| URI | m2://inv/8Z3SDMKY0Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-88, challenging (exercise). In E9HS8K3A52, exercise, section 5.7.1
History
- 2026-11-01: add by m2/v0.6.13
Unrestricted grammar 8Z3V1VDK22
| URI | m2://inv/8Z3V1VDK22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unrestricted grammar, Unrestricted grammar (definition). Also Wikidata Q602934
History
- 2026-11-02: add by m2/dev
Formulation 8Z3V65HBBV
| URI | m2://inv/8Z3V65HBBV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple linear regression#K3F8, Formulation (definition)
History
- 2026-11-02: add by m2/dev
8Z440DYMWE 8Z440DYMWE
| URI | m2://inv/8Z440DYMWE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-lk.tex#prop:followsby (statement). In PKGMM3P5QY, prop, section 27.6
History
- 2026-11-01: add by m2/v0.6.13
Gaussian integer 8Z4E1KGC4H
| URI | m2://inv/8Z4E1KGC4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Gaussian integer 074P7C85XH |
Mentions
- wikidata: Wikidata Q724975, Gaussian integer (definition). Also EoM Gauss_number, MathWorld GaussianInteger, ProofWiki Definition:Gaussian_Integer
- wikipedia: Wikipedia Gaussian integer, Gaussian integer (definition). Also Wikidata Q724975
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
8Z4HXW9Z80 8Z4HXW9Z80
| URI | m2://inv/8Z4HXW9Z80 |
|---|---|
| Kind | definition |
| 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 2410.18564#QHG3 (definition). In MC8ZBZ14PM/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
8Z4MQ5VPFP 8Z4MQ5VPFP
| URI | m2://inv/8Z4MQ5VPFP |
|---|---|
| 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.21552#OW8C (statement)
History
- 2026-11-02: add by m2/v0.6.18
Exact base identity 8Z4YN2DTZB
| URI | m2://inv/8Z4YN2DTZB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#J6BW, Exact base identity (statement). In JY6RYSNXMJ/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.10
Varadhan's lemma 8Z4ZBH0DXV
| URI | m2://inv/8Z4ZBH0DXV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LOZW, Varadhan's lemma (statement)
History
- 2026-11-02: add by m2/dev
8Z54QDXNHM 8Z54QDXNHM
| URI | m2://inv/8Z54QDXNHM |
|---|---|
| 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 2601.15010#946Y (statement). In K3WJ6ZN184/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
George Logemann 8Z55F6KKNS
| URI | m2://inv/8Z55F6KKNS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Logemann, George Logemann (topic). Also Wikidata Q21818065
History
- 2026-11-02: add by m2/dev
CHAID 8Z57R37RXB
| URI | m2://inv/8Z57R37RXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0BET, CHAID (definition)
History
- 2026-11-02: add by m2/dev
8Z598PB5E1 8Z598PB5E1
| URI | m2://inv/8Z598PB5E1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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.27420#HZF3 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Applications 8Z5H4WB9S0
| URI | m2://inv/8Z5H4WB9S0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy#PQYK, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties of Romanovski polynomials 8Z5RVY1TX3
| URI | m2://inv/8Z5RVY1TX3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Romanovski polynomials#K9XE, Properties of Romanovski polynomials (statement)
History
- 2026-11-02: add by m2/dev
8Z5TB96NM4 8Z5TB96NM4
| URI | m2://inv/8Z5TB96NM4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38815#255F (statement). In 2CEETN5YTZ/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
8Z5W17V1M1 8Z5W17V1M1
| URI | m2://inv/8Z5W17V1M1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 53-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv hep-th/9409063#1CS9 (definition). In 145ETYF9CG/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Recursively enumerable language 8Z5Z2EGPJT
| URI | m2://inv/8Z5Z2EGPJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recursively enumerable language, Recursively enumerable language (definition). Also Wikidata Q1073063
History
- 2026-11-02: add by m2/dev
OR rule 8Z6638ZTYV
| URI | m2://inv/8Z6638ZTYV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability#R3E7, OR rule (unknown)
History
- 2026-11-02: add by m2/dev
Irrationality sequence 8Z68E96V57
| URI | m2://inv/8Z68E96V57 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17079511, Irrationality sequence (unknown). Also MathWorld IrrationalitySequence
- wikipedia: Wikipedia Irrationality sequence, Irrationality sequence (object). Also Wikidata Q17079511
History
- 2026-10-26: add by m2/dev
8Z6D726B3B 8Z6D726B3B
| URI | m2://inv/8Z6D726B3B |
|---|---|
| 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.23446#WUXE (statement)
History
- 2026-11-02: add by m2/v0.6.17
8Z6KCNJ4T7 8Z6KCNJ4T7
| URI | m2://inv/8Z6KCNJ4T7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#thm:ttac (statement). In N54F33XE07, thm, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
8Z6KX11C5Y 8Z6KX11C5Y
| URI | m2://inv/8Z6KX11C5Y |
|---|---|
| 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.12732#730I (statement). In 5E91Y3VY9E/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
8Z6ZC73B4E 8Z6ZC73B4E
| URI | m2://inv/8Z6ZC73B4E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35467#TAKY (statement). In FK89DQ9J4S/e1, corollary 5.9
History
- 2026-10-30: add by m2/v0.4.12
Exponential map 8Z734EV661
| URI | m2://inv/8Z734EV661 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential map (Lie theory), Exponential map (definition). Also Wikidata Q19810382
History
- 2026-11-02: add by m2/dev
8Z7DYHD8NV 8Z7DYHD8NV
| URI | m2://inv/8Z7DYHD8NV |
|---|---|
| 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.22296#6KFE (statement)
History
- 2026-11-02: add by m2/v0.6.17
Internal validity 8Z7M7HGRR6
| URI | m2://inv/8Z7M7HGRR6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#K5ZK, Internal validity (definition)
History
- 2026-11-02: add by m2/dev
Definition 8Z7MB2JYHH
| URI | m2://inv/8Z7MB2JYHH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Big q-Laguerre polynomials#N77Z, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications 8Z7P00A9K9
| URI | m2://inv/8Z7P00A9K9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel principal component analysis#CDDZ, Applications (example)
History
- 2026-11-02: add by m2/dev
ideal quotient 8Z7QPYBQ5A
| URI | m2://inv/8Z7QPYBQ5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Ideal quotient 16J9DM8V57 |
Mentions
- wikidata: Wikidata Q17098054, ideal quotient (unknown). Also MathWorld IdealQuotient
- wikipedia: Wikipedia Ideal quotient, Ideal quotient (definition). Also Wikidata Q17098054
History
- 2026-10-26: add by m2/dev
Mixture likelihood and local optimality 8Z7TY591R3
| URI | m2://inv/8Z7TY591R3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27200#LN9E, Mixture likelihood and local optimality (statement)
History
- 2026-11-01: add by m2/v0.6.15
Christian Heinrich von Nagel 8Z7WX5NJEE
| URI | m2://inv/8Z7WX5NJEE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#HBW4, Christian Heinrich von Nagel (topic)
History
- 2026-11-02: add by m2/dev
Dialetheism 8Z7ZZZHK3A
| URI | m2://inv/8Z7ZZZHK3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dialetheism, Dialetheism (definition). Also Wikidata Q3844169
History
- 2026-11-02: add by m2/dev
8Z800B9012 8Z800B9012
| URI | m2://inv/8Z800B9012 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-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 math/0009023#8C80 (definition). In S937GXH9AS/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
8Z81NERK3X 8Z81NERK3X
| URI | m2://inv/8Z81NERK3X |
|---|---|
| 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 1903.07030#AVOO (statement). In 9H45HQE7AZ/e1, corollary 3.43
History
- 2026-10-27: add by m2/v0.3.5
Compactified observable distance 8Z83QVB2MK
| URI | m2://inv/8Z83QVB2MK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#WCJT, Compactified observable distance (definition)
History
- 2026-11-01: add by m2/v0.6.15
8Z84468G8Z 8Z84468G8Z
| URI | m2://inv/8Z84468G8Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32446#9R3P (statement). In W1KVJEGJ1W/e1, lemma F.2
History
- 2026-10-31: add by m2/v0.5.6
Applications 8Z85F99HFM
| URI | m2://inv/8Z85F99HFM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete choice#JIFF, Applications (example)
History
- 2026-11-02: add by m2/dev
8Z89C4W102 8Z89C4W102
| URI | m2://inv/8Z89C4W102 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16563#CJ9C (statement). In V51HCA9ZAA/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
8Z8AD8TDVW 8Z8AD8TDVW
| URI | m2://inv/8Z8AD8TDVW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#6F7B (example). In ABS9M47F4K/e1, example 3.2
History
- 2026-10-27: add by m2/v0.3.6
Wang Dongming 8Z8CD9MBX3
| URI | m2://inv/8Z8CD9MBX3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wang Dongming (academic), Wang Dongming (topic). Also Wikidata Q41787507
History
- 2026-11-02: add by m2/dev
Equally likely outcomes 8Z8MBKT6K2
| URI | m2://inv/8Z8MBKT6K2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outcome (probability)#QQ2H, Equally likely outcomes (unknown)
History
- 2026-11-02: add by m2/dev
8Z8QDJB2RN 8Z8QDJB2RN
| URI | m2://inv/8Z8QDJB2RN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#RC49 (example). In G1RP4JY5PE/e1, example 4.3.6
History
- 2026-10-31: add by m2/v0.5.6
8Z94KCPJYC 8Z94KCPJYC
| URI | m2://inv/8Z94KCPJYC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01267#QEQS (statement). In GWWHP6R0BZ/e1, lemma 4.9
History
- 2026-10-29: add by m2/v0.4.12
Gottlob Frege 8Z979EWCHG
| URI | m2://inv/8Z979EWCHG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#CQ21, Gottlob Frege (topic)
History
- 2026-11-02: add by m2/dev
8Z9QHP4PEN 8Z9QHP4PEN
| URI | m2://inv/8Z9QHP4PEN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-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.01694#BCIV (statement). In EBMHYN0XK9/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.12
Raphaël Cerf 8Z9R6C659C
| URI | m2://inv/8Z9R6C659C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#724V, Raphaël Cerf (topic)
History
- 2026-11-02: add by m2/dev
8ZA002HS8F 8ZA002HS8F
| URI | m2://inv/8ZA002HS8F |
|---|---|
| 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 2305.01474#YBZQ (statement). In 2QB5F6J24Q/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.4.0
Extensions 8ZA1CZVYVS
| URI | m2://inv/8ZA1CZVYVS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Löwenheim number#PPLY, Extensions (statement)
History
- 2026-11-02: add by m2/dev
8ZA2SP1H1X 8ZA2SP1H1X
| URI | m2://inv/8ZA2SP1H1X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.05010#I1FH (statement). In 4SZNPS3Z00/e1, lemma 5.10
History
- 2026-10-27: add by m2/v0.3.6
Length one 8ZA8RXW6TK
| URI | m2://inv/8ZA8RXW6TK |
|---|---|
| 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 2610.04214#Z6SW, Length one (example). In HWY7AQ4KT2/e1, example 3.3
History
- 2026-10-29: add by m2/v0.4.12
8ZA8T60WJS 8ZA8T60WJS
| URI | m2://inv/8ZA8T60WJS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2007.14459#68VQ (definition). In SGQ7VFEZ22/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Special cases 8ZAFFXDE0B
| URI | m2://inv/8ZAFFXDE0B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthodiagonal quadrilateral#WBNM, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Cantor distribution 8ZAVPHEN91
| URI | m2://inv/8ZAVPHEN91 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SLLA, Cantor distribution (definition)
History
- 2026-11-02: add by m2/dev
Filtered module 8ZAZ6BP9SY
| URI | m2://inv/8ZAZ6BP9SY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filtration (mathematics)#NJSZ, Filtered module (unknown)
History
- 2026-11-02: add by m2/dev
8ZAZA7HJEJ 8ZAZA7HJEJ
| URI | m2://inv/8ZAZA7HJEJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10745#6F8U (statement). In 5MJ4NJ5ZCV/e1, lemma B.4
History
- 2026-10-28: add by m2/v0.4.3
8ZB1AXTD4Z 8ZB1AXTD4Z
| URI | m2://inv/8ZB1AXTD4Z |
|---|---|
| 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 2207.11097#IOWJ (statement). In 13H5BTAXHF/e1, lemma 14
History
- 2026-10-27: add by m2/v0.3.5
unit disk 8ZBM3Y3NH5
| URI | m2://inv/8ZBM3Y3NH5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Unit disc 8G5ABXRK85 |
Mentions
- wikidata: Wikidata Q2390323, unit disk (unknown). Also MathWorld UnitDisk
- wikipedia: Wikipedia Unit disk, Unit disk (definition). Also Wikidata Q2390323
History
- 2026-10-26: add by m2/dev
Maria Hoffmann-Ostenhof 8ZBMEBK2T2
| URI | m2://inv/8ZBMEBK2T2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maria Hoffmann-Ostenhof, Maria Hoffmann-Ostenhof (topic). Also Wikidata Q1268188
History
- 2026-11-02: add by m2/dev
The Prisoner of Benda 8ZBPYXY244
| URI | m2://inv/8ZBPYXY244 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Prisoner of Benda, The Prisoner of Benda (definition). Also Wikidata Q432409
History
- 2026-11-02: add by m2/dev
Avner Friedman 8ZBRH49T72
| URI | m2://inv/8ZBRH49T72 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#T4HY, Avner Friedman (topic)
History
- 2026-11-02: add by m2/dev
Singular function 8ZBT76GCJV
| URI | m2://inv/8ZBT76GCJV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular function, Singular function (definition). Also Wikidata Q2374166
History
- 2026-11-02: add by m2/dev
8ZC83C7YFN 8ZC83C7YFN
| URI | m2://inv/8ZC83C7YFN |
|---|---|
| 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.16518#61FE (statement). In SAQBDG4FK1/e1, lemma F.10
History
- 2026-10-28: add by m2/v0.4.2
8ZC8AJ36HW 8ZC8AJ36HW
| URI | m2://inv/8ZC8AJ36HW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.17850#H75C (statement). In WS5KWBEG5Q/e1, lemma 10
History
- 2026-10-27: add by m2/v0.4.0
8ZCEADVM8F 8ZCEADVM8F
| URI | m2://inv/8ZCEADVM8F |
|---|---|
| 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.33852#47UA (statement). In 1WPPDSF0EJ/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
monad 8ZCGM2EREE
| URI | m2://inv/8ZCGM2EREE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Category theory > monad, monad (unknown). Also Mathlib CategoryTheory.Monad
History
- 2026-10-26: add by m2/dev
8ZCHBGTF6J 8ZCHBGTF6J
| URI | m2://inv/8ZCHBGTF6J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30527#7236 (statement). In E3WQDZY388/e1, theorem 1.4
History
- 2026-10-31: add by m2/v0.5.6
Statistical semantics 8ZCSC0P1T5
| URI | m2://inv/8ZCSC0P1T5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#76QN, Statistical semantics (topic)
History
- 2026-11-02: add by m2/dev
Representations 8ZCZ6XXT2R
| URI | m2://inv/8ZCZ6XXT2R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective unitary group#Z1F5, Representations (definition)
History
- 2026-11-02: add by m2/dev
8ZD76N6HJD 8ZD76N6HJD
| URI | m2://inv/8ZD76N6HJD |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1705.04310#8G4Z (problem). In MG51GG0QZN/e1, problem 3.6
History
- 2026-10-27: add by m2/v0.3.5
8ZDC893Z37 8ZDC893Z37
| URI | m2://inv/8ZDC893Z37 |
|---|---|
| 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.28143#W670 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Direct gradient estimation 8ZDDXKP01D
| URI | m2://inv/8ZDDXKP01D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06810#79X3, Direct gradient estimation (statement). In 1NY2SA03XF/e1, lemma 3.16
History
- 2026-10-29: add by m2/v0.4.10
Poll aggregator 8ZDQQXMTDQ
| URI | m2://inv/8ZDQQXMTDQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poll aggregator, Poll aggregator (definition). Also Wikidata Q7225533
History
- 2026-11-02: add by m2/dev
Goldin, Rebecca 8ZDVQ936S5
| URI | m2://inv/8ZDVQ936S5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#130X, Goldin, Rebecca (topic)
History
- 2026-11-02: add by m2/dev
Raymond Louis Wilder 8ZDVQKTK58
| URI | m2://inv/8ZDVQKTK58 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raymond Louis Wilder, Raymond Louis Wilder (topic). Also Wikidata Q2134208
History
- 2026-11-02: add by m2/dev
Square lattice Ising model 8ZDWPPJ7WK
| URI | m2://inv/8ZDWPPJ7WK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square lattice Ising model, Square lattice Ising model (definition). Also Wikidata Q7581981
History
- 2026-11-02: add by m2/dev
Definition 8ZE1Y9RKBM
| URI | m2://inv/8ZE1Y9RKBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milnor K-theory#N786, Definition (definition)
History
- 2026-11-02: add by m2/dev
8ZE4HKPWR1 8ZE4HKPWR1
| URI | m2://inv/8ZE4HKPWR1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#CEGW (statement). In 9EMCPF1F2T/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
8ZE540PTBB 8ZE540PTBB
| URI | m2://inv/8ZE540PTBB |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#I8BV (statement). In CY1FE8W1ZW/e1, lemma 0.36
History
- 2026-10-27: add by m2/v0.3.5
8ZEDAB98EK 8ZEDAB98EK
| URI | m2://inv/8ZEDAB98EK |
|---|---|
| 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#SM7H (example). In HX63A1PH1W/e1, example 8.17
History
- 2026-10-28: add by m2/v0.4.3
8ZEPC5A30B 8ZEPC5A30B
| URI | m2://inv/8ZEPC5A30B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#CYX5 (statement). In FDYZFDHZH9/e1, lemma 3.11
History
- 2026-10-31: add by m2/v0.5.6
Standard stochastic first-order oracle 8ZEPEZ6CVN
| URI | m2://inv/8ZEPEZ6CVN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03633#ZPYI, Standard stochastic first-order oracle (definition). In X3E4D61X4V/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.12
8ZET341MB5 8ZET341MB5
| URI | m2://inv/8ZET341MB5 |
|---|---|
| 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.28024#BO3L (statement)
History
- 2026-11-01: add by m2/v0.6.15
Yboon García Ramos 8ZETCSV1VV
| URI | m2://inv/8ZETCSV1VV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yboon García Ramos, Yboon García Ramos (topic). Also Wikidata Q102312691
History
- 2026-11-02: add by m2/dev
8ZF1T0RQ0N 8ZF1T0RQ0N
| URI | m2://inv/8ZF1T0RQ0N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23871#IYL4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Karger--Motwani--Sudan 8ZF23D2TJV
| URI | m2://inv/8ZF23D2TJV |
|---|---|
| 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.01071#C1C4, Karger--Motwani--Sudan (statement). In X1YF62ZFB6/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.12
Alexander Arhangelskii 8ZF26GJGC8
| URI | m2://inv/8ZF26GJGC8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XEHD, Alexander Arhangelskii (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VXY0, Alexander Arhangelskii (topic)
History
- 2026-11-02: add by m2/dev
Implementations 8ZF5HTG7ED
| URI | m2://inv/8ZF5HTG7ED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PKCS 1#6WZ1, Implementations (definition)
History
- 2026-11-02: add by m2/dev
8ZFMVXEXFM 8ZFMVXEXFM
| URI | m2://inv/8ZFMVXEXFM |
|---|---|
| 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.12713#9HTB (statement). In F14A5HX20Q/e1, proposition B.5.3
History
- 2026-10-28: add by m2/v0.4.2
Luxembourg Mathematical Society 8ZFP57X6H8
| URI | m2://inv/8ZFP57X6H8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luxembourg Mathematical Society, Luxembourg Mathematical Society (definition). Also Wikidata Q5142793
History
- 2026-11-02: add by m2/dev
8ZFXEHTAJ5 8ZFXEHTAJ5
| URI | m2://inv/8ZFXEHTAJ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 1209.3562#WCOO (statement). In KZH1DCS18C/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.3.5
8ZG4ADTK8K 8ZG4ADTK8K
| URI | m2://inv/8ZG4ADTK8K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34852#GOQF (statement). In TZXEMCBK5V/e1, corollary 1.8
History
- 2026-10-30: add by m2/v0.4.12
Definition 8ZG6YV2TYQ
| URI | m2://inv/8ZG6YV2TYQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann sum#BCQP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Otto Weininger 8ZGAYX67DZ
| URI | m2://inv/8ZGAYX67DZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Otto Weininger, Otto Weininger (topic). Also Wikidata Q78513
History
- 2026-11-02: add by m2/dev
Strong RSA assumption 8ZGC3J62T9
| URI | m2://inv/8ZGC3J62T9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong RSA assumption, Strong RSA assumption (definition). Also Wikidata Q7624514
History
- 2026-11-02: add by m2/dev
proof by induction 8ZGDDC6MGW
| URI | m2://inv/8ZGDDC6MGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#Q6X2, proof by induction (definition)
History
- 2026-11-02: add by m2/dev
8ZGR8E5EVB 8ZGR8E5EVB
| URI | m2://inv/8ZGR8E5EVB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21994#CMON (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications 8ZGZ4F1J7R
| URI | m2://inv/8ZGZ4F1J7R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric projection#ADJR, Applications (example)
History
- 2026-11-02: add by m2/dev
Vladimir Voevodsky 8ZH3QW0K9V
| URI | m2://inv/8ZH3QW0K9V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#WNFZ, Vladimir Voevodsky (topic)
History
- 2026-11-02: add by m2/dev
Differential of the first kind 8ZH58KP3R5
| URI | m2://inv/8ZH58KP3R5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#RRWG, Differential of the first kind (definition)
History
- 2026-11-02: add by m2/dev
1600 (number) 8ZH7VYA5ZT
| URI | m2://inv/8ZH7VYA5ZT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1000 (number)#NVKB, 1600 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Definitions 8ZHD441NNK
| URI | m2://inv/8ZHD441NNK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opaque set#L1OE, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Symmetric function 8ZHN54469B
| URI | m2://inv/8ZHN54469B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#MN8K, Symmetric function (definition)
- wikipedia: Wikipedia List of polynomial topics#DBFK, Symmetric function (definition)
- wikipedia: Wikipedia List of abstract algebra topics#CZJT, Symmetric function (definition)
- wikipedia: Wikipedia List of permutation topics#ZGJI, Symmetric function (definition)
History
- 2026-11-02: add by m2/dev
Theory of Lie groups 8ZHQQVFMGT
| URI | m2://inv/8ZHQQVFMGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theory of Lie groups, Theory of Lie groups (definition). Also Wikidata Q7782424
History
- 2026-11-02: add by m2/dev
Taylor's theorem, real-analytic 8ZHVGPM3GF
| URI | m2://inv/8ZHVGPM3GF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/1.3.4/taylor-s-theorem-real-analytic, Taylor's theorem, real-analytic (concept). In E59CDZA4DP, index, section 1.3.4
History
- 2026-11-01: add by m2/v0.6.13
8ZJ0XQHDTN 8ZJ0XQHDTN
| URI | m2://inv/8ZJ0XQHDTN |
|---|---|
| Kind | statement |
| 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 2610.13980#T4OK (statement). In 6DNZE6RT72/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Joceline Lega 8ZJAKSQDZ7
| URI | m2://inv/8ZJAKSQDZ7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joceline Lega, Joceline Lega (topic). Also Wikidata Q43536259
History
- 2026-11-02: add by m2/dev
Definition 8ZJK3Z60H5
| URI | m2://inv/8ZJK3Z60H5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inhabited set#KLNL, Definition (definition)
History
- 2026-11-02: add by m2/dev
8ZJP3B6TNM 8ZJP3B6TNM
| URI | m2://inv/8ZJP3B6TNM |
|---|---|
| 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.19288#LX4W (statement). In 1EA6AM9V01/e1, proposition C.7
History
- 2026-10-28: add by m2/v0.4.2
Definitions 8ZJR4TFFDB
| URI | m2://inv/8ZJR4TFFDB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bing–Borsuk conjecture#VSN5, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Lattices 8ZJRHYKVHE
| URI | m2://inv/8ZJRHYKVHE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28282#27CC, Lattices (definition)
History
- 2026-11-01: add by m2/v0.6.15
Elon Lages Lima 8ZJWCSZ85E
| URI | m2://inv/8ZJWCSZ85E |
|---|---|
| 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 Q1790932, Elon Lages Lima (unknown). Also ProofWiki Mathematician:Elon_Lages_Lima
- wikipedia: Wikipedia Elon Lages Lima, Elon Lages Lima (topic). Also Wikidata Q1790932
History
- 2026-10-26: add by m2/dev
8ZJWZGHW9G 8ZJWZGHW9G
| URI | m2://inv/8ZJWZGHW9G |
|---|---|
| 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.16235#QF8J (example). In RNGNWGMX85/e1, example 3.3
History
- 2026-10-28: add by m2/v0.4.2
Properties 8ZK7M3BV30
| URI | m2://inv/8ZK7M3BV30 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 6174#UMWG, Properties (statement)
History
- 2026-11-02: add by m2/dev
8ZKBTQMMVZ 8ZKBTQMMVZ
| URI | m2://inv/8ZKBTQMMVZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37471#Y5UI (statement). In KDF1GTQV08/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Tripolitania 8ZKWGW5S70
| URI | m2://inv/8ZKWGW5S70 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#B259, Tripolitania (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 8ZKX6E29AJ
| URI | m2://inv/8ZKX6E29AJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous function#M9VF, Theorem (statement)
History
- 2026-11-02: add by m2/dev
bridge 8ZM1253VA9
| URI | m2://inv/8ZM1253VA9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Bridge 0BANA3XYPF |
Mentions
- wikidata: Wikidata Q2532492, bridge (definition). Also MathWorld GraphBridge, ProofWiki Definition:Bridge_(Graph_Theory)
- wikipedia: Wikipedia Bridge (graph theory), Bridge (definition). Also Wikidata Q2532492
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Discrete distribution 8ZM26W25FQ
| URI | m2://inv/8ZM26W25FQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability distribution#AHK5, Discrete distribution (unknown)
History
- 2026-11-02: add by m2/dev
8ZM5BBK55C 8ZM5BBK55C
| URI | m2://inv/8ZM5BBK55C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02642#ON1J (statement). In VMWV58VWKN/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
8ZM8V2690J 8ZM8V2690J
| URI | m2://inv/8ZM8V2690J |
|---|---|
| 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.14821#OJGR (statement). In B0B2P7JEAQ/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
8ZMDR0BYB0 8ZMDR0BYB0
| URI | m2://inv/8ZMDR0BYB0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 13-XX, 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26127#AAZG (definition)
History
- 2026-11-01: add by m2/v0.6.15
Van der Pol oscillator 8ZMKE18XDH
| URI | m2://inv/8ZMKE18XDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2081515, Van der Pol oscillator (unknown). Also MathWorld vanderPolEquation
- wikipedia: Wikipedia Van der Pol oscillator, Van der Pol oscillator (definition). Also Wikidata Q2081515
History
- 2026-10-26: add by m2/dev
The conjecture 8ZMQP67P7C
| URI | m2://inv/8ZMQP67P7C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gillies' conjecture#D594, The conjecture (statement)
History
- 2026-11-02: add by m2/dev
8ZMR0EMEN0 8ZMR0EMEN0
| URI | m2://inv/8ZMR0EMEN0 |
|---|---|
| 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.30354#ZG2F (statement). In B81DM51XSK/e1, lemma 6
History
- 2026-10-31: add by m2/v0.5.6
8ZMZZXS53F 8ZMZZXS53F
| URI | m2://inv/8ZMZZXS53F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.13734#IJ5X (statement). In 7AXKHR4YB3/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.6
8ZN4Y35AHB 8ZN4Y35AHB
| URI | m2://inv/8ZN4Y35AHB |
|---|---|
| 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 2606.00589#J54U (statement). In C8JAGP8VCQ/e1, lemma 8.2
History
- 2026-10-27: add by m2/v0.3.5
Seismic migration 8ZNSS8ZR6F
| URI | m2://inv/8ZNSS8ZR6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seismic migration, Seismic migration (definition). Also Wikidata Q2111620
History
- 2026-11-02: add by m2/dev
Definition 8ZNXWGBDNJ
| URI | m2://inv/8ZNXWGBDNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zimmert set#LE6C, Definition (definition)
History
- 2026-11-02: add by m2/dev
8ZNZ6HAXS6 8ZNZ6HAXS6
| URI | m2://inv/8ZNZ6HAXS6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-numbth.ptx#proof-1 (proof). In Y91XFCEVHQ, proof, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
group completion 8ZPD7NHPT6
| URI | m2://inv/8ZPD7NHPT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#ML8B, group completion (definition)
History
- 2026-11-02: add by m2/dev
William C. Waterhouse 8ZPGJ3WD6T
| URI | m2://inv/8ZPGJ3WD6T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William C. Waterhouse, William C. Waterhouse (topic). Also Wikidata Q8006417
History
- 2026-11-02: add by m2/dev
Local zeta function 8ZPH96RQWT
| URI | m2://inv/8ZPH96RQWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local zeta function, Local zeta function (definition). Also Wikidata Q3075294
History
- 2026-11-02: add by m2/dev
Random projection 8ZPJG8KJ2C
| URI | m2://inv/8ZPJG8KJ2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random projection, Random projection (definition). Also Wikidata Q18393452
History
- 2026-11-02: add by m2/dev
Book of logarithms 8ZPJJPQBJR
| URI | m2://inv/8ZPJJPQBJR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical table#B4UW, Book of logarithms (unknown)
History
- 2026-11-02: add by m2/dev
Exposure cost of a dual path 8ZPQ352Z4Q
| URI | m2://inv/8ZPQ352Z4Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04944#2UF7, Exposure cost of a dual path (statement). In BHSY6QQCVK/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.12
1729 8ZPQS7D5CW
| URI | m2://inv/8ZPQS7D5CW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#P4Q2, 1729 (definition)
History
- 2026-11-02: add by m2/dev
8ZPYM264ZC 8ZPYM264ZC
| URI | m2://inv/8ZPYM264ZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#2W94 (statement). In E7W2HDNEKJ/e1, lemma 7.7
History
- 2026-10-30: add by m2/v0.4.12
Examples of open sets 8ZQ8V67B8M
| URI | m2://inv/8ZQ8V67B8M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#example-14, Examples of open sets (example). In RZP28ERRZV, example, section 100.6
History
- 2026-11-01: add by m2/v0.6.13
Product coordinates 8ZQE5S9CDS
| URI | m2://inv/8ZQE5S9CDS |
|---|---|
| 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.00137#K3CL, Product coordinates (statement). In NKW6YQ04QW/e1, lemma 7.3
History
- 2026-10-30: add by m2/v0.4.12
Funkschlüssel C 8ZQNA65WGC
| URI | m2://inv/8ZQNA65WGC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enigma machine#W7JS, Funkschlüssel C (unknown)
History
- 2026-11-02: add by m2/dev
analytic continuation 8ZQXBM1576
| URI | m2://inv/8ZQXBM1576 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/analytic-continuation, analytic continuation (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
8ZR2599MTG 8ZR2599MTG
| URI | m2://inv/8ZR2599MTG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16853#1PE0 (definition). In Y43AAKZ7E6/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Local algebraic representatives 8ZR9ZCM9PD
| URI | m2://inv/8ZR9ZCM9PD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#FLGN, Local algebraic representatives (statement)
History
- 2026-11-01: add by m2/v0.6.15
Multiplicative group 8ZRCCTTBJX
| URI | m2://inv/8ZRCCTTBJX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicative group, Multiplicative group (definition). Also Wikidata Q3777923
History
- 2026-11-02: add by m2/dev
Quadratic variances under positive curvature 8ZRKAC1MKG
| URI | m2://inv/8ZRKAC1MKG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#4NSR, Quadratic variances under positive curvature (statement). In FTPW1SZ8D3/e1, lemma A.10
History
- 2026-10-30: add by m2/v0.4.12
Completed larger same-side region 8ZRN9BMZNV
| URI | m2://inv/8ZRN9BMZNV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#WS6O, Completed larger same-side region (statement)
History
- 2026-11-01: add by m2/v0.6.15
Wrapped asymmetric Laplace distribution 8ZRP00RYW2
| URI | m2://inv/8ZRP00RYW2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#UUP1, Wrapped asymmetric Laplace distribution (unknown)
History
- 2026-11-02: add by m2/dev
8ZRYWN1A08 8ZRYWN1A08
| URI | m2://inv/8ZRYWN1A08 |
|---|---|
| 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.29943#N1GH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 8ZS07PET6R
| URI | m2://inv/8ZS07PET6R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler class#6PB9, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications 8ZS336D6WP
| URI | m2://inv/8ZS336D6WP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subsequence#IUJB, Applications (example)
History
- 2026-11-02: add by m2/dev
Loop periods 8ZS5GREAKK
| URI | m2://inv/8ZS5GREAKK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10790#V001, Loop periods (statement). In HHQ6P3RRB8/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.3
8ZS8FEVM1X 8ZS8FEVM1X
| URI | m2://inv/8ZS8FEVM1X |
|---|---|
| Kind | definition |
| 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.03420#F22V (definition). In TG11SZZQCR/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.12
List of Fourier-related transforms 8ZSGTDSKDC
| URI | m2://inv/8ZSGTDSKDC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#D1SN, List of Fourier-related transforms (topic)
- wikipedia: Wikipedia Lists of mathematics topics#31C2, List of Fourier-related transforms (topic)
- wikipedia: Wikipedia List of Fourier analysis topics#PYYI, List of Fourier-related transforms (topic)
History
- 2026-11-02: add by m2/dev
conchoid 8ZSKD53K67
| URI | m2://inv/8ZSKD53K67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#UY39, conchoid (definition)
History
- 2026-11-02: add by m2/dev
8ZSSMPSBPV 8ZSSMPSBPV
| URI | m2://inv/8ZSSMPSBPV |
|---|---|
| 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.39269#R685 (statement). In HS4X20TX33/e1, fact 0.21
History
- 2026-10-30: add by m2/v0.4.12
Properties 8ZSSX4FZPW
| URI | m2://inv/8ZSSX4FZPW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace distance#RLCR, Properties (statement)
History
- 2026-11-02: add by m2/dev
Panov's localization theorem 8ZST3J902P
| URI | m2://inv/8ZST3J902P |
|---|---|
| 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.20735#6HY9, Panov's localization theorem (statement)
History
- 2026-11-02: add by m2/v0.6.18
8ZT3ZWRQHK 8ZT3ZWRQHK
| URI | m2://inv/8ZT3ZWRQHK |
|---|---|
| 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.38475#Q19B (statement). In X2AAB9KZ4R/e1, proposition 1.1
History
- 2026-10-30: add by m2/v0.4.12
8ZT408YB6W 8ZT408YB6W
| URI | m2://inv/8ZT408YB6W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19669#M4E7 (statement). In 1QPAA94Q76/e1, lemma 32
History
- 2026-10-28: add by m2/v0.4.2
Standard Conjectures on Algebraic Cycles 8ZTAJZVCTP
| URI | m2://inv/8ZTAJZVCTP |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7598336, Standard Conjectures on Algebraic Cycles (unknown). Also nLab Standard Conjectures on Algebraic Cycles
- wikipedia: Wikipedia Standard conjectures on algebraic cycles, Standard conjectures on algebraic cycles (conjecture). Also Wikidata Q7598336
History
- 2026-10-26: add by m2/dev
f-Strong topology 8ZTH662ATP
| URI | m2://inv/8ZTH662ATP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#AP70, f-Strong topology (definition)
History
- 2026-11-02: add by m2/dev
8ZTZMWHKRH 8ZTZMWHKRH
| URI | m2://inv/8ZTZMWHKRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31243#TQGP (statement). In E8FP48FJMZ/e1, theorem 7.2
History
- 2026-10-31: add by m2/v0.5.6
Basic properties 8ZTZRZKPCR
| URI | m2://inv/8ZTZRZKPCR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constant function#ER0Q, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Generalization 8ZV2Y34QR8
| URI | m2://inv/8ZV2Y34QR8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pairing function#T3DW, Generalization (statement)
History
- 2026-11-02: add by m2/dev
String link 8ZV5MK42HC
| URI | m2://inv/8ZV5MK42HC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#B1Z6, String link (definition)
History
- 2026-11-02: add by m2/dev
CEV parameter space 8ZV6HZP4RG
| URI | m2://inv/8ZV6HZP4RG |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05864#5DKV, CEV parameter space (unknown). In 31QPXWDZSH/e1, unknown A2
History
- 2026-10-29: add by m2/v0.4.10
8ZVP6GFKDX 8ZVP6GFKDX
| URI | m2://inv/8ZVP6GFKDX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2105.13129#MLWS (statement). In J5Z1JD5VKR/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.0
Example 8ZVX33DBZG
| URI | m2://inv/8ZVX33DBZG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shanks's square forms factorization#USK9, Example (example)
History
- 2026-11-02: add by m2/dev
Silent Circle 8ZVYCP3BV6
| URI | m2://inv/8ZVYCP3BV6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Silent Circle (software), Silent Circle (definition). Also Wikidata Q7514544
History
- 2026-11-02: add by m2/dev
8ZW3K1YYWS 8ZW3K1YYWS
| URI | m2://inv/8ZW3K1YYWS |
|---|---|
| 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.13850#UXFE (statement). In KJY735KSMF/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
power 8ZW4BHSZPE
| URI | m2://inv/8ZW4BHSZPE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#YPVA, power (definition)
History
- 2026-11-02: add by m2/dev
tall cardinal 8ZWBXT1VZW
| URI | m2://inv/8ZWBXT1VZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#DHN6, tall cardinal (definition)
History
- 2026-11-02: add by m2/dev
8ZWGNX5NSE 8ZWGNX5NSE
| URI | m2://inv/8ZWGNX5NSE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2609.35102#WW18 (statement). In XK6H7F2F13/e1, theorem 6.1
History
- 2026-10-30: add by m2/v0.4.12
Masatoshi Noumi 8ZWN25JHJZ
| URI | m2://inv/8ZWN25JHJZ |
|---|---|
| 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#76PU, Masatoshi Noumi (unknown)
History
- 2026-11-02: add by m2/dev
Joseph-Louis Lagrange 8ZWT8TYN8J
| URI | m2://inv/8ZWT8TYN8J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#SW9L, Joseph-Louis Lagrange (topic)
History
- 2026-11-02: add by m2/dev
8ZX1MM1MAE 8ZX1MM1MAE
| URI | m2://inv/8ZX1MM1MAE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08682#0UTZ (statement). In Y306A1GPM5/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.10
CM-field or J-field 8ZX44G7VFK
| URI | m2://inv/8ZX44G7VFK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#KS36, CM-field or J-field (definition)
History
- 2026-11-02: add by m2/dev
Data processing for TV 8ZX639MXC3
| URI | m2://inv/8ZX639MXC3 |
|---|---|
| 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.10640#4ZPM, Data processing for TV (statement). In BAQVK6N0RD/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.10
Alexander Braverman 8ZX94SH39M
| URI | m2://inv/8ZX94SH39M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NFIP, Alexander Braverman (topic)
History
- 2026-11-02: add by m2/dev
Yuri Matiyasevich 8ZXRST1W1H
| URI | m2://inv/8ZXRST1W1H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WGZK, Yuri Matiyasevich (topic)
History
- 2026-11-02: add by m2/dev
8ZXRWGP93S 8ZXRWGP93S
| URI | m2://inv/8ZXRWGP93S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00105#Y80G (statement). In EZXTEXR47M/e1, corollary 4.5
History
- 2026-10-30: add by m2/v0.4.12
Feuerbach point 8ZXVQRJ67V
| URI | m2://inv/8ZXVQRJ67V |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2190744, Feuerbach's theorem (statement). Also Wikidata Q2190744
- thousand_plus: thousand_plus Q2190744, Feuerbach's theorem (statement). Also Wikidata Q2190744, Wikipedia Feuerbach's theorem
- wikidata: Wikidata Q2190744, Feuerbach point (unknown). Also MathWorld FeuerbachPoint
- wikipedia: Wikipedia Feuerbach point, Feuerbach point (definition). Also Wikidata Q2190744
History
- 2026-10-26: add by m2/dev
8ZXW9HVQNY 8ZXW9HVQNY
| URI | m2://inv/8ZXW9HVQNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.36332#2841 (statement). In APK7X4MFAX/e1, proposition 7
History
- 2026-10-30: add by m2/v0.4.12
Application 8ZXWEK6S5W
| URI | m2://inv/8ZXWEK6S5W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zimmert set#PY84, Application (example)
History
- 2026-11-02: add by m2/dev
Definition 8ZXWWV1C96
| URI | m2://inv/8ZXWWV1C96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autocovariance#653W, Definition (definition)
History
- 2026-11-02: add by m2/dev
8ZXYQ5Y9SB 8ZXYQ5Y9SB
| URI | m2://inv/8ZXYQ5Y9SB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#XNAW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Non-example 8ZY3PMYT0S
| URI | m2://inv/8ZY3PMYT0S |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deligne–Mumford stack#K93A, Non-example (counterexample)
History
- 2026-11-02: add by m2/dev
8ZY52M7AW6 8ZY52M7AW6
| URI | m2://inv/8ZY52M7AW6 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 13-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.15869#YTAW (problem). In 5VRP29WZEK/e1, problem 6.3
History
- 2026-10-28: add by m2/v0.4.2
Timo Seppäläinen 8ZY59B5321
| URI | m2://inv/8ZY59B5321 |
|---|---|
| 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#HLLT, Timo Seppäläinen (unknown)
History
- 2026-11-02: add by m2/dev
8ZYADRHF14 8ZYADRHF14
| URI | m2://inv/8ZYADRHF14 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1006.4617#T5YR (definition). In VWACF4K16Q/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Probabilistic method 8ZYEKQ02F8
| URI | m2://inv/8ZYEKQ02F8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#0SF6, Probabilistic method (definition)
History
- 2026-11-02: add by m2/dev
8ZYJE715T3 8ZYJE715T3
| URI | m2://inv/8ZYJE715T3 |
|---|---|
| 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.16203#K8KT (statement). In 43TBS9P2PX/e1, lemma 3.10
History
- 2026-10-28: add by m2/v0.4.2
Mouse 8ZYPBTXNB8
| URI | m2://inv/8ZYPBTXNB8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mouse (set theory), Mouse (definition). Also Wikidata Q33510
History
- 2026-11-02: add by m2/dev
Variants 8ZYQ58PKAQ
| URI | m2://inv/8ZYQ58PKAQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pointwise mutual information#D5EL, Variants (statement)
History
- 2026-11-02: add by m2/dev
theorem, Conway's simplicity 8ZYTSEKZ59
| URI | m2://inv/8ZYTSEKZ59 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/theorem-conway-s-simplicity, theorem, Conway's simplicity (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Finite element exterior calculus 8ZYX8Q6SN0
| URI | m2://inv/8ZYX8Q6SN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite element exterior calculus, Finite element exterior calculus (definition). Also Wikidata Q19597249
History
- 2026-11-02: add by m2/dev
8ZYX9P8KWK 8ZYX9P8KWK
| URI | m2://inv/8ZYX9P8KWK |
|---|---|
| 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.37920#CQYA (statement). In GZPF8R6BBF/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Applications 8ZYZGDANV7
| URI | m2://inv/8ZYZGDANV7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dehn invariant#6A06, Applications (example)
History
- 2026-11-02: add by m2/dev
Lars Hörmander 8ZZ3NDX21R
| URI | m2://inv/8ZZ3NDX21R |
|---|---|
| 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 Q333941, Lars Hörmander (unknown). Also nLab Lars Hörmander
- wikipedia: Wikipedia Lars Hörmander, Lars Hörmander (topic). Also Wikidata Q333941
History
- 2026-10-26: add by m2/dev
8ZZCS94YZ5 8ZZCS94YZ5
| URI | m2://inv/8ZZCS94YZ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34081#I1MF (statement). In 3RVGEKGX46/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Mean-field convergence 8ZZFSSGD17
| URI | m2://inv/8ZZFSSGD17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.33541#ULU6, Mean-field convergence (statement). In N3P196CEAJ/e1, corollary 2.5
History
- 2026-10-30: add by m2/v0.4.12
History of fiber optics 8ZZHQCHW6V
| URI | m2://inv/8ZZHQCHW6V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optical fiber#1TT1, History of fiber optics (unknown)
History
- 2026-11-02: add by m2/dev
Shared-model SDDP, geometric pass length 8ZZWJ0MVAS
| URI | m2://inv/8ZZWJ0MVAS |
|---|---|
| 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.12713#82D5, Shared-model SDDP, geometric pass length (statement). In F14A5HX20Q/e1, corollary 6.6
History
- 2026-10-28: add by m2/v0.4.2
Representations 8ZZXARRW6G
| URI | m2://inv/8ZZXARRW6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-Boolean function#2LTN, Representations (definition)
History
- 2026-11-02: add by m2/dev