Inventory rows HG
The cards of the rows of the inventory whose ids start with HG. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
László Fuchs HG0A7G74AZ
| URI | m2://inv/HG0A7G74AZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GFKH, László Fuchs (topic)
History
- 2026-11-02: add by m2/dev
Common-factor dichotomy HG0EV08ASV
| URI | m2://inv/HG0EV08ASV |
|---|---|
| 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 2609.31689#UYDS, Common-factor dichotomy (statement). In Z7M2JSF6HA/e1, lemma 12.1
History
- 2026-10-31: add by m2/v0.5.6
complex number HG0KPPXWX5
| URI | m2://inv/HG0KPPXWX5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.2.2/complex-number, complex number (concept). In E9HS8K3A52, index, section 6.2.2
History
- 2026-11-01: add by m2/v0.6.13
Definition HG0TN7F3V9
| URI | m2://inv/HG0TN7F3V9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermitian symmetric space#ZKZF, Definition (definition)
History
- 2026-11-02: add by m2/dev
setoid HG0V9GSKWH
| URI | m2://inv/HG0V9GSKWH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.13/setoid, setoid (concept). In N54F33XE07, index, section 5.13
History
- 2026-11-01: add by m2/v0.6.13
Projection bias HG0VNVS2YT
| URI | m2://inv/HG0VNVS2YT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affective forecasting#DTHD, Projection bias (unknown)
History
- 2026-11-02: add by m2/dev
Galois theory HG0WP82Z97
| URI | m2://inv/HG0WP82Z97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#3W0T, Galois theory (definition)
- wikipedia: Wikipedia List of polynomial topics#D2ZF, Galois theory (definition)
- wikipedia: Wikipedia List of abstract algebra topics#OD9O, Galois theory (definition)
- wikipedia: Wikipedia List of abstract algebra topics#P8KE, Galois theory (definition)
History
- 2026-11-02: add by m2/dev
Lord, Frederic M. HG0YAGNQXE
| URI | m2://inv/HG0YAGNQXE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#AY27, Lord, Frederic M. (topic)
History
- 2026-11-02: add by m2/dev
Construction HG1DG4S4Z3
| URI | m2://inv/HG1DG4S4Z3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 4 21 polytope#9T2N, Construction (definition)
History
- 2026-11-02: add by m2/dev
Hopkins–Levitzki theorem HG1FWYMN9N
| URI | m2://inv/HG1FWYMN9N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#GB8S, Hopkins–Levitzki theorem (statement)
History
- 2026-11-02: add by m2/dev
Amy H. Herring HG1HQRHZCS
| URI | m2://inv/HG1HQRHZCS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#0MZB, Amy H. Herring (topic)
History
- 2026-11-02: add by m2/dev
Lax–Richtmyer theorem HG1SZ0ZBED
| URI | m2://inv/HG1SZ0ZBED |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WAPR, Lax–Richtmyer theorem (unknown)
History
- 2026-11-02: add by m2/dev
Positive Definiteness HG1TNEFTX5
| URI | m2://inv/HG1TNEFTX5 |
|---|---|
| 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.20041#FBQG, Positive Definiteness (statement)
History
- 2026-11-02: add by m2/v0.6.18
HG1WVVZ3S8 HG1WVVZ3S8
| URI | m2://inv/HG1WVVZ3S8 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/rank.tex#proof-6 (proof). In PKGMM3P5QY, proof, section 74.4
History
- 2026-11-01: add by m2/v0.6.13
absolute HG21GQCYFW
| URI | m2://inv/HG21GQCYFW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#2CMJ, absolute (definition)
History
- 2026-11-02: add by m2/dev
List of states and union territories of India by crime rate HG21P3RHHK
| URI | m2://inv/HG21P3RHHK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of states and union territories of India by crime rate, List of states and union territories of India by crime rate (topic). Also Wikidata Q17056336
History
- 2026-11-02: add by m2/dev
Guido Hoheisel HG23BSRZH4
| URI | m2://inv/HG23BSRZH4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LDH9, Guido Hoheisel (topic)
History
- 2026-11-02: add by m2/dev
Order summable HG24TE0CWX
| URI | m2://inv/HG24TE0CWX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order summable, Order summable (definition). Also Wikidata Q96397668
History
- 2026-11-02: add by m2/dev
HG2FWCCZ7G HG2FWCCZ7G
| URI | m2://inv/HG2FWCCZ7G |
|---|---|
| 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.22153#MU48 (statement). In 927F2TZ644/e1, lemma 6
History
- 2026-10-27: add by m2/v0.4.0
HG2K1AEMHQ HG2K1AEMHQ
| URI | m2://inv/HG2K1AEMHQ |
|---|---|
| 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 2507.12309#WZK6 (statement). In ZR53K3E0FR/e1, theorem
History
- 2026-10-27: add by m2/v0.3.6
RSA-360 HG2M0KFAFW
| URI | m2://inv/HG2M0KFAFW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#MCJC, RSA-360 (unknown)
History
- 2026-11-02: add by m2/dev
Single-period nonidentification HG2N6G686R
| URI | m2://inv/HG2N6G686R |
|---|---|
| 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.37380#H4BU, Single-period nonidentification (statement). In 14Y4SA4SX0/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
Von Neumann equation HG2QA0WTDH
| URI | m2://inv/HG2QA0WTDH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Density matrix#TXB4, Von Neumann equation (unknown)
History
- 2026-11-02: add by m2/dev
Spectral comparison and area estimate HG2TH48CFE
| URI | m2://inv/HG2TH48CFE |
|---|---|
| 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.08011#06GD, Spectral comparison and area estimate (statement). In K0BXT951HT/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.10
Leibniz formula HG2XYKTDEY
| URI | m2://inv/HG2XYKTDEY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Differentiability > Leibniz formula, Leibniz formula (unknown). Also Mathlib deriv_mul
History
- 2026-10-26: add by m2/dev
Examples of compact spaces HG324TVPJH
| URI | m2://inv/HG324TVPJH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#example-2, Examples of compact spaces (example). In RZP28ERRZV, example, section 95.1
History
- 2026-11-01: add by m2/v0.6.13
Feigenbaum constants HG351ZHXF3
| URI | m2://inv/HG351ZHXF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#F7QE, Feigenbaum constants (definition)
History
- 2026-11-02: add by m2/dev
Applications HG35925CR7
| URI | m2://inv/HG35925CR7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential integrator#GG39, Applications (example)
History
- 2026-11-02: add by m2/dev
Tensor product of Hilbert spaces HG3EQKKYP5
| URI | m2://inv/HG3EQKKYP5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#PKGV, Tensor product of Hilbert spaces (definition)
History
- 2026-11-02: add by m2/dev
HG3FXJTDK2 HG3FXJTDK2
| URI | m2://inv/HG3FXJTDK2 |
|---|---|
| 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.06038#TCEK (statement). In 4TJGTZWJVK/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
conductor HG3NC90ME1
| URI | m2://inv/HG3NC90ME1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#V2N7, conductor (definition)
History
- 2026-11-02: add by m2/dev
HG3Y4EV2JN HG3Y4EV2JN
| URI | m2://inv/HG3Y4EV2JN |
|---|---|
| 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.22218#UHFP (statement). In 338GKREFVP/e1, lemma 17
History
- 2026-10-27: add by m2/v0.4.0
Probabilistic analysis of algorithms HG41EC2JCE
| URI | m2://inv/HG41EC2JCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistic analysis of algorithms, Probabilistic analysis of algorithms (definition). Also Wikidata Q7246846
History
- 2026-11-02: add by m2/dev
HG47FHSFCN HG47FHSFCN
| URI | m2://inv/HG47FHSFCN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#9WJE (statement). In 6KR7Z5ETRY/e1, lemma 4.12
History
- 2026-10-27: add by m2/v0.3.5
HG49HTKGPV HG49HTKGPV
| URI | m2://inv/HG49HTKGPV |
|---|---|
| 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 2405.05684#JNGQ (statement). In 1PR73ECTZB/e1, lemma 10
History
- 2026-10-27: add by m2/v0.3.5
HG4D42QADV HG4D42QADV
| URI | m2://inv/HG4D42QADV |
|---|---|
| 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.02628#FNK4 (statement). In G4S9C5M1A4/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.12
*{Definition 3.13 HG4N7ZVM88
| URI | m2://inv/HG4N7ZVM88 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#YTRB, *{Definition 3.13 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Institutional review board HG4VP1M8ZC
| URI | m2://inv/HG4VP1M8ZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#K7UI, Institutional review board (definition)
History
- 2026-11-02: add by m2/dev
HG4VP3KS4J HG4VP3KS4J
| URI | m2://inv/HG4VP3KS4J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.20001#O5RD (definition). In Y6YJSB93C3/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Examples HG4VXQDPMZ
| URI | m2://inv/HG4VXQDPMZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Software calculator#XF8F, Examples (example)
History
- 2026-11-02: add by m2/dev
HG59V9XAZP HG59V9XAZP
| URI | m2://inv/HG59V9XAZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08638#25LA (statement). In 113VZ5XX7J/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
Generalization HG5FA1FJFH
| URI | m2://inv/HG5FA1FJFH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance correlation#E9YA, Generalization (statement)
History
- 2026-11-02: add by m2/dev
File size bound HG5QRN57HJ
| URI | m2://inv/HG5QRN57HJ |
|---|---|
| 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.11007#ZV3S, File size bound (statement). In MF0H78XZXC/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.3
HG5R98D9TS HG5R98D9TS
| URI | m2://inv/HG5R98D9TS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#6SZ4 (statement). In X38P26DK6S/e1, proposition 3.21
History
- 2026-10-27: add by m2/v0.4.0
Trakhtenbrot's theorem HG5XKMHCMK
| URI | m2://inv/HG5XKMHCMK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trakhtenbrot's theorem, Trakhtenbrot's theorem (statement). Also Wikidata Q10965882
History
- 2026-11-02: add by m2/dev
Axioms HG5XN2E3JN
| URI | m2://inv/HG5XN2E3JN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck topology#5469, Axioms (statement)
History
- 2026-11-02: add by m2/dev
HG5Y9G7Z0P HG5Y9G7Z0P
| URI | m2://inv/HG5Y9G7Z0P |
|---|---|
| Kind | statement |
| 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#W4PI (statement). In HH35K7S17H/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
Generalization HG6EQ0BR2J
| URI | m2://inv/HG6EQ0BR2J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lipschitz domain#D0AZ, Generalization (statement)
History
- 2026-11-02: add by m2/dev
HG6MG07P40 HG6MG07P40
| URI | m2://inv/HG6MG07P40 |
|---|---|
| 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.37897#KRW3 (statement). In RBQ5FNCVNZ/e1, proposition 6.13
History
- 2026-10-30: add by m2/v0.4.12
HG6MTX5M7F HG6MTX5M7F
| URI | m2://inv/HG6MTX5M7F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.10911#8TKR (statement). In Y23VR7N90M/e1, lemma 18
History
- 2026-10-27: add by m2/v0.3.5
Einasto profile HG6XYEEPAK
| URI | m2://inv/HG6XYEEPAK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Einasto profile, Einasto profile (definition). Also Wikidata Q5349727
History
- 2026-11-02: add by m2/dev
HG70ZJAQPP HG70ZJAQPP
| URI | m2://inv/HG70ZJAQPP |
|---|---|
| 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 1011.4651#7G35 (statement). In 44YWXB0VB4/e1, corollary 3
History
- 2026-10-27: add by m2/v0.3.5
HG748VGJGW HG748VGJGW
| URI | m2://inv/HG748VGJGW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-53 (exercise). In E9HS8K3A52, exercise, section 2.5.5
History
- 2026-11-01: add by m2/v0.6.13
HG75CXCRR4 HG75CXCRR4
| URI | m2://inv/HG75CXCRR4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/induction/induction-on-N.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 43.1
History
- 2026-11-01: add by m2/v0.6.13
Formal manifold HG7BTR22TC
| URI | m2://inv/HG7BTR22TC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal manifold, Formal manifold (definition). Also Wikidata Q5469964
History
- 2026-11-02: add by m2/dev
Triaxial ellipsoidal coordinates HG7C6X9187
| URI | m2://inv/HG7C6X9187 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesics on an ellipsoid#ZXWU, Triaxial ellipsoidal coordinates (unknown)
History
- 2026-11-02: add by m2/dev
Theorem (Imbert's first acceleration theorem) HG7HP4M4HD
| URI | m2://inv/HG7HP4M4HD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier–Motzkin elimination#7JJ0, Theorem (Imbert's first acceleration theorem) (statement)
History
- 2026-11-02: add by m2/dev
M-theory HG7JQCP0NT
| URI | m2://inv/HG7JQCP0NT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#OFXI, M-theory (definition)
History
- 2026-11-02: add by m2/dev
Highly powerful number HG7SF4F87G
| URI | m2://inv/HG7SF4F87G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Highly powerful number, Highly powerful number (definition). Also Wikidata Q55613734
History
- 2026-11-02: add by m2/dev
Parallel axis theorem HG7V3PC4TQ
| URI | m2://inv/HG7V3PC4TQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moment of inertia#WK10, Parallel axis theorem (statement)
History
- 2026-11-02: add by m2/dev
HG7VCGWS26 HG7VCGWS26
| URI | m2://inv/HG7VCGWS26 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dets.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 56.2
History
- 2026-11-01: add by m2/v0.6.13
The Mathematical Classic of Sun Zi HG7VK3E66C
| URI | m2://inv/HG7VK3E66C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13891793, The Mathematical Classic of Sun Zi (unknown). Also ProofWiki Book:Sun_Tzu/Sun_Tzu_Suan_Ching
- wikipedia: Wikipedia Sunzi Suanjing, Sunzi Suanjing (definition). Also Wikidata Q13891793
History
- 2026-10-26: add by m2/dev
HG7WD5MG19 HG7WD5MG19
| URI | m2://inv/HG7WD5MG19 |
|---|---|
| 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.21535#UEOW (statement)
History
- 2026-11-02: add by m2/v0.6.18
History of hyperbolic geometry HG7WQ02337
| URI | m2://inv/HG7WQ02337 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic geometry#HGW5, History of hyperbolic geometry (unknown)
History
- 2026-11-02: add by m2/dev
HG807RB08H HG807RB08H
| URI | m2://inv/HG807RB08H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18992#O81Z (statement). In S7PNTM0GZC/e1, corollary A.5
History
- 2026-10-28: add by m2/v0.4.2
Identity function HG81G6A9B2
| URI | m2://inv/HG81G6A9B2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#QJPI, Identity function (statement)
History
- 2026-11-02: add by m2/dev
Theorem 4 HG84JFMNK0
| URI | m2://inv/HG84JFMNK0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone comparative statics#BVUW, Theorem 4 (statement)
History
- 2026-11-02: add by m2/dev
Four-point specialization HG8585560K
| URI | m2://inv/HG8585560K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08821#4PTZ, Four-point specialization (statement). In KP1THB2C09/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.10
predecessor HG87HQMAWG
| URI | m2://inv/HG87HQMAWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#I8FO, predecessor (definition)
History
- 2026-11-02: add by m2/dev
HG8EYF2DBW HG8EYF2DBW
| URI | m2://inv/HG8EYF2DBW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-20 (exercise). In E59CDZA4DP, exercise, section 11.9.6
History
- 2026-11-01: add by m2/v0.6.13
Problem HG8P163B38
| URI | m2://inv/HG8P163B38 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic residuosity problem#B5TK, Problem (problem)
History
- 2026-11-02: add by m2/dev
Localized antisymmetrization HG8PX0Q5GQ
| URI | m2://inv/HG8PX0Q5GQ |
|---|---|
| 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.34402#DTV6, Localized antisymmetrization (statement). In FTTMZWSCMW/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
HG8QV4FJ8B HG8QV4FJ8B
| URI | m2://inv/HG8QV4FJ8B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_finite-sets.ptx#prop_xy (statement). In QKM9DD2H56, proposition, section B.5
History
- 2026-11-01: add by m2/v0.6.13
HG8VY9NH2W HG8VY9NH2W
| URI | m2://inv/HG8VY9NH2W |
|---|---|
| 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.32903#MPJ6 (statement). In S8NB83KQX3/e1, theorem 5
History
- 2026-10-31: add by m2/v0.5.6
type II domain HG8W18ENDC
| URI | m2://inv/HG8W18ENDC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/5.6/type-ii-domain, type II domain (concept). In E59CDZA4DP, index, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
Marshall–Olkin exponential distribution HG8WSF32PA
| URI | m2://inv/HG8WSF32PA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marshall–Olkin exponential distribution, Marshall–Olkin exponential distribution (definition). Also Wikidata Q39056571
History
- 2026-11-02: add by m2/dev
HG8ZTP51VH HG8ZTP51VH
| URI | m2://inv/HG8ZTP51VH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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 2405.14678#EBZ5 (statement). In 9ZSNSJRJ5N/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
The first factor-compatible nonlinear flow HG9651H0K0
| URI | m2://inv/HG9651H0K0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#7SW9, The first factor-compatible nonlinear flow (statement)
History
- 2026-11-01: add by m2/v0.6.15
Balanced-fiber inequality HG97CE9YT9
| URI | m2://inv/HG97CE9YT9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00137#BSSQ, Balanced-fiber inequality (statement). In NKW6YQ04QW/e1, proposition 7.6
History
- 2026-10-30: add by m2/v0.4.12
vector meson dominance HG97X4EABS
| URI | m2://inv/HG97X4EABS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4299340, vector meson dominance (unknown). Also nLab vector meson dominance
History
- 2026-10-26: add by m2/dev
Klaus-Robert Müller HG9CV70TZR
| URI | m2://inv/HG9CV70TZR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HJFM, Klaus-Robert Müller (unknown)
History
- 2026-11-02: add by m2/dev
HG9E06X1M2 HG9E06X1M2
| URI | m2://inv/HG9E06X1M2 |
|---|---|
| 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.11210#5AV4 (statement). In CRFDGFZHBF/e1, proposition 7.13
History
- 2026-10-28: add by m2/v0.4.3
Situational logic HG9E0V0DJ0
| URI | m2://inv/HG9E0V0DJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Situational logic, Situational logic (definition). Also Wikidata Q7532161
History
- 2026-11-02: add by m2/dev
$L^q$--$L^r$ bounds HG9HB9X5YE
| URI | m2://inv/HG9HB9X5YE |
|---|---|
| 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#C617, $L^q$--$L^r$ bounds (statement). In ZRPYF750AV/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.10
Silhouette (clustering) HG9PNFC067
| URI | m2://inv/HG9PNFC067 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HLHN, Silhouette (clustering) (definition)
History
- 2026-11-02: add by m2/dev
HG9R4S1KCN HG9R4S1KCN
| URI | m2://inv/HG9R4S1KCN |
|---|---|
| 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#USF7 (statement). In RK0ZMDJ23T/e1, lemma 2.1.13
History
- 2026-10-31: add by m2/v0.5.6
HG9RVF9SZK HG9RVF9SZK
| URI | m2://inv/HG9RVF9SZK |
|---|---|
| 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.04844#V1IL (statement). In 5MX3N62ENP/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.12
HG9V2T7EQQ HG9V2T7EQQ
| URI | m2://inv/HG9V2T7EQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28336#27I9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
HG9VBXF1J9 HG9VBXF1J9
| URI | m2://inv/HG9VBXF1J9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-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.10247#ZYBG (statement). In XWTMY44RF1/e1, corollary 1.3
History
- 2026-10-29: add by m2/v0.4.10
Institute for Medieval Philosophy and Theology HG9YQ07KJ8
| URI | m2://inv/HG9YQ07KJ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College#BS6L, Institute for Medieval Philosophy and Theology (unknown)
History
- 2026-11-02: add by m2/dev
HG9ZWSM6GT HG9ZWSM6GT
| URI | m2://inv/HG9ZWSM6GT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-29 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
HGA5ZE6NZ7 HGA5ZE6NZ7
| URI | m2://inv/HGA5ZE6NZ7 |
|---|---|
| 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.01276#XKLX (statement). In 7JJPPMS2DN/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
The defect on convergent series cannot be removed HGA7504HJA
| URI | m2://inv/HGA7504HJA |
|---|---|
| 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.29605#IS6S, The defect on convergent series cannot be removed (statement)
History
- 2026-11-01: add by m2/v0.6.15
Soft fork HGADS3XGN0
| URI | m2://inv/HGADS3XGN0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fork (blockchain)#OB1R, Soft fork (unknown)
History
- 2026-11-02: add by m2/dev
Bird HGAHQMDTBV
| URI | m2://inv/HGAHQMDTBV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#R5LO, Bird (unknown)
History
- 2026-11-02: add by m2/dev
General Perturbations of ERP HGB0C6SB6F
| URI | m2://inv/HGB0C6SB6F |
|---|---|
| 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.34154#RYW6, General Perturbations of ERP (statement). In VPET0W9RFS/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Examples HGB4PK9RAN
| URI | m2://inv/HGB4PK9RAN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argumentum a fortiori#UMHK, Examples (example)
History
- 2026-11-02: add by m2/dev
Brandon Carter HGBDD3B4MA
| URI | m2://inv/HGBDD3B4MA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#NDXH, Brandon Carter (unknown)
History
- 2026-11-02: add by m2/dev
nilpotent Lie algebra HGBJFK8VBK
| URI | m2://inv/HGBJFK8VBK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15148889, nilpotent Lie algebra (unknown). Also MathWorld NilpotentLieAlgebra, nLab nilpotent Lie algebra
- wikipedia: Wikipedia Nilpotent Lie algebra, Nilpotent Lie algebra (topic). Also Wikidata Q15148889
History
- 2026-10-26: add by m2/dev
HGBTGT65FK HGBTGT65FK
| URI | m2://inv/HGBTGT65FK |
|---|---|
| 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.35678#A30I (statement). In 4X4ZS7CEKD/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
HGBXQP5T1F HGBXQP5T1F
| URI | m2://inv/HGBXQP5T1F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00105#QVC1 (statement). In EZXTEXR47M/e1, theorem B
History
- 2026-10-30: add by m2/v0.4.12
Palatini identity HGBZH7TK9M
| URI | m2://inv/HGBZH7TK9M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Palatini identity, Palatini identity (statement). Also Wikidata Q15975626
History
- 2026-11-02: add by m2/dev
Piatetski--Shapiro set HGC4CR59XK
| URI | m2://inv/HGC4CR59XK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 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 2610.00843#12NV, Piatetski--Shapiro set (definition). In 1K7M5TD0M2/e1, definition 1.3
History
- 2026-10-29: add by m2/v0.4.12
Global Sections HGC4SZBK6A
| URI | m2://inv/HGC4SZBK6A |
|---|---|
| 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.28495#2SY3, Global Sections (statement)
History
- 2026-11-01: add by m2/v0.6.15
HGC5DQPZVW HGC5DQPZVW
| URI | m2://inv/HGC5DQPZVW |
|---|---|
| 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.04431#1U0K (statement). In 3PSAWXCCJ8/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.12
HGC93X8XPF HGC93X8XPF
| URI | m2://inv/HGC93X8XPF |
|---|---|
| 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 2409.20170#H5X4 (statement). In QXJP79APHN/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
HGCAZHN8AM HGCAZHN8AM
| URI | m2://inv/HGCAZHN8AM |
|---|---|
| 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 2511.08099#UCII (statement). In 5NK801XBGA/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
HGCE8PY0X9 HGCE8PY0X9
| URI | m2://inv/HGCE8PY0X9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24325#08A4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
HGCJKN45HQ HGCJKN45HQ
| URI | m2://inv/HGCJKN45HQ |
|---|---|
| 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.02506#OPJQ (statement). In 3JKRBZWJ33/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.12
Continuous prices with a positive median gap HGCM7A893A
| URI | m2://inv/HGCM7A893A |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 60-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.07285#ZKGN, Continuous prices with a positive median gap (example). In S284XRA4WK/e1, example 2.6
History
- 2026-10-29: add by m2/v0.4.10
Soundness HGCMQXEYEZ
| URI | m2://inv/HGCMQXEYEZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/soundness.tex#thm:soundness, Soundness (statement). In PKGMM3P5QY, thm, section 8.14
History
- 2026-11-01: add by m2/v0.6.13
HGD0GVGV5H HGD0GVGV5H
| URI | m2://inv/HGD0GVGV5H |
|---|---|
| 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.21367#LXDD (statement)
History
- 2026-11-02: add by m2/v0.6.18
Computation HGD9SVYWF5
| URI | m2://inv/HGD9SVYWF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum a posteriori estimation#BRZ3, Computation (definition)
History
- 2026-11-02: add by m2/dev
Pair S1 HGDFKQMHRV
| URI | m2://inv/HGDFKQMHRV |
|---|---|
| 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.08865#HIX3, Pair S1 (statement). In SJ5JKGH94M/e1, theorem 10
History
- 2026-10-29: add by m2/v0.4.10
Sufficient Green estimate HGDFW77672
| URI | m2://inv/HGDFW77672 |
|---|---|
| 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.11077#TAU6, Sufficient Green estimate (statement). In 4333A6G5K5/e1, theorem 4.9
History
- 2026-10-28: add by m2/v0.4.3
closed set HGDRSJB7DZ
| URI | m2://inv/HGDRSJB7DZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Closed set 0G5AV9Q4RR |
Mentions
- wikidata: Wikidata Q320357, closed set (definition). Also EoM Closed_set, MathWorld ClosedSet, ProofWiki Definition:Closed_Set
- wikipedia: Wikipedia Closed set, Closed set (definition). Also Wikidata Q320357
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
HGE3SJF0N0 HGE3SJF0N0
| URI | m2://inv/HGE3SJF0N0 |
|---|---|
| Kind | definition |
| 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.26600#R4SD (definition)
History
- 2026-11-01: add by m2/v0.6.15
HGE4TDN8Q9 HGE4TDN8Q9
| URI | m2://inv/HGE4TDN8Q9 |
|---|---|
| Kind | example |
| 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 2610.06529#BQRZ (example). In JFQY4CYHKP/e1, example 2.12
History
- 2026-10-29: add by m2/v0.4.10
Boundary limits of complex inverses HGE54FC7VZ
| URI | m2://inv/HGE54FC7VZ |
|---|---|
| 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.00770#ULYA, Boundary limits of complex inverses (statement). In AYGRJSRG1M/e1, lemma
History
- 2026-10-29: add by m2/v0.4.12
HGE99RVJP8 HGE99RVJP8
| URI | m2://inv/HGE99RVJP8 |
|---|---|
| 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 2206.12966#UHMZ (statement). In VH93X5QZDV/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Coralie Colmez HGEB6X4V6E
| URI | m2://inv/HGEB6X4V6E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coralie Colmez, Coralie Colmez (topic). Also Wikidata Q15964717
History
- 2026-11-02: add by m2/dev
HGEC29BY04 HGEC29BY04
| URI | m2://inv/HGEC29BY04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11652#ZAI1 (statement). In VEXM27M8Q1/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.3
HGEGDJGFWC HGEGDJGFWC
| URI | m2://inv/HGEGDJGFWC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Potential bound on vertices HGEHECPZ9T
| URI | m2://inv/HGEHECPZ9T |
|---|---|
| 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.01199#GKEZ, Potential bound on vertices (statement). In XZ4MRWR77Q/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.12
HGEMT19GDB HGEMT19GDB
| URI | m2://inv/HGEMT19GDB |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-9 (proof). In N54F33XE07, proof, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
National Association of Mathematicians HGEQ7PWCWR
| URI | m2://inv/HGEQ7PWCWR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Association of Mathematicians, National Association of Mathematicians (definition). Also Wikidata Q56556817
History
- 2026-11-02: add by m2/dev
Definition HGEVA2DX6X
| URI | m2://inv/HGEVA2DX6X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meertens number#CE86, Definition (definition)
History
- 2026-11-02: add by m2/dev
Asymptotic count of lattice points HGEX01GNB7
| URI | m2://inv/HGEX01GNB7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14085#596A, Asymptotic count of lattice points (statement). In T8F19ZGHF3/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Gödel's Loophole HGF4W1RAR5
| URI | m2://inv/HGF4W1RAR5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel's Loophole, Gödel's Loophole (definition). Also Wikidata Q106178755
History
- 2026-11-02: add by m2/dev
Xiao-Li Meng HGFA4BZ0HG
| URI | m2://inv/HGFA4BZ0HG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Xiao-Li Meng, Xiao-Li Meng (topic). Also Wikidata Q8044205
History
- 2026-11-02: add by m2/dev
$\mathcal B$-equivariant channel HGFHFEEBVM
| URI | m2://inv/HGFHFEEBVM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25987#2N9W, $\mathcal B$-equivariant channel (definition)
History
- 2026-11-01: add by m2/v0.6.15
HGFK3T1HNY HGFK3T1HNY
| URI | m2://inv/HGFK3T1HNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2411.16022#ZLMM (statement). In QG9ATXTKJ6/e1, theorem 2.21
History
- 2026-10-27: add by m2/v0.3.5
HGFKT6F0H0 HGFKT6F0H0
| URI | m2://inv/HGFKT6F0H0 |
|---|---|
| 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 2602.07485#G5ZO (statement). In 8KAC1E81JQ/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
tensor operator norm HGFTTQTBRR
| URI | m2://inv/HGFTTQTBRR |
|---|---|
| Kind | definition |
| 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 2505.04063#Q7I2, tensor operator norm (definition). In TFH7T63DX9/e1, definition S.10
History
- 2026-10-27: add by m2/v0.3.5
HGFTX2K8M0 HGFTX2K8M0
| URI | m2://inv/HGFTX2K8M0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-29 (exercise). In E59CDZA4DP, exercise, section 7.4.1
History
- 2026-11-01: add by m2/v0.6.13
HGFWF25CE1 HGFWF25CE1
| URI | m2://inv/HGFWF25CE1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.15716#SNEB (statement). In 7WDA4MEWE2/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.6
Ado HGFZKS18AJ
| URI | m2://inv/HGFZKS18AJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#F4BW, Ado (definition)
History
- 2026-11-02: add by m2/dev
Set-theoretic topology HGG0NEQBHP
| URI | m2://inv/HGG0NEQBHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#T2V5, Set-theoretic topology (definition)
History
- 2026-11-02: add by m2/dev
Hurwitz's theorem HGG1XBH48E
| URI | m2://inv/HGG1XBH48E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/hurwitz-s-theorem, Hurwitz's theorem (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
state HGGAXB7Z47
| URI | m2://inv/HGGAXB7Z47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#GEQY, state (definition)
History
- 2026-11-02: add by m2/dev
HGGDHD4WBN HGGDHD4WBN
| URI | m2://inv/HGGDHD4WBN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40290#LOLD (definition). In 4K1CNBYJHF/e1, definition 3.4
History
- 2026-10-30: add by m2/v0.4.12
HGGK984VYZ HGGK984VYZ
| URI | m2://inv/HGGK984VYZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38596#DDKO (example). In ZYGQAV8FD3/e1, example 5.4
History
- 2026-10-30: add by m2/v0.4.12
HGGND9JAXA HGGND9JAXA
| URI | m2://inv/HGGND9JAXA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#90DC (statement). In 7V3HG30ZGW/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.4.0
Pierce–Birkhoff conjecture HGGPTC6FKK
| URI | m2://inv/HGGPTC6FKK |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierce–Birkhoff conjecture, Pierce–Birkhoff conjecture (conjecture). Also Wikidata Q7191856
History
- 2026-11-02: add by m2/dev
HGGVGXR8C2 HGGVGXR8C2
| URI | m2://inv/HGGVGXR8C2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-4.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
HGH1JK7ZPQ HGH1JK7ZPQ
| URI | m2://inv/HGH1JK7ZPQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#8YUY (example)
History
- 2026-11-02: add by m2/v0.6.18
HGH1XP7FJP HGH1XP7FJP
| URI | m2://inv/HGH1XP7FJP |
|---|---|
| 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 2610.10567#YFTI (statement). In Q7TTRJ20KD/e1, theorem 2.5
History
- 2026-10-29: add by m2/v0.4.10
Calibrated De Giorgi-type iteration HGH3N2AGQ7
| URI | m2://inv/HGH3N2AGQ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#BKYP, Calibrated De Giorgi-type iteration (statement). In 9JHMTYGWFQ/e1, lemma 12.1
History
- 2026-10-27: add by m2/v0.3.6
hyperplane HGHJ5SGVYW
| URI | m2://inv/HGHJ5SGVYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#58AB, hyperplane (definition)
History
- 2026-11-02: add by m2/dev
graph of pseudorhombicuboctahedron HGHKQ3BSKF
| URI | m2://inv/HGHKQ3BSKF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16640053, graph of pseudorhombicuboctahedron (unknown). Also House of Graphs 52608
History
- 2026-10-26: add by m2/dev
Ernest Julius Wilczynski HGHM2MMABN
| URI | m2://inv/HGHM2MMABN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernest Julius Wilczynski, Ernest Julius Wilczynski (topic). Also Wikidata Q1356376
History
- 2026-11-02: add by m2/dev
Trivariate Clayton copula HGHRNZSKHZ
| URI | m2://inv/HGHRNZSKHZ |
|---|---|
| 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.14318#UHBV, Trivariate Clayton copula (example). In HA4SZZJ831/e1, example 4.3
History
- 2026-10-28: add by m2/v0.4.2
HGHSTEFRMF HGHSTEFRMF
| URI | m2://inv/HGHSTEFRMF |
|---|---|
| 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.21535#RB2R (statement)
History
- 2026-11-02: add by m2/v0.6.18
X̅ and R chart HGHSY06ZRR
| URI | m2://inv/HGHSY06ZRR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia X̅ and R chart, X̅ and R chart (definition). Also Wikidata Q2597868
History
- 2026-11-02: add by m2/dev
Topswops HGHYA6GK6J
| URI | m2://inv/HGHYA6GK6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topswops, Topswops (definition). Also Wikidata Q65950496
History
- 2026-11-02: add by m2/dev
Gershgorin-Hadamard theorem HGJ0GVDWP9
| URI | m2://inv/HGJ0GVDWP9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Solving systems of linear inequalities > Gershgorin-Hadamard theorem, Gershgorin-Hadamard theorem (unknown)
History
- 2026-10-26: add by m2/dev
HGJ3X4ZZPV HGJ3X4ZZPV
| URI | m2://inv/HGJ3X4ZZPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01796#3RWN (statement). In JC3PAB5DRC/e1, lemma 14
History
- 2026-10-29: add by m2/v0.4.12
HGJAFSF6H0 HGJAFSF6H0
| URI | m2://inv/HGJAFSF6H0 |
|---|---|
| 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.20153#FLKW (statement). In EYB107TM4Q/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.4.2
HGJH0GQA38 HGJH0GQA38
| URI | m2://inv/HGJH0GQA38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21632#AWN3 (statement). In Q4RZTN2EX6/e1, theorem 5.4
History
- 2026-10-27: add by m2/v0.4.2
Conjecture 4 HGJKFD2DMG
| URI | m2://inv/HGJKFD2DMG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gil Kalai#MNNO, Conjecture 4 (statement)
History
- 2026-11-02: add by m2/dev
Heegner's lemma HGJSKTKA2S
| URI | m2://inv/HGJSKTKA2S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heegner's lemma, Heegner's lemma (statement). Also Wikidata Q15637296
History
- 2026-11-02: add by m2/dev
order statistic HGJT429W6A
| URI | m2://inv/HGJT429W6A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Order statistic 58NHGZDSRE |
Mentions
- wikidata: Wikidata Q1767128, order statistic (unknown). Also MathWorld OrderStatistic
- wikipedia: Wikipedia Order statistic, Order statistic (definition). Also Wikidata Q1767128
History
- 2026-10-26: add by m2/dev
HGJWJYES92 HGJWJYES92
| URI | m2://inv/HGJWJYES92 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/dedekind.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 10.7
History
- 2026-11-01: add by m2/v0.6.13
HGK65DP2GS HGK65DP2GS
| URI | m2://inv/HGK65DP2GS |
|---|---|
| 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.13137#1MRC (statement). In NH77XVB03X/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Examples HGK6G3GH26
| URI | m2://inv/HGK6G3GH26 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indexed language#WKFJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Statement of the theorem HGKC5Z7W07
| URI | m2://inv/HGKC5Z7W07 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strassmann's theorem#9PA3, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
HGKKAM5TWE HGKKAM5TWE
| URI | m2://inv/HGKKAM5TWE |
|---|---|
| Kind | example |
| 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.19882#OPVY (example)
History
- 2026-11-02: add by m2/v0.6.18
HGKYXC5H06 HGKYXC5H06
| URI | m2://inv/HGKYXC5H06 |
|---|---|
| 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#S7JQ (statement). In F3BKXXPR3K/e1, corollary 3.40
History
- 2026-10-27: add by m2/v0.4.2
KOV-21 HGM3YXBMJR
| URI | m2://inv/HGM3YXBMJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia KOV-21, KOV-21 (definition). Also Wikidata Q6335308
History
- 2026-11-02: add by m2/dev
Noah P. Snyder HGM7C76NQE
| URI | m2://inv/HGM7C76NQE |
|---|---|
| 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 Q58098878, Noah P. Snyder (unknown). Also nLab Noah Snyder
History
- 2026-10-26: add by m2/dev
Cartesian closedness HGMA0BHTYN
| URI | m2://inv/HGMA0BHTYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26270#IQ00, Cartesian closedness (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples HGMCGZNZYH
| URI | m2://inv/HGMCGZNZYH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithm#2FYO, Examples (example)
History
- 2026-11-02: add by m2/dev
Gino Isidori HGMFVYFEDT
| URI | m2://inv/HGMFVYFEDT |
|---|---|
| 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 Q58377029, Gino Isidori (unknown). Also nLab Gino Isidori
History
- 2026-10-26: add by m2/dev
HGMJACP005 HGMJACP005
| URI | m2://inv/HGMJACP005 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.12015#IQFH (example). In ZZ2P08DVQW/e1, example 10.8
History
- 2026-10-27: add by m2/v0.3.5
Linear space HGMZEPNV37
| URI | m2://inv/HGMZEPNV37 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear space (geometry), Linear space (definition). Also Wikidata Q1826459
History
- 2026-11-02: add by m2/dev
Sampling theorem (of information theory) HGMZX20GWZ
| URI | m2://inv/HGMZX20GWZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nyquist–Shannon sampling theorem#0HFQ, Sampling theorem (of information theory) (definition)
History
- 2026-11-02: add by m2/dev
HGN0K87FKF HGN0K87FKF
| URI | m2://inv/HGN0K87FKF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15385#GVO3 (statement). In HBZXCMYPME/e1, corollary 2.9
History
- 2026-10-28: add by m2/v0.4.2
Chiu-Yen Kao HGN29CY8T8
| URI | m2://inv/HGN29CY8T8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Taiwanese mathematicians#6SUE, Chiu-Yen Kao (unknown)
History
- 2026-11-02: add by m2/dev
Polymatroid HGN405Z676
| URI | m2://inv/HGN405Z676 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polymatroid, Polymatroid (definition). Also Wikidata Q7226530
History
- 2026-11-02: add by m2/dev
HGN7DJVH9N HGN7DJVH9N
| URI | m2://inv/HGN7DJVH9N |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-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 2405.14678#JTQD (example). In 9ZSNSJRJ5N/e1, example 34
History
- 2026-10-27: add by m2/v0.4.2
Embedding dimension for zero defect HGN8WQNBDT
| URI | m2://inv/HGN8WQNBDT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21093#HN0G, Embedding dimension for zero defect (statement). In TBFPBPQV3G/e1, proposition 8.6
History
- 2026-10-27: add by m2/v0.4.2
HGP9KB3HBR HGP9KB3HBR
| URI | m2://inv/HGP9KB3HBR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.00134#T9UP (definition). In S654779J5P/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
smooth HGPGHVF539
| URI | m2://inv/HGPGHVF539 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#5ZJ5, smooth (definition)
History
- 2026-11-02: add by m2/dev
HGPN1K082A HGPN1K082A
| URI | m2://inv/HGPN1K082A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/identity.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 13.5
History
- 2026-11-01: add by m2/v0.6.13
Theorem HGPPGFKN1W
| URI | m2://inv/HGPPGFKN1W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach space#F0XH, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Conditional cycle-wise descent HGPR4NX0DP
| URI | m2://inv/HGPR4NX0DP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.37308#CBSN, Conditional cycle-wise descent (statement). In ZZDK34DV78/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
Tits alternative HGQ449N03R
| URI | m2://inv/HGQ449N03R |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3613173, Tits alternative (statement). Also Wikidata Q3613173
- thousand_plus: thousand_plus Q3613173, Tits alternative (statement). Also Wikidata Q3613173, Wikipedia Tits alternative
- wikipedia: Wikipedia Tits alternative, Tits alternative (definition). Also Wikidata Q3613173
History
- 2026-10-26: add by m2/dev
Block compiler HGQ4A02DVY
| URI | m2://inv/HGQ4A02DVY |
|---|---|
| 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 2609.37368#HTOF, Block compiler (statement). In FRMCKEGVJZ/e1, proposition 6
History
- 2026-10-30: add by m2/v0.4.12
Natural number HGQCSJTQQJ
| URI | m2://inv/HGQCSJTQQJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#LMFZ, Natural number (definition)
History
- 2026-11-02: add by m2/dev
Similarity invariance HGQKP5M254
| URI | m2://inv/HGQKP5M254 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Similarity invariance, Similarity invariance (definition). Also Wikidata Q7517804
History
- 2026-11-02: add by m2/dev
Mark Naimark HGQP5G76C2
| URI | m2://inv/HGQP5G76C2 |
|---|---|
| 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 Q195922, Mark Naimark (unknown). Also nLab Mark Naimark
History
- 2026-10-26: add by m2/dev
denial HGQSQ6QD84
| URI | m2://inv/HGQSQ6QD84 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.5/denial, denial (concept). In N54F33XE07, index, section C.1.5
History
- 2026-11-01: add by m2/v0.6.13
HGQT7TNTWY HGQT7TNTWY
| URI | m2://inv/HGQT7TNTWY |
|---|---|
| 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 2610.03775#J7H1 (statement). In NM928YZQVJ/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Surface area of a prism HGQY5A9PTF
| URI | m2://inv/HGQY5A9PTF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prism (geometry)#LGNC, Surface area of a prism (unknown)
History
- 2026-11-02: add by m2/dev
Centering matrix HGR4S00C4H
| URI | m2://inv/HGR4S00C4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#LXG4, Centering matrix (definition)
History
- 2026-11-02: add by m2/dev
HGR5K3Q7ME HGR5K3Q7ME
| URI | m2://inv/HGR5K3Q7ME |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37524#BZBP (definition). In 4GTJAPF7Q3/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Teo Mora HGR77WK8JQ
| URI | m2://inv/HGR77WK8JQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Teo Mora, Teo Mora (topic). Also Wikidata Q29514793
History
- 2026-11-02: add by m2/dev
HGRQEYR9VT HGRQEYR9VT
| URI | m2://inv/HGRQEYR9VT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22040#CGBT (definition). In 2QP93JHYNB/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.4.2
Definition HGRRY61MN0
| URI | m2://inv/HGRRY61MN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tail dependence#03YU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Generalization HGS298WSDJ
| URI | m2://inv/HGS298WSDJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1 − 2 + 3 − 4 + ⋯#KSCG, Generalization (statement)
History
- 2026-11-02: add by m2/dev
HGS8NZHJS0 HGS8NZHJS0
| URI | m2://inv/HGS8NZHJS0 |
|---|---|
| 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.02709#4A2F (statement). In TSM48CSQV8/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Definition HGSG0PCK5Z
| URI | m2://inv/HGSG0PCK5Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pauli–Lubanski pseudovector#KS1E, Definition (definition)
History
- 2026-11-02: add by m2/dev
HGSHJBHFJ2 HGSHJBHFJ2
| URI | m2://inv/HGSHJBHFJ2 |
|---|---|
| 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.14154#O3RD (statement). In 8X6PXX2TRA/e1, proposition 6.7
History
- 2026-10-28: add by m2/v0.4.2
Proper name HGSQNWF1X2
| URI | m2://inv/HGSQNWF1X2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proper name (philosophy), Proper name (definition). Also Wikidata Q28129886
History
- 2026-11-02: add by m2/dev
HGSVFPPP5Y HGSVFPPP5Y
| URI | m2://inv/HGSVFPPP5Y |
|---|---|
| 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.13979#286C (statement). In M4W5M33Q60/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Alfred Korzybski HGSWHT99EA
| URI | m2://inv/HGSWHT99EA |
|---|---|
| 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#0KA8, Alfred Korzybski (topic)
History
- 2026-11-02: add by m2/dev
HGTBNTVE03 HGTBNTVE03
| URI | m2://inv/HGTBNTVE03 |
|---|---|
| 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.28211#2MSO (example)
History
- 2026-11-01: add by m2/v0.6.15
Solovay model HGTGJXX0N0
| URI | m2://inv/HGTGJXX0N0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solovay model, Solovay model (definition). Also Wikidata Q7558851
History
- 2026-11-02: add by m2/dev
HGTHAAGR56 HGTHAAGR56
| URI | m2://inv/HGTHAAGR56 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22825#L7Q1 (definition)
History
- 2026-11-02: add by m2/v0.6.17
sequent HGTN36DY5N
| URI | m2://inv/HGTN36DY5N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#Q7JL, sequent (definition)
History
- 2026-11-02: add by m2/dev
Statistical graphics HGTPPS4NJT
| URI | m2://inv/HGTPPS4NJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UGL4, Statistical graphics (definition)
History
- 2026-11-02: add by m2/dev
HGTQHP56C0 HGTQHP56C0
| URI | m2://inv/HGTQHP56C0 |
|---|---|
| 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.17070#8D5E (statement). In W3G9Z9B32N/e1, corollary 4.2
History
- 2026-10-28: add by m2/v0.4.2
HGTS3Q3ZB7 HGTS3Q3ZB7
| URI | m2://inv/HGTS3Q3ZB7 |
|---|---|
| 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.04660#WNVG (statement). In 8ABKBS4H0N/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
General definition HGV1FJ55NB
| URI | m2://inv/HGV1FJ55NB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptote#CIYX, General definition (definition)
History
- 2026-11-02: add by m2/dev
Concavification HGV1H2A2GS
| URI | m2://inv/HGV1H2A2GS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concavification, Concavification (definition). Also Wikidata Q49001430
History
- 2026-11-02: add by m2/dev
Euler's formula and the exponential function HGV429604H
| URI | m2://inv/HGV429604H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric functions#W0O1, Euler's formula and the exponential function (statement)
History
- 2026-11-02: add by m2/dev
List of Welsh mathematicians HGV5E9HX9T
| URI | m2://inv/HGV5E9HX9T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematicians#AAEY, List of Welsh mathematicians (unknown)
History
- 2026-11-02: add by m2/dev
Formula HGV942Z5X4
| URI | m2://inv/HGV942Z5X4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distribution function (physics)#DRPC, Formula (statement)
History
- 2026-11-02: add by m2/dev
Philippe Lehert HGV9V726Y8
| URI | m2://inv/HGV9V726Y8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philippe Lehert, Philippe Lehert (topic). Also Wikidata Q88582356
History
- 2026-11-02: add by m2/dev
HGVDR4PB4M HGVDR4PB4M
| URI | m2://inv/HGVDR4PB4M |
|---|---|
| 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 2204.10840#T9B8 (statement). In EMS1MAJZ4X/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.6
A genuine family of real hypersurfaces in the standard $S^6$ HGVEW3G5WD
| URI | m2://inv/HGVEW3G5WD |
|---|---|
| Kind | example |
| 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.00078#UDFX, A genuine family of real hypersurfaces in the standard $S^6$ (example). In KXYGWSGP9M/e1, example 2.3
History
- 2026-10-30: add by m2/v0.4.12
HGVGACE7TE HGVGACE7TE
| URI | m2://inv/HGVGACE7TE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 53-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv hep-th/9409063#R8YI (statement). In 145ETYF9CG/e1, corollary 5
History
- 2026-10-27: add by m2/v0.3.5
HGVGWMWMBP HGVGWMWMBP
| URI | m2://inv/HGVGWMWMBP |
|---|---|
| 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 2409.20170#WJ06 (definition). In QXJP79APHN/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
HGVWWW5WHW HGVWWW5WHW
| URI | m2://inv/HGVWWW5WHW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#example-4 (example). In RZP28ERRZV, example, section 32.3
History
- 2026-11-01: add by m2/v0.6.13
HGVXH0X6KE HGVXH0X6KE
| URI | m2://inv/HGVXH0X6KE |
|---|---|
| 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.01737#GNID (statement). In M4JGP708F4/e1, proposition 2.14
History
- 2026-10-29: add by m2/v0.4.12
Triangular antiprismatic prism HGVXS49ZYM
| URI | m2://inv/HGVXS49ZYM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#EQ18, Triangular antiprismatic prism (definition)
History
- 2026-11-02: add by m2/dev
Victor Vianu HGVYN4Y804
| URI | m2://inv/HGVYN4Y804 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UK2L, Victor Vianu (unknown)
History
- 2026-11-02: add by m2/dev
Weakly simple polygon HGW2Q1Y4RG
| URI | m2://inv/HGW2Q1Y4RG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weakly simple polygon, Weakly simple polygon (definition). Also Wikidata Q120727397
History
- 2026-11-02: add by m2/dev
HGWAJ8WP0E HGWAJ8WP0E
| URI | m2://inv/HGWAJ8WP0E |
|---|---|
| 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 2506.09840#33SL (statement). In Y7TWHSF2HC/e1, proposition 4.11
History
- 2026-10-27: add by m2/v0.3.5
Witt ring (forms) HGWBSSD06Q
| URI | m2://inv/HGWBSSD06Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witt group#HKU9, Witt ring (forms) (unknown)
History
- 2026-11-02: add by m2/dev
Fan chart HGWEGMTXMP
| URI | m2://inv/HGWEGMTXMP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fan chart (time series), Fan chart (definition). Also Wikidata Q5433589
History
- 2026-11-02: add by m2/dev
HGWEVP6TVW HGWEVP6TVW
| URI | m2://inv/HGWEVP6TVW |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.28254#VNT9 (problem)
History
- 2026-11-01: add by m2/v0.6.15
Examples HGWGKSF78F
| URI | m2://inv/HGWGKSF78F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bad control#942S, Examples (example)
History
- 2026-11-02: add by m2/dev
HGWR5FDRAX HGWR5FDRAX
| URI | m2://inv/HGWR5FDRAX |
|---|---|
| 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.10230#8DP3 (statement). In YS75517SF7/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
Definition HGWYXVAWP3
| URI | m2://inv/HGWYXVAWP3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach bundle (non-commutative geometry)#7NVT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Results HGX4QZKK06
| URI | m2://inv/HGX4QZKK06 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered algebra#HYPA, Results (statement)
History
- 2026-11-02: add by m2/dev
Construction HGX6GVTY2S
| URI | m2://inv/HGX6GVTY2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HNN extension#2J1D, Construction (definition)
History
- 2026-11-02: add by m2/dev
Examples HGXB71M0BS
| URI | m2://inv/HGXB71M0BS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comodule#W6BD, Examples (example)
History
- 2026-11-02: add by m2/dev
HGXG8JSB8J HGXG8JSB8J
| URI | m2://inv/HGXG8JSB8J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-4 (exercise). In VNMV985MXX, exercise, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Non-examples HGXXQKB8CX
| URI | m2://inv/HGXXQKB8CX |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind-finite ring#RL7R, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
Martin Grötschel HGY8E7YDGT
| URI | m2://inv/HGY8E7YDGT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martin Grötschel, Martin Grötschel (topic). Also Wikidata Q1903911
History
- 2026-11-02: add by m2/dev
HGYDE67447 HGYDE67447
| URI | m2://inv/HGYDE67447 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#905K (statement). In 7V2PVZS04C/e1, proposition 5.8
History
- 2026-10-31: add by m2/v0.5.6
Xuejia Lai HGYEY8DH66
| URI | m2://inv/HGYEY8DH66 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LPBD, Xuejia Lai (topic)
History
- 2026-11-02: add by m2/dev
HGYP97H4W1 HGYP97H4W1
| URI | m2://inv/HGYP97H4W1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37471#HAVU (statement). In KDF1GTQV08/e1, lemma 11
History
- 2026-10-30: add by m2/v0.4.12
Reduction to tree shapes, \mycite{Chapter 1}{HRW}, \mycite{Chapter 1}{IvanovTuzhilinBook HGYSXFK27P
| URI | m2://inv/HGYSXFK27P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17400#XQCI, Reduction to tree shapes, \mycite{Chapter 1}{HRW}, \mycite{Chapter 1}{IvanovTuzhilinBook (statement). In 8VDXGR4SVD/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
HGYW7FJJF2 HGYW7FJJF2
| URI | m2://inv/HGYW7FJJF2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36045#UPHT (statement). In F0E8YBV0Z0/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
Toom rule HGYZ3JJ5JA
| URI | m2://inv/HGYZ3JJ5JA |
|---|---|
| Kind | definition |
| 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 math/0003117#BVY2, Toom rule (definition). In WD2NCBV9F0/e1, definition 6.6
History
- 2026-10-27: add by m2/v0.3.5
HGZ0ZS9X8Q HGZ0ZS9X8Q
| URI | m2://inv/HGZ0ZS9X8Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35467#O5U3 (definition). In FK89DQ9J4S/e1, definition 5.10
History
- 2026-10-30: add by m2/v0.4.12
HGZ17AW1FX HGZ17AW1FX
| URI | m2://inv/HGZ17AW1FX |
|---|---|
| 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 2212.00617#H2RA (statement). In K7505G10SS/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.3.5
Edna Kramer HGZPG2WH27
| URI | m2://inv/HGZPG2WH27 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edna Kramer, Edna Kramer (topic). Also Wikidata Q660571
History
- 2026-11-02: add by m2/dev
Algorithms HGZQMCAX2D
| URI | m2://inv/HGZQMCAX2D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Assignment problem#GE2U, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
fibered category HGZTNRQ52S
| URI | m2://inv/HGZTNRQ52S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#99D6, fibered category (definition)
History
- 2026-11-02: add by m2/dev
Topological geometry HGZVG9Z901
| URI | m2://inv/HGZVG9Z901 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological geometry, Topological geometry (definition). Also Wikidata Q48999154
History
- 2026-11-02: add by m2/dev
Counting inclusively HGZYCA4DEX
| URI | m2://inv/HGZYCA4DEX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Counting#6DEX, Counting inclusively (unknown)
History
- 2026-11-02: add by m2/dev