Inventory rows 4P
The cards of the rows of the inventory whose ids start with 4P. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Dihedral two-point stabilizer and its suborbits 4P01H1H12N
| URI | m2://inv/4P01H1H12N |
|---|---|
| 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.15340#61PR, Dihedral two-point stabilizer and its suborbits (statement). In 9NVKKW8HDH/e1, lemma 2.68
History
- 2026-10-28: add by m2/v0.4.2
4P0A67YC4M 4P0A67YC4M
| URI | m2://inv/4P0A67YC4M |
|---|---|
| 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.06755#K867 (statement). In DKEX05SEXS/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.10
4P0H3GK9PY 4P0H3GK9PY
| URI | m2://inv/4P0H3GK9PY |
|---|---|
| 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.33421#76Q2 (statement). In YMVA1SJ640/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Example 4P0HEBR964
| URI | m2://inv/4P0HEBR964 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Venn diagram#YXH3, Example (example)
History
- 2026-11-02: add by m2/dev
Second strong law of small numbers 4P0RW3Y7J5
| URI | m2://inv/4P0RW3Y7J5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong law of small numbers#SK44, Second strong law of small numbers (statement)
History
- 2026-11-02: add by m2/dev
\textbf{The main bases 4P0YABGWNX
| URI | m2://inv/4P0YABGWNX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.14266#SKAS, \textbf{The main bases (statement). In 7R33E8515R/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.2
4P12CAE5D1 4P12CAE5D1
| URI | m2://inv/4P12CAE5D1 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.01586#ZCO2 (proof). In P39MF3ZJC0/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Saturation 4P16KY5YP0
| URI | m2://inv/4P16KY5YP0 |
|---|---|
| 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.16258#096T, Saturation (statement). In AZ6QMVKFHD/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
4P17HVT9D3 4P17HVT9D3
| URI | m2://inv/4P17HVT9D3 |
|---|---|
| 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.28501#5ZE2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition 4P1DTK1K5C
| URI | m2://inv/4P1DTK1K5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shallow minor#MM4Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
Hierarchical constraint satisfaction 4P1FBNV360
| URI | m2://inv/4P1FBNV360 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hierarchical constraint satisfaction, Hierarchical constraint satisfaction (definition). Also Wikidata Q1617459
History
- 2026-11-02: add by m2/dev
Dial's algorithm 4P1GH35TMX
| URI | m2://inv/4P1GH35TMX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dijkstra's algorithm#VSQK, Dial's algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Chikako Mese 4P1NHQD665
| URI | m2://inv/4P1NHQD665 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NL8G, Chikako Mese (topic)
History
- 2026-11-02: add by m2/dev
Application 4P1XEPDPKT
| URI | m2://inv/4P1XEPDPKT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological rigidity#CSJA, Application (example)
History
- 2026-11-02: add by m2/dev
Juncheng Wei 4P1Y0R7ZNJ
| URI | m2://inv/4P1Y0R7ZNJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Juncheng Wei, Juncheng Wei (topic). Also Wikidata Q6311655
History
- 2026-11-02: add by m2/dev
Examples 4P246AQA9S
| URI | m2://inv/4P246AQA9S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nirvana fallacy#UJH2, Examples (example)
History
- 2026-11-02: add by m2/dev
4P277QXMTE 4P277QXMTE
| URI | m2://inv/4P277QXMTE |
|---|---|
| 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.24569#QRBS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Vi Hart 4P2ADF40E7
| URI | m2://inv/4P2ADF40E7 |
|---|---|
| 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 Q677871, Vi Hart (unknown). Also ProofWiki Mathematician:Victoria_Hart
- wikipedia: Wikipedia Vi Hart, Vi Hart (topic). Also Wikidata Q677871
History
- 2026-10-26: add by m2/dev
Method of moments 4P2BFAZKKJ
| URI | m2://inv/4P2BFAZKKJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of moments (probability theory), Method of moments (definition). Also Wikidata Q6823720
History
- 2026-11-02: add by m2/dev
Jan te Nijenhuis 4P2BPVC1HF
| URI | m2://inv/4P2BPVC1HF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jan te Nijenhuis, Jan te Nijenhuis (topic). Also Wikidata Q47350932
History
- 2026-11-02: add by m2/dev
Definitions 4P2F998BXY
| URI | m2://inv/4P2F998BXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf decomposition#XNGJ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
4P2H3FTS0A 4P2H3FTS0A
| URI | m2://inv/4P2H3FTS0A |
|---|---|
| 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.22460#VTEO (statement). In 2ZXBTQR8FM/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Definition 4P2NWVDXAA
| URI | m2://inv/4P2NWVDXAA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cocycle#QZV4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Carl Ludwig Siegel 4P3001J664
| URI | m2://inv/4P3001J664 |
|---|---|
| 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 Q61721, Carl Ludwig Siegel (unknown). Also ProofWiki Mathematician:Carl_Ludwig_Siegel
- wikipedia: Wikipedia Carl Ludwig Siegel, Carl Ludwig Siegel (topic). Also Wikidata Q61721
History
- 2026-10-26: add by m2/dev
4P30G5XBHD 4P30G5XBHD
| URI | m2://inv/4P30G5XBHD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#SOF4 (definition). In CY1FE8W1ZW/e1, definition 0.227
History
- 2026-10-27: add by m2/v0.3.5
4P31MDAHGZ 4P31MDAHGZ
| URI | m2://inv/4P31MDAHGZ |
|---|---|
| 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.12105#CXX3 (statement). In 289HM2RXT3/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.3
4P31YQ4CGJ 4P31YQ4CGJ
| URI | m2://inv/4P31YQ4CGJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-3 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
4P34H6XHAF 4P34H6XHAF
| URI | m2://inv/4P34H6XHAF |
|---|---|
| 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#NLRU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 4P419WTCWH
| URI | m2://inv/4P419WTCWH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ω-complete theory#D0TZ, Examples (example)
History
- 2026-11-02: add by m2/dev
4P4JWW9NGB 4P4JWW9NGB
| URI | m2://inv/4P4JWW9NGB |
|---|---|
| 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#IJZF (statement)
History
- 2026-11-01: add by m2/v0.6.15
The two sparse matrices 4P4KRM1SDD
| URI | m2://inv/4P4KRM1SDD |
|---|---|
| Kind | definition |
| 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#Y9TQ, The two sparse matrices (definition)
History
- 2026-11-01: add by m2/v0.6.15
\'Alvarez-Kordyukov 4P4NXK9BNF
| URI | m2://inv/4P4NXK9BNF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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 dg-ga/9612010#LVVC (statement). In CM39SWC4A6/e1, corollary 7.3
- arxiv: arXiv math/9902147#LUES, \'Alvarez-Kordyukov (statement). In 7CK21JGM5A/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
4P4T7QH955 4P4T7QH955
| URI | m2://inv/4P4T7QH955 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/induction/relations.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 44.3
History
- 2026-11-01: add by m2/v0.6.13
Liouville's equation 4P53S76CPP
| URI | m2://inv/4P53S76CPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#VQBX, Liouville's equation (definition)
History
- 2026-11-02: add by m2/dev
Semi-locally simply connected 4P575K8SYE
| URI | m2://inv/4P575K8SYE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#YEL7, Semi-locally simply connected (definition)
History
- 2026-11-02: add by m2/dev
4P59DA0KKH 4P59DA0KKH
| URI | m2://inv/4P59DA0KKH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06300#X4Q6 (statement). In 751KSRS7WT/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
4P5H8W1ZMH 4P5H8W1ZMH
| URI | m2://inv/4P5H8W1ZMH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 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.07695#4YT0 (example). In 8Z47D12KSX/e1, example 8.6
History
- 2026-10-29: add by m2/v0.4.10
Applications 4P5K1V35ZY
| URI | m2://inv/4P5K1V35ZY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direction cosine#X0S2, Applications (example)
History
- 2026-11-02: add by m2/dev
directed 4P5NEPK7AF
| URI | m2://inv/4P5NEPK7AF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#SU6Y, directed (definition)
History
- 2026-11-02: add by m2/dev
4P5S1TPJ04 4P5S1TPJ04
| URI | m2://inv/4P5S1TPJ04 |
|---|---|
| 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.21414#NEKS (statement)
History
- 2026-11-02: add by m2/v0.6.18
4P5XVVD170 4P5XVVD170
| URI | m2://inv/4P5XVVD170 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-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 2609.21949#2ZCJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
The Value of Science 4P61GPNX86
| URI | m2://inv/4P61GPNX86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Value of Science, The Value of Science (definition). Also Wikidata Q3213421
History
- 2026-11-02: add by m2/dev
Main theorem 4P65DW2ACN
| URI | m2://inv/4P65DW2ACN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hartman–Grobman theorem#Z26X, Main theorem (statement)
History
- 2026-11-02: add by m2/dev
4P688QV09Y 4P688QV09Y
| URI | m2://inv/4P688QV09Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2610.19023#VPIO (statement). In QFA8TMJPHZ/e1, corollary 3.5
History
- 2026-10-28: add by m2/v0.4.2
Probability interpretations 4P6ATCYK0V
| URI | m2://inv/4P6ATCYK0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability interpretations, Probability interpretations (definition). Also Wikidata Q7246880
History
- 2026-11-02: add by m2/dev
Elongated square cupola 4P6NQ61CKQ
| URI | m2://inv/4P6NQ61CKQ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#MO6Z, Elongated square cupola (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#QD20, Elongated square cupola (object)
History
- 2026-11-02: add by m2/dev
Trivially-co-acting magnetic co-symmetry 4P6QEETK1B
| URI | m2://inv/4P6QEETK1B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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 2610.03865#5HZS, Trivially-co-acting magnetic co-symmetry (definition). In G3D1YR20BJ/e1, definition 2.13
History
- 2026-10-29: add by m2/v0.4.12
Fine-structure constant 4P6Y6QD3ND
| URI | m2://inv/4P6Y6QD3ND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#95RV, Fine-structure constant (unknown)
History
- 2026-11-02: add by m2/dev
4P70WXTVJ9 4P70WXTVJ9
| URI | m2://inv/4P70WXTVJ9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#problem-2 (exercise). In P1C114YBXG, problem, section K
History
- 2026-11-01: add by m2/v0.6.13
Methods 4P75KM1W86
| URI | m2://inv/4P75KM1W86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hand–eye calibration problem#J4T2, Methods (definition)
History
- 2026-11-02: add by m2/dev
slope 4P765SR866
| URI | m2://inv/4P765SR866 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q275447, slope (definition). Also MathWorld Slope, ProofWiki Definition:Slope
- wikipedia: Wikipedia Slope, Slope (definition). Also Wikidata Q275447
History
- 2026-10-26: add by m2/dev
Examples 4P76EFVB1Z
| URI | m2://inv/4P76EFVB1Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigendecomposition of a matrix#4E48, Examples (example)
History
- 2026-11-02: add by m2/dev
4P7E87Z7RR 4P7E87Z7RR
| URI | m2://inv/4P7E87Z7RR |
|---|---|
| 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.36181#ZUN6 (statement). In 1KSE33PVS6/e1, theorem 69
History
- 2026-10-30: add by m2/v0.4.12
Uniqueness and mixing in the strict region 4P7GNEWVGP
| URI | m2://inv/4P7GNEWVGP |
|---|---|
| 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.19421#WS68, Uniqueness and mixing in the strict region (statement). In 3S1VFGYWQE/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
787 (number) 4P7NZ6XC1H
| URI | m2://inv/4P7NZ6XC1H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#5R9K, 787 (number) (unknown)
History
- 2026-11-02: add by m2/dev
4P7QJT69BK 4P7QJT69BK
| URI | m2://inv/4P7QJT69BK |
|---|---|
| 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.27646#59G6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uniform upper and matching lower bounds for finite-prompt task uncertainty 4P82JHSKZN
| URI | m2://inv/4P82JHSKZN |
|---|---|
| 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#DM1F, Uniform upper and matching lower bounds for finite-prompt task uncertainty (statement). In N37WKFTR7Q/e1, theorem H.1
History
- 2026-10-29: add by m2/v0.4.10
Graph 4P82MBFNFB
| URI | m2://inv/4P82MBFNFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph (abstract data type), Graph (definition). Also Wikidata Q2479726
History
- 2026-11-02: add by m2/dev
4P86QEMBPE 4P86QEMBPE
| URI | m2://inv/4P86QEMBPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24307#NLIB (statement)
History
- 2026-11-01: add by m2/v0.6.15
\emph{Composition 4P8EKAWDYG
| URI | m2://inv/4P8EKAWDYG |
|---|---|
| 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.37593#63I3, \emph{Composition (statement). In YTF96VHKAH/e1, proposition A.3
History
- 2026-10-30: add by m2/v0.4.12
Oleksii Reznikov 4P8J7PH4CX
| URI | m2://inv/4P8J7PH4CX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#58Q9, Oleksii Reznikov (unknown)
History
- 2026-11-02: add by m2/dev
Exact fragment without XOR/loop 4P8KETGDYY
| URI | m2://inv/4P8KETGDYY |
|---|---|
| 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 2609.20478#EHPJ, Exact fragment without XOR/loop (statement)
History
- 2026-11-02: add by m2/v0.6.18
4P8Q8DBVP0 4P8Q8DBVP0
| URI | m2://inv/4P8Q8DBVP0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:fatcylinder2 (exercise). In VNMV985MXX, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Martín Escardó 4P8S2V9B0X
| URI | m2://inv/4P8S2V9B0X |
|---|---|
| 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 Q93947022, Martín Escardó (unknown). Also nLab Martín Escardó
History
- 2026-10-26: add by m2/dev
Hooke's law for continuous media 4P8XEJEVN5
| URI | m2://inv/4P8XEJEVN5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hooke's law#ATXZ, Hooke's law for continuous media (statement)
History
- 2026-11-02: add by m2/dev
Definition 4P902VBZW3
| URI | m2://inv/4P902VBZW3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Muckenhoupt weights#ZKPB, Definition (definition)
History
- 2026-11-02: add by m2/dev
Product form solution 4P915FYRY4
| URI | m2://inv/4P915FYRY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CXG6, Product form solution (definition)
History
- 2026-11-02: add by m2/dev
Relative-deficit bound 4P9220DW68
| URI | m2://inv/4P9220DW68 |
|---|---|
| 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.33154#AWHS, Relative-deficit bound (statement). In N28DEYRBW7/e1, lemma G.3
History
- 2026-10-30: add by m2/v0.4.12
Adjoint representation of a Lie algebra 4P95J8K5P5
| URI | m2://inv/4P95J8K5P5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#IPZ5, Adjoint representation of a Lie algebra (definition)
History
- 2026-11-02: add by m2/dev
Interior algebra 4P992JJH7D
| URI | m2://inv/4P992JJH7D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#F1UH, Interior algebra (definition)
- wikipedia: Wikipedia List of Boolean algebra topics#JIIC, Interior algebra (definition)
History
- 2026-11-02: add by m2/dev
4P99SNVA0Y 4P99SNVA0Y
| URI | m2://inv/4P99SNVA0Y |
|---|---|
| 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 2508.02432#SY6R (example). In B366ACYB37/e1, example 3.5
History
- 2026-10-27: add by m2/v0.3.5
Nicholas of Cusa 4P9G1D4ZWH
| URI | m2://inv/4P9G1D4ZWH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#VJFV, Nicholas of Cusa (topic)
History
- 2026-11-02: add by m2/dev
4P9N6H2PF6 4P9N6H2PF6
| URI | m2://inv/4P9N6H2PF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.03704#T9CT (statement). In Q3PY5AGD6N/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
4P9VA1Y1HZ 4P9VA1Y1HZ
| URI | m2://inv/4P9VA1Y1HZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10481#L72U (statement). In ETV3D93XYD/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
4P9Y71HGAW 4P9Y71HGAW
| URI | m2://inv/4P9Y71HGAW |
|---|---|
| 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 2609.28011#QSIX (definition)
History
- 2026-11-01: add by m2/v0.6.15
Clock angle problem 4PA5E9WEY0
| URI | m2://inv/4PA5E9WEY0 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clock angle problem, Clock angle problem (problem). Also Wikidata Q4019597
History
- 2026-11-02: add by m2/dev
Coupling (probability) 4PA8NF81PE
| URI | m2://inv/4PA8NF81PE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#WE1U, Coupling (probability) (definition)
History
- 2026-11-02: add by m2/dev
Blowup 4PA9YQGEHZ
| URI | m2://inv/4PA9YQGEHZ |
|---|---|
| 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.28454#LN9S, Blowup (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definitions 4PAE183CMV
| URI | m2://inv/4PAE183CMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tree automaton#3KK5, Definitions (definition)
History
- 2026-11-02: add by m2/dev
4PAGPEXKCX 4PAGPEXKCX
| URI | m2://inv/4PAGPEXKCX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.02065#9JEH (example). In 60CK7P5F36/e1, example 5.3
History
- 2026-10-27: add by m2/v0.3.5
Bascand, Geoff 4PAH7PQ4BG
| URI | m2://inv/4PAH7PQ4BG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#3SAF, Bascand, Geoff (topic)
History
- 2026-11-02: add by m2/dev
induction principle, for surreal numbers 4PAJZ0CSEG
| URI | m2://inv/4PAJZ0CSEG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/induction-principle-for-surreal-numbers, induction principle, for surreal numbers (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Elena Cornaro Piscopia 4PAPQJJ7H8
| URI | m2://inv/4PAPQJJ7H8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elena Cornaro Piscopia, Elena Cornaro Piscopia (topic). Also Wikidata Q466851
History
- 2026-11-02: add by m2/dev
Trial division 4PAW0SVM54
| URI | m2://inv/4PAW0SVM54 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Trial division 0Z962ECCXR |
Mentions
- wikidata: Wikidata Q1333681, Trial division (unknown). Also MathWorld TrialDivision
- wikipedia: Wikipedia Trial division, Trial division (definition). Also Wikidata Q1333681
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
4PAW1A72ET 4PAW1A72ET
| URI | m2://inv/4PAW1A72ET |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22394#N8Y8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
4PB1AGQV8D 4PB1AGQV8D
| URI | m2://inv/4PB1AGQV8D |
|---|---|
| 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#H28T (statement). In KJY735KSMF/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Cuboid conjectures 4PB864FQTA
| URI | m2://inv/4PB864FQTA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler brick#USYL, Cuboid conjectures (statement)
History
- 2026-11-02: add by m2/dev
4PB9BMS121 4PB9BMS121
| URI | m2://inv/4PB9BMS121 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#QILQ (statement). In F8RC6AENB0/e1, lemma 2.20
History
- 2026-10-27: add by m2/v0.3.5
4PBG2WY8ZR 4PBG2WY8ZR
| URI | m2://inv/4PBG2WY8ZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#L1VU (statement). In VN084GGZGK/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.3
Philipp Furtwängler 4PBN3D425G
| URI | m2://inv/4PBN3D425G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philipp Furtwängler, Philipp Furtwängler (topic). Also Wikidata Q68514
History
- 2026-11-02: add by m2/dev
discrete $(h,\nu)$-perturbation 4PBQGMGZC8
| URI | m2://inv/4PBQGMGZC8 |
|---|---|
| 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.30559#K6JN, discrete $(h,\nu)$-perturbation (statement). In 5A9CKXWT3H/e1, corollary 7
History
- 2026-10-31: add by m2/v0.5.6
Multiplicative characters 4PBYK2Z4X7
| URI | m2://inv/4PBYK2Z4X7 |
|---|---|
| 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.25275#LUB3, Multiplicative characters (example)
History
- 2026-11-01: add by m2/v0.6.15
4PCBZDSSJ2 4PCBZDSSJ2
| URI | m2://inv/4PCBZDSSJ2 |
|---|---|
| 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.33231#GOB5 (statement). In WPDRT63QNW/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Asymptotic equivalence 4PCJTGNC2R
| URI | m2://inv/4PCJTGNC2R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13658#F7O7, Asymptotic equivalence (definition). In R9BC934K3E/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Myerson–Satterthwaite theorem 4PDFNKDEAZ
| URI | m2://inv/4PDFNKDEAZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mechanism design#P7OH, Myerson–Satterthwaite theorem (statement)
History
- 2026-11-02: add by m2/dev
HO-DPA 4PDHZY9EMH
| URI | m2://inv/4PDHZY9EMH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power analysis#0UK3, HO-DPA (unknown)
History
- 2026-11-02: add by m2/dev
4PDKCA0273 4PDKCA0273
| URI | m2://inv/4PDKCA0273 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.14389#G7Y5 (statement). In NAMCCRM50R/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
4PDPT2E52P 4PDPT2E52P
| URI | m2://inv/4PDPT2E52P |
|---|---|
| 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.21305#B8YQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
4PDTX2ZV1N 4PDTX2ZV1N
| URI | m2://inv/4PDTX2ZV1N |
|---|---|
| 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 2610.16404#P5ZX (definition). In PQ7W037C2H/e1, definition 6.3
History
- 2026-10-28: add by m2/v0.4.2
Woo–Lam 4PDVMBERAH
| URI | m2://inv/4PDVMBERAH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Woo–Lam, Woo–Lam (definition). Also Wikidata Q3924285
History
- 2026-11-02: add by m2/dev
Examples 4PDVMJ6R62
| URI | m2://inv/4PDVMJ6R62 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomized algorithm#0QMH, Examples (example)
History
- 2026-11-02: add by m2/dev
Approximations of factorial 4PE254TS7T
| URI | m2://inv/4PE254TS7T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorial#SQKR, Approximations of factorial (unknown)
History
- 2026-11-02: add by m2/dev
Smoothness dichotomy 4PE62GWWV0
| URI | m2://inv/4PE62GWWV0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#1IN1, Smoothness dichotomy (statement). In XDTM624YPE/e1, corollary 8.8
History
- 2026-10-27: add by m2/v0.4.2
4PEEM8BT3H 4PEEM8BT3H
| URI | m2://inv/4PEEM8BT3H |
|---|---|
| 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 2409.03423#88ZZ (statement). In 8C5YCMN81V/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
4PEFRTQQEA 4PEFRTQQEA
| URI | m2://inv/4PEFRTQQEA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.01958#74BV (statement). In NQFYT2M6YZ/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.12
partial logic 4PEPYE7B9T
| URI | m2://inv/4PEPYE7B9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#P78W, partial logic (definition)
History
- 2026-11-02: add by m2/dev
4PF09T4F4S 4PF09T4F4S
| URI | m2://inv/4PF09T4F4S |
|---|---|
| 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.21278#RFKS (statement). In DCH1JJGGYH/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.4.2
4PF5QGBPFP 4PF5QGBPFP
| URI | m2://inv/4PF5QGBPFP |
|---|---|
| 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.15217#KVSC (statement). In G70Q2FB591/e1, proposition 3.24
History
- 2026-10-28: add by m2/v0.4.2
diameter 4PF6GZHBBT
| URI | m2://inv/4PF6GZHBBT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#R5IR, diameter (definition)
History
- 2026-11-02: add by m2/dev
4PFDAYGTEE 4PFDAYGTEE
| URI | m2://inv/4PFDAYGTEE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#intbound:prop (statement). In E59CDZA4DP, prop, section 8.1.2
History
- 2026-11-01: add by m2/v0.6.13
4PFH9BXCFH 4PFH9BXCFH
| URI | m2://inv/4PFH9BXCFH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20922#WOV5 (statement). In BYG6MRRYA1/e1, theorem
History
- 2026-10-27: add by m2/v0.4.2
4PFHH1KDRA 4PFHH1KDRA
| URI | m2://inv/4PFHH1KDRA |
|---|---|
| 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.23145#BLWB (statement)
History
- 2026-11-02: add by m2/v0.6.17
Constructions 4PFQC51H9B
| URI | m2://inv/4PFQC51H9B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-4 hexagonal tiling#4ZU1, Constructions (definition)
History
- 2026-11-02: add by m2/dev
irrotational field 4PG1BT9BS0
| URI | m2://inv/4PG1BT9BS0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15054459, irrotational field (unknown). Also MathWorld IrrotationalField
History
- 2026-10-26: add by m2/dev
4PG28TGGG3 4PG28TGGG3
| URI | m2://inv/4PG28TGGG3 |
|---|---|
| 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.00271#XERC (statement). In T1NSCAZS28/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
4PG9E322ZM 4PG9E322ZM
| URI | m2://inv/4PG9E322ZM |
|---|---|
| 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.23128#CZ2V (statement)
History
- 2026-11-02: add by m2/v0.6.17
4PGA3K28BW 4PGA3K28BW
| URI | m2://inv/4PGA3K28BW |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/taylor.tex#proof-5 (proof). In RZP28ERRZV, proof, section 34.5
History
- 2026-11-01: add by m2/v0.6.13
4PGCE335CK 4PGCE335CK
| URI | m2://inv/4PGCE335CK |
|---|---|
| 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.30732#QJAN (statement). In Q9ZPYJEHT2/e1, lemma C.2
History
- 2026-10-31: add by m2/v0.5.6
4PGG8YHZY4 4PGG8YHZY4
| URI | m2://inv/4PGG8YHZY4 |
|---|---|
| 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.02993#S5C6 (statement). In TJH58FRGEN/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.12
Lifting the residual conjugator 4PGJ92TC98
| URI | m2://inv/4PGJ92TC98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20994#J5AI, Lifting the residual conjugator (statement). In E90KYMVZMR/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
4PGM68D8CZ 4PGM68D8CZ
| URI | m2://inv/4PGM68D8CZ |
|---|---|
| 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.31489#BSNB (statement). In ZKBG58PN1J/e1, theorem 5.3
History
- 2026-10-31: add by m2/v0.5.6
Almost-Sure Convergence 4PGM70DFET
| URI | m2://inv/4PGM70DFET |
|---|---|
| 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.07674#YTNA, Almost-Sure Convergence (statement). In W1PRBBP1JD/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Stationarity 4PGZ51DJZC
| URI | m2://inv/4PGZ51DJZC |
|---|---|
| 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 2512.08487#KHBW, Stationarity (definition). In 77TVQVYN0Z/e1, definition Definition
History
- 2026-10-27: add by m2/v0.3.6
4PH21KPD54 4PH21KPD54
| URI | m2://inv/4PH21KPD54 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17553#UT04 (statement). In ETMBHKF5A9/e1, theorem 4.9
History
- 2026-10-28: add by m2/v0.4.2
Embedding in $3V$ 4PH9YYQYCP
| URI | m2://inv/4PH9YYQYCP |
|---|---|
| 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.04271#TNB1, Embedding in $3V$ (statement). In WBXAW9G4JB/e1, proposition 7.2
History
- 2026-10-29: add by m2/v0.4.12
assembly map 4PHDECR9XN
| URI | m2://inv/4PHDECR9XN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4808684, assembly map (unknown). Also nLab assembly map
- wikipedia: Wikipedia Assembly map, Assembly map (definition). Also Wikidata Q4808684
History
- 2026-10-26: add by m2/dev
Hopkins–Levitzki theorem 4PHEPQTTB8
| URI | m2://inv/4PHEPQTTB8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopkins–Levitzki theorem, Hopkins–Levitzki theorem (statement). Also Wikidata Q17027556
History
- 2026-11-02: add by m2/dev
Rank at most one 4PHGRZS3WG
| URI | m2://inv/4PHGRZS3WG |
|---|---|
| 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 2610.02216#1IBF, Rank at most one (statement). In 34JGRZ2M5F/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.12
4PHJ9G1MCX 4PHJ9G1MCX
| URI | m2://inv/4PHJ9G1MCX |
|---|---|
| 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#J04I (statement). In 7QXAZXGNPQ/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.12
4PHN9D74QA 4PHN9D74QA
| URI | m2://inv/4PHN9D74QA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-2.xml#exercise-10 (exercise). In 649HGZKE96, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Consistency of the projected long-run variances 4PHVSNTQK9
| URI | m2://inv/4PHVSNTQK9 |
|---|---|
| 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.36594#W5AM, Consistency of the projected long-run variances (statement). In 8JDQ9FWFRK/e1, lemma D.3
History
- 2026-10-30: add by m2/v0.4.12
Journal of Statistics Education 4PHVVNX5WZ
| URI | m2://inv/4PHVVNX5WZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#XM7O, Journal of Statistics Education (unknown)
History
- 2026-11-02: add by m2/dev
G-space 4PJ08F1CP3
| URI | m2://inv/4PJ08F1CP3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#LL0G, G-space (definition)
History
- 2026-11-02: add by m2/dev
Künneth theorem 4PJ4SXYAAE
| URI | m2://inv/4PJ4SXYAAE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 55-XX |
| Sources | 4 |
| Outcome | open |
| Node | Künneth theorem 77K0BZQ4MK |
Mentions
- mathlib_1000: mathlib_1000 Q1307676, Künneth theorem (statement). Also Wikidata Q1307676
- thousand_plus: thousand_plus Q1307676, Künneth theorem (statement). Also Wikidata Q1307676, Wikipedia Künneth theorem
- wikidata: Wikidata Q1307676, Künneth theorem (statement). Also nLab Künneth theorem
- wikipedia: Wikipedia Künneth theorem, Künneth theorem (statement). Also Wikidata Q1307676
History
- 2026-10-26: add by m2/dev
relation, symmetric 4PJDNH01P6
| URI | m2://inv/4PJDNH01P6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6/relation-symmetric, relation, symmetric (concept). In QKM9DD2H56, index, section 6
History
- 2026-11-01: add by m2/v0.6.13
Ernst Mally 4PJKSN3XKR
| URI | m2://inv/4PJKSN3XKR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernst Mally, Ernst Mally (topic). Also Wikidata Q90003
History
- 2026-11-02: add by m2/dev
Applications 4PJMRZ4E2Z
| URI | m2://inv/4PJMRZ4E2Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Predictive intake modelling#KO84, Applications (example)
History
- 2026-11-02: add by m2/dev
4PJPM3PG6J 4PJPM3PG6J
| URI | m2://inv/4PJPM3PG6J |
|---|---|
| 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 0807.1652#33TI (statement). In 6RC18PTSTT/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
barber paradox 4PJRRZR1Z4
| URI | m2://inv/4PJRRZR1Z4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q807853, barber paradox (statement). Also MathWorld BarberParadox, ProofWiki Barber_Paradox
- wikipedia: Wikipedia Barber paradox, Barber paradox (statement). Also Wikidata Q807853
History
- 2026-10-26: add by m2/dev
Demonic composition 4PJSB6MZC8
| URI | m2://inv/4PJSB6MZC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demonic composition, Demonic composition (definition). Also Wikidata Q5256258
History
- 2026-11-02: add by m2/dev
4PJT3XW205 4PJT3XW205
| URI | m2://inv/4PJT3XW205 |
|---|---|
| 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.01368#DKEW (statement). In 4ER0Z2TGN8/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Sheaf of differential operators 4PK0F5TKK9
| URI | m2://inv/4PK0F5TKK9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia D-module#A2E3, Sheaf of differential operators (unknown)
History
- 2026-11-02: add by m2/dev
4PK1AFBH56 4PK1AFBH56
| URI | m2://inv/4PK1AFBH56 |
|---|---|
| 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.21278#H0B9 (statement). In DCH1JJGGYH/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.4.2
Applications 4PK40ZEWV9
| URI | m2://inv/4PK40ZEWV9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius strip#16H6, Applications (example)
History
- 2026-11-02: add by m2/dev
4PK5BX7GH2 4PK5BX7GH2
| URI | m2://inv/4PK5BX7GH2 |
|---|---|
| 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.21174#EB1I (statement)
History
- 2026-11-02: add by m2/v0.6.18
4PK8S20FVR 4PK8S20FVR
| URI | m2://inv/4PK8S20FVR |
|---|---|
| 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.17547#FVJ4 (statement). In XJ59TDP4HA/e1, fact 4.16
History
- 2026-10-28: add by m2/v0.4.2
4PKAPHRCWX 4PKAPHRCWX
| URI | m2://inv/4PKAPHRCWX |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-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 2508.21045#02D6 (conjecture). In CGA36VE1C5/e1, conjecture 7
History
- 2026-10-27: add by m2/v0.3.6
4PKBZ66S9M 4PKBZ66S9M
| URI | m2://inv/4PKBZ66S9M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#HA0N (statement). In CY1FE8W1ZW/e1, lemma 0.107
History
- 2026-10-27: add by m2/v0.4.0
Projection accumulation; cf. Lemma 12 4PKP58TWRH
| URI | m2://inv/4PKP58TWRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01843#8ERU, Projection accumulation; cf. Lemma 12 (statement). In EDG9ZFDSWK/e1, lemma B.8
History
- 2026-10-29: add by m2/v0.4.12
Platonification 4PKPG1E34W
| URI | m2://inv/4PKPG1E34W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nassim Nicholas Taleb#IKUH, Platonification (unknown)
History
- 2026-11-02: add by m2/dev
Sylow theorems 4PKR7ARD29
| URI | m2://inv/4PKR7ARD29 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5FQS, Sylow theorems (statement)
History
- 2026-11-02: add by m2/dev
Non-repudiation 4PKSSKZRMW
| URI | m2://inv/4PKSSKZRMW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-repudiation, Non-repudiation (definition). Also Wikidata Q1327773
History
- 2026-11-02: add by m2/dev
4PKX1SFJ4B 4PKX1SFJ4B
| URI | m2://inv/4PKX1SFJ4B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 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.01958#8F4H (definition). In NQFYT2M6YZ/e1, definition 5.2
History
- 2026-10-29: add by m2/v0.4.12
Gromark cipher 4PM7XPTRVX
| URI | m2://inv/4PM7XPTRVX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Running key cipher#LSPE, Gromark cipher (unknown)
History
- 2026-11-02: add by m2/dev
mathematics, classical 4PMHT255W9
| URI | m2://inv/4PMHT255W9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.3/mathematics-classical, mathematics, classical (concept). In N54F33XE07, index, section C.3
History
- 2026-11-01: add by m2/v0.6.13
4PMJ8E9BSS 4PMJ8E9BSS
| URI | m2://inv/4PMJ8E9BSS |
|---|---|
| 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.25896#E8HV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pentagonal orthobicupola 4PMM7W3FAJ
| URI | m2://inv/4PMM7W3FAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#T5MB, Pentagonal orthobicupola (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#Z6YW, Pentagonal orthobicupola (definition)
History
- 2026-11-02: add by m2/dev
4PMNC1J38K 4PMNC1J38K
| URI | m2://inv/4PMNC1J38K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.14383#JNXM (statement). In QD0X3XJS6T/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Efficient construction 4PMWNN7FSD
| URI | m2://inv/4PMWNN7FSD |
|---|---|
| Kind | definition |
| 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.39233#GMMZ, Efficient construction (definition). In Y7NC12TBNP/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
Uniqueness of $Q^*_\Omega$ up to an additive constant 4PMWVVT6M7
| URI | m2://inv/4PMWVVT6M7 |
|---|---|
| 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.14988#CKB6, Uniqueness of $Q^*_\Omega$ up to an additive constant (statement). In B29M4E6KGC/e1, proposition G.4
History
- 2026-10-28: add by m2/v0.4.2
Ki-Ahm Lee 4PMXYFZPA7
| URI | m2://inv/4PMXYFZPA7 |
|---|---|
| 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#87PK, Ki-Ahm Lee (unknown)
History
- 2026-11-02: add by m2/dev
Definition 4PMY003457
| URI | m2://inv/4PMY003457 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hunt process#G0HM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Frederick Soddy 4PNF3WCR6A
| URI | m2://inv/4PNF3WCR6A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frederick Soddy, Frederick Soddy (topic). Also Wikidata Q102830
History
- 2026-11-02: add by m2/dev
Prime reciprocal magic square 4PNH8VPY80
| URI | m2://inv/4PNH8VPY80 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime reciprocal magic square, Prime reciprocal magic square (definition). Also Wikidata Q2940402
History
- 2026-11-02: add by m2/dev
4PNNCVJXYG 4PNNCVJXYG
| URI | m2://inv/4PNNCVJXYG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-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.28742#X8XM (example)
History
- 2026-11-01: add by m2/v0.6.15
4PNST8VFS8 4PNST8VFS8
| URI | m2://inv/4PNST8VFS8 |
|---|---|
| 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 2502.05771#2L5X (statement). In 958KKGH89J/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.6
4PNTJS41ZQ 4PNTJS41ZQ
| URI | m2://inv/4PNTJS41ZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26650#9FB3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Johannes Mollerup 4PNTSG5YCT
| URI | m2://inv/4PNTSG5YCT |
|---|---|
| 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#QCDJ, Johannes Mollerup (topic)
History
- 2026-11-02: add by m2/dev
suspension 4PNVZFHXVQ
| URI | m2://inv/4PNVZFHXVQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.8/suspension, suspension (concept). In N54F33XE07, index, section 5.8
History
- 2026-11-01: add by m2/v0.6.13
Radon inversion formula 4PP22AQFQR
| URI | m2://inv/4PP22AQFQR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radon transform#EW9B, Radon inversion formula (statement)
History
- 2026-11-02: add by m2/dev
4PP6ERYT7P 4PP6ERYT7P
| URI | m2://inv/4PP6ERYT7P |
|---|---|
| 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 2601.01000#L1HR (statement). In RYFV9HGWWZ/e1, proposition 49
History
- 2026-10-27: add by m2/v0.3.5
4PP71DG82J 4PP71DG82J
| URI | m2://inv/4PP71DG82J |
|---|---|
| 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#XBEB (statement). In 1EA6AM9V01/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Van der Corput lemma 4PPAG50EJJ
| URI | m2://inv/4PPAG50EJJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van der Corput lemma (harmonic analysis), Van der Corput lemma (statement). Also Wikidata Q3229353
History
- 2026-11-02: add by m2/dev
Differential forms on a Riemann surface 4PPNTY7HYH
| URI | m2://inv/4PPNTY7HYH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential forms on a Riemann surface, Differential forms on a Riemann surface (definition). Also Wikidata Q28401481
History
- 2026-11-02: add by m2/dev
4PPXX86J6B 4PPXX86J6B
| URI | m2://inv/4PPXX86J6B |
|---|---|
| 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.08226#RF3V (statement). In V6EPE8XHAD/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Replacement lemma 4PQ03EQS4F
| URI | m2://inv/4PQ03EQS4F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25301#P1AC, Replacement lemma (statement)
History
- 2026-11-01: add by m2/v0.6.15
Log sum inequality 4PQ18ST0VX
| URI | m2://inv/4PQ18ST0VX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Log sum inequality, Log sum inequality (statement). Also Wikidata Q6666859
History
- 2026-11-02: add by m2/dev
A necessary size condition 4PQ6AEPVY6
| URI | m2://inv/4PQ6AEPVY6 |
|---|---|
| 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 2609.33469#JFMI, A necessary size condition (statement). In TC5QA4AB4Z/e1, proposition 4.53
History
- 2026-10-30: add by m2/v0.4.12
Renaming 4PQ7N926YH
| URI | m2://inv/4PQ7N926YH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25188#WQCY, Renaming (definition)
History
- 2026-11-01: add by m2/v0.6.15
Stochastic dominance 4PQAZRSHSV
| URI | m2://inv/4PQAZRSHSV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YQ23, Stochastic dominance (definition)
History
- 2026-11-02: add by m2/dev
triple angle identity 4PQCGZRW6E
| URI | m2://inv/4PQCGZRW6E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140071457, triple angle identity (statement). Also ProofWiki Triple_Angle_Formulas
History
- 2026-10-26: add by m2/dev
Definitions 4PQCRHJMDJ
| URI | m2://inv/4PQCRHJMDJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arf invariant#MMVU, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Example 4PQNBGGCAQ
| URI | m2://inv/4PQNBGGCAQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Listwise deletion#49ZR, Example (example)
History
- 2026-11-02: add by m2/dev
4PQPG6N4QR 4PQPG6N4QR
| URI | m2://inv/4PQPG6N4QR |
|---|---|
| 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.04675#T72T (example). In RDXNFF2CZP/e1, example 22
History
- 2026-10-29: add by m2/v0.4.12
Non-simple blow-up of Chern--Simons type on the square torus 4PQRAZA1HG
| URI | m2://inv/4PQRAZA1HG |
|---|---|
| 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.20042#3R5J, Non-simple blow-up of Chern--Simons type on the square torus (statement)
History
- 2026-11-02: add by m2/v0.6.18
Variants 4PRMQEB48P
| URI | m2://inv/4PRMQEB48P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Church's thesis (constructive mathematics)#B24J, Variants (statement)
History
- 2026-11-02: add by m2/dev
Joseph P. Conlon 4PRRCJ5YNW
| URI | m2://inv/4PRRCJ5YNW |
|---|---|
| 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 Q51908683, Joseph P. Conlon (unknown). Also nLab Joseph Conlon
History
- 2026-10-26: add by m2/dev
Semyon Alesker 4PRSB5C6RE
| URI | m2://inv/4PRSB5C6RE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semyon Alesker, Semyon Alesker (topic). Also Wikidata Q2269580
History
- 2026-11-02: add by m2/dev
4PRYN08A2A 4PRYN08A2A
| URI | m2://inv/4PRYN08A2A |
|---|---|
| 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 1904.09810#0365 (statement). In T1VFA7TXPA/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.5
4PRZPH578K 4PRZPH578K
| URI | m2://inv/4PRZPH578K |
|---|---|
| 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.30090#OO18 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem 4PS15Z9EY8
| URI | m2://inv/4PS15Z9EY8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Removable singularity#45UN, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications 4PS3J27W4K
| URI | m2://inv/4PS3J27W4K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modes of variation#3HJB, Applications (example)
History
- 2026-11-02: add by m2/dev
4PS6KC8HDV 4PS6KC8HDV
| URI | m2://inv/4PS6KC8HDV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#HHG3 (definition). In 9DQKY7KGE8/e1, definition C.15
History
- 2026-10-31: add by m2/v0.5.6
GNOME Keyring 4PS8SAEVDS
| URI | m2://inv/4PS8SAEVDS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GNOME Keyring, GNOME Keyring (definition). Also Wikidata Q383474
History
- 2026-11-02: add by m2/dev
4PSDZZQNNN 4PSDZZQNNN
| URI | m2://inv/4PSDZZQNNN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#2Q1M (statement). In 6WJ0R9YEBR/e1, lemma 6.8
History
- 2026-10-28: add by m2/v0.4.2
1,000,001 4PSEHZXYBG
| URI | m2://inv/4PSEHZXYBG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1,000,000#NI87, 1,000,001 (unknown)
History
- 2026-11-02: add by m2/dev
4PSPTDX27C 4PSPTDX27C
| URI | m2://inv/4PSPTDX27C |
|---|---|
| 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.20599#0YRX (statement)
History
- 2026-11-02: add by m2/v0.6.18
Legendre symbol (-1,p) where p is the n-th prime. 4PSYMFQ2SN
| URI | m2://inv/4PSYMFQ2SN |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100194411, Legendre symbol (-1,p) where p is the n-th prime. (object). Also OEIS A077008
History
- 2026-10-26: add by m2/dev
Procedure 4PSZ1SN232
| URI | m2://inv/4PSZ1SN232 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Related rates#LJ21, Procedure (definition)
History
- 2026-11-02: add by m2/dev
4PT1Z7XX70 4PT1Z7XX70
| URI | m2://inv/4PT1Z7XX70 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/TasteNumberTheory.tex#problem-3 (exercise). In P1C114YBXG, problem, section J
History
- 2026-11-01: add by m2/v0.6.13
Michael L. Littman 4PT308VFQD
| URI | m2://inv/4PT308VFQD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#J3ZQ, Michael L. Littman (unknown)
History
- 2026-11-02: add by m2/dev
Laspeyres, Étienne 4PT59Y1DDF
| URI | m2://inv/4PT59Y1DDF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#0ESE, Laspeyres, Étienne (unknown)
History
- 2026-11-02: add by m2/dev
Cross terms 4PT99JHEVR
| URI | m2://inv/4PT99JHEVR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#KQ9Z, Cross terms (statement). In RYWAX33Z51/e1, lemma 9.8
History
- 2026-10-31: add by m2/v0.5.6
4PT9H9AK57 4PT9H9AK57
| URI | m2://inv/4PT9H9AK57 |
|---|---|
| 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#N0SM (statement). In C8JAGP8VCQ/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Utpala 4PTAS82P8Y
| URI | m2://inv/4PTAS82P8Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Utpala (astronomer), Utpala (definition). Also Wikidata Q7902978
History
- 2026-11-02: add by m2/dev
Andrew's sine 4PTF6HXD1Q
| URI | m2://inv/4PTF6HXD1Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122905879, Andrew's sine (unknown). Also MathWorld AndrewsSine
History
- 2026-10-26: add by m2/dev
4PTM1TEE1H 4PTM1TEE1H
| URI | m2://inv/4PTM1TEE1H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17589#69EK (example). In GSTK4569X1/e1, example 2.5
History
- 2026-10-28: add by m2/v0.4.2
Mark Kac 4PTRG9J5NP
| URI | m2://inv/4PTRG9J5NP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#JM9U, Mark Kac (topic)
History
- 2026-11-02: add by m2/dev
4PTS11X466 4PTS11X466
| URI | m2://inv/4PTS11X466 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13954#6NSQ (statement). In 5J7XTBQN85/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Collision-free hash function 4PV4P8A85C
| URI | m2://inv/4PV4P8A85C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-way function#42X3, Collision-free hash function (unknown)
History
- 2026-11-02: add by m2/dev
Construction 4PV6EJB6D1
| URI | m2://inv/4PV6EJB6D1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Social Institutions and Gender Index#BR66, Construction (definition)
History
- 2026-11-02: add by m2/dev
great dodecahemidodecahedron 4PV6QDYK5F
| URI | m2://inv/4PV6QDYK5F |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2718501, great dodecahemidodecahedron (unknown). Also MathWorld GreatDodecahemidodecahedron
- wikipedia: Wikipedia Great dodecahemidodecahedron, Great dodecahemidodecahedron (object). Also Wikidata Q2718501
History
- 2026-10-26: add by m2/dev
4PVA4V3C60 4PVA4V3C60
| URI | m2://inv/4PVA4V3C60 |
|---|---|
| Kind | example |
| 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 2401.12263#BG1J (example). In 3Z029EZBBS/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
4PVGWBCDN7 4PVGWBCDN7
| URI | m2://inv/4PVGWBCDN7 |
|---|---|
| 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.27301#FCCM (statement)
History
- 2026-11-01: add by m2/v0.6.15
4PVYCBT03F 4PVYCBT03F
| URI | m2://inv/4PVYCBT03F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#UYTO (definition)
History
- 2026-11-01: add by m2/v0.6.15
Stream cipher 4PW05RX9BD
| URI | m2://inv/4PW05RX9BD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stream cipher, Stream cipher (definition). Also Wikidata Q864718
History
- 2026-11-02: add by m2/dev
Change of Frobenius and coefficient conventions 4PW277S6EX
| URI | m2://inv/4PW277S6EX |
|---|---|
| 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.26318#43FO, Change of Frobenius and coefficient conventions (statement)
History
- 2026-11-01: add by m2/v0.6.15
4PW8GBKPQ9 4PW8GBKPQ9
| URI | m2://inv/4PW8GBKPQ9 |
|---|---|
| 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 2507.13548#97EZ (statement). In 4NVVK50D1P/e1, corollary 5.2
History
- 2026-10-27: add by m2/v0.3.5
4PW8QGFB6D 4PW8QGFB6D
| URI | m2://inv/4PW8QGFB6D |
|---|---|
| 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.30823#5O0S (statement). In 1YHQ9YNQ68/e1, theorem 1.4
History
- 2026-10-31: add by m2/v0.5.6
4PW8Z9E5B2 4PW8Z9E5B2
| URI | m2://inv/4PW8Z9E5B2 |
|---|---|
| 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#BOTO (statement). In EBMHYN0XK9/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.12
Bohr magneton 4PWCW09D8N
| URI | m2://inv/4PWCW09D8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q737120, Bohr magneton (definition). Also ProofWiki Definition:Bohr_Magneton
History
- 2026-10-26: add by m2/dev
4PWFKRKQFZ 4PWFKRKQFZ
| URI | m2://inv/4PWFKRKQFZ |
|---|---|
| Kind | statement |
| 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#VP8Y (statement). In 46370P3Y9S/e1, lemma 6.15
History
- 2026-10-27: add by m2/v0.4.2
4PWMNHG1JJ 4PWMNHG1JJ
| URI | m2://inv/4PWMNHG1JJ |
|---|---|
| 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 2602.13510#GJFR (definition). In Y75MQW7CFV/e1, definition B.2
History
- 2026-10-27: add by m2/v0.3.5
The cyclic matrix and the factor products 4PX854GEE6
| URI | m2://inv/4PX854GEE6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#ORO3, The cyclic matrix and the factor products (statement)
History
- 2026-11-01: add by m2/v0.6.15
Four Mile Creek, Tasmania 4PXK73SM8C
| URI | m2://inv/4PXK73SM8C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#EGVH, Four Mile Creek, Tasmania (unknown)
History
- 2026-11-02: add by m2/dev
Maehara's Lemma 4PXM6EA28K
| URI | m2://inv/4PXM6EA28K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/cut-elimination/interpolation.tex#lem:maehara, Maehara's Lemma (statement). In PKGMM3P5QY, lem, section 57.1
History
- 2026-11-01: add by m2/v0.6.13
Probability of a fixed flagged matrix 4PXNS9T4Y0
| URI | m2://inv/4PXNS9T4Y0 |
|---|---|
| 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.40252#CCKI, Probability of a fixed flagged matrix (statement). In 7MVPNFPRKB/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
Yakir Aharonov 4PXRZ4DST4
| URI | m2://inv/4PXRZ4DST4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IJIY, Yakir Aharonov (unknown)
History
- 2026-11-02: add by m2/dev
exterior 4PXYBQK6EK
| URI | m2://inv/4PXYBQK6EK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#P6II, exterior (definition)
History
- 2026-11-02: add by m2/dev
Reinhard Selten 4PY2CW51Y7
| URI | m2://inv/4PY2CW51Y7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7160, Reinhard Selten (unknown)
- wikipedia: Wikipedia List of German mathematicians#G1E0, Reinhard Selten (unknown)
History
- 2026-11-02: add by m2/dev
𝑔 4PY2ZAN7PV
| URI | m2://inv/4PY2ZAN7PV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latin letters used in mathematics, science, and engineering#1U92, 𝑔 (unknown)
History
- 2026-11-02: add by m2/dev
4PY752923R 4PY752923R
| URI | m2://inv/4PY752923R |
|---|---|
| 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 2605.29624#NXAA (statement). In TAD5A4R089/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Jacques Neveu 4PYAXZ86AQ
| URI | m2://inv/4PYAXZ86AQ |
|---|---|
| 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#UFHS, Jacques Neveu (topic)
History
- 2026-11-02: add by m2/dev
sum relation 4PYBPDRQB2
| URI | m2://inv/4PYBPDRQB2 |
|---|---|
| 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.35844#ZMD8, sum relation (statement). In V33HFE8TZT/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
4PYDRE5039 4PYDRE5039
| URI | m2://inv/4PYDRE5039 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#4HA3 (statement). In 5E9G06XJKC/e1, lemma F.35
History
- 2026-10-28: add by m2/v0.4.2
4PYHPABZEC 4PYHPABZEC
| URI | m2://inv/4PYHPABZEC |
|---|---|
| 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.03517#6EP1 (statement). In 3CGS9GSKTQ/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
4PYJ3X0A8P 4PYJ3X0A8P
| URI | m2://inv/4PYJ3X0A8P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#example:vecspr2span (example). In E59CDZA4DP, example, section 11.1.2
History
- 2026-11-01: add by m2/v0.6.13
Asher, Jana 4PYT6T7HF8
| URI | m2://inv/4PYT6T7HF8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#IKEZ, Asher, Jana (topic)
History
- 2026-11-02: add by m2/dev
4PYVHZ22QK 4PYVHZ22QK
| URI | m2://inv/4PYVHZ22QK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09949#CMTU (statement). In VGJVFCDV8A/e1, proposition 2.27
History
- 2026-10-29: add by m2/v0.4.10
great truncated icosidodecahedron 4PYY8BFFJT
| URI | m2://inv/4PYY8BFFJT |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q34288, great truncated icosidodecahedron (unknown). Also MathWorld GreatTruncatedIcosidodecahedron
- wikipedia: Wikipedia Great truncated icosidodecahedron, Great truncated icosidodecahedron (object). Also Wikidata Q34288
History
- 2026-10-26: add by m2/dev
Barnes G-function 4PZDB59QZK
| URI | m2://inv/4PZDB59QZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#P3H7, Barnes G-function (definition)
History
- 2026-11-02: add by m2/dev
4PZFDCYC9K 4PZFDCYC9K
| URI | m2://inv/4PZFDCYC9K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#TY8B (statement). In 5E9G06XJKC/e1, lemma C.22
History
- 2026-10-28: add by m2/v0.4.2
Kac–Moody algebra 4PZFXVT231
| URI | m2://inv/4PZFXVT231 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#9J8O, Kac–Moody algebra (definition)
- wikipedia: Wikipedia List of algebras#DGC0, Kac–Moody algebra (definition)
- wikipedia: Wikipedia List of string theory topics#2BW4, Kac–Moody algebra (definition)
History
- 2026-11-02: add by m2/dev
Paul Vojta 4PZJJFSMFR
| URI | m2://inv/4PZJJFSMFR |
|---|---|
| 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 Q140045, Paul Vojta (unknown). Also nLab Paul Vojta
- wikipedia: Wikipedia Paul Vojta, Paul Vojta (topic). Also Wikidata Q140045
History
- 2026-10-26: add by m2/dev
Michel Bierlaire 4PZT4TASW1
| URI | m2://inv/4PZT4TASW1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michel Bierlaire, Michel Bierlaire (topic). Also Wikidata Q59610638
History
- 2026-11-02: add by m2/dev