Inventory rows 8T
The cards of the rows of the inventory whose ids start with 8T. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
8T03Q0F3G2 8T03Q0F3G2
| URI | m2://inv/8T03Q0F3G2 |
|---|---|
| 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 2501.15680#ZMY6 (statement). In VBWH2Z3YHA/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
8T08D14MGP 8T08D14MGP
| URI | m2://inv/8T08D14MGP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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 2404.14253#ICUR (statement). In R7W38A039X/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.6
8T09DH94K5 8T09DH94K5
| URI | m2://inv/8T09DH94K5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00105#M3SM (statement). In EZXTEXR47M/e1, corollary 3.5
History
- 2026-10-30: add by m2/v0.4.12
Complex Poynting vector theorem 8T0A7NM2ZZ
| URI | m2://inv/8T0A7NM2ZZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poynting's theorem#KON4, Complex Poynting vector theorem (statement)
History
- 2026-11-02: add by m2/dev
Finite basis 8T0CB4K3NV
| URI | m2://inv/8T0CB4K3NV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38975#DA45, Finite basis (statement). In D2247CRPPE/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
Higher derivatives and Taylor formula 8T0HB4V4FJ
| URI | m2://inv/8T0HB4V4FJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus on Euclidean space#N0EI, Higher derivatives and Taylor formula (statement)
History
- 2026-11-02: add by m2/dev
8T0J1BF9FJ 8T0J1BF9FJ
| URI | m2://inv/8T0J1BF9FJ |
|---|---|
| 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.36412#U5WA (statement). In 6HKGGCMBCK/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
8T0V235P92 8T0V235P92
| URI | m2://inv/8T0V235P92 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-5 (proof). In N54F33XE07, proof, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
8T1CDYBFEF 8T1CDYBFEF
| URI | m2://inv/8T1CDYBFEF |
|---|---|
| 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.37920#E9WW (statement). In GZPF8R6BBF/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
Statement 8T1GKYKMBE
| URI | m2://inv/8T1GKYKMBE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy's continuity theorem#ORN3, Statement (statement)
History
- 2026-11-02: add by m2/dev
8T1N0T59AY 8T1N0T59AY
| URI | m2://inv/8T1N0T59AY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17669#VP16 (statement). In RAWXJ72WWA/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
Constant multiple rule 8T1NGPWMD1
| URI | m2://inv/8T1NGPWMD1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiation rules#3GN2, Constant multiple rule (unknown)
History
- 2026-11-02: add by m2/dev
8T1NTA4M12 8T1NTA4M12
| URI | m2://inv/8T1NTA4M12 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#WV75 (statement). In WAXS6FS388/e1, theorem 8.3
History
- 2026-10-30: add by m2/v0.4.12
reflection 8T1WQ6SAEA
| URI | m2://inv/8T1WQ6SAEA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Reflection 06BRDF3F0E |
Mentions
- wikidata: Wikidata Q426221, reflection (unknown). Also MathWorld Reflection
- wikipedia: Wikipedia Reflection (mathematics), Reflection (definition). Also Wikidata Q426221
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
8T24WC2AEZ 8T24WC2AEZ
| URI | m2://inv/8T24WC2AEZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.33651#Z3RX (statement). In 69DBD2HKGK/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Commutation theorem for semifinite traces 8T28PDDV99
| URI | m2://inv/8T28PDDV99 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutation theorem for traces#F9N7, Commutation theorem for semifinite traces (statement)
History
- 2026-11-02: add by m2/dev
Error Bound on the Discrete Weighting Function 8T2B58SVF9
| URI | m2://inv/8T2B58SVF9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13355#9RRE, Error Bound on the Discrete Weighting Function (statement). In QJ1G1HBC6C/e1, lemma 3.15
History
- 2026-10-28: add by m2/v0.4.2
8T2DQ0CWNQ 8T2DQ0CWNQ
| URI | m2://inv/8T2DQ0CWNQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#IB9R (statement)
History
- 2026-11-02: add by m2/v0.6.18
8T2GSK766W 8T2GSK766W
| URI | m2://inv/8T2GSK766W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2401.13523#NR86 (statement). In DDA62XQTWW/e1, theorem 3.11
History
- 2026-10-27: add by m2/v0.3.5
8T2TDN4WPR 8T2TDN4WPR
| URI | m2://inv/8T2TDN4WPR |
|---|---|
| Kind | definition |
| 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 2204.01073#YLIA (definition). In W4TYN4PGE8/e1, definition 2.44
History
- 2026-10-27: add by m2/v0.3.5
Xuan tu 8T2TNEZY4T
| URI | m2://inv/8T2TNEZY4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Xuan tu, Xuan tu (definition). Also Wikidata Q123877825
History
- 2026-11-02: add by m2/dev
Post-quantum cryptography 8T367ABP14
| URI | m2://inv/8T367ABP14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#8Z48, Post-quantum cryptography (definition)
History
- 2026-11-02: add by m2/dev
Counit–unit adjunction. 8T36VJ0WTG
| URI | m2://inv/8T36VJ0WTG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjoint functors#JHLY, Counit–unit adjunction. (definition)
History
- 2026-11-02: add by m2/dev
8T3PGE4APC 8T3PGE4APC
| URI | m2://inv/8T3PGE4APC |
|---|---|
| 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.01268#0A1V (statement). In 80Q4X3WT8W/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Disproving the conjecture 8T3WGN4CM1
| URI | m2://inv/8T3WGN4CM1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Szemerédi theorem#DZNZ, Disproving the conjecture (statement)
History
- 2026-11-02: add by m2/dev
Cubic-octahedral honeycomb 8T3XBZJVD4
| URI | m2://inv/8T3XBZJVD4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic-octahedral honeycomb, Cubic-octahedral honeycomb (definition). Also Wikidata Q17077812
History
- 2026-11-02: add by m2/dev
Burst error-correcting code 8T458KRA19
| URI | m2://inv/8T458KRA19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burst error-correcting code, Burst error-correcting code (definition). Also Wikidata Q15994959
History
- 2026-11-02: add by m2/dev
Combined gas law 8T46KSMEJC
| URI | m2://inv/8T46KSMEJC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal gas law#H9KT, Combined gas law (statement)
History
- 2026-11-02: add by m2/dev
8T48S2P3BB 8T48S2P3BB
| URI | m2://inv/8T48S2P3BB |
|---|---|
| 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 2509.21444#6NSJ (statement). In CTVPA2FQT1/e1, lemma 8.2.1
History
- 2026-10-27: add by m2/v0.4.0
Abraham Nitzan 8T49FQR8T2
| URI | m2://inv/8T49FQR8T2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#U9OP, Abraham Nitzan (unknown)
History
- 2026-11-02: add by m2/dev
Implementation 8T4ABDD54T
| URI | m2://inv/8T4ABDD54T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automatic differentiation#2H0A, Implementation (definition)
History
- 2026-11-02: add by m2/dev
8T4DAD0ZW8 8T4DAD0ZW8
| URI | m2://inv/8T4DAD0ZW8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39353#25G7 (statement). In 2PZR1KX2RC/e1, theorem C.3
History
- 2026-10-30: add by m2/v0.4.12
8T4NK9R666 8T4NK9R666
| URI | m2://inv/8T4NK9R666 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19658#SMUP (statement). In G00EYA9DXG/e1, lemma 9.2
History
- 2026-10-28: add by m2/v0.4.2
8T5EDF6MA1 8T5EDF6MA1
| URI | m2://inv/8T5EDF6MA1 |
|---|---|
| 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.21808#POKQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Gloria Ford Gilmer 8T5H3S22NB
| URI | m2://inv/8T5H3S22NB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gloria Ford Gilmer, Gloria Ford Gilmer (topic). Also Wikidata Q16902130
History
- 2026-11-02: add by m2/dev
Definition 8T5N7VVWJP
| URI | m2://inv/8T5N7VVWJP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hidden attractor#WFXP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Mutually unbiased bases 8T63CY9KEG
| URI | m2://inv/8T63CY9KEG |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutually unbiased bases, Mutually unbiased bases (conjecture). Also Wikidata Q17160413
History
- 2026-11-02: add by m2/dev
History of graph theory 8T65HV0RQ0
| URI | m2://inv/8T65HV0RQ0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph theory#JPWX, History of graph theory (unknown)
History
- 2026-11-02: add by m2/dev
8T66C9MG9R 8T66C9MG9R
| URI | m2://inv/8T66C9MG9R |
|---|---|
| Kind | definition |
| 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.14249#OOB4 (definition). In B6P8PG8R8T/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Kepler Mire 8T66WGSRK9
| URI | m2://inv/8T66WGSRK9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#WSRO, Kepler Mire (unknown)
History
- 2026-11-02: add by m2/dev
8T6DSMBJHB 8T6DSMBJHB
| URI | m2://inv/8T6DSMBJHB |
|---|---|
| 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 2602.19452#5CR2 (statement). In 3GF75S0XJ0/e1, lemma 2.13
History
- 2026-10-27: add by m2/v0.4.0
Algebraic graph theory 8T6Z9EZC7J
| URI | m2://inv/8T6Z9EZC7J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic graph theory, Algebraic graph theory (topic). Also Wikidata Q4724003
History
- 2026-11-02: add by m2/dev
8T71SFR0XS 8T71SFR0XS
| URI | m2://inv/8T71SFR0XS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 80.1
History
- 2026-11-01: add by m2/v0.6.13
8T74NN39CX 8T74NN39CX
| URI | m2://inv/8T74NN39CX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.16241#B4ZL (definition). In WNDHZVY4WK/e1, definition A.4
History
- 2026-10-28: add by m2/v0.4.2
Theodore Jacobson 8T751HK2WE
| URI | m2://inv/8T751HK2WE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#ZEXO, Theodore Jacobson (unknown)
History
- 2026-11-02: add by m2/dev
8T75FFMAMT 8T75FFMAMT
| URI | m2://inv/8T75FFMAMT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#DUKF (definition)
History
- 2026-11-01: add by m2/v0.6.15
Complex good-core border probability 8T78EYFVBQ
| URI | m2://inv/8T78EYFVBQ |
|---|---|
| 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.05498#00JL, Complex good-core border probability (statement). In TJT32RQ9GC/e1, proposition 7.6
History
- 2026-10-29: add by m2/v0.4.10
Double counting (fallacy) 8T7CCPJJ87
| URI | m2://inv/8T7CCPJJ87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6KM9, Double counting (fallacy) (definition)
History
- 2026-11-02: add by m2/dev
8T7D6FJ73E 8T7D6FJ73E
| URI | m2://inv/8T7D6FJ73E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-5 (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13
Embedding Correctness 8T7FE21A0F
| URI | m2://inv/8T7FE21A0F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#PPTR, Embedding Correctness (statement). In CPYWHRTPKC/e1, lemma 2.14
History
- 2026-10-27: add by m2/v0.4.2
Eugene Bogomolny 8T7GC1XTRS
| URI | m2://inv/8T7GC1XTRS |
|---|---|
| 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 Q15453849, Eugene Bogomolny (unknown). Also nLab Eugene Bogomolny
History
- 2026-10-26: add by m2/dev
John Corcoran 8T7VWPZ3FY
| URI | m2://inv/8T7VWPZ3FY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Corcoran (logician), John Corcoran (topic). Also Wikidata Q1699663
History
- 2026-11-02: add by m2/dev
Intrinsic volumes 8T805AP005
| URI | m2://inv/8T805AP005 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed volume#HVH9, Intrinsic volumes (unknown)
History
- 2026-11-02: add by m2/dev
Tellegen's theorem 8T830J2JFX
| URI | m2://inv/8T830J2JFX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tellegen's theorem, Tellegen's theorem (statement). Also Wikidata Q913327
History
- 2026-11-02: add by m2/dev
Cramer’s Rule 8T83W18R9F
| URI | m2://inv/8T83W18R9F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 97, Cramer’s Rule (statement). Also Mathlib Matrix.mulVec_cramer
History
- 2026-10-26: add by m2/dev
Talagrand's convexity conjecture 8T89AT79XX
| URI | m2://inv/8T89AT79XX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#MP5D, Talagrand's convexity conjecture (unknown)
History
- 2026-11-02: add by m2/dev
One common period for the next layer 8T8N78KMNN
| URI | m2://inv/8T8N78KMNN |
|---|---|
| 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.06925#BBVU, One common period for the next layer (statement). In P0NV7337EK/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Applications 8T8N8BMCTC
| URI | m2://inv/8T8N8BMCTC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy–Ramanujan–Littlewood circle method#DVCD, Applications (example)
History
- 2026-11-02: add by m2/dev
Monique Jeanblanc 8T8W13NHVJ
| URI | m2://inv/8T8W13NHVJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monique Jeanblanc, Monique Jeanblanc (topic). Also Wikidata Q3320859
History
- 2026-11-02: add by m2/dev
Trigonometric moment problem 8T90XW94S4
| URI | m2://inv/8T90XW94S4 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric moment problem, Trigonometric moment problem (problem). Also Wikidata Q7841830
History
- 2026-11-02: add by m2/dev
Dabrowski 8T97GAHXFM
| URI | m2://inv/8T97GAHXFM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-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.22109#0ABM, Dabrowski (statement). In MZ60NP20BH/e1, lemma 2.15
History
- 2026-10-27: add by m2/v0.4.0
Definitions 8T99GBPWEA
| URI | m2://inv/8T99GBPWEA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aanderaa–Karp–Rosenberg conjecture#2QUA, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Properties 8T9F1DX8TE
| URI | m2://inv/8T9F1DX8TE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supercompact cardinal#MAI2, Properties (statement)
History
- 2026-11-02: add by m2/dev
Olli Lehto 8T9GTSXRGJ
| URI | m2://inv/8T9GTSXRGJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olli Lehto, Olli Lehto (topic). Also Wikidata Q1459204
History
- 2026-11-02: add by m2/dev
8T9JHZK16W 8T9JHZK16W
| URI | m2://inv/8T9JHZK16W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26410#7HR8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Perron number 8T9K7NKDXZ
| URI | m2://inv/8T9K7NKDXZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perron number, Perron number (definition). Also Wikidata Q7169663
History
- 2026-11-02: add by m2/dev
Finite obstruction bound 8T9QSBW0FR
| URI | m2://inv/8T9QSBW0FR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40054#OSLH, Finite obstruction bound (statement). In CA4C9PFM1E/e1, lemma 4.1.6
History
- 2026-10-30: add by m2/v0.4.12
Applications 8T9X1A8BY3
| URI | m2://inv/8T9X1A8BY3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Explicit formulae for L-functions#WCRD, Applications (example)
History
- 2026-11-02: add by m2/dev
8T9XSMP8QW 8T9XSMP8QW
| URI | m2://inv/8T9XSMP8QW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#D3FB (statement)
History
- 2026-11-02: add by m2/v0.6.18
Ernst Witt 8TA6384J3E
| URI | m2://inv/8TA6384J3E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#O0ZB, Ernst Witt (topic)
History
- 2026-11-02: add by m2/dev
8TA93GH06M 8TA93GH06M
| URI | m2://inv/8TA93GH06M |
|---|---|
| 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 2011.14561#7O8G (statement). In V2XJJJX1Z8/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.3.5
8TAAH6N5X4 8TAAH6N5X4
| URI | m2://inv/8TAAH6N5X4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04466#SUWA (statement). In EHW82CK883/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
Recursion formula 8TACRAG858
| URI | m2://inv/8TACRAG858 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appell sequence#OY1X, Recursion formula (statement)
History
- 2026-11-02: add by m2/dev
Heinrich Guggenheimer 8TAFC0AM1H
| URI | m2://inv/8TAFC0AM1H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heinrich Guggenheimer, Heinrich Guggenheimer (topic). Also Wikidata Q5700124
History
- 2026-11-02: add by m2/dev
Planck length 8TAG3HHTSB
| URI | m2://inv/8TAG3HHTSB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q207387, Planck length (unknown). Also nLab Planck length
History
- 2026-10-26: add by m2/dev
Lee-Jen Wei 8TAQCRQRFP
| URI | m2://inv/8TAQCRQRFP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#T7CN, Lee-Jen Wei (topic)
History
- 2026-11-02: add by m2/dev
Hermite constant 8TAQQQ8KZ3
| URI | m2://inv/8TAQQQ8KZ3 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#HXEE, Hermite constant (object)
History
- 2026-11-02: add by m2/dev
8TB0GNY11A 8TB0GNY11A
| URI | m2://inv/8TB0GNY11A |
|---|---|
| Kind | definition |
| 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 2609.36444#LQ0I (definition). In 4DJE72VPJP/e1, definition 3.7
History
- 2026-10-30: add by m2/v0.4.12
Exponential sum 8TB4PRKQGR
| URI | m2://inv/8TB4PRKQGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#5642, Exponential sum (definition)
History
- 2026-11-02: add by m2/dev
8TB8RV6Q41 8TB8RV6Q41
| URI | m2://inv/8TB8RV6Q41 |
|---|---|
| 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.06806#JVPG (statement). In ZZQT0GFMT2/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.10
International symbol notation 8TBEPPYESH
| URI | m2://inv/8TBEPPYESH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space group#V1N7, International symbol notation (definition)
History
- 2026-11-02: add by m2/dev
8TBERBTR9Q 8TBERBTR9Q
| URI | m2://inv/8TBERBTR9Q |
|---|---|
| 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.16875#S3DO (statement). In KS30K5JXGB/e1, lemma A.5
History
- 2026-10-28: add by m2/v0.4.2
Mukund Rangamani 8TBG3ETEA5
| URI | m2://inv/8TBG3ETEA5 |
|---|---|
| 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 Q59555099, Mukund Rangamani (unknown). Also nLab Mukund Rangamani
History
- 2026-10-26: add by m2/dev
Formula 8TBH4X2AV5
| URI | m2://inv/8TBH4X2AV5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamilton–Jacobi equation#R8R7, Formula (statement)
History
- 2026-11-02: add by m2/dev
Exterior Crossing-and-Seam Corollary 8TBJT2KMS9
| URI | m2://inv/8TBJT2KMS9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22465#IT8Z, Exterior Crossing-and-Seam Corollary (statement)
History
- 2026-11-02: add by m2/v0.6.17
8TBKTV77MZ 8TBKTV77MZ
| URI | m2://inv/8TBKTV77MZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#proof-22 (proof). In E59CDZA4DP, proof, section 10.4
History
- 2026-11-01: add by m2/v0.6.13
8TBP7S07JQ 8TBP7S07JQ
| URI | m2://inv/8TBP7S07JQ |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18544#5A8R (conjecture). In HT5MC1SPD9/e1, conjecture 1.1
History
- 2026-10-28: add by m2/v0.4.2
ADM split 8TBTWV6J76
| URI | m2://inv/8TBTWV6J76 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ADM formalism#PDEZ, ADM split (unknown)
History
- 2026-11-02: add by m2/dev
commutative ring 8TBXHGR34M
| URI | m2://inv/8TBXHGR34M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Commutative ring 0310REJJY8 |
Mentions
- wikidata: Wikidata Q858656, commutative ring (unknown). Also Mathlib CommRing, MathWorld CommutativeRing
- wikipedia: Wikipedia Commutative ring, Commutative ring (definition). Also Wikidata Q858656
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Gibbs criterion 8TC7J4FQFV
| URI | m2://inv/8TC7J4FQFV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maxwell construction#SLFU, Gibbs criterion (statement)
History
- 2026-11-02: add by m2/dev
8TCAMXR74E 8TCAMXR74E
| URI | m2://inv/8TCAMXR74E |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#HFK6 (unknown). In 4YJH4FPWDA/e1, unknown 3.4
History
- 2026-10-30: add by m2/v0.4.12
*{Theorem 4.20 8TCB826M4S
| URI | m2://inv/8TCB826M4S |
|---|---|
| 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.23341#L4YA, *{Theorem 4.20 (statement)
History
- 2026-11-02: add by m2/v0.6.17
8TCDP7PE4T 8TCDP7PE4T
| URI | m2://inv/8TCDP7PE4T |
|---|---|
| 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 2609.26262#OCR5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
8TCNP0ZK8T 8TCNP0ZK8T
| URI | m2://inv/8TCNP0ZK8T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#JXBJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Comparison with one product distribution 8TCPA2EFRP
| URI | m2://inv/8TCPA2EFRP |
|---|---|
| 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.19908#AZYI, Comparison with one product distribution (statement)
History
- 2026-11-02: add by m2/v0.6.18
8TCQCXVK08 8TCQCXVK08
| URI | m2://inv/8TCQCXVK08 |
|---|---|
| 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.21752#FN9B (statement). In E4DJTPKHAX/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.4.2
coastline paradox 8TCW4KMGHB
| URI | m2://inv/8TCW4KMGHB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1797373, coastline paradox (unknown). Also MathWorld CoastlineParadox
- wikipedia: Wikipedia Coastline paradox, Coastline paradox (statement). Also Wikidata Q1797373
History
- 2026-10-26: add by m2/dev
Affine-invariant initialization 8TCW5GYJFV
| URI | m2://inv/8TCW5GYJFV |
|---|---|
| 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.21880#NTGO, Affine-invariant initialization (statement)
History
- 2026-11-02: add by m2/v0.6.18
8TD0BKQJFM 8TD0BKQJFM
| URI | m2://inv/8TD0BKQJFM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.15771#SYL4 (statement). In F2243YZX7A/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
8TD0ZH03CH 8TD0ZH03CH
| URI | m2://inv/8TD0ZH03CH |
|---|---|
| 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#GE4Y (statement). In 8MDK189ZMB/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.12
I = PAT 8TDF6E91D6
| URI | m2://inv/8TDF6E91D6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia I = PAT, I = PAT (definition). Also Wikidata Q5975803
History
- 2026-11-02: add by m2/dev
8TDJY8RWC0 8TDJY8RWC0
| URI | m2://inv/8TDJY8RWC0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34020#HU78 (example). In DAMYG8BFAK/e1, example 2.1
History
- 2026-10-30: add by m2/v0.4.12
Definition 8TDTJTHNDH
| URI | m2://inv/8TDTJTHNDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lieb's square ice constant#8L9U, Definition (definition)
History
- 2026-11-02: add by m2/dev
Albert Henry Mowbray 8TDWWT0KZV
| URI | m2://inv/8TDWWT0KZV |
|---|---|
| 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#1LNQ, Albert Henry Mowbray (unknown)
History
- 2026-11-02: add by m2/dev
Junction-tree formulation 8TE60QT2VF
| URI | m2://inv/8TE60QT2VF |
|---|---|
| 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.04027#EQPX, Junction-tree formulation (statement). In DQB4YR2DFH/e1, proposition 9.2
History
- 2026-10-29: add by m2/v0.4.12
8TE6RAKG8J 8TE6RAKG8J
| URI | m2://inv/8TE6RAKG8J |
|---|---|
| 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.30544#43G5 (statement). In CB35ZBBBPT/e1, corollary 3.15
History
- 2026-10-31: add by m2/v0.5.6
Structure theorem for commutative semigroups 8TEDRHYKJP
| URI | m2://inv/8TEDRHYKJP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semigroup#IT1W, Structure theorem for commutative semigroups (statement)
History
- 2026-11-02: add by m2/dev
8TEKZXSXMJ 8TEKZXSXMJ
| URI | m2://inv/8TEKZXSXMJ |
|---|---|
| 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#E66G (statement). In 7REABAAQED/e1, proposition
History
- 2026-10-27: add by m2/v0.4.0
Well formed formula 8TENAP330J
| URI | m2://inv/8TENAP330J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recursive definition#SFXJ, Well formed formula (statement)
History
- 2026-11-02: add by m2/dev
Theorem 8TEPXFKD4Y
| URI | m2://inv/8TEPXFKD4Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entanglement witness#RP3H, Theorem (statement)
History
- 2026-11-02: add by m2/dev
8TERGFRB1M 8TERGFRB1M
| URI | m2://inv/8TERGFRB1M |
|---|---|
| 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.03497#RXFT (definition). In RRNHC0CAC9/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
8TES30M3DN 8TES30M3DN
| URI | m2://inv/8TES30M3DN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 1507.03803#QPO6 (statement). In MMJT4R2MSS/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Robert Connelly 8TEZS3K9CX
| URI | m2://inv/8TEZS3K9CX |
|---|---|
| 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 Q3672706, Robert Connelly (unknown). Also nLab Robert Connelly
History
- 2026-10-26: add by m2/dev
Properties 8TF5E7PX14
| URI | m2://inv/8TF5E7PX14 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial matrix#YLWD, Properties (statement)
History
- 2026-11-02: add by m2/dev
8TFGKSAMNN 8TFGKSAMNN
| URI | m2://inv/8TFGKSAMNN |
|---|---|
| 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 math/9901049#M6XC (statement). In SAVNP6BB03/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
8TFPMEVYB0 8TFPMEVYB0
| URI | m2://inv/8TFPMEVYB0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38548#UAHC (definition). In Z7ZFV3HM1S/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
$C^1$ weighted $C^{(1,2)}$ Hawking singularity theorem, version 2 8TFRHA0XFR
| URI | m2://inv/8TFRHA0XFR |
|---|---|
| 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 2610.11911#VG75, $C^1$ weighted $C^{(1,2)}$ Hawking singularity theorem, version 2 (statement). In 5BYE5NYB89/e1, theorem 1.8
History
- 2026-10-28: add by m2/v0.4.3
Gauss–Bonnet theorem 8TG24TATMT
| URI | m2://inv/8TG24TATMT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5ECX, Gauss–Bonnet theorem (statement)
History
- 2026-11-02: add by m2/dev
8TG2FNW2E9 8TG2FNW2E9
| URI | m2://inv/8TG2FNW2E9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#2EFL (statement). In JWNYJVH8XG/e1, theorem 6.9
History
- 2026-10-29: add by m2/v0.4.10
8TG32E2WV9 8TG32E2WV9
| URI | m2://inv/8TG32E2WV9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22317#WRFU (definition). In 2W5Z97BBW4/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.4.0
Standard tolerance 8TG3KR8VWF
| URI | m2://inv/8TG3KR8VWF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Engineering tolerance#WLZG, Standard tolerance (unknown)
History
- 2026-11-02: add by m2/dev
8TG5RR2VK1 8TG5RR2VK1
| URI | m2://inv/8TG5RR2VK1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22218#WMY4 (statement). In 338GKREFVP/e1, lemma 53
History
- 2026-10-27: add by m2/v0.4.0
Generalizations 8TG9QPBHD6
| URI | m2://inv/8TG9QPBHD6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler substitution#9I36, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
8TGNQQ332D 8TGNQQ332D
| URI | m2://inv/8TGNQQ332D |
|---|---|
| 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.24878#ZSK7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
8TGNYB6RTZ 8TGNYB6RTZ
| URI | m2://inv/8TGNYB6RTZ |
|---|---|
| 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 2212.11038#04KY (statement). In M3E3ARMJXK/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
8TGSHJWZK8 8TGSHJWZK8
| URI | m2://inv/8TGSHJWZK8 |
|---|---|
| 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 2507.05417#H2S3 (statement). In RGHZ863Q26/e1, corollary 3.24
History
- 2026-10-27: add by m2/v0.3.5
resummation 8TH02R7KCY
| URI | m2://inv/8TH02R7KCY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17105514, resummation (unknown). Also nLab resummation
History
- 2026-10-26: add by m2/dev
August Beer 8TH4WTACW3
| URI | m2://inv/8TH4WTACW3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#UP1Z, August Beer (topic)
History
- 2026-11-02: add by m2/dev
8TH8XAMY0Z 8TH8XAMY0Z
| URI | m2://inv/8TH8XAMY0Z |
|---|---|
| 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.17602#I3M1 (statement). In BH62508WHJ/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.2
Kent distribution 8TH9X4VK9F
| URI | m2://inv/8TH9X4VK9F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#3LOQ, Kent distribution (definition)
History
- 2026-11-02: add by m2/dev
8THAGG4F8H 8THAGG4F8H
| URI | m2://inv/8THAGG4F8H |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#proof-13 (proof). In E59CDZA4DP, proof, section 2.3.2
History
- 2026-11-01: add by m2/v0.6.13
8THHMTAXRX 8THHMTAXRX
| URI | m2://inv/8THHMTAXRX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/pairs-and-products.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 82.5
History
- 2026-11-01: add by m2/v0.6.13
Examples 8THPZ6DX6N
| URI | m2://inv/8THPZ6DX6N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monad (category theory)#R69Z, Examples (example)
History
- 2026-11-02: add by m2/dev
8THQN8TS1S 8THQN8TS1S
| URI | m2://inv/8THQN8TS1S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.08196#EHTS (statement). In 8QVWZ23N42/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.10
Criteria for distributions expected and not expected to obey Benford's law 8THV2EM38A
| URI | m2://inv/8THV2EM38A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benford's law#LJS5, Criteria for distributions expected and not expected to obey Benford's law (statement)
History
- 2026-11-02: add by m2/dev
8TJ3KAW8FY 8TJ3KAW8FY
| URI | m2://inv/8TJ3KAW8FY |
|---|---|
| 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 2609.36884#O4UA (definition). In Z7E16PFFCP/e1, definition 3.30
History
- 2026-10-30: add by m2/v0.4.12
8TJ9REC4BQ 8TJ9REC4BQ
| URI | m2://inv/8TJ9REC4BQ |
|---|---|
| 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.28803#ARMG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 8TJCZMYZ2J
| URI | m2://inv/8TJCZMYZ2J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Typical set#XSMG, Properties (statement)
History
- 2026-11-02: add by m2/dev
8TJGARSNP0 8TJGARSNP0
| URI | m2://inv/8TJGARSNP0 |
|---|---|
| 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 2512.07340#JRI5 (statement). In WXE3PVAZBT/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
tetractys 8TJRF7W2C1
| URI | m2://inv/8TJRF7W2C1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q609359, tetractys (definition). Also ProofWiki Definition:Tetractys
- wikipedia: Wikipedia Tetractys, Tetractys (definition). Also Wikidata Q609359
History
- 2026-10-26: add by m2/dev
8TK5J957J6 8TK5J957J6
| URI | m2://inv/8TK5J957J6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.05451#N04X (statement). In 5YMFYAFFJ7/e1, theorem A
History
- 2026-10-27: add by m2/v0.3.5
meromorphic functions 8TKC3Q5VRG
| URI | m2://inv/8TKC3Q5VRG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > meromorphic functions, meromorphic functions (unknown)
History
- 2026-10-26: add by m2/dev
Lifting path modules 8TKDYBHZB2
| URI | m2://inv/8TKDYBHZB2 |
|---|---|
| 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 2609.36444#7T10, Lifting path modules (statement). In 4DJE72VPJP/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Elias Stein 8TKE3C34NT
| URI | m2://inv/8TKE3C34NT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#AGZR, Elias Stein (topic)
History
- 2026-11-02: add by m2/dev
Stark conjectures 8TKGB7MY8B
| URI | m2://inv/8TKGB7MY8B |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stark conjectures, Stark conjectures (conjecture). Also Wikidata Q7601982
History
- 2026-11-02: add by m2/dev
Kerr--Lewis 8TKRV8GPX6
| URI | m2://inv/8TKRV8GPX6 |
|---|---|
| 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 1805.04646#XME2, Kerr--Lewis (statement). In WDDY7P9T66/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
8TM5K48DF2 8TM5K48DF2
| URI | m2://inv/8TM5K48DF2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#1ITQ (statement). In JW8HH6EPG2/e1, lemma 3.32
History
- 2026-10-29: add by m2/v0.4.10
8TM63BFB8X 8TM63BFB8X
| URI | m2://inv/8TM63BFB8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31476#825P (statement). In PC1CFE8CJC/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
Applications 8TM8RREZ1Z
| URI | m2://inv/8TM8RREZ1Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorenz system#HME7, Applications (example)
History
- 2026-11-02: add by m2/dev
Adaptive exposure bound 8TMBSRAVQS
| URI | m2://inv/8TMBSRAVQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00448#N6Y4, Adaptive exposure bound (statement). In N06J7GC05Q/e1, lemma E.1
History
- 2026-10-30: add by m2/v0.4.12
8TMF1Z30KG 8TMF1Z30KG
| URI | m2://inv/8TMF1Z30KG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#1K5Q (statement). In JWNYJVH8XG/e1, corollary 2.21
History
- 2026-10-29: add by m2/v0.4.10
8TMGNW23P2 8TMGNW23P2
| URI | m2://inv/8TMGNW23P2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40251#CRVA (example). In 9J7TJYKGYX/e1, example 6.9
History
- 2026-10-30: add by m2/v0.4.12
Erez Petrank 8TMKM1M1G5
| URI | m2://inv/8TMKM1M1G5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XAPF, Erez Petrank (unknown)
History
- 2026-11-02: add by m2/dev
Euler function 8TMMSQ3G1Q
| URI | m2://inv/8TMMSQ3G1Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#LFB1, Euler function (definition)
History
- 2026-11-02: add by m2/dev
Chang Shih-Hsun 8TMNCWWEW4
| URI | m2://inv/8TMNCWWEW4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chang Shih-Hsun, Chang Shih-Hsun (topic). Also Wikidata Q125127236
History
- 2026-11-02: add by m2/dev
Universal embedding theorem 8TMR5G2JDB
| URI | m2://inv/8TMR5G2JDB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wreath product#6YA0, Universal embedding theorem (statement)
History
- 2026-11-02: add by m2/dev
Ko Honda 8TMXA2D2E2
| URI | m2://inv/8TMXA2D2E2 |
|---|---|
| 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#WXDJ, Ko Honda (unknown)
History
- 2026-11-02: add by m2/dev
Cryptologia 8TN2Q7QGTZ
| URI | m2://inv/8TN2Q7QGTZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptologia, Cryptologia (definition). Also Wikidata Q1142292
History
- 2026-11-02: add by m2/dev
8TN44MNQCH 8TN44MNQCH
| URI | m2://inv/8TN44MNQCH |
|---|---|
| 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 2405.10580#DZ7I (statement). In FXEJE0PWEP/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
General definition 8TNKQKWWNP
| URI | m2://inv/8TNKQKWWNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian period#J9UV, General definition (definition)
History
- 2026-11-02: add by m2/dev
Definitions 8TNP0DES67
| URI | m2://inv/8TNP0DES67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gowers' theorem#B6HV, Definitions (definition)
History
- 2026-11-02: add by m2/dev
8TNQQYQTGX 8TNQQYQTGX
| URI | m2://inv/8TNQQYQTGX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23518#TJQ6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Topological quantum field theory 8TP1JAPNS4
| URI | m2://inv/8TP1JAPNS4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#O6FY, Topological quantum field theory (topic)
History
- 2026-11-02: add by m2/dev
8TP59TVW5V 8TP59TVW5V
| URI | m2://inv/8TP59TVW5V |
|---|---|
| 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 2106.01660#Q2N8 (statement). In DY520CF58X/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
8TPBRVCR5R 8TPBRVCR5R
| URI | m2://inv/8TPBRVCR5R |
|---|---|
| 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 2609.30323#FLJN (definition). In HDJ6N25XVT/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
8TPE5V58CC 8TPE5V58CC
| URI | m2://inv/8TPE5V58CC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-14 (definition). In VNMV985MXX, defn, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
8TPRAJP886 8TPRAJP886
| URI | m2://inv/8TPRAJP886 |
|---|---|
| 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 2212.05398#YEC6 (statement). In WQKQ8438M7/e1, theorem 1.10
History
- 2026-10-27: add by m2/v0.3.5
8TPV3G6AHZ 8TPV3G6AHZ
| URI | m2://inv/8TPV3G6AHZ |
|---|---|
| Kind | example |
| 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#63RD (example). In M0SQY5EZN5/e1, example 4.5.3
History
- 2026-10-27: add by m2/v0.3.5
Deborah F. Swayne 8TQD22YD42
| URI | m2://inv/8TQD22YD42 |
|---|---|
| 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#O2C5, Deborah F. Swayne (unknown)
History
- 2026-11-02: add by m2/dev
8TQF6H135C 8TQF6H135C
| URI | m2://inv/8TQF6H135C |
|---|---|
| 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.30892#ZYCL (statement). In F7C1RM5VA4/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
Jaume Gomis 8TQKRVY621
| URI | m2://inv/8TQKRVY621 |
|---|---|
| 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 Q63801285, Jaume Gomis (unknown). Also nLab Jaume Gomis
History
- 2026-10-26: add by m2/dev
Contour set 8TQNGTN317
| URI | m2://inv/8TQNGTN317 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contour set, Contour set (definition). Also Wikidata Q1771575
History
- 2026-11-02: add by m2/dev
induction>, double 8TQS6VBJ8F
| URI | m2://inv/8TQS6VBJ8F |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3.5/induction-double, induction>, double (concept). In Y91XFCEVHQ, index, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
8TQSYMRRYQ 8TQSYMRRYQ
| URI | m2://inv/8TQSYMRRYQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-5 (proof). In VNMV985MXX, proof, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
8TR5ZTVCF6 8TR5ZTVCF6
| URI | m2://inv/8TR5ZTVCF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21552#NPL1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
socle 8TR7B6Q2EN
| URI | m2://inv/8TR7B6Q2EN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#4YCM, socle (definition)
History
- 2026-11-02: add by m2/dev
ultrafilter 8TR7GEFQC2
| URI | m2://inv/8TR7GEFQC2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1571831, ultrafilter (concept). Also EoM Ultrafilter, MathWorld Ultrafilter, nLab ultrafilter
- wikipedia: Wikipedia Ultrafilter, Ultrafilter (definition). Also Wikidata Q1571831
History
- 2026-10-26: add by m2/dev
\textbf{Consistent recovery of the extrinsic embedding class and sampling density from fixed-bandwidth graph Laplace operators 8TR9S5SDCC
| URI | m2://inv/8TR9S5SDCC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.17032#79TV, \textbf{Consistent recovery of the extrinsic embedding class and sampling density from fixed-bandwidth graph Laplace operators (statement). In MXPK9A2HK2/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
q-Vandermonde identity 8TRBZFM8PE
| URI | m2://inv/8TRBZFM8PE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of q-analogs#V7QL, q-Vandermonde identity (statement)
History
- 2026-11-02: add by m2/dev
8TRJJSZ2ZN 8TRJJSZ2ZN
| URI | m2://inv/8TRJJSZ2ZN |
|---|---|
| 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.14135#WNSR (statement). In C304J64Q79/e1, corollary 4.2
History
- 2026-10-28: add by m2/v0.4.2
8TRTT8W53A 8TRTT8W53A
| URI | m2://inv/8TRTT8W53A |
|---|---|
| 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.07673#YEOF (statement). In 37B1MPV8GX/e1, proposition 7.6
History
- 2026-10-29: add by m2/v0.4.10
Thomson problem 8TRV4GE4JD
| URI | m2://inv/8TRV4GE4JD |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#AULT, Thomson problem (conjecture)
History
- 2026-11-02: add by m2/dev
Minkowski space 8TS8GM7F8S
| URI | m2://inv/8TS8GM7F8S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of vector spaces in mathematics#3CI6, Minkowski space (definition)
- wikipedia: Wikipedia List of mathematical topics in relativity#V73G, Minkowski space (definition)
History
- 2026-11-02: add by m2/dev
8TSC6XK4E7 8TSC6XK4E7
| URI | m2://inv/8TSC6XK4E7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.34193#7XMC (statement). In 9XMZTTSF5E/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
Matt Keeling 8TSDJQV7RB
| URI | m2://inv/8TSDJQV7RB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matt Keeling, Matt Keeling (topic). Also Wikidata Q41045046
History
- 2026-11-02: add by m2/dev
Weak regularity 8TSFQMMA0Y
| URI | m2://inv/8TSFQMMA0Y |
|---|---|
| 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 2606.02312#13WE, Weak regularity (statement). In 1SZV94R22Y/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Notation 8TSJV717VK
| URI | m2://inv/8TSJV717VK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical constant#RSU0, Notation (definition)
History
- 2026-11-02: add by m2/dev
8TSK0ZB03N 8TSK0ZB03N
| URI | m2://inv/8TSK0ZB03N |
|---|---|
| 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.07285#JYXJ (statement). In S284XRA4WK/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
8TSK7KDT5H 8TSK7KDT5H
| URI | m2://inv/8TSK7KDT5H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#0BHP (definition)
History
- 2026-11-02: add by m2/v0.6.17
Formulation 8TSKKJCKEG
| URI | m2://inv/8TSKKJCKEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2D rotation#OQIJ, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Representations 8TSQ22ZHFR
| URI | m2://inv/8TSQ22ZHFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathieu group M22#KMXB, Representations (definition)
History
- 2026-11-02: add by m2/dev
Deadbeat control under additive disturbances 8TSX1ZXRFM
| URI | m2://inv/8TSX1ZXRFM |
|---|---|
| Kind | example |
| 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.00660#VEBA, Deadbeat control under additive disturbances (example). In FF8A8FP4FB/e1, example 2
History
- 2026-10-30: add by m2/v0.4.12
Examples 8TSZYCQWQ1
| URI | m2://inv/8TSZYCQWQ1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetry in problem solving#OY9H, Examples (example)
History
- 2026-11-02: add by m2/dev
CMC criterion 8TT6Z6H629
| URI | m2://inv/8TT6Z6H629 |
|---|---|
| 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.20197#N3OA, CMC criterion (statement)
History
- 2026-11-02: add by m2/v0.6.18
8TT8A43D8Y 8TT8A43D8Y
| URI | m2://inv/8TT8A43D8Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17482#Y3P9 (definition). In BQQK9JDJ9F/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
Examples 8TTDJT70DD
| URI | m2://inv/8TTDJT70DD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal cone (algebraic geometry)#2R6R, Examples (example)
History
- 2026-11-02: add by m2/dev
8TTG52XJEW 8TTG52XJEW
| URI | m2://inv/8TTG52XJEW |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#5NO5 (unknown). In 1QSCT53ZED/e1, unknown 1.3
History
- 2026-10-27: add by m2/v0.4.0
WikiSort 8TTMX8NN0A
| URI | m2://inv/8TTMX8NN0A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Merge sort#FP1K, WikiSort (unknown)
History
- 2026-11-02: add by m2/dev
8TV006PP2J 8TV006PP2J
| URI | m2://inv/8TV006PP2J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-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 2504.07573#SLBQ (statement). In 78X5SKJX8J/e1, proposition 1.7
History
- 2026-10-27: add by m2/v0.3.5
Sazonov's theorem 8TV1QK5KRE
| URI | m2://inv/8TV1QK5KRE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5BVH, Sazonov's theorem (statement)
History
- 2026-11-02: add by m2/dev
8TV5Q5ZQEM 8TV5Q5ZQEM
| URI | m2://inv/8TV5Q5ZQEM |
|---|---|
| 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 2610.13833#Y5UO (problem). In VD4JP4HVBX/e1, problem 6
History
- 2026-10-28: add by m2/v0.4.2
Applications 8TV9SE848H
| URI | m2://inv/8TV9SE848H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bipolar cylindrical coordinates#BOVN, Applications (example)
History
- 2026-11-02: add by m2/dev
8TVA00G2N7 8TVA00G2N7
| URI | m2://inv/8TVA00G2N7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2406.13841#7BLT (statement). In AB2EMMXC7X/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
David Gans 8TVGYDVVR2
| URI | m2://inv/8TVGYDVVR2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#GSSX, David Gans (unknown)
History
- 2026-11-02: add by m2/dev
8TVMCZMAHY 8TVMCZMAHY
| URI | m2://inv/8TVMCZMAHY |
|---|---|
| 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 2404.18704#ICIB (definition). In T4MQVXFGWC/e1, definition II.5
History
- 2026-10-27: add by m2/v0.3.5
8TW42V1EDG 8TW42V1EDG
| URI | m2://inv/8TW42V1EDG |
|---|---|
| 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#78L8 (statement). In GXHKRV5BPY/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Kähler differential 8TW9AAC94D
| URI | m2://inv/8TW9AAC94D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Kähler differentials 7HCFARHG7D |
Mentions
- wikidata: Wikidata Q1609490, Kähler differential (concept). Also nLab Kähler differential
- wikipedia: Wikipedia Kähler differential, Kähler differential (definition). Also Wikidata Q1609490
History
- 2026-10-26: add by m2/dev
8TWB4HJERN 8TWB4HJERN
| URI | m2://inv/8TWB4HJERN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37747#R6I4 (statement). In GEYDNVZEP7/e1, theorem A.7
History
- 2026-10-30: add by m2/v0.4.12
8TWEZFKTMQ 8TWEZFKTMQ
| URI | m2://inv/8TWEZFKTMQ |
|---|---|
| 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.07828#20GD (statement). In TWGMVT1N1G/e1, lemma 8.1
History
- 2026-10-29: add by m2/v0.4.10
8TWM94RDNA 8TWM94RDNA
| URI | m2://inv/8TWM94RDNA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.26479#LIWL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statistical benchmarking 8TWX9JCKBV
| URI | m2://inv/8TWX9JCKBV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#A6VZ, Statistical benchmarking (definition)
History
- 2026-11-02: add by m2/dev
8TX2J481B9 8TX2J481B9
| URI | m2://inv/8TX2J481B9 |
|---|---|
| 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.13260#7E4B (statement). In ZBQX9341RV/e1, theorem 6.8
History
- 2026-10-28: add by m2/v0.4.2
pragmatics 8TX627JX24
| URI | m2://inv/8TX627JX24 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#1IOS, pragmatics (definition)
History
- 2026-11-02: add by m2/dev
8TX66E0B72 8TX66E0B72
| URI | m2://inv/8TX66E0B72 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#defn:satisfaction (definition). In PKGMM3P5QY, defn, section 19.4
History
- 2026-11-01: add by m2/v0.6.13
Omnitruncated tesseractic honeycomb 8TX6TW4WGZ
| URI | m2://inv/8TX6TW4WGZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omnitruncated tesseractic honeycomb, Omnitruncated tesseractic honeycomb (definition). Also Wikidata Q17077763
History
- 2026-11-02: add by m2/dev
Hadwiger conjecture 8TXBHSC5NC
| URI | m2://inv/8TXBHSC5NC |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hadwiger conjecture 35NNSXJB1K |
Mentions
- wikidata: Wikidata Q1128435, Hadwiger conjecture (conjecture). Also MathWorld HadwigerConjecture
- wikipedia: Wikipedia Hadwiger conjecture (graph theory), Hadwiger conjecture (conjecture). Also Wikidata Q1128435
History
- 2026-10-26: add by m2/dev
8TXE0D23KJ 8TXE0D23KJ
| URI | m2://inv/8TXE0D23KJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04434#5FEW (statement). In EY0QS456EC/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Horn function 8TXEEWMQDV
| URI | m2://inv/8TXEEWMQDV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17027577, Horn function (unknown). Also MathWorld HornFunction
- wikipedia: Wikipedia Horn function, Horn function (definition). Also Wikidata Q17027577
History
- 2026-10-26: add by m2/dev
Example 8TXR5TYPK5
| URI | m2://inv/8TXR5TYPK5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Munn semigroup#SABR, Example (example)
History
- 2026-11-02: add by m2/dev
8TXR8QXA0Q 8TXR8QXA0Q
| URI | m2://inv/8TXR8QXA0Q |
|---|---|
| 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.40023#I07U (statement). In JW9ARS9AQE/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
8TXTM71GJT 8TXTM71GJT
| URI | m2://inv/8TXTM71GJT |
|---|---|
| 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#2IHS (statement). In TFH7T63DX9/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
5-simplex 8TY310HD04
| URI | m2://inv/8TY310HD04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#IH2S, 5-simplex (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#PENR, 5-simplex (definition)
History
- 2026-11-02: add by m2/dev
Conjugate gradient method 8TY47RQAET
| URI | m2://inv/8TY47RQAET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#55ED, Conjugate gradient method (definition)
History
- 2026-11-02: add by m2/dev
Examples and counterexamples 8TY74N39Y9
| URI | m2://inv/8TY74N39Y9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal polyhedron#DIGD, Examples and counterexamples (example)
History
- 2026-11-02: add by m2/dev
\textbf{Non-asymptotic error bound of Euler-type ULMC under log-concavity 8TY80ZSGJA
| URI | m2://inv/8TY80ZSGJA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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 2609.20713#9JSU, \textbf{Non-asymptotic error bound of Euler-type ULMC under log-concavity (statement)
History
- 2026-11-02: add by m2/v0.6.18
in $\ZF$ 8TY82YE950
| URI | m2://inv/8TY82YE950 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/choice/wellorderingproblem.tex#thmwochoice, in $\ZF$ (statement). In PKGMM3P5QY, thm, section 71.7
History
- 2026-11-01: add by m2/v0.6.13
8TY9EVVD77 8TY9EVVD77
| URI | m2://inv/8TY9EVVD77 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#ex:add-ordinals (exercise). In N54F33XE07, ex, section C.5
History
- 2026-11-01: add by m2/v0.6.13
8TYADA29X3 8TYADA29X3
| URI | m2://inv/8TYADA29X3 |
|---|---|
| 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 2609.32816#AC6P (definition). In 10YV2P9E8W/e1, definition 4.7
History
- 2026-10-31: add by m2/v0.5.6
Independent dominating set 8TYMVM20HK
| URI | m2://inv/8TYMVM20HK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Independent dominating set, Independent dominating set (definition). Also Wikidata Q138529530
History
- 2026-11-02: add by m2/dev
Herbert Seifert 8TYQFFXVJT
| URI | m2://inv/8TYQFFXVJT |
|---|---|
| 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#H6NA, Herbert Seifert (topic)
- wikipedia: Wikipedia List of German mathematicians#4OYU, Herbert Seifert (topic)
History
- 2026-11-02: add by m2/dev
filter 8TYWJT0QJ2
| URI | m2://inv/8TYWJT0QJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of forcing notions#4S6U, filter (definition)
History
- 2026-11-02: add by m2/dev
8TZ2CPA645 8TZ2CPA645
| URI | m2://inv/8TZ2CPA645 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38556#WVX4 (statement). In GC2H0HS7ZM/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
8TZ5780K9Q 8TZ5780K9Q
| URI | m2://inv/8TZ5780K9Q |
|---|---|
| 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#4JMK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Eugénie Hunsicker 8TZBRN7ETN
| URI | m2://inv/8TZBRN7ETN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eugénie Hunsicker, Eugénie Hunsicker (topic). Also Wikidata Q60027458
History
- 2026-11-02: add by m2/dev
Implementations 8TZEBHTJA7
| URI | m2://inv/8TZEBHTJA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurst exponent#GHZO, Implementations (definition)
History
- 2026-11-02: add by m2/dev
8TZHMWXD0S 8TZHMWXD0S
| URI | m2://inv/8TZHMWXD0S |
|---|---|
| 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.03837#ARM9 (statement). In TX88QS0A8M/e1, proposition 14
History
- 2026-10-29: add by m2/v0.4.12
Generalizations 8TZNAYZZ1G
| URI | m2://inv/8TZNAYZZ1G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wagstaff prime#AR76, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Equivalent formulations for absolute minimisers, localised version 8TZTARMM68
| URI | m2://inv/8TZTARMM68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.27918#G2RE, Equivalent formulations for absolute minimisers, localised version (statement)
History
- 2026-11-01: add by m2/v0.6.15
8TZTW5GBP6 8TZTW5GBP6
| URI | m2://inv/8TZTW5GBP6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16267#GSNR (statement). In 65GKPZ15VH/e1, proposition 3.18
History
- 2026-10-28: add by m2/v0.4.2
urelement 8TZTZDKYZD
| URI | m2://inv/8TZTZDKYZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#WTYW, urelement (definition)
History
- 2026-11-02: add by m2/dev
Almost complex structure 8TZZK0GHJT
| URI | m2://inv/8TZZK0GHJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#FLDO, Almost complex structure (definition)
History
- 2026-11-02: add by m2/dev