Inventory rows H0
The cards of the rows of the inventory whose ids start with H0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
ANSI SQL H001DDN4RN
| URI | m2://inv/H001DDN4RN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SQL#AIEG, ANSI SQL (unknown)
History
- 2026-11-02: add by m2/dev
H002DGNV7X H002DGNV7X
| URI | m2://inv/H002DGNV7X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24675#5OGE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Seven basic tools of quality H003EN6SKX
| URI | m2://inv/H003EN6SKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seven basic tools of quality, Seven basic tools of quality (definition). Also Wikidata Q1381819
History
- 2026-11-02: add by m2/dev
Kolmogorov extension theorem H004AG93D6
| URI | m2://inv/H004AG93D6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3526996, Kolmogorov extension theorem (statement). Also Wikidata Q3526996
- thousand_plus: thousand_plus Q3526996, Kolmogorov extension theorem (statement). Also Wikidata Q3526996, Wikipedia Kolmogorov extension theorem
- wikipedia: Wikipedia Kolmogorov extension theorem, Kolmogorov extension theorem (statement). Also Wikidata Q3526996
History
- 2026-10-26: add by m2/dev
H00752Z9QK H00752Z9QK
| URI | m2://inv/H00752Z9QK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#JF9A (definition)
History
- 2026-11-02: add by m2/v0.6.18
Giovanni Prodi H009J35C78
| URI | m2://inv/H009J35C78 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Prodi, Giovanni Prodi (topic). Also Wikidata Q3767981
History
- 2026-11-02: add by m2/dev
H00F9CZCZ6 H00F9CZCZ6
| URI | m2://inv/H00F9CZCZ6 |
|---|---|
| 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.31615#9S5V (statement). In TNV6XTEWEG/e1, lemma 5.3
History
- 2026-10-31: add by m2/v0.5.6
H00GKHGXYT H00GKHGXYT
| URI | m2://inv/H00GKHGXYT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#thm:sign-induction (statement). In N54F33XE07, lem, section 5.10
History
- 2026-11-01: add by m2/v0.6.13
Definition (Interval) H00KJSRDDM
| URI | m2://inv/H00KJSRDDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone comparative statics#1POS, Definition (Interval) (definition)
History
- 2026-11-02: add by m2/dev
H00QH99QQ2 H00QH99QQ2
| URI | m2://inv/H00QH99QQ2 |
|---|---|
| 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.35442#R4IE (statement). In C6R0DAA279/e1, lemma 3.9
History
- 2026-10-30: add by m2/v0.4.12
H00VJ1N6QW H00VJ1N6QW
| URI | m2://inv/H00VJ1N6QW |
|---|---|
| Kind | statement |
| 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 2609.20522#TB5S (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples H00WPEBKB7
| URI | m2://inv/H00WPEBKB7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zariski topology#JXYR, Examples (example)
History
- 2026-11-02: add by m2/dev
H00XEXN1D1 H00XEXN1D1
| URI | m2://inv/H00XEXN1D1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14135#P65I (definition). In C304J64Q79/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
H00Y0FHVKB H00Y0FHVKB
| URI | m2://inv/H00Y0FHVKB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12188#CBKJ (statement). In 52HWCGK5QJ/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
H010TE9PP3 H010TE9PP3
| URI | m2://inv/H010TE9PP3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#X53L (definition). In X765ZXXVC3/e1, definition 2.16
History
- 2026-10-29: add by m2/v0.4.12
Michael Eastwood H015SP6KTS
| URI | m2://inv/H015SP6KTS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Eastwood, Michael Eastwood (topic). Also Wikidata Q67510666
History
- 2026-11-02: add by m2/dev
Synchronous rigidity in $\OB^{F}$ H01C97CJCM
| URI | m2://inv/H01C97CJCM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#RPVU, Synchronous rigidity in $\OB^{F}$ (statement). In 5E9G06XJKC/e1, lemma E.13
History
- 2026-10-28: add by m2/v0.4.2
Compatible decompositions H01JC19WD8
| URI | m2://inv/H01JC19WD8 |
|---|---|
| Kind | definition |
| 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.03126#9OSI, Compatible decompositions (definition). In ZJ6VQCRDVR/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.12
Journal of Theoretical Probability H01JRB41VD
| URI | m2://inv/H01JRB41VD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#19FN, Journal of Theoretical Probability (unknown)
History
- 2026-11-02: add by m2/dev
Theorem (Exact CHSH rigidity) H027CYPHT9
| URI | m2://inv/H027CYPHT9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CHSH inequality#E73Q, Theorem (Exact CHSH rigidity) (statement)
History
- 2026-11-02: add by m2/dev
H02ADMFX14 H02ADMFX14
| URI | m2://inv/H02ADMFX14 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#Z62B (statement). In G1RP4JY5PE/e1, lemma 2.2.2
History
- 2026-10-31: add by m2/v0.5.6
Duality H02BSB4C1T
| URI | m2://inv/H02BSB4C1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duality (optimization), Duality (definition). Also Wikidata Q2275559
History
- 2026-11-02: add by m2/dev
Grauert–Riemenschneider conjecture H02C2V6WG5
| URI | m2://inv/H02C2V6WG5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grauert–Riemenschneider vanishing theorem#793S, Grauert–Riemenschneider conjecture (statement)
History
- 2026-11-02: add by m2/dev
H02CAWCVXF H02CAWCVXF
| URI | m2://inv/H02CAWCVXF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2408.13548#DUM8 (definition). In EQF1ZQ5K1S/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.4.0
sorting H02GNMDWWV
| URI | m2://inv/H02GNMDWWV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/3.5.2/sorting, sorting (concept). In QKM9DD2H56, index, section 3.5.2
History
- 2026-11-01: add by m2/v0.6.13
H02N6FXGSB H02N6FXGSB
| URI | m2://inv/H02N6FXGSB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 0903.0651#CJOV (statement). In 6R0KH80PTK/e1, proposition 7
History
- 2026-10-27: add by m2/v0.3.5
Applications H02NTF5HNT
| URI | m2://inv/H02NTF5HNT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koch snowflake#CMY3, Applications (example)
History
- 2026-11-02: add by m2/dev
H02VS5MFCP H02VS5MFCP
| URI | m2://inv/H02VS5MFCP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-5 (proof). In N54F33XE07, proof, section 7.1.4
History
- 2026-11-01: add by m2/v0.6.13
Formal definition H02WS298ZF
| URI | m2://inv/H02WS298ZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System U#LNA5, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
H02ZA3Z75K H02ZA3Z75K
| URI | m2://inv/H02ZA3Z75K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/top-more.tex#ques-6 (exercise). In RZP28ERRZV, ques, section 101.7
History
- 2026-11-01: add by m2/v0.6.13
Examples H02ZQ7570K
| URI | m2://inv/H02ZQ7570K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Split Lie algebra#EJLO, Examples (example)
History
- 2026-11-02: add by m2/dev
H034GV89JS H034GV89JS
| URI | m2://inv/H034GV89JS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11785#G6CR (statement). In 2XSZDXZ52E/e1, proposition 1.3
History
- 2026-10-28: add by m2/v0.4.3
H03NY82N5T H03NY82N5T
| URI | m2://inv/H03NY82N5T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.00409#PZVE (statement). In YQT2APQPWD/e1, corollary 2.2
History
- 2026-10-30: add by m2/v0.4.12
automorphism, of extensional well-founded relations H03S2HEZGD
| URI | m2://inv/H03S2HEZGD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.3/automorphism-of-extensional-well-founded-relations, automorphism, of extensional well-founded relations (concept). In N54F33XE07, index, section C.3
History
- 2026-11-01: add by m2/v0.6.13
Almost-sure singularity of extremals H03W9QYJ3X
| URI | m2://inv/H03W9QYJ3X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.11101#MUPE, Almost-sure singularity of extremals (statement). In YBBKTP4E70/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Definition H03WDS48MF
| URI | m2://inv/H03WDS48MF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normally hyperbolic invariant manifold#REMQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
$k$-times continuously differentiable function H03WW8HG7S
| URI | m2://inv/H03WW8HG7S |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/11.6/k-times-continuously-differentiable-function, $k$-times continuously differentiable function (concept). In E59CDZA4DP, index, section 11.6
History
- 2026-11-01: add by m2/v0.6.13
Nathan Court H0411QMDG4
| URI | m2://inv/H0411QMDG4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#4EQ3, Nathan Court (topic)
History
- 2026-11-02: add by m2/dev
Opposite simplicial set H04657V4Y6
| URI | m2://inv/H04657V4Y6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opposite simplicial set, Opposite simplicial set (definition). Also Wikidata Q134300081
History
- 2026-11-02: add by m2/dev
H046T9RBMC H046T9RBMC
| URI | m2://inv/H046T9RBMC |
|---|---|
| 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 2610.09809#RUWF (definition). In 7NKQ6PR78N/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
H049SJQMSH H049SJQMSH
| URI | m2://inv/H049SJQMSH |
|---|---|
| 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 2510.09873#K2RH (statement). In KNB3ZCNC9Q/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Backbone H04C00QS01
| URI | m2://inv/H04C00QS01 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1905.02785#PTPY, Backbone (definition). In PF9KV74Q02/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Grundy number H04CH6VRSY
| URI | m2://inv/H04CH6VRSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grundy number, Grundy number (definition). Also Wikidata Q25303614
History
- 2026-11-02: add by m2/dev
H04GRTQXK7 H04GRTQXK7
| URI | m2://inv/H04GRTQXK7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/numfield.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 16.5
History
- 2026-11-01: add by m2/v0.6.13
H053FRMNW3 H053FRMNW3
| URI | m2://inv/H053FRMNW3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25409#8130 (example)
History
- 2026-11-01: add by m2/v0.6.15
Tetrahedral-icosahedral honeycomb H054KJB02W
| URI | m2://inv/H054KJB02W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrahedral-icosahedral honeycomb, Tetrahedral-icosahedral honeycomb (definition). Also Wikidata Q17077912
History
- 2026-11-02: add by m2/dev
H05F0X1TBN H05F0X1TBN
| URI | m2://inv/H05F0X1TBN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08568#5QX4 (statement). In FDDA562VCA/e1, theorem 3.13
History
- 2026-10-29: add by m2/v0.4.10
Relevance-Vector Machine H05F5CHET8
| URI | m2://inv/H05F5CHET8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#KAYV, Relevance-Vector Machine (definition)
History
- 2026-11-02: add by m2/dev
Dennis Lindley H05K07YHWJ
| URI | m2://inv/H05K07YHWJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#8IO3, Dennis Lindley (unknown)
History
- 2026-11-02: add by m2/dev
Construction H05Q0Z5E7Q
| URI | m2://inv/H05Q0Z5E7Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1 32 polytope#JIR1, Construction (definition)
History
- 2026-11-02: add by m2/dev
H05RVBJYKF H05RVBJYKF
| URI | m2://inv/H05RVBJYKF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/choice/countablechoice.tex#ex-1 (example). In PKGMM3P5QY, ex, section 71.1
History
- 2026-11-01: add by m2/v0.6.13
Implicit graph H05SDBRGA0
| URI | m2://inv/H05SDBRGA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicit graph, Implicit graph (definition). Also Wikidata Q6007291
History
- 2026-11-02: add by m2/dev
Examples H05WVZGQSP
| URI | m2://inv/H05WVZGQSP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baire space#LQ03, Examples (example)
History
- 2026-11-02: add by m2/dev
H06J18WF37 H06J18WF37
| URI | m2://inv/H06J18WF37 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#example-7 (example). In RZP28ERRZV, example, section 55.4
History
- 2026-11-01: add by m2/v0.6.13
H06R9V5RJ5 H06R9V5RJ5
| URI | m2://inv/H06R9V5RJ5 |
|---|---|
| Kind | definition |
| 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#0Y92 (definition). In F3BKXXPR3K/e1, definition 3.7
History
- 2026-10-27: add by m2/v0.4.2
Bochner lifting H06WBF9PVH
| URI | m2://inv/H06WBF9PVH |
|---|---|
| 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 2609.26984#3ZIV, Bochner lifting (statement)
History
- 2026-11-01: add by m2/v0.6.15
Luzin affair H070FM80J8
| URI | m2://inv/H070FM80J8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikolai Luzin#DWY1, Luzin affair (unknown)
History
- 2026-11-02: add by m2/dev
Refined comparison H0710TDS2X
| URI | m2://inv/H0710TDS2X |
|---|---|
| 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.31187#9ANZ, Refined comparison (statement). In 2535DQ1DEG/e1, corollary 4
History
- 2026-10-31: add by m2/v0.5.6
Monge–Ampère equation H0716SCJZ0
| URI | m2://inv/H0716SCJZ0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Monge–Ampère equation 14AKAC0S0T |
Mentions
- wikidata: Wikidata Q1552291, Monge–Ampère equation (concept). Also MathWorld Monge-AmpereDifferentialEquation
- wikipedia: Wikipedia Monge–Ampère equation, Monge–Ampère equation (definition). Also Wikidata Q1552291
History
- 2026-10-26: add by m2/dev
H076PNM7KG H076PNM7KG
| URI | m2://inv/H076PNM7KG |
|---|---|
| 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.05299#67JU (statement). In 68AE571S4P/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
*{Lemma 6.3 H077VRR0Z9
| URI | m2://inv/H077VRR0Z9 |
|---|---|
| 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.05708#KUTV, *{Lemma 6.3 (statement). In 3BJPFGJNSS/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
H07B1MCNC9 H07B1MCNC9
| URI | m2://inv/H07B1MCNC9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17116#CHMH (statement). In A02X6MX28Y/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.2
H07FFT5D57 H07FFT5D57
| URI | m2://inv/H07FFT5D57 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#6DF6 (statement). In 67GE5M1GGD/e1, theorem 4.2
History
- 2026-10-30: add by m2/v0.4.12
Strongly positive bilinear form H07K5V2059
| URI | m2://inv/H07K5V2059 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strongly positive bilinear form, Strongly positive bilinear form (definition). Also Wikidata Q7624692
History
- 2026-11-02: add by m2/dev
Erdős–Beck theorem H07ZBBS0GV
| URI | m2://inv/H07ZBBS0GV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#NFWB, Erdős–Beck theorem (statement)
History
- 2026-11-02: add by m2/dev
History of computers H082MTDTWV
| URI | m2://inv/H082MTDTWV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#0F4R, History of computers (unknown)
History
- 2026-11-02: add by m2/dev
Anonymous P2P H082WWBRG7
| URI | m2://inv/H082WWBRG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anonymous P2P, Anonymous P2P (definition). Also Wikidata Q2544432
History
- 2026-11-02: add by m2/dev
Mittag-Leffler function H086C7HTJ6
| URI | m2://inv/H086C7HTJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 33E12 |
| Sources | 2 |
| Outcome | open |
| Node | Mittag-Leffler function 12G9M694YG |
Mentions
- wikidata: Wikidata Q1935235, Mittag-Leffler function (topic). Also MathWorld Mittag-LefflerFunction
- wikipedia: Wikipedia Mittag-Leffler function, Mittag-Leffler function (definition). Also Wikidata Q1935235
History
- 2026-10-26: add by m2/dev
H088SW24SV H088SW24SV
| URI | m2://inv/H088SW24SV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28011#RMBH (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition H08BHVGM39
| URI | m2://inv/H08BHVGM39 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert–Huang transform#ECPT, Definition (definition)
History
- 2026-11-02: add by m2/dev
H08JB1FHA1 H08JB1FHA1
| URI | m2://inv/H08JB1FHA1 |
|---|---|
| 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#PK3W (statement). In F3BKXXPR3K/e1, theorem
History
- 2026-10-27: add by m2/v0.4.2
History of model theory H08NMGTVRY
| URI | m2://inv/H08NMGTVRY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Model theory#C5T7, History of model theory (unknown)
History
- 2026-11-02: add by m2/dev
Trace coefficients are differential operators H08TANMJDN
| URI | m2://inv/H08TANMJDN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14044#W7QF, Trace coefficients are differential operators (statement). In 5452SJRWDT/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
H08V4GGJF9 H08V4GGJF9
| URI | m2://inv/H08V4GGJF9 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18600#7THN (problem). In 31D6TQVCNZ/e1, problem 4.4
History
- 2026-10-28: add by m2/v0.4.2
H08WH2GKND H08WH2GKND
| URI | m2://inv/H08WH2GKND |
|---|---|
| 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 2312.06581#QV1Z (statement). In WXJ2V3HA2R/e1, lemma G.2
History
- 2026-10-27: add by m2/v0.3.5
Quality and Quantity H08X32HNHD
| URI | m2://inv/H08X32HNHD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#8YFO, Quality and Quantity (definition)
History
- 2026-11-02: add by m2/dev
Cutoff on $d-$dimensional tori H08XGH1ERX
| URI | m2://inv/H08XGH1ERX |
|---|---|
| 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.31187#1029, Cutoff on $d-$dimensional tori (statement). In 2535DQ1DEG/e1, corollary 1
History
- 2026-10-31: add by m2/v0.5.6
H093RDJ24V H093RDJ24V
| URI | m2://inv/H093RDJ24V |
|---|---|
| Kind | example |
| 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.15831#7Q63 (example). In CVESAPNMCQ/e1, example 3.15
History
- 2026-10-28: add by m2/v0.4.2
Cohomology of a stack H098WWGV3C
| URI | m2://inv/H098WWGV3C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohomology of a stack, Cohomology of a stack (definition). Also Wikidata Q97359805
History
- 2026-11-02: add by m2/dev
Balanced Courtade--Kumar theorem H09ADR1BF4
| URI | m2://inv/H09ADR1BF4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#YA1Y, Balanced Courtade--Kumar theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
Daniel I. A. Cohen H09CCFZ5WV
| URI | m2://inv/H09CCFZ5WV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel I. A. Cohen, Daniel I. A. Cohen (topic). Also Wikidata Q21104159
History
- 2026-11-02: add by m2/dev
H09CG92338 H09CG92338
| URI | m2://inv/H09CG92338 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#ex:isset-sigma (exercise). In N54F33XE07, ex, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
H09EPCAGW7 H09EPCAGW7
| URI | m2://inv/H09EPCAGW7 |
|---|---|
| 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.00775#LKV6 (statement). In WVHA7H05QC/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.12
Examples H09EY1XZJ0
| URI | m2://inv/H09EY1XZJ0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetry-protected topological order#WAW9, Examples (example)
History
- 2026-11-02: add by m2/dev
Virial radius H09STCWCRV
| URI | m2://inv/H09STCWCRV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virial mass#1ZAP, Virial radius (unknown)
History
- 2026-11-02: add by m2/dev
Definition H09VHN9AMK
| URI | m2://inv/H09VHN9AMK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple gamma function#WRI2, Definition (definition)
History
- 2026-11-02: add by m2/dev
\theoremcite{Open Problem 4}{aliprantis1974 H09W60FYAK
| URI | m2://inv/H09W60FYAK |
|---|---|
| Kind | problem |
| 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 2609.29498#6BE6, \theoremcite{Open Problem 4}{aliprantis1974 (problem)
History
- 2026-11-01: add by m2/v0.6.15
prime-to-$q$ extensions of the base field H09X4FZM12
| URI | m2://inv/H09X4FZM12 |
|---|---|
| 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.07508#GBOJ, prime-to-$q$ extensions of the base field (statement). In TPA3E67MKK/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
Statement of the inequality H0A3A710CH
| URI | m2://inv/H0A3A710CH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropy power inequality#2NP5, Statement of the inequality (statement)
History
- 2026-11-02: add by m2/dev
Number Nine, Arkansas H0A7YXKH64
| URI | m2://inv/H0A7YXKH64 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#8MMW, Number Nine, Arkansas (unknown)
History
- 2026-11-02: add by m2/dev
H0A83D9P22 H0A83D9P22
| URI | m2://inv/H0A83D9P22 |
|---|---|
| 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.07260#GIQU (statement). In 33KABVV985/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
H0ADC3E5BA H0ADC3E5BA
| URI | m2://inv/H0ADC3E5BA |
|---|---|
| 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.11946#D0J8 (statement). In VQ96F8CY5M/e1, corollary 3.1
History
- 2026-10-28: add by m2/v0.4.3
Examples H0AGBP3D1R
| URI | m2://inv/H0AGBP3D1R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fredholm operator#PQSV, Examples (example)
History
- 2026-11-02: add by m2/dev
H0AJ5JM9ZA H0AJ5JM9ZA
| URI | m2://inv/H0AJ5JM9ZA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22205#KIXC (statement). In 7REABAAQED/e1, proposition
History
- 2026-10-27: add by m2/v0.4.0
H0AJYMYH7A H0AJYMYH7A
| URI | m2://inv/H0AJYMYH7A |
|---|---|
| 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 2609.33805#38E0 (statement). In XM98BX97RT/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Mojżesz Presburger H0AXN7TNN5
| URI | m2://inv/H0AXN7TNN5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#1W2X, Mojżesz Presburger (topic)
History
- 2026-11-02: add by m2/dev
General acceptance sets H0AXQ2W7T6
| URI | m2://inv/H0AXQ2W7T6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12211#DNTI, General acceptance sets (statement). In WBC7PQTVYC/e1, proposition 5
History
- 2026-10-28: add by m2/v0.4.2
H0AY9ZHGDD H0AY9ZHGDD
| URI | m2://inv/H0AY9ZHGDD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31861#MYXP (statement). In G36R6T327W/e1, lemma 9
History
- 2026-10-31: add by m2/v0.5.6
Alexander Beliavsky H0B2FVEPHQ
| URI | m2://inv/H0B2FVEPHQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#QMBC, Alexander Beliavsky (unknown)
History
- 2026-11-02: add by m2/dev
H0B6S9GDT2 H0B6S9GDT2
| URI | m2://inv/H0B6S9GDT2 |
|---|---|
| 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.01946#JK5V (statement). In NB1Z31FMXN/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.12
Mayo–Lewis equation H0B7WSQ51R
| URI | m2://inv/H0B7WSQ51R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mayo–Lewis equation, Mayo–Lewis equation (definition). Also Wikidata Q3589405
History
- 2026-11-02: add by m2/dev
1000 H0BB0MBHVA
| URI | m2://inv/H0BB0MBHVA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q43016 (statement). Also MathWorld Thousand, ProofWiki 1000
- wikipedia: Wikipedia 1000 (number), 1000 (definition). Also Wikidata Q43016
History
- 2026-10-26: add by m2/dev
H0BCY579AE H0BCY579AE
| URI | m2://inv/H0BCY579AE |
|---|---|
| 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 2610.08935#RHE3 (definition). In G02N9D40B9/e1, definition 3.3.3
History
- 2026-10-29: add by m2/v0.4.10
H0BJ3XGP5H H0BJ3XGP5H
| URI | m2://inv/H0BJ3XGP5H |
|---|---|
| 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 alg-geom/9506022#FSQG (statement). In AQGEM4XAKD/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
string, binary H0BNVT5RRE
| URI | m2://inv/H0BNVT5RRE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/2.3/string-binary, string, binary (concept). In QKM9DD2H56, index, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Centerpoint (geometry) H0BWD24GZR
| URI | m2://inv/H0BWD24GZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#78WR, Centerpoint (geometry) (definition)
History
- 2026-11-02: add by m2/dev
H0BY6XYXWD H0BY6XYXWD
| URI | m2://inv/H0BY6XYXWD |
|---|---|
| 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 2609.35740#B5DW (statement). In N7C6C0QGJM/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Harborth's conjecture H0CDCFEAK4
| URI | m2://inv/H0CDCFEAK4 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#F7QG, Harborth's conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
H0CDXWCB8E H0CDXWCB8E
| URI | m2://inv/H0CDXWCB8E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.16884#F4P6 (statement). In B984KNW591/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
H0CEA1G02X H0CEA1G02X
| URI | m2://inv/H0CEA1G02X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#OGOK (statement). In 9B0X8YPF3P/e1, corollary 9.8
History
- 2026-10-28: add by m2/v0.4.2
Canonical equivalence for a general stellar subdivision H0CFXZ9H3K
| URI | m2://inv/H0CFXZ9H3K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.27799#713O, Canonical equivalence for a general stellar subdivision (statement)
History
- 2026-11-01: add by m2/v0.6.15
Weighted likelihood H0CG5PX8Q3
| URI | m2://inv/H0CG5PX8Q3 |
|---|---|
| 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.02531#GS82, Weighted likelihood (statement). In 44EQ0MZE8G/e1, lemma 8.8
History
- 2026-10-29: add by m2/v0.4.12
H0CHTJK7W6 H0CHTJK7W6
| URI | m2://inv/H0CHTJK7W6 |
|---|---|
| Kind | definition |
| 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 2609.39317#VVOF (definition). In QM1T8JDK4A/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
field of fractions of an integral domain H0CJZMMMVC
| URI | m2://inv/H0CJZMMMVC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Field theory > field of fractions of an integral domain, field of fractions of an integral domain (unknown). Also Mathlib IsFractionRing
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > field of fractions of an integral domain, field of fractions of an integral domain (unknown). Also Mathlib IsFractionRing
History
- 2026-10-26: add by m2/dev
H0CWVG3MDE H0CWVG3MDE
| URI | m2://inv/H0CWVG3MDE |
|---|---|
| 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 2609.34289#3J6I (statement). In 9RBATD2Z1F/e1, lemma 2.10
History
- 2026-10-30: add by m2/v0.4.12
Implicit function theorem\index{implicit function theorem}\index{holomorphic implicit function theorem} H0D14ZQ2DG
| URI | m2://inv/H0D14ZQ2DG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:ift, Implicit function theorem\index{implicit function theorem}\index{holomorphic implicit function theorem} (statement). In VNMV985MXX, thm, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Applications H0D8Z2C15Q
| URI | m2://inv/H0D8Z2C15Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mimetic interpolation#O0T6, Applications (example)
History
- 2026-11-02: add by m2/dev
H0DB2M779S H0DB2M779S
| URI | m2://inv/H0DB2M779S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.01237#WJK6 (statement). In M9VHCG48HB/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Icosikaioctagon H0DH13FM8B
| URI | m2://inv/H0DH13FM8B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#5FNX, Icosikaioctagon (definition)
History
- 2026-11-02: add by m2/dev
H0DQX6B9DJ H0DQX6B9DJ
| URI | m2://inv/H0DQX6B9DJ |
|---|---|
| Kind | conjecture |
| 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.28507#W0PY (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Properties H0DR86A25N
| URI | m2://inv/H0DR86A25N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius category#I9FN, Properties (statement)
History
- 2026-11-02: add by m2/dev
Lipschitz bounds for the shared model H0DZMAHHGW
| URI | m2://inv/H0DZMAHHGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12713#CN25, Lipschitz bounds for the shared model (statement). In F14A5HX20Q/e1, proposition 6.8
History
- 2026-10-28: add by m2/v0.4.2
imaginary unit H0E24TNZZM
| URI | m2://inv/H0E24TNZZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#DW3H, imaginary unit (definition)
History
- 2026-11-02: add by m2/dev
José H0E2CP7R27
| URI | m2://inv/H0E2CP7R27 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of twin teammates in sports#EVKV, José (unknown)
History
- 2026-11-02: add by m2/dev
Logarithmic strain H0E8CAMQS4
| URI | m2://inv/H0E8CAMQS4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strain (mechanics)#992J, Logarithmic strain (unknown)
History
- 2026-11-02: add by m2/dev
Ramanujan College H0EAXJQA0H
| URI | m2://inv/H0EAXJQA0H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#ZMCJ, Ramanujan College (unknown)
History
- 2026-11-02: add by m2/dev
H0ECAF5KT0 H0ECAF5KT0
| URI | m2://inv/H0ECAF5KT0 |
|---|---|
| Kind | statement |
| 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 2610.17482#AYL2 (statement). In BQQK9JDJ9F/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Association for Women in Mathematics H0EK4S53PK
| URI | m2://inv/H0EK4S53PK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#6X0K, Association for Women in Mathematics (definition)
History
- 2026-11-02: add by m2/dev
H0F11K1C6F H0F11K1C6F
| URI | m2://inv/H0F11K1C6F |
|---|---|
| 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 2609.37747#19XJ (definition). In GEYDNVZEP7/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
rhombicosahedron H0FB2BBDKV
| URI | m2://inv/H0FB2BBDKV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28992, rhombicosahedron (unknown). Also MathWorld Rhombicosahedron
- wikipedia: Wikipedia Rhombicosahedron, Rhombicosahedron (definition). Also Wikidata Q28992
History
- 2026-10-26: add by m2/dev
Definition H0FCBEDW7B
| URI | m2://inv/H0FCBEDW7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Business intelligence#CJ6N, Definition (definition)
History
- 2026-11-02: add by m2/dev
Presentation of a group H0FFZZF0P7
| URI | m2://inv/H0FFZZF0P7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#DUM0, Presentation of a group (definition)
History
- 2026-11-02: add by m2/dev
H0FG6K3XST H0FG6K3XST
| URI | m2://inv/H0FG6K3XST |
|---|---|
| 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 2411.17412#K1KG (statement). In DPBHYJBGKD/e1, proposition 3.12
History
- 2026-10-27: add by m2/v0.3.6
H0FK19T440 H0FK19T440
| URI | m2://inv/H0FK19T440 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/finite-field.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 12.2
History
- 2026-11-01: add by m2/v0.6.13
Harry Kesten H0FVD22H3D
| URI | m2://inv/H0FVD22H3D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RWU9, Harry Kesten (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0RUU, Harry Kesten (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7BHJ, Harry Kesten (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#US4B, Harry Kesten (topic)
History
- 2026-11-02: add by m2/dev
nearest integer function H0G2H2W1PE
| URI | m2://inv/H0G2H2W1PE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6583251, nearest integer function (unknown). Also MathWorld NearestIntegerFunction
History
- 2026-10-26: add by m2/dev
H0G5DWQ1AX H0G5DWQ1AX
| URI | m2://inv/H0G5DWQ1AX |
|---|---|
| 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.23343#MIKE (statement)
History
- 2026-11-02: add by m2/v0.6.17
HAS-160 H0G96KQ15T
| URI | m2://inv/H0G96KQ15T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HAS-160, HAS-160 (definition). Also Wikidata Q1051625
History
- 2026-11-02: add by m2/dev
Sufficiency of Stationary Policies H0GAK5VP2N
| URI | m2://inv/H0GAK5VP2N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36143#GWNL, Sufficiency of Stationary Policies (statement). In 6T2TWKQMJ8/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Fourier decomposition into cyclic-product recurrences H0GKGVX12D
| URI | m2://inv/H0GKGVX12D |
|---|---|
| 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#XNWJ, Fourier decomposition into cyclic-product recurrences (statement)
History
- 2026-11-01: add by m2/v0.6.15
(Royal #1) H0GMDAKK0A
| URI | m2://inv/H0GMDAKK0A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#RGLF, (Royal #1) (unknown)
History
- 2026-11-02: add by m2/dev
\textsc{Log-Coordinate-Convexity H0GSWG0CYH
| URI | m2://inv/H0GSWG0CYH |
|---|---|
| Kind | problem |
| 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.01812#GXD8, \textsc{Log-Coordinate-Convexity (problem). In FQPVSYXAGC/e1, problem 3
History
- 2026-10-29: add by m2/v0.4.12
Covering rates; finite state sets H0GW56PHAY
| URI | m2://inv/H0GW56PHAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12713#028W, Covering rates; finite state sets (statement). In F14A5HX20Q/e1, corollary 3.10
History
- 2026-10-28: add by m2/v0.4.2
Modern Logic H0GZ9KYEAS
| URI | m2://inv/H0GZ9KYEAS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#ZG6U, Modern Logic (unknown)
History
- 2026-11-02: add by m2/dev
Gentzen system H0H6RP49QD
| URI | m2://inv/H0H6RP49QD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequent calculus#UM2A, Gentzen system (unknown)
History
- 2026-11-02: add by m2/dev
Probability-generating function H0H7DNRZMB
| URI | m2://inv/H0H7DNRZMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GP9I, Probability-generating function (definition)
- wikipedia: Wikipedia List of probability topics#M87V, Probability-generating function (definition)
History
- 2026-11-02: add by m2/dev
Mizohata–Takeuchi conjecture H0H8H18XJW
| URI | m2://inv/H0H8H18XJW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mizohata–Takeuchi conjecture, Mizohata–Takeuchi conjecture (statement). Also Wikidata Q135915966
History
- 2026-11-02: add by m2/dev
Reissner–Nordström metric H0HEN637K7
| URI | m2://inv/H0HEN637K7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reissner–Nordström metric, Reissner–Nordström metric (definition). Also Wikidata Q540664
History
- 2026-11-02: add by m2/dev
H0HKAGRW4E H0HKAGRW4E
| URI | m2://inv/H0HKAGRW4E |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/iso.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 72.5
History
- 2026-11-01: add by m2/v0.6.13
H0HMEB7QXZ H0HMEB7QXZ
| URI | m2://inv/H0HMEB7QXZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06108#JUDI (statement). In D3WKY1PW64/e1, lemma 3.20
History
- 2026-10-29: add by m2/v0.4.10
Sturm–Liouville theory H0HSK9QQRT
| URI | m2://inv/H0HSK9QQRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#DXJI, Sturm–Liouville theory (definition)
History
- 2026-11-02: add by m2/dev
H0HVN7G6WD H0HVN7G6WD
| URI | m2://inv/H0HVN7G6WD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0808.1331#WMAE (statement). In RB2B1N73P0/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
Detlev Buchholz H0J6JNSD88
| URI | m2://inv/H0J6JNSD88 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3DE1, Detlev Buchholz (unknown)
History
- 2026-11-02: add by m2/dev
From Rouché theorem H0JDJYD7AK
| URI | m2://inv/H0JDJYD7AK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometrical properties of polynomial roots#NAAJ, From Rouché theorem (statement)
History
- 2026-11-02: add by m2/dev
Kawasaki's Riemann–Roch formula H0JFC53SDK
| URI | m2://inv/H0JFC53SDK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kawasaki's Riemann–Roch formula, Kawasaki's Riemann–Roch formula (statement). Also Wikidata Q19256001
History
- 2026-11-02: add by m2/dev
Protein structure prediction H0JQKQ7ETJ
| URI | m2://inv/H0JQKQ7ETJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Protein structure prediction, Protein structure prediction (definition). Also Wikidata Q899656
History
- 2026-11-02: add by m2/dev
H0K2XZ3DSM H0K2XZ3DSM
| URI | m2://inv/H0K2XZ3DSM |
|---|---|
| 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 0809.4587#ETM6 (statement). In KQ8JPHDKKE/e1, theorem 9.6.3
History
- 2026-10-27: add by m2/v0.3.5
Examples H0K5AGMB4H
| URI | m2://inv/H0K5AGMB4H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebra cohomology#RP85, Examples (example)
History
- 2026-11-02: add by m2/dev
Common fraction H0KJBZSBAX
| URI | m2://inv/H0KJBZSBAX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fraction#WHG2, Common fraction (unknown)
History
- 2026-11-02: add by m2/dev
Viggo Brun H0KN7Q3PZ1
| URI | m2://inv/H0KN7Q3PZ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XPY0, Viggo Brun (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#END2, Viggo Brun (topic)
History
- 2026-11-02: add by m2/dev
Mean integrated squared error H0KP55VNJ0
| URI | m2://inv/H0KP55VNJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#R1CB, Mean integrated squared error (definition)
History
- 2026-11-02: add by m2/dev
8-cubic honeycomb H0KSV3Y26R
| URI | m2://inv/H0KSV3Y26R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 8-cubic honeycomb, 8-cubic honeycomb (definition). Also Wikidata Q12344564
History
- 2026-11-02: add by m2/dev
H0M35F7RQ3 H0M35F7RQ3
| URI | m2://inv/H0M35F7RQ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-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.27458#AL13 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conchospiral H0M4SRSTPB
| URI | m2://inv/H0M4SRSTPB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5158680, Conchospiral (concept). Also MathWorld Concho-Spiral
- wikipedia: Wikipedia Conchospiral, Conchospiral (definition). Also Wikidata Q5158680
History
- 2026-10-26: add by m2/dev
H0M5REPBHN H0M5REPBHN
| URI | m2://inv/H0M5REPBHN |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 36.2
History
- 2026-11-01: add by m2/v0.6.13
ICM H0M6DBXJYZ
| URI | m2://inv/H0M6DBXJYZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#IF6C, ICM (unknown)
History
- 2026-11-02: add by m2/dev
Aurel Stodola H0M70Z4RZF
| URI | m2://inv/H0M70Z4RZF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0QTM, Aurel Stodola (unknown)
History
- 2026-11-02: add by m2/dev
Barbara Niethammer H0MCAEW4AN
| URI | m2://inv/H0MCAEW4AN |
|---|---|
| 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#BTRW, Barbara Niethammer (topic)
- wikipedia: Wikipedia List of German mathematicians#BIRR, Barbara Niethammer (topic)
History
- 2026-11-02: add by m2/dev
Merkle–Hellman knapsack cryptosystem H0MF5PG3C9
| URI | m2://inv/H0MF5PG3C9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Merkle–Hellman knapsack cryptosystem, Merkle–Hellman knapsack cryptosystem (definition). Also Wikidata Q1760368
History
- 2026-11-02: add by m2/dev
Superposition H0MF9P461D
| URI | m2://inv/H0MF9P461D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#theorem-1, Superposition (statement). In E9HS8K3A52, theorem, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
H0MFNCT0EX H0MFNCT0EX
| URI | m2://inv/H0MFNCT0EX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-2.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
H0MFWP3RMF H0MFWP3RMF
| URI | m2://inv/H0MFWP3RMF |
|---|---|
| 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#Z5EB (statement). In QXJP79APHN/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
ordinal, plump H0MWF6HSC0
| URI | m2://inv/H0MWF6HSC0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/ordinal-plump, ordinal, plump (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
H0MXHSCNTS H0MXHSCNTS
| URI | m2://inv/H0MXHSCNTS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-5.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
H0N9M41N6S H0N9M41N6S
| URI | m2://inv/H0N9M41N6S |
|---|---|
| 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 2303.10636#EOFI (statement). In 9SV2RAEPXM/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.3.6
H0NDHEMV80 H0NDHEMV80
| URI | m2://inv/H0NDHEMV80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12357#X9YL (statement). In 1F26AF81XP/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
H0NTFF4M71 H0NTFF4M71
| URI | m2://inv/H0NTFF4M71 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21255#OQRD (statement). In FB4DAYJJ5F/e1, theorem H
History
- 2026-10-27: add by m2/v0.4.2
H0P46Q6N24 H0P46Q6N24
| URI | m2://inv/H0P46Q6N24 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06699#0NDL (statement). In GXHKRV5BPY/e1, theorem 3.10
History
- 2026-10-29: add by m2/v0.4.10
H0P94AH0YN H0P94AH0YN
| URI | m2://inv/H0P94AH0YN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13972#EQJM (statement). In S1KHNS8XQM/e1, theorem 1.8
History
- 2026-10-28: add by m2/v0.4.2
H0PESWAC67 H0PESWAC67
| URI | m2://inv/H0PESWAC67 |
|---|---|
| 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 2403.02207#ZKUT (statement). In 1T3ZYPQZF0/e1, theorem 5.4
History
- 2026-10-27: add by m2/v0.3.6
H0PJ57FKS9 H0PJ57FKS9
| URI | m2://inv/H0PJ57FKS9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25345#WBWY (definition)
History
- 2026-11-01: add by m2/v0.6.15
H0PQ5JHAYK H0PQ5JHAYK
| URI | m2://inv/H0PQ5JHAYK |
|---|---|
| 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.30097#7XVE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Anomalous resistivity H0PSNAXRBS
| URI | m2://inv/H0PSNAXRBS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetic reconnection#A7YV, Anomalous resistivity (unknown)
History
- 2026-11-02: add by m2/dev
partition of unity H0PSV59E5H
| URI | m2://inv/H0PSV59E5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Partition of unity NH739XXVXK |
Mentions
- wikidata: Wikidata Q191690, partition of unity (definition). Also MathWorld PartitionofUnity, nLab partition of unity, ProofWiki Definition:Partition_of_Unity_(Topology)
- wikipedia: Wikipedia Partition of unity, Partition of unity (definition). Also Wikidata Q191690
History
- 2026-10-26: add by m2/dev
H0PV4HQM6D H0PV4HQM6D
| URI | m2://inv/H0PV4HQM6D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.14389#G205 (statement). In NAMCCRM50R/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.3.5
Journal of Official Statistics H0PX4CT44Y
| URI | m2://inv/H0PX4CT44Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Official Statistics, Journal of Official Statistics (definition). Also Wikidata Q6295679
History
- 2026-11-02: add by m2/dev
Scott W. Williams H0PXR3AJ1Q
| URI | m2://inv/H0PXR3AJ1Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scott W. Williams, Scott W. Williams (topic). Also Wikidata Q7437452
History
- 2026-11-02: add by m2/dev
H0PZCDM0Z4 H0PZCDM0Z4
| URI | m2://inv/H0PZCDM0Z4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#ZTCN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Length H0Q1RZE17J
| URI | m2://inv/H0Q1RZE17J |
|---|---|
| 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 2610.14154#M983, Length (definition). In 8X6PXX2TRA/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Green–Kubo relations H0Q2YRKPW1
| URI | m2://inv/H0Q2YRKPW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green–Kubo relations, Green–Kubo relations (definition). Also Wikidata Q4390265
History
- 2026-11-02: add by m2/dev
H0Q3HNCNF8 H0Q3HNCNF8
| URI | m2://inv/H0Q3HNCNF8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20488#7IIL (statement)
History
- 2026-11-02: add by m2/v0.6.18
Conifold H0Q3X3YKY0
| URI | m2://inv/H0Q3X3YKY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#CWC1, Conifold (definition)
History
- 2026-11-02: add by m2/dev
Covering system H0Q4Q1QPA1
| URI | m2://inv/H0Q4Q1QPA1 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős#B0V0, Covering system (conjecture)
History
- 2026-11-02: add by m2/dev
Examples H0Q7VHV9C7
| URI | m2://inv/H0Q7VHV9C7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kalai–Smorodinsky bargaining solution#6MO7, Examples (example)
History
- 2026-11-02: add by m2/dev
Principles H0Q8ZY6QF8
| URI | m2://inv/H0Q8ZY6QF8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodemographic segmentation#RE15, Principles (statement)
History
- 2026-11-02: add by m2/dev
H0Q9NV6E8N H0Q9NV6E8N
| URI | m2://inv/H0Q9NV6E8N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30274#56WJ (definition). In 6ASPPVJP5M/e1, definition 1
History
- 2026-10-31: add by m2/v0.5.6
H0Q9XFTWRS H0Q9XFTWRS
| URI | m2://inv/H0Q9XFTWRS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27694#GDDN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Convex one-step bound under dual norm distortion H0QA2BBP8S
| URI | m2://inv/H0QA2BBP8S |
|---|---|
| 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.38741#VQJM, Convex one-step bound under dual norm distortion (statement). In 1SQH3PTYMD/e1, proposition 5
History
- 2026-10-30: add by m2/v0.4.12
Properties H0QB99ZAAB
| URI | m2://inv/H0QB99ZAAB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mackey space#5AW5, Properties (statement)
History
- 2026-11-02: add by m2/dev
H0QHC8WE0P H0QHC8WE0P
| URI | m2://inv/H0QHC8WE0P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-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.14045#KEUQ (statement). In KZ71GXT2B0/e1, proposition 2.23
History
- 2026-10-28: add by m2/v0.4.2
Definitions H0QKA88M2Q
| URI | m2://inv/H0QKA88M2Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractional coloring#7X48, Definitions (definition)
History
- 2026-11-02: add by m2/dev
H0QRE7Q36N H0QRE7Q36N
| URI | m2://inv/H0QRE7Q36N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20401#07EQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Canadian traveller problem H0QWEXB4TA
| URI | m2://inv/H0QWEXB4TA |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#5CI6, Canadian traveller problem (problem)
History
- 2026-11-02: add by m2/dev
Interim analysis H0QZ95VRTM
| URI | m2://inv/H0QZ95VRTM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interim analysis, Interim analysis (definition). Also Wikidata Q6046661
History
- 2026-11-02: add by m2/dev
Definitions H0R090PBW9
| URI | m2://inv/H0R090PBW9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cobham's theorem#8SKA, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Complementary subspace H0R0NYR0JD
| URI | m2://inv/H0R0NYR0JD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct sum of modules#ORPU, Complementary subspace (unknown)
History
- 2026-11-02: add by m2/dev
Properties H0RBKTMRD5
| URI | m2://inv/H0RBKTMRD5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kronecker delta#U33M, Properties (statement)
History
- 2026-11-02: add by m2/dev
Addition theorem H0RGSB1QF7
| URI | m2://inv/H0RGSB1QF7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#V3G8, Addition theorem (statement)
History
- 2026-11-02: add by m2/dev
H0RK6D2RAG H0RK6D2RAG
| URI | m2://inv/H0RK6D2RAG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21994#CQ2X (definition)
History
- 2026-11-02: add by m2/v0.6.17
Top-down parsing language H0RWMZ86XQ
| URI | m2://inv/H0RWMZ86XQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Top-down parsing language, Top-down parsing language (definition). Also Wikidata Q7824365
History
- 2026-11-02: add by m2/dev
A cubic H0S0JADFYN
| URI | m2://inv/H0S0JADFYN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18154#GGEY, A cubic (example). In 4W7ARR1DAR/e1, example A.3
History
- 2026-10-28: add by m2/v0.4.2
Example H0SHMWYQSD
| URI | m2://inv/H0SHMWYQSD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First variation#U54W, Example (example)
History
- 2026-11-02: add by m2/dev
H0SV3HT07N H0SV3HT07N
| URI | m2://inv/H0SV3HT07N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02628#699E (definition). In G4S9C5M1A4/e1, definition 4.8
History
- 2026-10-29: add by m2/v0.4.12
Examples H0SXMA2GNV
| URI | m2://inv/H0SXMA2GNV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valuation (algebra)#1Q8K, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties H0T19YFGH6
| URI | m2://inv/H0T19YFGH6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel distribution#NR3U, Properties (statement)
History
- 2026-11-02: add by m2/dev
Chandrasekhar dynamical friction formula H0T2EHDSZ7
| URI | m2://inv/H0T2EHDSZ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamical friction#16RI, Chandrasekhar dynamical friction formula (statement)
History
- 2026-11-02: add by m2/dev
H0T42PR00S H0T42PR00S
| URI | m2://inv/H0T42PR00S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19088#KH9T (statement). In 90QTB4CC31/e1, proposition 3.26
History
- 2026-10-28: add by m2/v0.4.2
characteristic class H0T4PP9DSF
| URI | m2://inv/H0T4PP9DSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Characteristic class 7HACJC0JE2 |
Mentions
- wikidata: Wikidata Q1062978, characteristic class (unknown). Also MathWorld CharacteristicClass, nLab characteristic class
- wikipedia: Wikipedia Characteristic class, Characteristic class (definition). Also Wikidata Q1062978
History
- 2026-10-26: add by m2/dev
H0TGQNA2E2 H0TGQNA2E2
| URI | m2://inv/H0TGQNA2E2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#6KZ9 (definition). In CGA36VE1C5/e1, definition 3.1.1
History
- 2026-10-27: add by m2/v0.3.6
H0TN3MT3KT H0TN3MT3KT
| URI | m2://inv/H0TN3MT3KT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#N4E0 (definition). In A1GWWGRXPA/e1, definition 3.54
History
- 2026-10-27: add by m2/v0.4.2
Small hexacronic icositetrahedron H0TVDHNWA7
| URI | m2://inv/H0TVDHNWA7 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#AB78, Small hexacronic icositetrahedron (object)
History
- 2026-11-02: add by m2/dev
H0TZXX7ZCC H0TZXX7ZCC
| URI | m2://inv/H0TZXX7ZCC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19533#FPLG (statement). In RG4Z9C6ANS/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
First proof H0V04SJEBW
| URI | m2://inv/H0V04SJEBW |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-13, First proof (proof). In N54F33XE07, proof, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Induced realisation of primitive ideals H0V514SFJM
| URI | m2://inv/H0V514SFJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20230#N6FA, Induced realisation of primitive ideals (statement)
History
- 2026-11-02: add by m2/v0.6.18
Three-edge critical integral H0V55AZQGP
| URI | m2://inv/H0V55AZQGP |
|---|---|
| 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 2609.29658#I0AL, Three-edge critical integral (statement)
History
- 2026-11-01: add by m2/v0.6.15
H0V9MCBCVF H0V9MCBCVF
| URI | m2://inv/H0V9MCBCVF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-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.34845#A93U (example). In SBZNH932ZV/e1, example 2.2
History
- 2026-10-30: add by m2/v0.4.12
H0VE174Y6X H0VE174Y6X
| URI | m2://inv/H0VE174Y6X |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-5.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
PKCS 8 H0VEEW1AJF
| URI | m2://inv/H0VEEW1AJF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PKCS 8, PKCS 8 (definition). Also Wikidata Q16909537
History
- 2026-11-02: add by m2/dev
A. S. Mishchenko H0VMW10ACP
| URI | m2://inv/H0VMW10ACP |
|---|---|
| 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#STQK, A. S. Mishchenko (topic)
History
- 2026-11-02: add by m2/dev
Terminal cosets H0VPDJRFE8
| URI | m2://inv/H0VPDJRFE8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03763#GOYH, Terminal cosets (statement). In ARZ4X5PXXC/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
Definition H0W12BH809
| URI | m2://inv/H0W12BH809 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lax–Wendroff method#WGAT, Definition (definition)
History
- 2026-11-02: add by m2/dev
*{Sec. 2.3 H0W1B7WA4V
| URI | m2://inv/H0W1B7WA4V |
|---|---|
| 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.23341#K7O5, *{Sec. 2.3 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Syntax H0W8BH7C99
| URI | m2://inv/H0W8BH7C99 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Syntax, Syntax (definition). Also Wikidata Q37437
History
- 2026-11-02: add by m2/dev
H0W931JGD5 H0W931JGD5
| URI | m2://inv/H0W931JGD5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25742#4XSH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Existence of minimizers for $S_{\alpha,\beta}(n,m)$ H0WAZT8P99
| URI | m2://inv/H0WAZT8P99 |
|---|---|
| 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.09001#2LVT, Existence of minimizers for $S_{\alpha,\beta}(n,m)$ (statement). In HJC1JJZRSH/e1, theorem 1.6
History
- 2026-10-29: add by m2/v0.4.10
H0WJV4D1KN H0WJV4D1KN
| URI | m2://inv/H0WJV4D1KN |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-28 (proof). In N54F33XE07, proof, section B.3.4
History
- 2026-11-01: add by m2/v0.6.13
H0WK735TQD H0WK735TQD
| URI | m2://inv/H0WK735TQD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9807180#F86Y (statement). In VR3766BVE5/e1, proposition 2.13
History
- 2026-10-27: add by m2/v0.3.5
Dedekind–Hasse norm H0WNTBEGKW
| URI | m2://inv/H0WNTBEGKW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind–Hasse norm, Dedekind–Hasse norm (definition). Also Wikidata Q5249755
History
- 2026-11-02: add by m2/dev
H0WPGQ7DKM H0WPGQ7DKM
| URI | m2://inv/H0WPGQ7DKM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.02275#6DNC (definition). In 1QXCNGRWV1/e1, definition 2.12
History
- 2026-10-27: add by m2/v0.3.5
H0WVE0DEWC H0WVE0DEWC
| URI | m2://inv/H0WVE0DEWC |
|---|---|
| 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.21403#DD7O (statement)
History
- 2026-11-02: add by m2/v0.6.18
The concrete quotient dictionary H0X68RH6GA
| URI | m2://inv/H0X68RH6GA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#QCUM, The concrete quotient dictionary (statement). In TC5QA4AB4Z/e1, proposition 4.16
History
- 2026-10-30: add by m2/v0.4.12
Finite traces H0X9YJE78Q
| URI | m2://inv/H0X9YJE78Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12014#WNPH, Finite traces (statement). In DR7BK4CQ0V/e1, lemma 6.8
History
- 2026-10-28: add by m2/v0.4.3
Lincoln index H0XCTXE6KV
| URI | m2://inv/H0XCTXE6KV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lincoln index, Lincoln index (definition). Also Wikidata Q6551207
History
- 2026-11-02: add by m2/dev
Akivis algebra H0XGEDCEAF
| URI | m2://inv/H0XGEDCEAF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#6O7M, Akivis algebra (definition)
History
- 2026-11-02: add by m2/dev
Left convolution H0XMRB8J9Y
| URI | m2://inv/H0XMRB8J9Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13892#9SJA, Left convolution (statement). In HV9KKEBBDD/e1, proposition VI.4
History
- 2026-10-28: add by m2/v0.4.2
James G. Oldroyd H0XRGEWWF8
| URI | m2://inv/H0XRGEWWF8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James G. Oldroyd, James G. Oldroyd (topic). Also Wikidata Q10305080
History
- 2026-11-02: add by m2/dev
Jeffrey O. Henley H0XTP6VZTA
| URI | m2://inv/H0XTP6VZTA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#EB02, Jeffrey O. Henley (unknown)
History
- 2026-11-02: add by m2/dev
H0XZ3TBPB1 H0XZ3TBPB1
| URI | m2://inv/H0XZ3TBPB1 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#F5XP (problem)
History
- 2026-11-01: add by m2/v0.6.15
Infinite expression H0Y2JYBQRX
| URI | m2://inv/H0Y2JYBQRX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite expression, Infinite expression (definition). Also Wikidata Q6029858
History
- 2026-11-02: add by m2/dev
Terry Winograd H0Y3GQA0N6
| URI | m2://inv/H0Y3GQA0N6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TNXU, Terry Winograd (unknown)
History
- 2026-11-02: add by m2/dev
H0Y3X8QCD5 H0Y3X8QCD5
| URI | m2://inv/H0Y3X8QCD5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-3.xml#activity-pca-iris (exercise). In 649HGZKE96, activity, section 7.3.3
History
- 2026-11-01: add by m2/v0.6.13
H0Y465AMTE H0Y465AMTE
| URI | m2://inv/H0Y465AMTE |
|---|---|
| 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.07380#3CGC (statement). In XM2CDRKSGE/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.10
Observable coverage test H0Y77ZRYB7
| URI | m2://inv/H0Y77ZRYB7 |
|---|---|
| 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#JGTB, Observable coverage test (statement). In 14Y4SA4SX0/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
H0Y9NAG8EX H0Y9NAG8EX
| URI | m2://inv/H0Y9NAG8EX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2309.17091#4GX4 (statement). In N0JJM098W2/e1, lemma 26
History
- 2026-10-27: add by m2/v0.4.0
H0YDPCT1BE H0YDPCT1BE
| URI | m2://inv/H0YDPCT1BE |
|---|---|
| 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 2610.10413#P115 (statement). In 68MTQ59QTQ/e1, theorem 1.8
History
- 2026-10-29: add by m2/v0.4.10
ruler function H0YGFYB1E1
| URI | m2://inv/H0YGFYB1E1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q111940079, ruler function (unknown). Also MathWorld RulerFunction
- wikipedia: Wikipedia Ruler function, Ruler function (definition). Also Wikidata Q111940079
History
- 2026-10-26: add by m2/dev
quartic H0YGKAYDNA
| URI | m2://inv/H0YGKAYDNA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#D70E, quartic (definition)
History
- 2026-11-02: add by m2/dev
Notation H0YTFKWQSJ
| URI | m2://inv/H0YTFKWQSJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levi-Civita connection#PRG1, Notation (definition)
History
- 2026-11-02: add by m2/dev
P/poly H0YWXJTXG4
| URI | m2://inv/H0YWXJTXG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P/poly, P/poly (definition). Also Wikidata Q7117817
History
- 2026-11-02: add by m2/dev
H0YZSPNMA5 H0YZSPNMA5
| URI | m2://inv/H0YZSPNMA5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/sheaves.tex#prob:finite_sheaf (exercise). In RZP28ERRZV, problem, section 25.6
History
- 2026-11-01: add by m2/v0.6.13
relatively compact subspace H0Z704JN0S
| URI | m2://inv/H0Z704JN0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q610232, relatively compact subspace (unknown). Also EoM Pre-compact_space, nLab relatively compact subspace
- wikipedia: Wikipedia Relatively compact subspace, Relatively compact subspace (definition). Also Wikidata Q610232
History
- 2026-10-26: add by m2/dev
Fourier contraction formula H0ZF081G3F
| URI | m2://inv/H0ZF081G3F |
|---|---|
| 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.13916#SY62, Fourier contraction formula (statement). In JS2JSD0507/e1, lemma B.1
History
- 2026-10-28: add by m2/v0.4.2
Jastrow illusion H0ZH6KENHT
| URI | m2://inv/H0ZH6KENHT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2479234, Jastrow illusion (unknown). Also MathWorld JastrowIllusion
History
- 2026-10-26: add by m2/dev
H0ZM7ERJBN H0ZM7ERJBN
| URI | m2://inv/H0ZM7ERJBN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08873#AQ8G (definition). In 7WMNVJBAVR/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
De Giorgi's theorem H0ZMCQYWZ3
| URI | m2://inv/H0ZMCQYWZ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's nineteenth problem#XSUL, De Giorgi's theorem (statement)
History
- 2026-11-02: add by m2/dev
H0ZRMP36KM H0ZRMP36KM
| URI | m2://inv/H0ZRMP36KM |
|---|---|
| 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 2609.29450#C3T4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Four-bar linkage H0ZTY5605C
| URI | m2://inv/H0ZTY5605C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four-bar linkage, Four-bar linkage (definition). Also Wikidata Q2102938
History
- 2026-11-02: add by m2/dev