Inventory rows TK
The cards of the rows of the inventory whose ids start with TK. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Cartan TK045E1W2T
| URI | m2://inv/TK045E1W2T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#UX7V, Cartan (definition)
History
- 2026-11-02: add by m2/dev
999 TK0J9HQQV6
| URI | m2://inv/TK0J9HQQV6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 999 (number), 999 (definition). Also Wikidata Q1064251
History
- 2026-11-02: add by m2/dev
Locally compact space TK0JMCP8NH
| URI | m2://inv/TK0JMCP8NH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#S424, Locally compact space (definition)
History
- 2026-11-02: add by m2/dev
μ-recursive function TK0R173WKE
| URI | m2://inv/TK0R173WKE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | General recursive function HBK5QHC1GC |
Mentions
- wikidata: Wikidata Q284164, μ-recursive function (unknown). Also EoM Recursive_function, MathWorld RecursiveFunction, nLab recursive function
- wikipedia: Wikipedia General recursive function, General recursive function (definition). Also Wikidata Q284164
History
- 2026-10-26: add by m2/dev
TK0RBSE5TV TK0RBSE5TV
| URI | m2://inv/TK0RBSE5TV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#cor:transport-path-prepost (statement). In N54F33XE07, lem, section 1.11
History
- 2026-11-01: add by m2/v0.6.13
TK0ZY9ZS1S TK0ZY9ZS1S
| URI | m2://inv/TK0ZY9ZS1S |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#proof-7 (proof). In E59CDZA4DP, proof, section 8.2.2
History
- 2026-11-01: add by m2/v0.6.13
TK13TY2T3W TK13TY2T3W
| URI | m2://inv/TK13TY2T3W |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-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.36509#KWM6 (problem). In DPJ15KW23C/e1, problem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Random permutation TK1752ZN39
| URI | m2://inv/TK1752ZN39 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#TQZS, Random permutation (unknown)
History
- 2026-11-02: add by m2/dev
Characterization by the product formula TK1BG7VCX5
| URI | m2://inv/TK1BG7VCX5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithm#QVBK, Characterization by the product formula (statement)
History
- 2026-11-02: add by m2/dev
Static recurrence TK1V2XHXA6
| URI | m2://inv/TK1V2XHXA6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00137#IET7, Static recurrence (statement). In NKW6YQ04QW/e1, proposition 7.7
History
- 2026-10-30: add by m2/v0.4.12
TK1XPKP523 TK1XPKP523
| URI | m2://inv/TK1XPKP523 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.02065#FEBP (statement). In 60CK7P5F36/e1, theorem 7.8
History
- 2026-10-27: add by m2/v0.3.5
TK22PMP020 TK22PMP020
| URI | m2://inv/TK22PMP020 |
|---|---|
| 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.18101#RW3T (statement). In XXN6KKXPYF/e1, corollary 9.9
History
- 2026-10-28: add by m2/v0.4.2
The global ultra-commutative monoid $\bP$ TK297ZT9QH
| URI | m2://inv/TK297ZT9QH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#O7EX, The global ultra-commutative monoid $\bP$ (definition). In TB1294GY5X/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.2
Multiplicative inverse TK2BQR4NCD
| URI | m2://inv/TK2BQR4NCD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#KUK3, Multiplicative inverse (definition)
History
- 2026-11-02: add by m2/dev
Gröbner basis TK2DXVESRB
| URI | m2://inv/TK2DXVESRB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#7IEK, Gröbner basis (definition)
History
- 2026-11-02: add by m2/dev
TK2JERD8XH TK2JERD8XH
| URI | m2://inv/TK2JERD8XH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#J4M5 (statement). In JWNYJVH8XG/e1, corollary 3.14
History
- 2026-10-29: add by m2/v0.4.10
Erdős problem 347 TK3173YF2G
| URI | m2://inv/TK3173YF2G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős#6V4B, Erdős problem 347 (unknown)
History
- 2026-11-02: add by m2/dev
TK32X4P39F TK32X4P39F
| URI | m2://inv/TK32X4P39F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#thm:transport-path2 (statement). In N54F33XE07, thm, section 1.11
History
- 2026-11-01: add by m2/v0.6.13
Laplace summation (Gregory summation formula) TK34EPQQT1
| URI | m2://inv/TK34EPQQT1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indefinite sum#89PO, Laplace summation (Gregory summation formula) (statement)
History
- 2026-11-02: add by m2/dev
Kinetic stability TK36V6WNZ2
| URI | m2://inv/TK36V6WNZ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metastability#OZXE, Kinetic stability (unknown)
History
- 2026-11-02: add by m2/dev
TK375JW31H TK375JW31H
| URI | m2://inv/TK375JW31H |
|---|---|
| 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.33932#9SQH (statement). In YPVF3ET43M/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
TK382MS788 TK382MS788
| URI | m2://inv/TK382MS788 |
|---|---|
| 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.14985#SD3G (statement). In DGXJW3SCBR/e1, theorem 23
History
- 2026-10-28: add by m2/v0.4.2
Lie-* algebra TK39R63CBA
| URI | m2://inv/TK39R63CBA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie-* algebra, Lie-* algebra (definition). Also Wikidata Q16963338
History
- 2026-11-02: add by m2/dev
The Isoperimetric Theorem TK3A32GMVM
| URI | m2://inv/TK3A32GMVM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 43, The Isoperimetric Theorem (statement)
History
- 2026-10-26: add by m2/dev
TK3SDR4XAE TK3SDR4XAE
| URI | m2://inv/TK3SDR4XAE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27253#TJX5 (example)
History
- 2026-11-01: add by m2/v0.6.15
Properties TK3SNG9P6A
| URI | m2://inv/TK3SNG9P6A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eisenstein integer#H29Z, Properties (statement)
History
- 2026-11-02: add by m2/dev
Product term TK3WF365Y7
| URI | m2://inv/TK3WF365Y7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product term, Product term (definition). Also Wikidata Q1781698
History
- 2026-11-02: add by m2/dev
TK42ACJ85Q TK42ACJ85Q
| URI | m2://inv/TK42ACJ85Q |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24463#JEQG (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
TK4B9DYGEX TK4B9DYGEX
| URI | m2://inv/TK4B9DYGEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26134#HK8C (statement)
History
- 2026-11-01: add by m2/v0.6.15
basic variable TK4C4TDGR7
| URI | m2://inv/TK4C4TDGR7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/1.2.3/basic-variable, basic variable (concept). In 649HGZKE96, index, section 1.2.3
History
- 2026-11-01: add by m2/v0.6.13
TK4CDPPQ56 TK4CDPPQ56
| URI | m2://inv/TK4CDPPQ56 |
|---|---|
| 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.00775#UUNV (statement). In WVHA7H05QC/e1, corollary 2.18
History
- 2026-10-29: add by m2/v0.4.12
TK4E59W6N5 TK4E59W6N5
| URI | m2://inv/TK4E59W6N5 |
|---|---|
| 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#IIVT (example). In VJTRH1S4JA/e1, example 5.10
History
- 2026-10-28: add by m2/v0.4.2
TK4H6HCNBZ TK4H6HCNBZ
| URI | m2://inv/TK4H6HCNBZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30600#3YTY (statement). In BKGWH9ZN4J/e1, lemma 2.3
History
- 2026-10-31: add by m2/v0.5.6
Properties TK4TMNGP1Z
| URI | m2://inv/TK4TMNGP1Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elasticity tensor#K9XK, Properties (statement)
History
- 2026-11-02: add by m2/dev
Generalized Schur decomposition TK4TNWD4BV
| URI | m2://inv/TK4TNWD4BV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur decomposition#3JWB, Generalized Schur decomposition (unknown)
History
- 2026-11-02: add by m2/dev
TK4X75041T TK4X75041T
| URI | m2://inv/TK4X75041T |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/p-adic.tex#proof-2 (proof). In RZP28ERRZV, proof, section 33.3.2
History
- 2026-11-01: add by m2/v0.6.13
Kronecker delta function TK4X7MNQJA
| URI | m2://inv/TK4X7MNQJA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#MRPB, Kronecker delta function (definition)
History
- 2026-11-02: add by m2/dev
TK4XDMMSQM TK4XDMMSQM
| URI | m2://inv/TK4XDMMSQM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#G1PI (statement). In WRE0P7V6Z3/e1, proposition 1.19
History
- 2026-10-30: add by m2/v0.4.12
Other conjectures TK503TKPP4
| URI | m2://inv/TK503TKPP4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjecture#J075, Other conjectures (statement)
History
- 2026-11-02: add by m2/dev
HM Government Communications Centre TK50KPV3EV
| URI | m2://inv/TK50KPV3EV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HM Government Communications Centre, HM Government Communications Centre (definition). Also Wikidata Q5732300
History
- 2026-11-02: add by m2/dev
TK516AY10S TK516AY10S
| URI | m2://inv/TK516AY10S |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1509.00950#SUCQ (proof). In MDZFW5GACV/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Theorem TK5659MDGY
| URI | m2://inv/TK5659MDGY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial interpolation#1CR9, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Notation TK59WZEQEY
| URI | m2://inv/TK59WZEQEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor rank decomposition#AWZ9, Notation (definition)
History
- 2026-11-02: add by m2/dev
Notation TK5C6Y5Z8Z
| URI | m2://inv/TK5C6Y5Z8Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stirling numbers of the second kind#KW49, Notation (definition)
History
- 2026-11-02: add by m2/dev
functional relation TK5PHAK8JQ
| URI | m2://inv/TK5PHAK8JQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110854274, functional relation (unknown). Also nLab functional relation
History
- 2026-10-26: add by m2/dev
TK63WMYWG2 TK63WMYWG2
| URI | m2://inv/TK63WMYWG2 |
|---|---|
| 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.35320#ZO0B (statement). In QJ6AEW93RB/e1, lemma 1.7
History
- 2026-10-30: add by m2/v0.4.12
Mikio Sato TK67YPE6RZ
| URI | m2://inv/TK67YPE6RZ |
|---|---|
| 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 Q556143, Mikio Sato (unknown). Also nLab Mikio Sato
- wikipedia: Wikipedia Mikio Sato, Mikio Sato (topic). Also Wikidata Q556143
History
- 2026-10-26: add by m2/dev
TK6BEBM3DM TK6BEBM3DM
| URI | m2://inv/TK6BEBM3DM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33552#4Y8F (statement). In SRAS2DJJQH/e1, proposition 6.2
History
- 2026-10-30: add by m2/v0.4.12
TK6CJPCZP1 TK6CJPCZP1
| URI | m2://inv/TK6CJPCZP1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26600#1Q66 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fundamental theorem of dynamical systems TK6EFX79QX
| URI | m2://inv/TK6EFX79QX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#0JB7, Fundamental theorem of dynamical systems (statement)
History
- 2026-11-02: add by m2/dev
Weaker topology TK6FG6E3GP
| URI | m2://inv/TK6FG6E3GP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#MWEC, Weaker topology (definition)
History
- 2026-11-02: add by m2/dev
Flexible algebra TK6RJZ27RM
| URI | m2://inv/TK6RJZ27RM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flexible algebra, Flexible algebra (definition). Also Wikidata Q259590
History
- 2026-11-02: add by m2/dev
inscribed square problem TK6V6D6PDW
| URI | m2://inv/TK6V6D6PDW |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Inscribed square problem J72DEZHNAW |
Mentions
- wikidata: Wikidata Q2264221, inscribed square problem (problem). Also MathWorld SquareInscribing
- wikipedia: Wikipedia Inscribed square problem, Inscribed square problem (conjecture). Also Wikidata Q2264221
History
- 2026-10-26: add by m2/dev
purely transcendental base change of the profile TK6V7S4J64
| URI | m2://inv/TK6V7S4J64 |
|---|---|
| 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.09298#8EKC, purely transcendental base change of the profile (statement). In 1SPQ4J3AWY/e1, lemma 8.2
History
- 2026-10-29: add by m2/v0.4.10
Quasi-Frobenius Lie algebra TK6VCNN4MC
| URI | m2://inv/TK6VCNN4MC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-Frobenius Lie algebra, Quasi-Frobenius Lie algebra (definition). Also Wikidata Q7269429
History
- 2026-11-02: add by m2/dev
Formulation TK71R0TFDT
| URI | m2://inv/TK71R0TFDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo algebraically closed field#IUF1, Formulation (definition)
History
- 2026-11-02: add by m2/dev
TK71W5AVNH TK71W5AVNH
| URI | m2://inv/TK71W5AVNH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.01000#DRCQ (example). In RYFV9HGWWZ/e1, example 4
History
- 2026-10-27: add by m2/v0.3.5
Jens Franke TK77012N8S
| URI | m2://inv/TK77012N8S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jens Franke, Jens Franke (topic). Also Wikidata Q95705
History
- 2026-11-02: add by m2/dev
Rejection sampling TK7CN9HWRT
| URI | m2://inv/TK7CN9HWRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rejection sampling, Rejection sampling (definition). Also Wikidata Q381699
History
- 2026-11-02: add by m2/dev
Ewa Damek TK7JKC73CW
| URI | m2://inv/TK7JKC73CW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ewa Damek, Ewa Damek (topic). Also Wikidata Q9256639
History
- 2026-11-02: add by m2/dev
TK7WBBZE8G TK7WBBZE8G
| URI | m2://inv/TK7WBBZE8G |
|---|---|
| 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.08288#ZP59 (statement). In CHVWYJM7RM/e1, lemma 4.10
History
- 2026-10-29: add by m2/v0.4.10
TK82KEBQ3Y TK82KEBQ3Y
| URI | m2://inv/TK82KEBQ3Y |
|---|---|
| Kind | conjecture |
| 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 1707.06795#37YK (conjecture). In 32MMSEVHYN/e1, conjecture 1.1
History
- 2026-10-27: add by m2/v0.3.5
TK86RK80XK TK86RK80XK
| URI | m2://inv/TK86RK80XK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15434#865U (statement). In PWF23QSGDX/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Cut-Restriction TK8781V0B3
| URI | m2://inv/TK8781V0B3 |
|---|---|
| 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.26337#LHG4, Cut-Restriction (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ellipsograph TK8CZ58BC5
| URI | m2://inv/TK8CZ58BC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellipsograph, Ellipsograph (definition). Also Wikidata Q2597560
History
- 2026-11-02: add by m2/dev
TK8EDN5D84 TK8EDN5D84
| URI | m2://inv/TK8EDN5D84 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ImagesInverseImages.tex#problem-5 (exercise). In P1C114YBXG, problem, section C
History
- 2026-11-01: add by m2/v0.6.13
TK8Q0MXYBE TK8Q0MXYBE
| URI | m2://inv/TK8Q0MXYBE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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.14060#9RKX (statement). In X47RYAZF8P/e1, lemma 10.8
History
- 2026-10-28: add by m2/v0.4.2
TK8QAPA9EE TK8QAPA9EE
| URI | m2://inv/TK8QAPA9EE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09333#2I0H (definition). In Z9HC1EDTQP/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
Walter Burley TK8XJRBAWN
| URI | m2://inv/TK8XJRBAWN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walter Burley, Walter Burley (topic). Also Wikidata Q1862572
History
- 2026-11-02: add by m2/dev
TK90CXPW8R TK90CXPW8R
| URI | m2://inv/TK90CXPW8R |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21367#1X8N (conjecture)
History
- 2026-11-02: add by m2/v0.6.18
abstraction operator TK97JBGSDV
| URI | m2://inv/TK97JBGSDV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#WGP3, abstraction operator (definition)
History
- 2026-11-02: add by m2/dev
Lambert TK98RJG0XZ
| URI | m2://inv/TK98RJG0XZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.04566#SPH9, Lambert (statement). In 80S2NP05HJ/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.4.0
Elementary algebra TK9CEQVA06
| URI | m2://inv/TK9CEQVA06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary algebra, Elementary algebra (definition). Also Wikidata Q211294
History
- 2026-11-02: add by m2/dev
TK9E7W8VQM TK9E7W8VQM
| URI | m2://inv/TK9E7W8VQM |
|---|---|
| Kind | example |
| 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 2605.30679#3Z18 (example). In Z31GMHMG7B/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
Johann Friedrich Pfaff TK9HHV4MW2
| URI | m2://inv/TK9HHV4MW2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johann Friedrich Pfaff, Johann Friedrich Pfaff (topic). Also Wikidata Q77361
History
- 2026-11-02: add by m2/dev
TK9K0145AH TK9K0145AH
| URI | m2://inv/TK9K0145AH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23528#KUG8 (definition)
History
- 2026-11-02: add by m2/v0.6.17
TK9KRF7K3C TK9KRF7K3C
| URI | m2://inv/TK9KRF7K3C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#95T7 (statement). In SD43497T8C/e1, lemma 1.42
History
- 2026-10-27: add by m2/v0.3.5
Converse under uniform per-key TV constraint TK9MS7MPEX
| URI | m2://inv/TK9MS7MPEX |
|---|---|
| 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.05712#RY3I, Converse under uniform per-key TV constraint (statement). In 44Q2H3DWNW/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
The algorithm TKA190D1XV
| URI | m2://inv/TKA190D1XV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohen–Sutherland algorithm#ILQI, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
TKA7HQFRN2 TKA7HQFRN2
| URI | m2://inv/TKA7HQFRN2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10773#WJFX (statement). In 744Y8ZPEV7/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.3
Andrey Kolmogorov TKA8EAC2KN
| URI | m2://inv/TKA8EAC2KN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#K99X, Andrey Kolmogorov (topic)
History
- 2026-11-02: add by m2/dev
Rupert G. Miller Jr. TKA93794JK
| URI | m2://inv/TKA93794JK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#KEW3, Rupert G. Miller Jr. (topic)
History
- 2026-11-02: add by m2/dev
Smokeless tobacco TKACAXW509
| URI | m2://inv/TKACAXW509 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#4M42, Smokeless tobacco (unknown)
History
- 2026-11-02: add by m2/dev
Sheaf cohomology TKAFTM009T
| URI | m2://inv/TKAFTM009T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#6Z1A, Sheaf cohomology (definition)
History
- 2026-11-02: add by m2/dev
TKAJ836TPC TKAJ836TPC
| URI | m2://inv/TKAJ836TPC |
|---|---|
| Kind | example |
| 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.21098#ZCX7 (example)
History
- 2026-11-02: add by m2/v0.6.18
TKAK8HC195 TKAK8HC195
| URI | m2://inv/TKAK8HC195 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20513#LU34 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Monopole TKAMATF4TB
| URI | m2://inv/TKAMATF4TB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monopole (mathematics), Monopole (definition). Also Wikidata Q354685
History
- 2026-11-02: add by m2/dev
TKANGGKKH1 TKANGGKKH1
| URI | m2://inv/TKANGGKKH1 |
|---|---|
| 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.17602#NWOO (statement). In BH62508WHJ/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
TKB9X8RGES TKB9X8RGES
| URI | m2://inv/TKB9X8RGES |
|---|---|
| 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.31910#UWE3 (statement). In E4EK1XXPY4/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
Thurstonian model TKBBVBV7B1
| URI | m2://inv/TKBBVBV7B1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thurstonian model, Thurstonian model (definition). Also Wikidata Q7799463
History
- 2026-11-02: add by m2/dev
TKBGC38F1P TKBGC38F1P
| URI | m2://inv/TKBGC38F1P |
|---|---|
| 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.32104#4MT3 (statement). In YRJSYFXNM8/e1, lemma 5.7
History
- 2026-10-31: add by m2/v0.5.6
Test score TKBPNB3C20
| URI | m2://inv/TKBPNB3C20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1JPV, Test score (definition)
History
- 2026-11-02: add by m2/dev
TKC061YVKM TKC061YVKM
| URI | m2://inv/TKC061YVKM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_color.ptx#thm_intgraphcol (statement). In QKM9DD2H56, theorem, section 5.4.3
History
- 2026-11-01: add by m2/v0.6.13
Examples TKC0STPEEW
| URI | m2://inv/TKC0STPEEW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Involutory matrix#8OGG, Examples (example)
History
- 2026-11-02: add by m2/dev
TKC2H9VAWR TKC2H9VAWR
| URI | m2://inv/TKC2H9VAWR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-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.10247#0KRT (statement). In XWTMY44RF1/e1, corollary 4.1
History
- 2026-10-29: add by m2/v0.4.10
TKC349WRHR TKC349WRHR
| URI | m2://inv/TKC349WRHR |
|---|---|
| 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#T0DD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition TKC4W7VAFX
| URI | m2://inv/TKC4W7VAFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tate module#8Q13, Definition (definition)
History
- 2026-11-02: add by m2/dev
TKC9MRP55T TKC9MRP55T
| URI | m2://inv/TKC9MRP55T |
|---|---|
| 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.05216#EOR7 (statement). In J1VCHM6V0S/e1, proposition 2.12
History
- 2026-10-29: add by m2/v0.4.10
Normal fan TKCD6VVQ3R
| URI | m2://inv/TKCD6VVQ3R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal fan, Normal fan (definition). Also Wikidata Q65043788
History
- 2026-11-02: add by m2/dev
\myindex{Cauchy--Schwarz inequality} TKCFQN4BW1
| URI | m2://inv/TKCFQN4BW1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#thm-1, \myindex{Cauchy--Schwarz inequality} (statement). In E59CDZA4DP, thm, section 11.2.1
History
- 2026-11-01: add by m2/v0.6.13
TKCHRMPWSE TKCHRMPWSE
| URI | m2://inv/TKCHRMPWSE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20025#U9QW (definition). In 4W1WR4JB89/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.2
Wendy L. Martinez TKCM1V4CNG
| URI | m2://inv/TKCM1V4CNG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wendy L. Martinez, Wendy L. Martinez (topic). Also Wikidata Q43939853
History
- 2026-11-02: add by m2/dev
L'Hôpital's rule TKCR6TKRCB
| URI | m2://inv/TKCR6TKRCB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#0BKC, L'Hôpital's rule (definition)
History
- 2026-11-02: add by m2/dev
TKCVCMS9PG TKCVCMS9PG
| URI | m2://inv/TKCVCMS9PG |
|---|---|
| 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.03327#UAKW (statement). In EBNXA84CPM/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Richard James TKD6F8KE8D
| URI | m2://inv/TKD6F8KE8D |
|---|---|
| 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#3Y2U, Richard James (unknown)
History
- 2026-11-02: add by m2/dev
Johannes Dryander TKDA4RMC6K
| URI | m2://inv/TKDA4RMC6K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johannes Dryander, Johannes Dryander (topic). Also Wikidata Q1693265
History
- 2026-11-02: add by m2/dev
The ring of Eisenstein integers is a Euclidean domain TKDHSWTJS4
| URI | m2://inv/TKDHSWTJS4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#example-8, The ring of Eisenstein integers is a Euclidean domain (example). In RZP28ERRZV, example, section 4.7
History
- 2026-11-01: add by m2/v0.6.13
Cryptocurrency tumbler TKDR1XZ27R
| URI | m2://inv/TKDR1XZ27R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptocurrency tumbler, Cryptocurrency tumbler (definition). Also Wikidata Q20311056
History
- 2026-11-02: add by m2/dev
Thales Of Miletus TKE1MH27ET
| URI | m2://inv/TKE1MH27ET |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#5A9S, Thales Of Miletus (topic)
History
- 2026-11-02: add by m2/dev
Joint OLS--constrained-WLS limit TKE62JQ0CS
| URI | m2://inv/TKE62JQ0CS |
|---|---|
| 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.23339#SIDH, Joint OLS--constrained-WLS limit (statement)
History
- 2026-11-02: add by m2/v0.6.17
TKEASWHW5T TKEASWHW5T
| URI | m2://inv/TKEASWHW5T |
|---|---|
| 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.08288#KP7W (statement). In CHVWYJM7RM/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
TKED8MK96F TKED8MK96F
| URI | m2://inv/TKED8MK96F |
|---|---|
| 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.11082#JAA6 (statement). In GFPFFN0BXV/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.3
TKEDYCDKR8 TKEDYCDKR8
| URI | m2://inv/TKEDYCDKR8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26479#FJ6E (statement)
History
- 2026-11-01: add by m2/v0.6.15
TKEKG85A8W TKEKG85A8W
| URI | m2://inv/TKEKG85A8W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/examples-of-filtrations.tex#prop:finest (statement). In PKGMM3P5QY, prop, section 51.9
History
- 2026-11-01: add by m2/v0.6.13
TKEPZ38FMW TKEPZ38FMW
| URI | m2://inv/TKEPZ38FMW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-30 (exercise). In E59CDZA4DP, exercise, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
First Mesa, Arizona TKEVMC8G9T
| URI | m2://inv/TKEVMC8G9T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#MNDV, First Mesa, Arizona (unknown)
History
- 2026-11-02: add by m2/dev
Legendre sieve TKF3ZNWKYT
| URI | m2://inv/TKF3ZNWKYT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre sieve, Legendre sieve (definition). Also Wikidata Q3697820
History
- 2026-11-02: add by m2/dev
TKF680ARC0 TKF680ARC0
| URI | m2://inv/TKF680ARC0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11210#3P8S (statement). In CRFDGFZHBF/e1, proposition 3.11
History
- 2026-10-28: add by m2/v0.4.3
TKFBKSA1NF TKFBKSA1NF
| URI | m2://inv/TKFBKSA1NF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28677#QIPA (definition)
History
- 2026-11-01: add by m2/v0.6.15
Examples TKFR8SJHH0
| URI | m2://inv/TKFR8SJHH0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of choice#DYET, Examples (example)
History
- 2026-11-02: add by m2/dev
TKFY1TT9VB TKFY1TT9VB
| URI | m2://inv/TKFY1TT9VB |
|---|---|
| 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.22074#8BZ0 (statement). In F3BKXXPR3K/e1, corollary 3.31
History
- 2026-10-27: add by m2/v0.4.2
Sketch of Proof TKG0AW5MED
| URI | m2://inv/TKG0AW5MED |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#proof-6, Sketch of Proof (proof). In RZP28ERRZV, proof, section 95.4
History
- 2026-11-01: add by m2/v0.6.13
The nonlinear remainder for coefficients with half a derivative TKG6JYEJNN
| URI | m2://inv/TKG6JYEJNN |
|---|---|
| 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.13753#S97Q, The nonlinear remainder for coefficients with half a derivative (statement). In AHM0PBKZZN/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
Ribaucour curve TKG6VQ4GK4
| URI | m2://inv/TKG6VQ4GK4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#TV8J, Ribaucour curve (unknown)
- wikipedia: Wikipedia List of curves topics#UE5M, Ribaucour curve (unknown)
History
- 2026-11-02: add by m2/dev
TKG8HFF6S6 TKG8HFF6S6
| URI | m2://inv/TKG8HFF6S6 |
|---|---|
| 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.31387#Q21Y (statement). In GBD60VB1JX/e1, corollary 7
History
- 2026-10-31: add by m2/v0.5.6
*{Definition 2.2}, *{Definition 2.39 TKGB60N093
| URI | m2://inv/TKGB60N093 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#HMOO, *{Definition 2.2}, *{Definition 2.39 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Gauss-ratio decomposition TKGE09AW72
| URI | m2://inv/TKGE09AW72 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07905#W609, Gauss-ratio decomposition (statement). In 88GEN3Z5VG/e1, lemma 7.5
History
- 2026-10-29: add by m2/v0.4.10
Cancellation TKGFXZYN4M
| URI | m2://inv/TKGFXZYN4M |
|---|---|
| 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.20817#SCHD, Cancellation (statement). In M1YRBSZT4H/e1, lemma 2
History
- 2026-10-27: add by m2/v0.4.2
TKGK6PPT1S TKGK6PPT1S
| URI | m2://inv/TKGK6PPT1S |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-42 (proof). In N54F33XE07, proof, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Mertens' theorems TKGVZGBN9G
| URI | m2://inv/TKGVZGBN9G |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | Mertens' theorems 7J3P1W042Y |
Mentions
- mathlib_1000: mathlib_1000 Q1196729, Mertens's theorems (statement). Also Wikidata Q1196729
- thousand_plus: thousand_plus Q1196729, Mertens's theorems (statement). Also Wikidata Q1196729, Wikipedia Mertens's theorems
- wikidata: Wikidata Q1196729, Mertens' theorems (unknown). Also MathWorld MertensTheorem
- wikipedia: Wikipedia Mertens' theorems, Mertens' theorems (statement). Also Wikidata Q1196729
History
- 2026-10-26: add by m2/dev
Integral representation TKH0XTWEJM
| URI | m2://inv/TKH0XTWEJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06028#JQ3N, Integral representation (statement). In GAZRH97SXG/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
Post-deviation conflicts TKHDFY3SDK
| URI | m2://inv/TKHDFY3SDK |
|---|---|
| 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.04948#M7DF, Post-deviation conflicts (statement). In TKHA291X5N/e1, proposition 10
History
- 2026-10-29: add by m2/v0.4.12
non-measurable set TKHNVTFNS9
| URI | m2://inv/TKHNVTFNS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Non-measurable set PKQ7ABPVSG |
Mentions
- wikidata: Wikidata Q1055379, non-measurable set (definition). Also EoM Non-measurable_set, ProofWiki Definition:Non-Measurable_Set
- wikipedia: Wikipedia Non-measurable set, Non-measurable set (definition). Also Wikidata Q1055379
History
- 2026-10-26: add by m2/dev
TKHPMBPZ0Z TKHPMBPZ0Z
| URI | m2://inv/TKHPMBPZ0Z |
|---|---|
| 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 2204.01121#00ZA (statement). In 1HP57QXBGF/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
amnestic TKHR4A8RWA
| URI | m2://inv/TKHR4A8RWA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#8S42, amnestic (definition)
History
- 2026-11-02: add by m2/dev
Fundamental theorems of welfare economics TKHRRM7414
| URI | m2://inv/TKHRRM7414 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#HS5F, Fundamental theorems of welfare economics (statement)
History
- 2026-11-02: add by m2/dev
Conditioning on several outputs TKHSPZCEAP
| URI | m2://inv/TKHSPZCEAP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#EMRU, Conditioning on several outputs (statement). In ZZER8ZBSCR/e1, lemma 3.16
History
- 2026-10-29: add by m2/v0.4.12
unitary TKHYQ6JHXH
| URI | m2://inv/TKHYQ6JHXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#9G0L, unitary (definition)
History
- 2026-11-02: add by m2/dev
TKJ1E1HPE0 TKJ1E1HPE0
| URI | m2://inv/TKJ1E1HPE0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-14 (exercise). In Y91XFCEVHQ, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Conditional probability TKJ5C4Z546
| URI | m2://inv/TKJ5C4Z546 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0W5Y, Conditional probability (definition)
History
- 2026-11-02: add by m2/dev
Definition TKJ9CK9KFW
| URI | m2://inv/TKJ9CK9KFW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conglomerate (mathematics)#CX0X, Definition (definition)
History
- 2026-11-02: add by m2/dev
TKJADFXQ9W TKJADFXQ9W
| URI | m2://inv/TKJADFXQ9W |
|---|---|
| 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.14847#2LHW (statement). In 2RC8WXQ9ET/e1, proposition 7.2
History
- 2026-10-28: add by m2/v0.4.2
TKJG3E48AB TKJG3E48AB
| URI | m2://inv/TKJG3E48AB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.11809#TDKJ (example). In YQXYSNW78V/e1, example 19
History
- 2026-10-27: add by m2/v0.3.5
Nayandeep Deka Baruah TKJGHSCNB4
| URI | m2://inv/TKJGHSCNB4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#54DG, Nayandeep Deka Baruah (topic)
History
- 2026-11-02: add by m2/dev
Lie algebra TKJVG0043D
| URI | m2://inv/TKJVG0043D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#YBKT, Lie algebra (definition)
History
- 2026-11-02: add by m2/dev
Theorem B (groups) TKJVSR3Z6W
| URI | m2://inv/TKJVSR3Z6W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has no name of its own, and the write role names it) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isomorphism theorems#4VC1, Theorem B (groups) (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
TKK5BT9HV2 TKK5BT9HV2
| URI | m2://inv/TKK5BT9HV2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33015#SRVI (example). In W6Y6NPK648/e1, example 4.12
History
- 2026-10-27: add by m2/v0.3.5
Method of support TKK8AA844F
| URI | m2://inv/TKK8AA844F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JGFZ, Method of support (definition)
History
- 2026-11-02: add by m2/dev
Hochschild cohomology model TKK9E6NXPH
| URI | m2://inv/TKK9E6NXPH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#H1OO, Hochschild cohomology model (statement). In KR7WXN4EWR/e1, theorem 8.9
History
- 2026-10-29: add by m2/v0.4.12
And-inverter graph TKKARMS48V
| URI | m2://inv/TKKARMS48V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#SXDU, And-inverter graph (unknown)
History
- 2026-11-02: add by m2/dev
TKKFBGAAGX TKKFBGAAGX
| URI | m2://inv/TKKFBGAAGX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20049#R4TR (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties TKKJFZ9T5C
| URI | m2://inv/TKKJFZ9T5C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Displacement operator#INWU, Properties (statement)
History
- 2026-11-02: add by m2/dev
TKKS4KZETV TKKS4KZETV
| URI | m2://inv/TKKS4KZETV |
|---|---|
| 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 1009.2047#K1NQ (statement). In F3MWRNBNED/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.3.5
Chow's theorem TKKT4DJHZD
| URI | m2://inv/TKKT4DJHZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#JZ9X, Chow's theorem (definition)
History
- 2026-11-02: add by m2/dev
Properties TKKXVN7VE3
| URI | m2://inv/TKKXVN7VE3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithm of a matrix#69DI, Properties (statement)
History
- 2026-11-02: add by m2/dev
parameter TKM69V1ZW2
| URI | m2://inv/TKM69V1ZW2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#L2XQ, parameter (definition)
History
- 2026-11-02: add by m2/dev
Binary symmetric channel TKMG9XYXNB
| URI | m2://inv/TKMG9XYXNB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary symmetric channel, Binary symmetric channel (definition). Also Wikidata Q863510
History
- 2026-11-02: add by m2/dev
TKMHTA50Q6 TKMHTA50Q6
| URI | m2://inv/TKMHTA50Q6 |
|---|---|
| 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.36904#BNHD (statement). In R9E569AVRG/e1, corollary 3.5
History
- 2026-10-30: add by m2/v0.4.12
unitarian trick TKMQQXJEMG
| URI | m2://inv/TKMQQXJEMG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#UPVS, unitarian trick (definition)
History
- 2026-11-02: add by m2/dev
TKMQRGHD5X TKMQRGHD5X
| URI | m2://inv/TKMQRGHD5X |
|---|---|
| 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.38138#QY1J (statement). In G97FA99ZEF/e1, fact 3.8
History
- 2026-10-30: add by m2/v0.4.12
Applications TKMQWG2NA2
| URI | m2://inv/TKMQWG2NA2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barycentric coordinate system#5ULG, Applications (example)
History
- 2026-11-02: add by m2/dev
TKMVEE1BY0 TKMVEE1BY0
| URI | m2://inv/TKMVEE1BY0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#A283 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Squircle TKN2RAPZ9J
| URI | m2://inv/TKN2RAPZ9J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#A1N9, Squircle (definition)
- wikipedia: Wikipedia List of curves#ZSQP, Squircle (definition)
History
- 2026-11-02: add by m2/dev
TKN71KZ5J8 TKN71KZ5J8
| URI | m2://inv/TKN71KZ5J8 |
|---|---|
| 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.26017#RL0W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Derangements Formula TKN9X6CSAY
| URI | m2://inv/TKN9X6CSAY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 88, Derangements Formula (statement). Also Mathlib card_derangements_eq_numDerangements, Mathlib numDerangements_sum
History
- 2026-10-26: add by m2/dev
TKNPFD29V8 TKNPFD29V8
| URI | m2://inv/TKNPFD29V8 |
|---|---|
| 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.19251#17GC (statement). In CSW6NG0FRN/e1, corollary 4.6
History
- 2026-10-28: add by m2/v0.4.2
TKNPVGSK0A TKNPVGSK0A
| URI | m2://inv/TKNPVGSK0A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17717#UZDK (statement). In YXRKS451PK/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Noisy data TKNSASD2H8
| URI | m2://inv/TKNSASD2H8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2608.16453#L2FJ, Noisy data (statement). In BG3X7ZAEK1/e1, corollary 2.7
History
- 2026-10-27: add by m2/v0.3.5
TKP23EYJVF TKP23EYJVF
| URI | m2://inv/TKP23EYJVF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13241#U7YC (statement). In DWQWQ5KTEE/e1, lemma 17
History
- 2026-10-28: add by m2/v0.4.2
Marcel Grossmann TKP6NZEF80
| URI | m2://inv/TKP6NZEF80 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#DS60, Marcel Grossmann (topic)
History
- 2026-11-02: add by m2/dev
Erdős-Rado Delta System Theorem (corollary of the sunflower lemma) TKPAHSEN4C
| URI | m2://inv/TKPAHSEN4C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sunflower (mathematics)#G7WO, Erdős-Rado Delta System Theorem (corollary of the sunflower lemma) (statement)
History
- 2026-11-02: add by m2/dev
Generalized Riemann hypothesis for Selberg class TKPRB6N5XC
| URI | m2://inv/TKPRB6N5XC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Riemann hypothesis#G2X9, Generalized Riemann hypothesis for Selberg class (statement)
History
- 2026-11-02: add by m2/dev
TKQ0S3G0FM TKQ0S3G0FM
| URI | m2://inv/TKQ0S3G0FM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34813#5NBF (statement). In P3V3ZGCHV7/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
Daniel Slotnick TKQ38EZ65S
| URI | m2://inv/TKQ38EZ65S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel Slotnick, Daniel Slotnick (topic). Also Wikidata Q93159
History
- 2026-11-02: add by m2/dev
root system TKQ4ETCN02
| URI | m2://inv/TKQ4ETCN02 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q534131, root system (unknown). Also Mathlib RootPairing.IsRootSystem, MathWorld RootSystem
- wikipedia: Wikipedia Root system, Root system (definition). Also Wikidata Q534131
History
- 2026-10-26: add by m2/dev
Self-regular extension TKQ7Z4TCW5
| URI | m2://inv/TKQ7Z4TCW5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular extension#XDEV, Self-regular extension (unknown)
History
- 2026-11-02: add by m2/dev
\upshape Fujita TKQGG588PE
| URI | m2://inv/TKQGG588PE |
|---|---|
| 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.23634#L1HU, \upshape Fujita (statement)
History
- 2026-11-02: add by m2/v0.6.17
TKQVKQDTRB TKQVKQDTRB
| URI | m2://inv/TKQVKQDTRB |
|---|---|
| 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.01572#67X8 (statement). In 7BJK23Q7GH/e1, theorem 3.7
History
- 2026-10-29: add by m2/v0.4.12
TKR3F40MCP TKR3F40MCP
| URI | m2://inv/TKR3F40MCP |
|---|---|
| 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.11031#XLKH (statement). In 9DMJXFRQN9/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.3
Inverse problem of Galois theory TKRKA6JVB4
| URI | m2://inv/TKRKA6JVB4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#JJXE, Inverse problem of Galois theory (definition)
History
- 2026-11-02: add by m2/dev
Functional regression TKRKZ2W16D
| URI | m2://inv/TKRKZ2W16D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional regression, Functional regression (definition). Also Wikidata Q30672211
History
- 2026-11-02: add by m2/dev
Lev Landau TKRRB964MQ
| URI | m2://inv/TKRRB964MQ |
|---|---|
| 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 Q133267, Lev Landau (unknown). Also nLab Lev Landau
History
- 2026-10-26: add by m2/dev
TKRRCMSZDQ TKRRCMSZDQ
| URI | m2://inv/TKRRCMSZDQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39990#LVCL (statement). In SH78APY2T8/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
TKRV5BWA0M TKRV5BWA0M
| URI | m2://inv/TKRV5BWA0M |
|---|---|
| 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.27200#FN21 (statement)
History
- 2026-11-01: add by m2/v0.6.15
TKRWV66DHJ TKRWV66DHJ
| URI | m2://inv/TKRWV66DHJ |
|---|---|
| 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.12633#3XYG (statement). In NGZ5AZ70NN/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
TKS0M38WCN TKS0M38WCN
| URI | m2://inv/TKS0M38WCN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33068#9RUA (statement). In V9Z9Z0V5Y0/e1, corollary 4
History
- 2026-10-30: add by m2/v0.4.12
TKS19P6XR2 TKS19P6XR2
| URI | m2://inv/TKS19P6XR2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#thm:refl-over-ntype-base (statement). In N54F33XE07, cor, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Rényi, Alfréd TKS2073PHX
| URI | m2://inv/TKS2073PHX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#LB1B, Rényi, Alfréd (topic)
History
- 2026-11-02: add by m2/dev
Variants TKS3H6XF8Z
| URI | m2://inv/TKS3H6XF8Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compass (drawing tool)#4HKU, Variants (statement)
History
- 2026-11-02: add by m2/dev
TKS6KR2PEA TKS6KR2PEA
| URI | m2://inv/TKS6KR2PEA |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#NDW8 (problem). In WRE0P7V6Z3/e1, problem
History
- 2026-10-30: add by m2/v0.4.12
TKS8263V74 TKS8263V74
| URI | m2://inv/TKS8263V74 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07064#SBIS (statement). In GPK6W5XQM3/e1, theorem 8
History
- 2026-10-29: add by m2/v0.4.10
TKS9AQVK07 TKS9AQVK07
| URI | m2://inv/TKS9AQVK07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16834#7JKY (statement). In Q0DTV6PJJW/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
TKSJGNQBZ4 TKSJGNQBZ4
| URI | m2://inv/TKSJGNQBZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24314#YFQ4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Charles, Enid TKSPTDN3KR
| URI | m2://inv/TKSPTDN3KR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#XCW1, Charles, Enid (topic)
History
- 2026-11-02: add by m2/dev
TKTBX9E2A2 TKTBX9E2A2
| URI | m2://inv/TKTBX9E2A2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10365#X0YA (statement). In PRVQPSBVHK/e1, proposition 19
History
- 2026-10-29: add by m2/v0.4.10
Properties TKTM7SQS4R
| URI | m2://inv/TKTM7SQS4R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critical three-state Potts model#2A3U, Properties (statement)
History
- 2026-11-02: add by m2/dev
Georg Bohlmann TKTQ02HTTR
| URI | m2://inv/TKTQ02HTTR |
|---|---|
| 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#3AHK, Georg Bohlmann (topic)
History
- 2026-11-02: add by m2/dev
TKTQC4QSPV TKTQC4QSPV
| URI | m2://inv/TKTQC4QSPV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16605#3BSX (definition). In KZ175036B5/e1, definition 1.6
History
- 2026-10-28: add by m2/v0.4.2
TKTVWSKXJD TKTVWSKXJD
| URI | m2://inv/TKTVWSKXJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#C1JX (statement). In E7BPGPP9Z5/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.10
pentahedron TKV3EJHMJM
| URI | m2://inv/TKV3EJHMJM |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q282099, pentahedron (unknown). Also MathWorld Pentahedron
- wikipedia: Wikipedia Pentahedron, Pentahedron (object). Also Wikidata Q282099
History
- 2026-10-26: add by m2/dev
Wendel's theorem TKV757TPX3
| URI | m2://inv/TKV757TPX3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wendel's theorem, Wendel's theorem (statement). Also Wikidata Q7982357
History
- 2026-11-02: add by m2/dev
Forward Boundedness TKV93DZY32
| URI | m2://inv/TKV93DZY32 |
|---|---|
| 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.14344#E279, Forward Boundedness (statement). In ZVCD8RG1JJ/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
TKV96WHY8Z TKV96WHY8Z
| URI | m2://inv/TKV96WHY8Z |
|---|---|
| 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.05696#9PAJ (statement). In MG81A9XJTQ/e1, theorem IV.1
History
- 2026-10-29: add by m2/v0.4.10
exponent TKVF0JZFCT
| URI | m2://inv/TKVF0JZFCT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2233915, exponent (unknown). Also MathWorld Exponent
History
- 2026-10-26: add by m2/dev
Arieh Iserles TKVNSKA5TR
| URI | m2://inv/TKVNSKA5TR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#E773, Arieh Iserles (unknown)
History
- 2026-11-02: add by m2/dev
reciprocal Fibonacci constant TKVYFCAV42
| URI | m2://inv/TKVYFCAV42 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3772671, reciprocal Fibonacci constant (object). Also MathWorld ReciprocalFibonacciConstant, OEIS A079586, OEIS A079587
- wikipedia: Wikipedia Reciprocal Fibonacci constant, Reciprocal Fibonacci constant (object). Also Wikidata Q3772671
History
- 2026-10-26: add by m2/dev
open set with smooth boundary TKVZ88FT58
| URI | m2://inv/TKVZ88FT58 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.2/open-set-with-smooth-boundary, open set with smooth boundary (concept). In VNMV985MXX, index, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
General formula TKVZGWSRNF
| URI | m2://inv/TKVZGWSRNF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cake number#7MP1, General formula (statement)
History
- 2026-11-02: add by m2/dev
Mixed volume TKVZY3AKFX
| URI | m2://inv/TKVZY3AKFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#4LL0, Mixed volume (definition)
History
- 2026-11-02: add by m2/dev
Witt vector TKW328V51J
| URI | m2://inv/TKW328V51J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witt vector, Witt vector (definition). Also Wikidata Q1756171
History
- 2026-11-02: add by m2/dev
TKW76YP1D6 TKW76YP1D6
| URI | m2://inv/TKW76YP1D6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21680#ME1N (statement)
History
- 2026-11-02: add by m2/v0.6.18
Theorem TKW8ZFR0XX
| URI | m2://inv/TKW8ZFR0XX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cobham's theorem#HSZE, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Pitch angle of a spiral TKWDWFRQ2Y
| URI | m2://inv/TKWDWFRQ2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pitch angle of a spiral, Pitch angle of a spiral (definition). Also Wikidata Q123739068
History
- 2026-11-02: add by m2/dev
Hodge star operator TKWQKG7JEN
| URI | m2://inv/TKWQKG7JEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#D7B7, Hodge star operator (definition)
- wikipedia: Wikipedia List of things named after W. V. D. Hodge#A9AY, Hodge star operator (definition)
- wikipedia: Wikipedia List of multivariable calculus topics#NAUM, Hodge star operator (definition)
History
- 2026-11-02: add by m2/dev
TKWSJMGSMA TKWSJMGSMA
| URI | m2://inv/TKWSJMGSMA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10928#LDMF (definition). In 8M7BFVQYMM/e1, definition 6.2
History
- 2026-10-28: add by m2/v0.4.3
Examples TKWW0NZC6Q
| URI | m2://inv/TKWW0NZC6Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann integral#GR2X, Examples (example)
History
- 2026-11-02: add by m2/dev
temporal modal logic TKWZ5JBB4V
| URI | m2://inv/TKWZ5JBB4V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#EOJH, temporal modal logic (definition)
History
- 2026-11-02: add by m2/dev
TKX573NF45 TKX573NF45
| URI | m2://inv/TKX573NF45 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22345#0W4S (statement). In 7JATJ4VG9G/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.4.0
Giulio Carlo de' Toschi di Fagnano TKXA2HB1RP
| URI | m2://inv/TKXA2HB1RP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giulio Carlo de' Toschi di Fagnano, Giulio Carlo de' Toschi di Fagnano (topic). Also Wikidata Q1528006
History
- 2026-11-02: add by m2/dev
TKXDHRPTYH TKXDHRPTYH
| URI | m2://inv/TKXDHRPTYH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20376#LXDH (definition). In DGTCGQX6YZ/e1, definition 2.12
History
- 2026-10-27: add by m2/v0.4.2
TKXE46P4XN TKXE46P4XN
| URI | m2://inv/TKXE46P4XN |
|---|---|
| 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.18078#HEA4 (statement). In YVK8EFSYNJ/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Event generator TKXGFKWYF7
| URI | m2://inv/TKXGFKWYF7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#LSHI, Event generator (unknown)
History
- 2026-11-02: add by m2/dev
TKXJJYN83F TKXJJYN83F
| URI | m2://inv/TKXJJYN83F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18094#GEG2 (statement). In AYANBEWSFH/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2
Definition TKXRJS3P0B
| URI | m2://inv/TKXRJS3P0B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Submodular set function#S3JT, Definition (definition)
History
- 2026-11-02: add by m2/dev
TKXSRC5Y6K TKXSRC5Y6K
| URI | m2://inv/TKXSRC5Y6K |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/proofs/example-2.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 44.8
History
- 2026-11-01: add by m2/v0.6.13
Example TKXTXB8SYQ
| URI | m2://inv/TKXTXB8SYQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spline interpolation#W6Y6, Example (example)
History
- 2026-11-02: add by m2/dev
Algorithms TKXVY1CGA8
| URI | m2://inv/TKXVY1CGA8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Treewidth#0ISK, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
TKXX1XJEDM TKXX1XJEDM
| URI | m2://inv/TKXX1XJEDM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33679#9H0J (example). In 3N9E9T6AF5/e1, example 8.4
History
- 2026-10-30: add by m2/v0.4.12
Gorō Nishida TKXZVF1MSF
| URI | m2://inv/TKXZVF1MSF |
|---|---|
| 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 Q11629213, Gorō Nishida (unknown). Also nLab Goro Nishida
- wikipedia: Wikipedia Goro Nishida, Goro Nishida (topic). Also Wikidata Q11629213
History
- 2026-10-26: add by m2/dev
TKY5KMBFA2 TKY5KMBFA2
| URI | m2://inv/TKY5KMBFA2 |
|---|---|
| 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.21181#C0F8 (statement). In 3D0GJXDY11/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.4.2
TKYHGDER7T TKYHGDER7T
| URI | m2://inv/TKYHGDER7T |
|---|---|
| Kind | definition |
| 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 2102.09374#US3X (definition). In TGAHH1F8K5/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.6
reduced homology TKYJ07ATHH
| URI | m2://inv/TKYJ07ATHH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Reduced homology NJQMWVK3QK |
Mentions
- wikidata: Wikidata Q7306331, reduced homology (unknown). Also nLab reduced homology
- wikipedia: Wikipedia Reduced homology, Reduced homology (definition). Also Wikidata Q7306331
History
- 2026-10-26: add by m2/dev
Theorem 2. Every formula φ is either refutable or satisfiable in some structure. TKYMY4ZKER
| URI | m2://inv/TKYMY4ZKER |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Original proof of Gödel's completeness theorem#J33O, Theorem 2. Every formula φ is either refutable or satisfiable in some structure. (statement)
History
- 2026-11-02: add by m2/dev
OpenIntro Statistics TKYVNEZA2T
| URI | m2://inv/TKYVNEZA2T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia OpenIntro Statistics, OpenIntro Statistics (definition). Also Wikidata Q16977994
History
- 2026-11-02: add by m2/dev
TKZ10GWHKQ TKZ10GWHKQ
| URI | m2://inv/TKZ10GWHKQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/soundness-identity.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 22.14
History
- 2026-11-01: add by m2/v0.6.13
Generalizations TKZ1BH2MA5
| URI | m2://inv/TKZ1BH2MA5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial theorem#NTJ3, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Relation to the axiom of choice TKZ4BQHKVV
| URI | m2://inv/TKZ4BQHKVV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baire category theorem#DRTE, Relation to the axiom of choice (statement)
History
- 2026-11-02: add by m2/dev
Confocal TKZBJVMTN0
| URI | m2://inv/TKZBJVMTN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confocal, Confocal (definition). Also Wikidata Q336201
History
- 2026-11-02: add by m2/dev
99 Bottles of Beer TKZGPPQTRC
| URI | m2://inv/TKZGPPQTRC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 99 Bottles of Beer, 99 Bottles of Beer (definition). Also Wikidata Q277325
History
- 2026-11-02: add by m2/dev
Symmetries TKZK75638M
| URI | m2://inv/TKZK75638M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kerr metric#M4L3, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
Value at risk TKZWD2QPFY
| URI | m2://inv/TKZWD2QPFY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Value at risk, Value at risk (definition). Also Wikidata Q963287
History
- 2026-11-02: add by m2/dev
Shende TKZY8D2FAQ
| URI | m2://inv/TKZY8D2FAQ |
|---|---|
| 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.24584#F5SH, Shende (statement)
History
- 2026-11-01: add by m2/v0.6.15