Inventory rows S4
The cards of the rows of the inventory whose ids start with S4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Untyped models as a special case S4011C7V9Z
| URI | m2://inv/S4011C7V9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20478#SW9Z, Untyped models as a special case (statement)
History
- 2026-11-02: add by m2/v0.6.18
Tightness of the convex-regret form S404GM2TXQ
| URI | m2://inv/S404GM2TXQ |
|---|---|
| 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.12713#THZ6, Tightness of the convex-regret form (statement). In F14A5HX20Q/e1, proposition D.8.1
History
- 2026-10-28: add by m2/v0.4.2
orthogonal projection S405C2KB96
| URI | m2://inv/S405C2KB96 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Hilbert spaces > orthogonal projection, orthogonal projection (unknown). Also Mathlib Submodule.orthogonalProjectionOnto
- mathlib_undergrad: mathlib_undergrad Topology > Hilbert spaces > orthogonal projection onto closed vector subspaces, orthogonal projection onto closed vector subspaces (unknown). Also Mathlib Submodule.orthogonalProjectionOnto
History
- 2026-10-26: add by m2/dev
Construction S408BCF92M
| URI | m2://inv/S408BCF92M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated 6-orthoplexes#9ULP, Construction (definition)
History
- 2026-11-02: add by m2/dev
Examples S409ZNNTPT
| URI | m2://inv/S409ZNNTPT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ringed space#91O1, Examples (example)
History
- 2026-11-02: add by m2/dev
S40AYW2S33 S40AYW2S33
| URI | m2://inv/S40AYW2S33 |
|---|---|
| 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.20302#0XQQ (statement). In GN8JWKH956/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.2
Weingarten function S40BRWDQHX
| URI | m2://inv/S40BRWDQHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weingarten function, Weingarten function (definition). Also Wikidata Q17104676
History
- 2026-11-02: add by m2/dev
S40F7VQWJ1 S40F7VQWJ1
| URI | m2://inv/S40F7VQWJ1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-4 (exercise). In E9HS8K3A52, exercise, section 5.1.6
History
- 2026-11-01: add by m2/v0.6.13
Quantum singular value transformation S40MDEPJ38
| URI | m2://inv/S40MDEPJ38 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#J8V6, Quantum singular value transformation (definition)
History
- 2026-11-02: add by m2/dev
Barnardisation S40RDF2W6W
| URI | m2://inv/S40RDF2W6W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#81A5, Barnardisation (definition)
History
- 2026-11-02: add by m2/dev
Cubic-icosahedral honeycomb S40SJJ7R67
| URI | m2://inv/S40SJJ7R67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic-icosahedral honeycomb, Cubic-icosahedral honeycomb (definition). Also Wikidata Q17077799
History
- 2026-11-02: add by m2/dev
Example S40YWKGX8H
| URI | m2://inv/S40YWKGX8H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berlekamp–Rabin algorithm#Z28I, Example (example)
History
- 2026-11-02: add by m2/dev
Example S40ZDPM0FK
| URI | m2://inv/S40ZDPM0FK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paley graph#YG66, Example (example)
History
- 2026-11-02: add by m2/dev
S41HYGE5AM S41HYGE5AM
| URI | m2://inv/S41HYGE5AM |
|---|---|
| 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 2511.05069#U50H (statement). In SFQBJBTW8K/e1, lemma 9.7
History
- 2026-10-27: add by m2/v0.3.5
S41XDM7JT7 S41XDM7JT7
| URI | m2://inv/S41XDM7JT7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22218#807V (statement). In 338GKREFVP/e1, lemma 18
History
- 2026-10-27: add by m2/v0.4.0
Victor Ivrii S41Y3SWK4P
| URI | m2://inv/S41Y3SWK4P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#V1PA, Victor Ivrii (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QFVZ, Victor Ivrii (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#W6OK, Victor Ivrii (unknown)
History
- 2026-11-02: add by m2/dev
Francis Ysidro Edgeworth S4202QNGRY
| URI | m2://inv/S4202QNGRY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Z66O, Francis Ysidro Edgeworth (unknown)
History
- 2026-11-02: add by m2/dev
Definition S423KMDQCY
| URI | m2://inv/S423KMDQCY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal homogeneous space#USLY, Definition (definition)
History
- 2026-11-02: add by m2/dev
Volker Schomerus S42B88K2EX
| URI | m2://inv/S42B88K2EX |
|---|---|
| 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 Q63092983, Volker Schomerus (unknown). Also nLab Volker Schomerus
History
- 2026-10-26: add by m2/dev
S42H2F9C03 S42H2F9C03
| URI | m2://inv/S42H2F9C03 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/characters.tex#proof-2 (proof). In RZP28ERRZV, proof, section 79.3
History
- 2026-11-01: add by m2/v0.6.13
Variation diminishing property S42RXE68JB
| URI | m2://inv/S42RXE68JB |
|---|---|
| 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.19861#CJ37, Variation diminishing property (definition). In 5ZPQ60TM6J/e1, definition 26
History
- 2026-10-28: add by m2/v0.4.2
Street, Johnson--Yau S42VT1T75E
| URI | m2://inv/S42VT1T75E |
|---|---|
| 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 2305.01474#XLNV, Street, Johnson--Yau (statement). In 2QB5F6J24Q/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.4.0
S42XQ33Q6D S42XQ33Q6D
| URI | m2://inv/S42XQ33Q6D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.20299#Z7DW (statement). In P7T0W5D3W3/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.4.2
Classification of submodules S432NCFGKN
| URI | m2://inv/S432NCFGKN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15887#OGT5, Classification of submodules (statement). In 87QYNZZ67Z/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
S432RE0TXD S432RE0TXD
| URI | m2://inv/S432RE0TXD |
|---|---|
| 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.00364#VG7X (statement). In ANR3DHYQPQ/e1, theorem C
History
- 2026-10-30: add by m2/v0.4.12
S435RH1XB7 S435RH1XB7
| URI | m2://inv/S435RH1XB7 |
|---|---|
| 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 1903.11969#GWB3 (statement). In 9N4EV3GRM7/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.3.5
S438G0Z75A S438G0Z75A
| URI | m2://inv/S438G0Z75A |
|---|---|
| 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 2412.12141#CJD6 (statement). In V980ZMH759/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.4.0
S43HHB5XD3 S43HHB5XD3
| URI | m2://inv/S43HHB5XD3 |
|---|---|
| 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.28495#LAJK (statement)
History
- 2026-11-01: add by m2/v0.6.15
S43KFWN48Q S43KFWN48Q
| URI | m2://inv/S43KFWN48Q |
|---|---|
| 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.32903#2UMU (statement). In S8NB83KQX3/e1, theorem 7
History
- 2026-10-31: add by m2/v0.5.6
Statement of the theorem S43W8RK2XV
| URI | m2://inv/S43W8RK2XV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fekete's lemma#JSJ5, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Generalizations S43WW8TW2H
| URI | m2://inv/S43WW8TW2H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rule of mixtures#QVBG, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Tail gap S43YC3665E
| URI | m2://inv/S43YC3665E |
|---|---|
| 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.23145#7ZAL, Tail gap (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications S43Z50RNQ5
| URI | m2://inv/S43Z50RNQ5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hessian matrix#24OJ, Applications (example)
History
- 2026-11-02: add by m2/dev
S440D0B750 S440D0B750
| URI | m2://inv/S440D0B750 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10147#1IY0 (statement). In WZWGAG2FSN/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
WebTorrent S4416ESN7G
| URI | m2://inv/S4416ESN7G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia WebTorrent, WebTorrent (definition). Also Wikidata Q52233158
History
- 2026-11-02: add by m2/dev
Euler's sum of powers conjecture S441GX4H6X
| URI | m2://inv/S441GX4H6X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1096450, Euler's sum of powers conjecture (conjecture). Also MathWorld EulersSumofPowersConjecture, ProofWiki Euler_Quartic_Conjecture
- wikipedia: Wikipedia Euler's sum of powers conjecture, Euler's sum of powers conjecture (statement). Also Wikidata Q1096450
History
- 2026-10-26: add by m2/dev
S449C62QV8 S449C62QV8
| URI | m2://inv/S449C62QV8 |
|---|---|
| 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 math/0301148#TZ4A (statement). In 5RE15848Z0/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Residual neural network S44FDHWY72
| URI | m2://inv/S44FDHWY72 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residual neural network, Residual neural network (definition). Also Wikidata Q43744058
History
- 2026-11-02: add by m2/dev
Properties of the regulated integral S44KJ1AH2Z
| URI | m2://inv/S44KJ1AH2Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regulated integral#7OBB, Properties of the regulated integral (statement)
History
- 2026-11-02: add by m2/dev
module S44QHKMW63
| URI | m2://inv/S44QHKMW63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#TUMN, module (definition)
History
- 2026-11-02: add by m2/dev
S44SDKJV1S S44SDKJV1S
| URI | m2://inv/S44SDKJV1S |
|---|---|
| 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.16060#G0LN (statement). In X0BTF9HPGM/e1, lemma 3.14
History
- 2026-10-28: add by m2/v0.4.2
The resonance group is Haar-null S44ZC6NPAF
| URI | m2://inv/S44ZC6NPAF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27970#I89F, The resonance group is Haar-null (statement)
History
- 2026-11-01: add by m2/v0.6.15
József Balogh S454KKJQDB
| URI | m2://inv/S454KKJQDB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia József Balogh (mathematician), József Balogh (topic). Also Wikidata Q30541324
History
- 2026-11-02: add by m2/dev
Statement of the inequality S455THGECD
| URI | m2://inv/S455THGECD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loomis–Whitney inequality#FT20, Statement of the inequality (statement)
History
- 2026-11-02: add by m2/dev
Jigu Suanjing S456RBR2K3
| URI | m2://inv/S456RBR2K3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jigu Suanjing, Jigu Suanjing (definition). Also Wikidata Q6192415
History
- 2026-11-02: add by m2/dev
S45BX8GXWT S45BX8GXWT
| URI | m2://inv/S45BX8GXWT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13908#RICI (statement). In 9C684206F0/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.2
Infinitesimal cohomology S45GVZBKK9
| URI | m2://inv/S45GVZBKK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinitesimal cohomology, Infinitesimal cohomology (definition). Also Wikidata Q30704536
History
- 2026-11-02: add by m2/dev
S4679D42M4 S4679D42M4
| URI | m2://inv/S4679D42M4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07001#0NYA (statement). In 5DFTVG7FFF/e1, proposition 2.13
History
- 2026-10-29: add by m2/v0.4.10
(n, m)-category S467DNDKNF
| URI | m2://inv/S467DNDKNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia (n, m)-category, (n, m)-category (definition). Also Wikidata Q140043231
History
- 2026-11-02: add by m2/dev
S46A240704 S46A240704
| URI | m2://inv/S46A240704 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39104#PEVK (definition). In V2NTW27MSJ/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
S46F2Y5HBV S46F2Y5HBV
| URI | m2://inv/S46F2Y5HBV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22317#JLWV (statement). In 2W5Z97BBW4/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.0
Eilenberg–Zilber theorem S46GJ0YTR0
| URI | m2://inv/S46GJ0YTR0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#1UYM, Eilenberg–Zilber theorem (definition)
History
- 2026-11-02: add by m2/dev
Statement S46JS8HE5N
| URI | m2://inv/S46JS8HE5N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet–Kolmogorov theorem#J0WP, Statement (statement)
History
- 2026-11-02: add by m2/dev
S46MXMDBHJ S46MXMDBHJ
| URI | m2://inv/S46MXMDBHJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37589#7YU2 (example). In 18HVB2SKW1/e1, example 5.4
History
- 2026-10-30: add by m2/v0.4.12
S46Q6D05RQ S46Q6D05RQ
| URI | m2://inv/S46Q6D05RQ |
|---|---|
| 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.28412#UJOR (statement)
History
- 2026-11-01: add by m2/v0.6.15
S474PGRVHB S474PGRVHB
| URI | m2://inv/S474PGRVHB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01501#F6VU (statement). In 8Q2PXZDGB5/e1, theorem 5.4
History
- 2026-10-29: add by m2/v0.4.12
The Review of Symbolic Logic S476X5FY3K
| URI | m2://inv/S476X5FY3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#I5EM, The Review of Symbolic Logic (definition)
History
- 2026-11-02: add by m2/dev
S47AEPHRPQ S47AEPHRPQ
| URI | m2://inv/S47AEPHRPQ |
|---|---|
| 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.39905#0UYZ (statement). In D4B23ER9QD/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
Jennifer Balakrishnan S47BXPGJM3
| URI | m2://inv/S47BXPGJM3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CF9T, Jennifer Balakrishnan (topic)
History
- 2026-11-02: add by m2/dev
S47CKHDM8S S47CKHDM8S
| URI | m2://inv/S47CKHDM8S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.16041#KQGN (statement). In 2GD6NWJVRM/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
E series of preferred numbers S47G9KY2J2
| URI | m2://inv/S47G9KY2J2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E series of preferred numbers, E series of preferred numbers (definition). Also Wikidata Q36910
History
- 2026-11-02: add by m2/dev
The Nyquist criterion for systems with poles on the imaginary axis S489QTSKC9
| URI | m2://inv/S489QTSKC9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nyquist stability criterion#EM10, The Nyquist criterion for systems with poles on the imaginary axis (statement)
History
- 2026-11-02: add by m2/dev
S48HF3H5JT S48HF3H5JT
| URI | m2://inv/S48HF3H5JT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#thm:unique additive identity (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13
S48HT0S8WZ S48HT0S8WZ
| URI | m2://inv/S48HT0S8WZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35543#1DQ9 (statement). In WSG1ZW956E/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Applications S48M80T6W1
| URI | m2://inv/S48M80T6W1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S5 (modal logic)#MU1C, Applications (example)
History
- 2026-11-02: add by m2/dev
S48N7WHTX2 S48N7WHTX2
| URI | m2://inv/S48N7WHTX2 |
|---|---|
| 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 2410.02139#2E89 (statement). In TJ1NTK3KJW/e1, theorem 29
History
- 2026-10-27: add by m2/v0.3.5
The smallest Ree instance $q=3$ S48TSCXV8T
| URI | m2://inv/S48TSCXV8T |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#2L1C, The smallest Ree instance $q=3$ (example). In 9NVKKW8HDH/e1, example 2.62
History
- 2026-10-28: add by m2/v0.4.2
JMulTi S4916F9116
| URI | m2://inv/S4916F9116 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia JMulTi, JMulTi (definition). Also Wikidata Q3435859
History
- 2026-11-02: add by m2/dev
S493NEXH2B S493NEXH2B
| URI | m2://inv/S493NEXH2B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/function-basics.tex#ex-5 (example). In PKGMM3P5QY, ex, section 78.9
History
- 2026-11-01: add by m2/v0.6.13
Equal-weight discretization preserving the margin class S49537506F
| URI | m2://inv/S49537506F |
|---|---|
| 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.21363#80AI, Equal-weight discretization preserving the margin class (statement). In YPH7NS5AAQ/e1, lemma D.1
History
- 2026-10-27: add by m2/v0.4.2
Examples S4968TAPJR
| URI | m2://inv/S4968TAPJR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ice-sheet model#YY6H, Examples (example)
History
- 2026-11-02: add by m2/dev
ODE/IM correspondence S497BV3MG4
| URI | m2://inv/S497BV3MG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ODE/IM correspondence, ODE/IM correspondence (definition). Also Wikidata Q121296331
History
- 2026-11-02: add by m2/dev
S49FCJYG49 S49FCJYG49
| URI | m2://inv/S49FCJYG49 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17883#LW6R (definition). In 9WSJV2WY2S/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Definition S49T885AVT
| URI | m2://inv/S49T885AVT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Star product#23BU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Behrens–Fisher distribution S4A4RREBY4
| URI | m2://inv/S4A4RREBY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8N5G, Behrens–Fisher distribution (definition)
History
- 2026-11-02: add by m2/dev
S4A8QY3TBA S4A8QY3TBA
| URI | m2://inv/S4A8QY3TBA |
|---|---|
| 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 2211.16099#L0VR (statement). In 91RRFW0K5D/e1, proposition 8
History
- 2026-10-27: add by m2/v0.3.5
S4AADX85NM S4AADX85NM
| URI | m2://inv/S4AADX85NM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00259#SWXQ (statement). In CFXW6Z78G0/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
S4AHJ90ZZR S4AHJ90ZZR
| URI | m2://inv/S4AHJ90ZZR |
|---|---|
| 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#8PO7 (statement). In P1MYSYHSGX/e1, proposition 4.8
History
- 2026-10-27: add by m2/v0.3.5
Applications S4AKKV5K3X
| URI | m2://inv/S4AKKV5K3X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional encryption#6AKT, Applications (example)
History
- 2026-11-02: add by m2/dev
Closedness and Averaging S4AQHRQDPT
| URI | m2://inv/S4AQHRQDPT |
|---|---|
| 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.30105#ZW1N, Closedness and Averaging (statement)
History
- 2026-11-01: add by m2/v0.6.15
C0-semigroup S4AX6E61GG
| URI | m2://inv/S4AX6E61GG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C0-semigroup, C0-semigroup (definition). Also Wikidata Q846542
History
- 2026-11-02: add by m2/dev
Common Scrambling Algorithm S4AYAVDFW6
| URI | m2://inv/S4AYAVDFW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Common Scrambling Algorithm, Common Scrambling Algorithm (definition). Also Wikidata Q1029168
History
- 2026-11-02: add by m2/dev
Andrew Browder S4B4VS6Q8C
| URI | m2://inv/S4B4VS6Q8C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrew Browder, Andrew Browder (topic). Also Wikidata Q29097546
History
- 2026-11-02: add by m2/dev
Statements S4B76PDQC1
| URI | m2://inv/S4B76PDQC1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dixon's identity#N3XC, Statements (statement)
History
- 2026-11-02: add by m2/dev
Example S4B9AJTZ80
| URI | m2://inv/S4B9AJTZ80 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kneser's theorem (differential equations)#0D3D, Example (example)
History
- 2026-11-02: add by m2/dev
Uniform multiplicative relations S4BC4WS7TM
| URI | m2://inv/S4BC4WS7TM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#6V2D, Uniform multiplicative relations (statement). In Z7M2JSF6HA/e1, proposition 3.3
History
- 2026-10-31: add by m2/v0.5.6
prior S4BCVD4FXH
| URI | m2://inv/S4BCVD4FXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian inference#GDSY, prior (definition)
History
- 2026-11-02: add by m2/dev
S4BKJ512JD S4BKJ512JD
| URI | m2://inv/S4BKJ512JD |
|---|---|
| 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 2501.02331#PFP5 (statement). In N9J5DJCTJZ/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
S4BTFMYERB S4BTFMYERB
| URI | m2://inv/S4BTFMYERB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24297#3EQA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dmitry Panchenko S4C6GV1GMM
| URI | m2://inv/S4C6GV1GMM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3NSG, Dmitry Panchenko (unknown)
History
- 2026-11-02: add by m2/dev
S4CH2DY51B S4CH2DY51B
| URI | m2://inv/S4CH2DY51B |
|---|---|
| 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#O7ID (statement). In CB35ZBBBPT/e1, corollary 3.8
History
- 2026-10-31: add by m2/v0.5.6
Coarse bounds S4CNGNBSPA
| URI | m2://inv/S4CNGNBSPA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16668#PK1M, Coarse bounds (statement). In W7GPN2AHHM/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
S4CT94NZFS S4CT94NZFS
| URI | m2://inv/S4CT94NZFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06699#59VR (statement). In GXHKRV5BPY/e1, theorem 5.9
History
- 2026-10-29: add by m2/v0.4.10
S4CT9G4RDV S4CT9G4RDV
| URI | m2://inv/S4CT9G4RDV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:Bergmanunique (exercise). In VNMV985MXX, exercise, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
S4CTQZZF0V S4CTQZZF0V
| URI | m2://inv/S4CTQZZF0V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#KBJ3 (definition). In DDNP38CHQJ/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
S4CX8YDBE5 S4CX8YDBE5
| URI | m2://inv/S4CX8YDBE5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_discussion.ptx#recurrence_discussion_takeaways (exercise). In QKM9DD2H56, exercise, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
S4D1W193PJ S4D1W193PJ
| URI | m2://inv/S4D1W193PJ |
|---|---|
| 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.08682#SJDK (statement). In Y306A1GPM5/e1, proposition 3.13
History
- 2026-10-29: add by m2/v0.4.10
Bumsig Kim S4D5W7RQRH
| URI | m2://inv/S4D5W7RQRH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2HMF, Bumsig Kim (unknown)
History
- 2026-11-02: add by m2/dev
Shinichi Mochizuki S4D5XW591Y
| URI | m2://inv/S4D5XW591Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q267066, Shinichi Mochizuki (unknown). Also nLab Shinichi Mochizuki, ProofWiki Mathematician:Shinichi_Mochizuki
- wikipedia: Wikipedia Shinichi Mochizuki, Shinichi Mochizuki (topic). Also Wikidata Q267066
History
- 2026-10-26: add by m2/dev
S4D9AJ5NKT S4D9AJ5NKT
| URI | m2://inv/S4D9AJ5NKT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#proof-2 (proof). In RZP28ERRZV, proof, section 98.2
History
- 2026-11-01: add by m2/v0.6.13
Examples S4D9ENVN25
| URI | m2://inv/S4D9ENVN25 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia High-dimensional statistics#RT08, Examples (example)
History
- 2026-11-02: add by m2/dev
S4DM1BTEXG S4DM1BTEXG
| URI | m2://inv/S4DM1BTEXG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#60V9 (statement). In 2VHV0RNTNV/e1, lemma 8.9
History
- 2026-10-29: add by m2/v0.4.12
Karl Goldziher S4DQAJM2EB
| URI | m2://inv/S4DQAJM2EB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0TGG, Karl Goldziher (unknown)
History
- 2026-11-02: add by m2/dev
S4DR32SYV7 S4DR32SYV7
| URI | m2://inv/S4DR32SYV7 |
|---|---|
| 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#M8JS (statement). In NJWY6HPFHG/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
S4DRYC4MHF S4DRYC4MHF
| URI | m2://inv/S4DRYC4MHF |
|---|---|
| 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#JHGS (statement). In X923ZEY423/e1, lemma 1.8.1
History
- 2026-10-27: add by m2/v0.3.5
S4DZN26BAR S4DZN26BAR
| URI | m2://inv/S4DZN26BAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03255#0TO7 (statement). In DCC0Y18670/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.12
A four-vertex asymmetric rectangle S4E25VV5XF
| URI | m2://inv/S4E25VV5XF |
|---|---|
| Kind | example |
| 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.10077#JOR8, A four-vertex asymmetric rectangle (example). In YA7H9PY3R1/e1, example 3.9
History
- 2026-10-29: add by m2/v0.4.10
S4E4AYNSAZ S4E4AYNSAZ
| URI | m2://inv/S4E4AYNSAZ |
|---|---|
| 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.19861#BJRU (statement). In 5ZPQ60TM6J/e1, proposition 13
History
- 2026-10-28: add by m2/v0.4.2
S4E6PSGZW8 S4E6PSGZW8
| URI | m2://inv/S4E6PSGZW8 |
|---|---|
| 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.26675#JW1U (statement)
History
- 2026-11-01: add by m2/v0.6.15
S4E8K6DFK8 S4E8K6DFK8
| URI | m2://inv/S4E8K6DFK8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#problem-1 (exercise). In P1C114YBXG, problem, section C
History
- 2026-11-01: add by m2/v0.6.13
S4EDHKFCKS S4EDHKFCKS
| URI | m2://inv/S4EDHKFCKS |
|---|---|
| Kind | example |
| 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 2208.06310#EB8Q (example). In 9YR0E0T9XA/e1, example 2.15
History
- 2026-10-27: add by m2/v0.3.5
Global half-space existence S4EG5NRWWR
| URI | m2://inv/S4EG5NRWWR |
|---|---|
| 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.13613#E8J1, Global half-space existence (statement). In 3HCT4TQ5PM/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Corollary 2.3 in \textcite{Henke-et-al:2024 S4EPD0BTP0
| URI | m2://inv/S4EPD0BTP0 |
|---|---|
| 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 2503.01563#FCFP, Corollary 2.3 in \textcite{Henke-et-al:2024 (statement). In H96Q47E9E1/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
S4EQE2VBB0 S4EQE2VBB0
| URI | m2://inv/S4EQE2VBB0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.31090#YJB5 (statement). In SMTJDX0Q6R/e1, proposition 7.1
History
- 2026-10-31: add by m2/v0.5.6
Three labels S4EV80KRY6
| URI | m2://inv/S4EV80KRY6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#XN1L, Three labels (example). In 9YAE8FNQST/e1, example 23.28
History
- 2026-10-30: add by m2/v0.4.12
581 (number) S4EX0PTWYC
| URI | m2://inv/S4EX0PTWYC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#2ORK, 581 (number) (unknown)
History
- 2026-11-02: add by m2/dev
S4EXTCTM4Y S4EXTCTM4Y
| URI | m2://inv/S4EXTCTM4Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#ZSGH (statement). In TX0H26X4VX/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
S4EY6HCKXC S4EY6HCKXC
| URI | m2://inv/S4EY6HCKXC |
|---|---|
| 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 2609.36423#GVN8 (definition). In Q5Z178SAHP/e1, definition 6.6
History
- 2026-10-30: add by m2/v0.4.12
harmonic progression S4EYZF6JTE
| URI | m2://inv/S4EYZF6JTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#VINJ, harmonic progression (definition)
History
- 2026-11-02: add by m2/dev
Blumenthal's zero–one law S4F9CWB5BX
| URI | m2://inv/S4F9CWB5BX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blumenthal's zero–one law, Blumenthal's zero–one law (statement). Also Wikidata Q886305
History
- 2026-11-02: add by m2/dev
S4FRFPBVRX S4FRFPBVRX
| URI | m2://inv/S4FRFPBVRX |
|---|---|
| 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 2608.23797#RS85 (statement). In PZCA01JXVR/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.3.5
S4FT2SH0KA S4FT2SH0KA
| URI | m2://inv/S4FT2SH0KA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12295#2HZY (statement). In 6DZPR52HRP/e1, proposition 4.7
History
- 2026-10-28: add by m2/v0.4.2
S4FT87MHPK S4FT87MHPK
| URI | m2://inv/S4FT87MHPK |
|---|---|
| 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 2608.24190#IBQN (statement). In DW7FVA587C/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Computation S4FTJYRYHW
| URI | m2://inv/S4FTJYRYHW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal polynomial (linear algebra)#O2MW, Computation (definition)
History
- 2026-11-02: add by m2/dev
Parallel two-track scheme: optimal on both regimes S4FZTGH9W2
| URI | m2://inv/S4FZTGH9W2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00295#YS37, Parallel two-track scheme: optimal on both regimes (statement). In 7HXP270BD0/e1, theorem 3.25
History
- 2026-10-30: add by m2/v0.4.12
S4G2CS1D8P S4G2CS1D8P
| URI | m2://inv/S4G2CS1D8P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2208.13855#Q2PG (statement). In GJKRVZ5YN5/e1, lemma 15
History
- 2026-10-27: add by m2/v0.3.5
MathLink S4G45RSXP5
| URI | m2://inv/S4G45RSXP5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolfram Mathematica#5CKG, MathLink (unknown)
History
- 2026-11-02: add by m2/dev
Spatial Derivative of $v_\star$ S4G47S0SH1
| URI | m2://inv/S4G47S0SH1 |
|---|---|
| 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.02663#HW66, Spatial Derivative of $v_\star$ (statement). In PGAZ70WGMG/e1, lemma 15
History
- 2026-10-29: add by m2/v0.4.12
S4GFTT1EXZ S4GFTT1EXZ
| URI | m2://inv/S4GFTT1EXZ |
|---|---|
| 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.22344#550I (statement)
History
- 2026-11-02: add by m2/v0.6.17
Uniqueness in the natural bounded observation-adapted class S4GHS0N7P5
| URI | m2://inv/S4GHS0N7P5 |
|---|---|
| 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.09278#6A7X, Uniqueness in the natural bounded observation-adapted class (statement). In XREKHJHAT7/e1, proposition 4.15
History
- 2026-10-29: add by m2/v0.4.10
Wigner–Eckart theorem S4GQ9Z6X0Q
| URI | m2://inv/S4GQ9Z6X0Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#7R99, Wigner–Eckart theorem (statement)
History
- 2026-11-02: add by m2/dev
S4GXGX3Z24 S4GXGX3Z24
| URI | m2://inv/S4GXGX3Z24 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/holomorphic.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 39.5
History
- 2026-11-01: add by m2/v0.6.13
S4H08YHCWG S4H08YHCWG
| URI | m2://inv/S4H08YHCWG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18101#1XNY (statement). In XXN6KKXPYF/e1, lemma 6.7
History
- 2026-10-28: add by m2/v0.4.2
S4H1FDYBJD S4H1FDYBJD
| URI | m2://inv/S4H1FDYBJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11905#RCNW (statement). In QQFXT31CA5/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.3
Theorem S4H2ARC2AA
| URI | m2://inv/S4H2ARC2AA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raikov's theorem#AMPK, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Indecomposable Banach space S4HA7V4WRY
| URI | m2://inv/S4HA7V4WRY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complemented subspace#S97H, Indecomposable Banach space (unknown)
History
- 2026-11-02: add by m2/dev
The Brieskorn lattices, {\cf S4HC4V4KRB
| URI | m2://inv/S4HC4V4KRB |
|---|---|
| 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 2311.01874#LNAV, The Brieskorn lattices, {\cf (statement). In A4TR95VGX2/e1, theorem 5.4.4
History
- 2026-10-27: add by m2/v0.3.5
S4HF50Z0EJ S4HF50Z0EJ
| URI | m2://inv/S4HF50Z0EJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14380#WST5 (statement). In 2ZRQP063HP/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Topological deep learning S4HJ2GGNH7
| URI | m2://inv/S4HJ2GGNH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological deep learning, Topological deep learning (definition). Also Wikidata Q125293767
History
- 2026-11-02: add by m2/dev
Intersection non-emptiness problem S4HRE15HZQ
| URI | m2://inv/S4HRE15HZQ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection non-emptiness problem, Intersection non-emptiness problem (problem). Also Wikidata Q104881076
History
- 2026-11-02: add by m2/dev
prelinearity axiom S4HSQY4GEC
| URI | m2://inv/S4HSQY4GEC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#U22J, prelinearity axiom (definition)
History
- 2026-11-02: add by m2/dev
S4HT2XRPMV S4HT2XRPMV
| URI | m2://inv/S4HT2XRPMV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/proofs-modal-systems.tex#prop:S5 (statement). In PKGMM3P5QY, prop, section 50.9
History
- 2026-11-01: add by m2/v0.6.13
Bekenstein bound S4J16QRVER
| URI | m2://inv/S4J16QRVER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bekenstein bound, Bekenstein bound (definition). Also Wikidata Q815018
History
- 2026-11-02: add by m2/dev
Christine Bessenrodt S4J26STEA6
| URI | m2://inv/S4J26STEA6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DY5Y, Christine Bessenrodt (topic)
History
- 2026-11-02: add by m2/dev
Internet poll S4J5C3YQ56
| URI | m2://inv/S4J5C3YQ56 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open-access poll#OAR4, Internet poll (unknown)
History
- 2026-11-02: add by m2/dev
Umbrella sampling S4JAR0ZY0C
| URI | m2://inv/S4JAR0ZY0C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KKC6, Umbrella sampling (definition)
History
- 2026-11-02: add by m2/dev
S4JP5ZJ63M S4JP5ZJ63M
| URI | m2://inv/S4JP5ZJ63M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#PVCI (statement). In 5KR3MHYVV6/e1, theorem 6.12
History
- 2026-10-28: add by m2/v0.4.2
S4JPJT8M7X S4JPJT8M7X
| URI | m2://inv/S4JPJT8M7X |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-124 (exercise). In E9HS8K3A52, exercise, section 5.10.4
History
- 2026-11-01: add by m2/v0.6.13
449 (number) S4JSHQ9GN4
| URI | m2://inv/S4JSHQ9GN4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#GHL3, 449 (number) (unknown)
History
- 2026-11-02: add by m2/dev
S4JSNS4QWF S4JSNS4QWF
| URI | m2://inv/S4JSNS4QWF |
|---|---|
| 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.26496#IKTJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
S4K20P7EDM S4K20P7EDM
| URI | m2://inv/S4K20P7EDM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19251#IIE1 (statement). In CSW6NG0FRN/e1, corollary 4.13
History
- 2026-10-28: add by m2/v0.4.2
High-dimensional statistics S4K5XWRRZY
| URI | m2://inv/S4K5XWRRZY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#D2WM, High-dimensional statistics (topic)
History
- 2026-11-02: add by m2/dev
Definition S4K9SQ902S
| URI | m2://inv/S4K9SQ902S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed category#Y578, Definition (definition)
History
- 2026-11-02: add by m2/dev
Global dynamics of the SIS model S4K9WTQNF4
| URI | m2://inv/S4K9WTQNF4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29567#BEBM, Global dynamics of the SIS model (example)
History
- 2026-11-01: add by m2/v0.6.15
S4KCQ4A7PV S4KCQ4A7PV
| URI | m2://inv/S4KCQ4A7PV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17547#GTJ2 (statement). In XJ59TDP4HA/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
Girsanov theorem S4KFP1TN2Q
| URI | m2://inv/S4KFP1TN2Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q830124, Girsanov's theorem (statement). Also Wikidata Q830124
- thousand_plus: thousand_plus Q830124, Girsanov's theorem (statement). Also Wikidata Q830124, Wikipedia Girsanov's theorem
- wikipedia: Wikipedia Girsanov theorem, Girsanov theorem (statement). Also Wikidata Q830124
History
- 2026-10-26: add by m2/dev
harmonizant S4KRZX58JQ
| URI | m2://inv/S4KRZX58JQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#AOKU, harmonizant (definition)
History
- 2026-11-02: add by m2/dev
Nonparametric regression S4M1A9G5C4
| URI | m2://inv/S4M1A9G5C4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#C2WX, Nonparametric regression (definition)
History
- 2026-11-02: add by m2/dev
Log-logistic distribution S4M212F595
| URI | m2://inv/S4M212F595 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#DGZ3, Log-logistic distribution (definition)
History
- 2026-11-02: add by m2/dev
Giulio Pittarelli S4M87WN0JY
| URI | m2://inv/S4M87WN0JY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giulio Pittarelli, Giulio Pittarelli (topic). Also Wikidata Q45839213
History
- 2026-11-02: add by m2/dev
S4M914G7ED S4M914G7ED
| URI | m2://inv/S4M914G7ED |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#UBQ5 (definition). In FDYZFDHZH9/e1, definition 3.2
History
- 2026-10-31: add by m2/v0.5.6
S4M9YF1MWW S4M9YF1MWW
| URI | m2://inv/S4M9YF1MWW |
|---|---|
| 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 2609.29489#58O6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
S4MC9CNP1K S4MC9CNP1K
| URI | m2://inv/S4MC9CNP1K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.06152#ET2Y (statement). In HH35K7S17H/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.10
S4MN26HJXH S4MN26HJXH
| URI | m2://inv/S4MN26HJXH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#HKYC (statement). In 13GSWBXPCM/e1, proposition 2.9
History
- 2026-10-27: add by m2/v0.3.5
anomalistic year S4MRAFWMKH
| URI | m2://inv/S4MRAFWMKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2735933, anomalistic year (definition). Also ProofWiki Definition:Anomalistic_Year
History
- 2026-10-26: add by m2/dev
S4N72VKJMP S4N72VKJMP
| URI | m2://inv/S4N72VKJMP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06461#UZ2A (statement). In QXY3W2JV2N/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.10
Applications S4NGP5RTTW
| URI | m2://inv/S4NGP5RTTW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Datagram Transport Layer Security#T1XL, Applications (example)
History
- 2026-11-02: add by m2/dev
S4NJSW9NWX S4NJSW9NWX
| URI | m2://inv/S4NJSW9NWX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.36509#DAW5 (statement). In DPJ15KW23C/e1, lemma 9.3
History
- 2026-10-30: add by m2/v0.4.12
S4NMF6ATZS S4NMF6ATZS
| URI | m2://inv/S4NMF6ATZS |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv alg-geom/9506022#83VI (problem). In AQGEM4XAKD/e1, problem 0.2
History
- 2026-10-27: add by m2/v0.3.5
Aperiodic frequency S4NMJMR3X2
| URI | m2://inv/S4NMJMR3X2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frequency#K8ZJ, Aperiodic frequency (unknown)
History
- 2026-11-02: add by m2/dev
Religious beliefs of Millennials S4NMMXSRZT
| URI | m2://inv/S4NMMXSRZT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Millennials#STFL, Religious beliefs of Millennials (unknown)
History
- 2026-11-02: add by m2/dev
S4NP1MBRCC S4NP1MBRCC
| URI | m2://inv/S4NP1MBRCC |
|---|---|
| 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 2610.16294#N6YV (statement). In N7HRE31BBH/e1, theorem 1.7
History
- 2026-10-28: add by m2/v0.4.2
S4NQ7ZC78B S4NQ7ZC78B
| URI | m2://inv/S4NQ7ZC78B |
|---|---|
| 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.07114#KSFC (statement). In HP3TM356J6/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.10
An example S4NR3PJV8T
| URI | m2://inv/S4NR3PJV8T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic boundary value problem#2JOB, An example (example)
History
- 2026-11-02: add by m2/dev
Nine-point hyperbola S4P5XF53NN
| URI | m2://inv/S4P5XF53NN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nine-point hyperbola, Nine-point hyperbola (definition). Also Wikidata Q7038259
History
- 2026-11-02: add by m2/dev
Continuous Local Random Dynamical System S4P64YJC3S
| URI | m2://inv/S4P64YJC3S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-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.06321#8AQ9, Continuous Local Random Dynamical System (definition). In PGV1116XX4/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.10
S4PE51YAW3 S4PE51YAW3
| URI | m2://inv/S4PE51YAW3 |
|---|---|
| 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.32977#U32T (statement). In 4KT9TK3MG4/e1, corollary C.12
History
- 2026-10-31: add by m2/v0.5.6
Minimal too-long path S4PHAV1DK6
| URI | m2://inv/S4PHAV1DK6 |
|---|---|
| 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 2609.39269#24WJ, Minimal too-long path (definition). In HS4X20TX33/e1, definition 0.12
History
- 2026-10-30: add by m2/v0.4.12
Applications S4PJ0PYF8R
| URI | m2://inv/S4PJ0PYF8R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Floquet theory#6MZQ, Applications (example)
History
- 2026-11-02: add by m2/dev
\bf Normalization S4PRXEY74F
| URI | m2://inv/S4PRXEY74F |
|---|---|
| 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.16295#8F1I, \bf Normalization (statement). In J1SKCVMNCB/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Error of Regularized Oversampled Collocation S4PTSD0YBE
| URI | m2://inv/S4PTSD0YBE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13222#VINN, Error of Regularized Oversampled Collocation (statement). In Z6WA2R0J50/e1, theorem 7.2
History
- 2026-10-28: add by m2/v0.4.2
S4PW4MHNPZ S4PW4MHNPZ
| URI | m2://inv/S4PW4MHNPZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#proof-16 (proof). In E59CDZA4DP, proof, section 2.4.2
History
- 2026-11-01: add by m2/v0.6.13
S4PW4R095D S4PW4R095D
| URI | m2://inv/S4PW4R095D |
|---|---|
| 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#QBQQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Alexander M. Mood S4Q6YVB7HW
| URI | m2://inv/S4Q6YVB7HW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#4TFF, Alexander M. Mood (topic)
History
- 2026-11-02: add by m2/dev
Nilcurve S4QEGQAA86
| URI | m2://inv/S4QEGQAA86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nilcurve, Nilcurve (definition). Also Wikidata Q16977818
History
- 2026-11-02: add by m2/dev
trigonometric functions S4QFG75HQS
| URI | m2://inv/S4QFG75HQS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#O36S, trigonometric functions (definition)
History
- 2026-11-02: add by m2/dev
Definitions S4QPZN9DWR
| URI | m2://inv/S4QPZN9DWR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplication#YWK0, Definitions (definition)
History
- 2026-11-02: add by m2/dev
3D Ising model S4QQFVVR5H
| URI | m2://inv/S4QQFVVR5H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ising model#G64C, 3D Ising model (unknown)
History
- 2026-11-02: add by m2/dev
Hertzberg, Vicki S4QXZQ4R07
| URI | m2://inv/S4QXZQ4R07 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#ILZ3, Hertzberg, Vicki (topic)
History
- 2026-11-02: add by m2/dev
S4R4WYRD4Q S4R4WYRD4Q
| URI | m2://inv/S4R4WYRD4Q |
|---|---|
| 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.26401#QKNI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Proposition S4R543JCGP
| URI | m2://inv/S4R543JCGP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard factorization theorem#TP0O, Proposition (statement)
History
- 2026-11-02: add by m2/dev
S4R81QCR15 S4R81QCR15
| URI | m2://inv/S4R81QCR15 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#4PS1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rui Song S4RDCDXC1X
| URI | m2://inv/S4RDCDXC1X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rui Song, Rui Song (topic). Also Wikidata Q102338469
History
- 2026-11-02: add by m2/dev
S4RGZJKWWV S4RGZJKWWV
| URI | m2://inv/S4RGZJKWWV |
|---|---|
| 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.25703#5IL8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
The master theorem S4RP1B9B88
| URI | m2://inv/S4RP1B9B88 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glasser's master theorem#OS3L, The master theorem (statement)
History
- 2026-11-02: add by m2/dev
S4S6DT38TS S4S6DT38TS
| URI | m2://inv/S4S6DT38TS |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.16411#6ZHN (proof). In QQ222ZDZC0/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
S4SCCYV24K S4SCCYV24K
| URI | m2://inv/S4SCCYV24K |
|---|---|
| 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.23279#7SDP (statement)
History
- 2026-11-02: add by m2/v0.6.17
S4SFZFQP92 S4SFZFQP92
| URI | m2://inv/S4SFZFQP92 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.11301#NZV5 (statement). In YH1W5A0JTS/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.5
Domains S4SSKMZ0E7
| URI | m2://inv/S4SSKMZ0E7 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.4.2
No free lunch theorem S4SSMYDKM0
| URI | m2://inv/S4SSMYDKM0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#9QMV, No free lunch theorem (statement)
History
- 2026-11-02: add by m2/dev
S4SSYVBE4S S4SSYVBE4S
| URI | m2://inv/S4SSYVBE4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.17066#3NTD (statement). In X2AEJAQEP8/e1, corollary 3.8
History
- 2026-10-27: add by m2/v0.3.5
Gabbay's separation theorem S4ST1YS34Y
| URI | m2://inv/S4ST1YS34Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gabbay's separation theorem, Gabbay's separation theorem (statement). Also Wikidata Q5515291
History
- 2026-11-02: add by m2/dev
Erdős–Ulam problem S4STZYRC5R
| URI | m2://inv/S4STZYRC5R |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#ECEU, Erdős–Ulam problem (conjecture)
History
- 2026-11-02: add by m2/dev
Linkless embedding S4T1S5HF6X
| URI | m2://inv/S4T1S5HF6X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#CN68, Linkless embedding (definition)
History
- 2026-11-02: add by m2/dev
cf.\ S4T7WSGS4S
| URI | m2://inv/S4T7WSGS4S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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.39593#27JV, cf.\ (example). In BF0RYHPMS1/e1, example 3.2
History
- 2026-10-30: add by m2/v0.4.12
S4TG1N26JY S4TG1N26JY
| URI | m2://inv/S4TG1N26JY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.16003#KQ9B (example). In BJGS6ZCQ12/e1, example 9.6
History
- 2026-10-27: add by m2/v0.3.6
S4TGX2MTH1 S4TGX2MTH1
| URI | m2://inv/S4TGX2MTH1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28295#PNF4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formal definition S4THBDA713
| URI | m2://inv/S4THBDA713 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ljung–Box test#OFAX, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
S4TTZ9VDWN S4TTZ9VDWN
| URI | m2://inv/S4TTZ9VDWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40345#MJOO (statement). In WK0PT95WW1/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Hodge conjecture for Kähler varieties S4TZ8PEM6K
| URI | m2://inv/S4TZ8PEM6K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hodge conjecture#RPFV, Hodge conjecture for Kähler varieties (statement)
History
- 2026-11-02: add by m2/dev
Plane of incidence S4V01JPDQN
| URI | m2://inv/S4V01JPDQN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane of incidence, Plane of incidence (definition). Also Wikidata Q1307244
History
- 2026-11-02: add by m2/dev
Construction S4V2PDR310
| URI | m2://inv/S4V2PDR310 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongated triangular tiling#HINE, Construction (definition)
History
- 2026-11-02: add by m2/dev
Iwasawa's theorem S4V7DQTC3K
| URI | m2://inv/S4V7DQTC3K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iwasawa algebra#U7FL, Iwasawa's theorem (statement)
History
- 2026-11-02: add by m2/dev
Alexander Freeman S4VHWN0E6S
| URI | m2://inv/S4VHWN0E6S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Freeman (mathematician), Alexander Freeman (topic). Also Wikidata Q4718902
History
- 2026-11-02: add by m2/dev
Implementations S4VJZ7XG0F
| URI | m2://inv/S4VJZ7XG0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correspondence analysis#MSRX, Implementations (definition)
History
- 2026-11-02: add by m2/dev
S4VSPYTW9B S4VSPYTW9B
| URI | m2://inv/S4VSPYTW9B |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04503#6KFD (example). In GWQP1XPM8E/e1, example 4.6
History
- 2026-10-29: add by m2/v0.4.12
S4W1FF3M08 S4W1FF3M08
| URI | m2://inv/S4W1FF3M08 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20273#3U5N (statement). In AEGHDSD5S7/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.4.2
S4W22984WM S4W22984WM
| URI | m2://inv/S4W22984WM |
|---|---|
| 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.13745#0806 (statement). In CFJH0Q39FZ/e1, proposition 7.2
History
- 2026-10-28: add by m2/v0.4.2
S4W6F0VAPY S4W6F0VAPY
| URI | m2://inv/S4W6F0VAPY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/categories.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 36.5
History
- 2026-11-01: add by m2/v0.6.13
Properties S4W85FTKK0
| URI | m2://inv/S4W85FTKK0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Informant function#CN6R, Properties (statement)
History
- 2026-11-02: add by m2/dev
S4WA663SYR S4WA663SYR
| URI | m2://inv/S4WA663SYR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33313#AO6Y (statement). In HRCEFY172P/e1, lemma 3.9
History
- 2026-10-30: add by m2/v0.4.12
Rajagopalan Parthasarathy S4WAQ58QQW
| URI | m2://inv/S4WAQ58QQW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rajagopalan Parthasarathy, Rajagopalan Parthasarathy (topic). Also Wikidata Q16107098
History
- 2026-11-02: add by m2/dev
S4WAQWG26C S4WAQWG26C
| URI | m2://inv/S4WAQWG26C |
|---|---|
| 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.27200#KG1X (statement)
History
- 2026-11-01: add by m2/v0.6.15
S4WCAVJTGN S4WCAVJTGN
| URI | m2://inv/S4WCAVJTGN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-basics.ptx#exercise-12 (exercise). In Y91XFCEVHQ, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
S4WE8B8CYE S4WE8B8CYE
| URI | m2://inv/S4WE8B8CYE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.10080#BYVN (definition). In KM2FWKP93A/e1, definition 4.3
History
- 2026-10-27: add by m2/v0.4.0
\bf Maximal modularity S4WKHN88RW
| URI | m2://inv/S4WKHN88RW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.10911#MMME, \bf Maximal modularity (statement). In Y23VR7N90M/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
Somos' quadratic recurrence constant S4X5F82FVS
| URI | m2://inv/S4X5F82FVS |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7560506, Somos' quadratic recurrence constant (object). Also OEIS A112302
- wikipedia: Wikipedia Somos' quadratic recurrence constant, Somos' quadratic recurrence constant (object). Also Wikidata Q7560506
History
- 2026-10-26: add by m2/dev
S4XAAEBRVX S4XAAEBRVX
| URI | m2://inv/S4XAAEBRVX |
|---|---|
| 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.25282#6WTF (statement)
History
- 2026-11-01: add by m2/v0.6.15
S4XK06311C S4XK06311C
| URI | m2://inv/S4XK06311C |
|---|---|
| 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.35404#D5QL (statement). In DH84PYVRCF/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
Applications S4XRT0MV0X
| URI | m2://inv/S4XRT0MV0X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubical complex#ONPT, Applications (example)
History
- 2026-11-02: add by m2/dev
Shift property S4XWFTVC95
| URI | m2://inv/S4XWFTVC95 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#D12D, Shift property (statement). In 9S7HGSEX6Q/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Homeotopy S4XWKG4V5E
| URI | m2://inv/S4XWKG4V5E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homeotopy, Homeotopy (definition). Also Wikidata Q5889857
History
- 2026-11-02: add by m2/dev
S4YGV01998 S4YGV01998
| URI | m2://inv/S4YGV01998 |
|---|---|
| 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.31604#SIWL (statement). In GSN5YTQS2K/e1, lemma 3.19
History
- 2026-10-31: add by m2/v0.5.6
S4YHA3TP4H S4YHA3TP4H
| URI | m2://inv/S4YHA3TP4H |
|---|---|
| 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.37124#TMH6 (statement). In 2QF1YG9DD0/e1, corollary 4.13
History
- 2026-10-30: add by m2/v0.4.12
Renewal theory S4YZTZZ8R1
| URI | m2://inv/S4YZTZZ8R1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Renewal theory, Renewal theory (topic). Also Wikidata Q1356856
History
- 2026-11-02: add by m2/dev
Absolute Dwork precision S4Z01M4C2W
| URI | m2://inv/S4Z01M4C2W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#ADL9, Absolute Dwork precision (statement). In 8BNPFYQDQX/e1, proposition 19.2
History
- 2026-10-29: add by m2/v0.4.10
S4Z1SP3VTA S4Z1SP3VTA
| URI | m2://inv/S4Z1SP3VTA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/bezout.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 20.5
History
- 2026-11-01: add by m2/v0.6.13
Chiara Nappi S4Z1ZMNKQ9
| URI | m2://inv/S4Z1ZMNKQ9 |
|---|---|
| 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 Q5095243, Chiara Nappi (unknown). Also nLab Chiara Nappi
History
- 2026-10-26: add by m2/dev
S4Z6C21RK9 S4Z6C21RK9
| URI | m2://inv/S4Z6C21RK9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23972#6IAF (statement)
History
- 2026-11-02: add by m2/v0.6.17
Selecting checkpoints for repair S4ZCBVAMRM
| URI | m2://inv/S4ZCBVAMRM |
|---|---|
| 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.26873#SLXB, Selecting checkpoints for repair (statement)
History
- 2026-11-01: add by m2/v0.6.15
Redescending M-estimator S4ZF86V65Y
| URI | m2://inv/S4ZF86V65Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Redescending M-estimator, Redescending M-estimator (definition). Also Wikidata Q7305795
History
- 2026-11-02: add by m2/dev
Theorem of de Moivre–Laplace S4ZFV4KHDE
| URI | m2://inv/S4ZFV4KHDE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#824M, Theorem of de Moivre–Laplace (statement)
History
- 2026-11-02: add by m2/dev
Israel Mathematical Union S4ZPMAKX3Q
| URI | m2://inv/S4ZPMAKX3Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Israel Mathematical Union, Israel Mathematical Union (topic). Also Wikidata Q1526145
History
- 2026-11-02: add by m2/dev
S4ZTW5F79V S4ZTW5F79V
| URI | m2://inv/S4ZTW5F79V |
|---|---|
| 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.25291#BUL5 (statement)
History
- 2026-11-01: add by m2/v0.6.15