Inventory rows T8
The cards of the rows of the inventory whose ids start with T8. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
T802891J5A T802891J5A
| URI | m2://inv/T802891J5A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31127#8MZS (statement). In NS3RZ26JC7/e1, lemma 10
History
- 2026-10-31: add by m2/v0.5.6
Symmetry T8077TATDC
| URI | m2://inv/T8077TATDC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrapentagonal tiling#QWW5, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
T8086Q5K3N T8086Q5K3N
| URI | m2://inv/T8086Q5K3N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10928#9XR6 (statement). In 8M7BFVQYMM/e1, theorem 6.9
History
- 2026-10-28: add by m2/v0.4.3
polar decomposition T80H7EKDTD
| URI | m2://inv/T80H7EKDTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Polar decomposition 0J2C7BDJQA |
Mentions
- wikidata: Wikidata Q2101158, polar decomposition (unknown). Also MathWorld PolarDecomposition, nLab polar decomposition
- wikipedia: Wikipedia Polar decomposition, Polar decomposition (definition). Also Wikidata Q2101158
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Q-expansion principle T80KD2PKXS
| URI | m2://inv/T80KD2PKXS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-expansion principle, Q-expansion principle (statement). Also Wikidata Q7265301
History
- 2026-11-02: add by m2/dev
T80ZRQXWTG T80ZRQXWTG
| URI | m2://inv/T80ZRQXWTG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38567#K8X8 (statement). In 59AXA7QFTE/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
Dendrite T8124FCFTC
| URI | m2://inv/T8124FCFTC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5256671, Dendrite (unknown). Also MathWorld Dendrite
- wikipedia: Wikipedia Dendrite (mathematics), Dendrite (definition). Also Wikidata Q5256671
History
- 2026-10-26: add by m2/dev
Analytic geometry T813GKCYYQ
| URI | m2://inv/T813GKCYYQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#MREG, Analytic geometry (definition)
History
- 2026-11-02: add by m2/dev
Normal number T8160REVXH
| URI | m2://inv/T8160REVXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#EGVD, Normal number (definition)
History
- 2026-11-02: add by m2/dev
Root-box residues for $J_{(1)}^2$ T817QJAB8A
| URI | m2://inv/T817QJAB8A |
|---|---|
| Kind | example |
| 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#JFH4, Root-box residues for $J_{(1)}^2$ (example). In 9S7HGSEX6Q/e1, example 7.7
History
- 2026-10-28: add by m2/v0.4.2
T81F4HWSBH T81F4HWSBH
| URI | m2://inv/T81F4HWSBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26307#R1IV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dogbone space T81PG0HWRT
| URI | m2://inv/T81PG0HWRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#WC0E, Dogbone space (definition)
History
- 2026-11-02: add by m2/dev
T81QM8MG4R T81QM8MG4R
| URI | m2://inv/T81QM8MG4R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39776#G8LA (statement). In Y6GZV15AJC/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Examples T81QTNZER2
| URI | m2://inv/T81QTNZER2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Totally positive matrix#EPYR, Examples (example)
History
- 2026-11-02: add by m2/dev
$\alpha $-conversion T81R14PB43
| URI | m2://inv/T81R14PB43 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/sec:formal-prelim/alpha-conversion, $\alpha $-conversion (concept). In N54F33XE07, index, section sec:formal-prelim
History
- 2026-11-01: add by m2/v0.6.13
T81RHX5FRZ T81RHX5FRZ
| URI | m2://inv/T81RHX5FRZ |
|---|---|
| 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.06707#O2XC (statement). In 9TR5E527P5/e1, corollary 1.13
History
- 2026-10-29: add by m2/v0.4.10
T8215P19CV T8215P19CV
| URI | m2://inv/T8215P19CV |
|---|---|
| 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.39293#2SWX (statement). In S26QVW5613/e1, proposition 5.1.3
History
- 2026-10-30: add by m2/v0.4.12
T821E0JJZC T821E0JJZC
| URI | m2://inv/T821E0JJZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#WX20 (statement)
History
- 2026-11-02: add by m2/v0.6.18
T82643JK78 T82643JK78
| URI | m2://inv/T82643JK78 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03208#JC4E (statement). In A3CMP0TJK2/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.12
Yamagishi T829JCDB3T
| URI | m2://inv/T829JCDB3T |
|---|---|
| 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.16962#RSGI, Yamagishi (statement). In KJC9FRS3C2/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
T82CPJGCF9 T82CPJGCF9
| URI | m2://inv/T82CPJGCF9 |
|---|---|
| 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.00512#R9BQ (statement). In RB5QBG3MJY/e1, theorem 7.2
History
- 2026-10-30: add by m2/v0.4.12
T82DZC88DN T82DZC88DN
| URI | m2://inv/T82DZC88DN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19360#VJSX (statement). In MFCW5CY96C/e1, lemma 24
History
- 2026-10-28: add by m2/v0.4.2
T82H8P9H8N T82H8P9H8N
| URI | m2://inv/T82H8P9H8N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27181#WX5H (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples T82K6AT7ZV
| URI | m2://inv/T82K6AT7ZV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schneider–Lang theorem#D0YF, Examples (example)
History
- 2026-11-02: add by m2/dev
Hadwiger T82MN2W26Q
| URI | m2://inv/T82MN2W26Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#MUB9, Hadwiger (definition)
History
- 2026-11-02: add by m2/dev
Least squares (function approximation) T82NPPB3SV
| URI | m2://inv/T82NPPB3SV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#0WWO, Least squares (function approximation) (definition)
History
- 2026-11-02: add by m2/dev
Implementations T82QBBCZGF
| URI | m2://inv/T82QBBCZGF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tanh-sinh quadrature#EUT4, Implementations (definition)
History
- 2026-11-02: add by m2/dev
T82W7YMZXM T82W7YMZXM
| URI | m2://inv/T82W7YMZXM |
|---|---|
| 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.36181#TV21 (statement). In 1KSE33PVS6/e1, lemma 65
History
- 2026-10-30: add by m2/v0.4.12
Nikolay Morozkin T838RFS77D
| URI | m2://inv/T838RFS77D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikolay Morozkin, Nikolay Morozkin (topic). Also Wikidata Q15073590
History
- 2026-11-02: add by m2/dev
Fundamental theorem of arithmetic T83G4Y1XQS
| URI | m2://inv/T83G4Y1XQS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#LVPO, Fundamental theorem of arithmetic (statement)
History
- 2026-11-02: add by m2/dev
graph, regular T83JMF53QQ
| URI | m2://inv/T83JMF53QQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/15/graph-regular, graph, regular (concept). In QKM9DD2H56, index, section 15
History
- 2026-11-01: add by m2/v0.6.13
Defect recursion T83N9BB4BV
| URI | m2://inv/T83N9BB4BV |
|---|---|
| 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#GTMJ, Defect recursion (statement). In 9S7HGSEX6Q/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
Data cleansing T83SS38FM6
| URI | m2://inv/T83SS38FM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data cleansing, Data cleansing (definition). Also Wikidata Q1172378
History
- 2026-11-02: add by m2/dev
T83ZG5T8A7 T83ZG5T8A7
| URI | m2://inv/T83ZG5T8A7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26089#DI3L (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ibn Yunus T8417493DS
| URI | m2://inv/T8417493DS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ibn Yunus, Ibn Yunus (topic). Also Wikidata Q459921
History
- 2026-11-02: add by m2/dev
Smoothly varying conditional output densities T8447NW73E
| URI | m2://inv/T8447NW73E |
|---|---|
| Kind | example |
| 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.05333#764M, Smoothly varying conditional output densities (example). In N37WKFTR7Q/e1, example I.2
History
- 2026-10-29: add by m2/v0.4.10
T8467DS3QN T8467DS3QN
| URI | m2://inv/T8467DS3QN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#ZV5O (definition)
History
- 2026-11-01: add by m2/v0.6.15
squaring the circle T846JB3PYC
| URI | m2://inv/T846JB3PYC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Squaring the circle 0BSXRER81B |
Mentions
- wikidata: Wikidata Q193394, squaring the circle (problem). Also MathWorld CircleSquaring, ProofWiki Squaring_the_Circle
- wikipedia: Wikipedia Squaring the circle, Squaring the circle (definition). Also Wikidata Q193394
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Schanuel's lemma T84DFRT44Q
| URI | m2://inv/T84DFRT44Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#IGKX, Schanuel's lemma (statement)
History
- 2026-11-02: add by m2/dev
T84JGJJ2CQ T84JGJJ2CQ
| URI | m2://inv/T84JGJJ2CQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/proofs/reading-proofs.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 45.1
History
- 2026-11-01: add by m2/v0.6.13
Brahmagupta polynomials T84SK4WV2Z
| URI | m2://inv/T84SK4WV2Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#KO17, Brahmagupta polynomials (definition)
History
- 2026-11-02: add by m2/dev
T84VN1REFQ T84VN1REFQ
| URI | m2://inv/T84VN1REFQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-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 2609.38068#OL4E (statement). In 67GE5M1GGD/e1, lemma 7.4
History
- 2026-10-30: add by m2/v0.4.12
T853CZ3ZHQ T853CZ3ZHQ
| URI | m2://inv/T853CZ3ZHQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22394#ZOMG (example)
History
- 2026-11-02: add by m2/v0.6.17
Applications T85AY031N0
| URI | m2://inv/T85AY031N0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear belief function#S0IJ, Applications (example)
History
- 2026-11-02: add by m2/dev
T85DJYP7YR T85DJYP7YR
| URI | m2://inv/T85DJYP7YR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18239#D071 (statement). In C60WZ6WQSY/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
T85ET4TQ22 T85ET4TQ22
| URI | m2://inv/T85ET4TQ22 |
|---|---|
| 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 2406.19866#RK7N (statement). In 9F94CEQ1ZM/e1, theorem 2.25
History
- 2026-10-27: add by m2/v0.3.5
T85QYHCWAC T85QYHCWAC
| URI | m2://inv/T85QYHCWAC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24917#EXTB (statement)
History
- 2026-11-01: add by m2/v0.6.15
T85X1NRYGN T85X1NRYGN
| URI | m2://inv/T85X1NRYGN |
|---|---|
| Kind | definition |
| 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#CU7U (definition)
History
- 2026-11-02: add by m2/v0.6.17
Hypothesis T85XH770X9
| URI | m2://inv/T85XH770X9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prediction#4NWR, Hypothesis (statement)
History
- 2026-11-02: add by m2/dev
permutation T862EXQ3BM
| URI | m2://inv/T862EXQ3BM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#NQDH, permutation (definition)
History
- 2026-11-02: add by m2/dev
T8687WD6Z6 T8687WD6Z6
| URI | m2://inv/T8687WD6Z6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03327#9ZX9 (statement). In EBNXA84CPM/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.12
T869HS0ETF T869HS0ETF
| URI | m2://inv/T869HS0ETF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14308#XHER (definition). In F67Y6BZVV8/e1, definition 5
History
- 2026-10-28: add by m2/v0.4.2
T86EE300AP T86EE300AP
| URI | m2://inv/T86EE300AP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.16814#PJTM (statement). In MN03Z3PRFT/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
Nilpotent Darboux transformation T86EQQXKGM
| URI | m2://inv/T86EQQXKGM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19192#RLND, Nilpotent Darboux transformation (statement). In E53KCQ5029/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
Stark , Theorem 1.4 T86JTZM6VB
| URI | m2://inv/T86JTZM6VB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.26134#M68O, Stark , Theorem 1.4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
maze T86QCXARMP
| URI | m2://inv/T86QCXARMP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q606777, maze (unknown). Also MathWorld Maze
History
- 2026-10-26: add by m2/dev
T86R9EA56T T86R9EA56T
| URI | m2://inv/T86R9EA56T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20306#63T5 (statement). In YG5EX49042/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.4.2
T86RJDSK31 T86RJDSK31
| URI | m2://inv/T86RJDSK31 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-advPIE.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
T86ZK5YRME T86ZK5YRME
| URI | m2://inv/T86ZK5YRME |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13385#BU6Y (definition). In J99CBQ3QYD/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
completion, Dedekind T8702XAWQN
| URI | m2://inv/T8702XAWQN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2.3/completion-dedekind, completion, Dedekind (concept). In N54F33XE07, index, section B.2.3
History
- 2026-11-01: add by m2/v0.6.13
T877BPVZN1 T877BPVZN1
| URI | m2://inv/T877BPVZN1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/soundness.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 15.11
History
- 2026-11-01: add by m2/v0.6.13
theory of finite fields T879B76GAZ
| URI | m2://inv/T879B76GAZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 12E20 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114703089, theory of finite fields (topic)
History
- 2026-10-26: add by m2/dev
Monotonic Law for Multiplication T87G71KBPQ
| URI | m2://inv/T87G71KBPQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_total-order-N.ptx#theorem-2, Monotonic Law for Multiplication (statement). In QKM9DD2H56, theorem, section B.11
History
- 2026-11-01: add by m2/v0.6.13
T87J59BVJT T87J59BVJT
| URI | m2://inv/T87J59BVJT |
|---|---|
| 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.03874#IFGJ (statement). In YA93K7CVMT/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Robust regression T88286JA60
| URI | m2://inv/T88286JA60 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robust regression, Robust regression (definition). Also Wikidata Q1847839
History
- 2026-11-02: add by m2/dev
Classification T886AG026V
| URI | m2://inv/T886AG026V |
|---|---|
| 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#5TW5, Classification (statement). In 87QYNZZ67Z/e1, theorem D
History
- 2026-10-28: add by m2/v0.4.2
Tagged union T88DG5REX6
| URI | m2://inv/T88DG5REX6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tagged union, Tagged union (definition). Also Wikidata Q7675229
History
- 2026-11-02: add by m2/dev
T88GN1A7ZX T88GN1A7ZX
| URI | m2://inv/T88GN1A7ZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#CX7R (statement). In ABS9M47F4K/e1, proposition 3.27
History
- 2026-10-27: add by m2/v0.3.6
Acylindrical action T88Z97AR63
| URI | m2://inv/T88Z97AR63 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13817#X01Q, Acylindrical action (definition). In BMSAXTDV47/e1, definition 2.7
History
- 2026-10-28: add by m2/v0.4.2
Faro shuffle T890W7NAZX
| URI | m2://inv/T890W7NAZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faro shuffle, Faro shuffle (definition). Also Wikidata Q5436074
History
- 2026-11-02: add by m2/dev
Christopher Clavius T89460H9A1
| URI | m2://inv/T89460H9A1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#4ZQS, Christopher Clavius (topic)
History
- 2026-11-02: add by m2/dev
Swap of fixed points, Lemma 2.1 T894DB5STG
| URI | m2://inv/T894DB5STG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36016#VXEM, Swap of fixed points, Lemma 2.1 (statement). In NAM9ZMPHZ9/e1, proposition D.8
History
- 2026-10-30: add by m2/v0.4.12
Applications T8982WJRSS
| URI | m2://inv/T8982WJRSS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least-squares adjustment#E3UF, Applications (example)
History
- 2026-11-02: add by m2/dev
Freudenthal magic square T89AD0W7QY
| URI | m2://inv/T89AD0W7QY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5503261, Freudenthal magic square (concept). Also nLab Freudenthal magic square
- wikipedia: Wikipedia Freudenthal magic square, Freudenthal magic square (definition). Also Wikidata Q5503261
History
- 2026-10-26: add by m2/dev
T89ANY2DJ8 T89ANY2DJ8
| URI | m2://inv/T89ANY2DJ8 |
|---|---|
| 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.38131#K15M (statement). In GM3S19KFDH/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
T89S4BT09Y T89S4BT09Y
| URI | m2://inv/T89S4BT09Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08480#S52W (statement). In R4EEE89C3S/e1, theorem 4.9
History
- 2026-10-29: add by m2/v0.4.10
T89YXRE80W T89YXRE80W
| URI | m2://inv/T89YXRE80W |
|---|---|
| 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#HQC1 (statement). In 9C684206F0/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
T8A6K0D93S T8A6K0D93S
| URI | m2://inv/T8A6K0D93S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31986#DNXV (statement). In 8WR0AEDAHT/e1, proposition 27
History
- 2026-10-31: add by m2/v0.5.6
Lemma T8ADFTM4V6
| URI | m2://inv/T8ADFTM4V6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perron–Frobenius theorem#VLP3, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Counterexamples T8ADZZV7QQ
| URI | m2://inv/T8ADZZV7QQ |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nothing-up-my-sleeve number#3T7W, Counterexamples (counterexample)
History
- 2026-11-02: add by m2/dev
Applications T8AEBJEGEH
| URI | m2://inv/T8AEBJEGEH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Telescoping series#PTQ8, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples T8AGDBC4B8
| URI | m2://inv/T8AGDBC4B8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwartz–Bruhat function#U6SQ, Examples (example)
History
- 2026-11-02: add by m2/dev
Sylver coinage T8AN4RM8VJ
| URI | m2://inv/T8AN4RM8VJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after James Joseph Sylvester#FJJO, Sylver coinage (unknown)
History
- 2026-11-02: add by m2/dev
T8AT6J9SXH T8AT6J9SXH
| URI | m2://inv/T8AT6J9SXH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.05688#MDB6 (definition). In M8F4PDHH3S/e1, definition A.10
History
- 2026-10-27: add by m2/v0.3.5
T8AYPDQYSQ T8AYPDQYSQ
| URI | m2://inv/T8AYPDQYSQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21408#IOJ9 (statement). In 3XBEGXNPXZ/e1, theorem A
History
- 2026-10-27: add by m2/v0.4.2
Subexponential distribution T8B5BB910M
| URI | m2://inv/T8B5BB910M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subexponential distribution (light-tailed), Subexponential distribution (definition). Also Wikidata Q124060741
History
- 2026-11-02: add by m2/dev
T8B7VGCPM8 T8B7VGCPM8
| URI | m2://inv/T8B7VGCPM8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05327#N0L4 (statement). In ZD7BWDKT84/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
T8BB0GPVFC T8BB0GPVFC
| URI | m2://inv/T8BB0GPVFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#GRV6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
776 (number) T8BEA735PC
| URI | m2://inv/T8BEA735PC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#CCBJ, 776 (number) (unknown)
History
- 2026-11-02: add by m2/dev
T8BM0N4FBQ T8BM0N4FBQ
| URI | m2://inv/T8BM0N4FBQ |
|---|---|
| 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.09882#SBP1 (statement). In 7XV6T4N79V/e1, lemma C.8
History
- 2026-10-29: add by m2/v0.4.10
T8BRPEV5T9 T8BRPEV5T9
| URI | m2://inv/T8BRPEV5T9 |
|---|---|
| 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 2107.00792#53EK (statement). In TD16A541ZN/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
T8BXJP5FS9 T8BXJP5FS9
| URI | m2://inv/T8BXJP5FS9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05396#5JCY (statement). In WMVRX5GV9P/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
T8BY2ADK3E T8BY2ADK3E
| URI | m2://inv/T8BY2ADK3E |
|---|---|
| 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 2605.30285#AJN6 (statement). In YMY0NNSM27/e1, proposition 5.12
History
- 2026-10-27: add by m2/v0.3.6
T8C72Q55FW T8C72Q55FW
| URI | m2://inv/T8C72Q55FW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37931#C41Q (example). In J8C1EXQW86/e1, example 4.5
History
- 2026-10-30: add by m2/v0.4.12
T8CAVP28AM T8CAVP28AM
| URI | m2://inv/T8CAVP28AM |
|---|---|
| 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.04993#GKT6 (statement). In JQBWZPXKAV/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.12
Jeong-Hyuck Park T8CBS4FVN5
| URI | m2://inv/T8CBS4FVN5 |
|---|---|
| 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 Q74229394, Jeong-Hyuck Park (unknown). Also nLab Jeong-Hyuck Park
History
- 2026-10-26: add by m2/dev
T8CFBM832V T8CFBM832V
| URI | m2://inv/T8CFBM832V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-52 (exercise). In E9HS8K3A52, exercise, section 6.4.2
History
- 2026-11-01: add by m2/v0.6.13
Śleszyński–Pringsheim theorem T8CFZK0WBR
| URI | m2://inv/T8CFZK0WBR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#EXWL, Śleszyński–Pringsheim theorem (statement)
History
- 2026-11-02: add by m2/dev
T8CPQJGB5Y T8CPQJGB5Y
| URI | m2://inv/T8CPQJGB5Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-45 (exercise). In E9HS8K3A52, exercise, section 7.3.4
History
- 2026-11-01: add by m2/v0.6.13
Examples T8CQNNS6A7
| URI | m2://inv/T8CQNNS6A7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ad personam#8ZU0, Examples (example)
History
- 2026-11-02: add by m2/dev
compound formula T8CSJESSZM
| URI | m2://inv/T8CSJESSZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#XNCR, compound formula (definition)
History
- 2026-11-02: add by m2/dev
Universal base change T8D2XB5KDA
| URI | m2://inv/T8D2XB5KDA |
|---|---|
| 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 2610.10828#S1BO, Universal base change (statement). In 8PTDFHV8SQ/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.3
T8D83CT8VV T8D83CT8VV
| URI | m2://inv/T8D83CT8VV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-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.13100#GOY4 (statement). In CC6S1HVK0T/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
T8D8MEECQK T8D8MEECQK
| URI | m2://inv/T8D8MEECQK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#MQXD (example). In 9ZSNSJRJ5N/e1, example 14
History
- 2026-10-27: add by m2/v0.4.2
Examples T8DB5PEZJY
| URI | m2://inv/T8DB5PEZJY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smooth morphism#MKLL, Examples (example)
History
- 2026-11-02: add by m2/dev
Global KKT convergence T8DTD3488J
| URI | m2://inv/T8DTD3488J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18428#XK6C, Global KKT convergence (statement). In 6BGSQT7SV8/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
T8E47V6WZK T8E47V6WZK
| URI | m2://inv/T8E47V6WZK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06762#WVKV (statement). In J99PFFJXPE/e1, corollary 3.13
History
- 2026-10-27: add by m2/v0.3.6
Meinong's jungle T8E6CQ54SH
| URI | m2://inv/T8E6CQ54SH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonexistent objects#L33M, Meinong's jungle (unknown)
History
- 2026-11-02: add by m2/dev
T8EJNRBVKT T8EJNRBVKT
| URI | m2://inv/T8EJNRBVKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12513#DNI6 (statement). In VM9V8SXEA2/e1, corollary 3
History
- 2026-10-28: add by m2/v0.4.2
Irreducible manifold T8EQ8RD0HB
| URI | m2://inv/T8EQ8RD0HB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime manifold#X2U6, Irreducible manifold (unknown)
History
- 2026-11-02: add by m2/dev
A scalar radius bound T8ETANSDQN
| URI | m2://inv/T8ETANSDQN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#Q3Q1, A scalar radius bound (statement). In FTPW1SZ8D3/e1, lemma A.7
History
- 2026-10-30: add by m2/v0.4.12
John Ehrlichman T8FPJWCWKK
| URI | m2://inv/T8FPJWCWKK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#8OWS, John Ehrlichman (unknown)
History
- 2026-11-02: add by m2/dev
Definition T8FWG9SWYK
| URI | m2://inv/T8FWG9SWYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiprimitive ring#H1G1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Experiment, industrial and hypothesis testing T8FXVC8EMY
| URI | m2://inv/T8FXVC8EMY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard deviation#10MQ, Experiment, industrial and hypothesis testing (statement)
History
- 2026-11-02: add by m2/dev
T8FZ3J0145 T8FZ3J0145
| URI | m2://inv/T8FZ3J0145 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31243#R101 (statement). In E8FP48FJMZ/e1, lemma 4.2
History
- 2026-10-31: add by m2/v0.5.6
T8G2NJ97EE T8G2NJ97EE
| URI | m2://inv/T8G2NJ97EE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 37-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 2203.01511#9MC8 (statement). In QA7EPHDTV2/e1, proposition A.1
History
- 2026-10-27: add by m2/v0.4.0
Esakia space T8G8B1QYR5
| URI | m2://inv/T8G8B1QYR5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Esakia space, Esakia space (definition). Also Wikidata Q5396698
History
- 2026-11-02: add by m2/dev
T8GECSBC4S T8GECSBC4S
| URI | m2://inv/T8GECSBC4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13877#DUAP (statement). In NBMA6DBKJG/e1, lemma 2.13
History
- 2026-10-28: add by m2/v0.4.2
Modified logarithmic Sobolev inequality T8GFRZRV79
| URI | m2://inv/T8GFRZRV79 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03683#JT88, Modified logarithmic Sobolev inequality (statement). In 14AMXF6X2V/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Kernel of a function T8GJ84MS2P
| URI | m2://inv/T8GJ84MS2P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#I2DY, Kernel of a function (definition)
- wikipedia: Wikipedia List of partition topics#00OS, Kernel of a function (definition)
History
- 2026-11-02: add by m2/dev
Doll, Sir Richard T8GM8DF0VW
| URI | m2://inv/T8GM8DF0VW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#932U, Doll, Sir Richard (unknown)
History
- 2026-11-02: add by m2/dev
Demographics of Sabah T8GR3BVSYC
| URI | m2://inv/T8GR3BVSYC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Sabah, Demographics of Sabah (definition). Also Wikidata Q48726573
History
- 2026-11-02: add by m2/dev
T8GVG94374 T8GVG94374
| URI | m2://inv/T8GVG94374 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.37606#P3CC (statement). In WNFW6GY38C/e1, proposition 7.2
History
- 2026-10-30: add by m2/v0.4.12
Najm al-Dīn al-Qazwīnī al-Kātibī T8H1ZPFDD5
| URI | m2://inv/T8H1ZPFDD5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#BYGP, Najm al-Dīn al-Qazwīnī al-Kātibī (unknown)
History
- 2026-11-02: add by m2/dev
Homestead T8HFQR3KZJ
| URI | m2://inv/T8HFQR3KZJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#U5NB, Homestead (unknown)
History
- 2026-11-02: add by m2/dev
coboundary operator T8HFYVN5M0
| URI | m2://inv/T8HFYVN5M0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78322695, coboundary operator (unknown). Also MathWorld CoboundaryOperator
History
- 2026-10-26: add by m2/dev
Deep backward stochastic differential equation method T8HNJN1RHM
| URI | m2://inv/T8HNJN1RHM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deep backward stochastic differential equation method, Deep backward stochastic differential equation method (definition). Also Wikidata Q127379802
History
- 2026-11-02: add by m2/dev
existence and uniqueness theorem T8HRC6G0BK
| URI | m2://inv/T8HRC6G0BK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/4.6.2/existence-and-uniqueness-theorem, existence and uniqueness theorem (concept). In E59CDZA4DP, index, section 4.6.2
History
- 2026-11-01: add by m2/v0.6.13
T8HRCEJYRE T8HRCEJYRE
| URI | m2://inv/T8HRCEJYRE |
|---|---|
| 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-32 (exercise). In E9HS8K3A52, exercise, section 5.3.5
History
- 2026-11-01: add by m2/v0.6.13
T8HW9FBZAT T8HW9FBZAT
| URI | m2://inv/T8HW9FBZAT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#UBBU (definition). In HX63A1PH1W/e1, definition 4.12
History
- 2026-10-28: add by m2/v0.4.3
circumference T8J6XTGK8Z
| URI | m2://inv/T8J6XTGK8Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130377759, circumference (definition). Also MathWorld GraphCircumference, ProofWiki Definition:Circumference_(Graph_Theory)
History
- 2026-10-26: add by m2/dev
Eilenberg–Ganea theorem T8J8BFS2ZX
| URI | m2://inv/T8J8BFS2ZX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#S1VV, Eilenberg–Ganea theorem (statement)
History
- 2026-11-02: add by m2/dev
The canonical bundle formula T8J8H8NC5A
| URI | m2://inv/T8J8H8NC5A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical bundle#QDIV, The canonical bundle formula (statement)
History
- 2026-11-02: add by m2/dev
Heath-Brown–Moroz constant T8JDEQ7K8D
| URI | m2://inv/T8JDEQ7K8D |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5693407, Heath-Brown–Moroz constant (object). Also MathWorld Heath-Brown-MorozConstant, OEIS A118228
- wikipedia: Wikipedia Heath-Brown–Moroz constant, Heath-Brown–Moroz constant (object). Also Wikidata Q5693407
History
- 2026-10-26: add by m2/dev
Examples T8JW581MQB
| URI | m2://inv/T8JW581MQB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie derivative#LRTJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Relation to Price's law T8JWZ3CBJR
| URI | m2://inv/T8JWZ3CBJR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pareto distribution#TRCV, Relation to Price's law (statement)
History
- 2026-11-02: add by m2/dev
T8K659DKHK T8K659DKHK
| URI | m2://inv/T8K659DKHK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13260#S94X (statement). In ZBQX9341RV/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
Gewirtz graph T8KD46WTBR
| URI | m2://inv/T8KD46WTBR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q651916, Gewirtz graph (unknown). Also House of Graphs 1102, MathWorld GewirtzGraph
History
- 2026-10-26: add by m2/dev
T8KDC4XMPQ T8KDC4XMPQ
| URI | m2://inv/T8KDC4XMPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#DSUI (statement). In 68AE571S4P/e1, lemma A.4
History
- 2026-10-29: add by m2/v0.4.10
T8KFQV3NSN T8KFQV3NSN
| URI | m2://inv/T8KFQV3NSN |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#UFGV (unknown). In QNBFHFZ3H0/e1, unknown 73
History
- 2026-10-28: add by m2/v0.4.2
T8KGTP721F T8KGTP721F
| URI | m2://inv/T8KGTP721F |
|---|---|
| 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 2110.11783#V0O1 (statement). In X2YDBWNCBT/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
T8KHARHCAW T8KHARHCAW
| URI | m2://inv/T8KHARHCAW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21507#JGY8 (example)
History
- 2026-11-02: add by m2/v0.6.18
T8KMWB03AD T8KMWB03AD
| URI | m2://inv/T8KMWB03AD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24892#5DA2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
T8KY3MZVJ5 T8KY3MZVJ5
| URI | m2://inv/T8KY3MZVJ5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.20170#D0JU (definition). In QXJP79APHN/e1, definition 2.14
History
- 2026-10-27: add by m2/v0.3.5
Blocks T8M1HM2WG1
| URI | m2://inv/T8M1HM2WG1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 54-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 2609.20683#XQOD, Blocks (statement)
History
- 2026-11-02: add by m2/v0.6.18
Factorization algebra T8M7TFFZBW
| URI | m2://inv/T8M7TFFZBW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#T0EW, Factorization algebra (definition)
History
- 2026-11-02: add by m2/dev
Curvilinear perspective T8MHCYBMH6
| URI | m2://inv/T8MHCYBMH6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#UNZT, Curvilinear perspective (unknown)
History
- 2026-11-02: add by m2/dev
Extensions T8MQ5SQV78
| URI | m2://inv/T8MQ5SQV78 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial cyclic order#4O0B, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Homoeoid T8MT78SRV8
| URI | m2://inv/T8MT78SRV8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of surfaces#DE7G, Homoeoid (definition)
History
- 2026-11-02: add by m2/dev
Definition T8MWVSWCED
| URI | m2://inv/T8MWVSWCED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-Bessel polynomials#37FJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Lemma T8N9Q9TGP5
| URI | m2://inv/T8N9Q9TGP5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Kuzmin–Wirsing operator#P2TL, Lemma (statement)
History
- 2026-11-02: add by m2/dev
dif\/feology T8NFE9482G
| URI | m2://inv/T8NFE9482G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#71CB, dif\/feology (definition). In S1F2QW24YW/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
T8NRPEB8SM T8NRPEB8SM
| URI | m2://inv/T8NRPEB8SM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2609.29574#CGBT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Face validity T8NWDB4BWB
| URI | m2://inv/T8NWDB4BWB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Face validity, Face validity (definition). Also Wikidata Q3737383
History
- 2026-11-02: add by m2/dev
Theory and Applications of Categories T8P687M2ZF
| URI | m2://inv/T8P687M2ZF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book or a journal, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15755584, Theory and Applications of Categories (unknown). Also nLab Theory and Applications of Categories
History
- 2026-10-26: add by m2/dev
T8P7ACYE7P T8P7ACYE7P
| URI | m2://inv/T8P7ACYE7P |
|---|---|
| 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 2610.17411#8PO8 (statement). In 73QW05MWQB/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Dorothy Tella T8PB50V4DC
| URI | m2://inv/T8PB50V4DC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dorothy Tella, Dorothy Tella (topic). Also Wikidata Q138317254
History
- 2026-11-02: add by m2/dev
T8PEJCN440 T8PEJCN440
| URI | m2://inv/T8PEJCN440 |
|---|---|
| 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.07040#5FOW (statement). In KMNXNW7FHP/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Exact trigonometric values T8PG6QN7JC
| URI | m2://inv/T8PG6QN7JC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact trigonometric values, Exact trigonometric values (definition). Also Wikidata Q7841831
History
- 2026-11-02: add by m2/dev
T8PGZWRBRY T8PGZWRBRY
| URI | m2://inv/T8PGZWRBRY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.21255#HFIO (statement)
History
- 2026-11-02: add by m2/v0.6.18
Balanced set T8PHFP8CXT
| URI | m2://inv/T8PHFP8CXT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of sets#7WID, Balanced set (definition)
History
- 2026-11-02: add by m2/dev
T8PJ7YFQNR T8PJ7YFQNR
| URI | m2://inv/T8PJ7YFQNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35600#WMU4 (statement). In ET8GYMMDQM/e1, corollary 5.5
History
- 2026-10-30: add by m2/v0.4.12
Roberto Conti (mathematician) T8PKST75D9
| URI | m2://inv/T8PKST75D9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#JILZ, Roberto Conti (mathematician) (topic)
History
- 2026-11-02: add by m2/dev
length T8PM2QCP5F
| URI | m2://inv/T8PM2QCP5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#FSRU, length (definition)
History
- 2026-11-02: add by m2/dev
T8PM5N30QE T8PM5N30QE
| URI | m2://inv/T8PM5N30QE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2404.08319#KPBZ (statement). In MA1CZ2GTAF/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.0
Mittag-Leffler's theorem T8PNQHDGQ8
| URI | m2://inv/T8PNQHDGQ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 4 |
| Outcome | open |
| Node | Mittag-Leffler's theorem X4R2GY1F6J |
Mentions
- mathlib_1000: mathlib_1000 Q1315949, Mittag-Leffler's theorem (statement). Also Wikidata Q1315949
- thousand_plus: thousand_plus Q1315949, Mittag-Leffler's theorem (statement). Also Wikidata Q1315949, Wikipedia Mittag-Leffler's theorem
- wikidata: Wikidata Q1315949, Mittag-Leffler's theorem (statement). Also MathWorld Mittag-LefflersTheorem
- wikipedia: Wikipedia Mittag-Leffler's theorem, Mittag-Leffler's theorem (statement). Also Wikidata Q1315949
History
- 2026-10-26: add by m2/dev
T8Q2WXWD6A T8Q2WXWD6A
| URI | m2://inv/T8Q2WXWD6A |
|---|---|
| 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 2205.15106#CW11 (definition). In N3ZQJ2G8SS/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
equilibrium selection T8Q5QEE0Q7
| URI | m2://inv/T8Q5QEE0Q7 |
|---|---|
| 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 2602.13510#5YZ4, equilibrium selection (example). In Y75MQW7CFV/e1, example 1.1
History
- 2026-10-27: add by m2/v0.3.5
function T8Q6M4Z7PE
| URI | m2://inv/T8Q6M4Z7PE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Function 0EPAT51DXQ |
Mentions
- wikidata: Wikidata Q11348, function (concept). Also EoM Function, MathWorld Function, nLab function
- wikipedia: Wikipedia Function (mathematics), Function (definition). Also Wikidata Q11348
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Additive notation T8Q8QAR65J
| URI | m2://inv/T8Q8QAR65J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sign-value notation#UDM1, Additive notation (unknown)
History
- 2026-11-02: add by m2/dev
Schottky problem T8Q9VB6VSF
| URI | m2://inv/T8Q9VB6VSF |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schottky problem, Schottky problem (problem). Also Wikidata Q7432779
History
- 2026-11-02: add by m2/dev
Super-polynomial T8QAM09EZ2
| URI | m2://inv/T8QAM09EZ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time complexity#GZD9, Super-polynomial (unknown)
History
- 2026-11-02: add by m2/dev
T8QBQQRWHK T8QBQQRWHK
| URI | m2://inv/T8QBQQRWHK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.05276#UQ3I (definition). In 4C5XHYTRT2/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
T8QCW2SGAP T8QCW2SGAP
| URI | m2://inv/T8QCW2SGAP |
|---|---|
| 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 2301.04933#ZYIX (definition). In Q70CTMCJTP/e1, definition A.9
History
- 2026-10-27: add by m2/v0.3.5
T8QF6G1221 T8QF6G1221
| URI | m2://inv/T8QF6G1221 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2006.12475#ERH7 (statement). In 8YWBGQQGA3/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
T8QTRZ0CX3 T8QTRZ0CX3
| URI | m2://inv/T8QTRZ0CX3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33733#KW1E (statement). In QBAP8C82FG/e1, lemma 45
History
- 2026-10-30: add by m2/v0.4.12
Free choice inference T8QXJMHRF5
| URI | m2://inv/T8QXJMHRF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free choice inference, Free choice inference (definition). Also Wikidata Q105102522
History
- 2026-11-02: add by m2/dev
T8R4YAQKJ0 T8R4YAQKJ0
| URI | m2://inv/T8R4YAQKJ0 |
|---|---|
| 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 1011.5443#OX4I (statement). In VQ0K2GV62A/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Weakly homogeneously Suslin set T8R5229JG2
| URI | m2://inv/T8R5229JG2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of properties of sets of reals#KBLN, Weakly homogeneously Suslin set (unknown)
History
- 2026-11-02: add by m2/dev
Penrose square root law T8R704064S
| URI | m2://inv/T8R704064S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Penrose square root law, Penrose square root law (statement). Also Wikidata Q7164654
History
- 2026-11-02: add by m2/dev
T8RAJ7EEAY T8RAJ7EEAY
| URI | m2://inv/T8RAJ7EEAY |
|---|---|
| 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.30730#CXOL (statement). In 7R7ANDMWG4/e1, proposition 8.2
History
- 2026-10-31: add by m2/v0.5.6
T8RBJQXYEP T8RBJQXYEP
| URI | m2://inv/T8RBJQXYEP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#2Z9A (statement). In X38P26DK6S/e1, corollary 5.31
History
- 2026-10-27: add by m2/v0.4.0
T8RBZ0S3WS T8RBZ0S3WS
| URI | m2://inv/T8RBZ0S3WS |
|---|---|
| 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.15588#1IFL (statement). In M2VCJFGZ4P/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
T8RE0T3ZVE T8RE0T3ZVE
| URI | m2://inv/T8RE0T3ZVE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 1209.3562#5Q1H (statement). In KZH1DCS18C/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.3.5
Variants of Amnesiac Flooding T8RHE3V6CD
| URI | m2://inv/T8RHE3V6CD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amnesiac flooding#OK4S, Variants of Amnesiac Flooding (statement)
History
- 2026-11-02: add by m2/dev
T8RN11NZ2C T8RN11NZ2C
| URI | m2://inv/T8RN11NZ2C |
|---|---|
| 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 2609.27694#6SKA (definition)
History
- 2026-11-01: add by m2/v0.6.15
Proving too much T8RQG4GVHQ
| URI | m2://inv/T8RQG4GVHQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proving too much, Proving too much (definition). Also Wikidata Q7252715
History
- 2026-11-02: add by m2/dev
Vladimir Drinfeld T8RS71JX40
| URI | m2://inv/T8RS71JX40 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#ANRM, Vladimir Drinfeld (topic)
History
- 2026-11-02: add by m2/dev
Formulation T8RSSXPSJY
| URI | m2://inv/T8RSSXPSJY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four color theorem#NN2S, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Gabriel Peyré T8RYWKP5R5
| URI | m2://inv/T8RYWKP5R5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gabriel Peyré, Gabriel Peyré (topic). Also Wikidata Q56564895
History
- 2026-11-02: add by m2/dev
Properties T8RZ67HHFE
| URI | m2://inv/T8RZ67HHFE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiation in Fréchet spaces#6X0Y, Properties (statement)
History
- 2026-11-02: add by m2/dev
T8S180PAMZ T8S180PAMZ
| URI | m2://inv/T8S180PAMZ |
|---|---|
| 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.27049#MRLP (statement)
History
- 2026-11-01: add by m2/v0.6.15
T8S4XF13E1 T8S4XF13E1
| URI | m2://inv/T8S4XF13E1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.07511#A5SC (statement). In 652CJVBF7C/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.6
T8SHCB1WQF T8SHCB1WQF
| URI | m2://inv/T8SHCB1WQF |
|---|---|
| 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.13229#Y5HN (statement). In 4WN20N5Z57/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
T8SNA7M70G T8SNA7M70G
| URI | m2://inv/T8SNA7M70G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#2L2K (statement). In QHFP0837Q8/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.12
Dan Kalman T8SPVQMG67
| URI | m2://inv/T8SPVQMG67 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dan Kalman, Dan Kalman (topic). Also Wikidata Q97460476
History
- 2026-11-02: add by m2/dev
Central tendency T8SQAHND8C
| URI | m2://inv/T8SQAHND8C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#67YT, Central tendency (definition)
- wikipedia: Wikipedia List of probability topics#6YWG, Central tendency (definition)
History
- 2026-11-02: add by m2/dev
T8SSWW3D2B T8SSWW3D2B
| URI | m2://inv/T8SSWW3D2B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-matchings.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
Erdős arcsine law T8SSY5YD43
| URI | m2://inv/T8SSY5YD43 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#2QP3, Erdős arcsine law (statement)
History
- 2026-11-02: add by m2/dev
T8SY9EK07X T8SY9EK07X
| URI | m2://inv/T8SY9EK07X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#FEOV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Orbit of a point T8T5RWZQSK
| URI | m2://inv/T8T5RWZQSK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07064#NCKD, Orbit of a point (definition). In GPK6W5XQM3/e1, definition 5
History
- 2026-10-29: add by m2/v0.4.10
Cesàro T8TDFV087J
| URI | m2://inv/T8TDFV087J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#VEVS, Cesàro (definition)
History
- 2026-11-02: add by m2/dev
T8TF1ATNK2 T8TF1ATNK2
| URI | m2://inv/T8TF1ATNK2 |
|---|---|
| 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#TDGA (statement). In 2GD6NWJVRM/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
The inequality T8TG8CM9RZ
| URI | m2://inv/T8TG8CM9RZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FKG inequality#K9RF, The inequality (statement)
History
- 2026-11-02: add by m2/dev
hypocycloid T8TNAN4NVW
| URI | m2://inv/T8TNAN4NVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q719797, hypocycloid (unknown). Also EoM Hypocycloid, MathWorld Hypocycloid
- wikipedia: Wikipedia Hypocycloid, Hypocycloid (definition). Also Wikidata Q719797
History
- 2026-10-26: add by m2/dev
Repeatability T8TRESGPCJ
| URI | m2://inv/T8TRESGPCJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SXM3, Repeatability (definition)
History
- 2026-11-02: add by m2/dev
Exact saddle and double-zero charge T8TRZD3H59
| URI | m2://inv/T8TRZD3H59 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37164#S3UG, Exact saddle and double-zero charge (statement). In B2PG75FSQJ/e1, lemma 6.10
History
- 2026-10-30: add by m2/v0.4.12
Fork T8TY8GH57T
| URI | m2://inv/T8TY8GH57T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fork (blockchain), Fork (definition). Also Wikidata Q48893562
History
- 2026-11-02: add by m2/dev
MapKit T8V35SW1PZ
| URI | m2://inv/T8V35SW1PZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MapKit, MapKit (definition). Also Wikidata Q134890066
History
- 2026-11-02: add by m2/dev
T8V5MXTD4Q T8V5MXTD4Q
| URI | m2://inv/T8V5MXTD4Q |
|---|---|
| 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 1704.08191#ER4D (statement). In 8DATR785BJ/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Simpson's rule T8VEX67YSY
| URI | m2://inv/T8VEX67YSY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/5.6.4/simpson-s-rule, Simpson's rule (concept). In 907G4C4EJ1, index, section 5.6.4
History
- 2026-11-01: add by m2/v0.6.13
Baker's theorem T8VSHY3APN
| URI | m2://inv/T8VSHY3APN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#UQCW, Baker's theorem (statement)
History
- 2026-11-02: add by m2/dev
T8VSKCWT45 T8VSKCWT45
| URI | m2://inv/T8VSKCWT45 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25805#XB2Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
$L^2$ normalisation for $m\geq1$ T8VVXE8N8K
| URI | m2://inv/T8VVXE8N8K |
|---|---|
| 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.26537#2T93, $L^2$ normalisation for $m\geq1$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hessian, complex T8VYVDJTTP
| URI | m2://inv/T8VYVDJTTP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.3/hessian-complex, Hessian, complex (concept). In VNMV985MXX, index, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
T8W2GEEDK9 T8W2GEEDK9
| URI | m2://inv/T8W2GEEDK9 |
|---|---|
| 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.18922#3POA (statement). In 6FKDYENQ8M/e1, proposition 11
History
- 2026-10-28: add by m2/v0.4.2
involute T8W4CEX77G
| URI | m2://inv/T8W4CEX77G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Involute E1PC4TZK5C |
Mentions
- wikidata: Wikidata Q680712, involute (unknown). Also MathWorld Involute
- wikipedia: Wikipedia Involute, Involute (definition). Also Wikidata Q680712
History
- 2026-10-26: add by m2/dev
T8W9BZD4AT T8W9BZD4AT
| URI | m2://inv/T8W9BZD4AT |
|---|---|
| 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#1E3T (statement). In X2AEJAQEP8/e1, proposition 2.8
History
- 2026-10-27: add by m2/v0.3.5
Fenchel identification by strict Bregman crossing T8WE4MC6MS
| URI | m2://inv/T8WE4MC6MS |
|---|---|
| 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.33472#KPX5, Fenchel identification by strict Bregman crossing (statement). In WBQQBZ4FCJ/e1, theorem M.3
History
- 2026-10-30: add by m2/v0.4.12
Examples T8WKZGW65Z
| URI | m2://inv/T8WKZGW65Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Countably compact space#S9R4, Examples (example)
History
- 2026-11-02: add by m2/dev
covering space, universal T8WNQ420MN
| URI | m2://inv/T8WNQ420MN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.1.2/covering-space-universal, covering space, universal (concept). In N54F33XE07, index, section 7.1.2
History
- 2026-11-01: add by m2/v0.6.13
John B. Garnett T8WSPT6A5A
| URI | m2://inv/T8WSPT6A5A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John B. Garnett, John B. Garnett (topic). Also Wikidata Q1700170
History
- 2026-11-02: add by m2/dev
Acta Mathematica T8WYBSZWE6
| URI | m2://inv/T8WYBSZWE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Nikolay Bogolyubov#W2SJ, Acta Mathematica (definition)
History
- 2026-11-02: add by m2/dev
T8XA0QEFPF T8XA0QEFPF
| URI | m2://inv/T8XA0QEFPF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30771#3FX3 (statement). In PQ5117EYN3/e1, lemma 3
History
- 2026-10-31: add by m2/v0.5.6
T8XAFEZGJY T8XAFEZGJY
| URI | m2://inv/T8XAFEZGJY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#N96K (statement)
History
- 2026-11-02: add by m2/v0.6.18
FL control T8XG8VWJ5R
| URI | m2://inv/T8XG8VWJ5R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.02312#CVL8, FL control (statement). In 1SZV94R22Y/e1, corollary 5.2
History
- 2026-10-27: add by m2/v0.3.5
Claude Mydorge T8XM7KMGZV
| URI | m2://inv/T8XM7KMGZV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claude Mydorge, Claude Mydorge (topic). Also Wikidata Q2669938
History
- 2026-11-02: add by m2/dev
Applications T8XQ6VMHK9
| URI | m2://inv/T8XQ6VMHK9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian binomial coefficient#Q4QQ, Applications (example)
History
- 2026-11-02: add by m2/dev
Direct sum (category theory) T8XW8TYAKM
| URI | m2://inv/T8XW8TYAKM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct sum#ZN4S, Direct sum (category theory) (unknown)
History
- 2026-11-02: add by m2/dev
Stanislav Molchanov T8Y5ARR999
| URI | m2://inv/T8Y5ARR999 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanislav Molchanov, Stanislav Molchanov (topic). Also Wikidata Q30344110
History
- 2026-11-02: add by m2/dev
Generalizations T8YCPM3HHZ
| URI | m2://inv/T8YCPM3HHZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Field of fractions#5J1M, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
T8YDVXKZE3 T8YDVXKZE3
| URI | m2://inv/T8YDVXKZE3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19463#Z9OQ (statement). In Q4HWFFK0R9/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
T8YH1CFJS4 T8YH1CFJS4
| URI | m2://inv/T8YH1CFJS4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.10246#9IGN (statement). In XD0YT3XCW2/e1, theorem 3.16
History
- 2026-10-27: add by m2/v0.3.5
Applications T8YNPHDHQS
| URI | m2://inv/T8YNPHDHQS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ricci calculus#UHM7, Applications (example)
History
- 2026-11-02: add by m2/dev
Proper orthogonal decomposition T8YTH0T6K7
| URI | m2://inv/T8YTH0T6K7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proper orthogonal decomposition, Proper orthogonal decomposition (definition). Also Wikidata Q105037988
History
- 2026-11-02: add by m2/dev
T8Z1FM7V08 T8Z1FM7V08
| URI | m2://inv/T8Z1FM7V08 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16362#ABLB (statement). In 4NJ4T3DEQB/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
All-marginal adapted approximation T8Z4Z7FTZ3
| URI | m2://inv/T8Z4Z7FTZ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#G629, All-marginal adapted approximation (statement). In 9YAE8FNQST/e1, theorem 11.13
History
- 2026-10-30: add by m2/v0.4.12
T8Z8MVBJCR T8Z8MVBJCR
| URI | m2://inv/T8Z8MVBJCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#R4IK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Covariance-preserving image tangents T8Z9Z2ZMVG
| URI | m2://inv/T8Z9Z2ZMVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09472#5JAX, Covariance-preserving image tangents (statement). In 35925M9GJW/e1, lemma C.2
History
- 2026-10-29: add by m2/v0.4.10
Howson property T8ZG4FJNF5
| URI | m2://inv/T8ZG4FJNF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Howson property, Howson property (definition). Also Wikidata Q48997770
History
- 2026-11-02: add by m2/dev
Examples T8ZTY21AX4
| URI | m2://inv/T8ZTY21AX4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed monoidal category#V9YQ, Examples (example)
History
- 2026-11-02: add by m2/dev
T8ZVDWPJR3 T8ZVDWPJR3
| URI | m2://inv/T8ZVDWPJR3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21945#7J2K (statement). In 371P9QASSJ/e1, proposition A.5
History
- 2026-10-27: add by m2/v0.4.2
T8ZXY3RZ2K T8ZXY3RZ2K
| URI | m2://inv/T8ZXY3RZ2K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18329#J1GS (statement). In 3VWEPEFHN3/e1, theorem 2.9
History
- 2026-10-28: add by m2/v0.4.2