Inventory rows TJ
The cards of the rows of the inventory whose ids start with TJ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
James W. Stigler TJ03XGKK0H
| URI | m2://inv/TJ03XGKK0H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UXO2, James W. Stigler (unknown)
History
- 2026-11-02: add by m2/dev
TJ0406EF3Y TJ0406EF3Y
| URI | m2://inv/TJ0406EF3Y |
|---|---|
| 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 2502.08738#W5M2 (statement). In 9GMTVSTAVN/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
TJ04KV3EGY TJ04KV3EGY
| URI | m2://inv/TJ04KV3EGY |
|---|---|
| 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.29298#EAGO (statement)
History
- 2026-11-01: add by m2/v0.6.15
TJ04N32S18 TJ04N32S18
| URI | m2://inv/TJ04N32S18 |
|---|---|
| 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 2409.20170#7F6Y (statement). In QXJP79APHN/e1, theorem 5.5
History
- 2026-10-27: add by m2/v0.3.5
TJ05FF9FNV TJ05FF9FNV
| URI | m2://inv/TJ05FF9FNV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.07573#AJB6 (statement). In 78X5SKJX8J/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Selberg's zeta function conjecture TJ07SRTW4E
| URI | m2://inv/TJ07SRTW4E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann hypothesis#ZV4Y, Selberg's zeta function conjecture (statement)
History
- 2026-11-02: add by m2/dev
Pierre Pinson TJ0A2FA1H4
| URI | m2://inv/TJ0A2FA1H4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierre Pinson, Pierre Pinson (topic). Also Wikidata Q57416642
History
- 2026-11-02: add by m2/dev
!!^{value} of closed terms TJ0BBFBT7B
| URI | m2://inv/TJ0BBFBT7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/covered-structures.tex#defn-1, !!^{value} of closed terms (definition). In PKGMM3P5QY, defn, section 19.5
History
- 2026-11-01: add by m2/v0.6.13
TJ0BDQ9QR3 TJ0BDQ9QR3
| URI | m2://inv/TJ0BDQ9QR3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03144#ENBI (statement). In 9QW88325GS/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
Günter Harder TJ0MHE3EF2
| URI | m2://inv/TJ0MHE3EF2 |
|---|---|
| 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#3V3L, Günter Harder (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Y5VJ, Günter Harder (topic)
History
- 2026-11-02: add by m2/dev
S-Free Set TJ0PVXQWQN
| URI | m2://inv/TJ0PVXQWQN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33946#FXVF, S-Free Set (definition). In T61D8EZH24/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
TJ0R75R7YS TJ0R75R7YS
| URI | m2://inv/TJ0R75R7YS |
|---|---|
| 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#V7XE (statement). In CC6S1HVK0T/e1, lemma 8.1
History
- 2026-10-28: add by m2/v0.4.2
linear span TJ0X2DJ1E9
| URI | m2://inv/TJ0X2DJ1E9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Linear span 0DTY8B9HMS |
Mentions
- wikidata: Wikidata Q209812, linear span (unknown). Also MathWorld VectorSpaceSpan
- wikipedia: Wikipedia Linear span, Linear span (definition). Also Wikidata Q209812
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
TJ0Y2H2DZP TJ0Y2H2DZP
| URI | m2://inv/TJ0Y2H2DZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40028#M3UZ (statement). In N8TDKGGC7S/e1, theorem 4.3
History
- 2026-10-30: add by m2/v0.4.12
Otter theorem prover TJ16PXCQA4
| URI | m2://inv/TJ16PXCQA4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#RIZE, Otter theorem prover (unknown)
History
- 2026-11-02: add by m2/dev
Beaumanor Hall TJ17FNV8ZZ
| URI | m2://inv/TJ17FNV8ZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beaumanor Hall, Beaumanor Hall (definition). Also Wikidata Q4877524
History
- 2026-11-02: add by m2/dev
Ottolini and Steinerberger TJ1CFG2CFF
| URI | m2://inv/TJ1CFG2CFF |
|---|---|
| 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.17479#M439, Ottolini and Steinerberger (statement). In 4FWAY748N7/e1, theorem 1.9
History
- 2026-10-28: add by m2/v0.4.2
Peter Smith TJ1ECHWHET
| URI | m2://inv/TJ1ECHWHET |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Smith (computer scientist), Peter Smith (topic). Also Wikidata Q101541763
History
- 2026-11-02: add by m2/dev
Notation TJ1HQRTZBN
| URI | m2://inv/TJ1HQRTZBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second derivative#TG12, Notation (definition)
History
- 2026-11-02: add by m2/dev
TJ1Z79FTQT TJ1Z79FTQT
| URI | m2://inv/TJ1Z79FTQT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.18094#MC31 (statement). In AYANBEWSFH/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
TJ23FTC5E1 TJ23FTC5E1
| URI | m2://inv/TJ23FTC5E1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#defn-1 (definition). In N54F33XE07, defn, section 5.10
History
- 2026-11-01: add by m2/v0.6.13
TJ24P3G5HR TJ24P3G5HR
| URI | m2://inv/TJ24P3G5HR |
|---|---|
| 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.12054#0AWP (statement). In 1A01NFHBGA/e1, corollary 4
History
- 2026-10-28: add by m2/v0.4.3
Popoviciu's inequality on variances TJ2DB3Z59S
| URI | m2://inv/TJ2DB3Z59S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Popoviciu's inequality on variances, Popoviciu's inequality on variances (statement). Also Wikidata Q7229466
History
- 2026-11-02: add by m2/dev
Examples TJ2F50Y689
| URI | m2://inv/TJ2F50Y689 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene star#HZT6, Examples (example)
History
- 2026-11-02: add by m2/dev
TJ2TEECBEJ TJ2TEECBEJ
| URI | m2://inv/TJ2TEECBEJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#YD2T (example). In 13GSWBXPCM/e1, example 2.7
History
- 2026-10-27: add by m2/v0.3.5
Friedrich Julius Richelot TJ302N3ZGM
| URI | m2://inv/TJ302N3ZGM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedrich Julius Richelot, Friedrich Julius Richelot (topic). Also Wikidata Q67255
History
- 2026-11-02: add by m2/dev
Error Bound on the Discrete Weighting Function with Partial Area Weights TJ306ZKWY8
| URI | m2://inv/TJ306ZKWY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13355#PXD6, Error Bound on the Discrete Weighting Function with Partial Area Weights (statement). In QJ1G1HBC6C/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.2
Universal geometric algebra TJ30VWQB22
| URI | m2://inv/TJ30VWQB22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal geometric algebra, Universal geometric algebra (definition). Also Wikidata Q17152794
History
- 2026-11-02: add by m2/dev
Recursion from set theory axioms TJ33PQMHKB
| URI | m2://inv/TJ33PQMHKB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructive set theory#E8DT, Recursion from set theory axioms (statement)
History
- 2026-11-02: add by m2/dev
Parallel thinking TJ3575S4AG
| URI | m2://inv/TJ3575S4AG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward de Bono#FVXO, Parallel thinking (unknown)
History
- 2026-11-02: add by m2/dev
coherent sheaf TJ377EV948
| URI | m2://inv/TJ377EV948 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#BS2M, coherent sheaf (definition)
History
- 2026-11-02: add by m2/dev
Amitsur–Levitzki theorem TJ38SK4DP3
| URI | m2://inv/TJ38SK4DP3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QS91, Amitsur–Levitzki theorem (statement)
History
- 2026-11-02: add by m2/dev
TJ3F2XCHW1 TJ3F2XCHW1
| URI | m2://inv/TJ3F2XCHW1 |
|---|---|
| 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.09154#9FDE (statement). In JYVGX17N4F/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Jiří Matoušek TJ3S1HZ032
| URI | m2://inv/TJ3S1HZ032 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jiří Matoušek (mathematician), Jiří Matoušek (topic). Also Wikidata Q472657
History
- 2026-11-02: add by m2/dev
Burt Totaro TJ3XDQESDP
| URI | m2://inv/TJ3XDQESDP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#PHHM, Burt Totaro (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#18DH, Burt Totaro (topic)
History
- 2026-11-02: add by m2/dev
Esfandiar Maasoumi TJ42ADS4HM
| URI | m2://inv/TJ42ADS4HM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#HF11, Esfandiar Maasoumi (unknown)
History
- 2026-11-02: add by m2/dev
TJ44PTXMXW TJ44PTXMXW
| URI | m2://inv/TJ44PTXMXW |
|---|---|
| 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 2204.13401#HEK1 (statement). In B8MJT0GGW8/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.4.0
TJ4RV8X3KN TJ4RV8X3KN
| URI | m2://inv/TJ4RV8X3KN |
|---|---|
| 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 2402.17852#VR4F (statement). In 1WCXV5PVZA/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.0
Constraint logic TJ4S5JQZ70
| URI | m2://inv/TJ4S5JQZ70 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#YGXL, Constraint logic (unknown)
History
- 2026-11-02: add by m2/dev
weightless TJ4TVBNZYE
| URI | m2://inv/TJ4TVBNZYE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#567G, weightless (unknown)
History
- 2026-11-02: add by m2/dev
Definition TJ4ZT3M0P4
| URI | m2://inv/TJ4ZT3M0P4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nut graph (graph theory)#30SX, Definition (definition)
History
- 2026-11-02: add by m2/dev
More exact sequences TJ50AKY5SK
| URI | m2://inv/TJ50AKY5SK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/abelian.tex#example-4, More exact sequences (example). In RZP28ERRZV, example, section 35.3
History
- 2026-11-01: add by m2/v0.6.13
Steinitz's theorem TJ54FSE8RZ
| URI | m2://inv/TJ54FSE8RZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann series theorem#F64T, Steinitz's theorem (statement)
History
- 2026-11-02: add by m2/dev
TJ5839Z3ZQ TJ5839Z3ZQ
| URI | m2://inv/TJ5839Z3ZQ |
|---|---|
| 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.02061#HF18 (definition). In F5STMSPR6X/e1, definition 3.13
History
- 2026-10-29: add by m2/v0.4.12
Dositheus TJ59Q5TGQY
| URI | m2://inv/TJ59Q5TGQY |
|---|---|
| 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 Q3714438, Dositheus (unknown). Also ProofWiki Mathematician:Dositheus_of_Pelusium
History
- 2026-10-26: add by m2/dev
K-set TJ5CBZKTAS
| URI | m2://inv/TJ5CBZKTAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-set (geometry), K-set (definition). Also Wikidata Q6322868
History
- 2026-11-02: add by m2/dev
TJ5E8WRFS2 TJ5E8WRFS2
| URI | m2://inv/TJ5E8WRFS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 53-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv hep-th/9409063#3MBA (statement). In 145ETYF9CG/e1, corollary 6
History
- 2026-10-27: add by m2/v0.3.5
Statement TJ5GR4CRHQ
| URI | m2://inv/TJ5GR4CRHQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deligne's conjecture on Hochschild cohomology#K2HQ, Statement (statement)
History
- 2026-11-02: add by m2/dev
Lie group decomposition TJ5HTZWRFV
| URI | m2://inv/TJ5HTZWRFV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie group decomposition, Lie group decomposition (definition). Also Wikidata Q11348833
History
- 2026-11-02: add by m2/dev
TJ5P4F6G30 TJ5P4F6G30
| URI | m2://inv/TJ5P4F6G30 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-3-6-2.xml#act-3-6-2 (exercise). In 907G4C4EJ1, activity, section 3.6.2
History
- 2026-11-01: add by m2/v0.6.13
TJ5PE365VJ TJ5PE365VJ
| URI | m2://inv/TJ5PE365VJ |
|---|---|
| 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 2301.07434#ZV1Y (statement). In 7XZHQ2H5ZD/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
TJ5RMXSSAH TJ5RMXSSAH
| URI | m2://inv/TJ5RMXSSAH |
|---|---|
| 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 2112.05010#N6UY (statement). In 4SZNPS3Z00/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.6
Maximal and minimal elements TJ67AQG0A6
| URI | m2://inv/TJ67AQG0A6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximal and minimal elements, Maximal and minimal elements (definition). Also Wikidata Q1475294
History
- 2026-11-02: add by m2/dev
TJ69C5GRWN TJ69C5GRWN
| URI | m2://inv/TJ69C5GRWN |
|---|---|
| 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.21403#ZN6C (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications TJ6EFX0AFW
| URI | m2://inv/TJ6EFX0AFW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product rule#IS63, Applications (example)
History
- 2026-11-02: add by m2/dev
fiber product TJ6KRT7TJ2
| URI | m2://inv/TJ6KRT7TJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#1RTK, fiber product (definition)
History
- 2026-11-02: add by m2/dev
Schur unit-disk stability test for a quadratic TJ6PY2A3VA
| URI | m2://inv/TJ6PY2A3VA |
|---|---|
| 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.30957#XB1I, Schur unit-disk stability test for a quadratic (statement). In P5YB6R0RK3/e1, lemma D.1
History
- 2026-10-31: add by m2/v0.5.6
TJ6VP35BYG TJ6VP35BYG
| URI | m2://inv/TJ6VP35BYG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#BAFK (definition)
History
- 2026-11-01: add by m2/v0.6.15
TJ701Q6M82 TJ701Q6M82
| URI | m2://inv/TJ701Q6M82 |
|---|---|
| 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.12013#E7VI (statement). In 3V26T0265C/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.3
Dmitri Burago TJ70KQJT70
| URI | m2://inv/TJ70KQJT70 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dmitri Burago, Dmitri Burago (topic). Also Wikidata Q15401870
History
- 2026-11-02: add by m2/dev
Exact finite evaluation TJ78TAFJTZ
| URI | m2://inv/TJ78TAFJTZ |
|---|---|
| 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.32078#P0K6, Exact finite evaluation (statement). In 5PN85N6EJF/e1, lemma F.6
History
- 2026-10-31: add by m2/v0.5.6
TJ79FXGB7D TJ79FXGB7D
| URI | m2://inv/TJ79FXGB7D |
|---|---|
| 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.07122#BTR2 (statement). In W0ZHX9DHPV/e1, proposition 7
History
- 2026-10-29: add by m2/v0.4.10
TJ7CD8JR1Y TJ7CD8JR1Y
| URI | m2://inv/TJ7CD8JR1Y |
|---|---|
| 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.16877#TK76 (statement). In YY4KFNMPC0/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
TJ7CV3A2BS TJ7CV3A2BS
| URI | m2://inv/TJ7CV3A2BS |
|---|---|
| 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#6OWM (statement)
History
- 2026-11-01: add by m2/v0.6.15
TJ7CZY4Z3N TJ7CZY4Z3N
| URI | m2://inv/TJ7CZY4Z3N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24206#S0HB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Paradox of the grain of millet TJ7H3B7AR0
| URI | m2://inv/TJ7H3B7AR0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zeno's paradoxes#58NF, Paradox of the grain of millet (statement)
History
- 2026-11-02: add by m2/dev
New learning theory bound TJ7RKKR8AC
| URI | m2://inv/TJ7RKKR8AC |
|---|---|
| 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 2102.11076#AHL2, New learning theory bound (statement). In T9HZXHTQBJ/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.6
Zu Gengzhi TJ7VWR5SRB
| URI | m2://inv/TJ7VWR5SRB |
|---|---|
| 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 Q1292375, Zu Gengzhi (unknown). Also ProofWiki Mathematician:Zu_Geng
- wikipedia: Wikipedia Zu Gengzhi, Zu Gengzhi (topic). Also Wikidata Q1292375
History
- 2026-10-26: add by m2/dev
Endogenous price of robustness TJ7WMDMD8K
| URI | m2://inv/TJ7WMDMD8K |
|---|---|
| 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.11917#CH1D, Endogenous price of robustness (statement). In 7BB6PY94G9/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.3
TJ7ZSWEQ42 TJ7ZSWEQ42
| URI | m2://inv/TJ7ZSWEQ42 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20018#UUXE (statement)
History
- 2026-11-02: add by m2/v0.6.18
TJ844P0NTX TJ844P0NTX
| URI | m2://inv/TJ844P0NTX |
|---|---|
| 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 2610.03488#VGBO (definition). In 9GXR1WEYWT/e1, definition 3.4
History
- 2026-10-29: add by m2/v0.4.12
Alfred T. Brauer TJ85YW4C87
| URI | m2://inv/TJ85YW4C87 |
|---|---|
| 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#P1V8, Alfred T. Brauer (topic)
History
- 2026-11-02: add by m2/dev
Properties of the Wigner distribution function TJ886WSGKF
| URI | m2://inv/TJ886WSGKF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wigner distribution function#GYB8, Properties of the Wigner distribution function (statement)
History
- 2026-11-02: add by m2/dev
K-theory TJ88BB7PT7
| URI | m2://inv/TJ88BB7PT7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 19-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15615154, K-theory (topic). Also MathWorld K-Theory, nLab K-theory, ProofWiki Definition:K-Theory
- wikipedia: Wikipedia K-theory, K-theory (topic). Also Wikidata Q15615154
History
- 2026-10-26: add by m2/dev
Mixture TJ890BGSZW
| URI | m2://inv/TJ890BGSZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixture (probability), Mixture (definition). Also Wikidata Q16948693
History
- 2026-11-02: add by m2/dev
Kuṭṭākāra Śirōmaṇi TJ8BEW7JAJ
| URI | m2://inv/TJ8BEW7JAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuṭṭākāra Śirōmaṇi, Kuṭṭākāra Śirōmaṇi (definition). Also Wikidata Q24947343
History
- 2026-11-02: add by m2/dev
TJ8FGDCV4H TJ8FGDCV4H
| URI | m2://inv/TJ8FGDCV4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-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.24901#I3WI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gustav von Escherich TJ8RM0GHJH
| URI | m2://inv/TJ8RM0GHJH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gustav von Escherich, Gustav von Escherich (topic). Also Wikidata Q84774
History
- 2026-11-02: add by m2/dev
connected component TJ8VFMWKAW
| URI | m2://inv/TJ8VFMWKAW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Connected component 01VVP10MWJ |
Mentions
- wikidata: Wikidata Q91050456, connected component (unknown). Also MathWorld ConnectedComponent
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Applications TJ92E07FRV
| URI | m2://inv/TJ92E07FRV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angle bisector theorem#6SQJ, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties TJ9344M039
| URI | m2://inv/TJ9344M039 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of trichotomy#VB0L, Properties (statement)
History
- 2026-11-02: add by m2/dev
TJ9GNRQMDQ TJ9GNRQMDQ
| URI | m2://inv/TJ9GNRQMDQ |
|---|---|
| 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.01247#2UKG (statement). In 6EVNCRZ118/e1, lemma 30
History
- 2026-10-29: add by m2/v0.4.12
Special case TJ9KQGYQQJ
| URI | m2://inv/TJ9KQGYQQJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inclusion–exclusion principle#DCV5, Special case (statement)
History
- 2026-11-02: add by m2/dev
TJ9NBAGR2N TJ9NBAGR2N
| URI | m2://inv/TJ9NBAGR2N |
|---|---|
| Kind | problem |
| 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.11974#M7F0 (problem). In AW6S4XZ9ZZ/e1, problem 2
History
- 2026-10-28: add by m2/v0.4.3
Guarded coordinates of arbitrary terms TJ9PZGKQ6R
| URI | m2://inv/TJ9PZGKQ6R |
|---|---|
| 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.27641#39M9, Guarded coordinates of arbitrary terms (statement)
History
- 2026-11-01: add by m2/v0.6.15
3SUM TJ9QTRCKND
| URI | m2://inv/TJ9QTRCKND |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3SUM, 3SUM (conjecture). Also Wikidata Q4636407
History
- 2026-11-02: add by m2/dev
Terminology TJ9R2Y4V7W
| URI | m2://inv/TJ9R2Y4V7W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia (B, N) pair#KFL9, Terminology (definition)
History
- 2026-11-02: add by m2/dev
TJ9RADB8BT TJ9RADB8BT
| URI | m2://inv/TJ9RADB8BT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-40 (exercise). In E59CDZA4DP, exercise, section 8.4.3
History
- 2026-11-01: add by m2/v0.6.13
TJ9WQDPBGP TJ9WQDPBGP
| URI | m2://inv/TJ9WQDPBGP |
|---|---|
| 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.02963#3S0O (statement). In FN8MJK3C6K/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.12
Refinement monoid TJA0EY4E77
| URI | m2://inv/TJA0EY4E77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Refinement monoid, Refinement monoid (definition). Also Wikidata Q7307206
History
- 2026-11-02: add by m2/dev
Elliott Lieb TJA7SW7CZP
| URI | m2://inv/TJA7SW7CZP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#16BM, Elliott Lieb (unknown)
History
- 2026-11-02: add by m2/dev
Silverman–Toeplitz theorem TJA8P7KP60
| URI | m2://inv/TJA8P7KP60 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#0U3J, Silverman–Toeplitz theorem (statement)
History
- 2026-11-02: add by m2/dev
The ladder TJAJTGRBFM
| URI | m2://inv/TJAJTGRBFM |
|---|---|
| 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.03272#TZ57, The ladder (statement). In H9ZC46G7BX/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.12
Completely continuous TJAK8ATTYC
| URI | m2://inv/TJAK8ATTYC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact operator#1VDX, Completely continuous (unknown)
History
- 2026-11-02: add by m2/dev
Printer steganography TJANBF6RDD
| URI | m2://inv/TJANBF6RDD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of steganography techniques#SLS4, Printer steganography (unknown)
History
- 2026-11-02: add by m2/dev
Formal statement TJB2N4WYEZ
| URI | m2://inv/TJB2N4WYEZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternating series test#JT9U, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Sketch TJB2RE0YY7
| URI | m2://inv/TJB2RE0YY7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#59H3, Sketch (definition). In 9DQKY7KGE8/e1, definition B.18
History
- 2026-10-31: add by m2/v0.5.6
TJB41B5VHA TJB41B5VHA
| URI | m2://inv/TJB41B5VHA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#example-1 (example). In E59CDZA4DP, example, section 8.1.2
History
- 2026-11-01: add by m2/v0.6.13
TJBAN1R6GN TJBAN1R6GN
| URI | m2://inv/TJBAN1R6GN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.20131#DL2T (statement). In 29D4TTE3J2/e1, theorem 2.16
History
- 2026-10-27: add by m2/v0.4.2
Demitesseractic symmetry TJBCCG5VG9
| URI | m2://inv/TJBCCG5VG9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point groups in four dimensions#PL17, Demitesseractic symmetry (unknown)
History
- 2026-11-02: add by m2/dev
TJBEHNGS3X TJBEHNGS3X
| URI | m2://inv/TJBEHNGS3X |
|---|---|
| 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.36412#18ZV (statement). In 6HKGGCMBCK/e1, lemma 4.10
History
- 2026-10-30: add by m2/v0.4.12
TJBH6XXXVT TJBH6XXXVT
| URI | m2://inv/TJBH6XXXVT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03628#BJB2 (example). In P8KT6JV9N1/e1, example 4.7
History
- 2026-10-29: add by m2/v0.4.12
TJBWG3797Y TJBWG3797Y
| URI | m2://inv/TJBWG3797Y |
|---|---|
| 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.21622#5NS9 (statement). In H21X3FHNYJ/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.4.2
computation TJBYG17QMN
| URI | m2://inv/TJBYG17QMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12525525, computation (unknown). Also MathWorld Computation
- wikipedia: Wikipedia Computation, Computation (definition). Also Wikidata Q12525525
History
- 2026-10-26: add by m2/dev
TJC4BHQPCS TJC4BHQPCS
| URI | m2://inv/TJC4BHQPCS |
|---|---|
| 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.27715#JZ9H (statement)
History
- 2026-11-01: add by m2/v0.6.15
bb TJC7S6CFPD
| URI | m2://inv/TJC7S6CFPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#T7I6, bb (definition)
History
- 2026-11-02: add by m2/dev
TJCD7NB8YP TJCD7NB8YP
| URI | m2://inv/TJCD7NB8YP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#definition-2 (definition). In RZP28ERRZV, definition, section 89.1
History
- 2026-11-01: add by m2/v0.6.13
TJCJ37TTAZ TJCJ37TTAZ
| URI | m2://inv/TJCJ37TTAZ |
|---|---|
| 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#1G8D (statement). In VN084GGZGK/e1, proposition 3.17
History
- 2026-10-28: add by m2/v0.4.3
Minimum bounding box TJCK22HW9Q
| URI | m2://inv/TJCK22HW9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum bounding box, Minimum bounding box (definition). Also Wikidata Q6865426
History
- 2026-11-02: add by m2/dev
partisan game TJCSSNMHRN
| URI | m2://inv/TJCSSNMHRN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3177942, partisan game (unknown). Also MathWorld PartisanGame
History
- 2026-10-26: add by m2/dev
William R. Peers TJCT57SNWN
| URI | m2://inv/TJCT57SNWN |
|---|---|
| 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#PKJX, William R. Peers (unknown)
History
- 2026-11-02: add by m2/dev
TJCVYCAEEZ TJCVYCAEEZ
| URI | m2://inv/TJCVYCAEEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#defn-2 (definition). In E59CDZA4DP, defn, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
TJCZE8DA8A TJCZE8DA8A
| URI | m2://inv/TJCZE8DA8A |
|---|---|
| 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.03011#SYPD (statement). In VE8FB6K8EN/e1, lemma 14
History
- 2026-10-29: add by m2/v0.4.12
TJD2MS64DH TJD2MS64DH
| URI | m2://inv/TJD2MS64DH |
|---|---|
| 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.20119#V91X (statement)
History
- 2026-11-02: add by m2/v0.6.18
Certificates, first arc TJD4JPSK3M
| URI | m2://inv/TJD4JPSK3M |
|---|---|
| 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.25120#LMWR, Certificates, first arc (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pythagorean theorem and dissections TJDAV8Z4P6
| URI | m2://inv/TJDAV8Z4P6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean tiling#BN4I, Pythagorean theorem and dissections (statement)
History
- 2026-11-02: add by m2/dev
TJDDCZ22WW TJDDCZ22WW
| URI | m2://inv/TJDDCZ22WW |
|---|---|
| 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 2212.00617#UPUA (statement). In K7505G10SS/e1, proposition 4.11
History
- 2026-10-27: add by m2/v0.3.5
TJE8YG151Z TJE8YG151Z
| URI | m2://inv/TJE8YG151Z |
|---|---|
| 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.20899#UGKR (statement). In BSMDFADA39/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.4.2
Yukio Matsumoto TJECTEQ4KM
| URI | m2://inv/TJECTEQ4KM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yukio Matsumoto, Yukio Matsumoto (topic). Also Wikidata Q20743010
History
- 2026-11-02: add by m2/dev
permutation graph TJEFXBC056
| URI | m2://inv/TJEFXBC056 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7169369, permutation graph (unknown). Also MathWorld PermutationGraph
- wikipedia: Wikipedia Permutation graph, Permutation graph (definition). Also Wikidata Q7169369
History
- 2026-10-26: add by m2/dev
TJEJDGBTVT TJEJDGBTVT
| URI | m2://inv/TJEJDGBTVT |
|---|---|
| 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#T0C2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Canonical reduction and decentralized realization TJEJZRQP39
| URI | m2://inv/TJEJZRQP39 |
|---|---|
| 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#GQV8, Canonical reduction and decentralized realization (statement). In GG96DW33Q9/e1, theorem 2.1
History
- 2026-10-31: add by m2/v0.5.6
TJEWNW2CRS TJEWNW2CRS
| URI | m2://inv/TJEWNW2CRS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02017#LGV2 (statement). In F6C80AEXC1/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
TJEXNN796X TJEXNN796X
| URI | m2://inv/TJEXNN796X |
|---|---|
| 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.20316#9DRK (statement). In YRJS76169Z/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.4.2
Definition TJF5SHQ22X
| URI | m2://inv/TJF5SHQ22X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cofibration#LJNI, Definition (definition)
History
- 2026-11-02: add by m2/dev
TJFETKRKD7 TJFETKRKD7
| URI | m2://inv/TJFETKRKD7 |
|---|---|
| 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.13505#KPA8 (statement). In 6Z1DDCYCQ8/e1, theorem 15
History
- 2026-10-28: add by m2/v0.4.2
circumcenter TJFEVRCV6Z
| URI | m2://inv/TJFEVRCV6Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3797607, circumcenter (definition). Also MathWorld Circumcenter, ProofWiki Definition:Circumcircle_of_Triangle/Circumcenter
History
- 2026-10-26: add by m2/dev
TJFG3HN78J TJFG3HN78J
| URI | m2://inv/TJFG3HN78J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-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.33957#6RC5 (statement). In KG6V5AN3PK/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Original lower-bounding formulation TJFM3TGBPE
| URI | m2://inv/TJFM3TGBPE |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20539#H9AQ, Original lower-bounding formulation (unknown). In 94KNW375B9/e1, unknown 1
History
- 2026-10-27: add by m2/v0.4.2
TJFNKAPW60 TJFNKAPW60
| URI | m2://inv/TJFNKAPW60 |
|---|---|
| Kind | example |
| 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#8YT7 (example). In HX63A1PH1W/e1, example 7.34
History
- 2026-10-28: add by m2/v0.4.3
Example TJFQRMQG6M
| URI | m2://inv/TJFQRMQG6M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank factorization#GGTV, Example (example)
History
- 2026-11-02: add by m2/dev
TJFSCVEE05 TJFSCVEE05
| URI | m2://inv/TJFSCVEE05 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.09544#507S (statement). In DYBM6Q2K6R/e1, proposition B.4
History
- 2026-10-29: add by m2/v0.4.10
Definition in terms of open sets TJFSYG6D9A
| URI | m2://inv/TJFSYG6D9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Initial topology#HF68, Definition in terms of open sets (definition)
History
- 2026-11-02: add by m2/dev
TJFYAC8KT5 TJFYAC8KT5
| URI | m2://inv/TJFYAC8KT5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/manifolds.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 44.6
History
- 2026-11-01: add by m2/v0.6.13
Max Brückner TJFYCJF655
| URI | m2://inv/TJFYCJF655 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Max Brückner, Max Brückner (topic). Also Wikidata Q23583137
History
- 2026-11-02: add by m2/dev
Corollary TJG7Z28JQZ
| URI | m2://inv/TJG7Z28JQZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koszul complex#V900, Corollary (statement)
History
- 2026-11-02: add by m2/dev
TJG8XDWX2E TJG8XDWX2E
| URI | m2://inv/TJG8XDWX2E |
|---|---|
| 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.39430#4V20 (statement). In 6FH24CYAMW/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
TJG9792YWX TJG9792YWX
| URI | m2://inv/TJG9792YWX |
|---|---|
| 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.10221#6PS4 (statement). In 9Z5M655EPV/e1, theorem 5.10
History
- 2026-10-29: add by m2/v0.4.10
TJGB38BJR6 TJGB38BJR6
| URI | m2://inv/TJGB38BJR6 |
|---|---|
| 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.28195#1OJE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Solving quadratic equations with continued fractions TJGXTG5ZRW
| URI | m2://inv/TJGXTG5ZRW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solving quadratic equations with continued fractions, Solving quadratic equations with continued fractions (definition). Also Wikidata Q1212495
History
- 2026-11-02: add by m2/dev
TJH5Y78TMT TJH5Y78TMT
| URI | m2://inv/TJH5Y78TMT |
|---|---|
| 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 2609.25957#0JOL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Richardson–Lucy deconvolution TJH8EQ81FC
| URI | m2://inv/TJH8EQ81FC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#Q1NP, Richardson–Lucy deconvolution (definition)
History
- 2026-11-02: add by m2/dev
TJHJ7A8K8S TJHJ7A8K8S
| URI | m2://inv/TJHJ7A8K8S |
|---|---|
| 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 2609.24795#N9GY (definition)
History
- 2026-11-01: add by m2/v0.6.15
elliptic curve TJHSB9GRSJ
| URI | m2://inv/TJHSB9GRSJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#WITX, elliptic curve (definition)
History
- 2026-11-02: add by m2/dev
TJHWXVB0ZF TJHWXVB0ZF
| URI | m2://inv/TJHWXVB0ZF |
|---|---|
| Kind | definition |
| 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.25111#7618 (definition)
History
- 2026-11-01: add by m2/v0.6.15
J. Hyam Rubinstein TJJ0RZ6TKQ
| URI | m2://inv/TJJ0RZ6TKQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J. Hyam Rubinstein, J. Hyam Rubinstein (topic). Also Wikidata Q1669391
History
- 2026-11-02: add by m2/dev
Refined localized gain decomposition TJJ2KDM8FF
| URI | m2://inv/TJJ2KDM8FF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23927#MFEO, Refined localized gain decomposition (statement)
History
- 2026-11-02: add by m2/v0.6.17
TJJ2MHY6ES TJJ2MHY6ES
| URI | m2://inv/TJJ2MHY6ES |
|---|---|
| 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 2601.22681#LAVD (statement). In 68VEQQX68G/e1, theorem 3.15
History
- 2026-10-27: add by m2/v0.4.0
separable TJJ6W9BYQ9
| URI | m2://inv/TJJ6W9BYQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#C909, separable (definition)
History
- 2026-11-02: add by m2/dev
Glossary of classical algebraic geometry TJJ7137FN0
| URI | m2://inv/TJJ7137FN0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry, Glossary of classical algebraic geometry (topic). Also Wikidata Q5571771
History
- 2026-11-02: add by m2/dev
Additivity of Variance TJJ7KEQJKG
| URI | m2://inv/TJJ7KEQJKG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-1.xml#prop-variance-additivity, Additivity of Variance (statement). In 649HGZKE96, proposition, section 7.1.3
History
- 2026-11-01: add by m2/v0.6.13
Neunkirchen, Austria TJJCJ2KXD3
| URI | m2://inv/TJJCJ2KXD3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#0EB7, Neunkirchen, Austria (unknown)
History
- 2026-11-02: add by m2/dev
TJJHY23M42 TJJHY23M42
| URI | m2://inv/TJJHY23M42 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05820#RN0E (statement). In S8EGCJQ0JV/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
Murakami TJJMDW0Q3D
| URI | m2://inv/TJJMDW0Q3D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26340#CU58, Murakami (statement)
History
- 2026-11-01: add by m2/v0.6.15
TJJMDWCDJ0 TJJMDWCDJ0
| URI | m2://inv/TJJMDWCDJ0 |
|---|---|
| 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#FTMR (statement). In VM9V8SXEA2/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
TJJV4VJQFW TJJV4VJQFW
| URI | m2://inv/TJJV4VJQFW |
|---|---|
| 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.23629#P81W (statement)
History
- 2026-11-02: add by m2/v0.6.17
David M. Jackson TJKEK3JCED
| URI | m2://inv/TJKEK3JCED |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#P61P, David M. Jackson (unknown)
History
- 2026-11-02: add by m2/dev
TJKNXXK0AA TJKNXXK0AA
| URI | m2://inv/TJKNXXK0AA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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.37520#IKWG (statement). In BDN507RN7J/e1, proposition 4.4.5
History
- 2026-10-30: add by m2/v0.4.12
Orchard-planting problem TJKRDSKN7X
| URI | m2://inv/TJKRDSKN7X |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7100169, Orchard-planting problem (problem). Also MathWorld Orchard-PlantingProblem
- wikipedia: Wikipedia Orchard-planting problem, Orchard-planting problem (problem). Also Wikidata Q7100169
History
- 2026-10-26: add by m2/dev
Injective dimension TJM6P2TQFH
| URI | m2://inv/TJM6P2TQFH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injective module#URY1, Injective dimension (unknown)
History
- 2026-11-02: add by m2/dev
TJMASW1C25 TJMASW1C25
| URI | m2://inv/TJMASW1C25 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28357#JVPI (definition)
History
- 2026-11-01: add by m2/v0.6.15
allotrious TJMBB1NCKG
| URI | m2://inv/TJMBB1NCKG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#ERAV, allotrious (definition)
History
- 2026-11-02: add by m2/dev
TJMCF9Q2GB TJMCF9Q2GB
| URI | m2://inv/TJMCF9Q2GB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13241#E88K (statement). In DWQWQ5KTEE/e1, lemma 16
History
- 2026-10-28: add by m2/v0.4.2
Quadratic estimates for the two components TJMCX4ZE6C
| URI | m2://inv/TJMCX4ZE6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12238#5YGO, Quadratic estimates for the two components (statement). In E31CZYM2H8/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
Business Statistics TJMM4AHSAT
| URI | m2://inv/TJMM4AHSAT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistics#11PM, Business Statistics (unknown)
History
- 2026-11-02: add by m2/dev
Operating principle TJMP03ZYC2
| URI | m2://inv/TJMP03ZYC2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorenz cipher#FMT5, Operating principle (statement)
History
- 2026-11-02: add by m2/dev
MD4 TJMVN4RHKX
| URI | m2://inv/TJMVN4RHKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#V6FV, MD4 (definition)
History
- 2026-11-02: add by m2/dev
Walter H. Rubsamen TJMY9DK6QQ
| URI | m2://inv/TJMY9DK6QQ |
|---|---|
| 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#XKCX, Walter H. Rubsamen (unknown)
History
- 2026-11-02: add by m2/dev
TJMZ8PK39F TJMZ8PK39F
| URI | m2://inv/TJMZ8PK39F |
|---|---|
| Kind | conjecture |
| 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.26324#MH8J (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Alistair Cochran TJN7YC3EWH
| URI | m2://inv/TJN7YC3EWH |
|---|---|
| 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#7WBA, Alistair Cochran (unknown)
History
- 2026-11-02: add by m2/dev
TJNAHB6W9W TJNAHB6W9W
| URI | m2://inv/TJNAHB6W9W |
|---|---|
| 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#T43Y (statement)
History
- 2026-11-02: add by m2/v0.6.18
Noncommutative logic TJNBAAVPC0
| URI | m2://inv/TJNBAAVPC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncommutative logic, Noncommutative logic (definition). Also Wikidata Q7049221
History
- 2026-11-02: add by m2/dev
Lemon juice as invisible ink TJNQR5FY6S
| URI | m2://inv/TJNQR5FY6S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invisible ink#5SGL, Lemon juice as invisible ink (unknown)
History
- 2026-11-02: add by m2/dev
The quadratic model TJNWJW2YVR
| URI | m2://inv/TJNWJW2YVR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31212#W2WQ, The quadratic model (example). In FHE30V0M03/e1, example 5.3
History
- 2026-10-31: add by m2/v0.5.6
TJNWRH7G66 TJNWRH7G66
| URI | m2://inv/TJNWRH7G66 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#U8DR (statement). In X3RFXWN6FW/e1, lemma 5.14
History
- 2026-10-27: add by m2/v0.3.6
TJNX92ZZF1 TJNX92ZZF1
| URI | m2://inv/TJNX92ZZF1 |
|---|---|
| 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 2204.01073#83F4 (statement). In W4TYN4PGE8/e1, lemma 6.22
History
- 2026-10-27: add by m2/v0.3.5
Hunt process TJP02KVBBX
| URI | m2://inv/TJP02KVBBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hunt process, Hunt process (definition). Also Wikidata Q5944024
History
- 2026-11-02: add by m2/dev
closed form TJP3AG51PD
| URI | m2://inv/TJP3AG51PD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/4.4/closed-form, closed form (concept). In VNMV985MXX, index, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Bilateral hypergeometric series TJPCXA5932
| URI | m2://inv/TJPCXA5932 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bilateral hypergeometric series, Bilateral hypergeometric series (definition). Also Wikidata Q4907583
History
- 2026-11-02: add by m2/dev
TJPCYPGQ3F TJPCYPGQ3F
| URI | m2://inv/TJPCYPGQ3F |
|---|---|
| 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#87KW (statement). In 73QW05MWQB/e1, lemma 5.10
History
- 2026-10-28: add by m2/v0.4.2
Vijay Vazirani TJPDTT4PZK
| URI | m2://inv/TJPDTT4PZK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#8G0U, Vijay Vazirani (unknown)
History
- 2026-11-02: add by m2/dev
TJPP1KPY5C TJPP1KPY5C
| URI | m2://inv/TJPP1KPY5C |
|---|---|
| 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 2008.10035#BRD6 (statement). In 29EH04FH4B/e1, lemma 5.11
History
- 2026-10-27: add by m2/v0.3.5
Jan Camiel Willems TJPVPZVTVX
| URI | m2://inv/TJPVPZVTVX |
|---|---|
| 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#ZAUJ, Jan Camiel Willems (topic)
History
- 2026-11-02: add by m2/dev
Commitment device TJQ10P54F7
| URI | m2://inv/TJQ10P54F7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commitment device, Commitment device (definition). Also Wikidata Q1643501
History
- 2026-11-02: add by m2/dev
TJQ34FEYP9 TJQ34FEYP9
| URI | m2://inv/TJQ34FEYP9 |
|---|---|
| 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.12330#EGY8 (statement). In XHSKEPT3VD/e1, corollary 4.2
History
- 2026-10-28: add by m2/v0.4.2
Robert Aumann TJQ4CB5FNZ
| URI | m2://inv/TJQ4CB5FNZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8RNN, Robert Aumann (unknown)
History
- 2026-11-02: add by m2/dev
Charles Minshall Jessop TJQ5YTFA14
| URI | m2://inv/TJQ5YTFA14 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Minshall Jessop, Charles Minshall Jessop (topic). Also Wikidata Q5080983
History
- 2026-11-02: add by m2/dev
Atle Selberg TJQGS9X4W6
| URI | m2://inv/TJQGS9X4W6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4MIV, Atle Selberg (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#05AL, Atle Selberg (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#S0FI, Atle Selberg (topic)
History
- 2026-11-02: add by m2/dev
TJQKV03ERV TJQKV03ERV
| URI | m2://inv/TJQKV03ERV |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tripod packing#B21G (problem)
History
- 2026-11-02: add by m2/dev
Parameter certificate TJQMBN0PJG
| URI | m2://inv/TJQMBN0PJG |
|---|---|
| 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.15291#HC0J, Parameter certificate (statement). In YVS8268AG8/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
TJQPRZMVC8 TJQPRZMVC8
| URI | m2://inv/TJQPRZMVC8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37026#2MIG (statement). In QGZPH9W8GY/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
TJQQ6MYTHS TJQQ6MYTHS
| URI | m2://inv/TJQQ6MYTHS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#49EH (statement). In JW8HH6EPG2/e1, lemma 3.37
History
- 2026-10-29: add by m2/v0.4.10
TJQRE053PW TJQRE053PW
| URI | m2://inv/TJQRE053PW |
|---|---|
| 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.09989#1KB7 (statement). In 4KZA07H3GE/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
TJQS8PBN4R TJQS8PBN4R
| URI | m2://inv/TJQS8PBN4R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#Y5W6 (statement). In X9WFC1D9ZS/e1, corollary 47
History
- 2026-10-27: add by m2/v0.4.2
Positive definiteness during training TJQSY46P54
| URI | m2://inv/TJQSY46P54 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#TJOJ, Positive definiteness during training (statement). In 6FY8BVP1F3/e1, proposition C.14
History
- 2026-10-29: add by m2/v0.4.12
Robust implies relative TJQXG585JD
| URI | m2://inv/TJQXG585JD |
|---|---|
| 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.40252#1F3W, Robust implies relative (statement). In 7MVPNFPRKB/e1, proposition 11.5
History
- 2026-10-30: add by m2/v0.4.12
TJR110F4Y6 TJR110F4Y6
| URI | m2://inv/TJR110F4Y6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-52 (exercise). In E59CDZA4DP, exercise, section 1.6.1
History
- 2026-11-01: add by m2/v0.6.13
TJR2M1FTKX TJR2M1FTKX
| URI | m2://inv/TJR2M1FTKX |
|---|---|
| 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#Z1JC (statement). In WMVRX5GV9P/e1, corollary 4.3
History
- 2026-10-29: add by m2/v0.4.10
Remainder in Lagrange interpolation formula TJR64XW0BE
| URI | m2://inv/TJR64XW0BE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrange polynomial#UUYO, Remainder in Lagrange interpolation formula (statement)
History
- 2026-11-02: add by m2/dev
Exact global verification TJR9XFWJFC
| URI | m2://inv/TJR9XFWJFC |
|---|---|
| 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.10408#TJUL, Exact global verification (statement). In H976NYKBNT/e1, proposition 11
History
- 2026-10-29: add by m2/v0.4.10
Demand curve TJRCXEAAS2
| URI | m2://inv/TJRCXEAAS2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#Z68A, Demand curve (unknown)
History
- 2026-11-02: add by m2/dev
Hardy–Hille formula TJRHH9NTXB
| URI | m2://inv/TJRHH9NTXB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laguerre polynomials#IUQY, Hardy–Hille formula (statement)
History
- 2026-11-02: add by m2/dev
Residual intersection formula TJRRP2EGDV
| URI | m2://inv/TJRRP2EGDV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residual intersection#02YA, Residual intersection formula (statement)
History
- 2026-11-02: add by m2/dev
Sainte-Laguë method TJRWXHJ9EP
| URI | m2://inv/TJRWXHJ9EP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sainte-Laguë method, Sainte-Laguë method (definition). Also Wikidata Q81068
History
- 2026-11-02: add by m2/dev
Tree size from the prefix profile TJRY6YMCXG
| URI | m2://inv/TJRY6YMCXG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15265#00LG, Tree size from the prefix profile (statement). In TCQ1JBR84Y/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
down quark TJS2YX4CS3
| URI | m2://inv/TJS2YX4CS3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6745, down quark (unknown). Also nLab down quark
History
- 2026-10-26: add by m2/dev
Gaussian universality for regularized ERM TJSM5QMSXM
| URI | m2://inv/TJSM5QMSXM |
|---|---|
| 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.07637#OMS5, Gaussian universality for regularized ERM (statement). In ERR2F5FXC3/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.10
TJSMB6R0CD TJSMB6R0CD
| URI | m2://inv/TJSMB6R0CD |
|---|---|
| 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.36045#6J5L (statement). In F0E8YBV0Z0/e1, proposition 10.2
History
- 2026-10-30: add by m2/v0.4.12
Vadym Adamyan TJSXHC4J2W
| URI | m2://inv/TJSXHC4J2W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vadym Adamyan, Vadym Adamyan (topic). Also Wikidata Q4057382
History
- 2026-11-02: add by m2/dev
Cubical complex TJSY87112A
| URI | m2://inv/TJSY87112A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubical complex, Cubical complex (definition). Also Wikidata Q48835561
History
- 2026-11-02: add by m2/dev
limit ordinal TJTPXYVE2C
| URI | m2://inv/TJTPXYVE2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2467845, limit ordinal (definition). Also ProofWiki Definition:Limit_Ordinal
- wikipedia: Wikipedia Limit ordinal, Limit ordinal (definition). Also Wikidata Q2467845
History
- 2026-10-26: add by m2/dev
TJTZFV0A5R TJTZFV0A5R
| URI | m2://inv/TJTZFV0A5R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28254#74V1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ordinary differential equation TJV052X7N9
| URI | m2://inv/TJV052X7N9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/9.3.1/ordinary-differential-equation, ordinary differential equation (concept). In E59CDZA4DP, index, section 9.3.1
History
- 2026-11-01: add by m2/v0.6.13
Polar set TJV0DJHEZ6
| URI | m2://inv/TJV0DJHEZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39409#JG3H, Polar set (statement). In CQ0Z7QA0A5/e1, theorem 2.7
History
- 2026-10-30: add by m2/v0.4.12
TJV0WNQNRZ TJV0WNQNRZ
| URI | m2://inv/TJV0WNQNRZ |
|---|---|
| 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 2401.14162#7M3S (statement). In JC1XF1JE6J/e1, theorem 3.10
History
- 2026-10-27: add by m2/v0.3.5
TJV2MTZG62 TJV2MTZG62
| URI | m2://inv/TJV2MTZG62 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#SPQ0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Method TJV4Z9NRQ4
| URI | m2://inv/TJV4Z9NRQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Householder's method#6CFO, Method (definition)
History
- 2026-11-02: add by m2/dev
TJV92SKEYA TJV92SKEYA
| URI | m2://inv/TJV92SKEYA |
|---|---|
| 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.09949#9LZZ (statement). In VGJVFCDV8A/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
TJVB0SBF2N TJVB0SBF2N
| URI | m2://inv/TJVB0SBF2N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_exercises.ptx#exercise-17 (exercise). In QKM9DD2H56, exercise, section 9
History
- 2026-11-01: add by m2/v0.6.13
TJVF7RXPD2 TJVF7RXPD2
| URI | m2://inv/TJVF7RXPD2 |
|---|---|
| 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 0910.5574#HVAV (statement). In 2TJRBRKYAY/e1, theorem 12.3
History
- 2026-10-27: add by m2/v0.3.5
Accelerated life testing TJVRX24PN4
| URI | m2://inv/TJVRX24PN4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3533504, Accelerated life testing (unknown). Also EoM Accelerated_life_testing
History
- 2026-10-26: add by m2/dev
TJVWSNMB34 TJVWSNMB34
| URI | m2://inv/TJVWSNMB34 |
|---|---|
| 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.21994#L5D9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Relative initialization stability TJW27XQ6W5
| URI | m2://inv/TJW27XQ6W5 |
|---|---|
| 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.09356#DA4A, Relative initialization stability (statement). In 3VVGPXWH6R/e1, theorem C.10
History
- 2026-10-29: add by m2/v0.4.10
Computational complexity of matrix multiplication TJWAKJDWSM
| URI | m2://inv/TJWAKJDWSM |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational complexity of matrix multiplication, Computational complexity of matrix multiplication (conjecture). Also Wikidata Q106996431
History
- 2026-11-02: add by m2/dev
TJWATWMMFA TJWATWMMFA
| URI | m2://inv/TJWATWMMFA |
|---|---|
| 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 2304.03611#75NU (statement). In 75E8ZB1CBV/e1, theorem 3.1.1
History
- 2026-10-27: add by m2/v0.4.0
TJWDFN5YB2 TJWDFN5YB2
| URI | m2://inv/TJWDFN5YB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24154#3DH2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Residual of the explicit Kummer background TJWFTE3BD3
| URI | m2://inv/TJWFTE3BD3 |
|---|---|
| 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.11077#EJPH, Residual of the explicit Kummer background (statement). In 4333A6G5K5/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.3
Terminal-exact recurrences and their gain TJWGCNYHR4
| URI | m2://inv/TJWGCNYHR4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#8U3A, Terminal-exact recurrences and their gain (definition). In JY6RYSNXMJ/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
TJWPCNCXEC TJWPCNCXEC
| URI | m2://inv/TJWPCNCXEC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#W2VN (definition). In X9WFC1D9ZS/e1, definition 6
History
- 2026-10-27: add by m2/v0.4.2
Gauss–Newton algorithm TJWS8ZV7QB
| URI | m2://inv/TJWS8ZV7QB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3UEZ, Gauss–Newton algorithm (definition)
History
- 2026-11-02: add by m2/dev
Antichains and maximal-complement counts TJWTAPPTXT
| URI | m2://inv/TJWTAPPTXT |
|---|---|
| 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.17677#5BPW, Antichains and maximal-complement counts (statement). In 5E9G06XJKC/e1, proposition H.2
History
- 2026-10-28: add by m2/v0.4.2
Examples TJWVED1QVC
| URI | m2://inv/TJWVED1QVC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group with operators#MWST, Examples (example)
History
- 2026-11-02: add by m2/dev
TJWZ4B199H TJWZ4B199H
| URI | m2://inv/TJWZ4B199H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21399#LPXC (statement)
History
- 2026-11-02: add by m2/v0.6.18
Munishvara TJX3A0MM42
| URI | m2://inv/TJX3A0MM42 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Munishvara, Munishvara (topic). Also Wikidata Q6936683
History
- 2026-11-02: add by m2/dev
Fermat–Catalan conjecture TJX3ACEF2C
| URI | m2://inv/TJX3ACEF2C |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#OBBK, Fermat–Catalan conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Transfer principle TJXADESBAT
| URI | m2://inv/TJXADESBAT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperreal number#8FRJ, Transfer principle (statement)
History
- 2026-11-02: add by m2/dev
TJXDMS7PQW TJXDMS7PQW
| URI | m2://inv/TJXDMS7PQW |
|---|---|
| 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.08912#GN4E (statement). In DK5QY64NGH/e1, lemma 6.6
History
- 2026-10-29: add by m2/v0.4.10
TJXPFQTQ07 TJXPFQTQ07
| URI | m2://inv/TJXPFQTQ07 |
|---|---|
| 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.24701#PQFM (statement)
History
- 2026-11-01: add by m2/v0.6.15
TJXPMZFD2H TJXPMZFD2H
| URI | m2://inv/TJXPMZFD2H |
|---|---|
| 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 2601.18223#Z139 (statement). In ZRXE7EJA93/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
TJXWH58BD5 TJXWH58BD5
| URI | m2://inv/TJXWH58BD5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14160#RLQ0 (statement). In Y4TP36M0C7/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.2
Jia Li TJXYQ7S24D
| URI | m2://inv/TJXYQ7S24D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jia Li, Jia Li (topic). Also Wikidata Q59750888
History
- 2026-11-02: add by m2/dev
TJY00QWZHA TJY00QWZHA
| URI | m2://inv/TJY00QWZHA |
|---|---|
| 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.26996#8YQU (statement). In FP7Z8PJ4AW/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Local moment corrections TJY23QGC64
| URI | m2://inv/TJY23QGC64 |
|---|---|
| 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.15421#JF70, Local moment corrections (statement). In 3RBKH0DA74/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
TJYJ2NZB9N TJYJ2NZB9N
| URI | m2://inv/TJYJ2NZB9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16779#NNDP (statement). In 1R7H0ZAHWA/e1, theorem 6.7
History
- 2026-10-28: add by m2/v0.4.2
TJYW4NYWXF TJYW4NYWXF
| URI | m2://inv/TJYW4NYWXF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22708#C99A (statement)
History
- 2026-11-02: add by m2/v0.6.17
TJZ1HGND2A TJZ1HGND2A
| URI | m2://inv/TJZ1HGND2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#EXS7 (statement). In RPC7VG3KHQ/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
Shallow representation upper bound, nonquantitative TJZ6A6TJP6
| URI | m2://inv/TJZ6A6TJP6 |
|---|---|
| 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.10875#VWY7, Shallow representation upper bound, nonquantitative (statement). In N91F15MHW1/e1, lemma 21
History
- 2026-10-28: add by m2/v0.4.3
two-sided ideal TJZ8GQQ7F6
| URI | m2://inv/TJZ8GQQ7F6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Two-sided ideal 0CD87SFM2N |
Mentions
- wikidata: Wikidata Q91666887, two-sided ideal (unknown). Also MathWorld Two-SidedIdeal
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Anthony Joseph TJZB6F34QV
| URI | m2://inv/TJZB6F34QV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Q2VK, Anthony Joseph (unknown)
History
- 2026-11-02: add by m2/dev
TJZCRMFJA5 TJZCRMFJA5
| URI | m2://inv/TJZCRMFJA5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#NLOJ (statement). In RYWAX33Z51/e1, lemma 4.9
History
- 2026-10-31: add by m2/v0.5.6
Kate Tilling TJZE76X70P
| URI | m2://inv/TJZE76X70P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kate Tilling, Kate Tilling (topic). Also Wikidata Q21402741
History
- 2026-11-02: add by m2/dev
Examples TJZKPW010X
| URI | m2://inv/TJZKPW010X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zariski's main theorem#KIUJ, Examples (example)
History
- 2026-11-02: add by m2/dev
TJZNMWYSZB TJZNMWYSZB
| URI | m2://inv/TJZNMWYSZB |
|---|---|
| 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 2502.08738#CPBW (example). In 9GMTVSTAVN/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
Statement TJZNN3B4NJ
| URI | m2://inv/TJZNN3B4NJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of global choice#3G8I, Statement (statement)
History
- 2026-11-02: add by m2/dev
TJZNR50ARM TJZNR50ARM
| URI | m2://inv/TJZNR50ARM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08251#KGCP (statement). In YRJKC9DJEA/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.10