Inventory rows S5
The cards of the rows of the inventory whose ids start with S5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
S50326BGXT S50326BGXT
| URI | m2://inv/S50326BGXT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24739#S9WO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lenstra elliptic curve factorization S503S18H48
| URI | m2://inv/S503S18H48 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#SDJZ, Lenstra elliptic curve factorization (definition)
History
- 2026-11-02: add by m2/dev
Statement S50RF04HT4
| URI | m2://inv/S50RF04HT4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Nagy theorem#AKP4, Statement (statement)
History
- 2026-11-02: add by m2/dev
normal extension S50VZ0T8N6
| URI | m2://inv/S50VZ0T8N6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Normal extension 08S0NW8SES |
Mentions
- wikidata: Wikidata Q2331395, normal extension (unknown). Also EoM Normal_extension, MathWorld NormalExtension, nLab normal field extension
- wikipedia: Wikipedia Normal extension, Normal extension (definition). Also Wikidata Q2331395
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
S5146RP9EC S5146RP9EC
| URI | m2://inv/S5146RP9EC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1008.4254#HFJ7 (statement). In SXTX59QBVT/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.3.5
S514TE1B66 S514TE1B66
| URI | m2://inv/S514TE1B66 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14502#8B08 (statement). In 6BVBMTYXNZ/e1, corollary 5.3
History
- 2026-10-28: add by m2/v0.4.2
Circumradius-aware face region S51AD0ZEBZ
| URI | m2://inv/S51AD0ZEBZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13964#F753, Circumradius-aware face region (statement). In 7Q47472TKR/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Extensions S51CQ08669
| URI | m2://inv/S51CQ08669 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frisch–Waugh–Lovell theorem#TJR0, Extensions (statement)
History
- 2026-11-02: add by m2/dev
S51DDDJCJW S51DDDJCJW
| URI | m2://inv/S51DDDJCJW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-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.07695#NH8I (statement). In 8Z47D12KSX/e1, proposition 9.6
History
- 2026-10-29: add by m2/v0.4.10
S51GKP3GBD S51GKP3GBD
| URI | m2://inv/S51GKP3GBD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26307#7POA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Publicly verifiable secret sharing S51NYT46XH
| URI | m2://inv/S51NYT46XH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Publicly verifiable secret sharing, Publicly verifiable secret sharing (definition). Also Wikidata Q7258075
History
- 2026-11-02: add by m2/dev
Sydney Chapman S51Q6DX5DW
| URI | m2://inv/S51Q6DX5DW |
|---|---|
| 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#MEIO, Sydney Chapman (topic)
History
- 2026-11-02: add by m2/dev
Walter Gottschalk S51VGTCCEG
| URI | m2://inv/S51VGTCCEG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walter Gottschalk, Walter Gottschalk (topic). Also Wikidata Q7964986
History
- 2026-11-02: add by m2/dev
Circumradius theorem S51WVWB798
| URI | m2://inv/S51WVWB798 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Altitude (triangle)#SX8W, Circumradius theorem (statement)
History
- 2026-11-02: add by m2/dev
S51XVQ1KSK S51XVQ1KSK
| URI | m2://inv/S51XVQ1KSK |
|---|---|
| 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 2308.05715#SLFE (definition). In FC0SB9JFWH/e1, definition 6.4
History
- 2026-10-27: add by m2/v0.3.5
Eight-periodic family S52A2VZP22
| URI | m2://inv/S52A2VZP22 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22082#6GBY, Eight-periodic family (statement). In 7PACGDW3N7/e1, corollary 6.3
History
- 2026-10-27: add by m2/v0.4.0
Theorem S52FPDYP08
| URI | m2://inv/S52FPDYP08 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitney extension theorem#W8BI, Theorem (statement)
History
- 2026-11-02: add by m2/dev
S52GN41CA3 S52GN41CA3
| URI | m2://inv/S52GN41CA3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01946#PFEJ (statement). In NB1Z31FMXN/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
S52QDN0JQX S52QDN0JQX
| URI | m2://inv/S52QDN0JQX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-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.06747#22MN (statement). In AB2WPR2FRR/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
S52R2FJP7G S52R2FJP7G
| URI | m2://inv/S52R2FJP7G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/three-valued-logics/multiple-designation.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 42.6
History
- 2026-11-01: add by m2/v0.6.13
Joan Garfield S52S45QJRC
| URI | m2://inv/S52S45QJRC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joan Garfield, Joan Garfield (topic). Also Wikidata Q76349361
History
- 2026-11-02: add by m2/dev
S52W4Y5YPD S52W4Y5YPD
| URI | m2://inv/S52W4Y5YPD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07471#XZDQ (statement). In 7DHCS5SEHT/e1, proposition 9
History
- 2026-10-29: add by m2/v0.4.10
S52WAT3QMM S52WAT3QMM
| URI | m2://inv/S52WAT3QMM |
|---|---|
| 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 2303.00676#7K6A (statement). In 5351H04TJY/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.4.0
Characterization of probability distributions S5341MR8TT
| URI | m2://inv/S5341MR8TT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characterization of probability distributions, Characterization of probability distributions (definition). Also Wikidata Q30591551
History
- 2026-11-02: add by m2/dev
S535QR80BG S535QR80BG
| URI | m2://inv/S535QR80BG |
|---|---|
| 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 2609.33283#1NFT (statement). In CXPFSDMEPB/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
S539D4DHQ1 S539D4DHQ1
| URI | m2://inv/S539D4DHQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.14253#DELD (statement). In R7W38A039X/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.3.6
\(d=4\), \(n=3\), \(j=25\ S53QKMXFJ1
| URI | m2://inv/S53QKMXFJ1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03775#JTMO, \(d=4\), \(n=3\), \(j=25\ (example). In NM928YZQVJ/e1, example
History
- 2026-10-29: add by m2/v0.4.12
S53RBXPTGF S53RBXPTGF
| URI | m2://inv/S53RBXPTGF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07401#Y6FE (statement). In FQ5435B36D/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.10
S545W8N2BQ S545W8N2BQ
| URI | m2://inv/S545W8N2BQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#EURD (statement)
History
- 2026-11-01: add by m2/v0.6.15
S54AQ94N01 S54AQ94N01
| URI | m2://inv/S54AQ94N01 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#YXZA (statement). In RPC7VG3KHQ/e1, proposition 3.17
History
- 2026-10-30: add by m2/v0.4.12
Gary Gibbons S54CC8Y06B
| URI | m2://inv/S54CC8Y06B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#L7Q8, Gary Gibbons (unknown)
- wikipedia: Wikipedia List of string theory topics#G2M0, Gary Gibbons (unknown)
History
- 2026-11-02: add by m2/dev
Wasserstein-1 Lipschitz stability S54DNJVE57
| URI | m2://inv/S54DNJVE57 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17909#OP6I, Wasserstein-1 Lipschitz stability (statement). In YXZX6Z8S6A/e1, proposition 4.8
History
- 2026-10-28: add by m2/v0.4.2
S54X090HSP S54X090HSP
| URI | m2://inv/S54X090HSP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#ques-6 (exercise). In RZP28ERRZV, ques, section 100.6
History
- 2026-11-01: add by m2/v0.6.13
S54X2CKWFJ S54X2CKWFJ
| URI | m2://inv/S54X2CKWFJ |
|---|---|
| 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.11145#3J2D (statement). In 2KME4YY99M/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.3
Examples S54Y7BYBNP
| URI | m2://inv/S54Y7BYBNP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasimorphism#4B5Z, Examples (example)
History
- 2026-11-02: add by m2/dev
Formulation S552653XTK
| URI | m2://inv/S552653XTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limiting absorption principle#OLR6, Formulation (definition)
History
- 2026-11-02: add by m2/dev
S553Z0Q6WE S553Z0Q6WE
| URI | m2://inv/S553Z0Q6WE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16768#IDOO (definition). In 8FWK676AQX/e1, definition 9
History
- 2026-10-28: add by m2/v0.4.2
Properties S559GZGGSH
| URI | m2://inv/S559GZGGSH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet convolution#CU3M, Properties (statement)
History
- 2026-11-02: add by m2/dev
Global oblique regularity estimate S55AB5QDT8
| URI | m2://inv/S55AB5QDT8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29393#PHNJ, Global oblique regularity estimate (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties S55E152T0B
| URI | m2://inv/S55E152T0B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pole and polar#P0V8, Properties (statement)
History
- 2026-11-02: add by m2/dev
S55FJ6XP3D S55FJ6XP3D
| URI | m2://inv/S55FJ6XP3D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16404#HC3A (definition). In PQ7W037C2H/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Convergence of trajectories S55GHN1H4V
| URI | m2://inv/S55GHN1H4V |
|---|---|
| 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.39409#HJPA, Convergence of trajectories (statement). In CQ0Z7QA0A5/e1, lemma 5.6
History
- 2026-10-30: add by m2/v0.4.12
A subcritical endpoint moment S55J6KT6JD
| URI | m2://inv/S55J6KT6JD |
|---|---|
| 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.18884#BSPM, A subcritical endpoint moment (statement). In 8WM10QMA9E/e1, lemma F.1
History
- 2026-10-28: add by m2/v0.4.2
S55KFYSYZZ S55KFYSYZZ
| URI | m2://inv/S55KFYSYZZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37698#J9IC (statement). In HA2GG72C23/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
Well-formed formulas versus valid formulas in inferences S56A612TTJ
| URI | m2://inv/S56A612TTJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional formula#PVNI, Well-formed formulas versus valid formulas in inferences (statement)
History
- 2026-11-02: add by m2/dev
Frequency collapse in a compensating window S56A63GPXH
| URI | m2://inv/S56A63GPXH |
|---|---|
| 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.29147#54RP, Frequency collapse in a compensating window (statement)
History
- 2026-11-01: add by m2/v0.6.15
Discontinuities of monotone functions S56C2G66YD
| URI | m2://inv/S56C2G66YD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5505114, Froda's theorem (statement). Also Wikidata Q5505114
- thousand_plus: thousand_plus Q5505114, Froda's theorem (statement). Also Wikidata Q5505114, Wikipedia Froda's theorem
- wikipedia: Wikipedia Discontinuities of monotone functions, Discontinuities of monotone functions (definition). Also Wikidata Q5505114
History
- 2026-10-26: add by m2/dev
Lie algebra extension S56PCMXY5Q
| URI | m2://inv/S56PCMXY5Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25303823, Lie algebra extension (unknown). Also EoM Extension_of_a_Lie_algebra, nLab Lie algebra extension
- wikipedia: Wikipedia Lie algebra extension, Lie algebra extension (definition). Also Wikidata Q25303823
History
- 2026-10-26: add by m2/dev
Disintegration theorem S570F6C3D1
| URI | m2://inv/S570F6C3D1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#8XCD, Disintegration theorem (statement)
History
- 2026-11-02: add by m2/dev
S574V2P1SW S574V2P1SW
| URI | m2://inv/S574V2P1SW |
|---|---|
| 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.20458#47LK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mean-median inequality S575VSVCF4
| URI | m2://inv/S575VSVCF4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev's inequality#2MBN, Mean-median inequality (unknown)
History
- 2026-11-02: add by m2/dev
Hiding S57887S3NT
| URI | m2://inv/S57887S3NT |
|---|---|
| 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.12641#AVH7, Hiding (statement). In X5BYGZZHPF/e1, lemma H.6
History
- 2026-10-28: add by m2/v0.4.2
S578WD8MFA S578WD8MFA
| URI | m2://inv/S578WD8MFA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.06433#34GQ (example). In 628PJKD3EV/e1, example 1.5
History
- 2026-10-27: add by m2/v0.3.5
Enriques–Kodaira classification S57902KX6Z
| URI | m2://inv/S57902KX6Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enriques–Kodaira classification, Enriques–Kodaira classification (definition). Also Wikidata Q2584390
History
- 2026-11-02: add by m2/dev
S57DSKY84T S57DSKY84T
| URI | m2://inv/S57DSKY84T |
|---|---|
| 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.23671#4U0Q (statement)
History
- 2026-11-02: add by m2/v0.6.17
(Elveden #36) S57DZYY851
| URI | m2://inv/S57DZYY851 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#RHOT, (Elveden #36) (unknown)
History
- 2026-11-02: add by m2/dev
S57T8TTVY9 S57T8TTVY9
| URI | m2://inv/S57T8TTVY9 |
|---|---|
| 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 2302.13533#KJYL (statement). In DK9GQ8G0T4/e1, theorem 1.13
History
- 2026-10-27: add by m2/v0.3.5
S580XZDFA1 S580XZDFA1
| URI | m2://inv/S580XZDFA1 |
|---|---|
| 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.13378#3TAP (statement). In QAH7SV1JT6/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Hölder's theorem S5870S9ZAK
| URI | m2://inv/S5870S9ZAK |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1995468, Hölder's theorem (statement). Also Wikidata Q1995468
- thousand_plus: thousand_plus Q1995468, Hölder's theorem (statement). Also Wikidata Q1995468, Wikipedia Hölder's theorem
- wikipedia: Wikipedia Hölder's theorem, Hölder's theorem (statement). Also Wikidata Q1995468
History
- 2026-10-26: add by m2/dev
S588EQPG6M S588EQPG6M
| URI | m2://inv/S588EQPG6M |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_binom-app.ptx#proof-3 (proof). In QKM9DD2H56, proof, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
The Pokhozhaev identity for the stationary nonlinear Dirac equation S58N124JVE
| URI | m2://inv/S58N124JVE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pokhozhaev's identity#LMGN, The Pokhozhaev identity for the stationary nonlinear Dirac equation (statement)
History
- 2026-11-02: add by m2/dev
S58N6PJTSF S58N6PJTSF
| URI | m2://inv/S58N6PJTSF |
|---|---|
| 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 2411.05198#DDX1 (statement). In NJWY6HPFHG/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
S58Q20FE49 S58Q20FE49
| URI | m2://inv/S58Q20FE49 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21535#48QU (problem)
History
- 2026-11-02: add by m2/v0.6.18
S58VTZ9JTG S58VTZ9JTG
| URI | m2://inv/S58VTZ9JTG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21116#MPUU (statement)
History
- 2026-11-02: add by m2/v0.6.18
dialetheism S58Y8C4AFE
| URI | m2://inv/S58Y8C4AFE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#YFIP, dialetheism (definition)
History
- 2026-11-02: add by m2/dev
S590A5Q153 S590A5Q153
| URI | m2://inv/S590A5Q153 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.4587#7P96 (statement). In KQ8JPHDKKE/e1, proposition 9.8.26
History
- 2026-10-27: add by m2/v0.3.5
Colin Begg S594P4DEFV
| URI | m2://inv/S594P4DEFV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#AYL6, Colin Begg (unknown)
History
- 2026-11-02: add by m2/dev
Gradient and monotonicity S598YD3XZ2
| URI | m2://inv/S598YD3XZ2 |
|---|---|
| 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#4ZZ7, Gradient and monotonicity (statement). In 9YAE8FNQST/e1, lemma 18.11
History
- 2026-10-30: add by m2/v0.4.12
Ono's inequality S59B47HH8R
| URI | m2://inv/S59B47HH8R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1054182, Ono's inequality (statement). Also MathWorld OnoInequality
- wikipedia: Wikipedia Ono's inequality, Ono's inequality (statement). Also Wikidata Q1054182
History
- 2026-10-26: add by m2/dev
induction principle, for connected maps S59C3FRYDC
| URI | m2://inv/S59C3FRYDC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.5/induction-principle-for-connected-maps, induction principle, for connected maps (concept). In N54F33XE07, index, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Decomposition matrix S59PYV8ZB3
| URI | m2://inv/S59PYV8ZB3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decomposition matrix, Decomposition matrix (definition). Also Wikidata Q5249565
History
- 2026-11-02: add by m2/dev
S59WJ30H1Z S59WJ30H1Z
| URI | m2://inv/S59WJ30H1Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#M914 (statement). In 3A4K47Y9F2/e1, theorem 2.39
History
- 2026-10-27: add by m2/v0.4.0
S59XMHH892 S59XMHH892
| URI | m2://inv/S59XMHH892 |
|---|---|
| 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#QP56 (statement). In KKR9167FPT/e1, theorem 13
History
- 2026-10-29: add by m2/v0.4.10
Rectangular atlas S5A4Q8T6D4
| URI | m2://inv/S5A4Q8T6D4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39824#0CT3, Rectangular atlas (statement). In REPGS464V6/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
S5AA6AY938 S5AA6AY938
| URI | m2://inv/S5AA6AY938 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.14455#IPL2 (definition). In VDE5R8HBS1/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
Arroio Trinta S5AB0T2407
| URI | m2://inv/S5AB0T2407 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#KOPS, Arroio Trinta (unknown)
History
- 2026-11-02: add by m2/dev
S5ACCN6N7C S5ACCN6N7C
| URI | m2://inv/S5ACCN6N7C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 0811.0544#WRP5 (statement). In RKPZ3SC956/e1, theorem 3.7
History
- 2026-10-27: add by m2/v0.3.5
Finite-dimensional transport cancellation S5AD4SH4Y2
| URI | m2://inv/S5AD4SH4Y2 |
|---|---|
| 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#I9VA, Finite-dimensional transport cancellation (statement). In AJWBAHJ8VD/e1, proposition 5.2
History
- 2026-10-31: add by m2/v0.5.6
Generalizations of the sweep line algorithm S5AF3SQ4S0
| URI | m2://inv/S5AF3SQ4S0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sweep line algorithm#PV2B, Generalizations of the sweep line algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Properties S5AGXM9BQ9
| URI | m2://inv/S5AGXM9BQ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birnbaum–Saunders distribution#PXOC, Properties (statement)
History
- 2026-11-02: add by m2/dev
martingale S5ANKX6732
| URI | m2://inv/S5ANKX6732 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Martingale 0D0GBNDKDH |
Mentions
- wikidata: Wikidata Q534112, martingale (concept). Also MathWorld Martingale
- wikipedia: Wikipedia Martingale (probability theory), Martingale (definition). Also Wikidata Q534112
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Chinese numerals S5AQPGKATT
| URI | m2://inv/S5AQPGKATT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chinese numerals, Chinese numerals (definition). Also Wikidata Q683566
History
- 2026-11-02: add by m2/dev
S5ASMSKJE4 S5ASMSKJE4
| URI | m2://inv/S5ASMSKJE4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop-8 (statement). In VNMV985MXX, prop, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Robion Cromwell Kirby S5B520RQ9F
| URI | m2://inv/S5B520RQ9F |
|---|---|
| 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#CEK4, Robion Cromwell Kirby (topic)
History
- 2026-11-02: add by m2/dev
Lew Grade S5B5MMS2QC
| URI | m2://inv/S5B5MMS2QC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#XZFV, Lew Grade (unknown)
History
- 2026-11-02: add by m2/dev
S5B7X2PS8R S5B7X2PS8R
| URI | m2://inv/S5B7X2PS8R |
|---|---|
| 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.08935#PPPX (statement). In G02N9D40B9/e1, lemma 6.1.8
History
- 2026-10-29: add by m2/v0.4.10
Flo Perkins S5B95GZVQ6
| URI | m2://inv/S5B95GZVQ6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#42TT, Flo Perkins (unknown)
History
- 2026-11-02: add by m2/dev
Rodrigues formula for the Laguerre I mixed form S5BAM620CX
| URI | m2://inv/S5BAM620CX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26110#HOKN, Rodrigues formula for the Laguerre I mixed form (statement)
History
- 2026-11-01: add by m2/v0.6.15
vacuous quantifier S5BBJBHQ4N
| URI | m2://inv/S5BBJBHQ4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#DYWX, vacuous quantifier (definition)
History
- 2026-11-02: add by m2/dev
S5BBM2GE29 S5BBM2GE29
| URI | m2://inv/S5BBM2GE29 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#F699 (statement). In AGJE43FTF8/e1, proposition 8.5
History
- 2026-10-27: add by m2/v0.4.2
S5BGER54GZ S5BGER54GZ
| URI | m2://inv/S5BGER54GZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26984#FNNS (statement)
History
- 2026-11-01: add by m2/v0.6.15
prime gap S5BJXWD8QR
| URI | m2://inv/S5BJXWD8QR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1377044, prime gap (unknown). Also MathWorld PrimeDifferenceFunction, MathWorld PrimeGaps, OEIS A001223
- wikipedia: Wikipedia Prime gap, Prime gap (definition). Also Wikidata Q1377044
History
- 2026-10-26: add by m2/dev
Birkhoff–Grothendieck theorem S5BMC71QAJ
| URI | m2://inv/S5BMC71QAJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#P198, Birkhoff–Grothendieck theorem (statement)
History
- 2026-11-02: add by m2/dev
Kim-Anh Do S5BRSPXN01
| URI | m2://inv/S5BRSPXN01 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#6TN9, Kim-Anh Do (unknown)
History
- 2026-11-02: add by m2/dev
S5BS18BE27 S5BS18BE27
| URI | m2://inv/S5BS18BE27 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#AGSB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rodger's method S5C0WTC48H
| URI | m2://inv/S5C0WTC48H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rodger's method, Rodger's method (definition). Also Wikidata Q17153981
History
- 2026-11-02: add by m2/dev
$\rho$-sequence S5C2EKXTFC
| URI | m2://inv/S5C2EKXTFC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03231#QRIG, $\rho$-sequence (definition). In 3Y76AQQGF0/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.12
Xu--Zhang bound S5C2YDMXGX
| URI | m2://inv/S5C2YDMXGX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36444#TIM3, Xu--Zhang bound (statement). In 4DJE72VPJP/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Apparent dip S5C7S1QCPD
| URI | m2://inv/S5C7S1QCPD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strike and dip#Q26D, Apparent dip (unknown)
History
- 2026-11-02: add by m2/dev
S5CB33RSAY S5CB33RSAY
| URI | m2://inv/S5CB33RSAY |
|---|---|
| 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 2609.31269#GYW9 (statement). In ZPT9XCCAPQ/e1, proposition 2.1.13
History
- 2026-10-31: add by m2/v0.5.6
Quasimorphism S5CQVGM5DA
| URI | m2://inv/S5CQVGM5DA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasimorphism, Quasimorphism (definition). Also Wikidata Q111941246
History
- 2026-11-02: add by m2/dev
Vyacheslav Feodoritov S5CR6P2P2R
| URI | m2://inv/S5CR6P2P2R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vyacheslav Feodoritov, Vyacheslav Feodoritov (topic). Also Wikidata Q39040142
History
- 2026-11-02: add by m2/dev
Tricolorability S5CWCWMXV3
| URI | m2://inv/S5CWCWMXV3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#LLIC, Tricolorability (definition)
History
- 2026-11-02: add by m2/dev
involution S5CWP29VND
| URI | m2://inv/S5CWP29VND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Involution GP56NBN9RY |
Mentions
- wikidata: Wikidata Q846862, involution (unknown). Also MathWorld Involution
- wikipedia: Wikipedia Involution (mathematics), Involution (definition). Also Wikidata Q846862
History
- 2026-10-26: add by m2/dev
Wilson polynomials S5CXPPNF1M
| URI | m2://inv/S5CXPPNF1M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#OMVU, Wilson polynomials (definition)
History
- 2026-11-02: add by m2/dev
Rüdiger Thiele S5CZC8JPQ7
| URI | m2://inv/S5CZC8JPQ7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rüdiger Thiele, Rüdiger Thiele (topic). Also Wikidata Q1553363
History
- 2026-11-02: add by m2/dev
Adversarial regret S5D9BGPMY1
| URI | m2://inv/S5D9BGPMY1 |
|---|---|
| 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.21976#VTD7, Adversarial regret (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties S5DF272KA9
| URI | m2://inv/S5DF272KA9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multilinear map#NX34, Properties (statement)
History
- 2026-11-02: add by m2/dev
General determinant S5DJFJKHYQ
| URI | m2://inv/S5DJFJKHYQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Risk factor#PC21, General determinant (unknown)
History
- 2026-11-02: add by m2/dev
Class function S5DMXGS2YX
| URI | m2://inv/S5DMXGS2YX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#80LE, Class function (definition)
History
- 2026-11-02: add by m2/dev
S5DTPM7H1J S5DTPM7H1J
| URI | m2://inv/S5DTPM7H1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27301#FHY0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalized $V$-matrix S5DZF2DFZ7
| URI | m2://inv/S5DZF2DFZ7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33512#3CLD, Generalized $V$-matrix (definition). In WYHZMYZT31/e1, definition 2.5
History
- 2026-10-30: add by m2/v0.4.12
Faà di Bruno's formula S5E1M74N9C
| URI | m2://inv/S5E1M74N9C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bell polynomials#GOS2, Faà di Bruno's formula (statement)
History
- 2026-11-02: add by m2/dev
Hyperelastic material S5E4NYMWZV
| URI | m2://inv/S5E4NYMWZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperelastic material, Hyperelastic material (definition). Also Wikidata Q3801506
History
- 2026-11-02: add by m2/dev
Irreducible ring S5E8DF7Z54
| URI | m2://inv/S5E8DF7Z54 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irreducible ring, Irreducible ring (definition). Also Wikidata Q6073577
History
- 2026-11-02: add by m2/dev
Conductor of norm pullback S5EAJ2JT6G
| URI | m2://inv/S5EAJ2JT6G |
|---|---|
| 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 2610.10583#SK5H, Conductor of norm pullback (statement). In 5BZQS1KY9A/e1, proposition 3.9
History
- 2026-10-29: add by m2/v0.4.10
S5ED31K6N0 S5ED31K6N0
| URI | m2://inv/S5ED31K6N0 |
|---|---|
| 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 1512.06981#VA1U (statement). In X923ZEY423/e1, lemma 1.6.2
History
- 2026-10-27: add by m2/v0.3.5
S5EF85SH4W S5EF85SH4W
| URI | m2://inv/S5EF85SH4W |
|---|---|
| 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 2608.24606#VCLQ (statement). In VFV3FFB7Q7/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
S5EGKGN8AY S5EGKGN8AY
| URI | m2://inv/S5EGKGN8AY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 62.11
History
- 2026-11-01: add by m2/v0.6.13
Master/Session S5EJ1D4GMA
| URI | m2://inv/S5EJ1D4GMA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Master/Session, Master/Session (definition). Also Wikidata Q6784923
History
- 2026-11-02: add by m2/dev
S5EQW9NJNB S5EQW9NJNB
| URI | m2://inv/S5EQW9NJNB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30544#8TE1 (statement). In CB35ZBBBPT/e1, corollary 3.20
History
- 2026-10-31: add by m2/v0.5.6
Carathéodory's theorem (conformal mapping) S5F24FHNHP
| URI | m2://inv/S5F24FHNHP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#25SM, Carathéodory's theorem (conformal mapping) (statement)
History
- 2026-11-02: add by m2/dev
S5F2NNH3RH S5F2NNH3RH
| URI | m2://inv/S5F2NNH3RH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/combining-machines.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 85.3
History
- 2026-11-01: add by m2/v0.6.13
S5F49HZA8A S5F49HZA8A
| URI | m2://inv/S5F49HZA8A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2203.00606#MPA7 (definition). In 3WBQFVX65D/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Newton–Cotes formulas S5F9J4668P
| URI | m2://inv/S5F9J4668P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#DAG7, Newton–Cotes formulas (statement)
History
- 2026-11-02: add by m2/dev
Information amplification with one retained reference S5FBB1VDVD
| URI | m2://inv/S5FBB1VDVD |
|---|---|
| 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#F1OE, Information amplification with one retained reference (statement). In 9YAE8FNQST/e1, corollary 3.6
History
- 2026-10-30: add by m2/v0.4.12
S5FC5HCNKF S5FC5HCNKF
| URI | m2://inv/S5FC5HCNKF |
|---|---|
| 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.11199#MXQD (statement). In RQ51P6W9C0/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.3
Fekete's lemma S5FH9JM7MW
| URI | m2://inv/S5FH9JM7MW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#EK96, Fekete's lemma (definition)
History
- 2026-11-02: add by m2/dev
Monroe Epic S5FPB684Y7
| URI | m2://inv/S5FPB684Y7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monroe Epic, Monroe Epic (definition). Also Wikidata Q6902191
History
- 2026-11-02: add by m2/dev
S5FVV191NS S5FVV191NS
| URI | m2://inv/S5FVV191NS |
|---|---|
| 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.32557#5WXK (statement). In 7MSKC957WD/e1, theorem 3.3
History
- 2026-10-31: add by m2/v0.5.6
S5FW31P1T4 S5FW31P1T4
| URI | m2://inv/S5FW31P1T4 |
|---|---|
| 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.15792#ICA9 (statement). In YGBX34HPA9/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
syndrome connectivity S5FWXAVXKE
| URI | m2://inv/S5FWXAVXKE |
|---|---|
| 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.39395#X7VN, syndrome connectivity (statement). In ZDVPJ1XX5Z/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
S5FYQZEWQQ S5FYQZEWQQ
| URI | m2://inv/S5FYQZEWQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20375#STHY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Sign test S5G1N9WK6T
| URI | m2://inv/S5G1N9WK6T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sign test, Sign test (definition). Also Wikidata Q2301904
History
- 2026-11-02: add by m2/dev
Problem in words S5GATSJNQ6
| URI | m2://inv/S5GATSJNQ6 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary algebra#TFL4, Problem in words (problem)
History
- 2026-11-02: add by m2/dev
Fundamental theorems of welfare economics S5GB7QS74N
| URI | m2://inv/S5GB7QS74N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#86OE, Fundamental theorems of welfare economics (statement)
History
- 2026-11-02: add by m2/dev
Relation to binomial theorem S5GFW7QCY0
| URI | m2://inv/S5GFW7QCY0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power set#X153, Relation to binomial theorem (statement)
History
- 2026-11-02: add by m2/dev
Dold manifold S5GHH1MAY2
| URI | m2://inv/S5GHH1MAY2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dold manifold, Dold manifold (definition). Also Wikidata Q5288906
History
- 2026-11-02: add by m2/dev
Universal small-dispersion asymptotics near the soliton edge, \protect S5GXS2Q1PR
| URI | m2://inv/S5GXS2Q1PR |
|---|---|
| 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.00770#T8OI, Universal small-dispersion asymptotics near the soliton edge, \protect (statement). In AYGRJSRG1M/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Absence of direct correlations S5GZ7Z66XE
| URI | m2://inv/S5GZ7Z66XE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#7VHR, Absence of direct correlations (definition). In XK6H7F2F13/e1, definition 4.4
History
- 2026-10-30: add by m2/v0.4.12
Definition S5GZC1JDX2
| URI | m2://inv/S5GZC1JDX2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Péclet number#7JPI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Odd order theorem S5H2VFE5JQ
| URI | m2://inv/S5H2VFE5JQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#ZSIM, Odd order theorem (statement)
History
- 2026-11-02: add by m2/dev
Inca mathematics S5HB42V7HF
| URI | m2://inv/S5HB42V7HF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inca mathematics, Inca mathematics (definition). Also Wikidata Q4284714
History
- 2026-11-02: add by m2/dev
S5HCXX5G7S S5HCXX5G7S
| URI | m2://inv/S5HCXX5G7S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#def:product_group (example). In RZP28ERRZV, example, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
O/o S5HKKDV4E7
| URI | m2://inv/S5HKKDV4E7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9941, O/o (unknown). Also ProofWiki Symbols:O
History
- 2026-10-26: add by m2/dev
Statement S5HN2G1S7K
| URI | m2://inv/S5HN2G1S7K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet's test#XCYQ, Statement (statement)
History
- 2026-11-02: add by m2/dev
S5J21HCDZA S5J21HCDZA
| URI | m2://inv/S5J21HCDZA |
|---|---|
| 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 2312.06473#YZPJ (statement). In P1MYSYHSGX/e1, lemma A.1
History
- 2026-10-27: add by m2/v0.3.5
Theorem S5J33WZP5Z
| URI | m2://inv/S5J33WZP5Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Packing in a hypergraph#MUQ2, Theorem (statement)
History
- 2026-11-02: add by m2/dev
S5JARZV3M6 S5JARZV3M6
| URI | m2://inv/S5JARZV3M6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#0QV9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples S5JBT3TMJJ
| URI | m2://inv/S5JBT3TMJJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heilbronn set#3Q5C, Examples (example)
History
- 2026-11-02: add by m2/dev
Lattice word S5JCKTXFFE
| URI | m2://inv/S5JCKTXFFE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice word, Lattice word (definition). Also Wikidata Q3325035
History
- 2026-11-02: add by m2/dev
cusp S5JKG8WCQK
| URI | m2://inv/S5JKG8WCQK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.7.4/cusp, cusp (concept). In 907G4C4EJ1, index, section 1.7.4
History
- 2026-11-01: add by m2/v0.6.13
Goodstein sequence S5JQ9FJCHQ
| URI | m2://inv/S5JQ9FJCHQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12018378, Goodstein sequence (concept). Also MathWorld GoodsteinSequence
History
- 2026-10-26: add by m2/dev
S5JQC6SBAW S5JQC6SBAW
| URI | m2://inv/S5JQC6SBAW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18302#IVSE (statement). In VJTRH1S4JA/e1, theorem 5.16
History
- 2026-10-28: add by m2/v0.4.2
Examples S5JQGESYDJ
| URI | m2://inv/S5JQGESYDJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kodaira–Spencer map#LKIN, Examples (example)
History
- 2026-11-02: add by m2/dev
S5K1492N94 S5K1492N94
| URI | m2://inv/S5K1492N94 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34676#QQ61 (statement). In PR5BC5M6PD/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Vysochanskiï–Petunin inequality S5K4C8E2B9
| URI | m2://inv/S5K4C8E2B9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#COUA, Vysochanskiï–Petunin inequality (statement)
- wikipedia: Wikipedia List of statistics articles#ZCNT, Vysochanskiï–Petunin inequality (statement)
- wikipedia: Wikipedia List of probability topics#MIZV, Vysochanskiï–Petunin inequality (statement)
- wikipedia: Wikipedia List of inequalities#K5XB, Vysochanskiï–Petunin inequality (statement)
History
- 2026-11-02: add by m2/dev
S5K4XWDY70 S5K4XWDY70
| URI | m2://inv/S5K4XWDY70 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09596#3NOK (statement). In HXFA55BREZ/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.10
Significant Figures S5K82PJ0HQ
| URI | m2://inv/S5K82PJ0HQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Significant Figures (book), Significant Figures (definition). Also Wikidata Q56291349
History
- 2026-11-02: add by m2/dev
S5KEBF2FYY S5KEBF2FYY
| URI | m2://inv/S5KEBF2FYY |
|---|---|
| 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.12817#260C (statement). In FPSGZ5S6YF/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
General definition S5KFA7G88Y
| URI | m2://inv/S5KFA7G88Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function of a real variable#NNWS, General definition (definition)
History
- 2026-11-02: add by m2/dev
S5KGEMH91K S5KGEMH91K
| URI | m2://inv/S5KGEMH91K |
|---|---|
| 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.09648#CUFH (statement). In WB9PTPN54H/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
heapsort S5KT5DA0GV
| URI | m2://inv/S5KT5DA0GV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q474095, heapsort (unknown). Also MathWorld Heapsort
History
- 2026-10-26: add by m2/dev
Applications S5KXKFB5N8
| URI | m2://inv/S5KXKFB5N8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Learning analytics#45MG, Applications (example)
History
- 2026-11-02: add by m2/dev
S5M01WVXEH S5M01WVXEH
| URI | m2://inv/S5M01WVXEH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18246#170A (statement). In SN6F0MPPVF/e1, lemma 5.7
History
- 2026-10-28: add by m2/v0.4.2
Properties S5M1XT9XV3
| URI | m2://inv/S5M1XT9XV3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-probability measure#0ES8, Properties (statement)
History
- 2026-11-02: add by m2/dev
S5M1YKK5G1 S5M1YKK5G1
| URI | m2://inv/S5M1YKK5G1 |
|---|---|
| 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.21507#ZUD5 (definition)
History
- 2026-11-02: add by m2/v0.6.18
S5MBRWM2NH S5MBRWM2NH
| URI | m2://inv/S5MBRWM2NH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_bin-coeff.ptx#exa_lattice-Catalan (example). In QKM9DD2H56, example, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
S5MGTFJTFE S5MGTFJTFE
| URI | m2://inv/S5MGTFJTFE |
|---|---|
| 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#G1H6 (statement). In A1GWWGRXPA/e1, theorem 4.12
History
- 2026-10-27: add by m2/v0.4.2
Peter J. Bickel S5MN935QDT
| URI | m2://inv/S5MN935QDT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#1JDF, Peter J. Bickel (topic)
History
- 2026-11-02: add by m2/dev
Mathematical modelling of infectious diseases S5MNF0SMXA
| URI | m2://inv/S5MNF0SMXA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical modelling of infectious diseases, Mathematical modelling of infectious diseases (definition). Also Wikidata Q990044
History
- 2026-11-02: add by m2/dev
S5MQ2M0W2G S5MQ2M0W2G
| URI | m2://inv/S5MQ2M0W2G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18246#1Q23 (statement). In SN6F0MPPVF/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Low-frequency budget S5N00QEH6D
| URI | m2://inv/S5N00QEH6D |
|---|---|
| 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.02714#3MT8, Low-frequency budget (statement). In R9AXCJWK8F/e1, lemma 13
History
- 2026-10-29: add by m2/v0.4.12
S5N11ZFNXD S5N11ZFNXD
| URI | m2://inv/S5N11ZFNXD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.02139#F46K (definition). In TJ1NTK3KJW/e1, definition 7
History
- 2026-10-27: add by m2/v0.3.5
S5NA3VMEX0 S5NA3VMEX0
| URI | m2://inv/S5NA3VMEX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-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.07695#022U (statement). In 8Z47D12KSX/e1, corollary 5.5
History
- 2026-10-29: add by m2/v0.4.10
S5NJYBT56X S5NJYBT56X
| URI | m2://inv/S5NJYBT56X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#ARH5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
S5NN8YXVMV S5NN8YXVMV
| URI | m2://inv/S5NN8YXVMV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10469#ENW6 (statement). In Q39BEKW6D9/e1, corollary 4.10
History
- 2026-10-29: add by m2/v0.4.10
S5P6FNYGKE S5P6FNYGKE
| URI | m2://inv/S5P6FNYGKE |
|---|---|
| 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.38118#I38B (statement). In K4KKTYYKKH/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
1980 (number) S5PC2AG9NC
| URI | m2://inv/S5PC2AG9NC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1000 (number)#ZPGJ, 1980 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Magnitudes are necessary S5PHMHDSQE
| URI | m2://inv/S5PHMHDSQE |
|---|---|
| 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.11007#73DP, Magnitudes are necessary (statement). In MF0H78XZXC/e1, proposition C.6
History
- 2026-10-28: add by m2/v0.4.3
Example S5PPV77PKW
| URI | m2://inv/S5PPV77PKW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exterior covariant derivative#9AB3, Example (example)
History
- 2026-11-02: add by m2/dev
quartic reciprocity S5PZ12W3YZ
| URI | m2://inv/S5PZ12W3YZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Quartic reciprocity W0M20JWC9K |
Mentions
- wikidata: Wikidata Q4495708, quartic reciprocity (statement). Also MathWorld BiquadraticReciprocityTheorem
- wikipedia: Wikipedia Quartic reciprocity, Quartic reciprocity (definition). Also Wikidata Q4495708
History
- 2026-10-26: add by m2/dev
Lisa Randall S5Q0DNKPHA
| URI | m2://inv/S5Q0DNKPHA |
|---|---|
| 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 Q450404, Lisa Randall (unknown). Also nLab Lisa Randall
History
- 2026-10-26: add by m2/dev
Law of continuity S5QAH4FFHR
| URI | m2://inv/S5QAH4FFHR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of continuity, Law of continuity (statement). Also Wikidata Q11108587
History
- 2026-11-02: add by m2/dev
RATS S5QB68C7KM
| URI | m2://inv/S5QB68C7KM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RATS (software), RATS (definition). Also Wikidata Q987060
History
- 2026-11-02: add by m2/dev
coresidual S5QNWM0ZEW
| URI | m2://inv/S5QNWM0ZEW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#P3UH, coresidual (definition)
History
- 2026-11-02: add by m2/dev
plagiogonal S5QR9KYDVV
| URI | m2://inv/S5QR9KYDVV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#TJYP, plagiogonal (definition)
History
- 2026-11-02: add by m2/dev
Revista Colombiana de Estadística S5QT6R8NVZ
| URI | m2://inv/S5QT6R8NVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Revista Colombiana de Estadística, Revista Colombiana de Estadística (definition). Also Wikidata Q7318481
History
- 2026-11-02: add by m2/dev
S5QTFHQF1G S5QTFHQF1G
| URI | m2://inv/S5QTFHQF1G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32478#ZVBQ (statement). In 5QBSYDC2XH/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
S5R2JWQPM6 S5R2JWQPM6
| URI | m2://inv/S5R2JWQPM6 |
|---|---|
| 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 2604.10080#ETAZ (statement). In KM2FWKP93A/e1, proposition 3.8
History
- 2026-10-27: add by m2/v0.4.0
Unbounded admissible discriminants S5R3NTDW1Q
| URI | m2://inv/S5R3NTDW1Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26196#M42A, Unbounded admissible discriminants (statement)
History
- 2026-11-01: add by m2/v0.6.15
Input in discrete space, output signed measure S5R79K5QSQ
| URI | m2://inv/S5R79K5QSQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.09167#BZZG, Input in discrete space, output signed measure (statement). In S1MENYEAG5/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.3.5
S5R8HBPMMQ S5R8HBPMMQ
| URI | m2://inv/S5R8HBPMMQ |
|---|---|
| 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 2605.30679#KGVX (definition). In Z31GMHMG7B/e1, definition 1.3
History
- 2026-10-27: add by m2/v0.3.5
Gödel's incompleteness theorems S5RC3MB06F
| URI | m2://inv/S5RC3MB06F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Halting problem#2SMU, Gödel's incompleteness theorems (statement)
History
- 2026-11-02: add by m2/dev
General relativistic models S5RCE3B80E
| URI | m2://inv/S5RCE3B80E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General relativity#RR2H, General relativistic models (unknown)
History
- 2026-11-02: add by m2/dev
S5RCQ0NVT1 S5RCQ0NVT1
| URI | m2://inv/S5RCQ0NVT1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25457#V11G (statement)
History
- 2026-11-01: add by m2/v0.6.15
Elliptic curve S5RE0G6GW4
| URI | m2://inv/S5RE0G6GW4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#893I, Elliptic curve (definition)
- wikipedia: Wikipedia List of mathematical shapes#5UMW, Elliptic curve (definition)
- wikipedia: Wikipedia List of number theory topics#AUJ7, Elliptic curve (definition)
- wikipedia: Wikipedia List of curves#CCMA, Elliptic curve (definition)
History
- 2026-11-02: add by m2/dev
S5RG2Z25QC S5RG2Z25QC
| URI | m2://inv/S5RG2Z25QC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.13523#LA8W (example). In DDA62XQTWW/e1, example 2.9
History
- 2026-10-27: add by m2/v0.3.5
Generalizations S5RGEVZYS0
| URI | m2://inv/S5RGEVZYS0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hanani–Tutte theorem#ZPQF, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Stochastic Lagrangian-gradient consistency S5RH9PBWVN
| URI | m2://inv/S5RH9PBWVN |
|---|---|
| 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.18428#TMZR, Stochastic Lagrangian-gradient consistency (statement). In 6BGSQT7SV8/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
S5RHV6VW5C S5RHV6VW5C
| URI | m2://inv/S5RHV6VW5C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13913#DFGL (statement). In BW5GVH97JE/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.2
Results S5RMKBGEBC
| URI | m2://inv/S5RMKBGEBC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commuting probability#IYP3, Results (statement)
History
- 2026-11-02: add by m2/dev
Roland Glowinski S5RVS7E2Z5
| URI | m2://inv/S5RVS7E2Z5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2WE6, Roland Glowinski (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1V8X, Roland Glowinski (topic)
History
- 2026-11-02: add by m2/dev
K-function S5RWS2GQFG
| URI | m2://inv/S5RWS2GQFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#NZ5S, K-function (definition)
History
- 2026-11-02: add by m2/dev
S5RY0NFAJQ S5RY0NFAJQ
| URI | m2://inv/S5RY0NFAJQ |
|---|---|
| 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.12105#A5TQ (statement). In 289HM2RXT3/e1, proposition 4.8
History
- 2026-10-28: add by m2/v0.4.3
inverse of a complex number S5RZYX8ENN
| URI | m2://inv/S5RZYX8ENN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Inverse of a complex number 0FQRAV5SKH |
Mentions
- wikidata: Wikidata Q141680330, inverse of a complex number (statement). Also ProofWiki Inverse_for_Complex_Multiplication
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Integrated Chern--Lu identity S5S2DN1CA2
| URI | m2://inv/S5S2DN1CA2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#EWIU, Integrated Chern--Lu identity (statement)
History
- 2026-11-01: add by m2/v0.6.15
S5S4EPGCJD S5S4EPGCJD
| URI | m2://inv/S5S4EPGCJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#77C0 (statement). In JW8HH6EPG2/e1, lemma 4.18
History
- 2026-10-29: add by m2/v0.4.10
Jacquet--Piatetski-Shapiro--Shalika S5S5B1MX1H
| URI | m2://inv/S5S5B1MX1H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39539#RVF9, Jacquet--Piatetski-Shapiro--Shalika (statement). In GVR218P3ZR/e1, theorem 8.2.1
History
- 2026-10-30: add by m2/v0.4.12
S5S5BFKK1F S5S5BFKK1F
| URI | m2://inv/S5S5BFKK1F |
|---|---|
| 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 2609.31269#VREA (statement). In ZPT9XCCAPQ/e1, lemma 1.1.2
History
- 2026-10-31: add by m2/v0.5.6
Weighted Assouad Lemma for Randomized Decisions S5SDGAH34F
| URI | m2://inv/S5SDGAH34F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10167#XXUW, Weighted Assouad Lemma for Randomized Decisions (statement). In SVMDSE7PKG/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
Definitions S5SET36TFB
| URI | m2://inv/S5SET36TFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kenmotsu manifold#00PA, Definitions (definition)
History
- 2026-11-02: add by m2/dev
S5SJPRFT30 S5SJPRFT30
| URI | m2://inv/S5SJPRFT30 |
|---|---|
| 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.13556#5ALM (statement). In 5ZB8N3YY72/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
Index sets and Rice's theorem S5SKEF0FRQ
| URI | m2://inv/S5SKEF0FRQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index set (computability)#TSMZ, Index sets and Rice's theorem (statement)
History
- 2026-11-02: add by m2/dev
One turn S5SS4VVM9W
| URI | m2://inv/S5SS4VVM9W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22058#YCIG, One turn (statement)
History
- 2026-11-02: add by m2/v0.6.17
*442 symmetry S5STB383HC
| URI | m2://inv/S5STB383HC |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform tilings on the sphere, plane, and hyperbolic plane#MDXY, *442 symmetry (object)
History
- 2026-11-02: add by m2/dev
MGF1 S5STG18116
| URI | m2://inv/S5STG18116 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mask generation function#9Y9U, MGF1 (unknown)
History
- 2026-11-02: add by m2/dev
Seesaw theorem S5SW14X4A0
| URI | m2://inv/S5SW14X4A0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seesaw theorem, Seesaw theorem (statement). Also Wikidata Q30704542
History
- 2026-11-02: add by m2/dev
S5SWTRQ0W4 S5SWTRQ0W4
| URI | m2://inv/S5SWTRQ0W4 |
|---|---|
| Kind | example |
| 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.17240#X6VP (example). In 59BZ4V9RQW/e1, example 8.3
History
- 2026-10-28: add by m2/v0.4.2
Reeb stability theorem S5T2VRS3M3
| URI | m2://inv/S5T2VRS3M3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reeb stability theorem, Reeb stability theorem (statement). Also Wikidata Q4455018
History
- 2026-11-02: add by m2/dev
S5T2Z9CS4G S5T2Z9CS4G
| URI | m2://inv/S5T2Z9CS4G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:zerosetnotcompact (exercise). In VNMV985MXX, exercise, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
S5T7CE4AQ5 S5T7CE4AQ5
| URI | m2://inv/S5T7CE4AQ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-18 (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13
Spin manifold S5T8414DYG
| URI | m2://inv/S5T8414DYG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#DYH0, Spin manifold (definition)
History
- 2026-11-02: add by m2/dev
Kelvin's circulation theorem S5TAFZ65MJ
| URI | m2://inv/S5TAFZ65MJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3661294, Kelvin's circulation theorem (statement). Also Wikidata Q3661294
- thousand_plus: thousand_plus Q3661294, Kelvin's circulation theorem (statement). Also Wikidata Q3661294, Wikipedia Kelvin's circulation theorem
- wikipedia: Wikipedia Kelvin's circulation theorem, Kelvin's circulation theorem (statement). Also Wikidata Q3661294
History
- 2026-10-26: add by m2/dev
inverse hyperbolic cosecant S5TEC123RM
| URI | m2://inv/S5TEC123RM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12748485, inverse hyperbolic cosecant (definition). Also MathWorld InverseHyperbolicCosecant, ProofWiki Definition:Area_Hyperbolic_Cosecant
History
- 2026-10-26: add by m2/dev
S5TFXHDV6Q S5TFXHDV6Q
| URI | m2://inv/S5TFXHDV6Q |
|---|---|
| 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.12479#2GJG (statement). In WE001PR75Z/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.2
S5THQ41516 S5THQ41516
| URI | m2://inv/S5THQ41516 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12330#BBVY (example). In XHSKEPT3VD/e1, example 6.6
History
- 2026-10-28: add by m2/v0.4.2
S5TQZP7CAS S5TQZP7CAS
| URI | m2://inv/S5TQZP7CAS |
|---|---|
| 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 2609.31269#XSFZ (statement). In ZPT9XCCAPQ/e1, lemma 2.2.4
History
- 2026-10-31: add by m2/v0.5.6
Definition S5TTT1Y7Z0
| URI | m2://inv/S5TTT1Y7Z0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Series acceleration#OZOO, Definition (definition)
History
- 2026-11-02: add by m2/dev
S5TXW7GF8P S5TXW7GF8P
| URI | m2://inv/S5TXW7GF8P |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.00752#QP0J (statement)
History
- 2026-10-28: add by m2/v0.4.2
S5TYA4C7RD S5TYA4C7RD
| URI | m2://inv/S5TYA4C7RD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27694#SKZ6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Refinement S5VH59PMN1
| URI | m2://inv/S5VH59PMN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Refinement (category theory), Refinement (definition). Also Wikidata Q55631370
History
- 2026-11-02: add by m2/dev
Galilean group S5VHDB02B3
| URI | m2://inv/S5VHDB02B3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galilean transformation#2AB8, Galilean group (unknown)
History
- 2026-11-02: add by m2/dev
S5VKKTS0VK S5VKKTS0VK
| URI | m2://inv/S5VKKTS0VK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.07644#IY6O (statement). In TFAN2DR6FD/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
Cayley table S5VMKP5TYZ
| URI | m2://inv/S5VMKP5TYZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Cayley table 0E4WH0R7HG |
Mentions
- wikidata: Wikidata Q1546924, Cayley table (concept). Also MathWorld CayleyTable
- wikipedia: Wikipedia Cayley table, Cayley table (definition). Also Wikidata Q1546924
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Condition number of the strain energy density evaluation S5VP60XGVD
| URI | m2://inv/S5VP60XGVD |
|---|---|
| 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.37844#1UE0, Condition number of the strain energy density evaluation (statement). In AD7PHG0N4B/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
S5VRCVVRHM S5VRCVVRHM
| URI | m2://inv/S5VRCVVRHM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2609.33856#9B86 (statement). In 47WN78VDDF/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
Effect size S5VRV5RSWT
| URI | m2://inv/S5VRV5RSWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1FVA, Effect size (definition)
History
- 2026-11-02: add by m2/dev
Example S5W31GS9W5
| URI | m2://inv/S5W31GS9W5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear system of conics#HLNR, Example (example)
History
- 2026-11-02: add by m2/dev
Unary numeral system S5W8H1A68S
| URI | m2://inv/S5W8H1A68S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unary numeral system, Unary numeral system (definition). Also Wikidata Q724775
History
- 2026-11-02: add by m2/dev
Dushnik–Miller theorem S5WGF1EE94
| URI | m2://inv/S5WGF1EE94 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dushnik–Miller theorem, Dushnik–Miller theorem (statement). Also Wikidata Q96376758
History
- 2026-11-02: add by m2/dev
Joseph Ritt S5WM1HKFAY
| URI | m2://inv/S5WM1HKFAY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#XVS1, Joseph Ritt (unknown)
History
- 2026-11-02: add by m2/dev
Variations (corollaries) of the law S5WNEQCPEX
| URI | m2://inv/S5WNEQCPEX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Murphy's law#2LD5, Variations (corollaries) of the law (statement)
History
- 2026-11-02: add by m2/dev
RSA-320 S5WQ9WW9DE
| URI | m2://inv/S5WQ9WW9DE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#MRUE, RSA-320 (unknown)
History
- 2026-11-02: add by m2/dev
Assumptions of the theorems S5WS7SEXGN
| URI | m2://inv/S5WS7SEXGN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Penrose–Hawking singularity theorems#H01K, Assumptions of the theorems (statement)
History
- 2026-11-02: add by m2/dev
S5WWQSQN9N S5WWQSQN9N
| URI | m2://inv/S5WWQSQN9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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 2610.13629#QK4M (statement). In PQNYA0C510/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
S5WXYHN4A1 S5WXYHN4A1
| URI | m2://inv/S5WXYHN4A1 |
|---|---|
| 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.11693#Y6UH (statement). In F8QNPNTBTZ/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.3
S5XA0XS348 S5XA0XS348
| URI | m2://inv/S5XA0XS348 |
|---|---|
| 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 2304.02722#BUVU (statement). In AH7D55D3WV/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
Algorithms S5XCCMM044
| URI | m2://inv/S5XCCMM044 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex optimization#Z7JK, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Arno Kuijlaars S5XJ8JY9GJ
| URI | m2://inv/S5XJ8JY9GJ |
|---|---|
| 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#OZ3V, Arno Kuijlaars (topic)
History
- 2026-11-02: add by m2/dev
S5XMWPZAQJ S5XMWPZAQJ
| URI | m2://inv/S5XMWPZAQJ |
|---|---|
| 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.28669#4Z8B (statement)
History
- 2026-11-01: add by m2/v0.6.15
Derivation of three moment theorem S5XY2S74JV
| URI | m2://inv/S5XY2S74JV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theorem of three moments#LQ4N, Derivation of three moment theorem (statement)
History
- 2026-11-02: add by m2/dev
Lotfi A. Zadeh S5YDKQ1XRG
| URI | m2://inv/S5YDKQ1XRG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#7LUE, Lotfi A. Zadeh (unknown)
History
- 2026-11-02: add by m2/dev
Mihir Baran Banerjee S5YG3XT3Y3
| URI | m2://inv/S5YG3XT3Y3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mihir Baran Banerjee, Mihir Baran Banerjee (topic). Also Wikidata Q16106356
History
- 2026-11-02: add by m2/dev
S5YNFPJ7XV S5YNFPJ7XV
| URI | m2://inv/S5YNFPJ7XV |
|---|---|
| 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.32997#K2Z6 (statement). In N380GY9A9N/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
Properties S5YQR6WRFE
| URI | m2://inv/S5YQR6WRFE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strictly positive measure#AYQB, Properties (statement)
History
- 2026-11-02: add by m2/dev
Collection of necessary conditions in the general case S5YVE096YZ
| URI | m2://inv/S5YVE096YZ |
|---|---|
| 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.24185#ZZBS, Collection of necessary conditions in the general case (statement)
History
- 2026-11-01: add by m2/v0.6.15
S5YYHYCC08 S5YYHYCC08
| URI | m2://inv/S5YYHYCC08 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.10930#YNI6 (definition). In HX63A1PH1W/e1, definition 4.18
History
- 2026-10-28: add by m2/v0.4.3
Prehistoric mathematics S5Z2Z4J7ZS
| URI | m2://inv/S5Z2Z4J7ZS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of mathematics#IHUM, Prehistoric mathematics (unknown)
History
- 2026-11-02: add by m2/dev
S5Z3EMSMJA S5Z3EMSMJA
| URI | m2://inv/S5Z3EMSMJA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07401#E2XE (statement). In FQ5435B36D/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Tensorization of barycenters S5Z9RFCN0K
| URI | m2://inv/S5Z9RFCN0K |
|---|---|
| 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.01855#VYA8, Tensorization of barycenters (statement). In MM8P5CJR18/e1, lemma 5.30
History
- 2026-10-29: add by m2/v0.4.12
Agmon's inequality S5ZA31CKHA
| URI | m2://inv/S5ZA31CKHA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#AYXI, Agmon's inequality (statement)
History
- 2026-11-02: add by m2/dev
Few normals in rank one S5ZCNEZJGJ
| URI | m2://inv/S5ZCNEZJGJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.37368#985F, Few normals in rank one (statement). In FRMCKEGVJZ/e1, lemma 25
History
- 2026-10-30: add by m2/v0.4.12
S5ZN4QZ8DM S5ZN4QZ8DM
| URI | m2://inv/S5ZN4QZ8DM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26337#O38Y (example)
History
- 2026-11-01: add by m2/v0.6.15
Kolmogorov's three-series theorem S5ZR83F22T
| URI | m2://inv/S5ZR83F22T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#31J7, Kolmogorov's three-series theorem (statement)
History
- 2026-11-02: add by m2/dev
S5ZWJVDWKG S5ZWJVDWKG
| URI | m2://inv/S5ZWJVDWKG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/construction-of-model.tex#lem:val-in-termmodel (statement). In PKGMM3P5QY, lem, section 11.1
History
- 2026-11-01: add by m2/v0.6.13
The band problem at a contact S5ZZV9FQMC
| URI | m2://inv/S5ZZV9FQMC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#J0Q7, The band problem at a contact (statement). In NKXTXH59P1/e1, lemma D.12
History
- 2026-10-29: add by m2/v0.4.10