Inventory rows X8
The cards of the rows of the inventory whose ids start with X8. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Hachinohe X8098PTR4S
| URI | m2://inv/X8098PTR4S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#Y6Z4, Hachinohe (unknown)
History
- 2026-11-02: add by m2/dev
Symmetry X80CYESK5P
| URI | m2://inv/X80CYESK5P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonomino#VVXI, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Möbius transformation X80P8EMJGD
| URI | m2://inv/X80P8EMJGD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#IGF2, Möbius transformation (definition)
- wikipedia: Wikipedia List of transforms#Y0JW, Möbius transformation (definition)
History
- 2026-11-02: add by m2/dev
X80PK38A11 X80PK38A11
| URI | m2://inv/X80PK38A11 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20018#MMD4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mathematical Reviews X80RTF6DWF
| URI | m2://inv/X80RTF6DWF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical Reviews, Mathematical Reviews (definition). Also Wikidata Q211172
History
- 2026-11-02: add by m2/dev
MPIR X80S598P35
| URI | m2://inv/X80S598P35 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MPIR (mathematics software), MPIR (definition). Also Wikidata Q6717288
History
- 2026-11-02: add by m2/dev
Stochastic volatility X80Y68EBTF
| URI | m2://inv/X80Y68EBTF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic volatility, Stochastic volatility (definition). Also Wikidata Q596307
History
- 2026-11-02: add by m2/dev
Boolean prime ideal theorem X817CS3R7Q
| URI | m2://inv/X817CS3R7Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean prime ideal theorem#Z3R3, Boolean prime ideal theorem (statement)
History
- 2026-11-02: add by m2/dev
Statement X81A0W697J
| URI | m2://inv/X81A0W697J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius reciprocity#N7FX, Statement (statement)
History
- 2026-11-02: add by m2/dev
X81B4B4S6G X81B4B4S6G
| URI | m2://inv/X81B4B4S6G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#cor-2 (statement). In N54F33XE07, cor, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
cardinal number, addition of X81CHKA90W
| URI | m2://inv/X81CHKA90W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.2/cardinal-number-addition-of, cardinal number, addition of (concept). In N54F33XE07, index, section C.2
History
- 2026-11-01: add by m2/v0.6.13
X81MDKQY0D X81MDKQY0D
| URI | m2://inv/X81MDKQY0D |
|---|---|
| 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 1709.08958#KBEE (statement). In H46J8XRDFJ/e1, corollary 6.1.4
History
- 2026-10-27: add by m2/v0.3.5
The full shadow retains the core's holes X81PGBP3XE
| URI | m2://inv/X81PGBP3XE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09602#HVFF, The full shadow retains the core's holes (statement). In 4AQ48WSBDQ/e1, corollary 5.8
History
- 2026-10-29: add by m2/v0.4.10
Total fertility rate in England by county / unitary authority X825FXJZ69
| URI | m2://inv/X825FXJZ69 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total fertility rate in England by county / unitary authority, Total fertility rate in England by county / unitary authority (definition). Also Wikidata Q7828116
History
- 2026-11-02: add by m2/dev
X8271KPC8M X8271KPC8M
| URI | m2://inv/X8271KPC8M |
|---|---|
| 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.15511#S9MT (statement). In TZM08VJAQT/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
hyper-inaccessible X82BS2K41C
| URI | m2://inv/X82BS2K41C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#XXZ1, hyper-inaccessible (definition)
History
- 2026-11-02: add by m2/dev
X82FC2FH7K X82FC2FH7K
| URI | m2://inv/X82FC2FH7K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08074#8A7H (statement). In ZRPYF750AV/e1, corollary 3.3
History
- 2026-10-29: add by m2/v0.4.10
Euler Mascheroni constant X82J4DAQ5X
| URI | m2://inv/X82J4DAQ5X |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of limits#3B4W, Euler Mascheroni constant (conjecture)
History
- 2026-11-02: add by m2/dev
Wolfgang Spohn X82TMVYSCD
| URI | m2://inv/X82TMVYSCD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolfgang Spohn, Wolfgang Spohn (topic). Also Wikidata Q15428235
History
- 2026-11-02: add by m2/dev
X82VJ80RC1 X82VJ80RC1
| URI | m2://inv/X82VJ80RC1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.01873#RKW0 (statement). In FVZZDPEYNM/e1, theorem 4.4
- arxiv: arXiv 2609.23167#5P9P (statement)
History
- 2026-10-27: add by m2/v0.3.5
X835WEG232 X835WEG232
| URI | m2://inv/X835WEG232 |
|---|---|
| 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.17411#HHRZ (definition). In 73QW05MWQB/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
X837EVPHQC X837EVPHQC
| URI | m2://inv/X837EVPHQC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#I25D (definition). In G70Q2FB591/e1, definition 3.15
History
- 2026-10-28: add by m2/v0.4.2
X83KCPD2KK X83KCPD2KK
| URI | m2://inv/X83KCPD2KK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#definition-7 (definition). In RZP28ERRZV, definition, section 98.5
History
- 2026-11-01: add by m2/v0.6.13
X83VGXW4JW X83VGXW4JW
| URI | m2://inv/X83VGXW4JW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04844#XO41 (statement). In 5MX3N62ENP/e1, corollary 7
History
- 2026-10-29: add by m2/v0.4.12
X83XT59RZQ X83XT59RZQ
| URI | m2://inv/X83XT59RZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03814#EHR6 (statement). In STPNP83RJS/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
Origamics X83Y69CNJJ
| URI | m2://inv/X83Y69CNJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Origamics, Origamics (definition). Also Wikidata Q108523494
History
- 2026-11-02: add by m2/dev
X83Z6TET2R X83Z6TET2R
| URI | m2://inv/X83Z6TET2R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#21T7 (definition). In 6KR7Z5ETRY/e1, definition 2.59
History
- 2026-10-27: add by m2/v0.3.5
X841QNGHAA X841QNGHAA
| URI | m2://inv/X841QNGHAA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-trees.ptx#ex-tree-deg-seq (exercise). In Y91XFCEVHQ, exercise, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
X8477RKR9Q X8477RKR9Q
| URI | m2://inv/X8477RKR9Q |
|---|---|
| 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.09483#4PU6 (statement). In N1MQ8F9JN6/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Ingemar Bengtsson X847RCYX4F
| URI | m2://inv/X847RCYX4F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q59622848, Ingemar Bengtsson (unknown). Also nLab Ingemar Bengtsson
History
- 2026-10-26: add by m2/dev
Green's theorem X8496MFBVC
| URI | m2://inv/X8496MFBVC |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Green's theorem 0HR3N02317 |
Mentions
- mathlib_1000: mathlib_1000 Q321237, Green's theorem (statement). Also Wikidata Q321237
- thousand_plus: thousand_plus Q321237, Green's theorem (statement). Also Wikidata Q321237, Wikipedia Green's theorem
- wikidata: Wikidata Q321237, Green's theorem (statement). Also MathWorld GreensTheorem
- wikipedia: Wikipedia Green's theorem, Green's theorem (statement). Also Wikidata Q321237
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
X84A69T1TB X84A69T1TB
| URI | m2://inv/X84A69T1TB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#D2PS (statement). In M4ZVJWM8YA/e1, theorem A.16
History
- 2026-10-27: add by m2/v0.4.2
Properties X84D4QNQ07
| URI | m2://inv/X84D4QNQ07 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub cube#T7YF, Properties (statement)
History
- 2026-11-02: add by m2/dev
X84ECRWMSQ X84ECRWMSQ
| URI | m2://inv/X84ECRWMSQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#T1YB (statement). In 94RBNQA07A/e1, proposition 2.20
History
- 2026-10-27: add by m2/v0.3.5
Euler class X84JJW4QD9
| URI | m2://inv/X84JJW4QD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#IL8Y, Euler class (definition)
History
- 2026-11-02: add by m2/dev
Dynamical comparison principle X84K6S9FKN
| URI | m2://inv/X84K6S9FKN |
|---|---|
| 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#IYXJ, Dynamical comparison principle (statement). In 2535DQ1DEG/e1, proposition 3
History
- 2026-10-31: add by m2/v0.5.6
X84YQEE0GX X84YQEE0GX
| URI | m2://inv/X84YQEE0GX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39246#S84X (statement). In FVK0J9CFEF/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Hjelmslev transformation X854DZ8ZQR
| URI | m2://inv/X854DZ8ZQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hjelmslev transformation, Hjelmslev transformation (definition). Also Wikidata Q5873234
History
- 2026-11-02: add by m2/dev
Definition X8583WE7XB
| URI | m2://inv/X8583WE7XB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Out(Fn)#UR33, Definition (definition)
History
- 2026-11-02: add by m2/dev
X85KQ276S8 X85KQ276S8
| URI | m2://inv/X85KQ276S8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/models.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 91.5
History
- 2026-11-01: add by m2/v0.6.13
local heights away from $p$ X85QWY3CFN
| URI | m2://inv/X85QWY3CFN |
|---|---|
| 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.40207#JECJ, local heights away from $p$ (statement). In JXTG8KP95P/e1, theorem 2.18
History
- 2026-10-30: add by m2/v0.4.12
X85RY9SKCQ X85RY9SKCQ
| URI | m2://inv/X85RY9SKCQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14236#BH8Z (statement). In XEQD21EBTT/e1, lemma 8.5
History
- 2026-10-28: add by m2/v0.4.2
statistic replication X85WMG4Q6K
| URI | m2://inv/X85WMG4Q6K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3933199, statistic replication (unknown). Also MathWorld Replicate
- wikipedia: Wikipedia Replication (statistics), Replication (definition). Also Wikidata Q3933199
History
- 2026-10-26: add by m2/dev
Edgar Allan Poe X85WYSCYQW
| URI | m2://inv/X85WYSCYQW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#8XQE, Edgar Allan Poe (unknown)
History
- 2026-11-02: add by m2/dev
Local profile X85YWHSXZW
| URI | m2://inv/X85YWHSXZW |
|---|---|
| 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.40252#09Z3, Local profile (definition). In 7MVPNFPRKB/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Chirotope axioms X860SBHXZM
| URI | m2://inv/X860SBHXZM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oriented matroid#1EQS, Chirotope axioms (statement)
History
- 2026-11-02: add by m2/dev
X86JN8B953 X86JN8B953
| URI | m2://inv/X86JN8B953 |
|---|---|
| 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 2202.10920#K8T6 (definition). In 6TTFGK6ZV0/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.5
X87431WJ1Q X87431WJ1Q
| URI | m2://inv/X87431WJ1Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32860#WFIC (statement). In H71AJ341B3/e1, theorem 4.3
History
- 2026-10-31: add by m2/v0.5.6
X87D77ZD4S X87D77ZD4S
| URI | m2://inv/X87D77ZD4S |
|---|---|
| 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.21900#DQI0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
The \(K3^{[n]}\) fibration X87XYEFQQ3
| URI | m2://inv/X87XYEFQQ3 |
|---|---|
| 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.02481#7TY8, The \(K3^{[n]}\) fibration (example). In 5HACFNFY0P/e1, example 2.5
History
- 2026-10-29: add by m2/v0.4.12
X880R27FKP X880R27FKP
| URI | m2://inv/X880R27FKP |
|---|---|
| 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 2609.37112#KYG9 (statement). In 5B10HAY4C3/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
Charles C. Pugh X8844GRRBJ
| URI | m2://inv/X8844GRRBJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles C. Pugh, Charles C. Pugh (topic). Also Wikidata Q1063878
History
- 2026-11-02: add by m2/dev
Applications X884PT3NNW
| URI | m2://inv/X884PT3NNW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open knot theory#TUYP, Applications (example)
History
- 2026-11-02: add by m2/dev
computational topology X88AYQAYT8
| URI | m2://inv/X88AYQAYT8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4129926, computational topology (unknown). Also nLab computational topology
- wikipedia: Wikipedia Computational topology, Computational topology (topic). Also Wikidata Q4129926
History
- 2026-10-26: add by m2/dev
X88B18XHAR X88B18XHAR
| URI | m2://inv/X88B18XHAR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#8M53 (definition). In 9JHMTYGWFQ/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.6
X88ED1BJNH X88ED1BJNH
| URI | m2://inv/X88ED1BJNH |
|---|---|
| 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.28265#FF5J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gaussian prime X88FVWVQFZ
| URI | m2://inv/X88FVWVQFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Gaussian prime 0GTEHJQRFK |
Mentions
- wikidata: Wikidata Q3343089, Gaussian prime (definition). Also MathWorld GaussianPrime, ProofWiki Definition:Gaussian_Prime
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
X88YAGMBGP X88YAGMBGP
| URI | m2://inv/X88YAGMBGP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#U3DQ (statement). In SD28S3K7BT/e1, corollary 7
History
- 2026-10-29: add by m2/v0.4.12
X893B84PQX X893B84PQX
| URI | m2://inv/X893B84PQX |
|---|---|
| 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.08334#Z5X8 (definition). In FQ3DS8B3H1/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.10
X895NMG1Y8 X895NMG1Y8
| URI | m2://inv/X895NMG1Y8 |
|---|---|
| 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#OJZY (statement). In QXJP79APHN/e1, theorem 5.7
History
- 2026-10-27: add by m2/v0.3.5
dominate X8980N92T5
| URI | m2://inv/X8980N92T5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#XW97, dominate (definition)
History
- 2026-11-02: add by m2/dev
Diane Proudfoot X89BX05JG8
| URI | m2://inv/X89BX05JG8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Turing Guide#T5BF, Diane Proudfoot (unknown)
History
- 2026-11-02: add by m2/dev
X89GKF5W6K X89GKF5W6K
| URI | m2://inv/X89GKF5W6K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#I5UG (statement). In AGJE43FTF8/e1, theorem 4.8
History
- 2026-10-27: add by m2/v0.4.2
X89JCKV6XP X89JCKV6XP
| URI | m2://inv/X89JCKV6XP |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmological principle#43SI (problem)
History
- 2026-11-02: add by m2/dev
Intrinsically knotted graph X89QBWMXMK
| URI | m2://inv/X89QBWMXMK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linkless embedding#ZLKP, Intrinsically knotted graph (unknown)
History
- 2026-11-02: add by m2/dev
ideal X89QR3F4ZZ
| URI | m2://inv/X89QR3F4ZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#8JU4, ideal (definition)
History
- 2026-11-02: add by m2/dev
X89VX52K4H X89VX52K4H
| URI | m2://inv/X89VX52K4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10147#S45P (statement). In WZWGAG2FSN/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
X89WXPBAQF X89WXPBAQF
| URI | m2://inv/X89WXPBAQF |
|---|---|
| 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.17188#NWXR (statement). In KP3ZYTMAN9/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Exponential function X8A37YX0V8
| URI | m2://inv/X8A37YX0V8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#FTR5, Exponential function (definition)
- wikipedia: Wikipedia List of complex analysis topics#2CGN, Exponential function (definition)
- wikipedia: Wikipedia List of exponential topics#1UA0, Exponential function (definition)
History
- 2026-11-02: add by m2/dev
Characteristic function of a reversible chain X8A3EXES5E
| URI | m2://inv/X8A3EXES5E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17403#AWF0, Characteristic function of a reversible chain (statement). In 9EMNMAW8YH/e1, lemma 32
History
- 2026-10-28: add by m2/v0.4.2
Examples X8A64DBA2A
| URI | m2://inv/X8A64DBA2A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chakravala method#Y197, Examples (example)
History
- 2026-11-02: add by m2/dev
X8AFPWR5D1 X8AFPWR5D1
| URI | m2://inv/X8AFPWR5D1 |
|---|---|
| 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.27628#V8GH (statement)
History
- 2026-11-01: add by m2/v0.6.15
X8AP6D5KGW X8AP6D5KGW
| URI | m2://inv/X8AP6D5KGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20647#IBIX (statement)
History
- 2026-11-02: add by m2/v0.6.18
Archibald Read Richardson X8B6ZVDH8C
| URI | m2://inv/X8B6ZVDH8C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Archibald Read Richardson, Archibald Read Richardson (topic). Also Wikidata Q4786490
History
- 2026-11-02: add by m2/dev
Robert D. Gibbons X8BMYBPXW8
| URI | m2://inv/X8BMYBPXW8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert D. Gibbons, Robert D. Gibbons (topic). Also Wikidata Q46996511
History
- 2026-11-02: add by m2/dev
rectangular function X8BTQGTCM4
| URI | m2://inv/X8BTQGTCM4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Rectangular function A9B7Z5SA9K |
Mentions
- wikidata: Wikidata Q946860, rectangular function (unknown). Also MathWorld RectangleFunction
- wikipedia: Wikipedia Rectangular function, Rectangular function (definition). Also Wikidata Q946860
History
- 2026-10-26: add by m2/dev
X8BZ1XEXBT X8BZ1XEXBT
| URI | m2://inv/X8BZ1XEXBT |
|---|---|
| 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 1406.2996#EWIO (statement). In 6XENXFC77F/e1, corollary 4.4
History
- 2026-10-27: add by m2/v0.3.5
X8C9J1P0RR X8C9J1P0RR
| URI | m2://inv/X8C9J1P0RR |
|---|---|
| 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.05582#K0BE (statement). In 9X4TANWWWR/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Poinsot's ellipsoid X8CCHGFKHJ
| URI | m2://inv/X8CCHGFKHJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poinsot's ellipsoid, Poinsot's ellipsoid (definition). Also Wikidata Q1139169
History
- 2026-11-02: add by m2/dev
Jill Britton X8CH34XQZS
| URI | m2://inv/X8CH34XQZS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jill Britton, Jill Britton (topic). Also Wikidata Q97960859
History
- 2026-11-02: add by m2/dev
Basic properties X8CJ8HP93P
| URI | m2://inv/X8CJ8HP93P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maslov index#WZHN, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
6-sphere X8CQ2236NH
| URI | m2://inv/X8CQ2236NH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q63197244, 6-sphere (unknown). Also nLab 6-sphere
History
- 2026-10-26: add by m2/dev
X8CV4Z8XWX X8CV4Z8XWX
| URI | m2://inv/X8CV4Z8XWX |
|---|---|
| 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.34923#48QK (statement). In 7WKVFJEZQT/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
Generalizations X8CWNA0VT4
| URI | m2://inv/X8CWNA0VT4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Explicit formulae for L-functions#SS3M, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
X8CX91M4EC X8CX91M4EC
| URI | m2://inv/X8CX91M4EC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09140#2LXE (statement). In 9934P5E5AM/e1, corollary 5.4
History
- 2026-10-29: add by m2/v0.4.10
Joan Bagaria X8CYQEWYVW
| URI | m2://inv/X8CYQEWYVW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joan Bagaria, Joan Bagaria (topic). Also Wikidata Q51101699
History
- 2026-11-02: add by m2/dev
Chebyshev inequality X8CZTPQWGF
| URI | m2://inv/X8CZTPQWGF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Convergence of a sequence of random variables > Chebyshev inequality, Chebyshev inequality (unknown). Also Mathlib ProbabilityTheory.meas_ge_le_variance_div_sq
- mathlib_undergrad: mathlib_undergrad Probability Theory > Convergence of a sequence of random variables > Chebyshev inequality, Chebyshev inequality (unknown). Also Mathlib ProbabilityTheory.meas_ge_le_variance_div_sq
History
- 2026-10-26: add by m2/dev
Mean ergodic theorem X8D3DX15KV
| URI | m2://inv/X8D3DX15KV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ergodic theory#5MYM, Mean ergodic theorem (statement)
History
- 2026-11-02: add by m2/dev
Boij X8D3PG7MHY
| URI | m2://inv/X8D3PG7MHY |
|---|---|
| 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 2609.21060#XIC2, Boij (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples X8DN0HVFHM
| URI | m2://inv/X8DN0HVFHM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Context-free grammar#QRQL, Examples (example)
History
- 2026-11-02: add by m2/dev
Challenging X8DQBYV6RA
| URI | m2://inv/X8DQBYV6RA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#exercise:countsubsetbij, Challenging (exercise). In E59CDZA4DP, exercise, section 11.9.6
History
- 2026-11-01: add by m2/v0.6.13
calculus of functors X8DRXCCPFR
| URI | m2://inv/X8DRXCCPFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#25F9, calculus of functors (definition)
History
- 2026-11-02: add by m2/dev
X8DWBGRE3W X8DWBGRE3W
| URI | m2://inv/X8DWBGRE3W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-86 (exercise). In E9HS8K3A52, exercise, section 5.7.1
History
- 2026-11-01: add by m2/v0.6.13
resolution X8DWY2CK6H
| URI | m2://inv/X8DWY2CK6H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#2005, resolution (definition)
History
- 2026-11-02: add by m2/dev
X8E9G4XEM1 X8E9G4XEM1
| URI | m2://inv/X8E9G4XEM1 |
|---|---|
| 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.03683#EGX7 (statement). In 14AMXF6X2V/e1, proposition 8.1
History
- 2026-10-29: add by m2/v0.4.12
X8EEYM03W6 X8EEYM03W6
| URI | m2://inv/X8EEYM03W6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27872#MQPM (statement)
History
- 2026-11-01: add by m2/v0.6.15
X8EMVPGT05 X8EMVPGT05
| URI | m2://inv/X8EMVPGT05 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/morphism.tex#proof-2 (proof). In RZP28ERRZV, proof, section 86.5
History
- 2026-11-01: add by m2/v0.6.13
Stagnation point flow X8EPRFK0H1
| URI | m2://inv/X8EPRFK0H1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stagnation point flow, Stagnation point flow (definition). Also Wikidata Q30692554
History
- 2026-11-02: add by m2/dev
Definition X8EW6RSDRG
| URI | m2://inv/X8EW6RSDRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tychonoff plank#EJOY, Definition (definition)
History
- 2026-11-02: add by m2/dev
Local rings along coordinate subspaces X8EXP6C9WQ
| URI | m2://inv/X8EXP6C9WQ |
|---|---|
| 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.00259#ZXHU, Local rings along coordinate subspaces (statement). In CFXW6Z78G0/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
Logical principles and their failure X8F0BERJQ9
| URI | m2://inv/X8F0BERJQ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional logic#U54N, Logical principles and their failure (statement)
History
- 2026-11-02: add by m2/dev
Degree of a polynomial X8F7HEJ1C9
| URI | m2://inv/X8F7HEJ1C9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#LUSU, Degree of a polynomial (definition)
History
- 2026-11-02: add by m2/dev
333 symmetry X8F8BHX2WT
| URI | m2://inv/X8F8BHX2WT |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform tilings on the sphere, plane, and hyperbolic plane#7BC3, 333 symmetry (object)
History
- 2026-11-02: add by m2/dev
X8FP21T8RP X8FP21T8RP
| URI | m2://inv/X8FP21T8RP |
|---|---|
| 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.07770#48P7 (statement). In 6GHT4P7E8X/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Hedetniemi's conjecture X8FQZDD9QA
| URI | m2://inv/X8FQZDD9QA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#69ZX, Hedetniemi's conjecture (statement)
History
- 2026-11-02: add by m2/dev
X8FX5MY6HY X8FX5MY6HY
| URI | m2://inv/X8FX5MY6HY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#example-16 (example). In E59CDZA4DP, example, section 1.7.2
History
- 2026-11-01: add by m2/v0.6.13
Pincherle derivative X8FYVC1ZC5
| URI | m2://inv/X8FYVC1ZC5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Pincherle derivative R0H4RXF0YZ |
Mentions
- wikidata: Wikidata Q7194927, Pincherle derivative (concept). Also MathWorld PincherleDerivative
- wikipedia: Wikipedia Pincherle derivative, Pincherle derivative (definition). Also Wikidata Q7194927
History
- 2026-10-26: add by m2/dev
X8FZ0V2AGP X8FZ0V2AGP
| URI | m2://inv/X8FZ0V2AGP |
|---|---|
| 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.14985#ZPAW (statement). In DGXJW3SCBR/e1, proposition 42
History
- 2026-10-28: add by m2/v0.4.2
X8G01VB6H0 X8G01VB6H0
| URI | m2://inv/X8G01VB6H0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38243#51J2 (statement). In R03K2N7FRF/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
atomic nucleus X8G04VXYRF
| URI | m2://inv/X8G04VXYRF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q37147, atomic nucleus (definition). Also ProofWiki Definition:Atom_(Physics)/Nucleus
History
- 2026-10-26: add by m2/dev
Azumaya's theorem X8G24A4KN2
| URI | m2://inv/X8G24A4KN2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decomposition of a module#L5QV, Azumaya's theorem (statement)
History
- 2026-11-02: add by m2/dev
Application X8G35XAG0E
| URI | m2://inv/X8G35XAG0E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramsey sentence#MAT5, Application (example)
History
- 2026-11-02: add by m2/dev
X8G78ADSRQ X8G78ADSRQ
| URI | m2://inv/X8G78ADSRQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21578#FJIQ (statement). In 6M96RM3T7N/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.2
X8G9WW5J6P X8G9WW5J6P
| URI | m2://inv/X8G9WW5J6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18847#48DE (statement). In DZ12XTTJSM/e1, lemma 5.12
History
- 2026-10-28: add by m2/v0.4.2
Degree lifting X8GCJPQP3A
| URI | m2://inv/X8GCJPQP3A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.17785#1CMV, Degree lifting (statement). In H3FDP8S1Z7/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
Kiran Kedlaya X8GESC1JRA
| URI | m2://inv/X8GESC1JRA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZU65, Kiran Kedlaya (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ER06, Kiran Kedlaya (topic)
History
- 2026-11-02: add by m2/dev
X8GG989D2F X8GG989D2F
| URI | m2://inv/X8GG989D2F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12116#1DHS (statement). In WB3F0S794F/e1, corollary 5.1
History
- 2026-10-28: add by m2/v0.4.2
X8GMX9MVAC X8GMX9MVAC
| URI | m2://inv/X8GMX9MVAC |
|---|---|
| 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.11031#C0DC (statement). In 9DMJXFRQN9/e1, fact 2.10
History
- 2026-10-28: add by m2/v0.4.3
DST X8GQEFBJBW
| URI | m2://inv/X8GQEFBJBW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#N5BL, DST (definition)
History
- 2026-11-02: add by m2/dev
Properties and applications X8GQQYK3XK
| URI | m2://inv/X8GQQYK3XK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apollonian network#QHU8, Properties and applications (statement)
History
- 2026-11-02: add by m2/dev
Explicit mixed Jacobi forms X8GW7TPXM5
| URI | m2://inv/X8GW7TPXM5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26110#AAJ8, Explicit mixed Jacobi forms (statement)
History
- 2026-11-01: add by m2/v0.6.15
Angus Ellis Taylor X8H1PTSY2X
| URI | m2://inv/X8H1PTSY2X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angus Ellis Taylor, Angus Ellis Taylor (topic). Also Wikidata Q3468268
History
- 2026-11-02: add by m2/dev
Berger–Kazdan comparison theorem X8H2ZMGZH2
| URI | m2://inv/X8H2ZMGZH2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#3AU9, Berger–Kazdan comparison theorem (statement)
History
- 2026-11-02: add by m2/dev
X8H77Q87V0 X8H77Q87V0
| URI | m2://inv/X8H77Q87V0 |
|---|---|
| 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#YR9L (statement). In 67GE5M1GGD/e1, theorem 7.2
History
- 2026-10-30: add by m2/v0.4.12
Examples X8HE2MCTZ3
| URI | m2://inv/X8HE2MCTZ3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed graph property#SD6K, Examples (example)
History
- 2026-11-02: add by m2/dev
Formulation X8HM961K97
| URI | m2://inv/X8HM961K97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditionality principle#TWKR, Formulation (definition)
History
- 2026-11-02: add by m2/dev
X8HR4FPSSJ X8HR4FPSSJ
| URI | m2://inv/X8HR4FPSSJ |
|---|---|
| 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.06764#JUUS (statement). In MSWV3MJ5CE/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
X8HS9RTZ6Q X8HS9RTZ6Q
| URI | m2://inv/X8HS9RTZ6Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03719#EDGA (statement). In 8MDK189ZMB/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.12
X8HZQ6HRCK X8HZQ6HRCK
| URI | m2://inv/X8HZQ6HRCK |
|---|---|
| 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 2610.11048#A3RM (statement). In H6TK4V0YVQ/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.3
X8J4Y974MK X8J4Y974MK
| URI | m2://inv/X8J4Y974MK |
|---|---|
| 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.05365#DES0 (statement). In BKPSH4CD9K/e1, theorem 3.11
History
- 2026-10-29: add by m2/v0.4.10
Definitions X8J5C32DZ8
| URI | m2://inv/X8J5C32DZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Airy function#DY9A, Definitions (definition)
History
- 2026-11-02: add by m2/dev
X8J6XAT7EN X8J6XAT7EN
| URI | m2://inv/X8J6XAT7EN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22180#JSA0 (statement). In VXQXVZ7SE7/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.4.0
Sydney Chapman X8J8DF9YKG
| URI | m2://inv/X8J8DF9YKG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sydney Chapman (mathematician), Sydney Chapman (topic). Also Wikidata Q711256
History
- 2026-11-02: add by m2/dev
Hilbert's twenty-third problem X8J9PTBSEX
| URI | m2://inv/X8J9PTBSEX |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's twenty-third problem, Hilbert's twenty-third problem (problem). Also Wikidata Q5761180
History
- 2026-11-02: add by m2/dev
Step-line bidiagonal factorization scheme X8JA5CTWPT
| URI | m2://inv/X8JA5CTWPT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26110#6TDK, Step-line bidiagonal factorization scheme (statement)
History
- 2026-11-01: add by m2/v0.6.15
X8JAMZ5YAA X8JAMZ5YAA
| URI | m2://inv/X8JAMZ5YAA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07718#OI1T (statement). In CEKW9CNVVW/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.10
X8K0VN902M X8K0VN902M
| URI | m2://inv/X8K0VN902M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1802.02910#XETJ (statement). In AY2MA29921/e1, corollary 06
History
- 2026-10-27: add by m2/v0.3.5
X8K0WW3Z2R X8K0WW3Z2R
| URI | m2://inv/X8K0WW3Z2R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05850#Z9D3 (statement). In D424GB5MAW/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
isogonal conjugate X8K2PQYSFW
| URI | m2://inv/X8K2PQYSFW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1156867, isogonal conjugate (unknown). Also MathWorld IsogonalConjugate
- wikipedia: Wikipedia Isogonal conjugate, Isogonal conjugate (definition). Also Wikidata Q1156867
History
- 2026-10-26: add by m2/dev
X8K6JN0QTA X8K6JN0QTA
| URI | m2://inv/X8K6JN0QTA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27023#33HH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Startup amplitude X8KDCF1YE6
| URI | m2://inv/X8KDCF1YE6 |
|---|---|
| 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.15199#B56I, Startup amplitude (statement). In EVFTDVP4K4/e1, lemma E.1
History
- 2026-10-28: add by m2/v0.4.2
X8KHEJG60G X8KHEJG60G
| URI | m2://inv/X8KHEJG60G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24314#ONJD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Five Mile Fork, Virginia X8KJ7C565G
| URI | m2://inv/X8KJ7C565G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#ODYC, Five Mile Fork, Virginia (unknown)
History
- 2026-11-02: add by m2/dev
X8KJS1TXY1 X8KJS1TXY1
| URI | m2://inv/X8KJS1TXY1 |
|---|---|
| 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.04835#0HFT (statement). In P6PHR4W23S/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Andris Ambainis X8KMR1V683
| URI | m2://inv/X8KMR1V683 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andris Ambainis, Andris Ambainis (topic). Also Wikidata Q4179840
History
- 2026-11-02: add by m2/dev
Definition X8KNNKTCMS
| URI | m2://inv/X8KNNKTCMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spline wavelet#356N, Definition (definition)
History
- 2026-11-02: add by m2/dev
X8KSKTMTZT X8KSKTMTZT
| URI | m2://inv/X8KSKTMTZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02833#AR7E (statement). In TNREX5GDK2/e1, corollary 6.1
History
- 2026-10-29: add by m2/v0.4.12
Simulation cost X8KV9CNF4V
| URI | m2://inv/X8KV9CNF4V |
|---|---|
| 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.11619#DEVG, Simulation cost (statement). In HT2K76Y9WS/e1, proposition D.1
History
- 2026-10-28: add by m2/v0.4.3
X8KY92YY9Q X8KY92YY9Q
| URI | m2://inv/X8KY92YY9Q |
|---|---|
| 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 0905.2248#B80Z (definition). In 7EWB9ZRD9Z/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
Theon of Smyrna X8M2NG15GF
| URI | m2://inv/X8M2NG15GF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#E95I, Theon of Smyrna (unknown)
History
- 2026-11-02: add by m2/dev
Lie bracket of vector field X8M6TS17A3
| URI | m2://inv/X8M6TS17A3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > Lie bracket of vector field, Lie bracket of vector field (unknown). Also Mathlib VectorField.mlieBracket
History
- 2026-10-26: add by m2/dev
X8M8P5CQQW X8M8P5CQQW
| URI | m2://inv/X8M8P5CQQW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-2-1-2.xml#act-2-1-2 (exercise). In 907G4C4EJ1, activity, section 2.1.4
History
- 2026-11-01: add by m2/v0.6.13
Hans Heinrich Bürmann X8MBKYCT58
| URI | m2://inv/X8MBKYCT58 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#USYF, Hans Heinrich Bürmann (topic)
History
- 2026-11-02: add by m2/dev
Generalizations X8MME8QRHJ
| URI | m2://inv/X8MME8QRHJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Firing squad synchronization problem#IJ1S, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
X8MPZHA8P5 X8MPZHA8P5
| URI | m2://inv/X8MPZHA8P5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00614#KCWY (statement). In NC5Z77F6H4/e1, corollary 9.1
History
- 2026-10-30: add by m2/v0.4.12
Finite maximal smooth lifespan X8N43RSTNR
| URI | m2://inv/X8N43RSTNR |
|---|---|
| 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.02509#G0XY, Finite maximal smooth lifespan (statement). In 9CJ1NK0R8P/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Definition X8NCNQN8N6
| URI | m2://inv/X8NCNQN8N6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary decision diagram#UCNT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Example 1 X8NDTNT1AH
| URI | m2://inv/X8NDTNT1AH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural deduction#7MBM, Example 1 (example)
History
- 2026-11-02: add by m2/dev
function extensionality, proof from univalence X8NJX89GFX
| URI | m2://inv/X8NJX89GFX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.9/function-extensionality-proof-from-univalence, function extensionality, proof from univalence (concept). In N54F33XE07, index, section 3.9
History
- 2026-11-01: add by m2/v0.6.13
X8NMFBB74G X8NMFBB74G
| URI | m2://inv/X8NMFBB74G |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-conc.ptx#proof-2 (proof). In Y91XFCEVHQ, proof, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
X8NS9HK8PT X8NS9HK8PT
| URI | m2://inv/X8NS9HK8PT |
|---|---|
| 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.16358#RZZU (statement). In RJA3YJ9NYK/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
Folklore X8NSV8ZRBD
| URI | m2://inv/X8NSV8ZRBD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06300#9GF4, Folklore (statement). In 751KSRS7WT/e1, lemma 6.4
- arxiv: arXiv 2610.06340#PJ7F, Lemma 6.4 in Part I (statement). In PKNZPECH82/e1, lemma 9.1
History
- 2026-10-29: add by m2/v0.4.10
X8NT11KNW0 X8NT11KNW0
| URI | m2://inv/X8NT11KNW0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.09162#FZ1S (statement). In TAPS8P2VYS/e1, lemma 1.17
History
- 2026-10-29: add by m2/v0.4.10
List of mathematics journals X8PDZNPHXP
| URI | m2://inv/X8PDZNPHXP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#4NXC, List of mathematics journals (topic)
- wikipedia: Wikipedia Lists of mathematics topics#D8VH, List of mathematics journals (topic)
History
- 2026-11-02: add by m2/dev
Salem–Spencer set X8PF49HVSZ
| URI | m2://inv/X8PF49HVSZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Salem–Spencer set, Salem–Spencer set (definition). Also Wikidata Q65119165
History
- 2026-11-02: add by m2/dev
X8PHSMP7F6 X8PHSMP7F6
| URI | m2://inv/X8PHSMP7F6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03520#9IZM (statement). In CSRZ9CWK69/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.12
Definition X8PN2SS00B
| URI | m2://inv/X8PN2SS00B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cornish–Fisher expansion#M825, Definition (definition)
History
- 2026-11-02: add by m2/dev
Steen Rasmussen X8PN54Z9PR
| URI | m2://inv/X8PN54Z9PR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8CBJ, Steen Rasmussen (unknown)
History
- 2026-11-02: add by m2/dev
X8PQ1084H0 X8PQ1084H0
| URI | m2://inv/X8PQ1084H0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31523#R0GT (statement). In 2BET1RE1F6/e1, lemma 3.13
History
- 2026-10-31: add by m2/v0.5.6
Stolz–Cesàro theorem X8PVPC6JF0
| URI | m2://inv/X8PVPC6JF0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L'Hôpital's rule#SYVW, Stolz–Cesàro theorem (statement)
History
- 2026-11-02: add by m2/dev
Weighted branch packing X8PW6N3JJP
| URI | m2://inv/X8PW6N3JJP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.20531#1WB5, Weighted branch packing (statement)
History
- 2026-11-02: add by m2/v0.6.18
Confusion of the inverse X8PW9757G9
| URI | m2://inv/X8PW9757G9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#S0L9, Confusion of the inverse (definition)
History
- 2026-11-02: add by m2/dev
Example X8PYMEZJ50
| URI | m2://inv/X8PYMEZJ50 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rayleigh quotient iteration#3S3F, Example (example)
History
- 2026-11-02: add by m2/dev
X8Q3SBTSQG X8Q3SBTSQG
| URI | m2://inv/X8Q3SBTSQG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25063#4ZAU (statement)
History
- 2026-11-01: add by m2/v0.6.15
X8Q5JXME0G X8Q5JXME0G
| URI | m2://inv/X8Q5JXME0G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06645#DMCF (statement). In 79H1DEK4M9/e1, theorem 5.5
History
- 2026-10-29: add by m2/v0.4.10
Uniform partial stability X8QKA3HD68
| URI | m2://inv/X8QKA3HD68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#AI9F, Uniform partial stability (statement). In 8BNPFYQDQX/e1, theorem 16.1
History
- 2026-10-29: add by m2/v0.4.10
537 (number) X8QP1A5QWJ
| URI | m2://inv/X8QP1A5QWJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#FOKC, 537 (number) (unknown)
History
- 2026-11-02: add by m2/dev
X8QPM0XG3Y X8QPM0XG3Y
| URI | m2://inv/X8QPM0XG3Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#W13T (statement). In GW23NX78SB/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Formulations X8QRCYC1Z8
| URI | m2://inv/X8QRCYC1Z8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal gas law#U75T, Formulations (definition)
History
- 2026-11-02: add by m2/dev
P-complete X8QZEDRART
| URI | m2://inv/X8QZEDRART |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-complete, P-complete (definition). Also Wikidata Q905789
History
- 2026-11-02: add by m2/dev
Power laws X8R0E2SWNM
| URI | m2://inv/X8R0E2SWNM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rate equation#THKV, Power laws (statement)
History
- 2026-11-02: add by m2/dev
X8R2TMCB1W X8R2TMCB1W
| URI | m2://inv/X8R2TMCB1W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.03423#2XT0 (statement). In 8C5YCMN81V/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Principles X8R4KPS53D
| URI | m2://inv/X8R4KPS53D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear optics#4NBL, Principles (statement)
History
- 2026-11-02: add by m2/dev
X8R6CSEZ98 X8R6CSEZ98
| URI | m2://inv/X8R6CSEZ98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27795#5EAU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations X8R9NWB6JV
| URI | m2://inv/X8R9NWB6JV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Straus conjecture#V3K8, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Pseudo-Zernike polynomials X8RCSNGYW0
| URI | m2://inv/X8RCSNGYW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-Zernike polynomials, Pseudo-Zernike polynomials (definition). Also Wikidata Q7254425
History
- 2026-11-02: add by m2/dev
X8RM64FSHE X8RM64FSHE
| URI | m2://inv/X8RM64FSHE |
|---|---|
| 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 1002.0879#X2ZV (statement). In M0SQY5EZN5/e1, lemma 2.7.9
History
- 2026-10-27: add by m2/v0.3.5
StatPlus X8RQJ2T7AY
| URI | m2://inv/X8RQJ2T7AY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5N6O, StatPlus (definition)
History
- 2026-11-02: add by m2/dev
Thomas J. Plewes X8RVETGZMJ
| URI | m2://inv/X8RVETGZMJ |
|---|---|
| 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#IITT, Thomas J. Plewes (unknown)
History
- 2026-11-02: add by m2/dev
Averaged layer loss X8RY3MRM0F
| URI | m2://inv/X8RY3MRM0F |
|---|---|
| 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.10188#0S6M, Averaged layer loss (statement). In S608Z3ZBP6/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
X8S466Z2EQ X8S466Z2EQ
| URI | m2://inv/X8S466Z2EQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/characters.tex#proof-3 (proof). In RZP28ERRZV, proof, section 79.3
History
- 2026-11-01: add by m2/v0.6.13
Fractional strong kernel X8SBFR4TBH
| URI | m2://inv/X8SBFR4TBH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PPAD-complete problems#9W35, Fractional strong kernel (unknown)
History
- 2026-11-02: add by m2/dev
X8SBTQBDVS X8SBTQBDVS
| URI | m2://inv/X8SBTQBDVS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:fatcylinder1 (exercise). In VNMV985MXX, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Abel's test X8SH9HZGPT
| URI | m2://inv/X8SH9HZGPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Abel's test 0CN97GADE5 |
Mentions
- wikidata: Wikidata Q479834, Abel's test (statement). Also MathWorld AbelsUniformConvergenceTest, ProofWiki Abel's_Test
- wikipedia: Wikipedia Abel's test, Abel's test (definition). Also Wikidata Q479834
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Construction X8SQ8JSADT
| URI | m2://inv/X8SQ8JSADT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius configuration#SVR1, Construction (definition)
History
- 2026-11-02: add by m2/dev
A two-root and a one-root calculation X8T02ATCMG
| URI | m2://inv/X8T02ATCMG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13063#41UP, A two-root and a one-root calculation (example). In R5AFFWBMAF/e1, example 4.6
History
- 2026-10-28: add by m2/v0.4.2
X8T0YKMED7 X8T0YKMED7
| URI | m2://inv/X8T0YKMED7 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/card-arithmetic/simp.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 69.5
History
- 2026-11-01: add by m2/v0.6.13
X8T2JEGFPP X8T2JEGFPP
| URI | m2://inv/X8T2JEGFPP |
|---|---|
| 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.09483#CQJW (problem). In N1MQ8F9JN6/e1, problem 2
History
- 2026-10-29: add by m2/v0.4.10
Khinchin's theorem X8T378CRGY
| URI | m2://inv/X8T378CRGY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#0M3V, Khinchin's theorem (definition)
History
- 2026-11-02: add by m2/dev
X8T4SAQSE3 X8T4SAQSE3
| URI | m2://inv/X8T4SAQSE3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04063#2U52 (statement). In TFH7T63DX9/e1, lemma S.14
History
- 2026-10-27: add by m2/v0.3.5
Construction X8T7MX00EZ
| URI | m2://inv/X8T7MX00EZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2 41 polytope#F7MH, Construction (definition)
History
- 2026-11-02: add by m2/dev
X8T827EWMM X8T827EWMM
| URI | m2://inv/X8T827EWMM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability-consistency.tex#prop:explicit-inc (statement). In PKGMM3P5QY, prop, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
Tight gap exponents X8T89MZ4R6
| URI | m2://inv/X8T89MZ4R6 |
|---|---|
| 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.17127#4V7X, Tight gap exponents (statement). In NZJ5B5KSDQ/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
X8TK42FFSB X8TK42FFSB
| URI | m2://inv/X8TK42FFSB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02506#KGC4 (statement). In 3JKRBZWJ33/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.12
Non-identifiability under non-injective mixing X8TMGMG0X3
| URI | m2://inv/X8TMGMG0X3 |
|---|---|
| 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 2604.02255#LSGG, Non-identifiability under non-injective mixing (statement). In 14NGZPH8B9/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
determinant module X8TS706HSH
| URI | m2://inv/X8TS706HSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#4D5Q, determinant module (definition)
History
- 2026-11-02: add by m2/dev
Generalizations of Hilbert's fourth problem X8TTVRVMYQ
| URI | m2://inv/X8TTVRVMYQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's fourth problem#3FUM, Generalizations of Hilbert's fourth problem (statement)
History
- 2026-11-02: add by m2/dev
X8TVFABX4A X8TVFABX4A
| URI | m2://inv/X8TVFABX4A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#MD2X (statement). In V5PVKDKGGG/e1, theorem 8.11
History
- 2026-10-28: add by m2/v0.4.2
X8TWQGB1CY X8TWQGB1CY
| URI | m2://inv/X8TWQGB1CY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#definition-2 (definition). In RZP28ERRZV, definition, section 90.1
History
- 2026-11-01: add by m2/v0.6.13
Jensen–Shannon divergence X8TXW4BH15
| URI | m2://inv/X8TXW4BH15 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VH6W, Jensen–Shannon divergence (definition)
History
- 2026-11-02: add by m2/dev
X8TZHMNFZS X8TZHMNFZS
| URI | m2://inv/X8TZHMNFZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19288#FZ3D (statement). In 1EA6AM9V01/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
swastika X8V47Z4VN7
| URI | m2://inv/X8V47Z4VN7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q45513, swastika (unknown). Also MathWorld Swastika
History
- 2026-10-26: add by m2/dev
diagonal X8V6XMGG4R
| URI | m2://inv/X8V6XMGG4R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77966258, diagonal (unknown). Also MathWorld Diagonal
History
- 2026-10-26: add by m2/dev
Quotient module X8V8Z8YR10
| URI | m2://inv/X8V8Z8YR10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#HXMY, Quotient module (definition)
History
- 2026-11-02: add by m2/dev
Applications X8V9MR4P1W
| URI | m2://inv/X8V9MR4P1W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiresolution Fourier transform#6ZRO, Applications (example)
History
- 2026-11-02: add by m2/dev
Weighted moving average X8VAB4G95E
| URI | m2://inv/X8VAB4G95E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moving average#OE37, Weighted moving average (unknown)
History
- 2026-11-02: add by m2/dev
History of game theory X8W4Q0776G
| URI | m2://inv/X8W4Q0776G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Game theory#KNYW, History of game theory (unknown)
History
- 2026-11-02: add by m2/dev
X8WJTV9080 X8WJTV9080
| URI | m2://inv/X8WJTV9080 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11210#54EA (statement). In CRFDGFZHBF/e1, lemma 9.10
History
- 2026-10-28: add by m2/v0.4.3
Maximal cycle and Floquet phases X8WN1KK0Q4
| URI | m2://inv/X8WN1KK0Q4 |
|---|---|
| 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.16351#85RB, Maximal cycle and Floquet phases (statement). In 1QSV7EQE3T/e1, lemma S64
History
- 2026-10-28: add by m2/v0.4.2
Definition X8WZRBK0NQ
| URI | m2://inv/X8WZRBK0NQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric genus#DAWX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Crouzeix's conjecture X8X0KTA3VK
| URI | m2://inv/X8X0KTA3VK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#ATS3, Crouzeix's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Laguerre–Pólya class X8X6BQVNCB
| URI | m2://inv/X8X6BQVNCB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laguerre–Pólya class, Laguerre–Pólya class (definition). Also Wikidata Q6472739
History
- 2026-11-02: add by m2/dev
X8XDVKFHPF X8XDVKFHPF
| URI | m2://inv/X8XDVKFHPF |
|---|---|
| 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 2404.06445#54GI (statement). In 12JKZ8EN52/e1, corollary 8.8
History
- 2026-10-27: add by m2/v0.3.5
Cartan–Dieudonné theorem X8XP5BG9P0
| URI | m2://inv/X8XP5BG9P0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#LHSS, Cartan–Dieudonné theorem (statement)
History
- 2026-11-02: add by m2/dev
Tame Hilbert schemes in all degrees X8XRFYWK2Y
| URI | m2://inv/X8XRFYWK2Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35467#FPAT, Tame Hilbert schemes in all degrees (statement). In FK89DQ9J4S/e1, proposition A.3
History
- 2026-10-30: add by m2/v0.4.12
Christine Piatko X8XSANF8MH
| URI | m2://inv/X8XSANF8MH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#O7PZ, Christine Piatko (unknown)
History
- 2026-11-02: add by m2/dev
X8XXC7VQ2M X8XXC7VQ2M
| URI | m2://inv/X8XXC7VQ2M |
|---|---|
| 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.27699#ZN1K (statement)
History
- 2026-11-01: add by m2/v0.6.15
Infinite differentiability X8Y23S75QX
| URI | m2://inv/X8Y23S75QX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15111#2MX1, Infinite differentiability (statement). In 6RE6JYE4GP/e1, theorem B.2
History
- 2026-10-28: add by m2/v0.4.2
X8Y66ZTQ5S X8Y66ZTQ5S
| URI | m2://inv/X8Y66ZTQ5S |
|---|---|
| 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.12736#4A8U (statement). In 5350Q52F6P/e1, proposition 2.8
History
- 2026-10-28: add by m2/v0.4.2
Shing-Tung Yau X8YBZ7NWXD
| URI | m2://inv/X8YBZ7NWXD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#GSM8, Shing-Tung Yau (topic)
History
- 2026-11-02: add by m2/dev
Extension to countable sets of formulas X8YC2VKETB
| URI | m2://inv/X8YC2VKETB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Original proof of Gödel's completeness theorem#55XZ, Extension to countable sets of formulas (statement)
History
- 2026-11-02: add by m2/dev
X8YGDFKCQ5 X8YGDFKCQ5
| URI | m2://inv/X8YGDFKCQ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07679#F8NT (statement). In K8JMTRS42G/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.10
Example X8YSRMN6FK
| URI | m2://inv/X8YSRMN6FK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toroidal and poloidal coordinates#ULHO, Example (example)
History
- 2026-11-02: add by m2/dev
X8Z1P2QNZB X8Z1P2QNZB
| URI | m2://inv/X8Z1P2QNZB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04063#EKWI (statement). In TFH7T63DX9/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
X8Z58FV8C3 X8Z58FV8C3
| URI | m2://inv/X8Z58FV8C3 |
|---|---|
| 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 1002.0879#TWR1 (definition). In M0SQY5EZN5/e1, definition 2.7.4
History
- 2026-10-27: add by m2/v0.3.5
Arne Beurling X8ZMHHGMW8
| URI | m2://inv/X8ZMHHGMW8 |
|---|---|
| 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#NQFL, Arne Beurling (topic)
History
- 2026-11-02: add by m2/dev
X8ZSZADDGM X8ZSZADDGM
| URI | m2://inv/X8ZSZADDGM |
|---|---|
| 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.12329#EHMK (statement). In ZJQB9W60T6/e1, lemma 7.15
History
- 2026-10-28: add by m2/v0.4.2