Inventory rows T0
The cards of the rows of the inventory whose ids start with T0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
T005PQG23S T005PQG23S
| URI | m2://inv/T005PQG23S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroCardinality.tex#problem-2 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Roger Godement T00AKT19GM
| URI | m2://inv/T00AKT19GM |
|---|---|
| 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 Q930720, Roger Godement (unknown). Also nLab Roger Godement
- wikipedia: Wikipedia Roger Godement, Roger Godement (topic). Also Wikidata Q930720
History
- 2026-10-26: add by m2/dev
Strähle construction T00JQ13C2K
| URI | m2://inv/T00JQ13C2K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic constructions#RHS5, Strähle construction (definition)
History
- 2026-11-02: add by m2/dev
T00NNTPEJH T00NNTPEJH
| URI | m2://inv/T00NNTPEJH |
|---|---|
| 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.08424#ZVVA (statement). In BVD2HAAKD5/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
Common bad-seed set T00Y80H6WV
| URI | m2://inv/T00Y80H6WV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#Z1J8, Common bad-seed set (statement). In ZZER8ZBSCR/e1, lemma 2.9
History
- 2026-10-29: add by m2/v0.4.12
T00YR1HYJN T00YR1HYJN
| URI | m2://inv/T00YR1HYJN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-89 (exercise). In E9HS8K3A52, exercise, section 10.8.6
History
- 2026-11-01: add by m2/v0.6.13
Hard-margin linear classification T00YXJ95H6
| URI | m2://inv/T00YXJ95H6 |
|---|---|
| Kind | example |
| 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.10519#64A9, Hard-margin linear classification (example). In 83MMH8VF1X/e1, example 4
History
- 2026-10-29: add by m2/v0.4.10
T015VYG062 T015VYG062
| URI | m2://inv/T015VYG062 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-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 2609.23469#AFT3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
T018DV0TQ3 T018DV0TQ3
| URI | m2://inv/T018DV0TQ3 |
|---|---|
| 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 1806.05002#Y8ST (statement). In JBAQ7DTW7B/e1, lemma E.4
History
- 2026-10-27: add by m2/v0.3.5
Wiener index T018Z6T2VE
| URI | m2://inv/T018Z6T2VE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q909065, Wiener index (unknown). Also MathWorld WienerIndex
- wikipedia: Wikipedia Wiener index, Wiener index (definition). Also Wikidata Q909065
History
- 2026-10-26: add by m2/dev
T01HJJVXXJ T01HJJVXXJ
| URI | m2://inv/T01HJJVXXJ |
|---|---|
| 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.37967#35BU (statement). In BR2E3CXQE0/e1, lemma 10
History
- 2026-10-30: add by m2/v0.4.12
South Tucson T01NB6JNQF
| URI | m2://inv/T01NB6JNQF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#CZR1, South Tucson (unknown)
History
- 2026-11-02: add by m2/dev
T02CDT6P21 T02CDT6P21
| URI | m2://inv/T02CDT6P21 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 01-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33529#DW3L (unknown). In RQZGQG3PBR/e1, unknown II.12.10
History
- 2026-10-30: add by m2/v0.4.12
T02FBB15N5 T02FBB15N5
| URI | m2://inv/T02FBB15N5 |
|---|---|
| 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.36068#HBYV (statement). In CKNAB8QY5B/e1, lemma 11
History
- 2026-10-30: add by m2/v0.4.12
Averaging interactions at scales larger than $\e$ T02FVCM8SH
| URI | m2://inv/T02FVCM8SH |
|---|---|
| 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.10935#FHY4, Averaging interactions at scales larger than $\e$ (statement). In 7X27KRAHCE/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.3
Szachniewicz T02HFE657B
| URI | m2://inv/T02HFE657B |
|---|---|
| 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.39505#ZCA0, Szachniewicz (statement). In WAXS6FS388/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
Selfridge–Conway procedure T02JMHMJ2W
| URI | m2://inv/T02JMHMJ2W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Selfridge–Conway procedure, Selfridge–Conway procedure (definition). Also Wikidata Q17145741
History
- 2026-11-02: add by m2/dev
Tyler John VanderWeele T02QZZS4D1
| URI | m2://inv/T02QZZS4D1 |
|---|---|
| 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#3ZS2, Tyler John VanderWeele (unknown)
History
- 2026-11-02: add by m2/dev
T02R0G70XP T02R0G70XP
| URI | m2://inv/T02R0G70XP |
|---|---|
| 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.20805#YK79 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Infinitesimals T02TG4SRV6
| URI | m2://inv/T02TG4SRV6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#3D67, Infinitesimals (definition)
History
- 2026-11-02: add by m2/dev
tilde T02WPR9Z0N
| URI | m2://inv/T02WPR9Z0N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#D5EX, tilde (definition)
History
- 2026-11-02: add by m2/dev
Pseudorandom S\'ark\"ozy T037EFMXRW
| URI | m2://inv/T037EFMXRW |
|---|---|
| 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 1806.05002#AWYH, Pseudorandom S\'ark\"ozy (statement). In JBAQ7DTW7B/e1, theorem 5.5
History
- 2026-10-27: add by m2/v0.3.5
T03AQ07VMT T03AQ07VMT
| URI | m2://inv/T03AQ07VMT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#JZ8P (statement). In Z7E16PFFCP/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Applications of the ping-pong lemma T03DJYEH16
| URI | m2://inv/T03DJYEH16 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ping-pong lemma#CNG8, Applications of the ping-pong lemma (example)
History
- 2026-11-02: add by m2/dev
Julius Plücker T03EQ1SR6G
| URI | m2://inv/T03EQ1SR6G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julius Plücker, Julius Plücker (topic). Also Wikidata Q57561
History
- 2026-11-02: add by m2/dev
T03W9S4P00 T03W9S4P00
| URI | m2://inv/T03W9S4P00 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2204.04317#GYAJ (statement). In 49V3ANDZTY/e1, proposition 6.8
History
- 2026-10-27: add by m2/v0.3.5
T03WE04KR1 T03WE04KR1
| URI | m2://inv/T03WE04KR1 |
|---|---|
| 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.26984#PUBJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement T03YH2X3F6
| URI | m2://inv/T03YH2X3F6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tychonoff's theorem#00EF, Statement (statement)
History
- 2026-11-02: add by m2/dev
T043WY0JZR T043WY0JZR
| URI | m2://inv/T043WY0JZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.10559#7EB9 (statement). In WEP0PNJW09/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.10
T045ZSYWTR T045ZSYWTR
| URI | m2://inv/T045ZSYWTR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-74 (exercise). In E9HS8K3A52, exercise, section 7.5.1
History
- 2026-11-01: add by m2/v0.6.13
WKB approximation T049EN7VE4
| URI | m2://inv/T049EN7VE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#8NX1, WKB approximation (definition)
History
- 2026-11-02: add by m2/dev
Properties T04C533PSV
| URI | m2://inv/T04C533PSV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lehmer matrix#PHRA, Properties (statement)
History
- 2026-11-02: add by m2/dev
T04CHZMTFM T04CHZMTFM
| URI | m2://inv/T04CHZMTFM |
|---|---|
| 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 2609.28141#CX4U (statement)
History
- 2026-11-01: add by m2/v0.6.15
T04CPV7P0B T04CPV7P0B
| URI | m2://inv/T04CPV7P0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38659#06IT (statement). In DCJ23ZYXGK/e1, proposition 5.3
History
- 2026-10-30: add by m2/v0.4.12
Statements of the theorem T04HCFSSZ0
| URI | m2://inv/T04HCFSSZ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quartic reciprocity#8FAX, Statements of the theorem (statement)
History
- 2026-11-02: add by m2/dev
T04KNXPC55 T04KNXPC55
| URI | m2://inv/T04KNXPC55 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10469#JS1Y (statement). In Q39BEKW6D9/e1, proposition A.2
History
- 2026-10-29: add by m2/v0.4.10
T04PG2Q6ES T04PG2Q6ES
| URI | m2://inv/T04PG2Q6ES |
|---|---|
| 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.02219#E7LZ (statement). In 8XMASJX0GZ/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
Theorem T04TGPRHJB
| URI | m2://inv/T04TGPRHJB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block design#YYZB, Theorem (statement)
History
- 2026-11-02: add by m2/dev
T04YTHNPMN T04YTHNPMN
| URI | m2://inv/T04YTHNPMN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-prop.ptx#ex-imp-disj (example). In Y91XFCEVHQ, example, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
Laplace-de Rham operator T051WJCQMX
| URI | m2://inv/T051WJCQMX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laplace–Beltrami operator#56L9, Laplace-de Rham operator (unknown)
History
- 2026-11-02: add by m2/dev
Examples T053Z9GVHQ
| URI | m2://inv/T053Z9GVHQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balance theory#DD8I, Examples (example)
History
- 2026-11-02: add by m2/dev
T055SJ99GV T055SJ99GV
| URI | m2://inv/T055SJ99GV |
|---|---|
| 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.24795#S688 (statement)
History
- 2026-11-01: add by m2/v0.6.15
T056X39W71 T056X39W71
| URI | m2://inv/T056X39W71 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30098#858I (statement)
History
- 2026-11-01: add by m2/v0.6.15
Evgeny M. Lifshitz T05AVBV6S5
| URI | m2://inv/T05AVBV6S5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#UKW4, Evgeny M. Lifshitz (unknown)
History
- 2026-11-02: add by m2/dev
T05NG2PKYC T05NG2PKYC
| URI | m2://inv/T05NG2PKYC |
|---|---|
| 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 2411.11470#9L0I (statement). In G1E3KERT6K/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.6
Effective permeability formula T05VHQNVPS
| URI | m2://inv/T05VHQNVPS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Effective medium approximations#35F9, Effective permeability formula (statement)
History
- 2026-11-02: add by m2/dev
one-sided witness for $\code{72}{12}{6}$ T05Z0HMQXP
| URI | m2://inv/T05Z0HMQXP |
|---|---|
| Kind | example |
| 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.39395#VVP6, one-sided witness for $\code{72}{12}{6}$ (example). In ZDVPJ1XX5Z/e1, example 4
History
- 2026-10-30: add by m2/v0.4.12
Primitive roots T05ZSC83AW
| URI | m2://inv/T05ZSC83AW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#example-16, Primitive roots (example). In RZP28ERRZV, example, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Meaurable selector T067VG8K38
| URI | m2://inv/T067VG8K38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.10801#4QWO, Meaurable selector (statement). In BWJS3H55WH/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.5
T06EATFW17 T06EATFW17
| URI | m2://inv/T06EATFW17 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/coding-symbols.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 27.2
History
- 2026-11-01: add by m2/v0.6.13
Jean-Yves Chemin T06HQ4DYSG
| URI | m2://inv/T06HQ4DYSG |
|---|---|
| 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#TKHS, Jean-Yves Chemin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XLBN, Jean-Yves Chemin (topic)
History
- 2026-11-02: add by m2/dev
Natural-neighbor interpolation T06JATXXK0
| URI | m2://inv/T06JATXXK0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural-neighbor interpolation, Natural-neighbor interpolation (definition). Also Wikidata Q2534253
History
- 2026-11-02: add by m2/dev
inversion T06JPZT2H7
| URI | m2://inv/T06JPZT2H7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1368009, inversion (unknown). Also MathWorld PermutationInversion
- wikipedia: Wikipedia Inversion (discrete mathematics), Inversion (definition). Also Wikidata Q1368009
History
- 2026-10-26: add by m2/dev
Isometric mixers T06V0FD0YY
| URI | m2://inv/T06V0FD0YY |
|---|---|
| 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.06653#RWHO, Isometric mixers (statement). In 9D2N76AJAT/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.10
T06Y1H7HN4 T06Y1H7HN4
| URI | m2://inv/T06Y1H7HN4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07122#0BV9 (example). In W0ZHX9DHPV/e1, example 5
History
- 2026-10-29: add by m2/v0.4.10
lens space T0712WNRNE
| URI | m2://inv/T0712WNRNE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lens space AZBTMF196E |
Mentions
- wikidata: Wikidata Q2470499, lens space (unknown). Also EoM Lens_space, MathWorld LensSpace, nLab lens space
- wikipedia: Wikipedia Lens space, Lens space (definition). Also Wikidata Q2470499
History
- 2026-10-26: add by m2/dev
T073ZVRQFT T073ZVRQFT
| URI | m2://inv/T073ZVRQFT |
|---|---|
| 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.19288#NZOH (statement). In 1EA6AM9V01/e1, corollary 2.6
History
- 2026-10-28: add by m2/v0.4.2
T075JRVYZ7 T075JRVYZ7
| URI | m2://inv/T075JRVYZ7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#6Z73 (definition). In 3A4K47Y9F2/e1, definition 4.32
History
- 2026-10-27: add by m2/v0.4.0
Approximation exponent T076B6E2V6
| URI | m2://inv/T076B6E2V6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liouville number#9WJN, Approximation exponent (unknown)
History
- 2026-11-02: add by m2/dev
Axioms T07DQQ2R62
| URI | m2://inv/T07DQQ2R62 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Region connection calculus#KPET, Axioms (statement)
History
- 2026-11-02: add by m2/dev
T07HHHV7XZ T07HHHV7XZ
| URI | m2://inv/T07HHHV7XZ |
|---|---|
| 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.10576#NPUH (statement). In N3ZA5MDZBW/e1, corollary 8
History
- 2026-10-29: add by m2/v0.4.10
Concave set T07V08X5PD
| URI | m2://inv/T07V08X5PD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex set#03RR, Concave set (unknown)
History
- 2026-11-02: add by m2/dev
Ara\'ujo and Schneider T07Z1GEH0Z
| URI | m2://inv/T07Z1GEH0Z |
|---|---|
| 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.20521#WVMQ, Ara\'ujo and Schneider (statement)
History
- 2026-11-02: add by m2/v0.6.18
Tobias Rydén T07Z8KAMEQ
| URI | m2://inv/T07Z8KAMEQ |
|---|---|
| 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#YSKU, Tobias Rydén (unknown)
History
- 2026-11-02: add by m2/dev
Thomas J.R. Hughes T081T0KJK5
| URI | m2://inv/T081T0KJK5 |
|---|---|
| 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#ZQFR, Thomas J.R. Hughes (unknown)
History
- 2026-11-02: add by m2/dev
Absorbing a reference chosen before sampling T08257E00C
| URI | m2://inv/T08257E00C |
|---|---|
| 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.15202#IR08, Absorbing a reference chosen before sampling (statement). In X1FPG0KYBM/e1, corollary R.6
History
- 2026-10-28: add by m2/v0.4.2
hyperarithmetic T088STTNRB
| URI | m2://inv/T088STTNRB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#KXD9, hyperarithmetic (definition)
History
- 2026-11-02: add by m2/dev
Emmanuel Swedenborg T08AR1NX4F
| URI | m2://inv/T08AR1NX4F |
|---|---|
| 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 Q185832, Emmanuel Swedenborg (unknown). Also ProofWiki Mathematician:Emanuel_Swedenborg
History
- 2026-10-26: add by m2/dev
T08JFS9RDE T08JFS9RDE
| URI | m2://inv/T08JFS9RDE |
|---|---|
| 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.12736#7UZK (definition). In 5350Q52F6P/e1, definition 6.2
History
- 2026-10-28: add by m2/v0.4.2
T08MCBK4QA T08MCBK4QA
| URI | m2://inv/T08MCBK4QA |
|---|---|
| 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 2609.36444#BT12 (statement). In 4DJE72VPJP/e1, corollary 5.5
History
- 2026-10-30: add by m2/v0.4.12
Definition T08Q5S7R3N
| URI | m2://inv/T08Q5S7R3N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbrand structure#F1T1, Definition (definition)
History
- 2026-11-02: add by m2/dev
T08YRHAEEX T08YRHAEEX
| URI | m2://inv/T08YRHAEEX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36181#GC53 (example). In 1KSE33PVS6/e1, example 37
History
- 2026-10-30: add by m2/v0.4.12
Mary Ellen Bock T09023M9TB
| URI | m2://inv/T09023M9TB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#16OO, Mary Ellen Bock (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#O5BO, Mary Ellen Bock (topic)
History
- 2026-11-02: add by m2/dev
T09600VPF8 T09600VPF8
| URI | m2://inv/T09600VPF8 |
|---|---|
| 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.23238#QZET (statement)
History
- 2026-11-02: add by m2/v0.6.17
T09FAPZQRS T09FAPZQRS
| URI | m2://inv/T09FAPZQRS |
|---|---|
| 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#AYJX (statement). In CC6S1HVK0T/e1, theorem 9.13
History
- 2026-10-28: add by m2/v0.4.2
Example 2 T09FE1D554
| URI | m2://inv/T09FE1D554 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generic-case complexity#XAJL, Example 2 (example)
History
- 2026-11-02: add by m2/dev
Convex order for real-valued random variables with symmetric distributions T09GGABAGX
| URI | m2://inv/T09GGABAGX |
|---|---|
| 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.07404#EFTN, Convex order for real-valued random variables with symmetric distributions (statement). In VAJ9MBT3SJ/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
T09HHAYWKV T09HHAYWKV
| URI | m2://inv/T09HHAYWKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16060#8WSA (statement). In X0BTF9HPGM/e1, fact 4.3
History
- 2026-10-28: add by m2/v0.4.2
T09MFEQA1Y T09MFEQA1Y
| URI | m2://inv/T09MFEQA1Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#LCWQ (statement). In S26QVW5613/e1, proposition 5.4.15
History
- 2026-10-30: add by m2/v0.4.12
Rose curve T09WF1YZTD
| URI | m2://inv/T09WF1YZTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#KPEJ, Rose curve (definition)
- wikipedia: Wikipedia List of curves#VLY0, Rose curve (definition)
History
- 2026-11-02: add by m2/dev
T0A2KPE7HJ T0A2KPE7HJ
| URI | m2://inv/T0A2KPE7HJ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#proof-1 (proof). In N54F33XE07, proof, section 9.1
History
- 2026-11-01: add by m2/v0.6.13
Shmuel Onn T0ACB45CS8
| URI | m2://inv/T0ACB45CS8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shmuel Onn, Shmuel Onn (topic). Also Wikidata Q97323090
History
- 2026-11-02: add by m2/dev
T0AGCXZPB7 T0AGCXZPB7
| URI | m2://inv/T0AGCXZPB7 |
|---|---|
| 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.04046#XAIL (statement). In 3THDT8WNF7/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.12
Applications T0AJ9BTS8A
| URI | m2://inv/T0AJ9BTS8A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagonal matrix#960I, Applications (example)
History
- 2026-11-02: add by m2/dev
T0ARPCMJYE T0ARPCMJYE
| URI | m2://inv/T0ARPCMJYE |
|---|---|
| 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.15809#W4V2 (statement). In 6GBT11XKAF/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Local smoothing T0AXKFM8BX
| URI | m2://inv/T0AXKFM8BX |
|---|---|
| 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.10188#PS2M, Local smoothing (statement). In S608Z3ZBP6/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
T0AXYYB37R T0AXYYB37R
| URI | m2://inv/T0AXYYB37R |
|---|---|
| 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.23941#8GFF (statement)
History
- 2026-11-02: add by m2/v0.6.17
T0B4RF4SQ1 T0B4RF4SQ1
| URI | m2://inv/T0B4RF4SQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39593#3AV2 (statement). In BF0RYHPMS1/e1, corollary 4.13
History
- 2026-10-30: add by m2/v0.4.12
András Vasy T0BRGEEMX3
| URI | m2://inv/T0BRGEEMX3 |
|---|---|
| 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#U2DN, András Vasy (topic)
History
- 2026-11-02: add by m2/dev
Reference secants T0C2RNBQSB
| URI | m2://inv/T0C2RNBQSB |
|---|---|
| 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.33794#TLF4, Reference secants (statement). In W0PQMW25VY/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
T0C34AYGGG T0C34AYGGG
| URI | m2://inv/T0C34AYGGG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10152#C3UA (statement). In KCJ53C7AXY/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
Valery Senderov T0C4ZAEWCP
| URI | m2://inv/T0C4ZAEWCP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valery Senderov, Valery Senderov (topic). Also Wikidata Q15079483
History
- 2026-11-02: add by m2/dev
T0CBGKP2Y8 T0CBGKP2Y8
| URI | m2://inv/T0CBGKP2Y8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-49 (exercise). In E59CDZA4DP, exercise, section 5.5.4
History
- 2026-11-01: add by m2/v0.6.13
T0CBMN0JYV T0CBMN0JYV
| URI | m2://inv/T0CBMN0JYV |
|---|---|
| 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.16785#OQY6 (statement). In SXQQZ2MYKV/e1, lemma 18
History
- 2026-10-28: add by m2/v0.4.2
T0CJB1TQ7G T0CJB1TQ7G
| URI | m2://inv/T0CJB1TQ7G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22011#PMYF (statement)
History
- 2026-11-02: add by m2/v0.6.17
Corollary T0CJHWKATW
| URI | m2://inv/T0CJHWKATW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite intersection property#LKIV, Corollary (statement)
History
- 2026-11-02: add by m2/dev
T0CNJFBYZQ T0CNJFBYZQ
| URI | m2://inv/T0CNJFBYZQ |
|---|---|
| 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 2610.21675#JKUM (statement). In TB1294GY5X/e1, proposition C.5
History
- 2026-10-27: add by m2/v0.4.2
Further examples T0CSHAVJ8M
| URI | m2://inv/T0CSHAVJ8M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cellular algebra#S76C, Further examples (example)
History
- 2026-11-02: add by m2/dev
T0CVFBWW7C T0CVFBWW7C
| URI | m2://inv/T0CVFBWW7C |
|---|---|
| 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.01267#HDZH (statement). In GWWHP6R0BZ/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.12
An opposite-necklace difference family T0CXKJRT74
| URI | m2://inv/T0CXKJRT74 |
|---|---|
| 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 2610.17100#PW5K, An opposite-necklace difference family (example). In 4TSS52DMB2/e1, example 2.10
History
- 2026-10-28: add by m2/v0.4.2
T0CZTJ73X1 T0CZTJ73X1
| URI | m2://inv/T0CZTJ73X1 |
|---|---|
| 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 1311.6044#XRXA (statement). In W4FFB6SVZD/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.3.5
T0DBH0HSPT T0DBH0HSPT
| URI | m2://inv/T0DBH0HSPT |
|---|---|
| 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 2609.35325#5GQ3 (statement). In GHT5WXFA4E/e1, proposition 1.2
History
- 2026-10-30: add by m2/v0.4.12
Statement T0DBQSSTTW
| URI | m2://inv/T0DBQSSTTW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kelly's lemma#XG29, Statement (statement)
History
- 2026-11-02: add by m2/dev
Indexation of contracts T0DD5ZSGZS
| URI | m2://inv/T0DD5ZSGZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indexation of contracts, Indexation of contracts (definition). Also Wikidata Q6019121
History
- 2026-11-02: add by m2/dev
T0DZ6GQK3E T0DZ6GQK3E
| URI | m2://inv/T0DZ6GQK3E |
|---|---|
| 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 2011.07352#S1ED (statement). In 3VPC1GGZ3E/e1, proposition 7.7
History
- 2026-10-27: add by m2/v0.3.5
Professor of Mathematical Statistics T0EBT50QXR
| URI | m2://inv/T0EBT50QXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Professor of Mathematical Statistics (Cambridge), Professor of Mathematical Statistics (definition). Also Wikidata Q7248230
History
- 2026-11-02: add by m2/dev
T0ECJE0S3H T0ECJE0S3H
| URI | m2://inv/T0ECJE0S3H |
|---|---|
| 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#D98Q (statement). In BDN507RN7J/e1, proposition 3.5.21
History
- 2026-10-30: add by m2/v0.4.12
T0ED7JR95Y T0ED7JR95Y
| URI | m2://inv/T0ED7JR95Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.07061#YELG (statement). In S988ZVA1QE/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.6
Example T0EEWVP42R
| URI | m2://inv/T0EEWVP42R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kumaraswamy distribution#6PYN, Example (example)
History
- 2026-11-02: add by m2/dev
T0EJDBWNNZ T0EJDBWNNZ
| URI | m2://inv/T0EJDBWNNZ |
|---|---|
| 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 2508.03972#S5EA (statement). In 2JD3KNKJ1P/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.3.5
Remez inequality T0ES5Z73W3
| URI | m2://inv/T0ES5Z73W3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#Y1I4, Remez inequality (statement)
History
- 2026-11-02: add by m2/dev
Private measure on the cube: a lower bound T0F3WN5CNV
| URI | m2://inv/T0F3WN5CNV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.09167#YBT6, Private measure on the cube: a lower bound (statement). In S1MENYEAG5/e1, corollary 9.3
History
- 2026-10-27: add by m2/v0.3.5
L. Sylow T0F750E7JM
| URI | m2://inv/T0F750E7JM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#WC5U, L. Sylow (topic)
History
- 2026-11-02: add by m2/dev
T0FBRDK64F T0FBRDK64F
| URI | m2://inv/T0FBRDK64F |
|---|---|
| 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.28454#EV5A (statement)
History
- 2026-11-01: add by m2/v0.6.15
T0FHAPRWF7 T0FHAPRWF7
| URI | m2://inv/T0FHAPRWF7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-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 2610.00109#WWGX (statement). In FS8J84KFX2/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
T0FJS3T12B T0FJS3T12B
| URI | m2://inv/T0FJS3T12B |
|---|---|
| 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 2503.08018#I4UD (statement). In TN93YFN45W/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.4.0
Examples T0FPFJJP9T
| URI | m2://inv/T0FPFJJP9T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constant (mathematics)#2UPH, Examples (example)
History
- 2026-11-02: add by m2/dev
Application of the theorem T0FTJKFSBE
| URI | m2://inv/T0FTJKFSBE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stein's method#2A2M, Application of the theorem (statement)
History
- 2026-11-02: add by m2/dev
T0FWENQXYQ T0FWENQXYQ
| URI | m2://inv/T0FWENQXYQ |
|---|---|
| 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.30203#V640 (statement)
History
- 2026-11-01: add by m2/v0.6.15
hyperbolic space T0FWTP6MPS
| URI | m2://inv/T0FWTP6MPS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1878538, hyperbolic space (unknown). Also MathWorld HyperbolicSpace
- wikipedia: Wikipedia Hyperbolic space, Hyperbolic space (definition). Also Wikidata Q1878538
History
- 2026-10-26: add by m2/dev
Intersections of a quadric and a cubic in $\PP^{6}$ T0G4NXAKPA
| URI | m2://inv/T0G4NXAKPA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#477K, Intersections of a quadric and a cubic in $\PP^{6}$ (example)
History
- 2026-11-02: add by m2/v0.6.17
T0GFCG16QW T0GFCG16QW
| URI | m2://inv/T0GFCG16QW |
|---|---|
| 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.20466#UV71 (statement). In M4ZVJWM8YA/e1, proposition 5.31
History
- 2026-10-27: add by m2/v0.4.2
T0GMYJ8HTH T0GMYJ8HTH
| URI | m2://inv/T0GMYJ8HTH |
|---|---|
| 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.32338#K8KE (definition). In HVY45JQRNK/e1, definition 2.15
History
- 2026-10-31: add by m2/v0.5.6
Orders of magnitude T0GQQH4THE
| URI | m2://inv/T0GQQH4THE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (numbers), Orders of magnitude (definition). Also Wikidata Q1191085
History
- 2026-11-02: add by m2/dev
Determinant bound T0GRZSR9SD
| URI | m2://inv/T0GRZSR9SD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#EMCR, Determinant bound (statement). In 9YAE8FNQST/e1, theorem 9.3
History
- 2026-10-30: add by m2/v0.4.12
Chomp T0GVFDQYDX
| URI | m2://inv/T0GVFDQYDX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chomp, Chomp (definition). Also Wikidata Q1076016
History
- 2026-11-02: add by m2/dev
T0H1W7PYFY T0H1W7PYFY
| URI | m2://inv/T0H1W7PYFY |
|---|---|
| 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 2609.28357#G86Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Field norm T0H3V0CQ1X
| URI | m2://inv/T0H3V0CQ1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Field norm, Field norm (definition). Also Wikidata Q1999258
History
- 2026-11-02: add by m2/dev
special orthogonal matrix T0HBQ7W2XH
| URI | m2://inv/T0HBQ7W2XH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121357184, special orthogonal matrix (unknown). Also MathWorld SpecialOrthogonalMatrix
History
- 2026-10-26: add by m2/dev
A tree inside $\cM$ T0HHMH50R2
| URI | m2://inv/T0HHMH50R2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17400#FAYF, A tree inside $\cM$ (statement). In 8VDXGR4SVD/e1, corollary 5.7
History
- 2026-10-28: add by m2/v0.4.2
T0HJTAFAZG T0HJTAFAZG
| URI | m2://inv/T0HJTAFAZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00312#FB8U (statement). In 41NFABHFXH/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
Compact correction T0HMH438B9
| URI | m2://inv/T0HMH438B9 |
|---|---|
| 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.26984#EFOB, Compact correction (statement)
History
- 2026-11-01: add by m2/v0.6.15
pentagonal orthobicupola T0HZ9RB6PP
| URI | m2://inv/T0HZ9RB6PP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2164163, pentagonal orthobicupola (object). Also MathWorld PentagonalOrthobicupola
- wikipedia: Wikipedia Pentagonal orthobicupola, Pentagonal orthobicupola (definition). Also Wikidata Q2164163
History
- 2026-10-26: add by m2/dev
T0J606X9KF T0J606X9KF
| URI | m2://inv/T0J606X9KF |
|---|---|
| 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 2203.06854#33S8 (statement). In 7NE5NVT9KH/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
percentage point T0J83GMCR2
| URI | m2://inv/T0J83GMCR2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1049848, percentage point (unknown). Also MathWorld PercentagePoint
- wikipedia: Wikipedia Percentage point, Percentage point (definition). Also Wikidata Q1049848
History
- 2026-10-26: add by m2/dev
Posterior-normalized rank regret T0J8KB90V3
| URI | m2://inv/T0J8KB90V3 |
|---|---|
| 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 2609.29688#OJ40, Posterior-normalized rank regret (definition)
History
- 2026-11-01: add by m2/v0.6.15
T0JCY2D76E T0JCY2D76E
| URI | m2://inv/T0JCY2D76E |
|---|---|
| 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.32338#O7L8 (statement). In HVY45JQRNK/e1, theorem 4.4
History
- 2026-10-31: add by m2/v0.5.6
T0JNZ2RTQP T0JNZ2RTQP
| URI | m2://inv/T0JNZ2RTQP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21005#W3OO (example). In E63NRC7MBE/e1, example 2.10
History
- 2026-10-27: add by m2/v0.4.2
Methods T0JQ80NGBE
| URI | m2://inv/T0JQ80NGBE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractal-generating software#9ODU, Methods (definition)
History
- 2026-11-02: add by m2/dev
acceleration T0JQEG4ZJQ
| URI | m2://inv/T0JQEG4ZJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11376, acceleration (definition). Also MathWorld Acceleration, nLab acceleration, ProofWiki Definition:Acceleration
- wikipedia: Wikipedia Acceleration, Acceleration (definition). Also Wikidata Q11376
History
- 2026-10-26: add by m2/dev
Properties T0K90PPP6P
| URI | m2://inv/T0K90PPP6P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Countably quasi-barrelled space#JJWB, Properties (statement)
History
- 2026-11-02: add by m2/dev
Estimates for the projection coefficient T0KDYTZYH0
| URI | m2://inv/T0KDYTZYH0 |
|---|---|
| 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#4O80, Estimates for the projection coefficient (statement). In RYWAX33Z51/e1, lemma 7.7
History
- 2026-10-31: add by m2/v0.5.6
T0KGMXVJBF T0KGMXVJBF
| URI | m2://inv/T0KGMXVJBF |
|---|---|
| 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.12329#UZTA (statement). In ZJQB9W60T6/e1, proposition 7.3
History
- 2026-10-28: add by m2/v0.4.2
Edward Foyle Collingwood T0KGWCNZ4X
| URI | m2://inv/T0KGWCNZ4X |
|---|---|
| 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#BFQI, Edward Foyle Collingwood (topic)
History
- 2026-11-02: add by m2/dev
T0KP0SMXGE T0KP0SMXGE
| URI | m2://inv/T0KP0SMXGE |
|---|---|
| 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.30519#DL07 (statement). In GQQZNRYK15/e1, theorem 5.3
History
- 2026-10-31: add by m2/v0.5.6
T0KTCXHMSB T0KTCXHMSB
| URI | m2://inv/T0KTCXHMSB |
|---|---|
| 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.14741#69PE (statement). In RK1VPWWX9E/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Complex dynamics T0KVKCJFG1
| URI | m2://inv/T0KVKCJFG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#4OUX, Complex dynamics (definition)
History
- 2026-11-02: add by m2/dev
Spherical trigonometry T0KZVZ3V0E
| URI | m2://inv/T0KZVZ3V0E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#DANE, Spherical trigonometry (definition)
History
- 2026-11-02: add by m2/dev
Oikhberg, Hilbert space version T0M34VM3YK
| URI | m2://inv/T0M34VM3YK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26515#URZN, Oikhberg, Hilbert space version (statement)
History
- 2026-11-01: add by m2/v0.6.15
T0M363CF17 T0M363CF17
| URI | m2://inv/T0M363CF17 |
|---|---|
| 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.30067#ZQCI (statement)
History
- 2026-11-01: add by m2/v0.6.15
The peer replays the first Move T0MAJDCKNG
| URI | m2://inv/T0MAJDCKNG |
|---|---|
| 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#9K79, The peer replays the first Move (statement). In 5E9G06XJKC/e1, lemma D.23
History
- 2026-10-28: add by m2/v0.4.2
SMEM T0MEGYHCSK
| URI | m2://inv/T0MEGYHCSK |
|---|---|
| Kind | problem |
| 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.24593#HW08, SMEM (problem)
History
- 2026-11-01: add by m2/v0.6.15
T0MRKY1SJ5 T0MRKY1SJ5
| URI | m2://inv/T0MRKY1SJ5 |
|---|---|
| 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#W7ZI (statement). In HF7J38T8Y6/e1, theorem 3.7
History
- 2026-10-28: add by m2/v0.4.3
T0MVDSZRZY T0MVDSZRZY
| URI | m2://inv/T0MVDSZRZY |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37606#SL9H (problem). In WNFW6GY38C/e1, problem 12.1
History
- 2026-10-30: add by m2/v0.4.12
T0MW67B0ZY T0MW67B0ZY
| URI | m2://inv/T0MW67B0ZY |
|---|---|
| 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.05193#SWGA (definition). In XDMM0KNNZ9/e1, definition 58
History
- 2026-10-29: add by m2/v0.4.10
Example T0N1DTVP0Y
| URI | m2://inv/T0N1DTVP0Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has no name of its own, and the write role names it) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group action#N0TM, Example (example)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Sidereal time T0N607689D
| URI | m2://inv/T0N607689D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sidereal time, Sidereal time (definition). Also Wikidata Q191747
History
- 2026-11-02: add by m2/dev
Definition T0N70785T8
| URI | m2://inv/T0N70785T8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the cue heading names a section and not one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abelian group#RX0O, Definition (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
T0N7XKV9GA T0N7XKV9GA
| URI | m2://inv/T0N7XKV9GA |
|---|---|
| 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 2508.13122#MRFS (statement). In PX2GWH86PN/e1, lemma B.3
History
- 2026-10-27: add by m2/v0.3.5
T0N82K5NJX T0N82K5NJX
| URI | m2://inv/T0N82K5NJX |
|---|---|
| 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.06521#8CX0 (statement). In NVXWD513NM/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
Ree class input T0NA3NZEBR
| URI | m2://inv/T0NA3NZEBR |
|---|---|
| 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.15340#HKLN, Ree class input (statement). In 9NVKKW8HDH/e1, lemma 2.65
History
- 2026-10-28: add by m2/v0.4.2
Cofinal certificate cells T0NFCXB29J
| URI | m2://inv/T0NFCXB29J |
|---|---|
| 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#85W9, Cofinal certificate cells (statement). In 5PN85N6EJF/e1, lemma 14.1
History
- 2026-10-31: add by m2/v0.5.6
Well-ordered T0NJN4DJ67
| URI | m2://inv/T0NJN4DJ67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#XDQ9, Well-ordered (definition)
History
- 2026-11-02: add by m2/dev
Definition T0NJYTV0X5
| URI | m2://inv/T0NJYTV0X5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit of a sequence#V1Y9, Definition (definition)
History
- 2026-11-02: add by m2/dev
Theorem T0NKXT9J68
| URI | m2://inv/T0NKXT9J68 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier series#IYXV, Theorem (statement)
History
- 2026-11-02: add by m2/dev
T0NNC4Y9QT T0NNC4Y9QT
| URI | m2://inv/T0NNC4Y9QT |
|---|---|
| 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.32140#N116 (statement). In 96Z8GEEFH4/e1, proposition 4.2
History
- 2026-10-31: add by m2/v0.5.6
Nielsen–Schreier theorem T0P2H7XQKS
| URI | m2://inv/T0P2H7XQKS |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1259814, Nielsen–Schreier theorem (statement). Also Mathlib Subgroup.isFreeGroupOfIsFreeGroup, Wikidata Q1259814
- thousand_plus: thousand_plus Q1259814, Nielsen–Schreier theorem (statement). Also Mathlib subgroupIsFreeOfIsFree, Wikidata Q1259814, Wikipedia Nielsen–Schreier theorem
- wikipedia: Wikipedia Nielsen–Schreier theorem, Nielsen–Schreier theorem (statement). Also Wikidata Q1259814
History
- 2026-10-26: add by m2/dev
Optimal step sizes on trees T0PBZWS04X
| URI | m2://inv/T0PBZWS04X |
|---|---|
| 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.10993#G7T1, Optimal step sizes on trees (statement). In 1JCPN0K7DB/e1, corollary 5.3
History
- 2026-10-28: add by m2/v0.4.3
Definition T0PEHYYBWE
| URI | m2://inv/T0PEHYYBWE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mennicke symbol#XAES, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition T0PG4J47BF
| URI | m2://inv/T0PG4J47BF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ball covariance#91U2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Acceptance sampling T0PPDMTPTT
| URI | m2://inv/T0PPDMTPTT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#B3QJ, Acceptance sampling (definition)
History
- 2026-11-02: add by m2/dev
T0PRGDXB66 T0PRGDXB66
| URI | m2://inv/T0PRGDXB66 |
|---|---|
| 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 2610.05471#VKP6 (example). In WDWF9WKNK1/e1, example 3.1
History
- 2026-10-27: add by m2/v0.3.5
T0Q037ZCMV T0Q037ZCMV
| URI | m2://inv/T0Q037ZCMV |
|---|---|
| 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 2609.24041#NPXF (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications T0Q7S4RBPN
| URI | m2://inv/T0Q7S4RBPN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete sequence#9G11, Applications (example)
History
- 2026-11-02: add by m2/dev
T0QA2QPXRW T0QA2QPXRW
| URI | m2://inv/T0QA2QPXRW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#defn:lub (definition). In E59CDZA4DP, defn, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
sinh-Gordon equation T0QAH36Y9G
| URI | m2://inv/T0QAH36Y9G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15830645, sinh-Gordon equation (unknown). Also MathWorld Sinh-GordonEquation
History
- 2026-10-26: add by m2/dev
degree T0QCY8E6PW
| URI | m2://inv/T0QCY8E6PW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#8AM4, degree (definition)
History
- 2026-11-02: add by m2/dev
Riemann's theorem on removable singularities T0QM7A8GFJ
| URI | m2://inv/T0QM7A8GFJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#H3QE, Riemann's theorem on removable singularities (definition)
History
- 2026-11-02: add by m2/dev
T0QPG8Z5A5 T0QPG8Z5A5
| URI | m2://inv/T0QPG8Z5A5 |
|---|---|
| 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#JV2F (statement)
History
- 2026-11-02: add by m2/v0.6.18
Contragredient T0QS0MNX8Q
| URI | m2://inv/T0QS0MNX8Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Module homomorphism#WS8W, Contragredient (unknown)
History
- 2026-11-02: add by m2/dev
T0QW3EKW17 T0QW3EKW17
| URI | m2://inv/T0QW3EKW17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26951#F07Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sub-Stonean space T0QXK611HC
| URI | m2://inv/T0QXK611HC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-Stonean space, Sub-Stonean space (definition). Also Wikidata Q7630591
History
- 2026-11-02: add by m2/dev
Information separation for stationary records T0QZW74CJ4
| URI | m2://inv/T0QZW74CJ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38268#80XE, Information separation for stationary records (statement). In TQ18V9TDQS/e1, corollary 4.5
History
- 2026-10-30: add by m2/v0.4.12
Semi-Latin square T0R1MX953P
| URI | m2://inv/T0R1MX953P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latin rectangle#95M2, Semi-Latin square (unknown)
History
- 2026-11-02: add by m2/dev
Zassenhaus lemma T0RE8KNK51
| URI | m2://inv/T0RE8KNK51 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#T1AQ, Zassenhaus lemma (statement)
- wikipedia: Wikipedia List of lemmas#XL0P, Zassenhaus lemma (statement)
History
- 2026-11-02: add by m2/dev
T0RETP959R T0RETP959R
| URI | m2://inv/T0RETP959R |
|---|---|
| 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 2609.35597#N8FB (definition). In K424GCJ50P/e1, definition 3.3
History
- 2026-10-30: add by m2/v0.4.12
Construction T0RFPJTWQC
| URI | m2://inv/T0RFPJTWQC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 6-orthoplex#ADCY, Construction (definition)
History
- 2026-11-02: add by m2/dev
T0RJ7CHSDR T0RJ7CHSDR
| URI | m2://inv/T0RJ7CHSDR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.18302#U5J0 (statement). In VJTRH1S4JA/e1, theorem 2.18
History
- 2026-10-28: add by m2/v0.4.2
Flat morphism T0RRWKFVFZ
| URI | m2://inv/T0RRWKFVFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#HVX3, Flat morphism (definition)
History
- 2026-11-02: add by m2/dev
Analyticity of holomorphic functions T0SDB25QHF
| URI | m2://inv/T0SDB25QHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analyticity of holomorphic functions, Analyticity of holomorphic functions (definition). Also Wikidata Q4751162
History
- 2026-11-02: add by m2/dev
Twisted affine Lie algebra T0SHTETFRF
| URI | m2://inv/T0SHTETFRF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine Lie algebra#06BI, Twisted affine Lie algebra (unknown)
History
- 2026-11-02: add by m2/dev
T0SQKZSZH6 T0SQKZSZH6
| URI | m2://inv/T0SQKZSZH6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25957#H8MY (definition)
History
- 2026-11-01: add by m2/v0.6.15
T0SV62EHPN T0SV62EHPN
| URI | m2://inv/T0SV62EHPN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#4RQ6 (definition). In 9EMCPF1F2T/e1, definition 12
History
- 2026-10-29: add by m2/v0.4.10
T0T7Q7EZW5 T0T7Q7EZW5
| URI | m2://inv/T0T7Q7EZW5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.05688#L2ON (statement). In M8F4PDHH3S/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.3.5
Semi-infinite programming T0TQMQZ4JQ
| URI | m2://inv/T0TQMQZ4JQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#HEME, Semi-infinite programming (definition)
History
- 2026-11-02: add by m2/dev
T0TR7SPNYR T0TR7SPNYR
| URI | m2://inv/T0TR7SPNYR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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 math/0512416#UBAY (statement). In WJD9YPGGYH/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.3.5
Leibniz algebra T0TW95Y8W5
| URI | m2://inv/T0TW95Y8W5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz#2QJV, Leibniz algebra (definition)
History
- 2026-11-02: add by m2/dev
T0TZMB9X4C T0TZMB9X4C
| URI | m2://inv/T0TZMB9X4C |
|---|---|
| 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.33578#5MV7 (statement). In 3XTDDKY6YE/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Component T0V2051S82
| URI | m2://inv/T0V2051S82 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Component (graph theory), Component (definition). Also Wikidata Q2997928
History
- 2026-11-02: add by m2/dev
Special cases T0V5VPE4JX
| URI | m2://inv/T0V5VPE4JX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Einstein relation (kinetic theory)#ZCJD, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Jean Argles T0VBYMW4S8
| URI | m2://inv/T0VBYMW4S8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#D8PR, Jean Argles (unknown)
History
- 2026-11-02: add by m2/dev
T0VDDQ687M T0VDDQ687M
| URI | m2://inv/T0VDDQ687M |
|---|---|
| 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 2411.13671#O7TC (statement). In PN02WN5AA6/e1, proposition 5
History
- 2026-10-27: add by m2/v0.3.5
10-cube T0VFRJKDP1
| URI | m2://inv/T0VFRJKDP1 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#IRJO, 10-cube (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#OKN2, 10-cube (object)
History
- 2026-11-02: add by m2/dev
Lloyd Shapley T0VJPCTN9D
| URI | m2://inv/T0VJPCTN9D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OOXI, Lloyd Shapley (unknown)
History
- 2026-11-02: add by m2/dev
Signed dressed inversion T0W0W494GY
| URI | m2://inv/T0W0W494GY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00448#VJE7, Signed dressed inversion (statement). In N06J7GC05Q/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
Definition T0W4QJQ5EX
| URI | m2://inv/T0W4QJQ5EX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manipulability ellipsoid#EW1B, Definition (definition)
History
- 2026-11-02: add by m2/dev
Dual cone and polar cone T0W6MW20F5
| URI | m2://inv/T0W6MW20F5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual cone and polar cone, Dual cone and polar cone (definition). Also Wikidata Q2687694
History
- 2026-11-02: add by m2/dev
T0W7Z7SE5T T0W7Z7SE5T
| URI | m2://inv/T0W7Z7SE5T |
|---|---|
| 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.36818#1AT8 (statement). In SK6AP2B9JH/e1, lemma 5.5
History
- 2026-10-30: add by m2/v0.4.12
T0W7ZQYMNS T0W7ZQYMNS
| URI | m2://inv/T0W7ZQYMNS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20894#UKG5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
T0W9KGQ85H T0W9KGQ85H
| URI | m2://inv/T0W9KGQ85H |
|---|---|
| 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.20345#2LPZ (statement). In WVRRST04WS/e1, fact 13
History
- 2026-10-27: add by m2/v0.4.2
Multivariate CLT for annular disk counting statistics T0WHDAY02W
| URI | m2://inv/T0WHDAY02W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#XBKL, Multivariate CLT for annular disk counting statistics (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nash embedding theorem T0WRJ85J1F
| URI | m2://inv/T0WRJ85J1F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#E83I, Nash embedding theorem (statement)
- wikipedia: Wikipedia List of differential geometry topics#K4TC, Nash embedding theorem (statement)
History
- 2026-11-02: add by m2/dev
Wanda Szmielew T0X75493J1
| URI | m2://inv/T0X75493J1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GUZU, Wanda Szmielew (topic)
- wikipedia: Wikipedia List of women logicians#Q3UZ, Wanda Szmielew (topic)
History
- 2026-11-02: add by m2/dev
T0XDAD3J26 T0XDAD3J26
| URI | m2://inv/T0XDAD3J26 |
|---|---|
| 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 2102.12931#WG5M (statement). In PQHTR84RAJ/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.0
T0XF2Z1KXE T0XF2Z1KXE
| URI | m2://inv/T0XF2Z1KXE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14841#9HN3 (statement). In 6V5HP8W1ZG/e1, corollary 12
History
- 2026-10-28: add by m2/v0.4.2
T0XH8E8A7S T0XH8E8A7S
| URI | m2://inv/T0XH8E8A7S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#problem-9 (exercise). In P1C114YBXG, problem, section H
History
- 2026-11-01: add by m2/v0.6.13
T0XN6H6K5N T0XN6H6K5N
| URI | m2://inv/T0XN6H6K5N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#TN5Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
T0XNR9W9E3 T0XNR9W9E3
| URI | m2://inv/T0XNR9W9E3 |
|---|---|
| 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.35642#KIZ2 (statement). In D905BX98TP/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Bénédicte Haas T0XX77FVVE
| URI | m2://inv/T0XX77FVVE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bénédicte Haas, Bénédicte Haas (topic). Also Wikidata Q102304109
History
- 2026-11-02: add by m2/dev
Rabinowitsch trick T0XYJRWGDJ
| URI | m2://inv/T0XYJRWGDJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rabinowitsch trick, Rabinowitsch trick (definition). Also Wikidata Q7278773
History
- 2026-11-02: add by m2/dev
Definition T0Y7M340P6
| URI | m2://inv/T0Y7M340P6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Takeuti–Feferman–Buchholz ordinal#F9ZF, Definition (definition)
History
- 2026-11-02: add by m2/dev
T0YFPS1RQG T0YFPS1RQG
| URI | m2://inv/T0YFPS1RQG |
|---|---|
| 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.18219#8Y7L (statement). In X1AGBB90EH/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
T0YFVAWPFH T0YFVAWPFH
| URI | m2://inv/T0YFVAWPFH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#BV9V (statement). In XX1J2REXY2/e1, lemma 2.15
History
- 2026-10-28: add by m2/v0.4.2
T0YHM9YARK T0YHM9YARK
| URI | m2://inv/T0YHM9YARK |
|---|---|
| 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 2202.10212#5V0Z (statement). In E9ZQM8449P/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.6
Extended phase graph T0YJZGTFSP
| URI | m2://inv/T0YJZGTFSP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extended phase graph, Extended phase graph (definition). Also Wikidata Q138824249
History
- 2026-11-02: add by m2/dev
T0Z1V89K7S T0Z1V89K7S
| URI | m2://inv/T0Z1V89K7S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.01302#66C9 (statement). In KTQS6YPA4E/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
T0Z5CYKN77 T0Z5CYKN77
| URI | m2://inv/T0Z5CYKN77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30098#CTSI (statement)
History
- 2026-11-01: add by m2/v0.6.15
T0ZCKVTYRT T0ZCKVTYRT
| URI | m2://inv/T0ZCKVTYRT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#thm:nonneg_bounded (statement). In RZP28ERRZV, proposition, section 32.4
History
- 2026-11-01: add by m2/v0.6.13
Giacomo Candido T0ZEX65Q7E
| URI | m2://inv/T0ZEX65Q7E |
|---|---|
| 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#6Y1L, Giacomo Candido (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#J9XN, Giacomo Candido (topic)
History
- 2026-11-02: add by m2/dev
T0ZM98SGW2 T0ZM98SGW2
| URI | m2://inv/T0ZM98SGW2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise:diffofxn (exercise). In E59CDZA4DP, exercise, section 3.1.3
History
- 2026-11-01: add by m2/v0.6.13
Complete monomial descent T0ZPN4ETAX
| URI | m2://inv/T0ZPN4ETAX |
|---|---|
| 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.20593#2AX6, Complete monomial descent (statement). In 7GMD8J4200/e1, corollary 4
History
- 2026-10-27: add by m2/v0.4.2
a characterization of the convex envelope T0ZWH1V0YR
| URI | m2://inv/T0ZWH1V0YR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2210.06147#015X, a characterization of the convex envelope (statement). In 94RBNQA07A/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
T0ZWTWQ5GA T0ZWTWQ5GA
| URI | m2://inv/T0ZWTWQ5GA |
|---|---|
| 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.30067#RPHD (statement)
History
- 2026-11-01: add by m2/v0.6.15