Inventory rows X5
The cards of the rows of the inventory whose ids start with X5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Special point X50D5N6SDN
| URI | m2://inv/X50D5N6SDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#12S0, Special point (definition)
History
- 2026-11-02: add by m2/dev
De vetula X50HC3GDBG
| URI | m2://inv/X50HC3GDBG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De vetula, De vetula (definition). Also Wikidata Q5244991
History
- 2026-11-02: add by m2/dev
X50NJK7G2H X50NJK7G2H
| URI | m2://inv/X50NJK7G2H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19707#4FKS (statement). In R6SEBXARYC/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Usefulness of propositional formulas X50Q80J753
| URI | m2://inv/X50Q80J753 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional formula#21T6, Usefulness of propositional formulas (statement)
History
- 2026-11-02: add by m2/dev
sharp X50TQHM38A
| URI | m2://inv/X50TQHM38A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#UI77, sharp (definition)
History
- 2026-11-02: add by m2/dev
Leibniz's Test or Alternating Series Test X50V1Y2B5C
| URI | m2://inv/X50V1Y2B5C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1704.08191#K4MC, Leibniz's Test or Alternating Series Test (definition). In 8DATR785BJ/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
X50VFCFV2Y X50VFCFV2Y
| URI | m2://inv/X50VFCFV2Y |
|---|---|
| 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#V1GU (statement). In K7505G10SS/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
regular tessellation X50Z75FXEQ
| URI | m2://inv/X50Z75FXEQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18062082, regular tessellation (unknown). Also MathWorld RegularTessellation
History
- 2026-10-26: add by m2/dev
Cauchy inequality X51A46S447
| URI | m2://inv/X51A46S447 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#49Z8, Cauchy inequality (unknown)
History
- 2026-11-02: add by m2/dev
X51AEV8FX3 X51AEV8FX3
| URI | m2://inv/X51AEV8FX3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24610#FG5A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bendixson--Dulac \footnote{ \href{https://en.wikipedia.org/wiki/Henri_Dulac}{Henri Dulac} (1870--1955) was a French mathematician.} X51JP8WXQJ
| URI | m2://inv/X51JP8WXQJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#theorem-2, Bendixson--Dulac \footnote{ \href{https://en.wikipedia.org/wiki/Henri_Dulac}{Henri Dulac} (1870--1955) was a French mathematician.} (statement). In E9HS8K3A52, theorem, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
X51M903090 X51M903090
| URI | m2://inv/X51M903090 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#WW6K (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
Anderson–Darling criterion X51VWVY9YC
| URI | m2://inv/X51VWVY9YC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum-distance estimation#4VI6, Anderson–Darling criterion (statement)
History
- 2026-11-02: add by m2/dev
X51XCX60NN X51XCX60NN
| URI | m2://inv/X51XCX60NN |
|---|---|
| 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.00625#AGJR (statement). In BGA625B7W1/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
Problem 2 (Dobbertin 1983) X5242RPT4D
| URI | m2://inv/X5242RPT4D |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence lattice problem#KMLU, Problem 2 (Dobbertin 1983) (problem)
History
- 2026-11-02: add by m2/dev
connection game X5254CR3DN
| URI | m2://inv/X5254CR3DN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5161688, connection game (unknown). Also MathWorld ConnectionGame
History
- 2026-10-26: add by m2/dev
Mécanique analytique X529JFG9JG
| URI | m2://inv/X529JFG9JG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mécanique analytique, Mécanique analytique (definition). Also Wikidata Q25100963
History
- 2026-11-02: add by m2/dev
Order-4 heptagonal tiling X52WJE3QN5
| URI | m2://inv/X52WJE3QN5 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-4 heptagonal tiling, Order-4 heptagonal tiling (object). Also Wikidata Q7100397
History
- 2026-11-02: add by m2/dev
Phase-type distribution X5323EG67F
| URI | m2://inv/X5323EG67F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DNC2, Phase-type distribution (definition)
History
- 2026-11-02: add by m2/dev
X53FJEQM3F X53FJEQM3F
| URI | m2://inv/X53FJEQM3F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#VIS3 (example)
History
- 2026-11-02: add by m2/v0.6.18
Comparison sort X53KYFQFX2
| URI | m2://inv/X53KYFQFX2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparison sort, Comparison sort (definition). Also Wikidata Q2632949
History
- 2026-11-02: add by m2/dev
X53RAMB35Q X53RAMB35Q
| URI | m2://inv/X53RAMB35Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#L75F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hyperbolic points X53RZPPY6P
| URI | m2://inv/X53RZPPY6P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#S3UJ, Hyperbolic points (definition). In DDNP38CHQJ/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
X5406E1CDP X5406E1CDP
| URI | m2://inv/X5406E1CDP |
|---|---|
| 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.01225#PS01 (statement). In MFR807V4YG/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.12
Associativity axiom X547ZYPSTS
| URI | m2://inv/X547ZYPSTS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operad#5T6D, Associativity axiom (statement)
History
- 2026-11-02: add by m2/dev
X54CAFGBHT X54CAFGBHT
| URI | m2://inv/X54CAFGBHT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12777#A5N5 (statement). In 1YFK2FB3JY/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Modular invariance and reduction X54RDTY0YJ
| URI | m2://inv/X54RDTY0YJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12203#J7MX, Modular invariance and reduction (statement). In F4YTAZSCS2/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Example X54SH11XQD
| URI | m2://inv/X54SH11XQD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial number system#XSSV, Example (example)
History
- 2026-11-02: add by m2/dev
X54WH2M2XH X54WH2M2XH
| URI | m2://inv/X54WH2M2XH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_formal-num-sys.ptx#proof-7 (proof). In QKM9DD2H56, proof, section B.7.1
History
- 2026-11-01: add by m2/v0.6.13
Precalculus X54WTSJY8V
| URI | m2://inv/X54WTSJY8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Precalculus, Precalculus (definition). Also Wikidata Q3272845
History
- 2026-11-02: add by m2/dev
Deleted residual X54YC80E36
| URI | m2://inv/X54YC80E36 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Studentized residual#E5IF, Deleted residual (unknown)
History
- 2026-11-02: add by m2/dev
Dipak K. Dey X550ESNARV
| URI | m2://inv/X550ESNARV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#RVB4, Dipak K. Dey (topic)
History
- 2026-11-02: add by m2/dev
Geometrical-optical illusions X551EYN6J5
| URI | m2://inv/X551EYN6J5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometrical-optical illusions, Geometrical-optical illusions (definition). Also Wikidata Q5535501
History
- 2026-11-02: add by m2/dev
Classifying space for U X553GHZT08
| URI | m2://inv/X553GHZT08 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classifying space for U(n)#FTRW, Classifying space for U (unknown)
History
- 2026-11-02: add by m2/dev
X559XM3Z0S X559XM3Z0S
| URI | m2://inv/X559XM3Z0S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31604#BAFP (example). In GSN5YTQS2K/e1, example 3.10
History
- 2026-10-31: add by m2/v0.5.6
Recurrence formula X55HMXEY21
| URI | m2://inv/X55HMXEY21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trinomial triangle#67BE, Recurrence formula (statement)
History
- 2026-11-02: add by m2/dev
X55J174KV9 X55J174KV9
| URI | m2://inv/X55J174KV9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20170#IIOE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Cormac J. Carney X55XX83KHT
| URI | m2://inv/X55XX83KHT |
|---|---|
| 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#BPVP, Cormac J. Carney (unknown)
History
- 2026-11-02: add by m2/dev
X5604D469Z X5604D469Z
| URI | m2://inv/X5604D469Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28540#AGWV (statement)
History
- 2026-11-01: add by m2/v0.6.15
X565KB16DV X565KB16DV
| URI | m2://inv/X565KB16DV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#definition-3 (definition). In RZP28ERRZV, definition, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Pavel Grinfeld X56A43MPKS
| URI | m2://inv/X56A43MPKS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pavel Grinfeld, Pavel Grinfeld (topic). Also Wikidata Q7155612
History
- 2026-11-02: add by m2/dev
X56B7AM800 X56B7AM800
| URI | m2://inv/X56B7AM800 |
|---|---|
| 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#JLSO (statement). In JW8HH6EPG2/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
Gelman-Rubin statistic X56DZCRRS0
| URI | m2://inv/X56DZCRRS0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gelman-Rubin statistic, Gelman-Rubin statistic (definition). Also Wikidata Q120785910
History
- 2026-11-02: add by m2/dev
Examples X56VVQVGQN
| URI | m2://inv/X56VVQVGQN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal notation#G2F7, Examples (example)
History
- 2026-11-02: add by m2/dev
X56WCP0YJ7 X56WCP0YJ7
| URI | m2://inv/X56WCP0YJ7 |
|---|---|
| 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.31102#6A6P (statement). In 7CADATJMAA/e1, theorem 3.2
History
- 2026-10-31: add by m2/v0.5.6
Definition X56Y44GVBR
| URI | m2://inv/X56Y44GVBR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple zeta function#WQG2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Uniform density gain after removal of density viscosity X574BHWY72
| URI | m2://inv/X574BHWY72 |
|---|---|
| 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.24960#UP97, Uniform density gain after removal of density viscosity (statement)
History
- 2026-11-01: add by m2/v0.6.15
factor analysis X57ACD8NY1
| URI | m2://inv/X57ACD8NY1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Factor analysis 4QQQP1Q886 |
Mentions
- wikidata: Wikidata Q726474, factor analysis (unknown). Also MathWorld FactorAnalysis
- wikipedia: Wikipedia Factor analysis, Factor analysis (definition). Also Wikidata Q726474
History
- 2026-10-26: add by m2/dev
X57ACEMWSA X57ACEMWSA
| URI | m2://inv/X57ACEMWSA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09882#ZTMY (statement). In 7XV6T4N79V/e1, lemma D.3
History
- 2026-10-29: add by m2/v0.4.10
Quantified Lower Bound X57BC2Z9G4
| URI | m2://inv/X57BC2Z9G4 |
|---|---|
| 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.09078#PH7I, Quantified Lower Bound (statement). In B4GK8NEZM9/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Theorem X57PV9HYNG
| URI | m2://inv/X57PV9HYNG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantor's intersection theorem#4BG3, Theorem (statement)
History
- 2026-11-02: add by m2/dev
X57Q3R1A3B X57Q3R1A3B
| URI | m2://inv/X57Q3R1A3B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.00560#N2AU (statement). In KH1H3TSWPS/e1, theorem 3.7
History
- 2026-10-27: add by m2/v0.3.6
Example X5897T1FTS
| URI | m2://inv/X5897T1FTS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial long division#589A, Example (example)
History
- 2026-11-02: add by m2/dev
reflection group X58CNC2JME
| URI | m2://inv/X58CNC2JME |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7307244, reflection group (unknown). Also EoM Reflection_group
- wikipedia: Wikipedia Reflection group, Reflection group (definition). Also Wikidata Q7307244
History
- 2026-10-26: add by m2/dev
X58VZ4SC83 X58VZ4SC83
| URI | m2://inv/X58VZ4SC83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.13523#EHSP (statement). In DDA62XQTWW/e1, lemma 2.13
History
- 2026-10-27: add by m2/v0.3.5
Brada\v{c}--Janzer X593FAEXWH
| URI | m2://inv/X593FAEXWH |
|---|---|
| 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.35766#SRFR, Brada\v{c}--Janzer (statement). In 6638EFW1NG/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Chaining hash table X594F0Z1EG
| URI | m2://inv/X594F0Z1EG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hash table#YVO9, Chaining hash table (unknown)
History
- 2026-11-02: add by m2/dev
X595MCQQBR X595MCQQBR
| URI | m2://inv/X595MCQQBR |
|---|---|
| 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.03449#EHQE (statement). In 3XM05SYQ8D/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.12
Hermite interpolation X59J4549V7
| URI | m2://inv/X59J4549V7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hermite interpolation 9Z50M2WPTP |
Mentions
- wikidata: Wikidata Q44451, Hermite interpolation (concept). Also MathWorld HermitesInterpolatingPolynomial
- wikipedia: Wikipedia Hermite interpolation, Hermite interpolation (definition). Also Wikidata Q44451
History
- 2026-10-26: add by m2/dev
Example 2 X59QVKSJMZ
| URI | m2://inv/X59QVKSJMZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlation does not imply causation#HAX1, Example 2 (example)
History
- 2026-11-02: add by m2/dev
Abhyankar's conjecture X59QZNRHHY
| URI | m2://inv/X59QZNRHHY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4667492, Abhyankar's conjecture (statement). Also MathWorld AbhyankarsConjecture
- wikipedia: Wikipedia Abhyankar's conjecture, Abhyankar's conjecture (statement). Also Wikidata Q4667492
History
- 2026-10-26: add by m2/dev
X59TT886X6 X59TT886X6
| URI | m2://inv/X59TT886X6 |
|---|---|
| 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#4TNC (statement). In VN084GGZGK/e1, proposition 2.34
History
- 2026-10-28: add by m2/v0.4.3
X5A81Y2Z8H X5A81Y2Z8H
| URI | m2://inv/X5A81Y2Z8H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31783#TZ89 (statement). In CGNVT4C47F/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
Index form of the bulk X5AE5KNYA4
| URI | m2://inv/X5AE5KNYA4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#HQHG, Index form of the bulk (statement). In NKXTXH59P1/e1, proposition 4.6
History
- 2026-10-29: add by m2/v0.4.10
X5AE8D8M9B X5AE8D8M9B
| URI | m2://inv/X5AE8D8M9B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-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 2601.04559#3OUA (statement). In WWMHZKWZSM/e1, proposition 9
History
- 2026-10-27: add by m2/v0.3.5
Compound of two truncated tetrahedra X5AP892E27
| URI | m2://inv/X5AP892E27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of two truncated tetrahedra, Compound of two truncated tetrahedra (definition). Also Wikidata Q5156922
History
- 2026-11-02: add by m2/dev
Kiefer, Jack X5B8NJ50HR
| URI | m2://inv/X5B8NJ50HR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#1RT8, Kiefer, Jack (unknown)
History
- 2026-11-02: add by m2/dev
Dallard, Dumas, Hilaire, Milani\v{c}, Perez, Trotignon X5B95AYE2Y
| URI | m2://inv/X5B95AYE2Y |
|---|---|
| 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.19093#EHKA, Dallard, Dumas, Hilaire, Milani\v{c}, Perez, Trotignon (statement). In S2K79KESZ4/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Eugène Charles Catalan X5BCX273GF
| URI | m2://inv/X5BCX273GF |
|---|---|
| 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 Q41485, Eugène Charles Catalan (unknown). Also ProofWiki Mathematician:Eugène_Charles_Catalan
- wikipedia: Wikipedia Eugène Charles Catalan, Eugène Charles Catalan (topic). Also Wikidata Q41485
History
- 2026-10-26: add by m2/dev
Alex Eskin X5BDDJMMKD
| URI | m2://inv/X5BDDJMMKD |
|---|---|
| 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 Q1748305, Alex Eskin (unknown). Also nLab Alex Eskin
- wikipedia: Wikipedia Alex Eskin, Alex Eskin (topic). Also Wikidata Q1748305
History
- 2026-10-26: add by m2/dev
X5BF4AMJCP X5BF4AMJCP
| URI | m2://inv/X5BF4AMJCP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12857#N4QY (statement). In XJWQ6Y83F8/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Joel Wachs X5BH23PJGJ
| URI | m2://inv/X5BH23PJGJ |
|---|---|
| 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#U1I1, Joel Wachs (unknown)
History
- 2026-11-02: add by m2/dev
Weighted distance X5BM2TPFMK
| URI | m2://inv/X5BM2TPFMK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17909#WGVG, Weighted distance (definition). In YXZX6Z8S6A/e1, definition 3.5
History
- 2026-10-28: add by m2/v0.4.2
Leopoldo Nachbin X5BP7NCPY6
| URI | m2://inv/X5BP7NCPY6 |
|---|---|
| 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 Q4068875, Leopoldo Nachbin (unknown). Also nLab Leopoldo Nachbin
- wikipedia: Wikipedia Leopoldo Nachbin, Leopoldo Nachbin (topic). Also Wikidata Q4068875
History
- 2026-10-26: add by m2/dev
Winifred Sargent X5BVPAKJ6K
| URI | m2://inv/X5BVPAKJ6K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Winifred Sargent, Winifred Sargent (topic). Also Wikidata Q21101641
History
- 2026-11-02: add by m2/dev
Chaim L. Pekeris X5C3TAEVGE
| URI | m2://inv/X5C3TAEVGE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chaim L. Pekeris, Chaim L. Pekeris (topic). Also Wikidata Q554338
History
- 2026-11-02: add by m2/dev
X5C7WRR0TA X5C7WRR0TA
| URI | m2://inv/X5C7WRR0TA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20849#BLTS (statement). In HK7FV97MFD/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.4.2
X5C8CRCWC4 X5C8CRCWC4
| URI | m2://inv/X5C8CRCWC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19852#UYG1 (statement). In SPW2D8X2PG/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
John MacLeod Ball X5CF6H3PPK
| URI | m2://inv/X5CF6H3PPK |
|---|---|
| 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#N98L, John MacLeod Ball (topic)
History
- 2026-11-02: add by m2/dev
X5CHCW53DW X5CHCW53DW
| URI | m2://inv/X5CHCW53DW |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 36.2
History
- 2026-11-01: add by m2/v0.6.13
Bouguer anomaly X5CMD2TYE9
| URI | m2://inv/X5CMD2TYE9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bouguer anomaly, Bouguer anomaly (definition). Also Wikidata Q749598
History
- 2026-11-02: add by m2/dev
X5CSBMS4YH X5CSBMS4YH
| URI | m2://inv/X5CSBMS4YH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10925#X4EX (statement). In 9604WYX0BW/e1, theorem 5.7
History
- 2026-10-28: add by m2/v0.4.3
Knot energy X5CTW1GME3
| URI | m2://inv/X5CTW1GME3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knot energy, Knot energy (definition). Also Wikidata Q6423057
History
- 2026-11-02: add by m2/dev
X5CVEMKN6N X5CVEMKN6N
| URI | m2://inv/X5CVEMKN6N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22058#HYDD (statement)
History
- 2026-11-02: add by m2/v0.6.17
X5CWKXFDD3 X5CWKXFDD3
| URI | m2://inv/X5CWKXFDD3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08633#NLZN (statement). In 7MV7RGDVXF/e1, proposition 3.4.4
History
- 2026-10-29: add by m2/v0.4.10
6-cubic honeycomb X5CX77CHBQ
| URI | m2://inv/X5CX77CHBQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 6-cubic honeycomb, 6-cubic honeycomb (definition). Also Wikidata Q4641561
History
- 2026-11-02: add by m2/dev
Isomorphism Theorems X5D7XF0A0B
| URI | m2://inv/X5D7XF0A0B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient space (linear algebra)#RHAO, Isomorphism Theorems (statement)
History
- 2026-11-02: add by m2/dev
X5D8T31F1K X5D8T31F1K
| URI | m2://inv/X5D8T31F1K |
|---|---|
| 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 2601.15010#5FD4 (statement). In K3WJ6ZN184/e1, lemma 10.9
History
- 2026-10-27: add by m2/v0.3.5
X5DC3AG4WC X5DC3AG4WC
| URI | m2://inv/X5DC3AG4WC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06438#4Y4R (statement). In Z633BH3HER/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
X5DDP1KTSQ X5DDP1KTSQ
| URI | m2://inv/X5DDP1KTSQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.08176#IQ9P (statement). In SYGR43673J/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
Q-Meixner polynomials X5DFRRGE8F
| URI | m2://inv/X5DFRRGE8F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-Meixner polynomials, Q-Meixner polynomials (definition). Also Wikidata Q7265277
History
- 2026-11-02: add by m2/dev
X5DQ1GBNBW X5DQ1GBNBW
| URI | m2://inv/X5DQ1GBNBW |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#1CX8 (unknown). In QNBFHFZ3H0/e1, unknown 81
History
- 2026-10-28: add by m2/v0.4.2
W. W. Rouse Ball X5E0SNZ6FS
| URI | m2://inv/X5E0SNZ6FS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1IVK, W. W. Rouse Ball (topic)
History
- 2026-11-02: add by m2/dev
X5E3RMT91W X5E3RMT91W
| URI | m2://inv/X5E3RMT91W |
|---|---|
| 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 2111.14143#7SYB (statement). In QSKV7N0T89/e1, corollary 1.9
History
- 2026-10-27: add by m2/v0.3.5
Exponential random numbers X5E4V0KXF7
| URI | m2://inv/X5E4V0KXF7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XPN6, Exponential random numbers (definition)
History
- 2026-11-02: add by m2/dev
Local Leakage Resilience for Shamir's Secret-Sharing Scheme X5EM9M085R
| URI | m2://inv/X5EM9M085R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12357#PP0G, Local Leakage Resilience for Shamir's Secret-Sharing Scheme (definition). In 1F26AF81XP/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
X5EQPESB0M X5EQPESB0M
| URI | m2://inv/X5EQPESB0M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.25468#2SBM (statement)
History
- 2026-11-01: add by m2/v0.6.15
X5ER7Z4285 X5ER7Z4285
| URI | m2://inv/X5ER7Z4285 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12425#TFTB (statement). In 1JAFPETDGB/e1, proposition 1.2
History
- 2026-10-28: add by m2/v0.4.2
Marc Cohn X5EV0S4YAP
| URI | m2://inv/X5EV0S4YAP |
|---|---|
| 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#O621, Marc Cohn (unknown)
History
- 2026-11-02: add by m2/dev
Universal $\varepsilon$-approximate sampling X5EVZDNWYS
| URI | m2://inv/X5EVZDNWYS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31607#EDO6, Universal $\varepsilon$-approximate sampling (definition). In H9X9WZ17TT/e1, definition 11
History
- 2026-10-31: add by m2/v0.5.6
X5F64P4QY2 X5F64P4QY2
| URI | m2://inv/X5F64P4QY2 |
|---|---|
| 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 2012.05048#4F14 (statement). In NY9HW1E6DY/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.3.5
Equal distance, unequal support X5FYCKASEG
| URI | m2://inv/X5FYCKASEG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31535#B87E, Equal distance, unequal support (example). In BAWCMJQGVA/e1, example 3.6
History
- 2026-10-31: add by m2/v0.5.6
Integer parameters and matrix references X5GD77TDD1
| URI | m2://inv/X5GD77TDD1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#459A, Integer parameters and matrix references (example). In 9YAE8FNQST/e1, example 4.2
History
- 2026-10-30: add by m2/v0.4.12
X5GEAXMPAD X5GEAXMPAD
| URI | m2://inv/X5GEAXMPAD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-62 (exercise). In E59CDZA4DP, exercise, section 1.7.3
History
- 2026-11-01: add by m2/v0.6.13
X5GGCHQ79Y X5GGCHQ79Y
| URI | m2://inv/X5GGCHQ79Y |
|---|---|
| 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.01561#1EKK (statement). In W4G7BCHYEW/e1, proposition 4.6
History
- 2026-10-29: add by m2/v0.4.12
Finite-support theorem X5GH1H1XGV
| URI | m2://inv/X5GH1H1XGV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10557#CQNK, Finite-support theorem (statement). In D2MXWDTHWS/e1, theorem 15
History
- 2026-10-29: add by m2/v0.4.10
Example X5GKWMZ4FY
| URI | m2://inv/X5GKWMZ4FY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval propagation#WE98, Example (example)
History
- 2026-11-02: add by m2/dev
Md5sum X5GNA5E0P8
| URI | m2://inv/X5GNA5E0P8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#LY1C, Md5sum (unknown)
History
- 2026-11-02: add by m2/dev
Examples X5GR4RF68K
| URI | m2://inv/X5GR4RF68K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivector#2S0T, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition X5GVSTDWTC
| URI | m2://inv/X5GVSTDWTC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bundle (mathematics)#OL3O, Definition (definition)
History
- 2026-11-02: add by m2/dev
Chris Soteros X5GY6JAWMA
| URI | m2://inv/X5GY6JAWMA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chris Soteros, Chris Soteros (topic). Also Wikidata Q66472658
History
- 2026-11-02: add by m2/dev
X5H04T5JMP X5H04T5JMP
| URI | m2://inv/X5H04T5JMP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.12116#QRRM (statement). In WB3F0S794F/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
X5H0GEKCB5 X5H0GEKCB5
| URI | m2://inv/X5H0GEKCB5 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-induction.ptx#proof-6 (proof). In Y91XFCEVHQ, proof, section 3.5.4
History
- 2026-11-01: add by m2/v0.6.13
Extensions X5H2DEV16F
| URI | m2://inv/X5H2DEV16F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holm–Bonferroni method#U9RO, Extensions (statement)
History
- 2026-11-02: add by m2/dev
X5H2Y60W9A X5H2Y60W9A
| URI | m2://inv/X5H2Y60W9A |
|---|---|
| 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.04434#80BY (statement). In EY0QS456EC/e1, proposition 7.4
History
- 2026-10-29: add by m2/v0.4.12
Adolf Schepp X5H4ZZAA2S
| URI | m2://inv/X5H4ZZAA2S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adolf Schepp, Adolf Schepp (topic). Also Wikidata Q4684156
History
- 2026-11-02: add by m2/dev
Example X5HG4K6H93
| URI | m2://inv/X5HG4K6H93 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic surface#OZ39, Example (example)
History
- 2026-11-02: add by m2/dev
Qualtrics X5HQ6XG25G
| URI | m2://inv/X5HQ6XG25G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Qualtrics, Qualtrics (definition). Also Wikidata Q7268803
History
- 2026-11-02: add by m2/dev
X5HVQFD4PS X5HVQFD4PS
| URI | m2://inv/X5HVQFD4PS |
|---|---|
| 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.20489#97QK (statement). In BJ8JJZ0ZWT/e1, lemma 7.4
History
- 2026-10-27: add by m2/v0.4.2
X5HZX9E9ZP X5HZX9E9ZP
| URI | m2://inv/X5HZX9E9ZP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19854#FLZX (definition). In D50WST4CG3/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
The algorithm X5J77130JT
| URI | m2://inv/X5J77130JT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multilinear principal component analysis#5IH3, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
P-chart X5JDMQDVR8
| URI | m2://inv/X5JDMQDVR8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-chart, P-chart (definition). Also Wikidata Q7116926
History
- 2026-11-02: add by m2/dev
Normal and polytopal fans X5JJ1TZKV4
| URI | m2://inv/X5JJ1TZKV4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21670#Y6G7, Normal and polytopal fans (definition)
History
- 2026-11-02: add by m2/v0.6.18
Biot–Tolstoy–Medwin diffraction model X5JJW314AK
| URI | m2://inv/X5JJW314AK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biot–Tolstoy–Medwin diffraction model, Biot–Tolstoy–Medwin diffraction model (definition). Also Wikidata Q4915387
History
- 2026-11-02: add by m2/dev
X5JMEKWVSH X5JMEKWVSH
| URI | m2://inv/X5JMEKWVSH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39317#V30A (statement). In QM1T8JDK4A/e1, proposition 6.5
History
- 2026-10-30: add by m2/v0.4.12
Stackelberg-Nash equilibrium X5K0PF0V6P
| URI | m2://inv/X5K0PF0V6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24185#0X3H, Stackelberg-Nash equilibrium (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example X5K31WSVDG
| URI | m2://inv/X5K31WSVDG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Certificate-based encryption#XP4F, Example (example)
History
- 2026-11-02: add by m2/dev
Experimentwise error rate X5K7F0Q6V8
| URI | m2://inv/X5K7F0Q6V8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#V1JY, Experimentwise error rate (definition)
History
- 2026-11-02: add by m2/dev
Hasse principle X5KEC5GNEW
| URI | m2://inv/X5KEC5GNEW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic number field#3TKT, Hasse principle (statement)
History
- 2026-11-02: add by m2/dev
FIPS 140-2 X5KFNKTAAS
| URI | m2://inv/X5KFNKTAAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FIPS 140-2, FIPS 140-2 (definition). Also Wikidata Q5425845
History
- 2026-11-02: add by m2/dev
informal X5KV9GY6XY
| URI | m2://inv/X5KV9GY6XY |
|---|---|
| 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.33697#IBFE, informal (statement). In Q6GGQ29TRC/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
MF-DFA X5KY5GKS01
| URI | m2://inv/X5KY5GKS01 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Detrended fluctuation analysis#R5IB, MF-DFA (unknown)
History
- 2026-11-02: add by m2/dev
X5KZKXHYCX X5KZKXHYCX
| URI | m2://inv/X5KZKXHYCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#7KJP (statement). In FDYZFDHZH9/e1, proposition 2.9
History
- 2026-10-31: add by m2/v0.5.6
Wilfrid Hodges X5M28GDTE5
| URI | m2://inv/X5M28GDTE5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#40O3, Wilfrid Hodges (topic)
History
- 2026-11-02: add by m2/dev
X5MAY3GPJH X5MAY3GPJH
| URI | m2://inv/X5MAY3GPJH |
|---|---|
| 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.01912#H0UT (statement). In CTE1C9KYPY/e1, corollary 2.7
History
- 2026-10-29: add by m2/v0.4.12
X5MKWHBMJB X5MKWHBMJB
| URI | m2://inv/X5MKWHBMJB |
|---|---|
| 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.17129#FNZK (statement). In TCZWAMNYCV/e1, lemma 6.10
History
- 2026-10-28: add by m2/v0.4.2
The Art of Mathematics X5MN4YZDEM
| URI | m2://inv/X5MN4YZDEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Art of Mathematics, The Art of Mathematics (definition). Also Wikidata Q16261780
History
- 2026-11-02: add by m2/dev
Daniel Ocone X5MQF2FXWC
| URI | m2://inv/X5MQF2FXWC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel Ocone, Daniel Ocone (topic). Also Wikidata Q5218324
History
- 2026-11-02: add by m2/dev
Statement X5MZ1ESXWZ
| URI | m2://inv/X5MZ1ESXWZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Rham theorem#A22I, Statement (statement)
History
- 2026-11-02: add by m2/dev
Deleting a common core X5N2MP8QYG
| URI | m2://inv/X5N2MP8QYG |
|---|---|
| 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.31782#SON3, Deleting a common core (statement). In YAYP5VZ94H/e1, lemma 4.2
History
- 2026-10-31: add by m2/v0.5.6
Drude model X5N5D25BTA
| URI | m2://inv/X5N5D25BTA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Drude model, Drude model (definition). Also Wikidata Q910043
History
- 2026-11-02: add by m2/dev
Bias from clipping Gaussian DSM labels X5N7P06NJV
| URI | m2://inv/X5N7P06NJV |
|---|---|
| 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.05333#TVH2, Bias from clipping Gaussian DSM labels (statement). In N37WKFTR7Q/e1, proposition F.1
History
- 2026-10-29: add by m2/v0.4.10
X5NH4R5ATV X5NH4R5ATV
| URI | m2://inv/X5NH4R5ATV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 1802.02910#GW30 (statement). In AY2MA29921/e1, proposition 024
History
- 2026-10-27: add by m2/v0.3.5
=Theorem A X5NRAKG1XS
| URI | m2://inv/X5NRAKG1XS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12203#VPFW, =Theorem A (statement). In F4YTAZSCS2/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
Examples X5NVHX92RN
| URI | m2://inv/X5NVHX92RN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curvature#71S5, Examples (example)
History
- 2026-11-02: add by m2/dev
Configuration matrix X5NYHE940G
| URI | m2://inv/X5NYHE940G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Configuration (polytope)#A6UZ, Configuration matrix (unknown)
History
- 2026-11-02: add by m2/dev
X5P72HA27K X5P72HA27K
| URI | m2://inv/X5P72HA27K |
|---|---|
| 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 1905.00573#LFY1 (statement). In 74RNQVBM2G/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
X5PBAKE3NQ X5PBAKE3NQ
| URI | m2://inv/X5PBAKE3NQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17909#E033 (statement). In YXZX6Z8S6A/e1, lemma 5.20
History
- 2026-10-28: add by m2/v0.4.2
Gabrio Piola X5PCJP684G
| URI | m2://inv/X5PCJP684G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#IE8O, Gabrio Piola (unknown)
History
- 2026-11-02: add by m2/dev
Algorithms X5PCKYQ60D
| URI | m2://inv/X5PCKYQ60D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum flow problem#6YN9, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
X5PJR8T9ZB X5PJR8T9ZB
| URI | m2://inv/X5PJR8T9ZB |
|---|---|
| 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#LY6F (statement). In DK5QY64NGH/e1, lemma 7.12
History
- 2026-10-29: add by m2/v0.4.10
The quotient model of $\M$ X5PKB65FJ6
| URI | m2://inv/X5PKB65FJ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29839#3I2O, The quotient model of $\M$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Convolution kernel X5Q1RACPVG
| URI | m2://inv/X5Q1RACPVG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convolution#MSSB, Convolution kernel (unknown)
History
- 2026-11-02: add by m2/dev
X5Q5MFBYBA X5Q5MFBYBA
| URI | m2://inv/X5Q5MFBYBA |
|---|---|
| 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.11271#UFRF (statement). In HF7J38T8Y6/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.3
monotone convergence theorem X5QE4S276B
| URI | m2://inv/X5QE4S276B |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Monotone convergence theorem for sequences 0FM6N4R0VB |
Mentions
- mathlib_1000: mathlib_1000 Q1153584, Monotone convergence theorem (statement). Also Mathlib MeasureTheory.integral_tendsto_of_tendsto_of_antitone, Mathlib MeasureTheory.lintegral_tendsto_of_tendsto_of_monotone, Wikidata Q1153584
- thousand_plus: thousand_plus Q1153584, Monotone convergence theorem (statement). Also Mathlib MeasureTheory.integral_tendsto_of_tendsto_of_antitone, Mathlib MeasureTheory.lintegral_tendsto_of_tendsto_of_monotone, Wikidata Q1153584, Wikipedia Monotone convergence theorem
- wikidata: Wikidata Q1153584, monotone convergence theorem (statement). Also MathWorld MonotoneConvergenceTheorem, ProofWiki Monotone_Convergence_Theorem
- wikipedia: Wikipedia Monotone convergence theorem, Monotone convergence theorem (statement). Also Wikidata Q1153584
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Properties X5QJ8M7CE5
| URI | m2://inv/X5QJ8M7CE5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal component analysis#L2EI, Properties (statement)
History
- 2026-11-02: add by m2/dev
X5QJCTKB5H X5QJCTKB5H
| URI | m2://inv/X5QJCTKB5H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21752#JV1P (statement). In E4DJTPKHAX/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.4.2
Integral X5QKJ1F52H
| URI | m2://inv/X5QKJ1F52H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#PMFP, Integral (definition)
History
- 2026-11-02: add by m2/dev
X5QPNMFYE4 X5QPNMFYE4
| URI | m2://inv/X5QPNMFYE4 |
|---|---|
| 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.26600#8TEM (statement)
History
- 2026-11-01: add by m2/v0.6.15
X5R2HZH98F X5R2HZH98F
| URI | m2://inv/X5R2HZH98F |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#proof-10 (proof). In N54F33XE07, proof, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
X5R4ADKQZD X5R4ADKQZD
| URI | m2://inv/X5R4ADKQZD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise:oddroot (exercise). In E59CDZA4DP, exercise, section 3.4.2
History
- 2026-11-01: add by m2/v0.6.13
Cornelia Druțu X5RHFV46DX
| URI | m2://inv/X5RHFV46DX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cornelia Druțu, Cornelia Druțu (topic). Also Wikidata Q5171157
History
- 2026-11-02: add by m2/dev
Schur-convex function X5RSS7Y1C6
| URI | m2://inv/X5RSS7Y1C6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur-convex function, Schur-convex function (definition). Also Wikidata Q7433030
History
- 2026-11-02: add by m2/dev
X5RTYAPZVB X5RTYAPZVB
| URI | m2://inv/X5RTYAPZVB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37739#D20P (statement). In F5XF5VXTXY/e1, lemma 8.5
History
- 2026-10-30: add by m2/v0.4.12
Bermond--Thomassen Conjecture X5RWNZAN6M
| URI | m2://inv/X5RWNZAN6M |
|---|---|
| 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 2610.11517#TLPV, Bermond--Thomassen Conjecture (conjecture). In 87NF85QAKT/e1, conjecture 1.1
History
- 2026-10-28: add by m2/v0.4.3
Jennifer Seberry X5RXEHZMAY
| URI | m2://inv/X5RXEHZMAY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jennifer Seberry, Jennifer Seberry (topic). Also Wikidata Q3177104
History
- 2026-11-02: add by m2/dev
X5RZPMVBCN X5RZPMVBCN
| URI | m2://inv/X5RZPMVBCN |
|---|---|
| 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.08382#M33N (statement). In GYMGDQS25R/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Uses X5S35HQNSR
| URI | m2://inv/X5S35HQNSR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lens#MEVO, Uses (example)
History
- 2026-11-02: add by m2/dev
Margo J. Anderson X5S7WPH5ZG
| URI | m2://inv/X5S7WPH5ZG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#AH38, Margo J. Anderson (unknown)
History
- 2026-11-02: add by m2/dev
X5SAGKV6KB X5SAGKV6KB
| URI | m2://inv/X5SAGKV6KB |
|---|---|
| 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.26386#VCIW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications X5SAW6VFAA
| URI | m2://inv/X5SAW6VFAA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperhomology#IFC7, Applications (example)
History
- 2026-11-02: add by m2/dev
Special identity for the lemniscatic case X5SDKWV6KS
| URI | m2://inv/X5SDKWV6KS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic integral#R9FN, Special identity for the lemniscatic case (statement)
History
- 2026-11-02: add by m2/dev
Polyadic algebra X5SMAPPVPT
| URI | m2://inv/X5SMAPPVPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyadic algebra, Polyadic algebra (definition). Also Wikidata Q7226119
History
- 2026-11-02: add by m2/dev
X5SX3G40M9 X5SX3G40M9
| URI | m2://inv/X5SX3G40M9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39707#TTIH (statement). In NFH5VEY1D1/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
X5TN4N8Z42 X5TN4N8Z42
| URI | m2://inv/X5TN4N8Z42 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11210#54NG (definition). In CRFDGFZHBF/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.3
X5TXHRD6CV X5TXHRD6CV
| URI | m2://inv/X5TXHRD6CV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06755#PFH3 (statement). In DKEX05SEXS/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Definition X5V22P8HBP
| URI | m2://inv/X5V22P8HBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski functional#IGPG, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition X5V23M1VAW
| URI | m2://inv/X5V23M1VAW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of distinguished element#W1IC, Definition (definition)
History
- 2026-11-02: add by m2/dev
X5V2N2VTNY X5V2N2VTNY
| URI | m2://inv/X5V2N2VTNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#60UE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Monotonicity X5V4YYDCJZ
| URI | m2://inv/X5V4YYDCJZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.00162#P951, Monotonicity (statement). In HVGT9D84WV/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Ole Ivar Lovaas X5V9TB7XS2
| URI | m2://inv/X5V9TB7XS2 |
|---|---|
| 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#KEEF, Ole Ivar Lovaas (unknown)
History
- 2026-11-02: add by m2/dev
Leonard Kleinrock X5VG0EN5EZ
| URI | m2://inv/X5VG0EN5EZ |
|---|---|
| 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#G4B4, Leonard Kleinrock (unknown)
History
- 2026-11-02: add by m2/dev
X5VHYSP2GJ X5VHYSP2GJ
| URI | m2://inv/X5VHYSP2GJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/circuits.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 75.2
History
- 2026-11-01: add by m2/v0.6.13
X5VHZM150Y X5VHZM150Y
| URI | m2://inv/X5VHZM150Y |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16359#SW0L (unknown). In NY1DBAW7CG/e1, unknown
History
- 2026-10-28: add by m2/v0.4.2
X5VQCS7N4P X5VQCS7N4P
| URI | m2://inv/X5VQCS7N4P |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30444#ADCG (example). In RZWJ0AT8W5/e1, example 3.6
History
- 2026-10-31: add by m2/v0.5.6
Encoding circuit Lemma X5VVDW9XJ4
| URI | m2://inv/X5VVDW9XJ4 |
|---|---|
| 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 2212.05398#BCPF, Encoding circuit Lemma (statement). In WQKQ8438M7/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Definition X5W3DEE1NM
| URI | m2://inv/X5W3DEE1NM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tisserand's parameter#6980, Definition (definition)
History
- 2026-11-02: add by m2/dev
octave X5W3R777KG
| URI | m2://inv/X5W3R777KG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q386025, octave (definition). Also MathWorld Octave, ProofWiki Definition:Octave
History
- 2026-10-26: add by m2/dev
Definition X5WBD3ATFK
| URI | m2://inv/X5WBD3ATFK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supersingular elliptic curve#12W5, Definition (definition)
History
- 2026-11-02: add by m2/dev
X5WCYNB9H7 X5WCYNB9H7
| URI | m2://inv/X5WCYNB9H7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16962#7LH8 (statement). In KJC9FRS3C2/e1, proposition 13.2
History
- 2026-10-28: add by m2/v0.4.2
Properties X5WGT171Q3
| URI | m2://inv/X5WGT171Q3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surface of revolution#TLBT, Properties (statement)
History
- 2026-11-02: add by m2/dev
X5WJ8RG38S X5WJ8RG38S
| URI | m2://inv/X5WJ8RG38S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09672#ZON1 (statement). In TXBXCPP0QH/e1, theorem 46
History
- 2026-10-29: add by m2/v0.4.10
The trace relation X5WKW7AJ62
| URI | m2://inv/X5WKW7AJ62 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17116#RCBM, The trace relation (definition). In A02X6MX28Y/e1, definition 5.2
History
- 2026-10-28: add by m2/v0.4.2
X5X2185CMT X5X2185CMT
| URI | m2://inv/X5X2185CMT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12857#HKYF (definition). In XJWQ6Y83F8/e1, definition 2.17
History
- 2026-10-28: add by m2/v0.4.2
mathematical economics X5X4RKHVHW
| URI | m2://inv/X5X4RKHVHW |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 91Bxx |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q747534, mathematical economics (topic)
- wikipedia: Wikipedia Mathematical economics, Mathematical economics (topic). Also Wikidata Q747534
History
- 2026-10-26: add by m2/dev
Gersonides X5X52SB89K
| URI | m2://inv/X5X52SB89K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gersonides, Gersonides (topic). Also Wikidata Q353633
History
- 2026-11-02: add by m2/dev
Scaling pattern of occupancy X5X94P7B3Z
| URI | m2://inv/X5X94P7B3Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scaling pattern of occupancy, Scaling pattern of occupancy (definition). Also Wikidata Q7429782
History
- 2026-11-02: add by m2/dev
X5XAXJ7WZ5 X5XAXJ7WZ5
| URI | m2://inv/X5XAXJ7WZ5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#A3WP (definition). In PWXT7J9JX3/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
Reflected-sunlight rainbow X5XCTHESMN
| URI | m2://inv/X5XCTHESMN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rainbow#JYQ7, Reflected-sunlight rainbow (unknown)
History
- 2026-11-02: add by m2/dev
Finite verification of the window bounds X5XENA8V87
| URI | m2://inv/X5XENA8V87 |
|---|---|
| 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.31336#AHEB, Finite verification of the window bounds (statement). In 70RV7J456D/e1, proposition 24
History
- 2026-10-31: add by m2/v0.5.6
Elementary amenable group X5XKXW1R6N
| URI | m2://inv/X5XKXW1R6N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary amenable group, Elementary amenable group (definition). Also Wikidata Q5358894
History
- 2026-11-02: add by m2/dev
General formula X5XQ0W0W1M
| URI | m2://inv/X5XQ0W0W1M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richardson extrapolation#H72E, General formula (statement)
History
- 2026-11-02: add by m2/dev
X5XQG3NBA0 X5XQG3NBA0
| URI | m2://inv/X5XQG3NBA0 |
|---|---|
| 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.13864#FC76 (statement). In ZGZGGGCWD3/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
X5XTPS77TV X5XTPS77TV
| URI | m2://inv/X5XTPS77TV |
|---|---|
| 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.17571#P0KB (statement). In SWFN2HCEE7/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Examples X5Y6W5GA5A
| URI | m2://inv/X5Y6W5GA5A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-polynomial time#233Q, Examples (example)
History
- 2026-11-02: add by m2/dev
Statement of the theorem X5YD4EE8YZ
| URI | m2://inv/X5YD4EE8YZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lumer–Phillips theorem#6VXH, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Sharp Lorentz indices on a noncritical face X5YPH2WW4B
| URI | m2://inv/X5YPH2WW4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14201#X4OD, Sharp Lorentz indices on a noncritical face (statement). In 7NKMVRHY2E/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
X5YQTWS9Y2 X5YQTWS9Y2
| URI | m2://inv/X5YQTWS9Y2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22394#5OIG (statement)
History
- 2026-11-02: add by m2/v0.6.17
X5YRAXTEJJ X5YRAXTEJJ
| URI | m2://inv/X5YRAXTEJJ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/rank.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 74.4
History
- 2026-11-01: add by m2/v0.6.13
Metropolis algorithm X5YVAK5NVB
| URI | m2://inv/X5YVAK5NVB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#UWAV, Metropolis algorithm (definition)
History
- 2026-11-02: add by m2/dev
Third vector identity X5YXA0845M
| URI | m2://inv/X5YXA0845M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green's identities#GNGF, Third vector identity (statement)
History
- 2026-11-02: add by m2/dev
X5Z403BKYM X5Z403BKYM
| URI | m2://inv/X5Z403BKYM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#AR7S (statement). In GHKR740SG3/e1, theorem 9.4
History
- 2026-10-31: add by m2/v0.5.6
X5Z89M78PG X5Z89M78PG
| URI | m2://inv/X5Z89M78PG |
|---|---|
| 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.20050#Y7O2 (statement). In T41GD0Y0GX/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.2
X5ZQ9K9AM0 X5ZQ9K9AM0
| URI | m2://inv/X5ZQ9K9AM0 |
|---|---|
| Kind | problem |
| 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.20110#TPRE (problem). In 1SAMKN4477/e1, problem 1.1
History
- 2026-10-27: add by m2/v0.4.2