Inventory rows WD
The cards of the rows of the inventory whose ids start with WD. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
WD0GQ6F0A3 WD0GQ6F0A3
| URI | m2://inv/WD0GQ6F0A3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.09544#7O97 (statement). In DYBM6Q2K6R/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.10
WD0WACM4BV WD0WACM4BV
| URI | m2://inv/WD0WACM4BV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#example:mv:irrotoneformint (example). In E59CDZA4DP, example, section 6.2.2
History
- 2026-11-01: add by m2/v0.6.13
WD0ZK7RP22 WD0ZK7RP22
| URI | m2://inv/WD0ZK7RP22 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/reduction-alt.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 83.12
History
- 2026-11-01: add by m2/v0.6.13
WD10CXASJH WD10CXASJH
| URI | m2://inv/WD10CXASJH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21475#E9HT (definition). In TTRSZVT4VX/e1, definition 4.4
History
- 2026-10-27: add by m2/v0.4.2
WD12V51RGZ WD12V51RGZ
| URI | m2://inv/WD12V51RGZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36309#UQPY (definition). In FAJ10EJMYE/e1, definition 4
History
- 2026-10-30: add by m2/v0.4.12
WD155CAQ66 WD155CAQ66
| URI | m2://inv/WD155CAQ66 |
|---|---|
| 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.25094#K71F (statement)
History
- 2026-11-01: add by m2/v0.6.15
WD18V19YEC WD18V19YEC
| URI | m2://inv/WD18V19YEC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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.16541#TUUX (statement). In D0XH7W96T3/e1, corollary 2.7
History
- 2026-10-28: add by m2/v0.4.2
Matthias Flach WD19R32C7X
| URI | m2://inv/WD19R32C7X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matthias Flach (mathematician), Matthias Flach (topic). Also Wikidata Q15303579
History
- 2026-11-02: add by m2/dev
WD1BQQ1EPA WD1BQQ1EPA
| URI | m2://inv/WD1BQQ1EPA |
|---|---|
| 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.20077#C8LO (statement). In W5XRKWDADE/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.4.2
About the Convergence of the Discrete Schemes WD1PDTVG7S
| URI | m2://inv/WD1PDTVG7S |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-28: add by m2/v0.4.2
WD1YNPMK1V WD1YNPMK1V
| URI | m2://inv/WD1YNPMK1V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21535#RXQ1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Air travel WD1ZH3KKZT
| URI | m2://inv/WD1ZH3KKZT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#YS6H, Air travel (unknown)
History
- 2026-11-02: add by m2/dev
WD22J6WMB6 WD22J6WMB6
| URI | m2://inv/WD22J6WMB6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23522#1I2S (example)
History
- 2026-11-02: add by m2/v0.6.17
Golagrama WD25E6V5MA
| URI | m2://inv/WD25E6V5MA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golagrama, Golagrama (definition). Also Wikidata Q5578364
History
- 2026-11-02: add by m2/dev
Group law WD2FV26VWE
| URI | m2://inv/WD2FV26VWE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twisted Edwards curve#4AKV, Group law (statement)
History
- 2026-11-02: add by m2/dev
WD2NNFVQ5F WD2NNFVQ5F
| URI | m2://inv/WD2NNFVQ5F |
|---|---|
| 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 1009.2043#2UJF (statement). In 7DCNHRBK5A/e1, theorem 7.2
History
- 2026-10-27: add by m2/v0.3.5
Proof sketch for Gödel's first incompleteness theorem WD2PE0ETWN
| URI | m2://inv/WD2PE0ETWN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof sketch for Gödel's first incompleteness theorem, Proof sketch for Gödel's first incompleteness theorem (statement). Also Wikidata Q852580
History
- 2026-11-02: add by m2/dev
Projected dynamical system WD2S99SS4E
| URI | m2://inv/WD2S99SS4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projected dynamical system, Projected dynamical system (definition). Also Wikidata Q7249433
History
- 2026-11-02: add by m2/dev
WD2VKFFER8 WD2VKFFER8
| URI | m2://inv/WD2VKFFER8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#definition-1 (definition). In RZP28ERRZV, definition, section 66.2
History
- 2026-11-01: add by m2/v0.6.13
WD31PT4HHG WD31PT4HHG
| URI | m2://inv/WD31PT4HHG |
|---|---|
| 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.08323#CVJG (statement). In FR51ART4NF/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
distributive property WD34RMZ0CM
| URI | m2://inv/WD34RMZ0CM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Distributive property 63JGSKKF7J |
Mentions
- wikidata: Wikidata Q187959, distributive property (unknown). Also MathWorld Distributive
- wikipedia: Wikipedia Distributive property, Distributive property (definition). Also Wikidata Q187959
History
- 2026-10-26: add by m2/dev
Koebe $\frac14$-theorem WD38QTTWWS
| URI | m2://inv/WD38QTTWWS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/koebe-frac14-theorem, Koebe $\frac14$-theorem (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
subset, collection WD3CC6ZZGB
| URI | m2://inv/WD3CC6ZZGB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/subset-collection, subset, collection (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Parallel tempering WD3DD2YZYJ
| URI | m2://inv/WD3DD2YZYJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parallel tempering, Parallel tempering (definition). Also Wikidata Q7135015
History
- 2026-11-02: add by m2/dev
Heaviside–Feynman formula WD3GSW3EMR
| URI | m2://inv/WD3GSW3EMR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jefimenko's equations#PDSC, Heaviside–Feynman formula (statement)
History
- 2026-11-02: add by m2/dev
WD3N6Q8T3C WD3N6Q8T3C
| URI | m2://inv/WD3N6Q8T3C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-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.20932#H7V9 (statement). In FV78KV64B9/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.4.2
WD3P8789DM WD3P8789DM
| URI | m2://inv/WD3P8789DM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.05688#WJUL (definition). In M8F4PDHH3S/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Fréchet WD44QC4JFV
| URI | m2://inv/WD44QC4JFV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#H93U, Fréchet (definition)
History
- 2026-11-02: add by m2/dev
Maximin (philosophy) WD4AESHJD4
| URI | m2://inv/WD4AESHJD4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimax#JC82, Maximin (philosophy) (unknown)
History
- 2026-11-02: add by m2/dev
Tres de Febrero Partido WD4CH8TGR5
| URI | m2://inv/WD4CH8TGR5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#YH0S, Tres de Febrero Partido (unknown)
History
- 2026-11-02: add by m2/dev
WD4KWZB7FC WD4KWZB7FC
| URI | m2://inv/WD4KWZB7FC |
|---|---|
| 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.26738#2RRP (statement)
History
- 2026-11-01: add by m2/v0.6.15
WD4M127NXW WD4M127NXW
| URI | m2://inv/WD4M127NXW |
|---|---|
| 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.15877#FBP7 (statement). In F3W750X9N6/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
decidable WD4M3BGC1Y
| URI | m2://inv/WD4M3BGC1Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#JTH6, decidable (definition)
History
- 2026-11-02: add by m2/dev
Properties WD4S0051J9
| URI | m2://inv/WD4S0051J9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia André plane#H8LM, Properties (statement)
History
- 2026-11-02: add by m2/dev
\coqident{relative_universe}, \coqident{weak_relative_universe WD53TFJM0G
| URI | m2://inv/WD53TFJM0G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1705.04310#8WEL, \coqident{relative_universe}, \coqident{weak_relative_universe (definition). In MG51GG0QZN/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Svante Janson WD5BEJNPT1
| URI | m2://inv/WD5BEJNPT1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Svante Janson, Svante Janson (topic). Also Wikidata Q4181206
History
- 2026-11-02: add by m2/dev
WD5GZ62M7N WD5GZ62M7N
| URI | m2://inv/WD5GZ62M7N |
|---|---|
| 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.16821#ZFO0 (statement). In EFSGMHG5BW/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Theorem 2 WD5JFVQEH5
| URI | m2://inv/WD5JFVQEH5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum theorem#PWTN, Theorem 2 (statement)
History
- 2026-11-02: add by m2/dev
WD5K803HVZ WD5K803HVZ
| URI | m2://inv/WD5K803HVZ |
|---|---|
| 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.15013#4JC8 (statement). In JB837X6D1Q/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
composition WD5ZZ82006
| URI | m2://inv/WD5ZZ82006 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.4/composition, composition (concept). In Y91XFCEVHQ, index, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Nesin Mathematics Village WD63YGWDQ9
| URI | m2://inv/WD63YGWDQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nesin Mathematics Village, Nesin Mathematics Village (definition). Also Wikidata Q6096373
History
- 2026-11-02: add by m2/dev
Rojas-Le\'on WD65B9Q0FX
| URI | m2://inv/WD65B9Q0FX |
|---|---|
| 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.03081#D2O1, Rojas-Le\'on (statement). In TX0H26X4VX/e1, theorem 6.6
History
- 2026-10-29: add by m2/v0.4.12
Dirichlet conditions WD663Q52RE
| URI | m2://inv/WD663Q52RE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1227685, Dirichlet conditions (statement). Also MathWorld DirichletFourierSeriesConditions
- wikipedia: Wikipedia Dirichlet–Jordan test, Dirichlet–Jordan test (definition). Also Wikidata Q1227685
History
- 2026-10-26: add by m2/dev
WD6J1SHXC9 WD6J1SHXC9
| URI | m2://inv/WD6J1SHXC9 |
|---|---|
| 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.23128#JJV5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
WD6W0CHKP3 WD6W0CHKP3
| URI | m2://inv/WD6W0CHKP3 |
|---|---|
| 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.11965#CI09 (statement). In 48QX0QD0XR/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.3
WD6WXP6D24 WD6WXP6D24
| URI | m2://inv/WD6WXP6D24 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#NW8Q (definition)
History
- 2026-11-01: add by m2/v0.6.15
WD709MSD8P WD709MSD8P
| URI | m2://inv/WD709MSD8P |
|---|---|
| Kind | example |
| 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.01247#FR27 (example). In 6EVNCRZ118/e1, example 24
History
- 2026-10-29: add by m2/v0.4.12
WD78Y04JXJ WD78Y04JXJ
| URI | m2://inv/WD78Y04JXJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 14-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.20361#6OPZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition WD7BBQ58QK
| URI | m2://inv/WD7BBQ58QK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive element#4G9J, Definition (definition)
History
- 2026-11-02: add by m2/dev
Neumann polynomials WD7DRDCKWX
| URI | m2://inv/WD7DRDCKWX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7001952, Neumann polynomials (concept). Also MathWorld NeumannPolynomial
- wikipedia: Wikipedia Neumann polynomial, Neumann polynomial (definition). Also Wikidata Q7001952
History
- 2026-10-26: add by m2/dev
WD7EY5Q5CG WD7EY5Q5CG
| URI | m2://inv/WD7EY5Q5CG |
|---|---|
| Kind | example |
| 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.31269#EBRI (example). In ZPT9XCCAPQ/e1, example 2.2.9
History
- 2026-10-31: add by m2/v0.5.6
Maximum-principle bound for compact minimal PTR solitons WD7VZN8441
| URI | m2://inv/WD7VZN8441 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00077#BXCA, Maximum-principle bound for compact minimal PTR solitons (statement). In C04B15GH1T/e1, theorem 3.5
History
- 2026-10-30: add by m2/v0.4.12
WD7X4D2DNY WD7X4D2DNY
| URI | m2://inv/WD7X4D2DNY |
|---|---|
| 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 2609.24465#RTG1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Killed Poisson-binomial walks WD7ZQVT1BQ
| URI | m2://inv/WD7ZQVT1BQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08568#LLZG, Killed Poisson-binomial walks (statement). In FDDA562VCA/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Conditional ergodicity transfer under bounded drift error WD81YD7362
| URI | m2://inv/WD81YD7362 |
|---|---|
| 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.37944#2E09, Conditional ergodicity transfer under bounded drift error (statement). In KP94WJVJXY/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Hyperbolic spaces admit coarse median structures WD84DWAAN7
| URI | m2://inv/WD84DWAAN7 |
|---|---|
| Kind | example |
| 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#724N, Hyperbolic spaces admit coarse median structures (example). In TAPS8P2VYS/e1, example 1.25
History
- 2026-10-29: add by m2/v0.4.10
Ore's conjecture WD85BAEN1J
| URI | m2://inv/WD85BAEN1J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect group#FYZB, Ore's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Examples WD89C4SKRE
| URI | m2://inv/WD89C4SKRE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisor (algebraic geometry)#6BD7, Examples (example)
History
- 2026-11-02: add by m2/dev
Abramovitz, Moses WD8BVR22SQ
| URI | m2://inv/WD8BVR22SQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#0QRT, Abramovitz, Moses (unknown)
History
- 2026-11-02: add by m2/dev
WD8QS2KE09 WD8QS2KE09
| URI | m2://inv/WD8QS2KE09 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08583#JXA3 (statement). In 5EKTECQ2P1/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Robert J. Vanderbei WD90P7Z20K
| URI | m2://inv/WD90P7Z20K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5AGB, Robert J. Vanderbei (topic)
History
- 2026-11-02: add by m2/dev
WD94RD6VF1 WD94RD6VF1
| URI | m2://inv/WD94RD6VF1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#8CUY (statement). In X3RFXWN6FW/e1, theorem 3.17
History
- 2026-10-27: add by m2/v0.3.6
Mark Reizen WD95V275YT
| URI | m2://inv/WD95V275YT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#3AZA, Mark Reizen (unknown)
History
- 2026-11-02: add by m2/dev
WD95VZPA78 WD95VZPA78
| URI | m2://inv/WD95VZPA78 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#726Y (statement). In X9WFC1D9ZS/e1, lemma 42
History
- 2026-10-27: add by m2/v0.4.2
foot per second WD97T4AWQ9
| URI | m2://inv/WD97T4AWQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q748716, foot per second (definition). Also ProofWiki Definition:Velocity/Unit/Foot_per_Second
History
- 2026-10-26: add by m2/dev
Mingarelli identity WD9CE6TT35
| URI | m2://inv/WD9CE6TT35 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mingarelli identity, Mingarelli identity (statement). Also Wikidata Q6864698
History
- 2026-11-02: add by m2/dev
Anti-integrability WD9NRKM0SK
| URI | m2://inv/WD9NRKM0SK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anti-integrability, Anti-integrability (definition). Also Wikidata Q141253737
History
- 2026-11-02: add by m2/dev
WD9PR79A9C WD9PR79A9C
| URI | m2://inv/WD9PR79A9C |
|---|---|
| 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.26191#Q1EA (statement)
History
- 2026-11-01: add by m2/v0.6.15
WD9R1TNPP6 WD9R1TNPP6
| URI | m2://inv/WD9R1TNPP6 |
|---|---|
| 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.15094#ET04 (statement). In 5AA8PPK2CC/e1, theorem 10
History
- 2026-10-28: add by m2/v0.4.2
Condensation point WD9XFGKCEE
| URI | m2://inv/WD9XFGKCEE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Condensation point, Condensation point (definition). Also Wikidata Q3014744
History
- 2026-11-02: add by m2/dev
Heinrich Martin Weber WD9YQCEK2W
| URI | m2://inv/WD9YQCEK2W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heinrich Martin Weber, Heinrich Martin Weber (topic). Also Wikidata Q77512
History
- 2026-11-02: add by m2/dev
great stellated dodecahedron WDA8BM1XWW
| URI | m2://inv/WDA8BM1XWW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1658162, great stellated dodecahedron (object). Also MathWorld GreatStellatedDodecahedron, ProofWiki Definition:Great_Stellated_Dodecahedron
- wikipedia: Wikipedia Great stellated dodecahedron, Great stellated dodecahedron (object). Also Wikidata Q1658162
History
- 2026-10-26: add by m2/dev
Smith–Waterman algorithm WDA9CN8TXB
| URI | m2://inv/WDA9CN8TXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smith–Waterman algorithm, Smith–Waterman algorithm (definition). Also Wikidata Q1683352
History
- 2026-11-02: add by m2/dev
WDAC045AY5 WDAC045AY5
| URI | m2://inv/WDAC045AY5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.26650#VZQR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Flywheel WDAD7G87MV
| URI | m2://inv/WDAD7G87MV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#STCZ, Flywheel (unknown)
History
- 2026-11-02: add by m2/dev
Conjugate hyperbola WDAGAV88FH
| URI | m2://inv/WDAGAV88FH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#3ERL, Conjugate hyperbola (unknown)
History
- 2026-11-02: add by m2/dev
WDAMXR8XR1 WDAMXR8XR1
| URI | m2://inv/WDAMXR8XR1 |
|---|---|
| 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.11276#7KVB (statement). In KMTQRFFYZY/e1, corollary 3.3
History
- 2026-10-28: add by m2/v0.4.3
Dynkin formula WDANG5YJQD
| URI | m2://inv/WDANG5YJQD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baker–Campbell–Hausdorff formula#3QW2, Dynkin formula (statement)
History
- 2026-11-02: add by m2/dev
Extensions WDARCX2G6S
| URI | m2://inv/WDARCX2G6S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linkage disequilibrium score regression#A7AP, Extensions (statement)
History
- 2026-11-02: add by m2/dev
WDAXFWH424 WDAXFWH424
| URI | m2://inv/WDAXFWH424 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 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 2605.02634#Q2SX (statement). In EZ6PAF0MXH/e1, corollary 2.7
History
- 2026-10-27: add by m2/v0.3.5
Properties WDB1ND4WXC
| URI | m2://inv/WDB1ND4WXC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ball covariance#XFC8, Properties (statement)
History
- 2026-11-02: add by m2/dev
WDBB6G52AX WDBB6G52AX
| URI | m2://inv/WDBB6G52AX |
|---|---|
| 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#ZHRC (statement)
History
- 2026-11-01: add by m2/v0.6.15
WDBCG3B72K WDBCG3B72K
| URI | m2://inv/WDBCG3B72K |
|---|---|
| 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.15744#SQAU (statement). In NV3PBZGBB7/e1, proposition 1.2
History
- 2026-10-28: add by m2/v0.4.2
WDBD9JE6TW WDBD9JE6TW
| URI | m2://inv/WDBD9JE6TW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-32 (exercise). In E9HS8K3A52, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
supersymmetric gauge theory WDBGKH8G3P
| URI | m2://inv/WDBGKH8G3P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3526767, supersymmetric gauge theory (unknown). Also nLab super Yang-Mills theory
History
- 2026-10-26: add by m2/dev
Theorem WDBHZ60R2J
| URI | m2://inv/WDBHZ60R2J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov spectrum#PNXV, Theorem (statement)
History
- 2026-11-02: add by m2/dev
WDBM34HNDM WDBM34HNDM
| URI | m2://inv/WDBM34HNDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#definition-1 (definition). In RZP28ERRZV, definition, section 92.3
History
- 2026-11-01: add by m2/v0.6.13
von Neumann algebra factor WDBS3AJCEE
| URI | m2://inv/WDBS3AJCEE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q116838634, von Neumann algebra factor (unknown). Also EoM Factor_algebra, nLab von Neumann algebra factor
History
- 2026-10-26: add by m2/dev
WDBWJ0Q9M2 WDBWJ0Q9M2
| URI | m2://inv/WDBWJ0Q9M2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#proof-1 (proof). In RZP28ERRZV, proof, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Why a finite potential cannot always be required WDC1FE2WWW
| URI | m2://inv/WDC1FE2WWW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#6NXR, Why a finite potential cannot always be required (example). In 9YAE8FNQST/e1, example 17.14
History
- 2026-10-30: add by m2/v0.4.12
coaxal WDC5S39WZT
| URI | m2://inv/WDC5S39WZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#U697, coaxal (definition)
History
- 2026-11-02: add by m2/dev
WDC87V150A WDC87V150A
| URI | m2://inv/WDC87V150A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28011#ENQW (definition)
History
- 2026-11-01: add by m2/v0.6.15
WDC8TCK339 WDC8TCK339
| URI | m2://inv/WDC8TCK339 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19360#IICI (statement). In MFCW5CY96C/e1, lemma 25
History
- 2026-10-28: add by m2/v0.4.2
Edwin A. Perkins WDCRPB3Q4D
| URI | m2://inv/WDCRPB3Q4D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#7UM9, Edwin A. Perkins (topic)
History
- 2026-11-02: add by m2/dev
The duality theorem WDCZ856RCJ
| URI | m2://inv/WDCZ856RCJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#LM97, The duality theorem (definition)
History
- 2026-11-02: add by m2/dev
Related results WDD02K9CEF
| URI | m2://inv/WDD02K9CEF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalised Whitehead product#R4GJ, Related results (statement)
History
- 2026-11-02: add by m2/dev
Rainbow-independent set WDD0D1NNF7
| URI | m2://inv/WDD0D1NNF7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rainbow-independent set, Rainbow-independent set (definition). Also Wikidata Q97861311
History
- 2026-11-02: add by m2/dev
WDD2FXDV8Y WDD2FXDV8Y
| URI | m2://inv/WDD2FXDV8Y |
|---|---|
| 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 2207.12181#OP7E (definition). In FSD8NE3XSR/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.4.0
Probable prime WDD5MZRD3F
| URI | m2://inv/WDD5MZRD3F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#PAFX, Probable prime (definition)
History
- 2026-11-02: add by m2/dev
Applications WDD8YS5MY7
| URI | m2://inv/WDD8YS5MY7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Copula (statistics)#0C9C, Applications (example)
History
- 2026-11-02: add by m2/dev
Group contraction WDDDN8R443
| URI | m2://inv/WDDDN8R443 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group contraction, Group contraction (definition). Also Wikidata Q5611219
History
- 2026-11-02: add by m2/dev
rational conformal field theory WDDNK5MAYF
| URI | m2://inv/WDDNK5MAYF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7295756, rational conformal field theory (unknown). Also nLab rational 2d conformal field theory
History
- 2026-10-26: add by m2/dev
WDDTYQMGR8 WDDTYQMGR8
| URI | m2://inv/WDDTYQMGR8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.25960#G8TQ (statement). In 13GSWBXPCM/e1, lemma C.4
History
- 2026-10-27: add by m2/v0.3.5
onset and the gap, $\theta = 0$ WDDXH0K1GQ
| URI | m2://inv/WDDXH0K1GQ |
|---|---|
| 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.00902#CZ62, onset and the gap, $\theta = 0$ (statement). In 1BYMXTH5MW/e1, proposition 9.5
History
- 2026-10-29: add by m2/v0.4.12
WDE8MMKKHW WDE8MMKKHW
| URI | m2://inv/WDE8MMKKHW |
|---|---|
| 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.15472#688K (statement). In 5Z3FH46YSY/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
WDEJ2S3GZT WDEJ2S3GZT
| URI | m2://inv/WDEJ2S3GZT |
|---|---|
| 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.00379#DJ0S (statement). In BTSCWAGACB/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
WDEN253BVR WDEN253BVR
| URI | m2://inv/WDEN253BVR |
|---|---|
| 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.09390#ETBY (definition). In 7SSKW778T8/e1, definition 2.16
History
- 2026-10-29: add by m2/v0.4.10
antiderivative, general WDF31Z4RJK
| URI | m2://inv/WDF31Z4RJK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/4.4.3/antiderivative-general, antiderivative, general (concept). In 907G4C4EJ1, index, section 4.4.3
History
- 2026-11-01: add by m2/v0.6.13
WDF42X3W1K WDF42X3W1K
| URI | m2://inv/WDF42X3W1K |
|---|---|
| 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.21828#0FF2 (statement). In B5M7S1FGS0/e1, corollary 2.2
History
- 2026-10-27: add by m2/v0.4.2
Rama Cont WDF77QV9RZ
| URI | m2://inv/WDF77QV9RZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rama Cont, Rama Cont (topic). Also Wikidata Q33105496
History
- 2026-11-02: add by m2/dev
WDFEBDEZ48 WDFEBDEZ48
| URI | m2://inv/WDFEBDEZ48 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#9BHA (unknown). In QNBFHFZ3H0/e1, unknown
History
- 2026-10-28: add by m2/v0.4.2
WDFMZDV2RJ WDFMZDV2RJ
| URI | m2://inv/WDFMZDV2RJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14681#58EI (definition). In 459W0NBS5Q/e1, definition 5
History
- 2026-10-28: add by m2/v0.4.2
Allan Borodin WDFTDCS0VJ
| URI | m2://inv/WDFTDCS0VJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9UPK, Allan Borodin (unknown)
History
- 2026-11-02: add by m2/dev
Wolfgang Hackbusch WDFTN00Z0R
| URI | m2://inv/WDFTN00Z0R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolfgang Hackbusch, Wolfgang Hackbusch (topic). Also Wikidata Q110842
History
- 2026-11-02: add by m2/dev
Goluzin inequalities WDFX970XSP
| URI | m2://inv/WDFX970XSP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grunsky matrix#HNVK, Goluzin inequalities (unknown)
History
- 2026-11-02: add by m2/dev
Paolo Ruffini WDFY2Z2VQD
| URI | m2://inv/WDFY2Z2VQD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#0TGW, Paolo Ruffini (topic)
- wikipedia: Wikipedia List of Italian mathematicians#YYO6, Paolo Ruffini (topic)
History
- 2026-11-02: add by m2/dev
Node WDG0R692M5
| URI | m2://inv/WDG0R692M5 |
|---|---|
| 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 2312.05005#IW2I, Node (definition). In SMJMAQ2S3J/e1, definition 21
History
- 2026-10-27: add by m2/v0.4.0
Monotonic function WDGC914462
| URI | m2://inv/WDGC914462 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#BF0A, Monotonic function (definition)
History
- 2026-11-02: add by m2/dev
WDGCZ0DV4H WDGCZ0DV4H
| URI | m2://inv/WDGCZ0DV4H |
|---|---|
| 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.33050#I14H (statement). In VDSBMQ0G9W/e1, proposition 5.8
History
- 2026-10-30: add by m2/v0.4.12
Artin--Hasse series WDGKQEEXJB
| URI | m2://inv/WDGKQEEXJB |
|---|---|
| Kind | definition |
| 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#5Y30, Artin--Hasse series (definition). In 8BNPFYQDQX/e1, definition 3.6
History
- 2026-10-29: add by m2/v0.4.10
Order complete WDGME1R9M5
| URI | m2://inv/WDGME1R9M5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order complete, Order complete (definition). Also Wikidata Q96397658
History
- 2026-11-02: add by m2/dev
WDGPHH0WP6 WDGPHH0WP6
| URI | m2://inv/WDGPHH0WP6 |
|---|---|
| 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.40345#U15P (statement). In WK0PT95WW1/e1, proposition 5.6
History
- 2026-10-30: add by m2/v0.4.12
WDGQMYYFTT WDGQMYYFTT
| URI | m2://inv/WDGQMYYFTT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.11869#QZXT (statement). In B5GGGWNJA6/e1, corollary 5
History
- 2026-10-28: add by m2/v0.4.3
WDGTJDNPZD WDGTJDNPZD
| URI | m2://inv/WDGTJDNPZD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07963#GYEN (definition). In HAGJKEZ1CK/e1, definition 4.4
History
- 2026-10-29: add by m2/v0.4.10
Botvinnik--Ebert--Randal-Williams , and Perlmutter WDGWV1D75T
| URI | m2://inv/WDGWV1D75T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2005.03073#HDKW, Botvinnik--Ebert--Randal-Williams , and Perlmutter (statement). In P2ETMXKVDS/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.5
WDH6131VN4 WDH6131VN4
| URI | m2://inv/WDH6131VN4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#2XK4 (statement). In X38P26DK6S/e1, lemma B.2
History
- 2026-10-27: add by m2/v0.4.0
James Alexander Shohat WDHGXN5FT9
| URI | m2://inv/WDHGXN5FT9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Alexander Shohat, James Alexander Shohat (topic). Also Wikidata Q6128562
History
- 2026-11-02: add by m2/dev
WDHNWD4076 WDHNWD4076
| URI | m2://inv/WDHNWD4076 |
|---|---|
| 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.04264#49U0 (statement). In 5YRJ4HGY4N/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.12
Examples WDHRY324A3
| URI | m2://inv/WDHRY324A3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baer ring#EI01, Examples (example)
History
- 2026-11-02: add by m2/dev
WDHWRCQ3YF WDHWRCQ3YF
| URI | m2://inv/WDHWRCQ3YF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#FXK2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stone space WDHYPR8VFB
| URI | m2://inv/WDHYPR8VFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Stone space ZV38HA5PAQ |
Mentions
- wikidata: Wikidata Q30587585, Stone space (unknown). Also MathWorld StoneSpace, nLab Stone space
- wikipedia: Wikipedia Stone space, Stone space (definition). Also Wikidata Q30587585
History
- 2026-10-26: add by m2/dev
Farkas Bolyai WDHYTNZ8BJ
| URI | m2://inv/WDHYTNZ8BJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q252311, Farkas Bolyai (unknown). Also ProofWiki Mathematician:Farkas_Wolfgang_Bolyai
- wikipedia: Wikipedia Farkas Bolyai, Farkas Bolyai (topic). Also Wikidata Q252311
History
- 2026-10-26: add by m2/dev
Russell Hulse WDHZZT8J0X
| URI | m2://inv/WDHZZT8J0X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#T0OD, Russell Hulse (unknown)
History
- 2026-11-02: add by m2/dev
WDJ0693FPY WDJ0693FPY
| URI | m2://inv/WDJ0693FPY |
|---|---|
| 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 2610.16475#212O (statement). In FM9SKN560Q/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
8-simplex honeycomb WDJ1MPSD5B
| URI | m2://inv/WDJ1MPSD5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 8-simplex honeycomb, 8-simplex honeycomb (definition). Also Wikidata Q4644300
History
- 2026-11-02: add by m2/dev
WDJ582DEDW WDJ582DEDW
| URI | m2://inv/WDJ582DEDW |
|---|---|
| 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.13670#94NE (statement). In 4PGTZ19B26/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
WDJ925F3HZ WDJ925F3HZ
| URI | m2://inv/WDJ925F3HZ |
|---|---|
| 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.28350#RBEH (statement)
History
- 2026-11-01: add by m2/v0.6.15
WDJ9R3N2H8 WDJ9R3N2H8
| URI | m2://inv/WDJ9R3N2H8 |
|---|---|
| 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#39U6 (statement). In M0SQY5EZN5/e1, lemma 4.6.11
History
- 2026-10-27: add by m2/v0.3.5
Minimal algebra WDJADPYBKC
| URI | m2://inv/WDJADPYBKC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal algebra, Minimal algebra (definition). Also Wikidata Q56291597
History
- 2026-11-02: add by m2/dev
Location–scale family WDJCSD19F0
| URI | m2://inv/WDJCSD19F0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Location–scale family, Location–scale family (definition). Also Wikidata Q6664772
History
- 2026-11-02: add by m2/dev
WDJFH079BP WDJFH079BP
| URI | m2://inv/WDJFH079BP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#3Y7V (statement). In E7BPGPP9Z5/e1, theorem 6.3
History
- 2026-10-29: add by m2/v0.4.10
Heterogeneous interior recovery WDJHQQWJYP
| URI | m2://inv/WDJHQQWJYP |
|---|---|
| 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.20215#OUSQ, Heterogeneous interior recovery (statement)
History
- 2026-11-02: add by m2/v0.6.18
WDJJRRRR1F WDJJRRRR1F
| URI | m2://inv/WDJJRRRR1F |
|---|---|
| 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.36811#HB8B (statement). In ZQDX8E43SQ/e1, theorem 6.7
History
- 2026-10-30: add by m2/v0.4.12
WDJKP7H3XD WDJKP7H3XD
| URI | m2://inv/WDJKP7H3XD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21972#B889 (statement)
History
- 2026-11-02: add by m2/v0.6.17
WDJTZBY14B WDJTZBY14B
| URI | m2://inv/WDJTZBY14B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#B3JM (definition). In CY1FE8W1ZW/e1, definition 0.34
History
- 2026-10-27: add by m2/v0.3.5
WDJZ0S0SWB WDJZ0S0SWB
| URI | m2://inv/WDJZ0S0SWB |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#proof-24 (proof). In N54F33XE07, proof, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
truncation, $n$-truncation WDK60WRMRV
| URI | m2://inv/WDK60WRMRV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.3/truncation-n-truncation, truncation, $n$-truncation (concept). In N54F33XE07, index, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Equivalent definitions WDKD1TPJRT
| URI | m2://inv/WDKD1TPJRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operator norm#RSFR, Equivalent definitions (definition)
History
- 2026-11-02: add by m2/dev
Counterargument WDKDW2QGWK
| URI | m2://inv/WDKDW2QGWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Counterargument, Counterargument (definition). Also Wikidata Q2995866
History
- 2026-11-02: add by m2/dev
John Sall WDKFK43GSG
| URI | m2://inv/WDKFK43GSG |
|---|---|
| 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#BIXN, John Sall (unknown)
History
- 2026-11-02: add by m2/dev
reductive group WDKJD0BKMN
| URI | m2://inv/WDKJD0BKMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 22E50 |
| Sources | 2 |
| Outcome | open |
| Node | Reductive group 2XS84PWE3S |
Mentions
- wikidata: Wikidata Q1006450, reductive group (topic). Also nLab reductive group
- wikipedia: Wikipedia Reductive group, Reductive group (definition). Also Wikidata Q1006450
History
- 2026-10-26: add by m2/dev
WDKM0PWT0P WDKM0PWT0P
| URI | m2://inv/WDKM0PWT0P |
|---|---|
| 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.20422#O8OL (statement). In HCH89W5Y2C/e1, corollary 11
History
- 2026-10-27: add by m2/v0.4.2
Robert Steinberg WDKMR22DJP
| URI | m2://inv/WDKMR22DJP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#1S0F, Robert Steinberg (unknown)
History
- 2026-11-02: add by m2/dev
WDKMY0BMB2 WDKMY0BMB2
| URI | m2://inv/WDKMY0BMB2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#FSNJ (example). In WD2NCBV9F0/e1, example 5.2
History
- 2026-10-27: add by m2/v0.3.5
Size of the gaps WDKSECK49N
| URI | m2://inv/WDKSECK49N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20145#HCFN, Size of the gaps (statement). In HXKJ4MT1CX/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.4.2
Formal definition WDKSWDSTAK
| URI | m2://inv/WDKSWDSTAK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Large deviations theory#2FVK, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
WDKWXSEEQA WDKWXSEEQA
| URI | m2://inv/WDKWXSEEQA |
|---|---|
| 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.14318#COTR (statement). In HA4SZZJ831/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Fill device WDKZWJ2GP8
| URI | m2://inv/WDKZWJ2GP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fill device, Fill device (definition). Also Wikidata Q5448789
History
- 2026-11-02: add by m2/dev
Combinatorial group theory WDM7D42SN4
| URI | m2://inv/WDM7D42SN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#ND1M, Combinatorial group theory (definition)
History
- 2026-11-02: add by m2/dev
WDMJBQ5FA5 WDMJBQ5FA5
| URI | m2://inv/WDMJBQ5FA5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#Q8MO (statement)
History
- 2026-11-01: add by m2/v0.6.15
WDMJE15RTB WDMJE15RTB
| URI | m2://inv/WDMJE15RTB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.15228#YEHU (statement). In 4778KMFZAF/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.3.5
WDMJKR8428 WDMJKR8428
| URI | m2://inv/WDMJKR8428 |
|---|---|
| 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 2204.01073#DHO7 (statement). In W4TYN4PGE8/e1, lemma 2.35
History
- 2026-10-27: add by m2/v0.3.5
Theorem WDMNGE40Y8
| URI | m2://inv/WDMNGE40Y8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sublinear function#8U2I, Theorem (statement)
History
- 2026-11-02: add by m2/dev
WDMPPYPTFB WDMPPYPTFB
| URI | m2://inv/WDMPPYPTFB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-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.21931#2H4Z (statement)
History
- 2026-11-02: add by m2/v0.6.17
David Siegmund WDN32F6E3S
| URI | m2://inv/WDN32F6E3S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Siegmund, David Siegmund (topic). Also Wikidata Q5239782
History
- 2026-11-02: add by m2/dev
geometrical optics WDN38MWDE6
| URI | m2://inv/WDN38MWDE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q467980, geometrical optics (unknown). Also nLab geometrical optics
- wikipedia: Wikipedia Geometrical optics, Geometrical optics (definition). Also Wikidata Q467980
History
- 2026-10-26: add by m2/dev
Fluxion WDNVQ0VWDR
| URI | m2://inv/WDNVQ0VWDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fluxion, Fluxion (definition). Also Wikidata Q48835224
History
- 2026-11-02: add by m2/dev
Applications WDNXVFZSGK
| URI | m2://inv/WDNXVFZSGK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular matrix#OD9Z, Applications (example)
History
- 2026-11-02: add by m2/dev
Yanqing Sun WDP1WGQQZY
| URI | m2://inv/WDP1WGQQZY |
|---|---|
| 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#W1Z1, Yanqing Sun (unknown)
History
- 2026-11-02: add by m2/dev
WDP6B9RJPR WDP6B9RJPR
| URI | m2://inv/WDP6B9RJPR |
|---|---|
| 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 2610.21945#XZIH (statement). In 371P9QASSJ/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.4.2
WDPG8F5V4H WDPG8F5V4H
| URI | m2://inv/WDPG8F5V4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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.14060#TAZL (statement). In X47RYAZF8P/e1, corollary 3.7
History
- 2026-10-28: add by m2/v0.4.2
Locally recoverable code WDPVJQT2RE
| URI | m2://inv/WDPVJQT2RE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally recoverable code, Locally recoverable code (definition). Also Wikidata Q131324774
History
- 2026-11-02: add by m2/dev
G-fibration WDPZCMY4QJ
| URI | m2://inv/WDPZCMY4QJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#RJ1G, G-fibration (definition)
History
- 2026-11-02: add by m2/dev
Poincaré expansion WDQ55QQ2BY
| URI | m2://inv/WDQ55QQ2BY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Henri Poincaré#UUOF, Poincaré expansion (definition)
History
- 2026-11-02: add by m2/dev
contravariant functor WDQMVVJKGC
| URI | m2://inv/WDQMVVJKGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124662529, contravariant functor (definition). Also MathWorld ContravariantFunctor, nLab contravariant functor, ProofWiki Definition:Functor/Contravariant
History
- 2026-10-26: add by m2/dev
Vaughan Jones WDQQHSKKD4
| URI | m2://inv/WDQQHSKKD4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#S304, Vaughan Jones (topic)
History
- 2026-11-02: add by m2/dev
WDQVK0CG2X WDQVK0CG2X
| URI | m2://inv/WDQVK0CG2X |
|---|---|
| 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 2211.04758#JP2V (statement). In DRWDJG2G3S/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
WDQZZFVFKH WDQZZFVFKH
| URI | m2://inv/WDQZZFVFKH |
|---|---|
| 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 2510.12502#T67Y (statement). In 3A4K47Y9F2/e1, lemma 5.30
History
- 2026-10-27: add by m2/v0.4.0
Properties WDR1AN4S9C
| URI | m2://inv/WDR1AN4S9C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Champernowne distribution#R49K, Properties (statement)
History
- 2026-11-02: add by m2/dev
WDR2GB7MT4 WDR2GB7MT4
| URI | m2://inv/WDR2GB7MT4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10078#24ED (statement). In YVGRZK1HRS/e1, theorem 2.9
History
- 2026-10-29: add by m2/v0.4.10
augend WDR4WR9FCV
| URI | m2://inv/WDR4WR9FCV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q54263697, augend (unknown). Also MathWorld Augend
History
- 2026-10-26: add by m2/dev
Feasibility and complementarity WDR6KSRJ6M
| URI | m2://inv/WDR6KSRJ6M |
|---|---|
| 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.39736#76V8, Feasibility and complementarity (statement). In BB1XJ47PVW/e1, lemma 25
History
- 2026-10-30: add by m2/v0.4.12
WDRFF48D6F WDRFF48D6F
| URI | m2://inv/WDRFF48D6F |
|---|---|
| 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.35320#BQLD (statement). In QJ6AEW93RB/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Charles Parsons WDRFV7HSX5
| URI | m2://inv/WDRFV7HSX5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#L956, Charles Parsons (topic)
History
- 2026-11-02: add by m2/dev
William H. Spaulding WDRKBX1SH5
| URI | m2://inv/WDRKBX1SH5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#AJIU, William H. Spaulding (unknown)
History
- 2026-11-02: add by m2/dev
WDRPQ5Z896 WDRPQ5Z896
| URI | m2://inv/WDRPQ5Z896 |
|---|---|
| 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.27931#FB9S (statement)
History
- 2026-11-01: add by m2/v0.6.15
WDRXXWKCNQ WDRXXWKCNQ
| URI | m2://inv/WDRXXWKCNQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23464#84YE (statement)
History
- 2026-11-02: add by m2/v0.6.17
A sharper covariance bound along an edge WDS1Z11FGM
| URI | m2://inv/WDS1Z11FGM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#2CRF, A sharper covariance bound along an edge (statement)
History
- 2026-11-02: add by m2/v0.6.17
WDS4AVRZE8 WDS4AVRZE8
| URI | m2://inv/WDS4AVRZE8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#example-6 (example). In RZP28ERRZV, example, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
WDSHCBKCZ1 WDSHCBKCZ1
| URI | m2://inv/WDSHCBKCZ1 |
|---|---|
| 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.02158#AX5L (statement). In PCV12VAD47/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.12
mathematical model WDSKD5FBJ7
| URI | m2://inv/WDSKD5FBJ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q486902, mathematical model (definition). Also ProofWiki Definition:Mathematical_Model
- wikipedia: Wikipedia Mathematical model, Mathematical model (definition). Also Wikidata Q486902
History
- 2026-10-26: add by m2/dev
Doerge, Rebecca WDSKQZYNGK
| URI | m2://inv/WDSKQZYNGK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#SYDY, Doerge, Rebecca (unknown)
History
- 2026-11-02: add by m2/dev
Equation of a circle WDSMGPF0GX
| URI | m2://inv/WDSMGPF0GX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circle#9TMX, Equation of a circle (unknown)
History
- 2026-11-02: add by m2/dev
International rankings of Uruguay WDT3Q2MQHE
| URI | m2://inv/WDT3Q2MQHE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International rankings of Uruguay, International rankings of Uruguay (definition). Also Wikidata Q6055082
History
- 2026-11-02: add by m2/dev
WDT5A10N86 WDT5A10N86
| URI | m2://inv/WDT5A10N86 |
|---|---|
| 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.24412#3PHH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples WDT6XQEVGN
| URI | m2://inv/WDT6XQEVGN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratically closed field#8F49, Examples (example)
History
- 2026-11-02: add by m2/dev
Gauss's law for the field of P WDT7DBJ539
| URI | m2://inv/WDT7DBJ539 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polarization density#6SI2, Gauss's law for the field of P (statement)
History
- 2026-11-02: add by m2/dev
Jeff Paris WDT9VPYY92
| URI | m2://inv/WDT9VPYY92 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YDZ6, Jeff Paris (topic)
History
- 2026-11-02: add by m2/dev
G. Higman WDTAY7ZWA8
| URI | m2://inv/WDTAY7ZWA8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#MFA5, G. Higman (topic)
History
- 2026-11-02: add by m2/dev
Kerov moments WDTDFP6TF0
| URI | m2://inv/WDTDFP6TF0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.12326#99IG, Kerov moments (statement). In 9S7HGSEX6Q/e1, lemma 3.10
History
- 2026-10-28: add by m2/v0.4.2
Julio Rey Pastor WDTFSZN2DX
| URI | m2://inv/WDTFSZN2DX |
|---|---|
| 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#1AVI, Julio Rey Pastor (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GR6V, Julio Rey Pastor (unknown)
History
- 2026-11-02: add by m2/dev
WDTPW737TD WDTPW737TD
| URI | m2://inv/WDTPW737TD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-72 (exercise). In E9HS8K3A52, exercise, section 2.6.1
History
- 2026-11-01: add by m2/v0.6.13
Inverse probability weighting WDTSKJ3Z9W
| URI | m2://inv/WDTSKJ3Z9W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9J2O, Inverse probability weighting (definition)
History
- 2026-11-02: add by m2/dev
Application WDTT6HXD4Y
| URI | m2://inv/WDTT6HXD4Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean time between failures#EMVV, Application (example)
History
- 2026-11-02: add by m2/dev
maximum modulus principle WDTYZ2DP78
| URI | m2://inv/WDTYZ2DP78 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 35Q30 |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Maximum modulus principle 048F2P90WR |
Mentions
- wikidata: Wikidata Q1050230, maximum modulus principle (topic). Also EoM Maximum-modulus_principle, MathWorld MaximumModulusPrinciple, ProofWiki Maximum_Modulus_Principle
- wikipedia: Wikipedia Maximum modulus principle, Maximum modulus principle (statement). Also Wikidata Q1050230
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Turing Gateway to Mathematics WDTZJSW7H5
| URI | m2://inv/WDTZJSW7H5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#IRYT, Turing Gateway to Mathematics (definition)
History
- 2026-11-02: add by m2/dev
WDV06FRGMY WDV06FRGMY
| URI | m2://inv/WDV06FRGMY |
|---|---|
| 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 2505.08839#8HJH (statement). In HJPDS53MX4/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.4.0
Axiom of regularity WDV1HNMYWA
| URI | m2://inv/WDV1HNMYWA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#BV0A, Axiom of regularity (statement)
History
- 2026-11-02: add by m2/dev
Multi level feedback queue WDV63E3VK1
| URI | m2://inv/WDV63E3VK1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#VA6H, Multi level feedback queue (unknown)
History
- 2026-11-02: add by m2/dev
WDVCRE2K8H WDVCRE2K8H
| URI | m2://inv/WDVCRE2K8H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37931#R51M (example). In J8C1EXQW86/e1, example 5.5
History
- 2026-10-30: add by m2/v0.4.12
WDVG91V0M0 WDVG91V0M0
| URI | m2://inv/WDVG91V0M0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19273#BA3R (statement). In T3BY4TXYT4/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
Mozi WDVGDVRZ54
| URI | m2://inv/WDVGDVRZ54 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#5UV7, Mozi (unknown)
History
- 2026-11-02: add by m2/dev
Memoryless uniform-input information rate WDVJYYZE5Z
| URI | m2://inv/WDVJYYZE5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29688#7B9S, Memoryless uniform-input information rate (statement)
History
- 2026-11-01: add by m2/v0.6.15
WDVR1HJGD9 WDVR1HJGD9
| URI | m2://inv/WDVR1HJGD9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#R1MC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Trapezium rule WDVSFQP7MR
| URI | m2://inv/WDVSFQP7MR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#JFYZ, Trapezium rule (definition)
History
- 2026-11-02: add by m2/dev
Second quantization for every embedding WDVYBT9K3A
| URI | m2://inv/WDVYBT9K3A |
|---|---|
| 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.13358#BBU6, Second quantization for every embedding (statement). In QHT28GABDG/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
Applications WDW5JK2S07
| URI | m2://inv/WDW5JK2S07 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilson's theorem#KXYI, Applications (example)
History
- 2026-11-02: add by m2/dev
WDWHGJE13T WDWHGJE13T
| URI | m2://inv/WDWHGJE13T |
|---|---|
| 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 2609.21914#5GW9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Feed model WDWV5Y999H
| URI | m2://inv/WDWV5Y999H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21565#596U, Feed model (definition)
History
- 2026-11-02: add by m2/v0.6.18
Gunther Schmidt WDX3ZVSBVD
| URI | m2://inv/WDX3ZVSBVD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#AUFZ, Gunther Schmidt (topic)
History
- 2026-11-02: add by m2/dev
Dmitry Fyodorovich Selivanov WDX4Y0STR0
| URI | m2://inv/WDX4Y0STR0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dmitry Fyodorovich Selivanov, Dmitry Fyodorovich Selivanov (topic). Also Wikidata Q1232476
History
- 2026-11-02: add by m2/dev
WDX8788HPK WDX8788HPK
| URI | m2://inv/WDX8788HPK |
|---|---|
| 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.16399#QTBA (statement). In 2N87D4KTSY/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
WDXDRXMXZZ WDXDRXMXZZ
| URI | m2://inv/WDXDRXMXZZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompleteInduction.tex#problem-4 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Applications WDXPXWW72E
| URI | m2://inv/WDXPXWW72E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Temperley–Lieb algebra#9919, Applications (example)
History
- 2026-11-02: add by m2/dev
Mimi Walters WDXRDYSSY6
| URI | m2://inv/WDXRDYSSY6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#BBLK, Mimi Walters (unknown)
History
- 2026-11-02: add by m2/dev
Rudin characterization WDXSDYQFEM
| URI | m2://inv/WDXSDYQFEM |
|---|---|
| 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.02642#FR37, Rudin characterization (statement). In VMWV58VWKN/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Schrödinger–HJW theorem WDXVSKA8QK
| URI | m2://inv/WDXVSKA8QK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum state purification#EWSS, Schrödinger–HJW theorem (statement)
History
- 2026-11-02: add by m2/dev
Online preservation WDY59BMSNE
| URI | m2://inv/WDY59BMSNE |
|---|---|
| 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#UT4N, Online preservation (statement). In DQB4YR2DFH/e1, theorem 11.2
History
- 2026-10-29: add by m2/v0.4.12
Claim 2 WDYAW0TVM1
| URI | m2://inv/WDYAW0TVM1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof that pi is irrational#JZ6S, Claim 2 (statement)
History
- 2026-11-02: add by m2/dev
WDYBWVKAAS WDYBWVKAAS
| URI | m2://inv/WDYBWVKAAS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#problem-4 (exercise). In RZP28ERRZV, problem, section 2.8
History
- 2026-11-01: add by m2/v0.6.13
WDYJKM8DFN WDYJKM8DFN
| URI | m2://inv/WDYJKM8DFN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00856#EJX4 (statement). In W6VHD4QBY4/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
Uses WDYJZWY6YG
| URI | m2://inv/WDYJZWY6YG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klecka's tau#DQQA, Uses (example)
History
- 2026-11-02: add by m2/dev
Talagrand's concentration inequality WDYKM27Z90
| URI | m2://inv/WDYKM27Z90 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#H2BF, Talagrand's concentration inequality (statement)
- wikipedia: Wikipedia List of inequalities#3ZNJ, Talagrand's concentration inequality (statement)
History
- 2026-11-02: add by m2/dev
Coloured boundary transfer WDYRGBZ36B
| URI | m2://inv/WDYRGBZ36B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.34122#HWT9, Coloured boundary transfer (statement). In 6V2FT31QA1/e1, proposition A.1
History
- 2026-10-30: add by m2/v0.4.12
Gottfried Wilhelm Leibniz WDYX7G430Q
| URI | m2://inv/WDYX7G430Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of books about polyhedra#E14V, Gottfried Wilhelm Leibniz (topic)
History
- 2026-11-02: add by m2/dev
WDYYQZ196T WDYYQZ196T
| URI | m2://inv/WDYYQZ196T |
|---|---|
| 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.23202#VZ6M (statement)
History
- 2026-11-02: add by m2/v0.6.17
Classification of zero-drift orbits WDZ30HJ4X3
| URI | m2://inv/WDZ30HJ4X3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12434#TU9B, Classification of zero-drift orbits (statement). In YCRZC9SDCE/e1, theorem 12.1
History
- 2026-10-28: add by m2/v0.4.2
Shifted-minor formula for the upper factors WDZ4S7JNNR
| URI | m2://inv/WDZ4S7JNNR |
|---|---|
| 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#N541, Shifted-minor formula for the upper factors (statement)
History
- 2026-11-01: add by m2/v0.6.15
WDZ9QMPWVF WDZ9QMPWVF
| URI | m2://inv/WDZ9QMPWVF |
|---|---|
| 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#CZM9 (statement). In AGJE43FTF8/e1, theorem V
History
- 2026-10-27: add by m2/v0.4.2
WDZC7P6598 WDZC7P6598
| URI | m2://inv/WDZC7P6598 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09678#L6A3 (statement). In 9VG7PNZHZT/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
WDZCMEPNS3 WDZCMEPNS3
| URI | m2://inv/WDZCMEPNS3 |
|---|---|
| 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.14689#Q1SQ (statement). In 6BKMNJYNPJ/e1, theorem 4.7
History
- 2026-10-28: add by m2/v0.4.2
WDZF8F5ZAG WDZF8F5ZAG
| URI | m2://inv/WDZF8F5ZAG |
|---|---|
| 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#7CY8 (statement). In JW8HH6EPG2/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
Applications WDZH5EW675
| URI | m2://inv/WDZH5EW675 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chain rule#3JMJ, Applications (example)
History
- 2026-11-02: add by m2/dev
WDZNEV7Z10 WDZNEV7Z10
| URI | m2://inv/WDZNEV7Z10 |
|---|---|
| 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 2610.19812#WSUT (statement). In ZS89RH18QM/e1, proposition 18
History
- 2026-10-28: add by m2/v0.4.2
WDZVYFGC23 WDZVYFGC23
| URI | m2://inv/WDZVYFGC23 |
|---|---|
| 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 2607.00323#7L16 (statement). In BPRFEQY7W4/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.3.6
Affine sphere WDZYD5Z20X
| URI | m2://inv/WDZYD5Z20X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine sphere, Affine sphere (definition). Also Wikidata Q4688951
History
- 2026-11-02: add by m2/dev