Inventory rows TX
The cards of the rows of the inventory whose ids start with TX. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
The target distance controls the gap TX050PZ3SY
| URI | m2://inv/TX050PZ3SY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09640#N199, The target distance controls the gap (statement). In E9T3B4RVW4/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.10
ℵ TX06XBN087
| URI | m2://inv/TX06XBN087 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#ETAC, ℵ (definition)
History
- 2026-11-02: add by m2/dev
TX0AC8E7JW TX0AC8E7JW
| URI | m2://inv/TX0AC8E7JW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13378#6TKK (statement). In QAH7SV1JT6/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
TX0E7PQZAT TX0E7PQZAT
| URI | m2://inv/TX0E7PQZAT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#VZAS (definition). In M4ZVJWM8YA/e1, definition
History
- 2026-10-27: add by m2/v0.4.2
Gauss–Markov process TX0FCXNRJ2
| URI | m2://inv/TX0FCXNRJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Markov process, Gauss–Markov process (definition). Also Wikidata Q5527857
History
- 2026-11-02: add by m2/dev
Strict increase at Bernoulli bulk energies TX0JWPYGPK
| URI | m2://inv/TX0JWPYGPK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21268#UTA3, Strict increase at Bernoulli bulk energies (statement). In 9W2YX5X4AX/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.4.2
*{Theorem 4.6 TX0MDQVDXA
| URI | m2://inv/TX0MDQVDXA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#OPVM, *{Theorem 4.6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
semi-locally simply connected space TX0PW4DZ02
| URI | m2://inv/TX0PW4DZ02 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Semilocally simply connected space R3SHZX0NZR |
Mentions
- wikidata: Wikidata Q7449310, semi-locally simply connected space (unknown). Also MathWorld SemilocallySimplyConnected, nLab semi-locally simply connected topological space, nLab semi-locally simply-connected topological space
- wikipedia: Wikipedia Semi-locally simply connected, Semi-locally simply connected (definition). Also Wikidata Q7449310
History
- 2026-10-26: add by m2/dev
TX11159J4R TX11159J4R
| URI | m2://inv/TX11159J4R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38396#2UWN (statement). In FGNNVKQR1Z/e1, theorem 5.10
History
- 2026-10-30: add by m2/v0.4.12
Representations TX134QVQZX
| URI | m2://inv/TX134QVQZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathieu group M12#1126, Representations (definition)
History
- 2026-11-02: add by m2/dev
Vertex enumeration problem TX14BZ1WQ6
| URI | m2://inv/TX14BZ1WQ6 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#AN0Q, Vertex enumeration problem (problem)
History
- 2026-11-02: add by m2/dev
TX16HPKKAZ TX16HPKKAZ
| URI | m2://inv/TX16HPKKAZ |
|---|---|
| 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 2610.08638#2VXP (statement). In 113VZ5XX7J/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
TX1EKBM9EY TX1EKBM9EY
| URI | m2://inv/TX1EKBM9EY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/enumerating-tms.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 86.6
History
- 2026-11-01: add by m2/v0.6.13
Definition TX1JW7FE8Y
| URI | m2://inv/TX1JW7FE8Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rule 110#5YEM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples TX22M7T3W7
| URI | m2://inv/TX22M7T3W7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Near-field (mathematics)#THEZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Linked field TX23DXFV79
| URI | m2://inv/TX23DXFV79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linked field, Linked field (definition). Also Wikidata Q17098518
History
- 2026-11-02: add by m2/dev
Mark Kac TX2BJH7BN5
| URI | m2://inv/TX2BJH7BN5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mark Kac, Mark Kac (topic). Also Wikidata Q736380
History
- 2026-11-02: add by m2/dev
Example TX2E8G85BH
| URI | m2://inv/TX2E8G85BH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reed–Muller code#F90R, Example (example)
History
- 2026-11-02: add by m2/dev
TX2MP27V1W TX2MP27V1W
| URI | m2://inv/TX2MP27V1W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#V5R2 (statement). In Z7E16PFFCP/e1, lemma 5.7
History
- 2026-10-30: add by m2/v0.4.12
Statement TX2Z022ZCE
| URI | m2://inv/TX2Z022ZCE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral gap conjecture#70XW, Statement (statement)
History
- 2026-11-02: add by m2/dev
TX310E9VGB TX310E9VGB
| URI | m2://inv/TX310E9VGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-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.14045#R0P9 (statement). In KZ71GXT2B0/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Contraction semi-group TX365TXQ8W
| URI | m2://inv/TX365TXQ8W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C0-semigroup#MXWR, Contraction semi-group (unknown)
History
- 2026-11-02: add by m2/dev
Gilbert–Johnson–Keerthi distance algorithm TX37GWGMQ0
| URI | m2://inv/TX37GWGMQ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#NQY3, Gilbert–Johnson–Keerthi distance algorithm (definition)
History
- 2026-11-02: add by m2/dev
TX39VD4SXZ TX39VD4SXZ
| URI | m2://inv/TX39VD4SXZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01731#115I (statement). In 3TJ2FWXQ0D/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.12
Optimality of the cross-angle barrier under arbitrary channelwise preconditioning TX3ART02AX
| URI | m2://inv/TX3ART02AX |
|---|---|
| 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.33021#DNVV, Optimality of the cross-angle barrier under arbitrary channelwise preconditioning (statement). In GG96DW33Q9/e1, theorem E.2
History
- 2026-10-31: add by m2/v0.5.6
László Kalmár TX3BJEZ2K2
| URI | m2://inv/TX3BJEZ2K2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1AR7, László Kalmár (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#V18E, László Kalmár (topic)
History
- 2026-11-02: add by m2/dev
Properties TX3MZT38ZE
| URI | m2://inv/TX3MZT38ZE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite broom#J3RS, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples TX3TKCAS46
| URI | m2://inv/TX3TKCAS46 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero-truncated Poisson distribution#DTYU, Examples (example)
History
- 2026-11-02: add by m2/dev
TX3WYFWGWY TX3WYFWGWY
| URI | m2://inv/TX3WYFWGWY |
|---|---|
| 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 2606.20229#SPK2 (statement). In 1B85G2QJC2/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.6
Schiffer's conjecture TX4AQRSBNC
| URI | m2://inv/TX4AQRSBNC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pompeiu problem#G8MV, Schiffer's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Strict fixed points and orbits TX4DDA8GDV
| URI | m2://inv/TX4DDA8GDV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#64XI, Strict fixed points and orbits (definition). In A1GWWGRXPA/e1, definition 3.50
History
- 2026-10-27: add by m2/v0.4.2
TX4EXAG51B TX4EXAG51B
| URI | m2://inv/TX4EXAG51B |
|---|---|
| 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.18620#E9E4 (statement). In 6WJ0R9YEBR/e1, corollary 4.4
History
- 2026-10-28: add by m2/v0.4.2
TX4NK8B1GA TX4NK8B1GA
| URI | m2://inv/TX4NK8B1GA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10078#MAL2 (statement). In YVGRZK1HRS/e1, proposition 4.16
History
- 2026-10-29: add by m2/v0.4.10
Median of block means TX57VA8D5N
| URI | m2://inv/TX57VA8D5N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12641#EXHE, Median of block means (statement). In X5BYGZZHPF/e1, lemma K.3
History
- 2026-10-28: add by m2/v0.4.2
Implicit function theorem TX5C33RMQV
| URI | m2://inv/TX5C33RMQV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#thm:implicit, Implicit function theorem (statement). In E59CDZA4DP, thm, section 11.5.1
History
- 2026-11-01: add by m2/v0.6.13
Assumed similarity bias TX5XPMJ09F
| URI | m2://inv/TX5XPMJ09F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#BT8K, Assumed similarity bias (unknown)
History
- 2026-11-02: add by m2/dev
TX60Y2HT06 TX60Y2HT06
| URI | m2://inv/TX60Y2HT06 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10469#YAWA (statement). In Q39BEKW6D9/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
Khmaladze transformation TX66F2HPRJ
| URI | m2://inv/TX66F2HPRJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UEZ1, Khmaladze transformation (definition)
History
- 2026-11-02: add by m2/dev
Distance formulas TX66MZKGT8
| URI | m2://inv/TX66MZKGT8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean distance#K1VF, Distance formulas (statement)
History
- 2026-11-02: add by m2/dev
Definition TX66SBASBV
| URI | m2://inv/TX66SBASBV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic Jordan algebra#W9T6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Filtered equivariance class TX6ANNRNGH
| URI | m2://inv/TX6ANNRNGH |
|---|---|
| Kind | definition |
| 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.25987#FIQR, Filtered equivariance class (definition)
History
- 2026-11-01: add by m2/v0.6.15
TX6AYQVD00 TX6AYQVD00
| URI | m2://inv/TX6AYQVD00 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-5 (proof). In N54F33XE07, proof, section B.2.2
History
- 2026-11-01: add by m2/v0.6.13
Multiscroll attractor TX6G9PPNDE
| URI | m2://inv/TX6G9PPNDE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiscroll attractor, Multiscroll attractor (definition). Also Wikidata Q5300085
History
- 2026-11-02: add by m2/dev
TX6NHEZS20 TX6NHEZS20
| URI | m2://inv/TX6NHEZS20 |
|---|---|
| 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.15460#4S41 (statement). In T2Z3D2VQ9B/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
Topological graph theory TX6TWQK48X
| URI | m2://inv/TX6TWQK48X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological graph theory, Topological graph theory (topic). Also Wikidata Q4115842
History
- 2026-11-02: add by m2/dev
Ammann A1 tilings TX6VWS3534
| URI | m2://inv/TX6VWS3534 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ammann A1 tilings, Ammann A1 tilings (object). Also Wikidata Q122199321
History
- 2026-11-02: add by m2/dev
Incremental encoding TX6X0H3FF1
| URI | m2://inv/TX6X0H3FF1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#152S, Incremental encoding (unknown)
History
- 2026-11-02: add by m2/dev
TX706BGBE1 TX706BGBE1
| URI | m2://inv/TX706BGBE1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/holomorphic.tex#example-2 (example). In RZP28ERRZV, example, section 39.2
History
- 2026-11-01: add by m2/v0.6.13
Theorem TX7HATDGWY
| URI | m2://inv/TX7HATDGWY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-category#V4Q8, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Formulation TX7JQA9X9M
| URI | m2://inv/TX7JQA9X9M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyson's transform#3ZCH, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Newton's law of viscosity TX7KJ1EKPB
| URI | m2://inv/TX7KJ1EKPB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newtonian fluid#DCBR, Newton's law of viscosity (statement)
History
- 2026-11-02: add by m2/dev
Examples TX7N8CZXCV
| URI | m2://inv/TX7N8CZXCV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental domain#E3BI, Examples (example)
History
- 2026-11-02: add by m2/dev
Projected endpoint polynomials TX7XRQ6YBV
| URI | m2://inv/TX7XRQ6YBV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37615#CLSZ, Projected endpoint polynomials (statement). In T2B54J7121/e1, lemma B.2
History
- 2026-10-30: add by m2/v0.4.12
TX80W63QW9 TX80W63QW9
| URI | m2://inv/TX80W63QW9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#BZ4R (statement)
History
- 2026-11-01: add by m2/v0.6.15
TX829MTSFA TX829MTSFA
| URI | m2://inv/TX829MTSFA |
|---|---|
| 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 2310.14879#DGMG (definition). In 3VZ55B2N0D/e1, definition 5.2
History
- 2026-10-27: add by m2/v0.4.0
L-statistic TX8H8CP7HT
| URI | m2://inv/TX8H8CP7HT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-statistic, L-statistic (definition). Also Wikidata Q16871696
History
- 2026-11-02: add by m2/dev
TX8MZDQG6K TX8MZDQG6K
| URI | m2://inv/TX8MZDQG6K |
|---|---|
| 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.25656#Z9SL (statement)
History
- 2026-11-01: add by m2/v0.6.15
TX8N286DRK TX8N286DRK
| URI | m2://inv/TX8N286DRK |
|---|---|
| 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.35950#YVFR (statement). In BZN1G5W5FX/e1, lemma 12.1
History
- 2026-10-30: add by m2/v0.4.12
Criticism of Dropbox TX8Q2BK0SY
| URI | m2://inv/TX8Q2BK0SY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Criticism of Dropbox, Criticism of Dropbox (definition). Also Wikidata Q30593175
History
- 2026-11-02: add by m2/dev
TX8RH84V0R TX8RH84V0R
| URI | m2://inv/TX8RH84V0R |
|---|---|
| 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.10968#THTF (statement). In KJRV9ZW833/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.3
Shapley–Folkman lemma TX91H60PT7
| URI | m2://inv/TX91H60PT7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapley–Folkman lemma, Shapley–Folkman lemma (statement). Also Wikidata Q3788045
History
- 2026-11-02: add by m2/dev
TX92PQF60J TX92PQF60J
| URI | m2://inv/TX92PQF60J |
|---|---|
| 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 0706.0357#0BIJ (statement). In GX9K29SRY8/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Simple formulas TX96M8DSFM
| URI | m2://inv/TX96M8DSFM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apéry's constant#HLKR, Simple formulas (statement)
History
- 2026-11-02: add by m2/dev
TX99P6XCZT TX99P6XCZT
| URI | m2://inv/TX99P6XCZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06699#51JE (statement). In GXHKRV5BPY/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.10
TX9CAN9RNJ TX9CAN9RNJ
| URI | m2://inv/TX9CAN9RNJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26738#SDYQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
TX9JH59D5S TX9JH59D5S
| URI | m2://inv/TX9JH59D5S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12777#M7ZT (statement). In 1YFK2FB3JY/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
BID 770 TX9Q7BG530
| URI | m2://inv/TX9Q7BG530 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BID 770, BID 770 (definition). Also Wikidata Q4835648
History
- 2026-11-02: add by m2/dev
5-polytope TX9RPN98K1
| URI | m2://inv/TX9RPN98K1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#H2U6, 5-polytope (definition)
History
- 2026-11-02: add by m2/dev
TX9SYVXV85 TX9SYVXV85
| URI | m2://inv/TX9SYVXV85 |
|---|---|
| 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 2603.21971#8AIN (statement). In R6KSZ9H8CY/e1, lemma 6.9
History
- 2026-10-27: add by m2/v0.3.5
Terry Speed TX9TW30NZJ
| URI | m2://inv/TX9TW30NZJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#KWUO, Terry Speed (topic)
History
- 2026-11-02: add by m2/dev
TX9WFSJFCX TX9WFSJFCX
| URI | m2://inv/TX9WFSJFCX |
|---|---|
| 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.03629#YIAE (statement). In T6W0HCPXFN/e1, proposition A1
History
- 2026-10-29: add by m2/v0.4.12
Bram van Leer TXA0N27JDK
| URI | m2://inv/TXA0N27JDK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bram van Leer, Bram van Leer (topic). Also Wikidata Q10741267
History
- 2026-11-02: add by m2/dev
Beta regression TXA1TH2AMW
| URI | m2://inv/TXA1TH2AMW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta regression, Beta regression (definition). Also Wikidata Q117390335
History
- 2026-11-02: add by m2/dev
Applications TXA1WZ0QPX
| URI | m2://inv/TXA1WZ0QPX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Layer cake representation#S5YD, Applications (example)
History
- 2026-11-02: add by m2/dev
TXA71KAHMG TXA71KAHMG
| URI | m2://inv/TXA71KAHMG |
|---|---|
| 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#4XY9 (statement). In 67GE5M1GGD/e1, statement 5.19
History
- 2026-10-30: add by m2/v0.4.12
Definition TXA8CFXZEN
| URI | m2://inv/TXA8CFXZEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total ring of fractions#3V7P, Definition (definition)
History
- 2026-11-02: add by m2/dev
Primitive recursive set function TXAG1RANEB
| URI | m2://inv/TXAG1RANEB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive recursive set function, Primitive recursive set function (definition). Also Wikidata Q18344565
History
- 2026-11-02: add by m2/dev
Morley's categoricity theorem TXAMHDFHMY
| URI | m2://inv/TXAMHDFHMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#CJAJ, Morley's categoricity theorem (definition)
History
- 2026-11-02: add by m2/dev
Eremenko TXAN1B2EF8
| URI | m2://inv/TXAN1B2EF8 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17116#URTI, Eremenko (conjecture). In A02X6MX28Y/e1, conjecture 1.1
History
- 2026-10-28: add by m2/v0.4.2
Notation TXATK942RN
| URI | m2://inv/TXATK942RN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trilinear coordinates#QUZA, Notation (definition)
History
- 2026-11-02: add by m2/dev
TXB0RT85HN TXB0RT85HN
| URI | m2://inv/TXB0RT85HN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05506#73E4 (statement). In FT53PMB1TE/e1, lemma 2.3.2
History
- 2026-10-29: add by m2/v0.4.10
Data dredging TXB2V5W4JR
| URI | m2://inv/TXB2V5W4JR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data dredging, Data dredging (definition). Also Wikidata Q5227277
History
- 2026-11-02: add by m2/dev
nilpotence theorem TXB3AFZ8XG
| URI | m2://inv/TXB3AFZ8XG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Nilpotence theorem 9N027RT5R6 |
Mentions
- wikidata: Wikidata Q17099400, nilpotence theorem (statement). Also nLab nilpotence theorem
- wikipedia: Wikipedia Nilpotence theorem, Nilpotence theorem (statement). Also Wikidata Q17099400
History
- 2026-10-26: add by m2/dev
TXB3GYGSW3 TXB3GYGSW3
| URI | m2://inv/TXB3GYGSW3 |
|---|---|
| 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.12736#ALSD (statement). In 5350Q52F6P/e1, proposition 2.16
History
- 2026-10-28: add by m2/v0.4.2
complete multipartite graph TXB6C2DKSR
| URI | m2://inv/TXB6C2DKSR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q127508598, complete multipartite graph (unknown). Also MathWorld CompleteMultipartiteGraph
History
- 2026-10-26: add by m2/dev
Mersenne twister TXBBWPGX3T
| URI | m2://inv/TXBBWPGX3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#6R66, Mersenne twister (definition)
History
- 2026-11-02: add by m2/dev
Other oracles TXBGJ13BXP
| URI | m2://inv/TXBGJ13BXP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12713#0YCV, Other oracles (statement). In F14A5HX20Q/e1, proposition D.5.3
History
- 2026-10-28: add by m2/v0.4.2
Theophil Henry Hildebrandt TXBHQH3KZF
| URI | m2://inv/TXBHQH3KZF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theophil Henry Hildebrandt, Theophil Henry Hildebrandt (topic). Also Wikidata Q7782266
History
- 2026-11-02: add by m2/dev
measure TXBJST6Q2J
| URI | m2://inv/TXBJST6Q2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#3P9H, measure (definition)
History
- 2026-11-02: add by m2/dev
TXBP96RFQV TXBP96RFQV
| URI | m2://inv/TXBP96RFQV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34081#0BE3 (statement). In 3RVGEKGX46/e1, proposition 6.1
History
- 2026-10-30: add by m2/v0.4.12
TXBQ2WX42Y TXBQ2WX42Y
| URI | m2://inv/TXBQ2WX42Y |
|---|---|
| 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 2007.14459#8BKD (statement). In SGQ7VFEZ22/e1, fact 2.10
History
- 2026-10-27: add by m2/v0.3.5
Definition TXBQ8FNQAC
| URI | m2://inv/TXBQ8FNQAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jack function#XNKM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Lotfi Zadeh TXBQVTSPF9
| URI | m2://inv/TXBQVTSPF9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#VO09, Lotfi Zadeh (unknown)
History
- 2026-11-02: add by m2/dev
Example of a 3-valued logic applied to vague (undetermined) cases TXBVRS059W
| URI | m2://inv/TXBVRS059W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principle of bivalence#K9F6, Example of a 3-valued logic applied to vague (undetermined) cases (example)
History
- 2026-11-02: add by m2/dev
TXBXWFVVKT TXBXWFVVKT
| URI | m2://inv/TXBXWFVVKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03619#0BQC (statement). In 7SRERSS1PF/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
Joint bulk/boundary moment bounds for non-tangential trapezoids TXBYKT56YC
| URI | m2://inv/TXBYKT56YC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.09121#7Y29, Joint bulk/boundary moment bounds for non-tangential trapezoids (statement). In 559PF7Q5BT/e1, proposition 22
History
- 2026-10-27: add by m2/v0.3.5
BV TXBZGGCC04
| URI | m2://inv/TXBZGGCC04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#0JCG, BV (definition)
History
- 2026-11-02: add by m2/dev
Plane mirror TXBZWJZ5BM
| URI | m2://inv/TXBZWJZ5BM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane mirror, Plane mirror (definition). Also Wikidata Q964338
History
- 2026-11-02: add by m2/dev
TXC2955637 TXC2955637
| URI | m2://inv/TXC2955637 |
|---|---|
| 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.20760#P5WV (statement). In 6G9JSJ5JMP/e1, proposition 35
History
- 2026-10-27: add by m2/v0.4.2
International Association for Official Statistics TXC2TH29VA
| URI | m2://inv/TXC2TH29VA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Association for Official Statistics, International Association for Official Statistics (definition). Also Wikidata Q6048328
History
- 2026-11-02: add by m2/dev
Path cover TXC45MJDJX
| URI | m2://inv/TXC45MJDJX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Path cover, Path cover (definition). Also Wikidata Q17141250
History
- 2026-11-02: add by m2/dev
TXC4WR4RMR TXC4WR4RMR
| URI | m2://inv/TXC4WR4RMR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/categories.tex#exercise-6 (exercise). In RZP28ERRZV, exercise, section 36.5
History
- 2026-11-01: add by m2/v0.6.13
TXCVS9J2ZS TXCVS9J2ZS
| URI | m2://inv/TXCVS9J2ZS |
|---|---|
| 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.08664#92TY (statement). In 1YY0P4ZS0T/e1, corollary 51
History
- 2026-10-29: add by m2/v0.4.10
Thin Lens Formula TXCVXMM0H0
| URI | m2://inv/TXCVXMM0H0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lens#AG1B, Thin Lens Formula (unknown)
History
- 2026-11-02: add by m2/dev
\DynoSPLIT with capacity margin \(\varepsilon\ TXCWQB3BP2
| URI | m2://inv/TXCWQB3BP2 |
|---|---|
| Kind | definition |
| 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.17329#OQ1M, \DynoSPLIT with capacity margin \(\varepsilon\ (definition). In F6GD5JWK9M/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
regionally compact TXCXAA5DTF
| URI | m2://inv/TXCXAA5DTF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.12181#N6GB, regionally compact (definition). In FSD8NE3XSR/e1, definition 6.10
History
- 2026-10-27: add by m2/v0.4.0
TXCXDV7SV6 TXCXDV7SV6
| URI | m2://inv/TXCXDV7SV6 |
|---|---|
| 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 2303.00676#NWQS (definition). In 5351H04TJY/e1, definition 1.6
History
- 2026-10-27: add by m2/v0.4.0
Examples TXCZ13CG50
| URI | m2://inv/TXCZ13CG50 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric graph#O1OZ, Examples (example)
History
- 2026-11-02: add by m2/dev
jet commutation TXCZGNWJZQ
| URI | m2://inv/TXCZGNWJZQ |
|---|---|
| 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.22355#UYBE, jet commutation (statement)
History
- 2026-11-02: add by m2/v0.6.17
TXD2576556 TXD2576556
| URI | m2://inv/TXD2576556 |
|---|---|
| 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.17817#Z0JJ (statement). In M8TSJ24RC2/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
TXD53TCGH4 TXD53TCGH4
| URI | m2://inv/TXD53TCGH4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/excision.tex#sproblem-1 (exercise). In RZP28ERRZV, sproblem, section 53.6
History
- 2026-11-01: add by m2/v0.6.13
TXD8K0S4HB TXD8K0S4HB
| URI | m2://inv/TXD8K0S4HB |
|---|---|
| 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.00312#VDAK (statement). In 41NFABHFXH/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Larry A. Wasserman TXD9GRRSDE
| URI | m2://inv/TXD9GRRSDE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#KZ78, Larry A. Wasserman (topic)
History
- 2026-11-02: add by m2/dev
TXDF4TK1W2 TXDF4TK1W2
| URI | m2://inv/TXDF4TK1W2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-4.xml#definition-1 (definition). In 649HGZKE96, definition, section 3.4.2
History
- 2026-11-01: add by m2/v0.6.13
Step 4 TXDGDTX3DR
| URI | m2://inv/TXDGDTX3DR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fatou's lemma#43GS, Step 4 (statement)
History
- 2026-11-02: add by m2/dev
TXDGJE7KVS TXDGJE7KVS
| URI | m2://inv/TXDGJE7KVS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/replacement/refproofs.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 73.11
History
- 2026-11-01: add by m2/v0.6.13
Jim Geelen TXDKPTMFW9
| URI | m2://inv/TXDKPTMFW9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jim Geelen, Jim Geelen (topic). Also Wikidata Q10559111
History
- 2026-11-02: add by m2/dev
Friedrich Kasiski TXDQGKAYWY
| URI | m2://inv/TXDQGKAYWY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedrich Kasiski, Friedrich Kasiski (topic). Also Wikidata Q64352
History
- 2026-11-02: add by m2/dev
Mild solution TXDQYEFXDX
| URI | m2://inv/TXDQYEFXDX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04895#FRDR, Mild solution (definition). In A7M06ZVYA8/e1, definition 1.2
History
- 2026-10-29: add by m2/v0.4.12
Green's first identity TXEFG6JS2T
| URI | m2://inv/TXEFG6JS2T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green's identities#RK18, Green's first identity (statement)
History
- 2026-11-02: add by m2/dev
Probable prime TXEGS0N3MR
| URI | m2://inv/TXEGS0N3MR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#GOQB, Probable prime (definition)
History
- 2026-11-02: add by m2/dev
TXEHJ65622 TXEHJ65622
| URI | m2://inv/TXEHJ65622 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08323#MW2S (statement). In FR51ART4NF/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.10
Graph edit distance TXEK4B3D89
| URI | m2://inv/TXEK4B3D89 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph edit distance, Graph edit distance (definition). Also Wikidata Q25304679
History
- 2026-11-02: add by m2/dev
Generalizations TXEMFZ8KX3
| URI | m2://inv/TXEMFZ8KX3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Right angle#NOZM, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
TXES0ZEN33 TXES0ZEN33
| URI | m2://inv/TXES0ZEN33 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 53-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.29188#SYL7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Legendre duplication formula TXEV1A1R65
| URI | m2://inv/TXEV1A1R65 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#5XQ6, Legendre duplication formula (statement)
History
- 2026-11-02: add by m2/dev
Rudolf Benesh TXFATNGKMZ
| URI | m2://inv/TXFATNGKMZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rudolf Benesh, Rudolf Benesh (topic). Also Wikidata Q3446707
History
- 2026-11-02: add by m2/dev
maximum TXFEK7RQ7Y
| URI | m2://inv/TXFEK7RQ7Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#9CC3, maximum (definition)
History
- 2026-11-02: add by m2/dev
TXFFG65SYT TXFFG65SYT
| URI | m2://inv/TXFFG65SYT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-prop.ptx#exercise-20 (exercise). In Y91XFCEVHQ, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Extender TXFJ1G6ZKT
| URI | m2://inv/TXFJ1G6ZKT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extender (set theory), Extender (definition). Also Wikidata Q5421908
History
- 2026-11-02: add by m2/dev
TXFP5X2VGK TXFP5X2VGK
| URI | m2://inv/TXFP5X2VGK |
|---|---|
| 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.34675#ZT9O (statement). In C93BAXKJVD/e1, lemma 2.8
History
- 2026-10-30: add by m2/v0.4.12
Electrical network TXG3J2K3A5
| URI | m2://inv/TXG3J2K3A5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electrical network, Electrical network (definition). Also Wikidata Q132629
History
- 2026-11-02: add by m2/dev
Integrals on annuli, shells and strips TXG4VWRHQ5
| URI | m2://inv/TXG4VWRHQ5 |
|---|---|
| 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.13753#TY3I, Integrals on annuli, shells and strips (statement). In AHM0PBKZZN/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
Decimal E notation TXGA5PK7P8
| URI | m2://inv/TXGA5PK7P8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific notation#TXYJ, Decimal E notation (unknown)
History
- 2026-11-02: add by m2/dev
TXGE31E8MB TXGE31E8MB
| URI | m2://inv/TXGE31E8MB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#5JUI (statement). In V97F4YZ8B0/e1, lemma 9.5
History
- 2026-10-28: add by m2/v0.4.2
Simon A. Levin TXGFJ9T3EW
| URI | m2://inv/TXGFJ9T3EW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NA9E, Simon A. Levin (unknown)
History
- 2026-11-02: add by m2/dev
TXGPY7GKY2 TXGPY7GKY2
| URI | m2://inv/TXGPY7GKY2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07828#9SRG (statement). In TWGMVT1N1G/e1, proposition 8.3
History
- 2026-10-29: add by m2/v0.4.10
Definition TXGQGNGCXR
| URI | m2://inv/TXGQGNGCXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally recoverable code#MQ03, Definition (definition)
History
- 2026-11-02: add by m2/dev
simple TXHA5B3XK2
| URI | m2://inv/TXHA5B3XK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#I2MU, simple (definition)
History
- 2026-11-02: add by m2/dev
Inter-rater reliability TXHB8VA798
| URI | m2://inv/TXHB8VA798 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LSGO, Inter-rater reliability (definition)
History
- 2026-11-02: add by m2/dev
complex reflection group TXHJA49QC0
| URI | m2://inv/TXHJA49QC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#JPTG, complex reflection group (definition)
History
- 2026-11-02: add by m2/dev
Cofiniteness TXHNW1KQGX
| URI | m2://inv/TXHNW1KQGX |
|---|---|
| Kind | conjecture |
| 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.07214#B2MM, Cofiniteness (conjecture). In 669PBFJX0Z/e1, conjecture 3
History
- 2026-10-29: add by m2/v0.4.10
TXHWT5W3XY TXHWT5W3XY
| URI | m2://inv/TXHWT5W3XY |
|---|---|
| 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.29878#45ZI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Yamaki TXHXMXWEF3
| URI | m2://inv/TXHXMXWEF3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14689#C8AT, Yamaki (statement). In 6BKMNJYNPJ/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
TXJ8E248CV TXJ8E248CV
| URI | m2://inv/TXJ8E248CV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33805#4V75 (statement). In XM98BX97RT/e1, proposition 4.5
History
- 2026-10-30: add by m2/v0.4.12
TXJB55Z7VJ TXJB55Z7VJ
| URI | m2://inv/TXJB55Z7VJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 51-XX, 52-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07728#CLYM (statement). In B1VVAKFCKZ/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
All-pairs testing TXJB9PG01K
| URI | m2://inv/TXJB9PG01K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia All-pairs testing, All-pairs testing (definition). Also Wikidata Q1749668
History
- 2026-11-02: add by m2/dev
TXJEVKEM5Q TXJEVKEM5Q
| URI | m2://inv/TXJEVKEM5Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10406#LICB (statement). In VQA35Q7C00/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.10
quadratic polynomial TXJKDAN64S
| URI | m2://inv/TXJKDAN64S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#KS7T, quadratic polynomial (definition)
History
- 2026-11-02: add by m2/dev
TXJZCED9Y4 TXJZCED9Y4
| URI | m2://inv/TXJZCED9Y4 |
|---|---|
| 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 math/0003117#MV2R (statement). In WD2NCBV9F0/e1, lemma 19.7
History
- 2026-10-27: add by m2/v0.3.5
necessary condition TXK352P57R
| URI | m2://inv/TXK352P57R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.2/necessary-condition, necessary condition (concept). In Y91XFCEVHQ, index, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
Arthur Milgram TXK3ECQ4XE
| URI | m2://inv/TXK3ECQ4XE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur Milgram, Arthur Milgram (topic). Also Wikidata Q710668
History
- 2026-11-02: add by m2/dev
TXK41129Q4 TXK41129Q4
| URI | m2://inv/TXK41129Q4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#6WSL (definition). In RTE2C0PH4S/e1, definition 6.2
History
- 2026-10-28: add by m2/v0.4.2
Supergolden sequence TXK58BGNP4
| URI | m2://inv/TXK58BGNP4 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56277701, Supergolden sequence (object). Also OEIS A000930
History
- 2026-10-26: add by m2/dev
Properties TXK6PPRTS0
| URI | m2://inv/TXK6PPRTS0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shelling (topology)#6FYW, Properties (statement)
History
- 2026-11-02: add by m2/dev
Variants TXK74ZB7ZX
| URI | m2://inv/TXK74ZB7ZX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Costas array#LHZK, Variants (statement)
History
- 2026-11-02: add by m2/dev
Newman TXKAFX09JM
| URI | m2://inv/TXKAFX09JM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#C09R, Newman (statement). In P3RTT99C41/e1, lemma 9.7
History
- 2026-10-30: add by m2/v0.4.12
TXKAY2GJ7X TXKAY2GJ7X
| URI | m2://inv/TXKAY2GJ7X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03310#336X (statement). In 2CQ2KPV3CG/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Resolved chain-level regularization datum TXKCQWJHR9
| URI | m2://inv/TXKCQWJHR9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-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.27799#0TWB, Resolved chain-level regularization datum (definition)
History
- 2026-11-01: add by m2/v0.6.15
Robert Penner TXKGQQG4SS
| URI | m2://inv/TXKGQQG4SS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q87167335, Robert Penner (unknown). Also nLab Robert Penner
- wikipedia: Wikipedia Robert Penner, Robert Penner (topic). Also Wikidata Q87167335
History
- 2026-10-26: add by m2/dev
Jacobson TXKJ1RBJKC
| URI | m2://inv/TXKJ1RBJKC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#4P5G, Jacobson (definition)
History
- 2026-11-02: add by m2/dev
TXKQW4SJDM TXKQW4SJDM
| URI | m2://inv/TXKQW4SJDM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05867#ZC0O (statement). In E2TP3AKTNV/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
Highest common factor TXM02FMDHS
| URI | m2://inv/TXM02FMDHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#DE7H, Highest common factor (definition)
History
- 2026-11-02: add by m2/dev
Admissible reduced kinetic realization TXM8J3RA0T
| URI | m2://inv/TXM8J3RA0T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20735#4JBZ, Admissible reduced kinetic realization (definition)
History
- 2026-11-02: add by m2/v0.6.18
TXM9M81BX3 TXM9M81BX3
| URI | m2://inv/TXM9M81BX3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#RII4 (statement). In TX0H26X4VX/e1, proposition 7.3
History
- 2026-10-29: add by m2/v0.4.12
Time loop logic TXMA3NFNXJ
| URI | m2://inv/TXMA3NFNXJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Novikov self-consistency principle#2QNV, Time loop logic (unknown)
History
- 2026-11-02: add by m2/dev
2 implies 3 TXMJQZPTQF
| URI | m2://inv/TXMJQZPTQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conservative force#3MBB, 2 implies 3 (definition)
History
- 2026-11-02: add by m2/dev
TXMME69YV8 TXMME69YV8
| URI | m2://inv/TXMME69YV8 |
|---|---|
| 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.36827#BR64 (statement). In VSHAQTB2CA/e1, theorem B
History
- 2026-10-30: add by m2/v0.4.12
Sagrada Família TXMWH656K9
| URI | m2://inv/TXMWH656K9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sagrada Família, Sagrada Família (definition). Also Wikidata Q48435
History
- 2026-11-02: add by m2/dev
Connected process diagram TXN4T4KTF7
| URI | m2://inv/TXN4T4KTF7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20478#JGQT, Connected process diagram (example)
History
- 2026-11-02: add by m2/v0.6.18
orbit–stabilizer theorem TXN5PTV5C3
| URI | m2://inv/TXN5PTV5C3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q800350, orbit–stabilizer theorem (statement). Also ProofWiki Orbit-Stabilizer_Theorem
History
- 2026-10-26: add by m2/dev
Dietrich Braess TXN78Q2W77
| URI | m2://inv/TXN78Q2W77 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dietrich Braess, Dietrich Braess (topic). Also Wikidata Q1223693
History
- 2026-11-02: add by m2/dev
TXNE4KW5GV TXNE4KW5GV
| URI | m2://inv/TXNE4KW5GV |
|---|---|
| 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 2504.14383#SY4I (statement). In QD0X3XJS6T/e1, lemma 7.10
History
- 2026-10-27: add by m2/v0.3.5
EpiData TXNVWAAYP6
| URI | m2://inv/TXNVWAAYP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia EpiData, EpiData (definition). Also Wikidata Q5382673
History
- 2026-11-02: add by m2/dev
Joachim Lambek TXP2E8ER4Z
| URI | m2://inv/TXP2E8ER4Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1029256, Joachim Lambek (unknown). Also nLab Joachim Lambek
- wikipedia: Wikipedia Joachim Lambek, Joachim Lambek (topic). Also Wikidata Q1029256
History
- 2026-10-26: add by m2/dev
Einstein–Podolsky–Rosen paradox TXP37M5VWY
| URI | m2://inv/TXP37M5VWY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albert Einstein#V921, Einstein–Podolsky–Rosen paradox (statement)
History
- 2026-11-02: add by m2/dev
TXP48KCGCT TXP48KCGCT
| URI | m2://inv/TXP48KCGCT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11047#VN8C (statement). In MNQAZ70XTH/e1, proposition 13.4
History
- 2026-10-28: add by m2/v0.4.3
TXP6CT6ZB8 TXP6CT6ZB8
| URI | m2://inv/TXP6CT6ZB8 |
|---|---|
| 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#0HK7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
TXP7MBZPSY TXP7MBZPSY
| URI | m2://inv/TXP7MBZPSY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17626#2YON (statement). In 54ATJS74DT/e1, corollary 2.13
History
- 2026-10-28: add by m2/v0.4.2
Definition TXP87R7SAR
| URI | m2://inv/TXP87R7SAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truth-table reduction#RYNF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties TXPAMARM4Q
| URI | m2://inv/TXPAMARM4Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyadic space#IM4L, Properties (statement)
History
- 2026-11-02: add by m2/dev
Core partition TXPDRPYM4M
| URI | m2://inv/TXPDRPYM4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#WVRE, Core partition (definition)
History
- 2026-11-02: add by m2/dev
TXPEGTZ2S4 TXPEGTZ2S4
| URI | m2://inv/TXPEGTZ2S4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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.11545#LOKL (statement). In VN084GGZGK/e1, proposition 2.21
History
- 2026-10-28: add by m2/v0.4.3
TXPGQPYMC3 TXPGQPYMC3
| URI | m2://inv/TXPGQPYMC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01888#61SX (statement). In A89G9GMPC9/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
universal class TXPJ5BJW7B
| URI | m2://inv/TXPJ5BJW7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2649292, universal class (definition). Also ProofWiki Definition:Universal_Class
History
- 2026-10-26: add by m2/dev
Igor Pro TXPKRCWHPT
| URI | m2://inv/TXPKRCWHPT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#RHHA, Igor Pro (unknown)
History
- 2026-11-02: add by m2/dev
Exact finite-observation boundaries TXQ0ZQ890G
| URI | m2://inv/TXQ0ZQ890G |
|---|---|
| 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.00291#CYWR, Exact finite-observation boundaries (statement). In JXCHERE2AF/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
TXQ3E3S48P TXQ3E3S48P
| URI | m2://inv/TXQ3E3S48P |
|---|---|
| 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.32651#4VR0 (statement). In WFJXSE3VDT/e1, proposition 2.5
History
- 2026-10-31: add by m2/v0.5.6
Alan Carey TXQ4A73AP3
| URI | m2://inv/TXQ4A73AP3 |
|---|---|
| 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 Q67065443, Alan Carey (unknown). Also nLab Alan Carey
History
- 2026-10-26: add by m2/dev
Macdonald conjectures TXQA0JT1VP
| URI | m2://inv/TXQA0JT1VP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyson conjecture#23F4, Macdonald conjectures (statement)
History
- 2026-11-02: add by m2/dev
integers TXQWDBY7R9
| URI | m2://inv/TXQWDBY7R9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.1.2/integers, integers (concept). In N54F33XE07, index, section 7.1.2
History
- 2026-11-01: add by m2/v0.6.13
Joseph Diaz Gergonne TXR3GFYNWZ
| URI | m2://inv/TXR3GFYNWZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#T1ES, Joseph Diaz Gergonne (topic)
History
- 2026-11-02: add by m2/dev
TXR53GH4RA TXR53GH4RA
| URI | m2://inv/TXR53GH4RA |
|---|---|
| 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.08027#1SD4 (statement). In YF3CEQDXGQ/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
TXR7ECY164 TXR7ECY164
| URI | m2://inv/TXR7ECY164 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11905#AEZ3 (statement). In QQFXT31CA5/e1, theorem 9.4
History
- 2026-10-28: add by m2/v0.4.3
Landscape near the starting point of a geodesic TXRFM8R0N1
| URI | m2://inv/TXRFM8R0N1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39675#4DZ4, Landscape near the starting point of a geodesic (statement). In VM16G3PPH3/e1, theorem 4.3
History
- 2026-10-30: add by m2/v0.4.12
Quaternion-Kähler manifold TXRR80PGWZ
| URI | m2://inv/TXRR80PGWZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#1R67, Quaternion-Kähler manifold (definition)
History
- 2026-11-02: add by m2/dev
TXRRGK7VTK TXRRGK7VTK
| URI | m2://inv/TXRRGK7VTK |
|---|---|
| Kind | definition |
| 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.12169#VLXC (definition). In 645GF9SFWM/e1, definition 9
History
- 2026-10-28: add by m2/v0.4.2
Cipher text TXRSV4ATNG
| URI | m2://inv/TXRSV4ATNG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#Z8PE, Cipher text (definition)
History
- 2026-11-02: add by m2/dev
Bohemian matrices TXRT3KZPWW
| URI | m2://inv/TXRT3KZPWW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bohemian matrices, Bohemian matrices (definition). Also Wikidata Q111953008
History
- 2026-11-02: add by m2/dev
Power-of-two degree TXS08581A1
| URI | m2://inv/TXS08581A1 |
|---|---|
| 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.23781#E6F7, Power-of-two degree (statement)
History
- 2026-11-02: add by m2/v0.6.17
Second proof TXS4XMR2KE
| URI | m2://inv/TXS4XMR2KE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-8, Second proof (proof). In N54F33XE07, proof, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
G-linear TXSHMK857B
| URI | m2://inv/TXSHMK857B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#0TY3, G-linear (definition)
History
- 2026-11-02: add by m2/dev
Order-7 tetrahedral honeycomb TXT0J4QM61
| URI | m2://inv/TXT0J4QM61 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-7 tetrahedral honeycomb, Order-7 tetrahedral honeycomb (definition). Also Wikidata Q17078076
History
- 2026-11-02: add by m2/dev
TXT7VV6WQ9 TXT7VV6WQ9
| URI | m2://inv/TXT7VV6WQ9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22161#XTGC (definition). In FVM35KPN8C/e1, definition 4.7
History
- 2026-10-27: add by m2/v0.4.0
square root of 2 TXT940YTAX
| URI | m2://inv/TXT940YTAX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q389813, square root of 2 (object). Also MathWorld PythagorassConstant, OEIS A002193
- wikipedia: Wikipedia Square root of 2, Square root of 2 (definition). Also Wikidata Q389813
History
- 2026-10-26: add by m2/dev
Euler's polyhedron theorem TXTBQB1J4R
| URI | m2://inv/TXTBQB1J4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#FP7T, Euler's polyhedron theorem (definition)
History
- 2026-11-02: add by m2/dev
TXTCJTC6JB TXTCJTC6JB
| URI | m2://inv/TXTCJTC6JB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_networkflow_augmenting.ptx#exa_networkflow_delta (example). In QKM9DD2H56, example, section 13.3
History
- 2026-11-01: add by m2/v0.6.13
geometric invariant theory TXTD0WF149
| URI | m2://inv/TXTD0WF149 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Geometric invariant theory 9EG3A21ET1 |
Mentions
- wikidata: Wikidata Q5535491, geometric invariant theory (topic). Also nLab geometric invariant theory, ProofWiki Definition:Geometric_Invariant_Theory
- wikipedia: Wikipedia Geometric invariant theory, Geometric invariant theory (definition). Also Wikidata Q5535491
History
- 2026-10-26: add by m2/dev
TXTEYXJ2VK TXTEYXJ2VK
| URI | m2://inv/TXTEYXJ2VK |
|---|---|
| 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.12908#K6SC (statement). In TNC658NVMQ/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Formal definitions TXTGDGHNBH
| URI | m2://inv/TXTGDGHNBH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turing completeness#R5AY, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
simple function TXTQVHB020
| URI | m2://inv/TXTQVHB020 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Simple function 7WMBX7M4P6 |
Mentions
- wikidata: Wikidata Q913022, simple function (definition). Also MathWorld SimpleFunction, nLab simple function, ProofWiki Definition:Simple_Function
- wikipedia: Wikipedia Simple function, Simple function (definition). Also Wikidata Q913022
History
- 2026-10-26: add by m2/dev
TXTV0J0PET TXTV0J0PET
| URI | m2://inv/TXTV0J0PET |
|---|---|
| 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.06381#TOOP (statement). In X9JKBDHACW/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.10
TXV2FP3JH6 TXV2FP3JH6
| URI | m2://inv/TXV2FP3JH6 |
|---|---|
| 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#Q8D2 (statement). In 371P9QASSJ/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
TXVCW6AH8Q TXVCW6AH8Q
| URI | m2://inv/TXVCW6AH8Q |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_probability_central-tendency.ptx#proof-3 (proof). In QKM9DD2H56, proof, section 10.5.1
History
- 2026-11-01: add by m2/v0.6.13
Asymmetric bipyramid TXVFF4RD32
| URI | m2://inv/TXVFF4RD32 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bipyramid#I4F8, Asymmetric bipyramid (unknown)
History
- 2026-11-02: add by m2/dev
Miles Menander Dawson TXW30Q28P2
| URI | m2://inv/TXW30Q28P2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#JUJG, Miles Menander Dawson (unknown)
History
- 2026-11-02: add by m2/dev
recurrence relation TXW8KCFW3T
| URI | m2://inv/TXW8KCFW3T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3.1/recurrence-relation, recurrence relation (concept). In Y91XFCEVHQ, index, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Height formula TXWDCECK4F
| URI | m2://inv/TXWDCECK4F |
|---|---|
| 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.33808#QP3K, Height formula (statement). In 328KGRNN0W/e1, corollary 5.5
History
- 2026-10-30: add by m2/v0.4.12
Vargha, András TXWFX3NS7P
| URI | m2://inv/TXWFX3NS7P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#ZQJ5, Vargha, András (topic)
History
- 2026-11-02: add by m2/dev
TXWJBDWXYD TXWJBDWXYD
| URI | m2://inv/TXWJBDWXYD |
|---|---|
| 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.36300#MO9V (statement). In MNWD3Y6W56/e1, theorem 1.5
History
- 2026-10-30: add by m2/v0.4.12
Period groups and singular real-analytic sets TXX1BJC30F
| URI | m2://inv/TXX1BJC30F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.12497#NXAI, Period groups and singular real-analytic sets (statement). In Z0SAF18JPP/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Wild knot TXX2JQVXTC
| URI | m2://inv/TXX2JQVXTC |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#FTON, Wild knot (object)
- wikipedia: Wikipedia List of topologies#YUY4, Wild knot (object)
History
- 2026-11-02: add by m2/dev
TXX2N117C4 TXX2N117C4
| URI | m2://inv/TXX2N117C4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22317#AD8Z (statement). In 2W5Z97BBW4/e1, lemma 2.32
History
- 2026-10-27: add by m2/v0.4.0
Daniela Kühn TXX5Z2ZHGW
| URI | m2://inv/TXX5Z2ZHGW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0MPG, Daniela Kühn (topic)
History
- 2026-11-02: add by m2/dev
Numerical methods for differential equations TXXQH56Z25
| URI | m2://inv/TXXQH56Z25 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical methods for differential equations, Numerical methods for differential equations (definition). Also Wikidata Q18327520
History
- 2026-11-02: add by m2/dev
TXXQKABCWG TXXQKABCWG
| URI | m2://inv/TXXQKABCWG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29107#B8SV (statement)
History
- 2026-11-01: add by m2/v0.6.15
unique prime TXXZ8B57YB
| URI | m2://inv/TXXZ8B57YB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2654418, unique prime (unknown). Also MathWorld UniquePrime, OEIS A040017
History
- 2026-10-26: add by m2/dev
Law TXY1C9YBJ2
| URI | m2://inv/TXY1C9YBJ2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arbitrariness#0QVU, Law (statement)
History
- 2026-11-02: add by m2/dev
TXY4T12Z4C TXY4T12Z4C
| URI | m2://inv/TXY4T12Z4C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11395#SU39 (statement). In T3W7SMWQ73/e1, proposition 32
History
- 2026-10-28: add by m2/v0.4.3
TXYBP57WH7 TXYBP57WH7
| URI | m2://inv/TXYBP57WH7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/theories-computability/q-is-ce.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 30.14
History
- 2026-11-01: add by m2/v0.6.13
Facts TXYJV7B0H8
| URI | m2://inv/TXYJV7B0H8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraically compact module#SY3H, Facts (statement)
History
- 2026-11-02: add by m2/dev
TXYTK8FN69 TXYTK8FN69
| URI | m2://inv/TXYTK8FN69 |
|---|---|
| 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 2401.14143#VJD0 (statement). In 7WV4JVGEN1/e1, theorem 5.8
History
- 2026-10-27: add by m2/v0.4.0
TXYWVQRT7E TXYWVQRT7E
| URI | m2://inv/TXYWVQRT7E |
|---|---|
| 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.02870#SAIQ (statement). In JJQQJ4KX94/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.12
TXYXR7MCCF TXYXR7MCCF
| URI | m2://inv/TXYXR7MCCF |
|---|---|
| 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 2610.14988#II79 (example). In B29M4E6KGC/e1, example G.1
History
- 2026-10-28: add by m2/v0.4.2
TXYZE7BQ5R TXYZE7BQ5R
| URI | m2://inv/TXYZE7BQ5R |
|---|---|
| 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 2011.14561#6XRD (statement). In V2XJJJX1Z8/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
TXZ19Y6MRD TXZ19Y6MRD
| URI | m2://inv/TXZ19Y6MRD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#BTH4 (statement). In 2VHV0RNTNV/e1, lemma 8.2
History
- 2026-10-29: add by m2/v0.4.12
(Weeting #19) TXZQ1S6W77
| URI | m2://inv/TXZQ1S6W77 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#GDNE, (Weeting #19) (unknown)
History
- 2026-11-02: add by m2/dev
TXZS88661A TXZS88661A
| URI | m2://inv/TXZS88661A |
|---|---|
| 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#CZQ1 (statement). In 8YWBGQQGA3/e1, proposition 13
History
- 2026-10-27: add by m2/v0.3.5
TXZXRNRJAN TXZXRNRJAN
| URI | m2://inv/TXZXRNRJAN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.11143#SH0P (definition). In VTVC0TCWSB/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5