Inventory rows KT
The cards of the rows of the inventory whose ids start with KT. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Automorphic factor KT037135TD
| URI | m2://inv/KT037135TD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automorphic factor, Automorphic factor (definition). Also Wikidata Q4826706
History
- 2026-11-02: add by m2/dev
KT0471QJQW KT0471QJQW
| URI | m2://inv/KT0471QJQW |
|---|---|
| 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.11383#LXJD (statement). In DJBZ3V8SQ6/e1, proposition 4.7
History
- 2026-10-28: add by m2/v0.4.3
KT05CJ4M1J KT05CJ4M1J
| URI | m2://inv/KT05CJ4M1J |
|---|---|
| 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.28669#9V1X (statement)
History
- 2026-11-01: add by m2/v0.6.15
Smooth topology KT05R5QCPW
| URI | m2://inv/KT05R5QCPW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies on the category of schemes#VM47, Smooth topology (definition)
History
- 2026-11-02: add by m2/dev
Erdős/Szekeres Theorem KT06WF1BMV
| URI | m2://inv/KT06WF1BMV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_basics_pigeonhole.ptx#thm_ErdosSzekeres, Erdős/Szekeres Theorem (statement). In QKM9DD2H56, theorem, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Bring-Jerrard quintic form KT0F497ZSZ
| URI | m2://inv/KT0F497ZSZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124222098, Bring-Jerrard quintic form (concept). Also MathWorld Bring-JerrardQuinticForm
History
- 2026-10-26: add by m2/dev
``continuity'' of functions in type theory KT0H55NJJX
| URI | m2://inv/KT0H55NJJX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.11/continuity-of-functions-in-type-theory, ``continuity'' of functions in type theory (concept). In N54F33XE07, index, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
KT0JN2D311 KT0JN2D311
| URI | m2://inv/KT0JN2D311 |
|---|---|
| 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 1701.00518#AF96 (statement). In T93MM0ADE2/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
An example KT0JRYPX5A
| URI | m2://inv/KT0JRYPX5A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morton's theorem#V5G0, An example (example)
History
- 2026-11-02: add by m2/dev
Definition KT184C1WQM
| URI | m2://inv/KT184C1WQM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barsotti–Tate group#UKM0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Uniform plug-in risk expansion KT1EWVYAQ5
| URI | m2://inv/KT1EWVYAQ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.29348#I13Y, Uniform plug-in risk expansion (statement)
History
- 2026-11-01: add by m2/v0.6.15
Construction KT1FC6YY2H
| URI | m2://inv/KT1FC6YY2H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Archimedes' quadruplets#KVL9, Construction (definition)
History
- 2026-11-02: add by m2/dev
Index group KT1G8FKT29
| URI | m2://inv/KT1G8FKT29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index group, Index group (definition). Also Wikidata Q4669947
History
- 2026-11-02: add by m2/dev
KT1JHY5SH4 KT1JHY5SH4
| URI | m2://inv/KT1JHY5SH4 |
|---|---|
| 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#WKOQ (statement). In HVY45JQRNK/e1, proposition 6.1
History
- 2026-10-31: add by m2/v0.5.6
Monotonicity and limit for $e_{n,r}(P;S)$ KT1M095TGV
| URI | m2://inv/KT1M095TGV |
|---|---|
| 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#EX8U, Monotonicity and limit for $e_{n,r}(P;S)$ (statement). In BWJS3H55WH/e1, lemma 18
History
- 2026-10-27: add by m2/v0.3.5
tadpole graph KT1MVFS254
| URI | m2://inv/KT1MVFS254 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25104868, tadpole graph (unknown). Also MathWorld TadpoleGraph
History
- 2026-10-26: add by m2/dev
extravagant number KT1RM1YW3W
| URI | m2://inv/KT1RM1YW3W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1705642, extravagant number (unknown). Also MathWorld WastefulNumber, OEIS A046760
- wikipedia: Wikipedia Extravagant number, Extravagant number (definition). Also Wikidata Q1705642
History
- 2026-10-26: add by m2/dev
Eq. 8.5.3. KT1TTER8G6
| URI | m2://inv/KT1TTER8G6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19791#K97R, Eq. 8.5.3. (statement). In AVDB4KJ6XB/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
KT2043957B KT2043957B
| URI | m2://inv/KT2043957B |
|---|---|
| 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#JTYD (example). In 3THDT8WNF7/e1, example 17
History
- 2026-10-29: add by m2/v0.4.12
CRAM-MD5 KT21VA7CF1
| URI | m2://inv/KT21VA7CF1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CRAM-MD5, CRAM-MD5 (definition). Also Wikidata Q444574
History
- 2026-11-02: add by m2/dev
Right half-plane KT23GTGHJ6
| URI | m2://inv/KT23GTGHJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Right half-plane, Right half-plane (definition). Also Wikidata Q7333607
History
- 2026-11-02: add by m2/dev
KT25JP0FPZ KT25JP0FPZ
| URI | m2://inv/KT25JP0FPZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.14306#7KI2 (statement). In ZNBQD5WH1M/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Example 2 KT28D31FH2
| URI | m2://inv/KT28D31FH2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aitken's delta-squared process#55NF, Example 2 (example)
History
- 2026-11-02: add by m2/dev
Little's Law KT2D3HXP06
| URI | m2://inv/KT2D3HXP06 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Little's law JN2YME6F4A |
Mentions
- wikidata: Wikidata Q617388, Little's Law (statement). Also MathWorld LittlesLaw
- wikipedia: Wikipedia Little's law, Little's law (statement). Also Wikidata Q617388
History
- 2026-10-26: add by m2/dev
Shape parameter KT2F4QG0K5
| URI | m2://inv/KT2F4QG0K5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shape parameter, Shape parameter (definition). Also Wikidata Q3179293
History
- 2026-11-02: add by m2/dev
KT2JY9SVGM KT2JY9SVGM
| URI | m2://inv/KT2JY9SVGM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10745#D30N (statement). In 5MJ4NJ5ZCV/e1, corollary 2.28
History
- 2026-10-28: add by m2/v0.4.3
Example KT2ME5EF8B
| URI | m2://inv/KT2ME5EF8B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Current algebra#GZYR, Example (example)
History
- 2026-11-02: add by m2/dev
KT2NEM8J84 KT2NEM8J84
| URI | m2://inv/KT2NEM8J84 |
|---|---|
| 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.25703#6X61 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples KT2XGX1W8J
| URI | m2://inv/KT2XGX1W8J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-similar process#KRBO, Examples (example)
History
- 2026-11-02: add by m2/dev
KT36QWHVVK KT36QWHVVK
| URI | m2://inv/KT36QWHVVK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#definition-1 (definition). In RZP28ERRZV, definition, section 55.1
History
- 2026-11-01: add by m2/v0.6.13
KT373BFXRN KT373BFXRN
| URI | m2://inv/KT373BFXRN |
|---|---|
| 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.00337#ZC37 (statement). In 5STQ3ABZ60/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
UCP of fractional Laplacian for $L_s$-functions KT3985P46Y
| URI | m2://inv/KT3985P46Y |
|---|---|
| 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.17524#QAVT, UCP of fractional Laplacian for $L_s$-functions (statement). In MKA4QH9VRE/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Convolution theorem KT39Y7WRW2
| URI | m2://inv/KT39Y7WRW2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of harmonic analysis topics#G9V7, Convolution theorem (statement)
- wikipedia: Wikipedia List of Fourier analysis topics#7XSO, Convolution theorem (statement)
History
- 2026-11-02: add by m2/dev
Lami's theorem KT3NJXGXKX
| URI | m2://inv/KT3NJXGXKX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 70-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1149522, Lami's theorem (statement). Also Wikidata Q1149522
- thousand_plus: thousand_plus Q1149522, Lami's theorem (statement). Also Wikidata Q1149522, Wikipedia Lami's theorem
- wikipedia: Wikipedia Lami's theorem, Lami's theorem (statement). Also Wikidata Q1149522
History
- 2026-10-26: add by m2/dev
KT3YYKEMZW KT3YYKEMZW
| URI | m2://inv/KT3YYKEMZW |
|---|---|
| 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.27270#6V4H (statement)
History
- 2026-11-01: add by m2/v0.6.15
KT3Z7DGE72 KT3Z7DGE72
| URI | m2://inv/KT3Z7DGE72 |
|---|---|
| Kind | example |
| 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#7A0L (example). In PN02WN5AA6/e1, example 2
History
- 2026-10-27: add by m2/v0.3.5
Alexandrov-Fenchel inequality KT41YP5FXF
| URI | m2://inv/KT41YP5FXF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04527#NU4Z, Alexandrov-Fenchel inequality (statement). In Z9ZXAC6TZQ/e1, theorem 8
History
- 2026-10-29: add by m2/v0.4.12
Combinatorics of Experimental Design KT425BACZ1
| URI | m2://inv/KT425BACZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorics of Experimental Design, Combinatorics of Experimental Design (definition). Also Wikidata Q96375316
History
- 2026-11-02: add by m2/dev
Maps of manifolds KT4CK80ADR
| URI | m2://inv/KT4CK80ADR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maps of manifolds, Maps of manifolds (definition). Also Wikidata Q6754203
History
- 2026-11-02: add by m2/dev
KT4JD1DJF0 KT4JD1DJF0
| URI | m2://inv/KT4JD1DJF0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24545#RJJY (definition)
History
- 2026-11-01: add by m2/v0.6.15
Kellie Archer KT4P5SBX9S
| URI | m2://inv/KT4P5SBX9S |
|---|---|
| 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#9AE4, Kellie Archer (unknown)
History
- 2026-11-02: add by m2/dev
Patched conic approximation KT501RRGHQ
| URI | m2://inv/KT501RRGHQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patched conic approximation, Patched conic approximation (definition). Also Wikidata Q7144351
History
- 2026-11-02: add by m2/dev
Erdős on Graphs KT5BKQGQ92
| URI | m2://inv/KT5BKQGQ92 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős on Graphs, Erdős on Graphs (conjecture). Also Wikidata Q96377354
History
- 2026-11-02: add by m2/dev
KT5FYKXG51 KT5FYKXG51
| URI | m2://inv/KT5FYKXG51 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#3KX2 (statement). In WD2NCBV9F0/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
KT5GRV30R2 KT5GRV30R2
| URI | m2://inv/KT5GRV30R2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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 2403.16388#EODZ (definition). In HH4ADHZ8XD/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.0
second Celmins–Swart snark KT5NBJ7ZSR
| URI | m2://inv/KT5NBJ7ZSR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3477045, second Celmins–Swart snark (unknown). Also House of Graphs 970
History
- 2026-10-26: add by m2/dev
KT5P3S011X KT5P3S011X
| URI | m2://inv/KT5P3S011X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15421#ZREW (statement). In 3RBKH0DA74/e1, lemma 2.9
History
- 2026-10-28: add by m2/v0.4.2
Properties KT60FFVMRA
| URI | m2://inv/KT60FFVMRA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-covariance#CULJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
KT63K37XHR KT63K37XHR
| URI | m2://inv/KT63K37XHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21752#CITW (statement). In E4DJTPKHAX/e1, corollary 6.7
History
- 2026-10-27: add by m2/v0.4.2
Casimir element KT6CGBJTMK
| URI | m2://inv/KT6CGBJTMK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#3D9X, Casimir element (definition)
History
- 2026-11-02: add by m2/dev
KT6ZDA56D6 KT6ZDA56D6
| URI | m2://inv/KT6ZDA56D6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06645#C5AL (statement). In 79H1DEK4M9/e1, corollary 7.4
History
- 2026-10-29: add by m2/v0.4.10
KT71RHBVV6 KT71RHBVV6
| URI | m2://inv/KT71RHBVV6 |
|---|---|
| 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.28020#QCKZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
tetrahedron KT74NVYHA5
| URI | m2://inv/KT74NVYHA5 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Tetrahedron JFX8ASQS3E |
Mentions
- wikidata: Wikidata Q160003, tetrahedron (object). Also EoM Tetrahedron, MathWorld Tetrahedron
- wikipedia: Wikipedia Tetrahedron, Tetrahedron (object). Also Wikidata Q160003
History
- 2026-10-26: add by m2/dev
Raman Sundrum KT7760YHGF
| URI | m2://inv/KT7760YHGF |
|---|---|
| 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 Q2912378, Raman Sundrum (unknown). Also nLab Raman Sundrum
History
- 2026-10-26: add by m2/dev
KT77G6A1DM KT77G6A1DM
| URI | m2://inv/KT77G6A1DM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-13 (exercise). In Y91XFCEVHQ, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
Polygonal modeling KT7BV5QABV
| URI | m2://inv/KT7BV5QABV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#Z7BP, Polygonal modeling (unknown)
History
- 2026-11-02: add by m2/dev
Egyptian Mathematical Leather Roll KT7RWVVEAC
| URI | m2://inv/KT7RWVVEAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Egyptian Mathematical Leather Roll, Egyptian Mathematical Leather Roll (definition). Also Wikidata Q134210
History
- 2026-11-02: add by m2/dev
KT7SFF5YKW KT7SFF5YKW
| URI | m2://inv/KT7SFF5YKW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.20170#JZIT (statement). In QXJP79APHN/e1, theorem 3.7
History
- 2026-10-27: add by m2/v0.3.5
Two-scale fractional smoothing by ordered flows KT7V94QE5S
| URI | m2://inv/KT7V94QE5S |
|---|---|
| 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.20215#56LA, Two-scale fractional smoothing by ordered flows (statement)
History
- 2026-11-02: add by m2/v0.6.18
KT81RMP2R9 KT81RMP2R9
| URI | m2://inv/KT81RMP2R9 |
|---|---|
| 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#TCC9 (statement). In 1YY0P4ZS0T/e1, corollary 9
History
- 2026-10-29: add by m2/v0.4.10
integrable system KT88Q43WGH
| URI | m2://inv/KT88Q43WGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry#M3C1, integrable system (definition)
History
- 2026-11-02: add by m2/dev
A few typical theorems that distinguish low-dimensional topology KT8XDSA9X7
| URI | m2://inv/KT8XDSA9X7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Low-dimensional topology#7G10, A few typical theorems that distinguish low-dimensional topology (statement)
History
- 2026-11-02: add by m2/dev
$N$-th order damping functional KT91GWH8Y7
| URI | m2://inv/KT91GWH8Y7 |
|---|---|
| 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 2601.15010#R7YH, $N$-th order damping functional (definition). In K3WJ6ZN184/e1, definition 7.2
History
- 2026-10-27: add by m2/v0.3.5
Frequency response KT94GR04XH
| URI | m2://inv/KT94GR04XH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frequency response, Frequency response (definition). Also Wikidata Q1054694
History
- 2026-11-02: add by m2/dev
Signcryption KT9DGGY3N4
| URI | m2://inv/KT9DGGY3N4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signcryption, Signcryption (definition). Also Wikidata Q1727777
History
- 2026-11-02: add by m2/dev
Finite energy of the barycenter for quadrature-generated costs KT9P47WJC5
| URI | m2://inv/KT9P47WJC5 |
|---|---|
| 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.01855#70DY, Finite energy of the barycenter for quadrature-generated costs (statement). In MM8P5CJR18/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.12
Dimensionless numbers in fluid mechanics KT9XX8WW5E
| URI | m2://inv/KT9XX8WW5E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimensionless numbers in fluid mechanics, Dimensionless numbers in fluid mechanics (definition). Also Wikidata Q20707835
History
- 2026-11-02: add by m2/dev
Aclinic Line KTA0RMK7A4
| URI | m2://inv/KTA0RMK7A4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contour line#25P6, Aclinic Line (unknown)
History
- 2026-11-02: add by m2/dev
KTA3ZJJZ91 KTA3ZJJZ91
| URI | m2://inv/KTA3ZJJZ91 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1802.02910#KG0U (statement). In AY2MA29921/e1, proposition 06
History
- 2026-10-27: add by m2/v0.3.5
trivial KTA7PFNDEM
| URI | m2://inv/KTA7PFNDEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#WOJZ, trivial (definition)
History
- 2026-11-02: add by m2/dev
KTADGFRBTX KTADGFRBTX
| URI | m2://inv/KTADGFRBTX |
|---|---|
| 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.12810#5TFU (statement). In DR35633CPN/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
Dissemination block KTAH9SJ28R
| URI | m2://inv/KTAH9SJ28R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Census geographic units of Canada#6GMO, Dissemination block (unknown)
History
- 2026-11-02: add by m2/dev
Applications KTAMEJR82C
| URI | m2://inv/KTAMEJR82C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strouhal number#9LEK, Applications (example)
History
- 2026-11-02: add by m2/dev
KTAN5930X2 KTAN5930X2
| URI | m2://inv/KTAN5930X2 |
|---|---|
| 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.15504#JFQU (statement). In AZ8SEW6HAV/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
KTAX6KAMYA KTAX6KAMYA
| URI | m2://inv/KTAX6KAMYA |
|---|---|
| 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.39905#82OU (statement). In D4B23ER9QD/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
Humphrey Baker KTAY913NX4
| URI | m2://inv/KTAY913NX4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Humphrey Baker, Humphrey Baker (topic). Also Wikidata Q5941298
History
- 2026-11-02: add by m2/dev
KTAZZEW26R KTAZZEW26R
| URI | m2://inv/KTAZZEW26R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11902#P8R3 (statement). In K66QKM4N5E/e1, theorem 3.13
History
- 2026-10-28: add by m2/v0.4.3
Nicholas Higham KTB0CF5682
| URI | m2://inv/KTB0CF5682 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicholas Higham, Nicholas Higham (topic). Also Wikidata Q3710017
History
- 2026-11-02: add by m2/dev
KTBA8Z5FT2 KTBA8Z5FT2
| URI | m2://inv/KTBA8Z5FT2 |
|---|---|
| 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 2403.01959#IT2X (statement). In 5YMNGJRC6Y/e1, theorem 4.17
History
- 2026-10-27: add by m2/v0.3.5
Prix Francoeur KTBDYCE7DP
| URI | m2://inv/KTBDYCE7DP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prix Francoeur, Prix Francoeur (definition). Also Wikidata Q55138252
History
- 2026-11-02: add by m2/dev
Principle of material objectivity KTBGR95SE0
| URI | m2://inv/KTBGR95SE0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walter Noll#0IRG, Principle of material objectivity (statement)
History
- 2026-11-02: add by m2/dev
incomparable KTBJ0P2WX6
| URI | m2://inv/KTBJ0P2WX6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.1/incomparable, incomparable (concept). In QKM9DD2H56, index, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
KTBJGN0ECV KTBJGN0ECV
| URI | m2://inv/KTBJGN0ECV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16962#9061 (statement). In KJC9FRS3C2/e1, proposition 11.2
History
- 2026-10-28: add by m2/v0.4.2
KTBKMYSYD4 KTBKMYSYD4
| URI | m2://inv/KTBKMYSYD4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#FDA9 (statement). In 6WJ0R9YEBR/e1, lemma 6.9
History
- 2026-10-28: add by m2/v0.4.2
Scaling KTBM5MRHT0
| URI | m2://inv/KTBM5MRHT0 |
|---|---|
| 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.37754#XBX9, Scaling (statement). In 3HPFAQKBEM/e1, theorem 8.1
History
- 2026-10-30: add by m2/v0.4.12
Astronomical refraction KTBTMENT75
| URI | m2://inv/KTBTMENT75 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atmospheric refraction#FPJN, Astronomical refraction (unknown)
History
- 2026-11-02: add by m2/dev
Reduction of the conditioning block KTC45WX6T7
| URI | m2://inv/KTC45WX6T7 |
|---|---|
| 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#MK2C, Reduction of the conditioning block (statement). In HA4SZZJ831/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
Zassenhaus group KTC4MSMT4P
| URI | m2://inv/KTC4MSMT4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zassenhaus group, Zassenhaus group (definition). Also Wikidata Q2365536
History
- 2026-11-02: add by m2/dev
Guillermo Cortinas KTCB4TVQAR
| URI | m2://inv/KTCB4TVQAR |
|---|---|
| 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#ZMQU, Guillermo Cortinas (unknown)
History
- 2026-11-02: add by m2/dev
Example KTCEE3YFEJ
| URI | m2://inv/KTCEE3YFEJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rabin cryptosystem#NPJY, Example (example)
History
- 2026-11-02: add by m2/dev
KTCGBMGFX2 KTCGBMGFX2
| URI | m2://inv/KTCGBMGFX2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/counterfactuals/introduction/strict-conditional.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
SOCR KTCGN34QG9
| URI | m2://inv/KTCGN34QG9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#XNAA, SOCR (definition)
History
- 2026-11-02: add by m2/dev
KTCK95W7A9 KTCK95W7A9
| URI | m2://inv/KTCK95W7A9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#U1PQ (definition). In S26QVW5613/e1, definition 2.1.8
History
- 2026-10-30: add by m2/v0.4.12
Beal's conjecture KTCQH2ETDV
| URI | m2://inv/KTCQH2ETDV |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q508173, Beal's conjecture (conjecture). Also MathWorld BealsConjecture
- wikipedia: Wikipedia Beal conjecture, Beal conjecture (conjecture). Also Wikidata Q508173
History
- 2026-10-26: add by m2/dev
Bryna Kra KTCT90S6TD
| URI | m2://inv/KTCT90S6TD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bryna Kra, Bryna Kra (topic). Also Wikidata Q995253
History
- 2026-11-02: add by m2/dev
KTCW02GBZY KTCW02GBZY
| URI | m2://inv/KTCW02GBZY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/UncountableSets.tex#theorem-2 (statement). In P1C114YBXG, theorem, section K
History
- 2026-11-01: add by m2/v0.6.13
Poincaré series KTD414NPXZ
| URI | m2://inv/KTD414NPXZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré series (modular form), Poincaré series (definition). Also Wikidata Q7207871
History
- 2026-11-02: add by m2/dev
Fuzzy control system KTD6930W46
| URI | m2://inv/KTD6930W46 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy control system, Fuzzy control system (definition). Also Wikidata Q1475705
History
- 2026-11-02: add by m2/dev
Algebraic variety KTD8VFXJJ5
| URI | m2://inv/KTD8VFXJJ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#YDR4, Algebraic variety (definition)
History
- 2026-11-02: add by m2/dev
Coskewness KTDDZPDES8
| URI | m2://inv/KTDDZPDES8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coskewness, Coskewness (definition). Also Wikidata Q21072551
History
- 2026-11-02: add by m2/dev
KTDK5GMR79 KTDK5GMR79
| URI | m2://inv/KTDK5GMR79 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22924#AQME (statement)
History
- 2026-11-02: add by m2/v0.6.17
KTDN4Q0DF6 KTDN4Q0DF6
| URI | m2://inv/KTDN4Q0DF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27103#FBMO (statement)
History
- 2026-11-01: add by m2/v0.6.15
KTDQZ9WTR2 KTDQZ9WTR2
| URI | m2://inv/KTDQZ9WTR2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-7 (exercise). In E9HS8K3A52, exercise, section 8.1.3
History
- 2026-11-01: add by m2/v0.6.13
KTDWE4F4PT KTDWE4F4PT
| URI | m2://inv/KTDWE4F4PT |
|---|---|
| Kind | problem |
| 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#QZTJ (problem)
History
- 2026-11-01: add by m2/v0.6.15
KTE3X3TFE2 KTE3X3TFE2
| URI | m2://inv/KTE3X3TFE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.12009#1AU5 (statement). In DNAN4SV8AM/e1, corollary 5.3
History
- 2026-10-27: add by m2/v0.3.5
KTE4VA38CR KTE4VA38CR
| URI | m2://inv/KTE4VA38CR |
|---|---|
| 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.03126#EM99 (statement). In ZJ6VQCRDVR/e1, proposition 8
History
- 2026-10-29: add by m2/v0.4.12
KTEENBR9E9 KTEENBR9E9
| URI | m2://inv/KTEENBR9E9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/frame-definability/properties-accessibility.tex#prop:reflexive (statement). In PKGMM3P5QY, prop, section 53.3
History
- 2026-11-01: add by m2/v0.6.13
Principal branch KTEFEA3FC1
| URI | m2://inv/KTEFEA3FC1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#C1U0, Principal branch (definition)
History
- 2026-11-02: add by m2/dev
KTEHW11FRP KTEHW11FRP
| URI | m2://inv/KTEHW11FRP |
|---|---|
| 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.38548#GVSU (statement). In Z7ZFV3HM1S/e1, proposition 4.6
History
- 2026-10-30: add by m2/v0.4.12
KTEJX12A07 KTEJX12A07
| URI | m2://inv/KTEJX12A07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.12486#1S7D (statement). In 3343AEAXB3/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
Examples KTEKXQ8CTD
| URI | m2://inv/KTEKXQ8CTD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit inferior and limit superior#DP5M, Examples (example)
History
- 2026-11-02: add by m2/dev
KTERTZF881 KTERTZF881
| URI | m2://inv/KTERTZF881 |
|---|---|
| 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.07259#6VWJ (statement). In XMR1TTDSPG/e1, lemma A.3
History
- 2026-10-29: add by m2/v0.4.10
Properties KTF1G3BJS1
| URI | m2://inv/KTF1G3BJS1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fejér kernel#4ZZ0, Properties (statement)
History
- 2026-11-02: add by m2/dev
Eventual local geometry KTF2YXEYDH
| URI | m2://inv/KTF2YXEYDH |
|---|---|
| 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.31557#KZ1I, Eventual local geometry (statement). In 72NCNYBW2T/e1, lemma 8
History
- 2026-10-31: add by m2/v0.5.6
KTF587P5EQ KTF587P5EQ
| URI | m2://inv/KTF587P5EQ |
|---|---|
| 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.03004#T8AE (statement). In 81SMTFDWJ9/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.12
power series center KTF73WNXP3
| URI | m2://inv/KTF73WNXP3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/9.1.1/power-series-center, power series center (concept). In E9HS8K3A52, index, section 9.1.1
History
- 2026-11-01: add by m2/v0.6.13
KTF7WSZXTQ KTF7WSZXTQ
| URI | m2://inv/KTF7WSZXTQ |
|---|---|
| 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.37846#LS41 (statement). In DCA0M1EE4A/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
Set balancing KTFF6AYC2F
| URI | m2://inv/KTFF6AYC2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set balancing, Set balancing (definition). Also Wikidata Q22908657
History
- 2026-11-02: add by m2/dev
KTFJPRFBE5 KTFJPRFBE5
| URI | m2://inv/KTFJPRFBE5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#DHRL (statement). In XYCBKM4WKY/e1, theorem 45
History
- 2026-10-27: add by m2/v0.3.5
Milü KTG1QZGFD5
| URI | m2://inv/KTG1QZGFD5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#TXSP, Milü (topic)
History
- 2026-11-02: add by m2/dev
KTG4PNZPAF KTG4PNZPAF
| URI | m2://inv/KTG4PNZPAF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.15593#1RHC (statement). In PREJREM4BB/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
George Dantzig KTG7GGR9H9
| URI | m2://inv/KTG7GGR9H9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Dantzig, George Dantzig (topic). Also Wikidata Q337040
History
- 2026-11-02: add by m2/dev
contingency table KTG8M7E612
| URI | m2://inv/KTG8M7E612 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Contingency table PANSMHE0SW |
Mentions
- wikidata: Wikidata Q1541178, contingency table (unknown). Also MathWorld ContingencyTable
- wikipedia: Wikipedia Contingency table, Contingency table (definition). Also Wikidata Q1541178
History
- 2026-10-26: add by m2/dev
Definitions KTGEK25B82
| URI | m2://inv/KTGEK25B82 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach–Mazur compactum#1JPP, Definitions (definition)
History
- 2026-11-02: add by m2/dev
KTGFE7BX97 KTGFE7BX97
| URI | m2://inv/KTGFE7BX97 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#SIPW (proof). In WJD9YPGGYH/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Ideal gas law KTGFQTHBJK
| URI | m2://inv/KTGFQTHBJK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal gas#PFPT, Ideal gas law (statement)
History
- 2026-11-02: add by m2/dev
Notation KTGJAYS7GZ
| URI | m2://inv/KTGJAYS7GZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplication#VUX8, Notation (definition)
History
- 2026-11-02: add by m2/dev
Example KTGKBWTC5E
| URI | m2://inv/KTGKBWTC5E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie point symmetry#ZPWM, Example (example)
History
- 2026-11-02: add by m2/dev
Applications KTGNRNFJJE
| URI | m2://inv/KTGNRNFJJE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval predictor model#PBH4, Applications (example)
History
- 2026-11-02: add by m2/dev
Fenchel–Nielsen coordinates KTGRE0HVBP
| URI | m2://inv/KTGRE0HVBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fenchel–Nielsen coordinates, Fenchel–Nielsen coordinates (definition). Also Wikidata Q5443006
History
- 2026-11-02: add by m2/dev
KTH2VVK92M KTH2VVK92M
| URI | m2://inv/KTH2VVK92M |
|---|---|
| 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.17442#QZ70 (statement). In 6ADGJ51W1P/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Ciphr KTH6TQYE1X
| URI | m2://inv/KTH6TQYE1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ciphr, Ciphr (definition). Also Wikidata Q113954058
History
- 2026-11-02: add by m2/dev
KTH8N8DV9T KTH8N8DV9T
| URI | m2://inv/KTH8N8DV9T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-1.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
Definition KTHBQK5KWS
| URI | m2://inv/KTHBQK5KWS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind eta function#EF5Y, Definition (definition)
History
- 2026-11-02: add by m2/dev
Monomial ideal KTHPADN0S7
| URI | m2://inv/KTHPADN0S7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monomial ideal, Monomial ideal (definition). Also Wikidata Q19369206
History
- 2026-11-02: add by m2/dev
KTHPEJPNS3 KTHPEJPNS3
| URI | m2://inv/KTHPEJPNS3 |
|---|---|
| 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.30354#VW32 (statement). In B81DM51XSK/e1, corollary 9
History
- 2026-10-31: add by m2/v0.5.6
summation by parts KTHYY1YCGP
| URI | m2://inv/KTHYY1YCGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Summation by parts 9G82Z17DKA |
Mentions
- wikidata: Wikidata Q318754, summation by parts (statement). Also MathWorld AbelsLemma, MathWorld SummationbyParts, ProofWiki Abel's_Lemma
- wikipedia: Wikipedia Summation by parts, Summation by parts (definition). Also Wikidata Q318754
History
- 2026-10-26: add by m2/dev
Robert Simson KTJ1JND57J
| URI | m2://inv/KTJ1JND57J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Simson, Robert Simson (topic). Also Wikidata Q1370937
History
- 2026-11-02: add by m2/dev
Update set KTJ9H71YRP
| URI | m2://inv/KTJ9H71YRP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#6JY3, Update set (definition). In WD2NCBV9F0/e1, definition 8.3
History
- 2026-10-27: add by m2/v0.3.5
KTJFYYXPQG KTJFYYXPQG
| URI | m2://inv/KTJFYYXPQG |
|---|---|
| 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.21116#5JUD (statement)
History
- 2026-11-02: add by m2/v0.6.18
KTJMW8A9AM KTJMW8A9AM
| URI | m2://inv/KTJMW8A9AM |
|---|---|
| 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.37897#EYL8 (statement). In RBQ5FNCVNZ/e1, lemma 7.10
History
- 2026-10-30: add by m2/v0.4.12
Dean Florez KTJPMWHRZ5
| URI | m2://inv/KTJPMWHRZ5 |
|---|---|
| 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#DMTY, Dean Florez (unknown)
History
- 2026-11-02: add by m2/dev
KTJRMF67YT KTJRMF67YT
| URI | m2://inv/KTJRMF67YT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise:odddegnegativeK (exercise). In E59CDZA4DP, exercise, section 2.3.3
History
- 2026-11-01: add by m2/v0.6.13
Definition KTK80DM5XT
| URI | m2://inv/KTK80DM5XT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbital integral#QJL6, Definition (definition)
History
- 2026-11-02: add by m2/dev
KTKBKZSQA9 KTKBKZSQA9
| URI | m2://inv/KTKBKZSQA9 |
|---|---|
| Kind | statement |
| 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#D5A7 (statement). In HX63A1PH1W/e1, theorem 8.10
History
- 2026-10-28: add by m2/v0.4.3
KTKBZPVHFJ KTKBZPVHFJ
| URI | m2://inv/KTKBZPVHFJ |
|---|---|
| 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.07644#5D01 (definition). In TFAN2DR6FD/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Duas Igrejas KTKEHW2PCS
| URI | m2://inv/KTKEHW2PCS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#4H9V, Duas Igrejas (unknown)
History
- 2026-11-02: add by m2/dev
Chamfered square tiling KTKF7GXE3W
| URI | m2://inv/KTKF7GXE3W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chamfered square tiling, Chamfered square tiling (definition). Also Wikidata Q28749109
History
- 2026-11-02: add by m2/dev
Gonality of an algebraic curve KTKHQMZ9QD
| URI | m2://inv/KTKHQMZ9QD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#IYOD, Gonality of an algebraic curve (definition)
History
- 2026-11-02: add by m2/dev
KTKJ6Y1577 KTKJ6Y1577
| URI | m2://inv/KTKJ6Y1577 |
|---|---|
| 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.25038#9KHH (statement)
History
- 2026-11-01: add by m2/v0.6.15
ear decomposition KTKNJ7X9JE
| URI | m2://inv/KTKNJ7X9JE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#0OAL, ear decomposition (definition)
History
- 2026-11-02: add by m2/dev
Ilijas Farah KTKQE4XDDZ
| URI | m2://inv/KTKQE4XDDZ |
|---|---|
| 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#UGXT, Ilijas Farah (topic)
History
- 2026-11-02: add by m2/dev
M. I. Vishik KTKSENGP5D
| URI | m2://inv/KTKSENGP5D |
|---|---|
| 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#1H0J, M. I. Vishik (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DGQG, M. I. Vishik (topic)
History
- 2026-11-02: add by m2/dev
LM KTM5M6M4JG
| URI | m2://inv/KTM5M6M4JG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#80PZ, LM (definition)
History
- 2026-11-02: add by m2/dev
Group law KTMDXC4BXM
| URI | m2://inv/KTMDXC4BXM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twisted Hessian curves#VDLK, Group law (statement)
History
- 2026-11-02: add by m2/dev
Sergei Viktorovich Bochkarev KTMGE2614K
| URI | m2://inv/KTMGE2614K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergei Viktorovich Bochkarev, Sergei Viktorovich Bochkarev (topic). Also Wikidata Q17248345
History
- 2026-11-02: add by m2/dev
KTMGFY0X1B KTMGFY0X1B
| URI | m2://inv/KTMGFY0X1B |
|---|---|
| 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 0804.2115#48WN (example). In B9XACVAC6X/e1, example 4.2
History
- 2026-10-27: add by m2/v0.3.5
KTMJ1RET68 KTMJ1RET68
| URI | m2://inv/KTMJ1RET68 |
|---|---|
| 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#1QVR (statement). In 2GD6NWJVRM/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
Krüger, André KTMJTEV5DB
| URI | m2://inv/KTMJTEV5DB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#4CF8, Krüger, André (unknown)
History
- 2026-11-02: add by m2/dev
Craig's theorem KTMNW7MJBG
| URI | m2://inv/KTMNW7MJBG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5180651, Craig's theorem (statement). Also Wikidata Q5180651
- thousand_plus: thousand_plus Q5180651, Craig's theorem (statement). Also Wikidata Q5180651, Wikipedia Craig's theorem
- wikipedia: Wikipedia Craig's theorem, Craig's theorem (statement). Also Wikidata Q5180651
History
- 2026-10-26: add by m2/dev
KTMV5V5ZN2 KTMV5V5ZN2
| URI | m2://inv/KTMV5V5ZN2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05193#QW2O (statement). In XDMM0KNNZ9/e1, proposition 59
History
- 2026-10-29: add by m2/v0.4.10
Man-in-the-middle attack KTMY9PVQE6
| URI | m2://inv/KTMY9PVQE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Man-in-the-middle attack, Man-in-the-middle attack (definition). Also Wikidata Q554830
History
- 2026-11-02: add by m2/dev
Kontsevich quantization formula KTMZCGWH21
| URI | m2://inv/KTMZCGWH21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kontsevich quantization formula, Kontsevich quantization formula (statement). Also Wikidata Q6430406
History
- 2026-11-02: add by m2/dev
obstruction theory KTN0D1AAPE
| URI | m2://inv/KTN0D1AAPE |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 55S35 |
| Sources | 2 |
| Outcome | open |
| Node | Obstruction theory ZZWHGGFB4P |
Mentions
- wikidata: Wikidata Q1017338, obstruction theory (topic). Also MathWorld Obstruction
- wikipedia: Wikipedia Obstruction theory, Obstruction theory (definition). Also Wikidata Q1017338
History
- 2026-10-26: add by m2/dev
Trace bounds under Wiener-gain rates and power-law decay KTN464Y0RJ
| URI | m2://inv/KTN464Y0RJ |
|---|---|
| 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.10640#F70X, Trace bounds under Wiener-gain rates and power-law decay (statement). In BAQVK6N0RD/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
Constant acceptance probability KTNAVG8HPN
| URI | m2://inv/KTNAVG8HPN |
|---|---|
| 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.37482#369K, Constant acceptance probability (statement). In 9QDRMZX8EY/e1, lemma 15
History
- 2026-10-30: add by m2/v0.4.12
Hans Sluga KTNHT52FKF
| URI | m2://inv/KTNHT52FKF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Sluga, Hans Sluga (topic). Also Wikidata Q5650731
History
- 2026-11-02: add by m2/dev
KTNJRAGS53 KTNJRAGS53
| URI | m2://inv/KTNJRAGS53 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-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.11301#38DU (statement). In YH1W5A0JTS/e1, lemma 5.1
- arxiv: arXiv 2610.18929#973R (statement). In ZRJ2DZT6P1/e1, lemma 8.1
History
- 2026-10-27: add by m2/v0.3.5
Christian Krattenthaler KTNNWW77JG
| URI | m2://inv/KTNNWW77JG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christian Krattenthaler, Christian Krattenthaler (topic). Also Wikidata Q1080675
History
- 2026-11-02: add by m2/dev
KTNPKQQRHP KTNPKQQRHP
| URI | m2://inv/KTNPKQQRHP |
|---|---|
| Kind | example |
| 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#N1SH (example). In VJTRH1S4JA/e1, example 2.10
History
- 2026-10-28: add by m2/v0.4.2
Yi Xing KTNQZ8KVZN
| URI | m2://inv/KTNQZ8KVZN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#GWJS, Yi Xing (unknown)
History
- 2026-11-02: add by m2/dev
KTNYMG5D30 KTNYMG5D30
| URI | m2://inv/KTNYMG5D30 |
|---|---|
| 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.00292#WK3D (statement). In NX3EFW0D0X/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
KTP1JW3711 KTP1JW3711
| URI | m2://inv/KTP1JW3711 |
|---|---|
| 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#1NWR (statement). In E9ZQM8449P/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.6
Dennis Sullivan KTP25S4FGN
| URI | m2://inv/KTP25S4FGN |
|---|---|
| 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 Q726376, Dennis Sullivan (unknown). Also nLab Dennis Sullivan
- wikipedia: Wikipedia Dennis Sullivan, Dennis Sullivan (topic). Also Wikidata Q726376
History
- 2026-10-26: add by m2/dev
Direct CMR comparison KTP69KK6S7
| URI | m2://inv/KTP69KK6S7 |
|---|---|
| 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.22301#8FQ6, Direct CMR comparison (statement)
History
- 2026-11-02: add by m2/v0.6.17
first derivative test KTPBBZ2BSG
| URI | m2://inv/KTPBBZ2BSG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#80UY, first derivative test (definition)
History
- 2026-11-02: add by m2/dev
KTPH6RG5A3 KTPH6RG5A3
| URI | m2://inv/KTPH6RG5A3 |
|---|---|
| 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 1406.2996#ABOF (statement). In 6XENXFC77F/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
estimation of the error KTPR9YENR8
| URI | m2://inv/KTPR9YENR8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Approximation of numerical functions > estimation of the error, estimation of the error (unknown)
History
- 2026-10-26: add by m2/dev
KTPXYPBKQA KTPXYPBKQA
| URI | m2://inv/KTPXYPBKQA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32906#I09M (definition). In R589MXXHX4/e1, definition 3.1
History
- 2026-10-31: add by m2/v0.5.6
KTQ0Q30E80 KTQ0Q30E80
| URI | m2://inv/KTQ0Q30E80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25926#XCAW (statement)
History
- 2026-11-01: add by m2/v0.6.15
KTQ0YGCZ8W KTQ0YGCZ8W
| URI | m2://inv/KTQ0YGCZ8W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop-18 (statement). In VNMV985MXX, prop, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Ivan M. Niven KTQ7PC4S0F
| URI | m2://inv/KTQ7PC4S0F |
|---|---|
| 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 Q1675580, Ivan M. Niven (unknown). Also ProofWiki Mathematician:Ivan_Morton_Niven
History
- 2026-10-26: add by m2/dev
KTQBGE5N2K KTQBGE5N2K
| URI | m2://inv/KTQBGE5N2K |
|---|---|
| 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 2608.23797#KHAG (statement). In PZCA01JXVR/e1, proposition 6.6
History
- 2026-10-27: add by m2/v0.3.5
KTQEAHYWSH KTQEAHYWSH
| URI | m2://inv/KTQEAHYWSH |
|---|---|
| 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 2609.27628#CP31 (definition)
History
- 2026-11-01: add by m2/v0.6.15
KTQEKCHB01 KTQEKCHB01
| URI | m2://inv/KTQEKCHB01 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08251#HNC0 (statement). In YRJKC9DJEA/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Moduli stack of principal bundles KTQGDWT3FM
| URI | m2://inv/KTQGDWT3FM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moduli stack of principal bundles, Moduli stack of principal bundles (definition). Also Wikidata Q17099025
History
- 2026-11-02: add by m2/dev
Positive-stage integral estimate KTQK7X1V77
| URI | m2://inv/KTQK7X1V77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-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.18788#KLUB, Positive-stage integral estimate (statement). In KFEASG3ZHS/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
Two inputs suffice for every $\lambda$ KTQKDP62C7
| URI | m2://inv/KTQKDP62C7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.08764#2N25, Two inputs suffice for every $\lambda$ (statement). In QVFHS1C9BW/e1, theorem \thethrm
History
- 2026-10-29: add by m2/v0.4.10
KTQQ5CAZ0G KTQQ5CAZ0G
| URI | m2://inv/KTQQ5CAZ0G |
|---|---|
| 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.40156#ZLSN (statement). In PP8BEHWK33/e1, proposition 6
History
- 2026-10-30: add by m2/v0.4.12
KTQWWJVVYT KTQWWJVVYT
| URI | m2://inv/KTQWWJVVYT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#EBEG (definition). In S26QVW5613/e1, definition 4.3.1
History
- 2026-10-30: add by m2/v0.4.12
KTQZYFXVP2 KTQZYFXVP2
| URI | m2://inv/KTQZYFXVP2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16381#O5WU (statement). In 304QK565QF/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Mean squared prediction error KTR18VD2QQ
| URI | m2://inv/KTR18VD2QQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#C5NV, Mean squared prediction error (definition)
History
- 2026-11-02: add by m2/dev
Polynomial interpolation KTR2BFEE6H
| URI | m2://inv/KTR2BFEE6H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#FS64, Polynomial interpolation (definition)
History
- 2026-11-02: add by m2/dev
maximum, relative KTR5BYX478
| URI | m2://inv/KTR5BYX478 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/3.3.1/maximum-relative, maximum, relative (concept). In 907G4C4EJ1, index, section 3.3.1
History
- 2026-11-01: add by m2/v0.6.13
KTR61G52AP KTR61G52AP
| URI | m2://inv/KTR61G52AP |
|---|---|
| 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.10949#6KTQ (statement). In ANP2XNAH91/e1, theorem 9
History
- 2026-10-28: add by m2/v0.4.3
KTR6MCFBXF KTR6MCFBXF
| URI | m2://inv/KTR6MCFBXF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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.06152#7GN0 (definition). In HH35K7S17H/e1, definition A.12
History
- 2026-10-29: add by m2/v0.4.10
Definition KTRENH24S9
| URI | m2://inv/KTRENH24S9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tribonacci ratio#BK18, Definition (definition)
History
- 2026-11-02: add by m2/dev
Identifiability with the penalized objective KTRHFFDE5Y
| URI | m2://inv/KTRHFFDE5Y |
|---|---|
| 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.37944#XO0G, Identifiability with the penalized objective (statement). In KP94WJVJXY/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Multiscale decision making KTRN5217DA
| URI | m2://inv/KTRN5217DA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#REPV, Multiscale decision making (unknown)
History
- 2026-11-02: add by m2/dev
Encrypted function KTRWQFF0A2
| URI | m2://inv/KTRWQFF0A2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Encrypted function, Encrypted function (definition). Also Wikidata Q5375616
History
- 2026-11-02: add by m2/dev
André Martineau KTRZWJ1YSH
| URI | m2://inv/KTRZWJ1YSH |
|---|---|
| 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#BQ64, André Martineau (topic)
History
- 2026-11-02: add by m2/dev
KTS4F9V15Z KTS4F9V15Z
| URI | m2://inv/KTS4F9V15Z |
|---|---|
| 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#NLHW (statement). In 2GD6NWJVRM/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
KTS77BF707 KTS77BF707
| URI | m2://inv/KTS77BF707 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#SIFT (statement). In FDYZFDHZH9/e1, proposition 2.4
History
- 2026-10-31: add by m2/v0.5.6
closed map KTSBH3Q6J1
| URI | m2://inv/KTSBH3Q6J1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > closed map, closed map (unknown). Also Mathlib IsClosedMap
History
- 2026-10-26: add by m2/dev
Construction KTSBSMKN1W
| URI | m2://inv/KTSBSMKN1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantellated 120-cell#Z59D, Construction (definition)
History
- 2026-11-02: add by m2/dev
Chemometrics and Intelligent Laboratory Systems KTSC9VKT66
| URI | m2://inv/KTSC9VKT66 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#0QVZ, Chemometrics and Intelligent Laboratory Systems (unknown)
History
- 2026-11-02: add by m2/dev
P-matrix KTSCMGXTEP
| URI | m2://inv/KTSCMGXTEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-matrix, P-matrix (definition). Also Wikidata Q3062594
History
- 2026-11-02: add by m2/dev
KTSD2HRKZ7 KTSD2HRKZ7
| URI | m2://inv/KTSD2HRKZ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2605.16669#DCAU (statement). In 1463YCCRP5/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.4.0
KTSG5K82RW KTSG5K82RW
| URI | m2://inv/KTSG5K82RW |
|---|---|
| Kind | example |
| 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#F0T7 (example)
History
- 2026-11-02: add by m2/v0.6.17
Finite Union and Intersection Laws KTSMSY0MGJ
| URI | m2://inv/KTSMSY0MGJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.18016#V3P4, Finite Union and Intersection Laws (statement). In V5PVKDKGGG/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
KTSP53J56K KTSP53J56K
| URI | m2://inv/KTSP53J56K |
|---|---|
| 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#0NHY (statement). In 1P8D88DKG5/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.3.5
The Local-Global Conjecture KTSRQGNTJB
| URI | m2://inv/KTSRQGNTJB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apollonian gasket#JVQR, The Local-Global Conjecture (statement)
History
- 2026-11-02: add by m2/dev
KTTAY5QZHD KTTAY5QZHD
| URI | m2://inv/KTTAY5QZHD |
|---|---|
| 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.39700#IF26 (statement). In E7W2HDNEKJ/e1, lemma 5.9
History
- 2026-10-30: add by m2/v0.4.12
Athīr and the Liar paradox KTTDTNFMD7
| URI | m2://inv/KTTDTNFMD7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liar paradox in early Islamic tradition#2ZTD, Athīr and the Liar paradox (statement)
History
- 2026-11-02: add by m2/dev
Slant height KTTGNBGZ7P
| URI | m2://inv/KTTGNBGZ7P |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7538676, Slant height (concept). Also MathWorld SlantHeight
History
- 2026-10-26: add by m2/dev
KTTHZRHYE5 KTTHZRHYE5
| URI | m2://inv/KTTHZRHYE5 |
|---|---|
| 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.21260#K3D1 (statement). In Z7WW536KA5/e1, theorem C
History
- 2026-10-27: add by m2/v0.4.2
International Linear Algebra Society KTTJQW632T
| URI | m2://inv/KTTJQW632T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Linear Algebra Society, International Linear Algebra Society (definition). Also Wikidata Q67201936
History
- 2026-11-02: add by m2/dev
KTTQ10SF8Z KTTQ10SF8Z
| URI | m2://inv/KTTQ10SF8Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20760#PAZH (statement). In 6G9JSJ5JMP/e1, theorem 37
History
- 2026-10-27: add by m2/v0.4.2
KTTW0YRD90 KTTW0YRD90
| URI | m2://inv/KTTW0YRD90 |
|---|---|
| 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 2211.14214#XMCY (statement). In SY85Y9E45A/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Zorn's lemma KTV8Q7B2Q3
| URI | m2://inv/KTV8Q7B2Q3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zorn's lemma#CFNY, Zorn's lemma (statement)
History
- 2026-11-02: add by m2/dev
z-axis KTVETH3GF0
| URI | m2://inv/KTVETH3GF0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13166107, z-axis (unknown). Also MathWorld z-Axis
History
- 2026-10-26: add by m2/dev
KTVMXEJYPV KTVMXEJYPV
| URI | m2://inv/KTVMXEJYPV |
|---|---|
| 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.28937#PERW (statement)
History
- 2026-11-01: add by m2/v0.6.15
KTVX1FK59W KTVX1FK59W
| URI | m2://inv/KTVX1FK59W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20458#DI7N (statement)
History
- 2026-11-02: add by m2/v0.6.18
Lemma KTW3197F3N
| URI | m2://inv/KTW3197F3N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tychonoff's theorem#G4BL, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Remark KTWTA70HE4
| URI | m2://inv/KTWTA70HE4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Temporal fair division#C9UX, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Finite resolved presentation KTWVKVQQE7
| URI | m2://inv/KTWVKVQQE7 |
|---|---|
| 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 2609.20215#0IH1, Finite resolved presentation (definition)
History
- 2026-11-02: add by m2/v0.6.18
Regular numerical predicate KTX1K06W1J
| URI | m2://inv/KTX1K06W1J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular numerical predicate, Regular numerical predicate (definition). Also Wikidata Q85796481
History
- 2026-11-02: add by m2/dev
Von Neumann-Morgenstern utility theorem KTX235AQM3
| URI | m2://inv/KTX235AQM3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Risk aversion#RGNZ, Von Neumann-Morgenstern utility theorem (statement)
History
- 2026-11-02: add by m2/dev
Udyotakara KTX4CVPZ1Z
| URI | m2://inv/KTX4CVPZ1Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#WE9L, Udyotakara (unknown)
History
- 2026-11-02: add by m2/dev
Definition KTX8QZ6C1M
| URI | m2://inv/KTX8QZ6C1M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q factor#R5YB, Definition (definition)
History
- 2026-11-02: add by m2/dev
Vasishtha Siddhanta KTX9ANETZX
| URI | m2://inv/KTX9ANETZX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#F2V8, Vasishtha Siddhanta (unknown)
- wikipedia: Wikipedia List of Indian mathematicians#WJKE, Vasishtha Siddhanta (unknown)
History
- 2026-11-02: add by m2/dev
Monoid ring KTX9CE63SK
| URI | m2://inv/KTX9CE63SK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#757G, Monoid ring (definition)
History
- 2026-11-02: add by m2/dev
height KTXJ24HPJC
| URI | m2://inv/KTXJ24HPJC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#Y89F, height (definition)
History
- 2026-11-02: add by m2/dev
Haar's theorem KTXMSN9S3Q
| URI | m2://inv/KTXMSN9S3Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haar measure#W8XM, Haar's theorem (statement)
History
- 2026-11-02: add by m2/dev
Aleksei Parshin KTXN4N3J98
| URI | m2://inv/KTXN4N3J98 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aleksei Parshin, Aleksei Parshin (topic). Also Wikidata Q2643985
History
- 2026-11-02: add by m2/dev
Abstract harmonic analysis KTXP7YD8HX
| URI | m2://inv/KTXP7YD8HX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic analysis#MTGR, Abstract harmonic analysis (unknown)
History
- 2026-11-02: add by m2/dev
First case of Fermat's Last Theorem KTXPW9GM4F
| URI | m2://inv/KTXPW9GM4F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eisenstein reciprocity#FH5X, First case of Fermat's Last Theorem (statement)
History
- 2026-11-02: add by m2/dev
KTXTCY83KT KTXTCY83KT
| URI | m2://inv/KTXTCY83KT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12908#G56J (statement). In TNC658NVMQ/e1, lemma 10.1
History
- 2026-10-28: add by m2/v0.4.2
KTXW3YBVAZ KTXW3YBVAZ
| URI | m2://inv/KTXW3YBVAZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#O8DX (example). In VN084GGZGK/e1, example 3.23
History
- 2026-10-28: add by m2/v0.4.3
Lee vs.\ Hamming weight KTY1XV57YX
| URI | m2://inv/KTY1XV57YX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-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.04834#U03J, Lee vs.\ Hamming weight (definition). In YZNK67K060/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Giovanni Cassini KTY5HCKKBY
| URI | m2://inv/KTY5HCKKBY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#ORKT, Giovanni Cassini (topic)
History
- 2026-11-02: add by m2/dev
Brauer's theorem KTY6EPD5YE
| URI | m2://inv/KTY6EPD5YE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#M4W2, Brauer's theorem (statement)
History
- 2026-11-02: add by m2/dev
KTYAVQRZA6 KTYAVQRZA6
| URI | m2://inv/KTYAVQRZA6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.10077#7V9M (statement). In YA7H9PY3R1/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.10
KTYJBSNSFZ KTYJBSNSFZ
| URI | m2://inv/KTYJBSNSFZ |
|---|---|
| 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 2610.06440#UW6V (statement). In 5YB65RB13X/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
conductor of an elliptic curve KTYQJVNKP0
| URI | m2://inv/KTYQJVNKP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18206146, conductor of an elliptic curve (unknown). Also LMFDB knowl ec.conductor
- wikipedia: Wikipedia Conductor of an elliptic curve, Conductor of an elliptic curve (definition). Also Wikidata Q18206146
History
- 2026-10-26: add by m2/dev
heptacontagon KTZ2DZ39VZ
| URI | m2://inv/KTZ2DZ39VZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3133320, heptacontagon (unknown). Also MathWorld Heptacontagon
History
- 2026-10-26: add by m2/dev
KTZ3HA1BSG KTZ3HA1BSG
| URI | m2://inv/KTZ3HA1BSG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/introduction/minimization.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 37.3
History
- 2026-11-01: add by m2/v0.6.13
lattice KTZ85FHN6V
| URI | m2://inv/KTZ85FHN6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lattice (group) WN9V7WSJKF |
Mentions
- wikidata: Wikidata Q1096885, lattice (unknown). Also nLab lattice
- wikipedia: Wikipedia Lattice (group), Lattice (definition). Also Wikidata Q1096885
History
- 2026-10-26: add by m2/dev
KTZKWTRXYF KTZKWTRXYF
| URI | m2://inv/KTZKWTRXYF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#5WUA (statement). In JW8HH6EPG2/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Umbral calculus KTZPPD5ES5
| URI | m2://inv/KTZPPD5ES5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#OE1A, Umbral calculus (definition)
History
- 2026-11-02: add by m2/dev
Betz Halloran KTZRWWJ4TN
| URI | m2://inv/KTZRWWJ4TN |
|---|---|
| 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#WIZF, Betz Halloran (unknown)
History
- 2026-11-02: add by m2/dev
General formula for roots KTZSQCW80B
| URI | m2://inv/KTZSQCW80B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quartic function#Q7L4, General formula for roots (statement)
History
- 2026-11-02: add by m2/dev