Inventory rows QW
The cards of the rows of the inventory whose ids start with QW. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
QW05FQW0Y5 QW05FQW0Y5
| URI | m2://inv/QW05FQW0Y5 |
|---|---|
| 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#MHC3 (statement). In YVGRZK1HRS/e1, proposition 2.14
History
- 2026-10-29: add by m2/v0.4.10
Geometrization and Poincaré conjectures QW05SST4VM
| URI | m2://inv/QW05SST4VM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grigori Perelman#6MIM, Geometrization and Poincaré conjectures (statement)
History
- 2026-11-02: add by m2/dev
QW08DJXAJQ QW08DJXAJQ
| URI | m2://inv/QW08DJXAJQ |
|---|---|
| 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 2204.13401#I6FD (definition). In B8MJT0GGW8/e1, definition 3.21
History
- 2026-10-27: add by m2/v0.4.0
Ping Zhang QW0QHW857W
| URI | m2://inv/QW0QHW857W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YOX4, Ping Zhang (topic)
History
- 2026-11-02: add by m2/dev
QW0VNQETHZ QW0VNQETHZ
| URI | m2://inv/QW0VNQETHZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10329#9QP3 (definition). In SCSTR1Q1BW/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.10
Hiraku Nakajima QW10R2VA4Q
| URI | m2://inv/QW10R2VA4Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#K0Y2, Hiraku Nakajima (topic)
History
- 2026-11-02: add by m2/dev
QW1B2S0N94 QW1B2S0N94
| URI | m2://inv/QW1B2S0N94 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2010.04617#AAUA (definition). In P7PSTS3735/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
QW1G63PBE0 QW1G63PBE0
| URI | m2://inv/QW1G63PBE0 |
|---|---|
| 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.08226#OX30 (statement). In V6EPE8XHAD/e1, proposition 12.1
History
- 2026-10-29: add by m2/v0.4.10
Crypto skeptic QW1HX0KKCN
| URI | m2://inv/QW1HX0KKCN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptocurrency#IOHY, Crypto skeptic (unknown)
History
- 2026-11-02: add by m2/dev
QW1JZGQ4V8 QW1JZGQ4V8
| URI | m2://inv/QW1JZGQ4V8 |
|---|---|
| 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.21098#JNL4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Characteristic function (probability theory) QW1NXP75W1
| URI | m2://inv/QW1NXP75W1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2F9V, Characteristic function (probability theory) (definition)
- wikipedia: Wikipedia List of probability topics#RFR0, Characteristic function (probability theory) (definition)
History
- 2026-11-02: add by m2/dev
strange quark QW1PCY8TSA
| URI | m2://inv/QW1PCY8TSA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6763, strange quark (unknown). Also nLab strange quark
History
- 2026-10-26: add by m2/dev
Definition QW210XQ9MJ
| URI | m2://inv/QW210XQ9MJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graphoid#X0KB, Definition (definition)
History
- 2026-11-02: add by m2/dev
QW21QEEDPX QW21QEEDPX
| URI | m2://inv/QW21QEEDPX |
|---|---|
| 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 2609.25255#U95B (statement)
History
- 2026-11-01: add by m2/v0.6.15
Blok-Esakia isomorphism QW23WWVMEJ
| URI | m2://inv/QW23WWVMEJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modal companion#576B, Blok-Esakia isomorphism (unknown)
History
- 2026-11-02: add by m2/dev
Allen Hatcher QW24EMK0NB
| URI | m2://inv/QW24EMK0NB |
|---|---|
| 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 Q2837899, Allen Hatcher (unknown). Also nLab Allen Hatcher
- wikipedia: Wikipedia Allen Hatcher, Allen Hatcher (topic). Also Wikidata Q2837899
History
- 2026-10-26: add by m2/dev
QW27TNFY5T QW27TNFY5T
| URI | m2://inv/QW27TNFY5T |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#proof-6 (proof). In E59CDZA4DP, proof, section 10.2.1
History
- 2026-11-01: add by m2/v0.6.13
QW27YZYEJY QW27YZYEJY
| URI | m2://inv/QW27YZYEJY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#definition-1 (definition). In RZP28ERRZV, definition, section 60.1.1
History
- 2026-11-01: add by m2/v0.6.13
QW29BSF55C QW29BSF55C
| URI | m2://inv/QW29BSF55C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33841#3459 (definition). In 3CVQHT206K/e1, definition 4.6
History
- 2026-10-30: add by m2/v0.4.12
Special classes of semigroups QW2E8F41S8
| URI | m2://inv/QW2E8F41S8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Special classes of semigroups, Special classes of semigroups (definition). Also Wikidata Q7574800
History
- 2026-11-02: add by m2/dev
QW2J0Y3685 QW2J0Y3685
| URI | m2://inv/QW2J0Y3685 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#example-20 (example). In E59CDZA4DP, example, section 2.5.2
History
- 2026-11-01: add by m2/v0.6.13
QW2VJXBZ7H QW2VJXBZ7H
| URI | m2://inv/QW2VJXBZ7H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 95.3
History
- 2026-11-01: add by m2/v0.6.13
QW32WY7032 QW32WY7032
| URI | m2://inv/QW32WY7032 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#RC-initial-Cauchy-complete (statement). In N54F33XE07, thm, section B.3.4
History
- 2026-11-01: add by m2/v0.6.13
Roulette QW33THDRMB
| URI | m2://inv/QW33THDRMB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#XSHN, Roulette (unknown)
History
- 2026-11-02: add by m2/dev
Matthew Foreman QW38FJ0V2R
| URI | m2://inv/QW38FJ0V2R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matthew Foreman, Matthew Foreman (topic). Also Wikidata Q2778296
History
- 2026-11-02: add by m2/dev
QW3H9T8P52 QW3H9T8P52
| URI | m2://inv/QW3H9T8P52 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2609.27751#XH5Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
QW3SCFSMQS QW3SCFSMQS
| URI | m2://inv/QW3SCFSMQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#WFWG (statement). In 2VHV0RNTNV/e1, corollary 6.5
History
- 2026-10-29: add by m2/v0.4.12
Eduard Zehnder QW3ZC639NR
| URI | m2://inv/QW3ZC639NR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eduard Zehnder, Eduard Zehnder (topic). Also Wikidata Q118292
History
- 2026-11-02: add by m2/dev
Lassi Päivärinta QW41K89HC2
| URI | m2://inv/QW41K89HC2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lassi Päivärinta, Lassi Päivärinta (topic). Also Wikidata Q128436
History
- 2026-11-02: add by m2/dev
QW436CRP0B QW436CRP0B
| URI | m2://inv/QW436CRP0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#O5FB (statement). In F3BKXXPR3K/e1, theorem A.2
History
- 2026-10-27: add by m2/v0.4.2
chi-squared test QW43BRPSP9
| URI | m2://inv/QW43BRPSP9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#CK7A, chi-squared test (definition)
History
- 2026-11-02: add by m2/dev
Monty Hall problem QW4CE0YX6Z
| URI | m2://inv/QW4CE0YX6Z |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#T22I, Monty Hall problem (problem)
History
- 2026-11-02: add by m2/dev
principal QW4KKEA0WR
| URI | m2://inv/QW4KKEA0WR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#98L7, principal (definition)
History
- 2026-11-02: add by m2/dev
Divisor QW51XYXNF3
| URI | m2://inv/QW51XYXNF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#SMK7, Divisor (definition)
History
- 2026-11-02: add by m2/dev
Two-point polynomial criterion QW536MR24D
| URI | m2://inv/QW536MR24D |
|---|---|
| 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 2610.00115#V6DB, Two-point polynomial criterion (statement). In JK8PYKCZRA/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
semi-decidable theory QW56HMAB1D
| URI | m2://inv/QW56HMAB1D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#AI56, semi-decidable theory (definition)
History
- 2026-11-02: add by m2/dev
Mach's principle in general relativity QW5EDEVE9Y
| URI | m2://inv/QW5EDEVE9Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mach's principle#F20N, Mach's principle in general relativity (statement)
History
- 2026-11-02: add by m2/dev
QW5F6P4G4T QW5F6P4G4T
| URI | m2://inv/QW5F6P4G4T |
|---|---|
| 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.14741#3T1S (statement). In RK1VPWWX9E/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
QW5GCNMXFA QW5GCNMXFA
| URI | m2://inv/QW5GCNMXFA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18101#P2I5 (statement). In XXN6KKXPYF/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
implicitization QW5KPXFX3D
| URI | m2://inv/QW5KPXFX3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parametric equation#0CZ2, implicitization (definition)
History
- 2026-11-02: add by m2/dev
Models QW5MRF2QNH
| URI | m2://inv/QW5MRF2QNH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33679#M9NZ, Models (definition). In 3N9E9T6AF5/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Signal-to-noise statistic QW5Q8PY263
| URI | m2://inv/QW5Q8PY263 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signal-to-noise statistic, Signal-to-noise statistic (definition). Also Wikidata Q7512617
History
- 2026-11-02: add by m2/dev
Magnetorotational instability QW5SXCNB3F
| URI | m2://inv/QW5SXCNB3F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetorotational instability, Magnetorotational instability (definition). Also Wikidata Q381093
History
- 2026-11-02: add by m2/dev
Lumped-element model QW5T7TM83J
| URI | m2://inv/QW5T7TM83J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lumped-element model, Lumped-element model (definition). Also Wikidata Q2087545
History
- 2026-11-02: add by m2/dev
QW5V0T7RP3 QW5V0T7RP3
| URI | m2://inv/QW5V0T7RP3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31243#UJQ7 (statement). In E8FP48FJMZ/e1, corollary 8.4
History
- 2026-10-31: add by m2/v0.5.6
Leopoldt's conjecture QW5YQZ7Z3C
| URI | m2://inv/QW5YQZ7Z3C |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leopoldt's conjecture, Leopoldt's conjecture (conjecture). Also Wikidata Q2993327
History
- 2026-11-02: add by m2/dev
Example QW60Y2QWF1
| URI | m2://inv/QW60Y2QWF1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphism of schemes#YPUI, Example (example)
History
- 2026-11-02: add by m2/dev
Victor Kolyvagin QW63DXW5FK
| URI | m2://inv/QW63DXW5FK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victor Kolyvagin, Victor Kolyvagin (topic). Also Wikidata Q726706
History
- 2026-11-02: add by m2/dev
Definitions QW65XWEFQK
| URI | m2://inv/QW65XWEFQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev polynomials#JR95, Definitions (definition)
History
- 2026-11-02: add by m2/dev
QW6AFQP9TZ QW6AFQP9TZ
| URI | m2://inv/QW6AFQP9TZ |
|---|---|
| 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 2411.16655#587Z (definition). In EJHAXRV685/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
Leibniz's linear differential equation QW6CMJ0HN6
| URI | m2://inv/QW6CMJ0HN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz#N782, Leibniz's linear differential equation (definition)
History
- 2026-11-02: add by m2/dev
Constant-Q transform QW6FEKY3GA
| URI | m2://inv/QW6FEKY3GA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constant-Q transform, Constant-Q transform (definition). Also Wikidata Q5163634
History
- 2026-11-02: add by m2/dev
QW6KNQM3J3 QW6KNQM3J3
| URI | m2://inv/QW6KNQM3J3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10406#JLBF (statement). In VQA35Q7C00/e1, theorem 2.9
History
- 2026-10-29: add by m2/v0.4.10
Global well-posedness for small data QW6Q8X461N
| URI | m2://inv/QW6Q8X461N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08074#XIPW, Global well-posedness for small data (statement). In ZRPYF750AV/e1, corollary 3.10
History
- 2026-10-29: add by m2/v0.4.10
QW6RW6JG9B QW6RW6JG9B
| URI | m2://inv/QW6RW6JG9B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19058#DNLR (statement). In 9ZW1ZG8ERQ/e1, fact
History
- 2026-10-28: add by m2/v0.4.2
QW6X830F0A QW6X830F0A
| URI | m2://inv/QW6X830F0A |
|---|---|
| Kind | definition |
| 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.15169#USV1 (definition). In V7SN19J84T/e1, definition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Definition QW71K2N0DR
| URI | m2://inv/QW71K2N0DR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotor (mathematics)#2QZL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Cabtaxi number QW78NMC1QR
| URI | m2://inv/QW78NMC1QR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#FTQ3, Cabtaxi number (definition)
History
- 2026-11-02: add by m2/dev
Other extension theorems QW79R7D0BP
| URI | m2://inv/QW79R7D0BP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Szpilrajn extension theorem#ZMIW, Other extension theorems (statement)
History
- 2026-11-02: add by m2/dev
Ludwig Schläfli QW7F7A5A28
| URI | m2://inv/QW7F7A5A28 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ludwig Schläfli, Ludwig Schläfli (topic). Also Wikidata Q669576
History
- 2026-11-02: add by m2/dev
Virtuality fallacy QW7PXX1CWJ
| URI | m2://inv/QW7PXX1CWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virtuality fallacy, Virtuality fallacy (definition). Also Wikidata Q25056805
History
- 2026-11-02: add by m2/dev
Automorphic collineation QW7R4YBJX6
| URI | m2://inv/QW7R4YBJX6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collineation#PRKK, Automorphic collineation (unknown)
History
- 2026-11-02: add by m2/dev
Distinct exponents QW8196AYW1
| URI | m2://inv/QW8196AYW1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#K50V, Distinct exponents (statement). In KR7WXN4EWR/e1, lemma 6.5
History
- 2026-10-29: add by m2/v0.4.12
QW82BFGEYJ QW82BFGEYJ
| URI | m2://inv/QW82BFGEYJ |
|---|---|
| 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.00625#5A65 (statement). In BGA625B7W1/e1, corollary 2.7
History
- 2026-10-30: add by m2/v0.4.12
Werner state QW82YADT5Y
| URI | m2://inv/QW82YADT5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Werner state, Werner state (definition). Also Wikidata Q7983528
History
- 2026-11-02: add by m2/dev
QW85Q1775H QW85Q1775H
| URI | m2://inv/QW85Q1775H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
QW8F490QJ9 QW8F490QJ9
| URI | m2://inv/QW8F490QJ9 |
|---|---|
| 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.18555#665O (statement). In JPR62EY6A5/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.2
Definition QW8G25F062
| URI | m2://inv/QW8G25F062 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brahmagupta polynomials#VUUN, Definition (definition)
History
- 2026-11-02: add by m2/dev
QW8PTTWC5H QW8PTTWC5H
| URI | m2://inv/QW8PTTWC5H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-4.xml#activity-2 (exercise). In 649HGZKE96, activity, section 4.4.3
History
- 2026-11-01: add by m2/v0.6.13
Ozawa QW8X4E7WNX
| URI | m2://inv/QW8X4E7WNX |
|---|---|
| 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.18106#O9BI, Ozawa (statement). In VZDPG7NJCX/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
James A. Wilson QW907FYY0B
| URI | m2://inv/QW907FYY0B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James A. Wilson, James A. Wilson (topic). Also Wikidata Q6128319
History
- 2026-11-02: add by m2/dev
Jane M. Hawkins QW90AAAFX7
| URI | m2://inv/QW90AAAFX7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#O6DA, Jane M. Hawkins (topic)
History
- 2026-11-02: add by m2/dev
QW90NCQ25H QW90NCQ25H
| URI | m2://inv/QW90NCQ25H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv alg-geom/9506022#EZ0Q (statement). In AQGEM4XAKD/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.5
QW9152RD1P QW9152RD1P
| URI | m2://inv/QW9152RD1P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#RVO1 (statement). In A1GWWGRXPA/e1, proposition 3.55
History
- 2026-10-27: add by m2/v0.4.2
Bernard Delfont QW91R2C03H
| URI | m2://inv/QW91R2C03H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#2PDU, Bernard Delfont (unknown)
History
- 2026-11-02: add by m2/dev
QW94V07CAT QW94V07CAT
| URI | m2://inv/QW94V07CAT |
|---|---|
| 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.30527#AORI (statement). In E3WQDZY388/e1, corollary 4.11
History
- 2026-10-31: add by m2/v0.5.6
QW97GFA476 QW97GFA476
| URI | m2://inv/QW97GFA476 |
|---|---|
| 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.30165#UWFB (statement)
History
- 2026-11-01: add by m2/v0.6.15
QW97VFPSGF QW97VFPSGF
| URI | m2://inv/QW97VFPSGF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_probability_exercises.ptx#exercise-4 (exercise). In QKM9DD2H56, exercise, section 10
History
- 2026-11-01: add by m2/v0.6.13
QW99SKAJ38 QW99SKAJ38
| URI | m2://inv/QW99SKAJ38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10233#RR95 (statement). In QR9WE79ERQ/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.10
Twelfth root of two QW9CCVEP1G
| URI | m2://inv/QW9CCVEP1G |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twelfth root of two, Twelfth root of two (object). Also Wikidata Q4919430
History
- 2026-11-02: add by m2/dev
QW9MRKMHR0 QW9MRKMHR0
| URI | m2://inv/QW9MRKMHR0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21090#LMAJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
QW9WYYN7MH QW9WYYN7MH
| URI | m2://inv/QW9WYYN7MH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-sheaf.tex#example-6 (example). In RZP28ERRZV, example, section 27.6
History
- 2026-11-01: add by m2/v0.6.13
QW9YSH9DG1 QW9YSH9DG1
| URI | m2://inv/QW9YSH9DG1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28357#DCT5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Static lower bound QW9ZBAQ88X
| URI | m2://inv/QW9ZBAQ88X |
|---|---|
| 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.20187#3B8C, Static lower bound (statement). In N280AVNNBY/e1, lemma C.3
History
- 2026-10-27: add by m2/v0.4.2
QWA58E1XAB QWA58E1XAB
| URI | m2://inv/QWA58E1XAB |
|---|---|
| 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.28075#B6IR (statement)
History
- 2026-11-01: add by m2/v0.6.15
QWAGCGA8HA QWAGCGA8HA
| URI | m2://inv/QWAGCGA8HA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.07485#RYVH (statement). In 8KAC1E81JQ/e1, theorem 10
History
- 2026-10-27: add by m2/v0.3.5
Definition QWAGG77K08
| URI | m2://inv/QWAGG77K08 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Membership function (mathematics)#5J3R, Definition (definition)
History
- 2026-11-02: add by m2/dev
Spectral Galerkin spaces on a rectangular domain QWAH9B8BV1
| URI | m2://inv/QWAH9B8BV1 |
|---|---|
| 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 2609.33033#BALN, Spectral Galerkin spaces on a rectangular domain (statement). In AJWBAHJ8VD/e1, proposition 5.11
History
- 2026-10-31: add by m2/v0.5.6
QWAP9M0T19 QWAP9M0T19
| URI | m2://inv/QWAP9M0T19 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36313#R3AO (statement). In Z5SP3NW41S/e1, proposition 3.4
History
- 2026-10-30: add by m2/v0.4.12
QWAW7K181R QWAW7K181R
| URI | m2://inv/QWAW7K181R |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.07573#LXAL (example). In 78X5SKJX8J/e1, example 7.7
History
- 2026-10-27: add by m2/v0.3.5
Logical laws as constitutive of rational thought QWBCVFW8M3
| URI | m2://inv/QWBCVFW8M3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of thought#20K5, Logical laws as constitutive of rational thought (statement)
History
- 2026-11-02: add by m2/dev
Grothendieck's axioms QWBD1Y4X7Z
| URI | m2://inv/QWBD1Y4X7Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abelian category#V1BV, Grothendieck's axioms (statement)
History
- 2026-11-02: add by m2/dev
Corollary QWBEPBG5S0
| URI | m2://inv/QWBEPBG5S0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic sector#JOHD, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Example QWBG65T5Y7
| URI | m2://inv/QWBG65T5Y7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial code#MVO0, Example (example)
History
- 2026-11-02: add by m2/dev
Zariski–Riemann space QWBKB5865H
| URI | m2://inv/QWBKB5865H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#23LH, Zariski–Riemann space (definition)
History
- 2026-11-02: add by m2/dev
Partition regular QWBMHGW499
| URI | m2://inv/QWBMHGW499 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exceptional set concepts#7YFC, Partition regular (definition)
History
- 2026-11-02: add by m2/dev
Structure theorem for general algebraic groups QWBN7CPYF7
| URI | m2://inv/QWBN7CPYF7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic group#K297, Structure theorem for general algebraic groups (statement)
History
- 2026-11-02: add by m2/dev
Chen's theorem QWBPR42Z73
| URI | m2://inv/QWBPR42Z73 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#XR43, Chen's theorem (statement)
History
- 2026-11-02: add by m2/dev
Atomic formulas QWBSW66VBA
| URI | m2://inv/QWBSW66VBA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dependence logic#T03G, Atomic formulas (statement)
History
- 2026-11-02: add by m2/dev
Connected groupoid QWC2G952WC
| URI | m2://inv/QWC2G952WC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Groupoid#375Z, Connected groupoid (unknown)
History
- 2026-11-02: add by m2/dev
QWC3WGJFQE QWC3WGJFQE
| URI | m2://inv/QWC3WGJFQE |
|---|---|
| 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 2412.20001#9EAR (statement). In Y6YJSB93C3/e1, theorem 10
History
- 2026-10-27: add by m2/v0.3.5
QWCEPHM9GY QWCEPHM9GY
| URI | m2://inv/QWCEPHM9GY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#ex-2 (example). In PKGMM3P5QY, ex, section 19.8
History
- 2026-11-01: add by m2/v0.6.13
Adolf Lindenbaum QWCRE7VA8H
| URI | m2://inv/QWCRE7VA8H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#O8KZ, Adolf Lindenbaum (topic)
History
- 2026-11-02: add by m2/dev
Example QWD640S06E
| URI | m2://inv/QWD640S06E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van der Waerden's theorem#YJ6S, Example (example)
History
- 2026-11-02: add by m2/dev
QWD7FMY8PG QWD7FMY8PG
| URI | m2://inv/QWD7FMY8PG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10545#1LN1 (statement). In ZA75D59G8K/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Nikolay Korobov QWD8ACQV09
| URI | m2://inv/QWD8ACQV09 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikolay Korobov, Nikolay Korobov (topic). Also Wikidata Q4233543
History
- 2026-11-02: add by m2/dev
QWDE2JB0VA QWDE2JB0VA
| URI | m2://inv/QWDE2JB0VA |
|---|---|
| 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.12857#2N4P (statement). In XJWQ6Y83F8/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Inverse Galois problem QWDM6H77ES
| URI | m2://inv/QWDM6H77ES |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#8HM0, Inverse Galois problem (conjecture)
History
- 2026-11-02: add by m2/dev
sextic QWDW3STF3P
| URI | m2://inv/QWDW3STF3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#TTR8, sextic (definition)
History
- 2026-11-02: add by m2/dev
\bf Reduced echelon form QWDW86RF7V
| URI | m2://inv/QWDW86RF7V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37893#B0Q2, \bf Reduced echelon form (definition). In 8H0KHK7AMN/e1, definition 4.2
History
- 2026-10-30: add by m2/v0.4.12
QWE391HESZ QWE391HESZ
| URI | m2://inv/QWE391HESZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:convexhartogs (exercise). In VNMV985MXX, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Anyon QWEA8T0DZS
| URI | m2://inv/QWEA8T0DZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#OQIH, Anyon (definition)
- wikipedia: Wikipedia List of mathematical topics in quantum theory#IHTL, Anyon (definition)
History
- 2026-11-02: add by m2/dev
Integer factorization QWEDQ4VRVK
| URI | m2://inv/QWEDQ4VRVK |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#AZHL, Integer factorization (conjecture)
History
- 2026-11-02: add by m2/dev
Matching Bounds at Fixed Entropy Rate QWEN1GZJX6
| URI | m2://inv/QWEN1GZJX6 |
|---|---|
| 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 2610.02407#FKWJ, Matching Bounds at Fixed Entropy Rate (statement). In ZZER8ZBSCR/e1, corollary 5.13
History
- 2026-10-29: add by m2/v0.4.12
Infinite monkey theorem QWEYMR5J0Y
| URI | m2://inv/QWEYMR5J0Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q487132, Infinite monkey theorem (statement). Also Wikidata Q487132
- thousand_plus: thousand_plus Q487132, Infinite monkey theorem (statement). Also Wikidata Q487132, Wikipedia Infinite monkey theorem
- wikipedia: Wikipedia Infinite monkey theorem, Infinite monkey theorem (statement). Also Wikidata Q487132
History
- 2026-10-26: add by m2/dev
Formal definition QWEYX148VR
| URI | m2://inv/QWEYX148VR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Good spanning tree#PJ2M, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Transference theorems QWF35501JZ
| URI | m2://inv/QWF35501JZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual lattice#V975, Transference theorems (statement)
History
- 2026-11-02: add by m2/dev
Friedhelm Waldhausen QWF7P2102V
| URI | m2://inv/QWF7P2102V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#O9XG, Friedhelm Waldhausen (topic)
History
- 2026-11-02: add by m2/dev
Higher order uniformity of $\Lambda$ QWFEDXK96P
| URI | m2://inv/QWFEDXK96P |
|---|---|
| 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.09567#YMX1, Higher order uniformity of $\Lambda$ (statement). In 7RV6BDZAFK/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Properties QWFFQ470YA
| URI | m2://inv/QWFFQ470YA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaniadakis exponential distribution#ZZ2M, Properties (statement)
History
- 2026-11-02: add by m2/dev
Identification from fair-binary calibration QWFFRK01AF
| URI | m2://inv/QWFFRK01AF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#JUK3, Identification from fair-binary calibration (statement). In 9YAE8FNQST/e1, theorem 30.1
History
- 2026-10-30: add by m2/v0.4.12
QWFG5YNARS QWFG5YNARS
| URI | m2://inv/QWFG5YNARS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40191#HNLT (statement). In F0D8VSM4Z4/e1, proposition 6.8
History
- 2026-10-30: add by m2/v0.4.12
Anton Zorich QWFV35S6EW
| URI | m2://inv/QWFV35S6EW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PYKD, Anton Zorich (topic)
History
- 2026-11-02: add by m2/dev
QWFVD3ZJBR QWFVD3ZJBR
| URI | m2://inv/QWFVD3ZJBR |
|---|---|
| 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.28664#15NS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition QWG14E9V9Y
| URI | m2://inv/QWG14E9V9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypograph (mathematics)#TG40, Definition (definition)
History
- 2026-11-02: add by m2/dev
Morris Hirsch QWGAGK0F5X
| URI | m2://inv/QWGAGK0F5X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#L21S, Morris Hirsch (topic)
History
- 2026-11-02: add by m2/dev
Copying network models QWGAQF2V0D
| URI | m2://inv/QWGAQF2V0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Copying network models, Copying network models (definition). Also Wikidata Q48999538
History
- 2026-11-02: add by m2/dev
Otomar Hájek QWGJ6XCH2C
| URI | m2://inv/QWGJ6XCH2C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Otomar Hájek, Otomar Hájek (topic). Also Wikidata Q7108972
History
- 2026-11-02: add by m2/dev
QWGMWV0MYV QWGMWV0MYV
| URI | m2://inv/QWGMWV0MYV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-zariski.tex#definition-7 (definition). In RZP28ERRZV, definition, section 28.4
History
- 2026-11-01: add by m2/v0.6.13
Leonty Magnitsky QWGN4T81QX
| URI | m2://inv/QWGN4T81QX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leonty Magnitsky, Leonty Magnitsky (topic). Also Wikidata Q2636609
History
- 2026-11-02: add by m2/dev
Nonwandering set QWGX21HS4E
| URI | m2://inv/QWGX21HS4E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wandering set#D4ZU, Nonwandering set (unknown)
History
- 2026-11-02: add by m2/dev
QWH0VEHYJ7 QWH0VEHYJ7
| URI | m2://inv/QWH0VEHYJ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/holomorphic.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 39.7.1
History
- 2026-11-01: add by m2/v0.6.13
solid of revolution QWH9WJZ67B
| URI | m2://inv/QWH9WJZ67B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/6.2.2/solid-of-revolution, solid of revolution (concept). In 907G4C4EJ1, index, section 6.2.2
History
- 2026-11-01: add by m2/v0.6.13
Stackelberg competition QWHABS4ND2
| URI | m2://inv/QWHABS4ND2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stackelberg competition, Stackelberg competition (definition). Also Wikidata Q1184602
History
- 2026-11-02: add by m2/dev
Example QWHAE4QA63
| URI | m2://inv/QWHAE4QA63 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green's relations#ODEF, Example (example)
History
- 2026-11-02: add by m2/dev
Stefanie Petermichl QWHCJ6BWTM
| URI | m2://inv/QWHCJ6BWTM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stefanie Petermichl, Stefanie Petermichl (topic). Also Wikidata Q1576014
History
- 2026-11-02: add by m2/dev
Krein–Smulian QWHDHNBM03
| URI | m2://inv/QWHDHNBM03 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#8ZHP, Krein–Smulian (definition)
History
- 2026-11-02: add by m2/dev
Goldstone's theorem QWHF439006
| URI | m2://inv/QWHF439006 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5AB4, Goldstone's theorem (definition)
History
- 2026-11-02: add by m2/dev
MaxDiff QWHKD8KZ95
| URI | m2://inv/QWHKD8KZ95 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MaxDiff, MaxDiff (topic). Also Wikidata Q6794499
History
- 2026-11-02: add by m2/dev
Einstein manifold QWHNTCXSEC
| URI | m2://inv/QWHNTCXSEC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#EZQG, Einstein manifold (definition)
- wikipedia: Wikipedia List of manifolds#FXGJ, Einstein manifold (definition)
History
- 2026-11-02: add by m2/dev
QWHPMRYJ0C QWHPMRYJ0C
| URI | m2://inv/QWHPMRYJ0C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32599#7D7Q (definition). In E1Y93JNBJA/e1, definition 1.21
History
- 2026-10-31: add by m2/v0.5.6
QWHSPP0GF8 QWHSPP0GF8
| URI | m2://inv/QWHSPP0GF8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01731#4AQG (statement). In 3TJ2FWXQ0D/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.12
CSS parameters; binary case QWJBDGPKB5
| URI | m2://inv/QWJBDGPKB5 |
|---|---|
| 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.28028#MGZJ, CSS parameters; binary case (statement)
History
- 2026-11-01: add by m2/v0.6.15
QWJC9EATP9 QWJC9EATP9
| URI | m2://inv/QWJC9EATP9 |
|---|---|
| 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 1907.01440#LLDT (statement). In QDRYC6WJJ7/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Maximal ring of quotients QWJCQ1K1N1
| URI | m2://inv/QWJCQ1K1N1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dense submodule#O8JQ, Maximal ring of quotients (unknown)
History
- 2026-11-02: add by m2/dev
Blocking QWJN1WYMM3
| URI | m2://inv/QWJN1WYMM3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blocking (statistics), Blocking (definition). Also Wikidata Q4927286
History
- 2026-11-02: add by m2/dev
T-statistic QWJRS312NK
| URI | m2://inv/QWJRS312NK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#T4K7, T-statistic (definition)
History
- 2026-11-02: add by m2/dev
quotient group QWK291BRYE
| URI | m2://inv/QWK291BRYE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Quotient group 0KYX2N69J0 |
Mentions
- wikidata: Wikidata Q1138961, quotient group (unknown). Also EoM Quotient_group, MathWorld QuotientGroup, nLab quotient group
- wikipedia: Wikipedia Quotient group, Quotient group (definition). Also Wikidata Q1138961
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Basic properties, conditionally QWK5GG0K5V
| URI | m2://inv/QWK5GG0K5V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#9FH2, Basic properties, conditionally (statement)
History
- 2026-11-01: add by m2/v0.6.15
Weak pullback QWKAKBYX4G
| URI | m2://inv/QWKAKBYX4G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pullback (category theory)#Q1LM, Weak pullback (unknown)
History
- 2026-11-02: add by m2/dev
QWKBZ5ZKST QWKBZ5ZKST
| URI | m2://inv/QWKBZ5ZKST |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-68 (exercise). In E59CDZA4DP, exercise, section 1.8.7
History
- 2026-11-01: add by m2/v0.6.13
Definition QWKFHVF1CA
| URI | m2://inv/QWKFHVF1CA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional entropy#S50E, Definition (definition)
History
- 2026-11-02: add by m2/dev
QWKH8J5CSJ QWKH8J5CSJ
| URI | m2://inv/QWKH8J5CSJ |
|---|---|
| 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.26017#5B25 (statement)
History
- 2026-11-01: add by m2/v0.6.15
QWKHQBM189 QWKHQBM189
| URI | m2://inv/QWKHQBM189 |
|---|---|
| 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 1907.01440#CBDG (statement). In QDRYC6WJJ7/e1, corollary 2
History
- 2026-10-27: add by m2/v0.3.5
QWKMQB5PNN QWKMQB5PNN
| URI | m2://inv/QWKMQB5PNN |
|---|---|
| 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.15217#K896 (statement). In G70Q2FB591/e1, proposition 3.18
History
- 2026-10-28: add by m2/v0.4.2
QWKPE08DMP QWKPE08DMP
| URI | m2://inv/QWKPE08DMP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#C5ZA (statement). In 9ZD87293QS/e1, corollary 3.16
History
- 2026-10-27: add by m2/v0.4.0
Dodecagonal prism QWKWGT77HZ
| URI | m2://inv/QWKWGT77HZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dodecagonal prism, Dodecagonal prism (definition). Also Wikidata Q3100778
History
- 2026-11-02: add by m2/dev
Geometric topology QWKYPP99AY
| URI | m2://inv/QWKYPP99AY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#IFGD, Geometric topology (definition)
History
- 2026-11-02: add by m2/dev
Examples QWM9CRDVB8
| URI | m2://inv/QWM9CRDVB8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point process#72Y1, Examples (example)
History
- 2026-11-02: add by m2/dev
A finite presentation of $\mathsf V$ by boundary flips and shuffles QWMA74R4X0
| URI | m2://inv/QWMA74R4X0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07293#GEP5, A finite presentation of $\mathsf V$ by boundary flips and shuffles (statement). In V1GVYM0WQG/e1, theorem 6.3
History
- 2026-10-29: add by m2/v0.4.10
Applications QWMCV385KA
| URI | m2://inv/QWMCV385KA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chordal completion#8FUJ, Applications (example)
History
- 2026-11-02: add by m2/dev
Normalization theorem QWMQ5XV89X
| URI | m2://inv/QWMQ5XV89X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal form (natural deduction)#UBAG, Normalization theorem (statement)
History
- 2026-11-02: add by m2/dev
Cases where the axiom of choice is not needed QWMSFF1G76
| URI | m2://inv/QWMSFF1G76 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of choice#UFFW, Cases where the axiom of choice is not needed (statement)
History
- 2026-11-02: add by m2/dev
Inverse Gram moments QWMWWWZFVP
| URI | m2://inv/QWMWWWZFVP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05498#E8UL, Inverse Gram moments (statement). In TJT32RQ9GC/e1, corollary 6.12
History
- 2026-10-29: add by m2/v0.4.10
SCORUS QWN0EA8NTA
| URI | m2://inv/QWN0EA8NTA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SCORUS, SCORUS (definition). Also Wikidata Q7389243
History
- 2026-11-02: add by m2/dev
Fourier's law of heat conduction QWN5SAHKP5
| URI | m2://inv/QWN5SAHKP5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph Fourier#ZE8J, Fourier's law of heat conduction (definition)
History
- 2026-11-02: add by m2/dev
QWNASQHD14 QWNASQHD14
| URI | m2://inv/QWNASQHD14 |
|---|---|
| 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 2609.35360#8OA4 (statement). In 770AQ8T366/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
propositional, resizing QWNE3HKB2F
| URI | m2://inv/QWNE3HKB2F |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.4/propositional-resizing, propositional, resizing (concept). In N54F33XE07, index, section C.1.4
History
- 2026-11-01: add by m2/v0.6.13
QWNESKWS4W QWNESKWS4W
| URI | m2://inv/QWNESKWS4W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.02275#48CV (definition). In 1QXCNGRWV1/e1, definition 2.9
History
- 2026-10-27: add by m2/v0.3.5
QWNKC5ZQH1 QWNKC5ZQH1
| URI | m2://inv/QWNKC5ZQH1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40189#XJM3 (statement). In K2MDWD9V46/e1, theorem 3.9
History
- 2026-10-30: add by m2/v0.4.12
QWNNEEZ17X QWNNEEZ17X
| URI | m2://inv/QWNNEEZ17X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33406#JGGB (statement). In B23TX8G4E4/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Toka Diagana QWNR05QCQ3
| URI | m2://inv/QWNR05QCQ3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toka Diagana, Toka Diagana (topic). Also Wikidata Q72370801
History
- 2026-11-02: add by m2/dev
Fred Oswald QWNX6JAQDA
| URI | m2://inv/QWNX6JAQDA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fred Oswald, Fred Oswald (topic). Also Wikidata Q132147065
History
- 2026-11-02: add by m2/dev
QWPAYFG57Y QWPAYFG57Y
| URI | m2://inv/QWPAYFG57Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04046#D262 (statement). In 3THDT8WNF7/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.12
QWPQCHBXBZ QWPQCHBXBZ
| URI | m2://inv/QWPQCHBXBZ |
|---|---|
| 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.34168#QAL9 (statement). In 30YQV8N04M/e1, corollary 9.2
History
- 2026-10-30: add by m2/v0.4.12
uniqueness, principle, propositional, for functions on $\w$-types QWPQF411QX
| URI | m2://inv/QWPQF411QX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.3/uniqueness-principle-propositional-for-functions-on-w-types, uniqueness, principle, propositional, for functions on $\w$-types (concept). In N54F33XE07, index, section 8.3
History
- 2026-11-01: add by m2/v0.6.13
Virasoro operator QWPRA4PHMH
| URI | m2://inv/QWPRA4PHMH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virasoro algebra#HR7Q, Virasoro operator (unknown)
History
- 2026-11-02: add by m2/dev
Weinstein conjecture QWPXRH6ADS
| URI | m2://inv/QWPXRH6ADS |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#GB2C, Weinstein conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
QWQ2VY4BT7 QWQ2VY4BT7
| URI | m2://inv/QWQ2VY4BT7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20675#U5Q1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Morisita's overlap index QWQ999B7H2
| URI | m2://inv/QWQ999B7H2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morisita's overlap index, Morisita's overlap index (definition). Also Wikidata Q11224950
History
- 2026-11-02: add by m2/dev
vertical tangent QWQBQQVQ9N
| URI | m2://inv/QWQBQQVQ9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2908441, vertical tangent (unknown). Also MathWorld VerticalTangent
- wikipedia: Wikipedia Vertical tangent, Vertical tangent (definition). Also Wikidata Q2908441
History
- 2026-10-26: add by m2/dev
QWQNJA6VT6 QWQNJA6VT6
| URI | m2://inv/QWQNJA6VT6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-9 (exercise). In QKM9DD2H56, exercise, section 7
History
- 2026-11-01: add by m2/v0.6.13
QWQVGCPZM9 QWQVGCPZM9
| URI | m2://inv/QWQVGCPZM9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37893#NPP5 (definition). In 8H0KHK7AMN/e1, definition 1.1
History
- 2026-10-30: add by m2/v0.4.12
The principle QWRAYKHZ08
| URI | m2://inv/QWRAYKHZ08 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal component regression#ZBFP, The principle (statement)
History
- 2026-11-02: add by m2/dev
certified QWRC2AC2K9
| URI | m2://inv/QWRC2AC2K9 |
|---|---|
| Kind | counterexample |
| 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.27908#OICM, certified (counterexample)
History
- 2026-11-01: add by m2/v0.6.15
Data verification QWRDTNVDWG
| URI | m2://inv/QWRDTNVDWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data verification, Data verification (definition). Also Wikidata Q5227368
History
- 2026-11-02: add by m2/dev
Properties QWRG1PJC7X
| URI | m2://inv/QWRG1PJC7X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antiprism#XVTF, Properties (statement)
History
- 2026-11-02: add by m2/dev
Log-concave functions QWRHW8MNCW
| URI | m2://inv/QWRHW8MNCW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21033#M7Y0, Log-concave functions (definition). In A8C1M9BSWH/e1, definition 8.3
History
- 2026-10-27: add by m2/v0.4.2
Transfinite number QWS6WB1R7G
| URI | m2://inv/QWS6WB1R7G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#8NMN, Transfinite number (definition)
History
- 2026-11-02: add by m2/dev
Fracture toughness QWS7JGD1WJ
| URI | m2://inv/QWS7JGD1WJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fracture toughness, Fracture toughness (definition). Also Wikidata Q911969
History
- 2026-11-02: add by m2/dev
Trigonometric table QWS92TTMP5
| URI | m2://inv/QWS92TTMP5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric table, Trigonometric table (definition). Also Wikidata Q787322
History
- 2026-11-02: add by m2/dev
Demographics of the Middle East QWSAAH2732
| URI | m2://inv/QWSAAH2732 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of the Middle East, Demographics of the Middle East (definition). Also Wikidata Q5256114
History
- 2026-11-02: add by m2/dev
Formulas QWSFY0KM1S
| URI | m2://inv/QWSFY0KM1S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sample size determination#ZDOY, Formulas (statement)
History
- 2026-11-02: add by m2/dev
QWSFZ0YM11 QWSFZ0YM11
| URI | m2://inv/QWSFZ0YM11 |
|---|---|
| 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 1905.00573#YX8S (statement). In 74RNQVBM2G/e1, corollary 3.23
History
- 2026-10-27: add by m2/v0.3.5
Weyl QWSMYE1F0J
| URI | m2://inv/QWSMYE1F0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#39HF, Weyl (definition)
History
- 2026-11-02: add by m2/dev
Projection identities QWSQY1ZRNB
| URI | m2://inv/QWSQY1ZRNB |
|---|---|
| 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#8XE8, Projection identities (statement). In 9S7HGSEX6Q/e1, lemma 5.7
History
- 2026-10-28: add by m2/v0.4.2
QWSX936DB1 QWSX936DB1
| URI | m2://inv/QWSX936DB1 |
|---|---|
| Kind | example |
| 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.03437#RF8I (example). In EDTV1EDV7M/e1, example 2.1
History
- 2026-10-29: add by m2/v0.4.12
QWT0W6XJP7 QWT0W6XJP7
| URI | m2://inv/QWT0W6XJP7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28011#BPPP (statement)
History
- 2026-11-01: add by m2/v0.6.15
QWT3E4B9KQ QWT3E4B9KQ
| URI | m2://inv/QWT3E4B9KQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/eigenvalues.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 58.5
History
- 2026-11-01: add by m2/v0.6.13
QWT4BZGZ31 QWT4BZGZ31
| URI | m2://inv/QWT4BZGZ31 |
|---|---|
| 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 2608.24599#LD2S (statement). In VG8QFWTT8S/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.6
Finite ring QWT54ZJ97R
| URI | m2://inv/QWT54ZJ97R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite ring, Finite ring (definition). Also Wikidata Q2354159
History
- 2026-11-02: add by m2/dev
6-cubic honeycomb QWTARW2H0M
| URI | m2://inv/QWTARW2H0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#DCB7, 6-cubic honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#NFL9, 6-cubic honeycomb (definition)
History
- 2026-11-02: add by m2/dev
Ockham algebra QWTNYYSYRE
| URI | m2://inv/QWTNYYSYRE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7076549, Ockham algebra (unknown). Also EoM Ockham_algebra
- wikipedia: Wikipedia Ockham algebra, Ockham algebra (definition). Also Wikidata Q7076549
History
- 2026-10-26: add by m2/dev
QWTQ8DS6CV QWTQ8DS6CV
| URI | m2://inv/QWTQ8DS6CV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21365#7S15 (definition). In FCMMB2EVAP/e1, definition 2.22
History
- 2026-10-27: add by m2/v0.4.2
Kōmura's theorem QWTS4FMN58
| URI | m2://inv/QWTS4FMN58 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#KJA8, Kōmura's theorem (statement)
History
- 2026-11-02: add by m2/dev
An arbitrary fixed balance coefficient QWTSJMP8A5
| URI | m2://inv/QWTSJMP8A5 |
|---|---|
| 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.14509#ZV5W, An arbitrary fixed balance coefficient (statement). In N6GD8392QB/e1, lemma 15.1
History
- 2026-10-28: add by m2/v0.4.2
QWTVCQMA7N QWTVCQMA7N
| URI | m2://inv/QWTVCQMA7N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30444#NXIK (statement). In RZWJ0AT8W5/e1, corollary 3.9
History
- 2026-10-31: add by m2/v0.5.6
Non-asymptotic source-coding achievability QWTYS9BBTG
| URI | m2://inv/QWTYS9BBTG |
|---|---|
| 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.38725#SGD5, Non-asymptotic source-coding achievability (statement). In 2Q5WSEAKGP/e1, proposition 5
History
- 2026-10-30: add by m2/v0.4.12
QWV7YEZGV6 QWV7YEZGV6
| URI | m2://inv/QWV7YEZGV6 |
|---|---|
| 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 1001.3429#6KCK (statement). In 6S4BVGS1VP/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Johnson–Wilson theory QWVC0GPGE9
| URI | m2://inv/QWVC0GPGE9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johnson–Wilson theory, Johnson–Wilson theory (definition). Also Wikidata Q6268580
History
- 2026-11-02: add by m2/dev
QWVC6NKRHF QWVC6NKRHF
| URI | m2://inv/QWVC6NKRHF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#prob:iso theorem for sets (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
573 (number) QWVCYRXWQQ
| URI | m2://inv/QWVCYRXWQQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#NWXU, 573 (number) (unknown)
History
- 2026-11-02: add by m2/dev
QWVH9G02ZA QWVH9G02ZA
| URI | m2://inv/QWVH9G02ZA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23128#BBLN (definition)
History
- 2026-11-02: add by m2/v0.6.17
Proposition QWW24R4JBA
| URI | m2://inv/QWW24R4JBA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Term logic#CC50, Proposition (statement)
History
- 2026-11-02: add by m2/dev
QWW3REQANP QWW3REQANP
| URI | m2://inv/QWW3REQANP |
|---|---|
| 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.23994#P08G (statement)
History
- 2026-11-02: add by m2/v0.6.17
QWWKYZAWGW QWWKYZAWGW
| URI | m2://inv/QWWKYZAWGW |
|---|---|
| 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.08288#I0TQ (statement). In CHVWYJM7RM/e1, lemma C.2
History
- 2026-10-29: add by m2/v0.4.10
Statement QWWM6Q84TW
| URI | m2://inv/QWWM6Q84TW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflection principle (Wiener process)#7AK3, Statement (statement)
History
- 2026-11-02: add by m2/dev
QWWVP3QJ1E QWWVP3QJ1E
| URI | m2://inv/QWWVP3QJ1E |
|---|---|
| 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.12912#PDFY (statement). In PDKBKKJ4BV/e1, lemma 7.3
History
- 2026-10-28: add by m2/v0.4.2
Lemma QWX073JY9M
| URI | m2://inv/QWX073JY9M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform convergence in probability#2G58, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Capacitated arc routing problem QWX469AQ4E
| URI | m2://inv/QWX469AQ4E |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capacitated arc routing problem, Capacitated arc routing problem (problem). Also Wikidata Q113331237
History
- 2026-11-02: add by m2/dev
Algorithm characterizations QWX4DCBTRF
| URI | m2://inv/QWX4DCBTRF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithm characterizations, Algorithm characterizations (definition). Also Wikidata Q4724354
History
- 2026-11-02: add by m2/dev
QWX4ZEZ9BB QWX4ZEZ9BB
| URI | m2://inv/QWX4ZEZ9BB |
|---|---|
| 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.09522#0OCZ (statement). In KKR9167FPT/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.10
QWX6EK3GSW QWX6EK3GSW
| URI | m2://inv/QWX6EK3GSW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreInduction.tex#theorem-9 (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
QWXCD0MB2W QWXCD0MB2W
| URI | m2://inv/QWXCD0MB2W |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
Phillip Griffiths QWXK9SP9PS
| URI | m2://inv/QWXK9SP9PS |
|---|---|
| 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 Q1385013, Phillip Griffiths (unknown). Also nLab Phillip Griffiths
- wikipedia: Wikipedia Phillip Griffiths, Phillip Griffiths (topic). Also Wikidata Q1385013
History
- 2026-10-26: add by m2/dev
Force-directed graph drawing QWXPKG08Z6
| URI | m2://inv/QWXPKG08Z6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Force-directed graph drawing, Force-directed graph drawing (definition). Also Wikidata Q3076841
History
- 2026-11-02: add by m2/dev
QWXQ679Z8F QWXQ679Z8F
| URI | m2://inv/QWXQ679Z8F |
|---|---|
| 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.02213#87ZG (statement). In 43B5W08GMR/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Kernel dominance QWXT61QCND
| URI | m2://inv/QWXT61QCND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34918#PYDC, Kernel dominance (statement). In B3MNVE9149/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
PIE QWXXS309Y1
| URI | m2://inv/QWXXS309Y1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/2.1.2/pie, PIE (concept). In Y91XFCEVHQ, index, section 2.1.2
History
- 2026-11-01: add by m2/v0.6.13
Clip tail QWXZBJ8MFH
| URI | m2://inv/QWXZBJ8MFH |
|---|---|
| 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.14012#FJ7D, Clip tail (statement). In B8M5XAJASD/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
QWXZNQ3Y69 QWXZNQ3Y69
| URI | m2://inv/QWXZNQ3Y69 |
|---|---|
| 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 2411.00562#3PI4 (statement). In 99CQPHSSYF/e1, theorem \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
QWY19CMM9A QWY19CMM9A
| URI | m2://inv/QWY19CMM9A |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#HN8F (example). In V97F4YZ8B0/e1, example 9.13
History
- 2026-10-28: add by m2/v0.4.2
QWYD3B3290 QWYD3B3290
| URI | m2://inv/QWYD3B3290 |
|---|---|
| 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.11047#V5BV (definition). In MNQAZ70XTH/e1, definition 6.2
History
- 2026-10-28: add by m2/v0.4.3
IBOPE QWYE9RMK4W
| URI | m2://inv/QWYE9RMK4W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#VTJE, IBOPE (unknown)
History
- 2026-11-02: add by m2/dev
Normal closure over an \'etale locus QWYEXMDY6Q
| URI | m2://inv/QWYEXMDY6Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#IPV1, Normal closure over an \'etale locus (statement)
History
- 2026-11-02: add by m2/v0.6.18
QWYWND6KTG QWYWND6KTG
| URI | m2://inv/QWYWND6KTG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/measure-space.tex#definition-2 (definition). In RZP28ERRZV, definition, section 67.4
History
- 2026-11-01: add by m2/v0.6.13
Gunter's quadrant QWYXSR71SE
| URI | m2://inv/QWYXSR71SE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edmund Gunter#S4D4, Gunter's quadrant (unknown)
History
- 2026-11-02: add by m2/dev
Weak l.s.c.\ of convex continuous functionals QWYYC7A8W6
| URI | m2://inv/QWYYC7A8W6 |
|---|---|
| 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.00033#VSI6, Weak l.s.c.\ of convex continuous functionals (statement). In SHMMW4JXZ1/e1, lemma 14
History
- 2026-10-30: add by m2/v0.4.12
Pointwise diagonal fibration QWZ10B1NAZ
| URI | m2://inv/QWZ10B1NAZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#8T6C, Pointwise diagonal fibration (statement)
History
- 2026-11-01: add by m2/v0.6.15
QWZ4FTV8W2 QWZ4FTV8W2
| URI | m2://inv/QWZ4FTV8W2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20577#HG4T (statement). In 3P13XJQSVK/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
QWZ61ERWQ4 QWZ61ERWQ4
| URI | m2://inv/QWZ61ERWQ4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32977#GPQV (example). In 4KT9TK3MG4/e1, example 2.2
History
- 2026-10-31: add by m2/v0.5.6
Composition QWZHH23TPK
| URI | m2://inv/QWZHH23TPK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13892#GA7E, Composition (statement). In HV9KKEBBDD/e1, proposition V.3
History
- 2026-10-28: add by m2/v0.4.2
Republic QWZHR9NE3C
| URI | m2://inv/QWZHR9NE3C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes#SDRH, Republic (unknown)
History
- 2026-11-02: add by m2/dev
Multiplicity function for N noninteracting spins QWZJXR4XJ7
| URI | m2://inv/QWZJXR4XJ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicity function for N noninteracting spins, Multiplicity function for N noninteracting spins (definition). Also Wikidata Q6935012
History
- 2026-11-02: add by m2/dev
Blade QWZPJSE8GX
| URI | m2://inv/QWZPJSE8GX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blade (geometry), Blade (definition). Also Wikidata Q4923680
History
- 2026-11-02: add by m2/dev
Density estimation QWZV4MQYEP
| URI | m2://inv/QWZV4MQYEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#B07Q, Density estimation (definition)
History
- 2026-11-02: add by m2/dev
Bob Coecke QWZWAFV34N
| URI | m2://inv/QWZWAFV34N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4932096, Bob Coecke (unknown). Also nLab Bob Coecke
History
- 2026-10-26: add by m2/dev
curvature QWZX9V159K
| URI | m2://inv/QWZX9V159K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q214881, curvature (unknown). Also EoM Curvature, MathWorld Curvature
- wikipedia: Wikipedia Curvature, Curvature (definition). Also Wikidata Q214881
History
- 2026-10-26: add by m2/dev
Rayleigh's criterion QWZY726ZHT
| URI | m2://inv/QWZY726ZHT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor–Couette flow#JB8C, Rayleigh's criterion (statement)
History
- 2026-11-02: add by m2/dev
Shigeru Iitaka QWZZH788MC
| URI | m2://inv/QWZZH788MC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shigeru Iitaka, Shigeru Iitaka (topic). Also Wikidata Q11666755
History
- 2026-11-02: add by m2/dev