Inventory rows TN
The cards of the rows of the inventory whose ids start with TN. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
TN038K3GT5 TN038K3GT5
| URI | m2://inv/TN038K3GT5 |
|---|---|
| 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.19132#ORYC (statement). In 3CQJND929F/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Modulus of continuity for empirical second moments TN045CRGX0
| URI | m2://inv/TN045CRGX0 |
|---|---|
| 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.12271#TXN9, Modulus of continuity for empirical second moments (statement). In WGCET6KSQ7/e1, lemma 37
History
- 2026-10-27: add by m2/v0.3.6
squeeze lemma TN08Z6X707
| URI | m2://inv/TN08Z6X707 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.2.1/squeeze-lemma, squeeze lemma (concept). In E59CDZA4DP, index, section 10.2.1
History
- 2026-11-01: add by m2/v0.6.13
TN0GY68T6D TN0GY68T6D
| URI | m2://inv/TN0GY68T6D |
|---|---|
| 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.07644#DQ4W (statement). In TFAN2DR6FD/e1, proposition 18
History
- 2026-10-27: add by m2/v0.3.5
TN0JWKCFEN TN0JWKCFEN
| URI | m2://inv/TN0JWKCFEN |
|---|---|
| Kind | example |
| 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.25409#GZDT (example)
History
- 2026-11-01: add by m2/v0.6.15
TN0KD2GBS8 TN0KD2GBS8
| URI | m2://inv/TN0KD2GBS8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18017#1EA3 (example). In EBSQEQYECS/e1, example 1
History
- 2026-10-28: add by m2/v0.4.2
TN0MYQTP6Q TN0MYQTP6Q
| URI | m2://inv/TN0MYQTP6Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#lem:hfib (statement). In N54F33XE07, lem, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
TN10RHJE5N TN10RHJE5N
| URI | m2://inv/TN10RHJE5N |
|---|---|
| Kind | example |
| 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#SDJB (example). In 3THDT8WNF7/e1, example 9
History
- 2026-10-29: add by m2/v0.4.12
TN16J8DN1G TN16J8DN1G
| URI | m2://inv/TN16J8DN1G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.10246#3BP7 (definition). In XD0YT3XCW2/e1, definition 2.18
History
- 2026-10-27: add by m2/v0.3.5
List of things named after Niels Henrik Abel TN1A0KGP00
| URI | m2://inv/TN1A0KGP00 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Niels Henrik Abel, List of things named after Niels Henrik Abel (topic). Also Wikidata Q16001385
History
- 2026-11-02: add by m2/dev
TN1BRECM6J TN1BRECM6J
| URI | m2://inv/TN1BRECM6J |
|---|---|
| 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 1610.01054#IY42 (definition). In WNTFRFJ8SE/e1, definition II.1
History
- 2026-10-27: add by m2/v0.3.5
Picard–Lefschetz theory TN1BS8JGHP
| URI | m2://inv/TN1BS8JGHP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Picard–Lefschetz theory, Picard–Lefschetz theory (topic). Also Wikidata Q7190517
History
- 2026-11-02: add by m2/dev
TN1C928FA1 TN1C928FA1
| URI | m2://inv/TN1C928FA1 |
|---|---|
| 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 2610.07741#OUN1 (statement). In K4YV2SF9MG/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.10
ALEA - Latin American Journal of Probability and Mathematical Statistics TN1DRKGQK4
| URI | m2://inv/TN1DRKGQK4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#0XTC, ALEA - Latin American Journal of Probability and Mathematical Statistics (unknown)
History
- 2026-11-02: add by m2/dev
Examples TN1HHBE9ZH
| URI | m2://inv/TN1HHBE9ZH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dagger compact category#5ZLY, Examples (example)
History
- 2026-11-02: add by m2/dev
TN1J2SEYZC TN1J2SEYZC
| URI | m2://inv/TN1J2SEYZC |
|---|---|
| Kind | example |
| 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.21491#IIPB (example)
History
- 2026-11-02: add by m2/v0.6.18
TN1MMT1XPH TN1MMT1XPH
| URI | m2://inv/TN1MMT1XPH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12238#BGEI (statement). In E31CZYM2H8/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Geraldine Darden TN1ZPYH4H0
| URI | m2://inv/TN1ZPYH4H0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geraldine Darden, Geraldine Darden (topic). Also Wikidata Q15030058
History
- 2026-11-02: add by m2/dev
Karatsuba phenomenon TN210BFRHD
| URI | m2://inv/TN210BFRHD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parity problem#L5R7, Karatsuba phenomenon (unknown)
History
- 2026-11-02: add by m2/dev
Properties TN23TQVZ61
| URI | m2://inv/TN23TQVZ61 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-open map#KG3F, Properties (statement)
History
- 2026-11-02: add by m2/dev
TN24A2A8C4 TN24A2A8C4
| URI | m2://inv/TN24A2A8C4 |
|---|---|
| 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.21298#7TZA (statement). In AXWM2MBYXV/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.2
Yurii Nesterov TN2DGRAYW1
| URI | m2://inv/TN2DGRAYW1 |
|---|---|
| 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#1RLJ, Yurii Nesterov (topic)
History
- 2026-11-02: add by m2/dev
TN2E4B58B9 TN2E4B58B9
| URI | m2://inv/TN2E4B58B9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.16114#VBKS (statement). In JZZ3FJ382R/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Pope Sylvester II TN2G97N1PG
| URI | m2://inv/TN2G97N1PG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pope Sylvester II, Pope Sylvester II (topic). Also Wikidata Q172383
History
- 2026-11-02: add by m2/dev
TN2H5DX451 TN2H5DX451
| URI | m2://inv/TN2H5DX451 |
|---|---|
| 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 2610.00312#EJAR (definition). In 41NFABHFXH/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Erdős–Stone theorem TN2NTCMNSB
| URI | m2://inv/TN2NTCMNSB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#CGM2, Erdős–Stone theorem (statement)
History
- 2026-11-02: add by m2/dev
Formal concept TN2PQYWDRR
| URI | m2://inv/TN2PQYWDRR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal concept analysis#R2P2, Formal concept (unknown)
History
- 2026-11-02: add by m2/dev
Definition TN30FPXN7Y
| URI | m2://inv/TN30FPXN7Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pinwheel scheduling#LJWR, Definition (definition)
History
- 2026-11-02: add by m2/dev
Formal definition TN3JJ6P0KZ
| URI | m2://inv/TN3JJ6P0KZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean line segment length#CHFT, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
TN3TKCZKEN TN3TKCZKEN
| URI | m2://inv/TN3TKCZKEN |
|---|---|
| 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 2509.21444#CWOC (statement). In CTVPA2FQT1/e1, lemma 8.2.4
History
- 2026-10-27: add by m2/v0.4.0
TN3Y6P6TFC TN3Y6P6TFC
| URI | m2://inv/TN3Y6P6TFC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-3.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Etymology of Nauru TN44TFHQAR
| URI | m2://inv/TN44TFHQAR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nauru#4FJH, Etymology of Nauru (unknown)
History
- 2026-11-02: add by m2/dev
Tverberg's theorem TN4702ZSHA
| URI | m2://inv/TN4702ZSHA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 52-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7857350, Tverberg's theorem (statement). Also Wikidata Q7857350
- thousand_plus: thousand_plus Q7857350, Tverberg's theorem (statement). Also Wikidata Q7857350, Wikipedia Tverberg's theorem
- wikipedia: Wikipedia Tverberg's theorem, Tverberg's theorem (statement). Also Wikidata Q7857350
History
- 2026-10-26: add by m2/dev
TN47ZA03MJ TN47ZA03MJ
| URI | m2://inv/TN47ZA03MJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-5-1-1.xml#act-5-1-1 (exercise). In 907G4C4EJ1, activity, section 5.1.2
History
- 2026-11-01: add by m2/v0.6.13
TN4DJJBTEY TN4DJJBTEY
| URI | m2://inv/TN4DJJBTEY |
|---|---|
| Kind | definition |
| 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.22074#M3IX (definition). In F3BKXXPR3K/e1, definition 3.9
History
- 2026-10-27: add by m2/v0.4.2
TN4ZTQPQNM TN4ZTQPQNM
| URI | m2://inv/TN4ZTQPQNM |
|---|---|
| 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.14121#N702 (statement). In MRKCK4QYZN/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
Rosa M. Morris TN5211XTQ3
| URI | m2://inv/TN5211XTQ3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rosa M. Morris, Rosa M. Morris (topic). Also Wikidata Q102079613
History
- 2026-11-02: add by m2/dev
Uniform limit theorem TN555T85RX
| URI | m2://inv/TN555T85RX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform convergence#TOIE, Uniform limit theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples TN588K0NH9
| URI | m2://inv/TN588K0NH9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nerve (category theory)#BGD8, Examples (example)
History
- 2026-11-02: add by m2/dev
Maximum principle\index{maximum principle} TN5BB01MVY
| URI | m2://inv/TN5BB01MVY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-6, Maximum principle\index{maximum principle} (statement). In VNMV985MXX, thm, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
TN5GD8TDS5 TN5GD8TDS5
| URI | m2://inv/TN5GD8TDS5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37634#SIU4 (statement). In NTWNXKDBKK/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
TN5KC58FQE TN5KC58FQE
| URI | m2://inv/TN5KC58FQE |
|---|---|
| Kind | definition |
| 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.28009#OZ6Z (definition)
History
- 2026-11-01: add by m2/v0.6.15
Longest alternating subsequence TN5KGE4WF8
| URI | m2://inv/TN5KGE4WF8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Longest alternating subsequence, Longest alternating subsequence (definition). Also Wikidata Q17079793
History
- 2026-11-02: add by m2/dev
TN5PF01V3N TN5PF01V3N
| URI | m2://inv/TN5PF01V3N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04993#86CO (statement). In JQBWZPXKAV/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Examples TN620XEMHR
| URI | m2://inv/TN620XEMHR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pointwise#2APS, Examples (example)
History
- 2026-11-02: add by m2/dev
The method TN6AXNP0CB
| URI | m2://inv/TN6AXNP0CB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prony's method#ODRH, The method (definition)
History
- 2026-11-02: add by m2/dev
Finite-$N$ PCA subspace TN6BGA1SKJ
| URI | m2://inv/TN6BGA1SKJ |
|---|---|
| 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 2610.10745#T5NP, Finite-$N$ PCA subspace (definition). In 5MJ4NJ5ZCV/e1, definition 2.19
History
- 2026-10-28: add by m2/v0.4.3
TN6K5JR422 TN6K5JR422
| URI | m2://inv/TN6K5JR422 |
|---|---|
| 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.01924#ZYAA (statement). In CB89152EQW/e1, theorem 0.7
History
- 2026-10-29: add by m2/v0.4.12
Lagoa dos Três Cantos TN6PT866KY
| URI | m2://inv/TN6PT866KY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#LDAL, Lagoa dos Três Cantos (unknown)
History
- 2026-11-02: add by m2/dev
TN74J47GRC TN74J47GRC
| URI | m2://inv/TN74J47GRC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-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.19787#LJXF (statement). In A4VP56CT7B/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
TN7F6XT9WS TN7F6XT9WS
| URI | m2://inv/TN7F6XT9WS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08664#AENS (statement). In 1YY0P4ZS0T/e1, proposition 60
History
- 2026-10-29: add by m2/v0.4.10
Arthur Prior TN7K1XA9XY
| URI | m2://inv/TN7K1XA9XY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#5DBH, Arthur Prior (topic)
History
- 2026-11-02: add by m2/dev
Double exponential function TN7TS696B7
| URI | m2://inv/TN7TS696B7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#7Z26, Double exponential function (definition)
History
- 2026-11-02: add by m2/dev
Gregory Lawler TN7XPXM3HJ
| URI | m2://inv/TN7XPXM3HJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#CH70, Gregory Lawler (unknown)
History
- 2026-11-02: add by m2/dev
TN88HSVHR9 TN88HSVHR9
| URI | m2://inv/TN88HSVHR9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33733#8ACZ (statement). In QBAP8C82FG/e1, lemma 48
History
- 2026-10-30: add by m2/v0.4.12
Examples TN8CS6ZM62
| URI | m2://inv/TN8CS6ZM62 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flip (algebraic geometry)#KY2G, Examples (example)
History
- 2026-11-02: add by m2/dev
Canonical-specialization representation criterion (CSRC TN8D5MFP07
| URI | m2://inv/TN8D5MFP07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#TWI8, Canonical-specialization representation criterion (CSRC (statement). In AGJE43FTF8/e1, proposition 8.10
History
- 2026-10-27: add by m2/v0.4.2
TN8DH2B8A2 TN8DH2B8A2
| URI | m2://inv/TN8DH2B8A2 |
|---|---|
| Kind | problem |
| 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#00QT (problem). In HVY45JQRNK/e1, problem 7
History
- 2026-10-31: add by m2/v0.5.6
TN8PX119AN TN8PX119AN
| URI | m2://inv/TN8PX119AN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22205#V0HC (statement). In 7REABAAQED/e1, corollary
History
- 2026-10-27: add by m2/v0.4.0
Generalizations TN8TWDQAGC
| URI | m2://inv/TN8TWDQAGC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov kernel#Z5KG, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Strict finite-observation representation gap TN927JENM8
| URI | m2://inv/TN927JENM8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00291#3ACT, Strict finite-observation representation gap (statement). In JXCHERE2AF/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Limit bound on second moment for anticorrelated noise TN95FK97R4
| URI | m2://inv/TN95FK97R4 |
|---|---|
| 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.02831#6DSP, Limit bound on second moment for anticorrelated noise (statement). In YA5DBTQCB1/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.3.5
Existence of exceptional weights TN99GECVV2
| URI | m2://inv/TN99GECVV2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.14310#OWAD, Existence of exceptional weights (statement). In 8GSG7024NW/e1, theorem 7.2
History
- 2026-10-28: add by m2/v0.4.2
David Milman TN9EM2FJ99
| URI | m2://inv/TN9EM2FJ99 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#VNBD, David Milman (topic)
History
- 2026-11-02: add by m2/dev
Krein's condition TN9GBPHD1P
| URI | m2://inv/TN9GBPHD1P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krein's condition, Krein's condition (definition). Also Wikidata Q6436610
History
- 2026-11-02: add by m2/dev
TNA4QG76N0 TNA4QG76N0
| URI | m2://inv/TNA4QG76N0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 54.7
History
- 2026-11-01: add by m2/v0.6.13
Examples TNAA5KG1KJ
| URI | m2://inv/TNAA5KG1KJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cumulative distribution function#5RBM, Examples (example)
History
- 2026-11-02: add by m2/dev
An application of the second law of thermodynamics TNACE341SV
| URI | m2://inv/TNACE341SV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exergy#JG5P, An application of the second law of thermodynamics (statement)
History
- 2026-11-02: add by m2/dev
TNAE9CC1A9 TNAE9CC1A9
| URI | m2://inv/TNAE9CC1A9 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-26 (proof). In N54F33XE07, proof, section C.3
History
- 2026-11-01: add by m2/v0.6.13
Furstenberg–Sárközy theorem TNAH97PMCZ
| URI | m2://inv/TNAH97PMCZ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős#5NVR, Furstenberg–Sárközy theorem (conjecture)
History
- 2026-11-02: add by m2/dev
Properties TNAHB79010
| URI | m2://inv/TNAHB79010 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spark (mathematics)#TJ4T, Properties (statement)
History
- 2026-11-02: add by m2/dev
Main theorem TNAHZ65HP4
| URI | m2://inv/TNAHZ65HP4 |
|---|---|
| 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.29022#QBV1, Main theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
TNAV8G39DY TNAV8G39DY
| URI | m2://inv/TNAV8G39DY |
|---|---|
| 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 2502.05771#ODUH (statement). In 958KKGH89J/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.6
Chirplet transform TNB58DTJKG
| URI | m2://inv/TNB58DTJKG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#5XW0, Chirplet transform (definition)
- wikipedia: Wikipedia List of Fourier-related transforms#ZETP, Chirplet transform (definition)
History
- 2026-11-02: add by m2/dev
Ethier--Kurtz diffusion criterion TNB5JY7YFE
| URI | m2://inv/TNB5JY7YFE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17946#53CK, Ethier--Kurtz diffusion criterion (statement). In A7HTYWJNCX/e1, proposition 5
History
- 2026-10-28: add by m2/v0.4.2
Borel function TNBB9AYS7N
| URI | m2://inv/TNBB9AYS7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#CMJQ, Borel function (definition)
History
- 2026-11-02: add by m2/dev
TNBM5NVX3K TNBM5NVX3K
| URI | m2://inv/TNBM5NVX3K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38323#LY0P (statement). In MER0S03A77/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
stochastic differential equation TNC12RXMXQ
| URI | m2://inv/TNC12RXMXQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 93E20 |
| Sources | 2 |
| Outcome | open |
| Node | Stochastic differential equation B219G9SHJA |
Mentions
- wikidata: Wikidata Q1545585, stochastic differential equation (topic)
- wikipedia: Wikipedia Stochastic differential equation, Stochastic differential equation (definition). Also Wikidata Q1545585
History
- 2026-10-26: add by m2/dev
TNC3W4K7N5 TNC3W4K7N5
| URI | m2://inv/TNC3W4K7N5 |
|---|---|
| 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#FG40 (statement). In WAXS6FS388/e1, theorem 7.8
History
- 2026-10-30: add by m2/v0.4.12
TNCAYVKRGW TNCAYVKRGW
| URI | m2://inv/TNCAYVKRGW |
|---|---|
| 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#YQRV (statement). In W0PQMW25VY/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Examples TNCTFPMKXS
| URI | m2://inv/TNCTFPMKXS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant (mathematics)#TO2J, Examples (example)
History
- 2026-11-02: add by m2/dev
TND872S6AQ TND872S6AQ
| URI | m2://inv/TND872S6AQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#Z9M6 (statement). In QX77AN49J0/e1, theorem 7.7
History
- 2026-10-27: add by m2/v0.4.2
Asha Rao TND927P2GR
| URI | m2://inv/TND927P2GR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asha Rao, Asha Rao (topic). Also Wikidata Q59702744
History
- 2026-11-02: add by m2/dev
TND99BT1V9 TND99BT1V9
| URI | m2://inv/TND99BT1V9 |
|---|---|
| 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 1612.08394#KKHY (statement). In 1P8D88DKG5/e1, theorem B.1
History
- 2026-10-27: add by m2/v0.3.5
TNDVVSDMWA TNDVVSDMWA
| URI | m2://inv/TNDVVSDMWA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/differentiate.tex#proof-2 (proof). In RZP28ERRZV, proof, section 30.2
History
- 2026-11-01: add by m2/v0.6.13
Spherical spectral representation TNDXE1KFM3
| URI | m2://inv/TNDXE1KFM3 |
|---|---|
| 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.27335#62XD, Spherical spectral representation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Two-sided projected invariance principle TNE195G3ZZ
| URI | m2://inv/TNE195G3ZZ |
|---|---|
| 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.36594#QHCS, Two-sided projected invariance principle (statement). In 8JDQ9FWFRK/e1, lemma D.2
History
- 2026-10-30: add by m2/v0.4.12
TNE1RSJH5F TNE1RSJH5F
| URI | m2://inv/TNE1RSJH5F |
|---|---|
| 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 2609.27752#CLR3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
TNE46WTA9X TNE46WTA9X
| URI | m2://inv/TNE46WTA9X |
|---|---|
| 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.01368#NPLD (statement). In 4ER0Z2TGN8/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.12
Thomas Bugge TNE4RN9VJY
| URI | m2://inv/TNE4RN9VJY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Bugge, Thomas Bugge (topic). Also Wikidata Q4993510
History
- 2026-11-02: add by m2/dev
TNE5MZVDNY TNE5MZVDNY
| URI | m2://inv/TNE5MZVDNY |
|---|---|
| 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.26477#8QJG (statement)
History
- 2026-11-01: add by m2/v0.6.15
TNE78290YJ TNE78290YJ
| URI | m2://inv/TNE78290YJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.16041#7M89 (statement). In 2GD6NWJVRM/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
\labelcref{rat_dimension_is_rat_measure TNE7ECQY9C
| URI | m2://inv/TNE7ECQY9C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.35605#GMVU, \labelcref{rat_dimension_is_rat_measure (statement). In X1KWTAA3M2/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Treks into Intuitive Geometry TNEB8JHT9Y
| URI | m2://inv/TNEB8JHT9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Treks into Intuitive Geometry, Treks into Intuitive Geometry (definition). Also Wikidata Q56227800
History
- 2026-11-02: add by m2/dev
TNEGWNJGMY TNEGWNJGMY
| URI | m2://inv/TNEGWNJGMY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10147#2SJS (statement). In WZWGAG2FSN/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
TNEJRZA71V TNEJRZA71V
| URI | m2://inv/TNEJRZA71V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#N7DG (statement). In 68AE571S4P/e1, lemma 2.20
History
- 2026-10-29: add by m2/v0.4.10
Graham type Theorem TNES9QD56D
| URI | m2://inv/TNES9QD56D |
|---|---|
| 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.08039#IVIA, Graham type Theorem (statement). In Y1K8WE4MDP/e1, corollary 1.2
History
- 2026-10-29: add by m2/v0.4.10
TNESSVXKQP TNESSVXKQP
| URI | m2://inv/TNESSVXKQP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/arithmetical-functions.tex#prop:succ-ld (statement). In PKGMM3P5QY, prop, section 37.8
History
- 2026-11-01: add by m2/v0.6.13
TNEXGB7ZRK TNEXGB7ZRK
| URI | m2://inv/TNEXGB7ZRK |
|---|---|
| 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 math/0411039#CUVO (definition). In ZTBDXSKFFW/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Example TNF2N1B1HG
| URI | m2://inv/TNF2N1B1HG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifford group#TDZF, Example (example)
History
- 2026-11-02: add by m2/dev
TNF483P4TV TNF483P4TV
| URI | m2://inv/TNF483P4TV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#KFM1 (statement). In JWNYJVH8XG/e1, corollary 6.12
History
- 2026-10-29: add by m2/v0.4.10
TNF6MW1TM8 TNF6MW1TM8
| URI | m2://inv/TNF6MW1TM8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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 2609.33263#PAG9 (statement). In 6S5EH3388Z/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
TNF75E6HB6 TNF75E6HB6
| URI | m2://inv/TNF75E6HB6 |
|---|---|
| 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.14318#5BY4 (statement). In HA4SZZJ831/e1, corollary 2.2
History
- 2026-10-28: add by m2/v0.4.2
TNF782C57M TNF782C57M
| URI | m2://inv/TNF782C57M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01433#KZ1P (statement). In 160PQ7F1AS/e1, lemma 3.17
History
- 2026-10-29: add by m2/v0.4.12
Attainable RDP guarantees of OPS with uniformly bounded log-likelihood ratio TNFDHSNJ0J
| URI | m2://inv/TNFDHSNJ0J |
|---|---|
| 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.19573#KQJN, Attainable RDP guarantees of OPS with uniformly bounded log-likelihood ratio (statement). In NM6Z2R61CN/e1, corollary 5
History
- 2026-10-28: add by m2/v0.4.2
Solid Klein bottle TNFR0C14RX
| URI | m2://inv/TNFR0C14RX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#I0R7, Solid Klein bottle (definition)
History
- 2026-11-02: add by m2/dev
TNFT5QXSJ4 TNFT5QXSJ4
| URI | m2://inv/TNFT5QXSJ4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#def:mult_mod_p (example). In RZP28ERRZV, example, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
TNFZNQT3D5 TNFZNQT3D5
| URI | m2://inv/TNFZNQT3D5 |
|---|---|
| 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 2604.23212#R547 (statement). In 4X12V9RS0D/e1, theorem E.1
History
- 2026-10-27: add by m2/v0.3.5
Saint Venant-Kirchhoff model TNGH2S20MT
| URI | m2://inv/TNGH2S20MT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperelastic material#0VED, Saint Venant-Kirchhoff model (unknown)
History
- 2026-11-02: add by m2/dev
TNGS03R2XB TNGS03R2XB
| URI | m2://inv/TNGS03R2XB |
|---|---|
| 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.00902#PFS1 (statement). In 1BYMXTH5MW/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
Formulations TNH4DTQDE3
| URI | m2://inv/TNH4DTQDE3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richards equation#SUQS, Formulations (definition)
History
- 2026-11-02: add by m2/dev
Extensions TNH6X95AT0
| URI | m2://inv/TNH6X95AT0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catmull–Clark subdivision surface#8Q12, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Shreeram Shankar Abhyankar TNH8B2QA4J
| URI | m2://inv/TNH8B2QA4J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#5GSE, Shreeram Shankar Abhyankar (topic)
History
- 2026-11-02: add by m2/dev
Herbert Edelsbrunner TNHA8E6WKW
| URI | m2://inv/TNHA8E6WKW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Z0W0, Herbert Edelsbrunner (unknown)
History
- 2026-11-02: add by m2/dev
TNHCKKMJHF TNHCKKMJHF
| URI | m2://inv/TNHCKKMJHF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/caratheodory.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 63.7
History
- 2026-11-01: add by m2/v0.6.13
TNHF6ZV7KM TNHF6ZV7KM
| URI | m2://inv/TNHF6ZV7KM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#proof-7 (proof). In E59CDZA4DP, proof, section 1.3.4
History
- 2026-11-01: add by m2/v0.6.13
Definitions TNHHNBT7WQ
| URI | m2://inv/TNHHNBT7WQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Substructure search#9LNZ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Poisson distribution TNHKSXF6DJ
| URI | m2://inv/TNHKSXF6DJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical series#2VWW, Poisson distribution (definition)
History
- 2026-11-02: add by m2/dev
Anneli Cahn Lax TNHM2FB25A
| URI | m2://inv/TNHM2FB25A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#T800, Anneli Cahn Lax (topic)
History
- 2026-11-02: add by m2/dev
TNHMSPKYYM TNHMSPKYYM
| URI | m2://inv/TNHMSPKYYM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13877#JOMC (statement). In NBMA6DBKJG/e1, proposition 5.6
History
- 2026-10-28: add by m2/v0.4.2
Frölicher–Nijenhuis bracket TNHRT5SGNK
| URI | m2://inv/TNHRT5SGNK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frölicher–Nijenhuis bracket, Frölicher–Nijenhuis bracket (definition). Also Wikidata Q5506750
History
- 2026-11-02: add by m2/dev
TNHSAM1HMP TNHSAM1HMP
| URI | m2://inv/TNHSAM1HMP |
|---|---|
| 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.03358#KH2V (statement). In KCXEY7HJ8V/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.12
Theorem (Monotone convergence for non-negative measurable functions) TNHTTYKGSW
| URI | m2://inv/TNHTTYKGSW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone convergence theorem#LQN9, Theorem (Monotone convergence for non-negative measurable functions) (statement)
History
- 2026-11-02: add by m2/dev
TNHWHPT0K2 TNHWHPT0K2
| URI | m2://inv/TNHWHPT0K2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-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.23527#14DV (statement)
History
- 2026-11-02: add by m2/v0.6.17
TNJFA70114 TNJFA70114
| URI | m2://inv/TNJFA70114 |
|---|---|
| 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.09594#H3I2 (statement). In TVE5WK2MH8/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
Hitchin system TNJGMFNJWK
| URI | m2://inv/TNJGMFNJWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hitchin system, Hitchin system (definition). Also Wikidata Q8009704
History
- 2026-11-02: add by m2/dev
TNJGVDBT7Z TNJGVDBT7Z
| URI | m2://inv/TNJGVDBT7Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02901#F08V (statement). In NSP90G5XCQ/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.12
Construction TNJJ0KJ9V7
| URI | m2://inv/TNJJ0KJ9V7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hanner polytope#WQRQ, Construction (definition)
History
- 2026-11-02: add by m2/dev
Erdős–Straus conjecture TNJQVFKR2H
| URI | m2://inv/TNJQVFKR2H |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#E18S, Erdős–Straus conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
p-rationality conjecture TNJR17MGDX
| URI | m2://inv/TNJR17MGDX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greenberg's conjectures#5LHV, p-rationality conjecture (statement)
History
- 2026-11-02: add by m2/dev
Meet-dense set TNKG899T7C
| URI | m2://inv/TNKG899T7C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#0BXJ, Meet-dense set (unknown)
History
- 2026-11-02: add by m2/dev
Norbert Wiener TNKGRYD9CN
| URI | m2://inv/TNKGRYD9CN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#A1TU, Norbert Wiener (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CNXA, Norbert Wiener (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#F92B, Norbert Wiener (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#R9H0, Norbert Wiener (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#S4DV, Norbert Wiener (topic)
History
- 2026-11-02: add by m2/dev
TNKP3CQ05E TNKP3CQ05E
| URI | m2://inv/TNKP3CQ05E |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#proof-28 (proof). In N54F33XE07, proof, section 3.8
History
- 2026-11-01: add by m2/v0.6.13
operation, binary TNKSDWYZZ5
| URI | m2://inv/TNKSDWYZZ5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.7.1/operation-binary, operation, binary (concept). In QKM9DD2H56, index, section B.7.1
History
- 2026-11-01: add by m2/v0.6.13
difference quotient TNKVJ9H5W5
| URI | m2://inv/TNKVJ9H5W5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Difference quotient AZBDB5F4M4 |
Mentions
- wikidata: Wikidata Q1224446, difference quotient (unknown). Also MathWorld DifferenceQuotient
- wikipedia: Wikipedia Difference quotient, Difference quotient (definition). Also Wikidata Q1224446
History
- 2026-10-26: add by m2/dev
TNKZ4D4DVF TNKZ4D4DVF
| URI | m2://inv/TNKZ4D4DVF |
|---|---|
| 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.05486#3J7K (statement). In 5Z46AK2XTC/e1, lemma C.5
History
- 2026-10-29: add by m2/v0.4.10
Autonomous DAEs TNM2Z1MC86
| URI | m2://inv/TNM2Z1MC86 |
|---|---|
| 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.09634#V9B9, Autonomous DAEs (statement). In FH42QK814C/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.10
James M. Buchanan TNMKNWE2P8
| URI | m2://inv/TNMKNWE2P8 |
|---|---|
| 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#2Q05, James M. Buchanan (unknown)
- wikipedia: Wikipedia List of University of California, Los Angeles people#KHGS, James M. Buchanan (unknown)
History
- 2026-11-02: add by m2/dev
Generalized pencil-of-function method TNMKTXVQNF
| URI | m2://inv/TNMKTXVQNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized pencil-of-function method, Generalized pencil-of-function method (definition). Also Wikidata Q85762946
History
- 2026-11-02: add by m2/dev
Mari Palta TNMM7Q1TR7
| URI | m2://inv/TNMM7Q1TR7 |
|---|---|
| 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#NQ9T, Mari Palta (unknown)
History
- 2026-11-02: add by m2/dev
TNN0ERJBG6 TNN0ERJBG6
| URI | m2://inv/TNN0ERJBG6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/identity.tex#lem:truth (statement). In PKGMM3P5QY, lem, section 11.4
History
- 2026-11-01: add by m2/v0.6.13
rotation group SO(3) TNN4XP7CS9
| URI | m2://inv/TNN4XP7CS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Rotation group SO(3) 263GGJFA21 |
Mentions
- wikidata: Wikidata Q1256500, rotation group SO(3) (unknown). Also nLab SO(3)
- wikipedia: Wikipedia 3D rotation group, 3D rotation group (definition). Also Wikidata Q1256500
History
- 2026-10-26: add by m2/dev
Variational formula at every real point TNN5AY70AJ
| URI | m2://inv/TNN5AY70AJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-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.15180#DXZT, Variational formula at every real point (statement). In AMRWRJDNKJ/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
TNNCX6N174 TNNCX6N174
| URI | m2://inv/TNNCX6N174 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14888#3NK1 (statement). In GN3ZT9DAD9/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Neyman construction TNNGY6N5BJ
| URI | m2://inv/TNNGY6N5BJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neyman construction, Neyman construction (definition). Also Wikidata Q7021454
History
- 2026-11-02: add by m2/dev
Loewy decomposition TNNKQJ3EG2
| URI | m2://inv/TNNKQJ3EG2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#BKSQ, Loewy decomposition (definition)
History
- 2026-11-02: add by m2/dev
Application TNNNVMDAXC
| URI | m2://inv/TNNNVMDAXC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abess#B45V, Application (example)
History
- 2026-11-02: add by m2/dev
Gap identity TNNS2765B0
| URI | m2://inv/TNNS2765B0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12713#YEVB, Gap identity (statement). In F14A5HX20Q/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
TNNSBSM6KD TNNSBSM6KD
| URI | m2://inv/TNNSBSM6KD |
|---|---|
| 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.37704#SIOS (statement). In HGTFJ325A4/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Cohn, Kumar TNNTCAYJE4
| URI | m2://inv/TNNTCAYJE4 |
|---|---|
| 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.21121#3C0Y, Cohn, Kumar (statement)
History
- 2026-11-02: add by m2/v0.6.18
Lyapunov functions being quadratic, up to a change of coordinates TNNXHSKH4J
| URI | m2://inv/TNNXHSKH4J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.05626#B5OW, Lyapunov functions being quadratic, up to a change of coordinates (statement). In PMZEF75W7S/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
TNNXR1ETJ1 TNNXR1ETJ1
| URI | m2://inv/TNNXR1ETJ1 |
|---|---|
| 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 2609.23167#5XAZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
truth predicate TNP7MQV0M2
| URI | m2://inv/TNP7MQV0M2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#A0L7, truth predicate (definition)
History
- 2026-11-02: add by m2/dev
XLfit TNPB7N1C37
| URI | m2://inv/TNPB7N1C37 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia XLfit, XLfit (definition). Also Wikidata Q8042281
History
- 2026-11-02: add by m2/dev
TNPNFDVE3Y TNPNFDVE3Y
| URI | m2://inv/TNPNFDVE3Y |
|---|---|
| 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.27823#GR6Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Grunwald–Wang theorem TNPRGZHDRG
| URI | m2://inv/TNPRGZHDRG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#TPB7, Grunwald–Wang theorem (statement)
History
- 2026-11-02: add by m2/dev
TNPZD5TPRF TNPZD5TPRF
| URI | m2://inv/TNPZD5TPRF |
|---|---|
| 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.25314#7S0O (statement)
History
- 2026-11-01: add by m2/v0.6.15
complex TNQ34BN19K
| URI | m2://inv/TNQ34BN19K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Laplace transforms#D38O, complex (definition)
History
- 2026-11-02: add by m2/dev
Paul Montel TNQ49MXTMZ
| URI | m2://inv/TNQ49MXTMZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Montel, Paul Montel (topic). Also Wikidata Q726753
History
- 2026-11-02: add by m2/dev
Conditional score moments TNQ7FBZBRW
| URI | m2://inv/TNQ7FBZBRW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09472#BZR1, Conditional score moments (statement). In 35925M9GJW/e1, lemma B.4
History
- 2026-10-29: add by m2/v0.4.10
TNQF8K956J TNQF8K956J
| URI | m2://inv/TNQF8K956J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.36823#89JZ (statement). In 55WT8DME6Y/e1, proposition 4.8
History
- 2026-10-30: add by m2/v0.4.12
∈ TNQGPT1KZW
| URI | m2://inv/TNQGPT1KZW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2221333, ∈ (unknown). Also ProofWiki Symbols:Set_Theory/Element
History
- 2026-10-26: add by m2/dev
Fa TNQRR52MKT
| URI | m2://inv/TNQRR52MKT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fa (philosophy), Fa (definition). Also Wikidata Q5427535
History
- 2026-11-02: add by m2/dev
TNQSFM1JDE TNQSFM1JDE
| URI | m2://inv/TNQSFM1JDE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28254#M846 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hall TNQTA9B1S6
| URI | m2://inv/TNQTA9B1S6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23464#8DHJ, Hall (statement)
History
- 2026-11-02: add by m2/v0.6.17
Implementation TNQWP9R3PM
| URI | m2://inv/TNQWP9R3PM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#R2FR, Implementation (unknown)
History
- 2026-11-02: add by m2/dev
modal actualism TNR0FJFJZ6
| URI | m2://inv/TNR0FJFJZ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#RTB4, modal actualism (definition)
History
- 2026-11-02: add by m2/dev
Innovation TNR0G81YE0
| URI | m2://inv/TNR0G81YE0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Innovation (signal processing), Innovation (definition). Also Wikidata Q6036164
History
- 2026-11-02: add by m2/dev
TNR1DRQB5E TNR1DRQB5E
| URI | m2://inv/TNR1DRQB5E |
|---|---|
| Kind | example |
| 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.25409#1I8S (example)
History
- 2026-11-01: add by m2/v0.6.15
TNR24Z11FV TNR24Z11FV
| URI | m2://inv/TNR24Z11FV |
|---|---|
| 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.03555#EUXK (statement). In 9JZJTRRVR1/e1, proposition 2.14
History
- 2026-10-29: add by m2/v0.4.12
TNR57G7JF4 TNR57G7JF4
| URI | m2://inv/TNR57G7JF4 |
|---|---|
| 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.12740#S83Z (statement). In HKYRZSZPEC/e1, lemma B.2
History
- 2026-10-28: add by m2/v0.4.2
University of Massachusetts Lowell TNRAWTNAKC
| URI | m2://inv/TNRAWTNAKC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#96XF, University of Massachusetts Lowell (unknown)
History
- 2026-11-02: add by m2/dev
TNRMVG86TZ TNRMVG86TZ
| URI | m2://inv/TNRMVG86TZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.09422#1YG6 (statement). In MS7M2BJS9X/e1, corollary 5.3
History
- 2026-10-29: add by m2/v0.4.10
TNRQEC45KJ TNRQEC45KJ
| URI | m2://inv/TNRQEC45KJ |
|---|---|
| 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.32383#3NQA (statement). In 94GZYA55Q5/e1, lemma 8
History
- 2026-10-31: add by m2/v0.5.6
boolean satisfiability problem TNRT8MF2DD
| URI | m2://inv/TNRT8MF2DD |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q875276, boolean satisfiability problem (unknown). Also MathWorld SatisfiabilityProblem
- wikipedia: Wikipedia Boolean satisfiability problem, Boolean satisfiability problem (problem). Also Wikidata Q875276
History
- 2026-10-26: add by m2/dev
TNS1Q3M73T TNS1Q3M73T
| URI | m2://inv/TNS1Q3M73T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-3-5-1.xml#act-3-5-1 (exercise). In 907G4C4EJ1, activity, section 3.5.2
History
- 2026-11-01: add by m2/v0.6.13
TNSJWJFR56 TNSJWJFR56
| URI | m2://inv/TNSJWJFR56 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse Galois problem#EWWK (problem)
History
- 2026-11-02: add by m2/dev
TNSN567APS TNSN567APS
| URI | m2://inv/TNSN567APS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20018#PJW1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
TNSNH083HN TNSNH083HN
| URI | m2://inv/TNSNH083HN |
|---|---|
| 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.39809#K1R4 (statement). In 97YSJAHESY/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
TNSQ6Y1V13 TNSQ6Y1V13
| URI | m2://inv/TNSQ6Y1V13 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27641#02OK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Invariant estimator TNSRQ7C1JQ
| URI | m2://inv/TNSRQ7C1JQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant estimator, Invariant estimator (definition). Also Wikidata Q6059509
History
- 2026-11-02: add by m2/dev
Henson graph TNSWMJ6Z7K
| URI | m2://inv/TNSWMJ6Z7K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#WXU8, Henson graph (definition)
History
- 2026-11-02: add by m2/dev
TNTA03FTX1 TNTA03FTX1
| URI | m2://inv/TNTA03FTX1 |
|---|---|
| Kind | definition |
| 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 1512.06981#AGDA (definition). In X923ZEY423/e1, definition 1.2.2
History
- 2026-10-27: add by m2/v0.3.5
TNTCQSPF49 TNTCQSPF49
| URI | m2://inv/TNTCQSPF49 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19023#TVCV (statement). In QFA8TMJPHZ/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
TNTE7C71CJ TNTE7C71CJ
| URI | m2://inv/TNTE7C71CJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-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.23527#RUW9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Armed Forces Security Agency TNTE8FVJJ6
| URI | m2://inv/TNTE8FVJJ6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Security Agency#V6S2, Armed Forces Security Agency (unknown)
History
- 2026-11-02: add by m2/dev
TNTEKYAYB6 TNTEKYAYB6
| URI | m2://inv/TNTEKYAYB6 |
|---|---|
| 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.16883#MM7Z (statement). In TYS9N30M63/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
TNTH8SYN93 TNTH8SYN93
| URI | m2://inv/TNTH8SYN93 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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 2512.16003#GCOC (definition). In BJGS6ZCQ12/e1, definition 8.2
History
- 2026-10-27: add by m2/v0.3.6
Descending metric slope TNTP5Z9JX3
| URI | m2://inv/TNTP5Z9JX3 |
|---|---|
| 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#2553, Descending metric slope (definition). In YXZX6Z8S6A/e1, definition 4.10
History
- 2026-10-28: add by m2/v0.4.2
TNTW3AG6AT TNTW3AG6AT
| URI | m2://inv/TNTW3AG6AT |
|---|---|
| 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#FF60 (statement)
History
- 2026-11-02: add by m2/v0.6.17
TNV7SPT1W0 TNV7SPT1W0
| URI | m2://inv/TNV7SPT1W0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.01742#J55Y (statement). In GYH7R98PPA/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
David Vogan TNVGMMBF1B
| URI | m2://inv/TNVGMMBF1B |
|---|---|
| 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 Q470480, David Vogan (unknown). Also nLab David Vogan
- wikipedia: Wikipedia David Vogan, David Vogan (topic). Also Wikidata Q470480
History
- 2026-10-26: add by m2/dev
Taha Abdurrahman TNVNH9YZD8
| URI | m2://inv/TNVNH9YZD8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taha Abdurrahman, Taha Abdurrahman (topic). Also Wikidata Q7675372
History
- 2026-11-02: add by m2/dev
350 (number) TNVR0AD72R
| URI | m2://inv/TNVR0AD72R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#T5ST, 350 (number) (unknown)
History
- 2026-11-02: add by m2/dev
TNW00CE33C TNW00CE33C
| URI | m2://inv/TNW00CE33C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.23119#D0PU (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples TNW0AVSFBP
| URI | m2://inv/TNW0AVSFBP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radical of an ideal#OYMN, Examples (example)
History
- 2026-11-02: add by m2/dev
Isaak Yaglom TNW2CYKJ60
| URI | m2://inv/TNW2CYKJ60 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#5QAF, Isaak Yaglom (topic)
History
- 2026-11-02: add by m2/dev
TNWV44SSEE TNWV44SSEE
| URI | m2://inv/TNWV44SSEE |
|---|---|
| Kind | definition |
| 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.14985#MOR4 (definition). In DGXJW3SCBR/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
Extension TNWXEE0TX1
| URI | m2://inv/TNWXEE0TX1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power (statistics)#OEBS, Extension (statement)
History
- 2026-11-02: add by m2/dev
Witold Wilkosz TNWZJ27MYR
| URI | m2://inv/TNWZJ27MYR |
|---|---|
| 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#Y5GX, Witold Wilkosz (unknown)
History
- 2026-11-02: add by m2/dev
TNWZPGRF8H TNWZPGRF8H
| URI | m2://inv/TNWZPGRF8H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#GTFK (definition). In HX63A1PH1W/e1, definition 8.20
History
- 2026-10-28: add by m2/v0.4.3
TNX0R8XSTS TNX0R8XSTS
| URI | m2://inv/TNX0R8XSTS |
|---|---|
| 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 math/9802134#WRX8 (statement). In 235B1J1ETB/e1, lemma 1.12
History
- 2026-10-27: add by m2/v0.3.5
Indiscernibles TNX1HMY1E9
| URI | m2://inv/TNX1HMY1E9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indiscernibles, Indiscernibles (definition). Also Wikidata Q16979005
History
- 2026-11-02: add by m2/dev
Johan de Witt TNX31FD0EH
| URI | m2://inv/TNX31FD0EH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#M47E, Johan de Witt (unknown)
History
- 2026-11-02: add by m2/dev
adjoint functor TNX3NV766J
| URI | m2://inv/TNX3NV766J |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 18-XX |
| Sources | 4 |
| Outcome | open |
| Node | Adjoint functors TZHF6ZM92S |
Mentions
- mathlib_1000: mathlib_1000 Q357858, Freyd's adjoint functor theorem (statement). Also Wikidata Q357858
- thousand_plus: thousand_plus Q357858, Freyd's adjoint functor theorem (statement). Also Wikidata Q357858, Wikipedia Freyd's adjoint functor theorem
- wikidata: Wikidata Q357858, adjoint functor (unknown). Also EoM Adjoint_functor, MathWorld AdjointFunctor, nLab adjoint functor
- wikipedia: Wikipedia Adjoint functors, Adjoint functors (definition). Also Wikidata Q357858
History
- 2026-10-26: add by m2/dev
Order-3 icosahedral honeycomb TNXG3AQZAS
| URI | m2://inv/TNXG3AQZAS |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#9KYH, Order-3 icosahedral honeycomb (object)
History
- 2026-11-02: add by m2/dev
TNXJ2MN6BA TNXJ2MN6BA
| URI | m2://inv/TNXJ2MN6BA |
|---|---|
| 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.31243#14VB (definition). In E8FP48FJMZ/e1, definition 4.1
History
- 2026-10-31: add by m2/v0.5.6
TNXKCE4DGC TNXKCE4DGC
| URI | m2://inv/TNXKCE4DGC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16580#CMM5 (statement). In MQPBZX4DR6/e1, theorem 5.6
History
- 2026-10-28: add by m2/v0.4.2
Component theorem TNXM92AMDH
| URI | m2://inv/TNXM92AMDH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Component theorem, Component theorem (statement). Also Wikidata Q5156702
History
- 2026-11-02: add by m2/dev
challenging TNXN2G2ARK
| URI | m2://inv/TNXN2G2ARK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-13, challenging (exercise). In E9HS8K3A52, exercise, section 2.1.3
History
- 2026-11-01: add by m2/v0.6.13
Theorem TNXNXHNCZ4
| URI | m2://inv/TNXNXHNCZ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lyapunov equation#1H7S, Theorem (statement)
History
- 2026-11-02: add by m2/dev
TNXW0R009N TNXW0R009N
| URI | m2://inv/TNXW0R009N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#20R6 (statement). In A1GWWGRXPA/e1, corollary 6.17
History
- 2026-10-27: add by m2/v0.4.2
TNY6MYM8QC TNY6MYM8QC
| URI | m2://inv/TNY6MYM8QC |
|---|---|
| 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.32916#9G1P (statement). In G1RP4JY5PE/e1, corollary 6.4.2
History
- 2026-10-31: add by m2/v0.5.6
TNY7TJ8AFK TNY7TJ8AFK
| URI | m2://inv/TNY7TJ8AFK |
|---|---|
| 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 2609.25524#SHPW (definition)
History
- 2026-11-01: add by m2/v0.6.15
Peter Abelard TNYFQMGZH4
| URI | m2://inv/TNYFQMGZH4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#ZIH3, Peter Abelard (topic)
History
- 2026-11-02: add by m2/dev
Reciprocity theorem TNYRH2F2HS
| URI | m2://inv/TNYRH2F2HS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order polynomial#3ZXW, Reciprocity theorem (statement)
History
- 2026-11-02: add by m2/dev
convex TNZ0QCR98J
| URI | m2://inv/TNZ0QCR98J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.1/convex, convex (concept). In VNMV985MXX, index, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Fort Meade TNZ1T6VBT4
| URI | m2://inv/TNZ1T6VBT4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fort Meade, Fort Meade (definition). Also Wikidata Q509549
History
- 2026-11-02: add by m2/dev
TNZ2EHQ980 TNZ2EHQ980
| URI | m2://inv/TNZ2EHQ980 |
|---|---|
| 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.24314#OT76 (statement)
History
- 2026-11-01: add by m2/v0.6.15
purely TNZ3TJZWFM
| URI | m2://inv/TNZ3TJZWFM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.7/purely, purely (concept). In N54F33XE07, index, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
TNZ4D09EQA TNZ4D09EQA
| URI | m2://inv/TNZ4D09EQA |
|---|---|
| Kind | example |
| 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.28265#RSVO (example)
History
- 2026-11-01: add by m2/v0.6.15
TNZASHNBN8 TNZASHNBN8
| URI | m2://inv/TNZASHNBN8 |
|---|---|
| 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.00798#HN2Z (statement). In FANG3A8NZ9/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.12
TNZG5R6ACQ TNZG5R6ACQ
| URI | m2://inv/TNZG5R6ACQ |
|---|---|
| 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.09729#HPXF (statement). In 7CDD4HCYTV/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
biquaternions TNZN946NH8
| URI | m2://inv/TNZN946NH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 30G35 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2590607, biquaternions (topic). Also MathWorld Biquaternion
- wikipedia: Wikipedia Biquaternion, Biquaternion (definition). Also Wikidata Q2590607
History
- 2026-10-26: add by m2/dev