Inventory rows 4G
The cards of the rows of the inventory whose ids start with 4G. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
4G03102A2H 4G03102A2H
| URI | m2://inv/4G03102A2H |
|---|---|
| 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.21501#DTP9 (statement). In 1H64QT301C/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
Differentiable (smooth) manifold 4G036T66J8
| URI | m2://inv/4G036T66J8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#B0R1, Differentiable (smooth) manifold (definition)
History
- 2026-11-02: add by m2/dev
4G04T3QFFG 4G04T3QFFG
| URI | m2://inv/4G04T3QFFG |
|---|---|
| Kind | problem |
| 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.26701#CDRA (problem)
History
- 2026-11-01: add by m2/v0.6.15
$K^{-1}$-transverse rectangles 4G06VWWZ5D
| URI | m2://inv/4G06VWWZ5D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07909#DLDW, $K^{-1}$-transverse rectangles (definition). In 6KST0WX37C/e1, definition 3.5
History
- 2026-10-29: add by m2/v0.4.10
encode-decode method 4G0JFDT7YJ
| URI | m2://inv/4G0JFDT7YJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.1.4/encode-decode-method, encode-decode method (concept). In N54F33XE07, index, section 7.1.4
History
- 2026-11-01: add by m2/v0.6.13
Vandermonde matrix 4G0R6BAR61
| URI | m2://inv/4G0R6BAR61 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#XJ3P, Vandermonde matrix (definition)
History
- 2026-11-02: add by m2/dev
Grothendieck's Galois theory 4G0W3DD3X1
| URI | m2://inv/4G0W3DD3X1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#BGRA, Grothendieck's Galois theory (definition)
History
- 2026-11-02: add by m2/dev
Apeirogon 4G1ADYA8MZ
| URI | m2://inv/4G1ADYA8MZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#Z0ZS, Apeirogon (definition)
History
- 2026-11-02: add by m2/dev
901 (number) 4G1B76ZA5M
| URI | m2://inv/4G1B76ZA5M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 900 (number)#VI46, 901 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Local metric entropy 4G1BRZNXQM
| URI | m2://inv/4G1BRZNXQM |
|---|---|
| Kind | definition |
| 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.10840#I56R, Local metric entropy (definition). In JSJQEPY71E/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.3
\emph{Carlitz $t$-motive 4G1HY3X957
| URI | m2://inv/4G1HY3X957 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23287#QY2H, \emph{Carlitz $t$-motive (example)
History
- 2026-11-02: add by m2/v0.6.17
Matrix mortality problem 4G1RMAHDQW
| URI | m2://inv/4G1RMAHDQW |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix mortality problem, Matrix mortality problem (conjecture). Also Wikidata Q125590969
History
- 2026-11-02: add by m2/dev
4G226ZT5X2 4G226ZT5X2
| URI | m2://inv/4G226ZT5X2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22317#AY5R (statement). In 2W5Z97BBW4/e1, corollary 5.7
History
- 2026-10-27: add by m2/v0.4.0
4G24WR3FC2 4G24WR3FC2
| URI | m2://inv/4G24WR3FC2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17116#JEJV (statement). In A02X6MX28Y/e1, corollary 5.7
History
- 2026-10-28: add by m2/v0.4.2
Elementary properties 4G27X56TKG
| URI | m2://inv/4G27X56TKG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-sphere#EA7N, Elementary properties (statement)
History
- 2026-11-02: add by m2/dev
L² cohomology 4G2ACHPY4Y
| URI | m2://inv/4G2ACHPY4Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L² cohomology, L² cohomology (definition). Also Wikidata Q6710594
History
- 2026-11-02: add by m2/dev
A History of Pi 4G2FCH4WMZ
| URI | m2://inv/4G2FCH4WMZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#G5DR, A History of Pi (definition)
History
- 2026-11-02: add by m2/dev
Adhemar Bultheel 4G2NN5RWR1
| URI | m2://inv/4G2NN5RWR1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UOWY, Adhemar Bultheel (unknown)
History
- 2026-11-02: add by m2/dev
Regular language 4G2SP0TFJN
| URI | m2://inv/4G2SP0TFJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular language, Regular language (definition). Also Wikidata Q752532
History
- 2026-11-02: add by m2/dev
Environmental impact of cryptocurrency mining 4G2WAZH2N5
| URI | m2://inv/4G2WAZH2N5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptocurrency#LK9Y, Environmental impact of cryptocurrency mining (unknown)
History
- 2026-11-02: add by m2/dev
4G2WGVMP8X 4G2WGVMP8X
| URI | m2://inv/4G2WGVMP8X |
|---|---|
| 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 2410.18564#8B2D (statement). In MC8ZBZ14PM/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
Enriched free energy with external fields 4G3111PPC3
| URI | m2://inv/4G3111PPC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18350#QVKZ, Enriched free energy with external fields (statement). In A20E8FZS21/e1, theorem 10.1
History
- 2026-10-28: add by m2/v0.4.2
The construction 4G333284Z4
| URI | m2://inv/4G333284Z4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viennot's geometric construction#6JC0, The construction (definition)
History
- 2026-11-02: add by m2/dev
Enneadecahedron 4G3JBFZ3FB
| URI | m2://inv/4G3JBFZ3FB |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enneadecahedron, Enneadecahedron (object). Also Wikidata Q18015204
History
- 2026-11-02: add by m2/dev
4G3PSVA4BG 4G3PSVA4BG
| URI | m2://inv/4G3PSVA4BG |
|---|---|
| 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.07190#O29E (statement). In ZWS6Q4467X/e1, lemma B.2
History
- 2026-10-29: add by m2/v0.4.10
⊻ 4G3T5FHFNJ
| URI | m2://inv/4G3T5FHFNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#EU91, ⊻ (definition)
History
- 2026-11-02: add by m2/dev
Complex Hessian estimate in the K\"ahler case 4G3TGAJ5FN
| URI | m2://inv/4G3TGAJ5FN |
|---|---|
| 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.39726#SYKJ, Complex Hessian estimate in the K\"ahler case (statement). In 4CTC8A57SD/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
4G42YAVXSG 4G42YAVXSG
| URI | m2://inv/4G42YAVXSG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31243#AK09 (statement). In E8FP48FJMZ/e1, proposition 2.3
History
- 2026-10-31: add by m2/v0.5.6
4G43YFQZSG 4G43YFQZSG
| URI | m2://inv/4G43YFQZSG |
|---|---|
| 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.39449#Y0UD (statement). In GWC70X14RG/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
4G4BRRRFDJ 4G4BRRRFDJ
| URI | m2://inv/4G4BRRRFDJ |
|---|---|
| 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 2609.36423#2Y0I (definition). In Q5Z178SAHP/e1, definition 5.5
History
- 2026-10-30: add by m2/v0.4.12
4G4H1WAMG8 4G4H1WAMG8
| URI | m2://inv/4G4H1WAMG8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03520#CR24 (statement). In CSRZ9CWK69/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.12
central line 4G4P21ZZ7S
| URI | m2://inv/4G4P21ZZ7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5062111, central line (unknown). Also MathWorld CentralLine
- wikipedia: Wikipedia Central line (geometry), Central line (definition). Also Wikidata Q5062111
History
- 2026-10-26: add by m2/dev
Daniela Ferrero 4G4R2AXCWT
| URI | m2://inv/4G4R2AXCWT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#77UB, Daniela Ferrero (topic)
History
- 2026-11-02: add by m2/dev
4G4S4W4HCJ 4G4S4W4HCJ
| URI | m2://inv/4G4S4W4HCJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27078#PAZO (definition)
History
- 2026-11-01: add by m2/v0.6.15
Svitlana Mayboroda 4G50QZ87KJ
| URI | m2://inv/4G50QZ87KJ |
|---|---|
| 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#36OK, Svitlana Mayboroda (topic)
History
- 2026-11-02: add by m2/dev
4G543PCRCP 4G543PCRCP
| URI | m2://inv/4G543PCRCP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10206#QA9Q (statement). In 8TRCP1482Q/e1, proposition B.1
History
- 2026-10-29: add by m2/v0.4.10
Extreme value theorem 4G59GXVN35
| URI | m2://inv/4G59GXVN35 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least-upper-bound property#HTRH, Extreme value theorem (statement)
History
- 2026-11-02: add by m2/dev
Properties 4G5EGZKMVY
| URI | m2://inv/4G5EGZKMVY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lulu smoothing#BD9V, Properties (statement)
History
- 2026-11-02: add by m2/dev
4G5EMAGT10 4G5EMAGT10
| URI | m2://inv/4G5EMAGT10 |
|---|---|
| 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 0809.3835#W812 (statement). In V4J1J8YC7V/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.5
Woodin 4G5FCFDX81
| URI | m2://inv/4G5FCFDX81 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#UUY2, Woodin (topic)
History
- 2026-11-02: add by m2/dev
4G5W9RXKQV 4G5W9RXKQV
| URI | m2://inv/4G5W9RXKQV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#proof-7 (proof). In E59CDZA4DP, proof, section 3.2.4
History
- 2026-11-01: add by m2/v0.6.13
Jung's theorem 4G5YW9KEG8
| URI | m2://inv/4G5YW9KEG8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | Jung's theorem 227ERQ43PY |
Mentions
- mathlib_1000: mathlib_1000 Q1075398, Jung's theorem (statement). Also Wikidata Q1075398
- thousand_plus: thousand_plus Q1075398, Jung's theorem (statement). Also Wikidata Q1075398, Wikipedia Jung's theorem
- wikidata: Wikidata Q1075398, Jung's theorem (statement). Also MathWorld JungsTheorem
- wikipedia: Wikipedia Jung's theorem, Jung's theorem (statement). Also Wikidata Q1075398
History
- 2026-10-26: add by m2/dev
4G64PTWBAS 4G64PTWBAS
| URI | m2://inv/4G64PTWBAS |
|---|---|
| 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.21868#XS3G (statement). In WWAQEF0093/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.4.2
4G6DRTB6FA 4G6DRTB6FA
| URI | m2://inv/4G6DRTB6FA |
|---|---|
| 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.14055#UCKB (statement). In AKMGN13HE1/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
Orbit-stabilizer theorem 4G6NM4K3Q1
| URI | m2://inv/4G6NM4K3Q1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/action.tex#theorem-1, Orbit-stabilizer theorem (statement). In RZP28ERRZV, theorem, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
bilinear form 4G6T7P5M5P
| URI | m2://inv/4G6T7P5M5P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#C21G, bilinear form (definition)
History
- 2026-11-02: add by m2/dev
4G6WCD08P6 4G6WCD08P6
| URI | m2://inv/4G6WCD08P6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33771#2X2M (statement). In ZXQA7QH0H0/e1, proposition 3.23
History
- 2026-10-30: add by m2/v0.4.12
Arjan Van der Schaft 4G719HJ932
| URI | m2://inv/4G719HJ932 |
|---|---|
| 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#BG2B, Arjan Van der Schaft (unknown)
History
- 2026-11-02: add by m2/dev
Las Vegas algorithm 4G76ETNR6F
| URI | m2://inv/4G76ETNR6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Las Vegas algorithm, Las Vegas algorithm (definition). Also Wikidata Q1241487
History
- 2026-11-02: add by m2/dev
Marc Snir 4G796Q82W3
| URI | m2://inv/4G796Q82W3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#56WB, Marc Snir (unknown)
History
- 2026-11-02: add by m2/dev
Local balance 4G7B3R69MK
| URI | m2://inv/4G7B3R69MK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balance equation#4YSG, Local balance (unknown)
History
- 2026-11-02: add by m2/dev
Regular semi-algebraic system 4G7CF9GAQD
| URI | m2://inv/4G7CF9GAQD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular semi-algebraic system, Regular semi-algebraic system (definition). Also Wikidata Q7309616
History
- 2026-11-02: add by m2/dev
4G7J067B25 4G7J067B25
| URI | m2://inv/4G7J067B25 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05914#SUU0 (statement). In V8MYP6MBAZ/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Examples 4G7KN4YM5X
| URI | m2://inv/4G7KN4YM5X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generative model#7RXL, Examples (example)
History
- 2026-11-02: add by m2/dev
M-spline 4G7WE0C7TE
| URI | m2://inv/4G7WE0C7TE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M-spline, M-spline (definition). Also Wikidata Q6712116
History
- 2026-11-02: add by m2/dev
Double centralizer theorem 4G7YH8X4SZ
| URI | m2://inv/4G7YH8X4SZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double centralizer theorem, Double centralizer theorem (statement). Also Wikidata Q5299981
History
- 2026-11-02: add by m2/dev
4G7Z1RQ0CT 4G7Z1RQ0CT
| URI | m2://inv/4G7Z1RQ0CT |
|---|---|
| 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.03477#FWMC (statement). In GXN3D4G4HE/e1, proposition 3.11
History
- 2026-10-29: add by m2/v0.4.12
4G7ZMPC9HR 4G7ZMPC9HR
| URI | m2://inv/4G7ZMPC9HR |
|---|---|
| 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.18709#6FZ4 (statement). In K7VY50VFK6/e1, lemma 13.2
History
- 2026-10-28: add by m2/v0.4.2
4G826YD1KA 4G826YD1KA
| URI | m2://inv/4G826YD1KA |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27046#87E2 (problem)
History
- 2026-11-01: add by m2/v0.6.15
4G8BG3F3WF 4G8BG3F3WF
| URI | m2://inv/4G8BG3F3WF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#prop:mslimisunique (statement). In E59CDZA4DP, prop, section 4.3.1
History
- 2026-11-01: add by m2/v0.6.13
Wigner distribution function 4G8E7G3HP8
| URI | m2://inv/4G8E7G3HP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wigner distribution function, Wigner distribution function (definition). Also Wikidata Q233415
History
- 2026-11-02: add by m2/dev
4G8HDNKB5W 4G8HDNKB5W
| URI | m2://inv/4G8HDNKB5W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#definition-1 (definition). In P1C114YBXG, definition, section D
History
- 2026-11-01: add by m2/v0.6.13
Conservation principles 4G8HWCYSPZ
| URI | m2://inv/4G8HWCYSPZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Action principles#QA31, Conservation principles (statement)
History
- 2026-11-02: add by m2/dev
4G8K6HCQ1Q 4G8K6HCQ1Q
| URI | m2://inv/4G8K6HCQ1Q |
|---|---|
| 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.30336#22HQ (statement). In CCWHTB3911/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
Physics 4G94K7YFJK
| URI | m2://inv/4G94K7YFJK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes#REV2, Physics (unknown)
History
- 2026-11-02: add by m2/dev
Mubayi 4G9A9CRS5T
| URI | m2://inv/4G9A9CRS5T |
|---|---|
| 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.24353#AXP8, Mubayi (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dissipation 4G9F5QP6P6
| URI | m2://inv/4G9F5QP6P6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dissipation, Dissipation (definition). Also Wikidata Q898440
History
- 2026-11-02: add by m2/dev
4G9JW2585D 4G9JW2585D
| URI | m2://inv/4G9JW2585D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37124#4BWG (statement). In 2QF1YG9DD0/e1, proposition 4.10
History
- 2026-10-30: add by m2/v0.4.12
4G9JWN06YK 4G9JWN06YK
| URI | m2://inv/4G9JWN06YK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#example-3 (example). In E59CDZA4DP, example, section 9.1.2
History
- 2026-11-01: add by m2/v0.6.13
Integration history 4GA3JBV3VG
| URI | m2://inv/4GA3JBV3VG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral#4MN6, Integration history (unknown)
History
- 2026-11-02: add by m2/dev
4GAD1NES1S 4GAD1NES1S
| URI | m2://inv/4GAD1NES1S |
|---|---|
| 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.06909#Q32V (statement). In F1EF8XE30A/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Point Transfer 4GAJR49GAQ
| URI | m2://inv/4GAJR49GAQ |
|---|---|
| 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.24314#TPCW, Point Transfer (statement)
History
- 2026-11-01: add by m2/v0.6.15
Polynomially decreasing trial parameters 4GAM3P57Q4
| URI | m2://inv/4GAM3P57Q4 |
|---|---|
| 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.04135#9YU9, Polynomially decreasing trial parameters (statement). In 587PWJ6W5D/e1, corollary 5
History
- 2026-10-29: add by m2/v0.4.12
4GAWPTJR0M 4GAWPTJR0M
| URI | m2://inv/4GAWPTJR0M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0903.1504#EFT0 (definition). In D5YZ438QTY/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Theorem (Lévy) 4GB24MYKE8
| URI | m2://inv/4GB24MYKE8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic function (probability theory)#PW5B, Theorem (Lévy) (statement)
History
- 2026-11-02: add by m2/dev
David uniformization 4GBH0TB51A
| URI | m2://inv/4GBH0TB51A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#Y2OX, David uniformization (statement). In DDNP38CHQJ/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
$\alpha_j\equiv1$: empirical $\Omega$-regularized value iteration 4GBK3PW1WG
| URI | m2://inv/4GBK3PW1WG |
|---|---|
| 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#3QKH, $\alpha_j\equiv1$: empirical $\Omega$-regularized value iteration (statement). In B29M4E6KGC/e1, corollary H.4
History
- 2026-10-28: add by m2/v0.4.2
4GBM52G4XJ 4GBM52G4XJ
| URI | m2://inv/4GBM52G4XJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33313#XMC6 (example). In HRCEFY172P/e1, example 2.5
History
- 2026-10-30: add by m2/v0.4.12
Holomorphic moment map 4GBMWJ1P5H
| URI | m2://inv/4GBMWJ1P5H |
|---|---|
| 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.03384#SQA4, Holomorphic moment map (statement). In J55JTTKG84/e1, lemma 4.9
History
- 2026-10-29: add by m2/v0.4.12
4GBNQKA4D9 4GBNQKA4D9
| URI | m2://inv/4GBNQKA4D9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21494#4TKP (statement). In ZWT4C1DYPE/e1, proposition 8.4
History
- 2026-10-27: add by m2/v0.4.2
4GBRMNS8PM 4GBRMNS8PM
| URI | m2://inv/4GBRMNS8PM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#proof-10 (proof). In E59CDZA4DP, proof, section 2.3.1
History
- 2026-11-01: add by m2/v0.6.13
Examples 4GBWVHEHE5
| URI | m2://inv/4GBWVHEHE5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf–Whitney theorem#U1S0, Examples (example)
History
- 2026-11-02: add by m2/dev
Example 4GBYKCFN9W
| URI | m2://inv/4GBYKCFN9W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial Wigner–Ville distribution#JZG4, Example (example)
History
- 2026-11-02: add by m2/dev
Regional Mathematical Olympiad 4GBZGHDVGB
| URI | m2://inv/4GBZGHDVGB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#SKLV, Regional Mathematical Olympiad (unknown)
History
- 2026-11-02: add by m2/dev
Theodoros of Cyrene 4GC5FA6DAP
| URI | m2://inv/4GC5FA6DAP |
|---|---|
| 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 Q712328, Theodoros of Cyrene (unknown). Also ProofWiki Mathematician:Theodorus_of_Cyrene
History
- 2026-10-26: add by m2/dev
Jacobi form 4GC7M3XQ51
| URI | m2://inv/4GC7M3XQ51 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6119638, Jacobi form (concept). Also nLab Jacobi form
- wikipedia: Wikipedia Jacobi form, Jacobi form (definition). Also Wikidata Q6119638
History
- 2026-10-26: add by m2/dev
snub polyhedron 4GCASD5HYE
| URI | m2://inv/4GCASD5HYE |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q125087, snub polyhedron (unknown). Also MathWorld SnubPolyhedron
- wikipedia: Wikipedia Snub polyhedron, Snub polyhedron (object). Also Wikidata Q125087
History
- 2026-10-26: add by m2/dev
Jonathan Mboyo Esole 4GCKWGXDRV
| URI | m2://inv/4GCKWGXDRV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jonathan Mboyo Esole, Jonathan Mboyo Esole (topic). Also Wikidata Q51021052
History
- 2026-11-02: add by m2/dev
Witness property 4GCXAA2PMJ
| URI | m2://inv/4GCXAA2PMJ |
|---|---|
| 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 2606.20229#048A, Witness property (statement). In 1B85G2QJC2/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.6
L-moment 4GDCD42P0A
| URI | m2://inv/4GDCD42P0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1F2K, L-moment (definition)
History
- 2026-11-02: add by m2/dev
unit type 4GDDB3E4J3
| URI | m2://inv/4GDDB3E4J3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1307872, unit type (unknown). Also nLab unit type
- wikipedia: Wikipedia Unit type, Unit type (definition). Also Wikidata Q1307872
History
- 2026-10-26: add by m2/dev
Root-Mean-Square Current 4GDFBP0C8Q
| URI | m2://inv/4GDFBP0C8Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root mean square#XIAT, Root-Mean-Square Current (unknown)
History
- 2026-11-02: add by m2/dev
McDiarmid's Inequality (Sub-Gaussian norm) 4GDSA5MTZT
| URI | m2://inv/4GDSA5MTZT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McDiarmid's inequality#73WW, McDiarmid's Inequality (Sub-Gaussian norm) (statement)
History
- 2026-11-02: add by m2/dev
Desrosières, Alain 4GDZ1SH924
| URI | m2://inv/4GDZ1SH924 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#5EVI, Desrosières, Alain (topic)
History
- 2026-11-02: add by m2/dev
4GE07HYZQ2 4GE07HYZQ2
| URI | m2://inv/4GE07HYZQ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21034#6PBN (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples 4GE1PW5CH9
| URI | m2://inv/4GE1PW5CH9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic partial differential equation#4GEU, Examples (example)
History
- 2026-11-02: add by m2/dev
Calculus of predispositions 4GE2E7ZHS4
| URI | m2://inv/4GE2E7ZHS4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus of predispositions, Calculus of predispositions (definition). Also Wikidata Q5018899
History
- 2026-11-02: add by m2/dev
4GEATHCQ7Z 4GEATHCQ7Z
| URI | m2://inv/4GEATHCQ7Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.14380#X162 (statement). In 2ZRQP063HP/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
4GEF8CHVWA 4GEF8CHVWA
| URI | m2://inv/4GEF8CHVWA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22551#895O (definition)
History
- 2026-11-02: add by m2/v0.6.17
4GEHNPA113 4GEHNPA113
| URI | m2://inv/4GEHNPA113 |
|---|---|
| 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.19360#GRYB (statement). In MFCW5CY96C/e1, lemma 39
History
- 2026-10-28: add by m2/v0.4.2
Dirac unit 4GF1Z0R7R1
| URI | m2://inv/4GF1Z0R7R1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Dirac#HVOD, Dirac unit (unknown)
History
- 2026-11-02: add by m2/dev
4GF5KVXW8W 4GF5KVXW8W
| URI | m2://inv/4GF5KVXW8W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 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.07001#0618 (definition). In 5DFTVG7FFF/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.10
4GF6W6KJ60 4GF6W6KJ60
| URI | m2://inv/4GF6W6KJ60 |
|---|---|
| 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.08382#9ICV (statement). In GYMGDQS25R/e1, theorem 1.12
History
- 2026-10-29: add by m2/v0.4.10
Vaclav Zizler 4GFEQ1SHBJ
| URI | m2://inv/4GFEQ1SHBJ |
|---|---|
| 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 Q7908018, Vaclav Zizler (unknown). Also ProofWiki Mathematician:Václav_E._Zizler
History
- 2026-10-26: add by m2/dev
Ideal gas law 4GFJ86BP94
| URI | m2://inv/4GFJ86BP94 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equipartition theorem#GKSU, Ideal gas law (statement)
History
- 2026-11-02: add by m2/dev
4GFNWE7EGH 4GFNWE7EGH
| URI | m2://inv/4GFNWE7EGH |
|---|---|
| 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.29699#C7YV (statement)
History
- 2026-11-01: add by m2/v0.6.15
4GFNY8FTXX 4GFNY8FTXX
| URI | m2://inv/4GFNY8FTXX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-6 (proof). In N54F33XE07, proof, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
4GFRD2JZWS 4GFRD2JZWS
| URI | m2://inv/4GFRD2JZWS |
|---|---|
| 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.22345#PXEA (statement). In 7JATJ4VG9G/e1, lemma 6.5
History
- 2026-10-27: add by m2/v0.4.0
Frobenius pseudoprime 4GFRDBEAPT
| URI | m2://inv/4GFRDBEAPT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5505102, Frobenius pseudoprime (concept). Also MathWorld FrobeniusPseudoprime
- wikipedia: Wikipedia Frobenius pseudoprime, Frobenius pseudoprime (definition). Also Wikidata Q5505102
History
- 2026-10-26: add by m2/dev
Cantelli's inequality 4GFSBW4W4K
| URI | m2://inv/4GFSBW4W4K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concentration inequality#I4PR, Cantelli's inequality (statement)
History
- 2026-11-02: add by m2/dev
4GFTE1FHZ5 4GFTE1FHZ5
| URI | m2://inv/4GFTE1FHZ5 |
|---|---|
| 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.01924#LCR3 (statement). In CB89152EQW/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.12
4GG0NB9JST 4GG0NB9JST
| URI | m2://inv/4GG0NB9JST |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01737#MBLV (definition). In M4JGP708F4/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.12
characteristic function 4GG1NVYM63
| URI | m2://inv/4GG1NVYM63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#8ITD, characteristic function (definition)
History
- 2026-11-02: add by m2/dev
Lambert summation 4GG5RR65K1
| URI | m2://inv/4GG5RR65K1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#UTYF, Lambert summation (definition)
History
- 2026-11-02: add by m2/dev
Example 4GG9AN18YE
| URI | m2://inv/4GG9AN18YE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Win statistics#59T7, Example (example)
History
- 2026-11-02: add by m2/dev
4GGD7MYW8F 4GGD7MYW8F
| URI | m2://inv/4GGD7MYW8F |
|---|---|
| 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 2110.14727#LRJA (statement). In EZTB8NZGVT/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.4.0
Religious views of Kurt Gödel 4GGJ6VX1ZK
| URI | m2://inv/4GGJ6VX1ZK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kurt Gödel#XYDG, Religious views of Kurt Gödel (unknown)
History
- 2026-11-02: add by m2/dev
Construction 4GGTY8HPHC
| URI | m2://inv/4GGTY8HPHC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galois geometry#N53K, Construction (definition)
History
- 2026-11-02: add by m2/dev
Browder fixed-point theorem 4GGZB05FQA
| URI | m2://inv/4GGZB05FQA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Browder fixed-point theorem, Browder fixed-point theorem (statement). Also Wikidata Q2687556
History
- 2026-11-02: add by m2/dev
Arc elasticity 4GH5W6YJEP
| URI | m2://inv/4GH5W6YJEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arc elasticity, Arc elasticity (definition). Also Wikidata Q4785026
History
- 2026-11-02: add by m2/dev
Robert Smith 4GH86FA1CN
| URI | m2://inv/4GH86FA1CN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Smith (mathematician), Robert Smith (topic). Also Wikidata Q1747469
History
- 2026-11-02: add by m2/dev
4GHAXXPAGB 4GHAXXPAGB
| URI | m2://inv/4GHAXXPAGB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#lem:box-iff-diamond (statement). In PKGMM3P5QY, lem, section 51.4
History
- 2026-11-01: add by m2/v0.6.13
Definition 4GHDZ242K6
| URI | m2://inv/4GHDZ242K6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recurrent point#9FOK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Erdős-Rado sunflower conjecture 4GHHP45W2S
| URI | m2://inv/4GHHP45W2S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sunflower (mathematics)#HMMM, Erdős-Rado sunflower conjecture (statement)
History
- 2026-11-02: add by m2/dev
Prüfer code 4GHJK8QR5K
| URI | m2://inv/4GHJK8QR5K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.6/prüfer-code, Prüfer code (concept). In QKM9DD2H56, index, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
4GHVFWHC2X 4GHVFWHC2X
| URI | m2://inv/4GHVFWHC2X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#CXV5 (statement). In 9EMCPF1F2T/e1, proposition 48
History
- 2026-10-29: add by m2/v0.4.10
4GHYA0B9KD 4GHYA0B9KD
| URI | m2://inv/4GHYA0B9KD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10860#IN84 (statement). In PBYNV2WF2H/e1, lemma B.6
History
- 2026-10-28: add by m2/v0.4.3
Martin 4GJ0CRFVV3
| URI | m2://inv/4GJ0CRFVV3 |
|---|---|
| Kind | conjecture |
| 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.09314#3HKK, Martin (conjecture). In Z04N0B3R0V/e1, conjecture 2.2
History
- 2026-10-29: add by m2/v0.4.10
4GJ90AD771 4GJ90AD771
| URI | m2://inv/4GJ90AD771 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#5AJR (statement). In F3BKXXPR3K/e1, proposition 2.24
History
- 2026-10-27: add by m2/v0.4.2
4GJB1C57QA 4GJB1C57QA
| URI | m2://inv/4GJB1C57QA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#142N (example). In RPC7VG3KHQ/e1, example 4.3
History
- 2026-10-30: add by m2/v0.4.12
Thoralf Skolem 4GJFY2E097
| URI | m2://inv/4GJFY2E097 |
|---|---|
| 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 Q548080, Thoralf Skolem (unknown). Also nLab Thoralf Skolem
- wikipedia: Wikipedia Thoralf Skolem, Thoralf Skolem (topic). Also Wikidata Q548080
History
- 2026-10-26: add by m2/dev
4GJHMDCPN3 4GJHMDCPN3
| URI | m2://inv/4GJHMDCPN3 |
|---|---|
| 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#6967 (statement). In RYFV9HGWWZ/e1, theorem 38
History
- 2026-10-27: add by m2/v0.3.5
4GJN1EC1Y8 4GJN1EC1Y8
| URI | m2://inv/4GJN1EC1Y8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13745#SHTW (statement). In CFJH0Q39FZ/e1, corollary 4.12
History
- 2026-10-28: add by m2/v0.4.2
Properties 4GJXK78NEQ
| URI | m2://inv/4GJXK78NEQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Segre embedding#7OW8, Properties (statement)
History
- 2026-11-02: add by m2/dev
Erdős–Dushnik–Miller theorem 4GJZ8VHE6W
| URI | m2://inv/4GJZ8VHE6W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#MCX9, Erdős–Dushnik–Miller theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition 4GJZZKKAPM
| URI | m2://inv/4GJZZKKAPM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horizontal coordinate system#AUWH, Definition (definition)
History
- 2026-11-02: add by m2/dev
4GKR6F65V6 4GKR6F65V6
| URI | m2://inv/4GKR6F65V6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-5.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 7.5
History
- 2026-11-01: add by m2/v0.6.13
Brady West 4GKZD0EQR4
| URI | m2://inv/4GKZD0EQR4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brady West, Brady West (topic). Also Wikidata Q112775169
History
- 2026-11-02: add by m2/dev
Definition 4GM1T9JHRS
| URI | m2://inv/4GM1T9JHRS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Courant bracket#C6J5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Rounded up 4GM6VDDE0D
| URI | m2://inv/4GM6VDDE0D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rounding#EADC, Rounded up (unknown)
History
- 2026-11-02: add by m2/dev
4GM75SFCM2 4GM75SFCM2
| URI | m2://inv/4GM75SFCM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.08074#4ZBS (statement). In ZRPYF750AV/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
Stephen R. Bourne 4GM91DHAJN
| URI | m2://inv/4GM91DHAJN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MXQ4, Stephen R. Bourne (unknown)
History
- 2026-11-02: add by m2/dev
Betty Flehinger 4GMBX6KHYY
| URI | m2://inv/4GMBX6KHYY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#26YR, Betty Flehinger (unknown)
History
- 2026-11-02: add by m2/dev
Formulation of the theorem 4GMEW6DB7Z
| URI | m2://inv/4GMEW6DB7Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intercept theorem#68K8, Formulation of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Lawrence Rudner 4GMFHYP9A5
| URI | m2://inv/4GMFHYP9A5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lawrence Rudner, Lawrence Rudner (topic). Also Wikidata Q130553182
History
- 2026-11-02: add by m2/dev
4GMSE48F6V 4GMSE48F6V
| URI | m2://inv/4GMSE48F6V |
|---|---|
| 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 2504.19468#1RT2 (statement). In EY54F2SX08/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.3.5
Applications 4GMSQ9W0P8
| URI | m2://inv/4GMSQ9W0P8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spin glass#2MKV, Applications (example)
History
- 2026-11-02: add by m2/dev
4GN21S4PZ3 4GN21S4PZ3
| URI | m2://inv/4GN21S4PZ3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#example:ratnums (example). In E59CDZA4DP, example, section 11.9.4
History
- 2026-11-01: add by m2/v0.6.13
4GN2C9AYXD 4GN2C9AYXD
| URI | m2://inv/4GN2C9AYXD |
|---|---|
| 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.20556#JVK1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
4GN3K5WST7 4GN3K5WST7
| URI | m2://inv/4GN3K5WST7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23522#OA26 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Matiyasevich's theorem 4GN5AEMJKM
| URI | m2://inv/4GN5AEMJKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#69SB, Matiyasevich's theorem (definition)
History
- 2026-11-02: add by m2/dev
Law of Iterated Logarithm 4GN5VDFME6
| URI | m2://inv/4GN5VDFME6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#G6WK, Law of Iterated Logarithm (statement). In WRE0P7V6Z3/e1, theorem D.9
History
- 2026-10-30: add by m2/v0.4.12
Mersenne number 4GNB3KXZRE
| URI | m2://inv/4GNB3KXZRE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Mersenne number 0GJBJ19NXR |
Mentions
- wikidata: Wikidata Q10338607, Mersenne number (unknown). Also MathWorld MersenneNumber, OEIS A000225
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Hölder's inequality 4GNJS22YQ5
| URI | m2://inv/4GNJS22YQ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hölder's inequality JQ9WXC729D |
Mentions
- wikidata: Wikidata Q731894, Hölder's inequality (statement). Also EoM Hölder_inequality, MathWorld HoeldersInequalities, nLab Hölder's inequality, ProofWiki Hölder's_Inequality
- wikipedia: Wikipedia Hölder's inequality, Hölder's inequality (statement). Also Wikidata Q731894
History
- 2026-10-26: add by m2/dev
4GNJSFHJYQ 4GNJSFHJYQ
| URI | m2://inv/4GNJSFHJYQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#JO8Z (statement). In 67GE5M1GGD/e1, theorem 5.24
History
- 2026-10-30: add by m2/v0.4.12
Li , Lemma 4.1, integer form 4GNP9GPF5Z
| URI | m2://inv/4GNP9GPF5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22298#W1N9, Li , Lemma 4.1, integer form (statement)
History
- 2026-11-02: add by m2/v0.6.17
Per capita 4GNSNTG5W0
| URI | m2://inv/4GNSNTG5W0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#I6XE, Per capita (definition)
History
- 2026-11-02: add by m2/dev
4GP13GZYPT 4GP13GZYPT
| URI | m2://inv/4GP13GZYPT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20528#S6BF (statement)
History
- 2026-11-02: add by m2/v0.6.18
4GPAVXSC3R 4GPAVXSC3R
| URI | m2://inv/4GPAVXSC3R |
|---|---|
| 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 0902.4887#QB58 (statement). In MYQ05J9R20/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
4GPBPQCGSH 4GPBPQCGSH
| URI | m2://inv/4GPBPQCGSH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#1BCF (statement). In E7BPGPP9Z5/e1, theorem 7.2
History
- 2026-10-29: add by m2/v0.4.10
4GPBYRYKAQ 4GPBYRYKAQ
| URI | m2://inv/4GPBYRYKAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 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.28552#GR43 (statement)
History
- 2026-11-01: add by m2/v0.6.15
4GPHXFV91Y 4GPHXFV91Y
| URI | m2://inv/4GPHXFV91Y |
|---|---|
| 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.33679#7GCB (statement). In 3N9E9T6AF5/e1, lemma 6.5
History
- 2026-10-30: add by m2/v0.4.12
4GPNH4RDSE 4GPNH4RDSE
| URI | m2://inv/4GPNH4RDSE |
|---|---|
| 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 2504.02065#8FNC (statement). In 60CK7P5F36/e1, corollary 5.7
History
- 2026-10-27: add by m2/v0.3.5
4GPT0R6JXG 4GPT0R6JXG
| URI | m2://inv/4GPT0R6JXG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#9NJ8 (statement). In GXHKRV5BPY/e1, proposition 4.15
History
- 2026-10-29: add by m2/v0.4.10
Higman's lower-bound construction 4GPYA0MDS0
| URI | m2://inv/4GPYA0MDS0 |
|---|---|
| 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.14509#G4L1, Higman's lower-bound construction (statement). In N6GD8392QB/e1, lemma 15.6
History
- 2026-10-28: add by m2/v0.4.2
Symmetry 4GQ0EQ2FN8
| URI | m2://inv/4GQ0EQ2FN8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse function#4P03, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
4GQ2JZH9PT 4GQ2JZH9PT
| URI | m2://inv/4GQ2JZH9PT |
|---|---|
| Kind | example |
| 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.16193#BBKE (example). In 1Q0A9HSTVP/e1, example 1
History
- 2026-10-28: add by m2/v0.4.2
4GQ35C6J2Y 4GQ35C6J2Y
| URI | m2://inv/4GQ35C6J2Y |
|---|---|
| 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.03288#RW3Z (statement). In ZHP1MFSACN/e1, theorem A.3
History
- 2026-10-29: add by m2/v0.4.12
Mathematics: The Loss of Certainty 4GQ4V782G4
| URI | m2://inv/4GQ4V782G4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#AT4F, Mathematics: The Loss of Certainty (definition)
History
- 2026-11-02: add by m2/dev
Journal of Educational and Behavioral Statistics 4GQ7J2RRBC
| URI | m2://inv/4GQ7J2RRBC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Educational and Behavioral Statistics, Journal of Educational and Behavioral Statistics (definition). Also Wikidata Q6295129
History
- 2026-11-02: add by m2/dev
Satisfaction 4GQA4EAGMC
| URI | m2://inv/4GQA4EAGMC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/satisfaction.tex#defn:satisfaction, Satisfaction (definition). In PKGMM3P5QY, defn, section 19.14
History
- 2026-11-01: add by m2/v0.6.13
4GQATXC93P 4GQATXC93P
| URI | m2://inv/4GQATXC93P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27830#F350 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Natural experiment 4GQJ8HY6KW
| URI | m2://inv/4GQJ8HY6KW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7GFY, Natural experiment (definition)
History
- 2026-11-02: add by m2/dev
4GQMS3EXWX 4GQMS3EXWX
| URI | m2://inv/4GQMS3EXWX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30113#SO9T (statement)
History
- 2026-11-01: add by m2/v0.6.15
4GQP0T3BND 4GQP0T3BND
| URI | m2://inv/4GQP0T3BND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.12716#SN7W (statement). In 6X76XBE3HV/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
Properties 4GQPZ70S4W
| URI | m2://inv/4GQPZ70S4W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koch snowflake#921J, Properties (statement)
History
- 2026-11-02: add by m2/dev
Arno Kuijlaars 4GQT18BGZG
| URI | m2://inv/4GQT18BGZG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arno Kuijlaars, Arno Kuijlaars (topic). Also Wikidata Q2336994
History
- 2026-11-02: add by m2/dev
primitive permutation group 4GR1K8BXS1
| URI | m2://inv/4GR1K8BXS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Primitive permutation group Y10S0751KG |
Mentions
- wikidata: Wikidata Q7243579, primitive permutation group (unknown). Also MathWorld PrimitiveGroup, MathWorld PrimitiveGroupAction
- wikipedia: Wikipedia Primitive permutation group, Primitive permutation group (definition). Also Wikidata Q7243579
History
- 2026-10-26: add by m2/dev
Adjunction for invariant divisors 4GR46PANPV
| URI | m2://inv/4GR46PANPV |
|---|---|
| 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 2103.12669#0ANU, Adjunction for invariant divisors (statement). In ZA6XNBA90V/e1, theorem 1.22
History
- 2026-10-27: add by m2/v0.3.5
Ioannis Kigalas 4GR9V2AE83
| URI | m2://inv/4GR9V2AE83 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ioannis Kigalas, Ioannis Kigalas (topic). Also Wikidata Q4220033
History
- 2026-11-02: add by m2/dev
Long-range order and macroscopic loops at zero activity 4GRF9C47EZ
| URI | m2://inv/4GRF9C47EZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29671#Z2GB, Long-range order and macroscopic loops at zero activity (statement)
History
- 2026-11-01: add by m2/v0.6.15
4GRMK6E957 4GRMK6E957
| URI | m2://inv/4GRMK6E957 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27820#NP83 (statement)
History
- 2026-11-01: add by m2/v0.6.15
R. Keith Dennis 4GRRMFMBN8
| URI | m2://inv/4GRRMFMBN8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R. Keith Dennis, R. Keith Dennis (topic). Also Wikidata Q102175152
History
- 2026-11-02: add by m2/dev
4GRS3C5JZH 4GRS3C5JZH
| URI | m2://inv/4GRS3C5JZH |
|---|---|
| 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 2203.15223#VPTI (example). In HSY17Q75DM/e1, example
History
- 2026-10-27: add by m2/v0.3.5
Conservation of momentum 4GRXPCYWAM
| URI | m2://inv/4GRXPCYWAM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fluid dynamics#RRXZ, Conservation of momentum (definition)
History
- 2026-11-02: add by m2/dev
Formal definition 4GS1WWWT36
| URI | m2://inv/4GS1WWWT36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia EXPSPACE#VETG, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
4GS4ZF2A0N 4GS4ZF2A0N
| URI | m2://inv/4GS4ZF2A0N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06372#G6I6 (statement). In G3E1P350Z6/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
Jacobi coordinates 4GS58AEACR
| URI | m2://inv/4GS58AEACR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi coordinates, Jacobi coordinates (definition). Also Wikidata Q5409661
History
- 2026-11-02: add by m2/dev
Richard G. Newman 4GS7T8FKKS
| URI | m2://inv/4GS7T8FKKS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#KVF4, Richard G. Newman (unknown)
History
- 2026-11-02: add by m2/dev
4GSJ7EREAM 4GSJ7EREAM
| URI | m2://inv/4GSJ7EREAM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21921#227J (definition). In CM2YEK9T4F/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.4.2
Notation 4GSNCCH1PB
| URI | m2://inv/4GSNCCH1PB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fabius function#VHCF, Notation (definition)
History
- 2026-11-02: add by m2/dev
4GSQGCWGAM 4GSQGCWGAM
| URI | m2://inv/4GSQGCWGAM |
|---|---|
| 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 1008.4254#FALF (statement). In SXTX59QBVT/e1, lemma 4.13
History
- 2026-10-27: add by m2/v0.3.5
4GSSG09E1S 4GSSG09E1S
| URI | m2://inv/4GSSG09E1S |
|---|---|
| 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.21866#LQ1A (statement). In Q3NMYW8ANH/e1, lemma 1.2
History
- 2026-10-27: add by m2/v0.4.2
Wolfe duality 4GST55QY3S
| URI | m2://inv/4GST55QY3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolfe duality, Wolfe duality (definition). Also Wikidata Q8029991
History
- 2026-11-02: add by m2/dev
Mixed Nash Equilibrium 4GT1ZC9PSC
| URI | m2://inv/4GT1ZC9PSC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of game theory#KV2R, Mixed Nash Equilibrium (definition)
History
- 2026-11-02: add by m2/dev
Theorem 4GT2C1QC8D
| URI | m2://inv/4GT2C1QC8D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-Gaussian distribution#FW35, Theorem (statement)
History
- 2026-11-02: add by m2/dev
4GT8THKH1B 4GT8THKH1B
| URI | m2://inv/4GT8THKH1B |
|---|---|
| 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.26357#AXUX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Euclid number 4GTPZC1262
| URI | m2://inv/4GTPZC1262 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Euclid#RDJX, Euclid number (conjecture)
History
- 2026-11-02: add by m2/dev
4GTT7Y4QQZ 4GTT7Y4QQZ
| URI | m2://inv/4GTT7Y4QQZ |
|---|---|
| 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#EMWQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Repunit 4GTW0EB7GB
| URI | m2://inv/4GTW0EB7GB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#9TCK, Repunit (definition)
History
- 2026-11-02: add by m2/dev
4GTYN7AQ5E 4GTYN7AQ5E
| URI | m2://inv/4GTYN7AQ5E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#definition-3 (definition). In RZP28ERRZV, definition, section 62.3
History
- 2026-11-01: add by m2/v0.6.13
4GTZX47TQY 4GTZX47TQY
| URI | m2://inv/4GTZX47TQY |
|---|---|
| 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.21131#6E7B (statement). In CPYWHRTPKC/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
4GV31XSRRK 4GV31XSRRK
| URI | m2://inv/4GV31XSRRK |
|---|---|
| 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.25742#TABJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
4GV6SHWED6 4GV6SHWED6
| URI | m2://inv/4GV6SHWED6 |
|---|---|
| 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.20391#6II4 (statement). In CTAS41TRM2/e1, corollary 7.8
History
- 2026-10-27: add by m2/v0.4.2
Lerner symmetry theorem 4GV860SZ35
| URI | m2://inv/4GV860SZ35 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6528849, Lerner symmetry theorem (statement). Also Wikidata Q6528849
- thousand_plus: thousand_plus Q6528849, Lerner symmetry theorem (statement). Also Wikidata Q6528849, Wikipedia Lerner symmetry theorem
- wikipedia: Wikipedia Lerner symmetry theorem, Lerner symmetry theorem (statement). Also Wikidata Q6528849
History
- 2026-10-26: add by m2/dev
adjacency list 4GVARCCR4J
| URI | m2://inv/4GVARCCR4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q264398, adjacency list (unknown). Also MathWorld AdjacencyList
- wikipedia: Wikipedia Adjacency list, Adjacency list (definition). Also Wikidata Q264398
History
- 2026-10-26: add by m2/dev
4GVARWMRB3 4GVARWMRB3
| URI | m2://inv/4GVARWMRB3 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26114#3FPO (problem)
History
- 2026-11-01: add by m2/v0.6.15
Intensity function 4GVD7PJ1XZ
| URI | m2://inv/4GVD7PJ1XZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point process#8EBX, Intensity function (unknown)
History
- 2026-11-02: add by m2/dev
Harvey Friedman 4GVDFMEYV1
| URI | m2://inv/4GVDFMEYV1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9761, Harvey Friedman (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6E90, Harvey Friedman (topic)
History
- 2026-11-02: add by m2/dev
Partition function asymptotics 4GVE70N7Z4
| URI | m2://inv/4GVE70N7Z4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14616#0O6M, Partition function asymptotics (statement). In 17ACAG0N9C/e1, theorem 2.5
History
- 2026-10-28: add by m2/v0.4.2
4GVQKKRDCA 4GVQKKRDCA
| URI | m2://inv/4GVQKKRDCA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.03672#FB7N (definition). In EZZSZ1F071/e1, definition 0.2
History
- 2026-10-27: add by m2/v0.4.0
Time-domain harmonic scaling 4GVTT9RJXV
| URI | m2://inv/4GVTT9RJXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time-domain harmonic scaling, Time-domain harmonic scaling (definition). Also Wikidata Q7804817
History
- 2026-11-02: add by m2/dev
4GVWQC6C10 4GVWQC6C10
| URI | m2://inv/4GVWQC6C10 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#7SU4 (statement). In Y1DR0DPWD0/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.12
4GW1CDR0Q9 4GW1CDR0Q9
| URI | m2://inv/4GW1CDR0Q9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-4.xml#example-1 (example). In 649HGZKE96, example, section 7.4.2
History
- 2026-11-01: add by m2/v0.6.13
Flat norm 4GW6XJS132
| URI | m2://inv/4GW6XJS132 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Current (mathematics)#3A80, Flat norm (unknown)
History
- 2026-11-02: add by m2/dev
NP-easy 4GWAPV8KXZ
| URI | m2://inv/4GWAPV8KXZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NP-easy, NP-easy (definition). Also Wikidata Q505373
History
- 2026-11-02: add by m2/dev
Typical sets from the Shannon--McMillan--Breiman theorem 4GWAV0ECTH
| URI | m2://inv/4GWAV0ECTH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04834#99YM, Typical sets from the Shannon--McMillan--Breiman theorem (statement). In YZNK67K060/e1, lemma 10.3
History
- 2026-10-29: add by m2/v0.4.12
Index number problem 4GWG1SZQZF
| URI | m2://inv/4GWG1SZQZF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index (economics)#6ZPB, Index number problem (unknown)
History
- 2026-11-02: add by m2/dev
4GWHQZ5R0E 4GWHQZ5R0E
| URI | m2://inv/4GWHQZ5R0E |
|---|---|
| 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.30098#U2FS (definition)
History
- 2026-11-01: add by m2/v0.6.15
Dejter graph 4GWNHAXA6W
| URI | m2://inv/4GWNHAXA6W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17010156, Dejter graph (unknown). Also House of Graphs 51368, MathWorld DejterGraph
- wikipedia: Wikipedia Dejter graph, Dejter graph (definition). Also Wikidata Q17010156
History
- 2026-10-26: add by m2/dev
Haversine formula 4GWZBVZ3PG
| URI | m2://inv/4GWZBVZ3PG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haversine formula, Haversine formula (statement). Also Wikidata Q587172
History
- 2026-11-02: add by m2/dev
\lean{Vl\_model 4GX28D5AS7
| URI | m2://inv/4GX28D5AS7 |
|---|---|
| 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.23143#C64J, \lean{Vl\_model (statement)
History
- 2026-11-02: add by m2/v0.6.17
Cruciform curve 4GXFF5M5TR
| URI | m2://inv/4GXFF5M5TR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane quartic curve#4YD3, Cruciform curve (unknown)
History
- 2026-11-02: add by m2/dev
Bias-variance decomposition 4GXNPP8PYJ
| URI | m2://inv/4GXNPP8PYJ |
|---|---|
| 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.18935#2EPL, Bias-variance decomposition (statement). In HPEEJY1S3S/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
4GXR0ATQZ0 4GXR0ATQZ0
| URI | m2://inv/4GXR0ATQZ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19455#AP1A (statement). In CBF6TQS4DW/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Example 4GXVN12GQ3
| URI | m2://inv/4GXVN12GQ3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littlewood–Richardson rule#XBNN, Example (example)
History
- 2026-11-02: add by m2/dev
4GXVSZYKSX 4GXVSZYKSX
| URI | m2://inv/4GXVSZYKSX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2602.15812#FNI7 (statement). In GAAZD3SGPN/e1, lemma
History
- 2026-10-27: add by m2/v0.3.5
4GY3CS4YN6 4GY3CS4YN6
| URI | m2://inv/4GY3CS4YN6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#prob:open or not (exercise). In P1C114YBXG, problem, section K
History
- 2026-11-01: add by m2/v0.6.13
4GY6076NV6 4GY6076NV6
| URI | m2://inv/4GY6076NV6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/frame-definability/second-order-definability.tex#cor-1 (statement). In PKGMM3P5QY, cor, section 53.4
History
- 2026-11-01: add by m2/v0.6.13
4GY9JDE23C 4GY9JDE23C
| URI | m2://inv/4GY9JDE23C |
|---|---|
| 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.24845#WKIL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 4GYET4NR2X
| URI | m2://inv/4GYET4NR2X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential object#ZAVC, Examples (example)
History
- 2026-11-02: add by m2/dev
Gaussian q-distribution 4GYF2CYM5H
| URI | m2://inv/4GYF2CYM5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian q-distribution, Gaussian q-distribution (definition). Also Wikidata Q5527846
History
- 2026-11-02: add by m2/dev
4GYFZ8PCYZ 4GYFZ8PCYZ
| URI | m2://inv/4GYFZ8PCYZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/russells-paradox.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 82.7
History
- 2026-11-01: add by m2/v0.6.13
Outgroup homogeneity bias 4GYGF9BTH1
| URI | m2://inv/4GYGF9BTH1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#5DLF, Outgroup homogeneity bias (unknown)
History
- 2026-11-02: add by m2/dev
Perko pair 4GYRQSGW62
| URI | m2://inv/4GYRQSGW62 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7169092, Perko pair (unknown). Also MathWorld PerkoPair
- wikipedia: Wikipedia Perko pair, Perko pair (definition). Also Wikidata Q7169092
History
- 2026-10-26: add by m2/dev
4GYRV64Z47 4GYRV64Z47
| URI | m2://inv/4GYRV64Z47 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26201#N1WE (statement)
History
- 2026-11-01: add by m2/v0.6.15
4GYT3ZKW33 4GYT3ZKW33
| URI | m2://inv/4GYT3ZKW33 |
|---|---|
| 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 2609.23605#PVO5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Nachbin's theorem 4GYWM90R13
| URI | m2://inv/4GYWM90R13 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stone–Weierstrass theorem#SMTC, Nachbin's theorem (statement)
History
- 2026-11-02: add by m2/dev
4GYYN1ANEW 4GYYN1ANEW
| URI | m2://inv/4GYYN1ANEW |
|---|---|
| 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 2609.31274#AZ9R (statement). In RK0ZMDJ23T/e1, lemma 2.3.9
History
- 2026-10-31: add by m2/v0.5.6
4GZ1AQEV4Y 4GZ1AQEV4Y
| URI | m2://inv/4GZ1AQEV4Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#matexp:expinvex (exercise). In E9HS8K3A52, exercise, section 10.8.6
History
- 2026-11-01: add by m2/v0.6.13
Algebraic properties 4GZ9DF203D
| URI | m2://inv/4GZ9DF203D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection (set theory)#Q50T, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
4GZAXE6RP5 4GZAXE6RP5
| URI | m2://inv/4GZAXE6RP5 |
|---|---|
| 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.32977#QSRP (statement). In 4KT9TK3MG4/e1, corollary C.14
History
- 2026-10-31: add by m2/v0.5.6
4GZB183QR6 4GZB183QR6
| URI | m2://inv/4GZB183QR6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#IQTE (definition). In HH35K7S17H/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Fourth moments 4GZC29AHH8
| URI | m2://inv/4GZC29AHH8 |
|---|---|
| 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.07214#2JXV, Fourth moments (statement). In 669PBFJX0Z/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.10
Multivariate Behrens–Fisher problem 4GZCMJVCW6
| URI | m2://inv/4GZCMJVCW6 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate Behrens–Fisher problem, Multivariate Behrens–Fisher problem (problem). Also Wikidata Q17099224
History
- 2026-11-02: add by m2/dev
Hacoversine 4GZFR6AFC8
| URI | m2://inv/4GZFR6AFC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#6C3Q, Hacoversine (definition)
History
- 2026-11-02: add by m2/dev
Exponential map 4GZJMK7P3H
| URI | m2://inv/4GZJMK7P3H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17004#05CP, Exponential map (definition). In XNJGNMS6H0/e1, definition B.6
History
- 2026-10-28: add by m2/v0.4.2
Daniel Larsen 4GZT1WH3DH
| URI | m2://inv/4GZT1WH3DH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel Larsen (mathematician), Daniel Larsen (topic). Also Wikidata Q115527252
History
- 2026-11-02: add by m2/dev
4GZT40PE7Y 4GZT40PE7Y
| URI | m2://inv/4GZT40PE7Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#TP76 (statement). In 13H5BTAXHF/e1, fact 2
History
- 2026-10-27: add by m2/v0.3.5