Inventory rows TE
The cards of the rows of the inventory whose ids start with TE. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Wilks, Samuel S. TE0AJ9EBNK
| URI | m2://inv/TE0AJ9EBNK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#8OJF, Wilks, Samuel S. (topic)
History
- 2026-11-02: add by m2/dev
continuous linear map TE0BQ8SSBS
| URI | m2://inv/TE0BQ8SSBS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Continuous linear map 03TM135G0N |
Mentions
- mathlib_overview: mathlib_overview Topology > Topological algebra > continuous linear map, continuous linear map (unknown). Also Mathlib ContinuousLinearMap
- mathlib_undergrad: mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > continuous linear maps, continuous linear maps (unknown). Also Mathlib ContinuousLinearMap
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
TE0EHJN8RP TE0EHJN8RP
| URI | m2://inv/TE0EHJN8RP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.10964#34R1 (statement). In 16KVMD76PZ/e1, theorem 3.7
History
- 2026-10-28: add by m2/v0.4.3
TE0J91HJSG TE0J91HJSG
| URI | m2://inv/TE0J91HJSG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-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 2302.05529#HHID (statement). In 9VPMHV0M4R/e1, theorem 1.18
History
- 2026-10-27: add by m2/v0.3.5
Simon Kochen TE0T8T0Q02
| URI | m2://inv/TE0T8T0Q02 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#1Z1B, Simon Kochen (unknown)
History
- 2026-11-02: add by m2/dev
Semantics of type theory TE1FNQV9K3
| URI | m2://inv/TE1FNQV9K3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semantics of type theory, Semantics of type theory (definition). Also Wikidata Q137258596
History
- 2026-11-02: add by m2/dev
TE1PX7MXA9 TE1PX7MXA9
| URI | m2://inv/TE1PX7MXA9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 14A10 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114716550 (topic)
History
- 2026-10-26: add by m2/dev
All leading Jacobi moment determinants TE1RCB0DQ4
| URI | m2://inv/TE1RCB0DQ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.26110#ASC5, All leading Jacobi moment determinants (statement)
History
- 2026-11-01: add by m2/v0.6.15
Exponential generating function TE1WBRVCM5
| URI | m2://inv/TE1WBRVCM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#W2PY, Exponential generating function (definition)
History
- 2026-11-02: add by m2/dev
TE1YHX49M3 TE1YHX49M3
| URI | m2://inv/TE1YHX49M3 |
|---|---|
| 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.26813#T0SE (statement)
History
- 2026-11-01: add by m2/v0.6.15
hectic TE20V517MB
| URI | m2://inv/TE20V517MB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#74OW, hectic (definition)
History
- 2026-11-02: add by m2/dev
TE22GGMW01 TE22GGMW01
| URI | m2://inv/TE22GGMW01 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28195#7VJ4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
TE22P15EEN TE22P15EEN
| URI | m2://inv/TE22P15EEN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14086#OA1F (statement). In J6EZ2RQW2F/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Jean-Michel Maillet TE2C31YKQ7
| URI | m2://inv/TE2C31YKQ7 |
|---|---|
| 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#QRIW, Jean-Michel Maillet (unknown)
History
- 2026-11-02: add by m2/dev
TE2CGDE9NF TE2CGDE9NF
| URI | m2://inv/TE2CGDE9NF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-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 2303.09207#NGK7 (definition). In 9DQKY7KGE8/e1, definition 1.8
History
- 2026-10-27: add by m2/v0.3.5
Moreau's theorem TE2DVKT9JZ
| URI | m2://inv/TE2DVKT9JZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#9BG4, Moreau's theorem (statement)
History
- 2026-11-02: add by m2/dev
Recursion TE2HXE1VTD
| URI | m2://inv/TE2HXE1VTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recursion, Recursion (definition). Also Wikidata Q179976
History
- 2026-11-02: add by m2/dev
Euler hypergeometric integral TE2N4SZPQZ
| URI | m2://inv/TE2N4SZPQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#93IG, Euler hypergeometric integral (definition)
History
- 2026-11-02: add by m2/dev
Sixth Vein, Kentucky TE2W047ENJ
| URI | m2://inv/TE2W047ENJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#TFAL, Sixth Vein, Kentucky (unknown)
History
- 2026-11-02: add by m2/dev
TE2ZXRFG7B TE2ZXRFG7B
| URI | m2://inv/TE2ZXRFG7B |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#proof-1 (proof). In RZP28ERRZV, proof, section 62.4
History
- 2026-11-01: add by m2/v0.6.13
Controlled Cryptographic Item TE3BH5GAS6
| URI | m2://inv/TE3BH5GAS6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Controlled Cryptographic Item, Controlled Cryptographic Item (definition). Also Wikidata Q5165900
History
- 2026-11-02: add by m2/dev
Statement of the theorem TE3KH79CB6
| URI | m2://inv/TE3KH79CB6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stallings–Zeeman theorem#3PZY, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Plurisubharmonic function TE3NZARVFF
| URI | m2://inv/TE3NZARVFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#XQ7Z, Plurisubharmonic function (definition)
History
- 2026-11-02: add by m2/dev
TE3PEFTWVE TE3PEFTWVE
| URI | m2://inv/TE3PEFTWVE |
|---|---|
| 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.39491#LXP4 (statement). In 9R00V9TGVT/e1, theorem 3.5
History
- 2026-10-30: add by m2/v0.4.12
TE3ZYZCZ3Z TE3ZYZCZ3Z
| URI | m2://inv/TE3ZYZCZ3Z |
|---|---|
| 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 2603.26376#A5T2 (statement). In PJAT9YDX7Y/e1, proposition 5.8
History
- 2026-10-27: add by m2/v0.4.0
Isodynamic point TE443KGNG1
| URI | m2://inv/TE443KGNG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#AZIP, Isodynamic point (definition)
History
- 2026-11-02: add by m2/dev
Law of large numbers for heterogeneous systems TE47R9239V
| URI | m2://inv/TE47R9239V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21710#OHFO, Law of large numbers for heterogeneous systems (statement)
History
- 2026-11-02: add by m2/v0.6.18
Ramsey's theorem TE48S77SBP
| URI | m2://inv/TE48S77SBP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyadic space#MIT0, Ramsey's theorem (statement)
History
- 2026-11-02: add by m2/dev
TE4BBSX06M TE4BBSX06M
| URI | m2://inv/TE4BBSX06M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/admissible-derivable.tex#prop:lor-G3-adm (statement). In PKGMM3P5QY, prop, section 61.6
History
- 2026-11-01: add by m2/v0.6.13
Cuatro Vientos TE4FW6N1JP
| URI | m2://inv/TE4FW6N1JP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#CNNM, Cuatro Vientos (unknown)
History
- 2026-11-02: add by m2/dev
the first jump degree of $\Z/p$ TE4P127D7J
| URI | m2://inv/TE4P127D7J |
|---|---|
| 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.07508#4F2Z, the first jump degree of $\Z/p$ (statement). In TPA3E67MKK/e1, theorem 8.2
History
- 2026-10-29: add by m2/v0.4.10
Generalizations TE4PWZMQPT
| URI | m2://inv/TE4PWZMQPT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Five points determine a conic#REPF, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Ellenberg, Susan S. TE4RMQ2SZ1
| URI | m2://inv/TE4RMQ2SZ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#QWSL, Ellenberg, Susan S. (topic)
History
- 2026-11-02: add by m2/dev
TE4TE2QMW1 TE4TE2QMW1
| URI | m2://inv/TE4TE2QMW1 |
|---|---|
| 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.36411#H8YS (statement). In 9QG5CND2RQ/e1, corollary 1.4
History
- 2026-10-30: add by m2/v0.4.12
TE4V5TA57F TE4V5TA57F
| URI | m2://inv/TE4V5TA57F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#B7WK (statement). In V7SN19J84T/e1, proposition 5.5
History
- 2026-10-28: add by m2/v0.4.2
TE4WV32PBF TE4WV32PBF
| URI | m2://inv/TE4WV32PBF |
|---|---|
| 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.17240#IZVJ (statement). In 59BZ4V9RQW/e1, corollary 3.2
History
- 2026-10-28: add by m2/v0.4.2
Examples TE4X6E6CF8
| URI | m2://inv/TE4X6E6CF8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kakutani fixed-point theorem#QHWV, Examples (example)
History
- 2026-11-02: add by m2/dev
TE56WTXSNV TE56WTXSNV
| URI | m2://inv/TE56WTXSNV |
|---|---|
| Kind | problem |
| 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.11759#10I3 (problem). In MWNFP97KRS/e1, problem
History
- 2026-10-28: add by m2/v0.4.3
Theorem TE5FMBRYC9
| URI | m2://inv/TE5FMBRYC9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius plane#ID3I, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Multiple integral TE5P07QWEF
| URI | m2://inv/TE5P07QWEF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#NCNU, Multiple integral (definition)
- wikipedia: Wikipedia List of multivariable calculus topics#VEVS, Multiple integral (definition)
History
- 2026-11-02: add by m2/dev
TE5R5XJMT6 TE5R5XJMT6
| URI | m2://inv/TE5R5XJMT6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-124 (exercise). In E9HS8K3A52, exercise, section 4.9.1
History
- 2026-11-01: add by m2/v0.6.13
Ensemble learning TE5X1MVVFG
| URI | m2://inv/TE5X1MVVFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ensemble learning, Ensemble learning (definition). Also Wikidata Q245652
History
- 2026-11-02: add by m2/dev
TE60YKT7Z6 TE60YKT7Z6
| URI | m2://inv/TE60YKT7Z6 |
|---|---|
| Kind | definition |
| 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.07401#Q3YA (definition). In FQ5435B36D/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
TE64G9WJ5E TE64G9WJ5E
| URI | m2://inv/TE64G9WJ5E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#AJ93 (statement). In BDN507RN7J/e1, lemma 6.2.4
History
- 2026-10-30: add by m2/v0.4.12
TE6QZ35DNP TE6QZ35DNP
| URI | m2://inv/TE6QZ35DNP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#OLCN (statement). In 9EMCPF1F2T/e1, proposition 55
History
- 2026-10-29: add by m2/v0.4.10
tree, ordered TE6SGXXTCD
| URI | m2://inv/TE6SGXXTCD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/9.7/tree-ordered, tree, ordered (concept). In QKM9DD2H56, index, section 9.7
History
- 2026-11-01: add by m2/v0.6.13
TE6VNN89MM TE6VNN89MM
| URI | m2://inv/TE6VNN89MM |
|---|---|
| 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.26500#S5PC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples TE6XPCW3SC
| URI | m2://inv/TE6XPCW3SC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutoassociahedron#878Y, Examples (example)
History
- 2026-11-02: add by m2/dev
TE6XZWWQ8S TE6XZWWQ8S
| URI | m2://inv/TE6XZWWQ8S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-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 1904.08413#EF8S (definition). In X88HPQ0W8C/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
TE712TQSNX TE712TQSNX
| URI | m2://inv/TE712TQSNX |
|---|---|
| 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.21475#GIU8 (statement). In TTRSZVT4VX/e1, theorem 2.26
History
- 2026-10-27: add by m2/v0.4.2
TE71HT8KFG TE71HT8KFG
| URI | m2://inv/TE71HT8KFG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-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.18242#QHDL (example). In VVC2FHQZZR/e1, example 6.6
History
- 2026-10-28: add by m2/v0.4.2
TE7639PSDT TE7639PSDT
| URI | m2://inv/TE7639PSDT |
|---|---|
| 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.32478#XDBN (statement). In 5QBSYDC2XH/e1, proposition 2.4
History
- 2026-10-31: add by m2/v0.5.6
Orbifold TE78CH073H
| URI | m2://inv/TE78CH073H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometric topology topics#T8MQ, Orbifold (definition)
History
- 2026-11-02: add by m2/dev
weak completeness TE7CW27DM4
| URI | m2://inv/TE7CW27DM4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#QPTN, weak completeness (definition)
History
- 2026-11-02: add by m2/dev
ChaCha20-Poly1305 TE7EEG71J1
| URI | m2://inv/TE7EEG71J1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ChaCha20-Poly1305, ChaCha20-Poly1305 (definition). Also Wikidata Q110970561
History
- 2026-11-02: add by m2/dev
Spherical mean (statistics) TE7H9W6N2B
| URI | m2://inv/TE7H9W6N2B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular mean#E412, Spherical mean (statistics) (unknown)
History
- 2026-11-02: add by m2/dev
Theorem (Burst error correction ability) TE7KD5Z93F
| URI | m2://inv/TE7KD5Z93F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burst error-correcting code#VPHO, Theorem (Burst error correction ability) (statement)
History
- 2026-11-02: add by m2/dev
TE7WW8ZBFA TE7WW8ZBFA
| URI | m2://inv/TE7WW8ZBFA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise:supinffuncineq (exercise). In E59CDZA4DP, exercise, section 7.3.1
History
- 2026-11-01: add by m2/v0.6.13
TE82A44FRB TE82A44FRB
| URI | m2://inv/TE82A44FRB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/basic.tex#ordmemberord (statement). In PKGMM3P5QY, lem, section 72.2
History
- 2026-11-01: add by m2/v0.6.13
Variant Beaufort TE8JQ6B5J6
| URI | m2://inv/TE8JQ6B5J6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beaufort cipher#CNLS, Variant Beaufort (unknown)
History
- 2026-11-02: add by m2/dev
Likelihood ratios in diagnostic testing TE8M8B57XJ
| URI | m2://inv/TE8M8B57XJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Likelihood ratios in diagnostic testing, Likelihood ratios in diagnostic testing (definition). Also Wikidata Q6547272
History
- 2026-11-02: add by m2/dev
TE8NGYNSZP TE8NGYNSZP
| URI | m2://inv/TE8NGYNSZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#O39B (statement)
History
- 2026-11-01: add by m2/v0.6.15
Künneth formula TE8SN59H1Z
| URI | m2://inv/TE8SN59H1Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#FWZV, Künneth formula (definition)
History
- 2026-11-02: add by m2/dev
Using the Cauchy integral formula TE97XH8FQA
| URI | m2://inv/TE97XH8FQA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contour integration#M7G6, Using the Cauchy integral formula (statement)
History
- 2026-11-02: add by m2/dev
Victor Klee TE98EKVHXH
| URI | m2://inv/TE98EKVHXH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RQAD, Victor Klee (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GBWU, Victor Klee (unknown)
History
- 2026-11-02: add by m2/dev
TE9D9WEW96 TE9D9WEW96
| URI | m2://inv/TE9D9WEW96 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#WG5R (statement). In X1AGBB90EH/e1, lemma 5.14
History
- 2026-10-28: add by m2/v0.4.2
TE9EHAZHRF TE9EHAZHRF
| URI | m2://inv/TE9EHAZHRF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#YPT7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
TE9P8GHR5G TE9P8GHR5G
| URI | m2://inv/TE9P8GHR5G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.16003#2VJY (definition). In BJGS6ZCQ12/e1, definition 3.6
History
- 2026-10-27: add by m2/v0.3.6
TEA061X9B2 TEA061X9B2
| URI | m2://inv/TEA061X9B2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#FHQK (statement). In F5STMSPR6X/e1, proposition 6.7
History
- 2026-10-29: add by m2/v0.4.12
TEA497QZMN TEA497QZMN
| URI | m2://inv/TEA497QZMN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10474#HJ1W (statement). In MB29RAAQMG/e1, lemma 6.12
History
- 2026-10-29: add by m2/v0.4.10
TEA9B5GSBN TEA9B5GSBN
| URI | m2://inv/TEA9B5GSBN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01737#20TM (statement). In M4JGP708F4/e1, proposition 4.23
History
- 2026-10-29: add by m2/v0.4.12
Melanie Wall TEAABWY1BS
| URI | m2://inv/TEAABWY1BS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Melanie Wall, Melanie Wall (topic). Also Wikidata Q102196417
History
- 2026-11-02: add by m2/dev
Kähler manifold TEACSRGWJG
| URI | m2://inv/TEACSRGWJG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Kähler manifold X60JG9AEQJ |
Mentions
- wikidata: Wikidata Q1353916, Kähler manifold (concept). Also MathWorld KaehlerManifold, nLab Kähler manifold
- wikipedia: Wikipedia Kähler manifold, Kähler manifold (definition). Also Wikidata Q1353916
History
- 2026-10-26: add by m2/dev
TEAD4XQ5VC TEAD4XQ5VC
| URI | m2://inv/TEAD4XQ5VC |
|---|---|
| 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.26896#EOUN (definition)
History
- 2026-11-01: add by m2/v0.6.15
Alexander Gelfond TEAGSM7YG5
| URI | m2://inv/TEAGSM7YG5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ZSIH, Alexander Gelfond (topic)
History
- 2026-11-02: add by m2/dev
TEANMK4WGK TEANMK4WGK
| URI | m2://inv/TEANMK4WGK |
|---|---|
| Kind | example |
| 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#DLH8 (example). In X47RYAZF8P/e1, example 11.10
History
- 2026-10-28: add by m2/v0.4.2
TEAYPWH05N TEAYPWH05N
| URI | m2://inv/TEAYPWH05N |
|---|---|
| Kind | definition |
| 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 1705.04310#POTH (definition). In MG51GG0QZN/e1, definition 3.15
History
- 2026-10-27: add by m2/v0.3.5
$\delta$-smooth numbers TEB388DWB0
| URI | m2://inv/TEB388DWB0 |
|---|---|
| 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.00843#8IMS, $\delta$-smooth numbers (definition). In 1K7M5TD0M2/e1, definition 1.5
History
- 2026-10-29: add by m2/v0.4.12
TEBD7V4AB9 TEBD7V4AB9
| URI | m2://inv/TEBD7V4AB9 |
|---|---|
| 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.29723#CHBI (statement)
History
- 2026-11-01: add by m2/v0.6.15
TEBK5A2V1Z TEBK5A2V1Z
| URI | m2://inv/TEBK5A2V1Z |
|---|---|
| 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.22263#FB9O (statement)
History
- 2026-11-02: add by m2/v0.6.17
Hu, Joan TEBVW0F9BP
| URI | m2://inv/TEBVW0F9BP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#DYML, Hu, Joan (topic)
History
- 2026-11-02: add by m2/dev
TEBY5HRX7J TEBY5HRX7J
| URI | m2://inv/TEBY5HRX7J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#6Z92 (statement). In JBAQ7DTW7B/e1, lemma C.2
History
- 2026-10-27: add by m2/v0.3.5
Coupling TEC0A9F315
| URI | m2://inv/TEC0A9F315 |
|---|---|
| Kind | definition |
| 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.26262#J99L, Coupling (definition)
History
- 2026-11-01: add by m2/v0.6.15
Houman Owhadi TEC22DG619
| URI | m2://inv/TEC22DG619 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Houman Owhadi, Houman Owhadi (topic). Also Wikidata Q59673287
History
- 2026-11-02: add by m2/dev
TEC4DTJK5B TEC4DTJK5B
| URI | m2://inv/TEC4DTJK5B |
|---|---|
| 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.27771#885R (statement)
History
- 2026-11-01: add by m2/v0.6.15
TEC9Q8CPA3 TEC9Q8CPA3
| URI | m2://inv/TEC9Q8CPA3 |
|---|---|
| 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.34339#M8EA (statement). In 9WFSTGMQ4E/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
Hippopede TECB3FSPKN
| URI | m2://inv/TECB3FSPKN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#K5SE, Hippopede (definition)
- wikipedia: Wikipedia List of curves#XOXK, Hippopede (definition)
History
- 2026-11-02: add by m2/dev
TECD7DCNWQ TECD7DCNWQ
| URI | m2://inv/TECD7DCNWQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-1-6-3.xml#act-1-6-3 (exercise). In 907G4C4EJ1, activity, section 1.6.4
History
- 2026-11-01: add by m2/v0.6.13
Applications TECHDGRFM1
| URI | m2://inv/TECHDGRFM1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adele ring#PEBB, Applications (example)
History
- 2026-11-02: add by m2/dev
Approximate First Passage Formula TECJX5097W
| URI | m2://inv/TECJX5097W |
|---|---|
| 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.33018#AVRX, Approximate First Passage Formula (statement). In 8XVS0QJ2AH/e1, lemma 70
History
- 2026-10-31: add by m2/v0.5.6
Definition TECZ11JVPP
| URI | m2://inv/TECZ11JVPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective plane#NZ16, Definition (definition)
History
- 2026-11-02: add by m2/dev
quantum superposition TED00822ZP
| URI | m2://inv/TED00822ZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q830791, quantum superposition (unknown). Also nLab quantum superposition
- wikipedia: Wikipedia Quantum superposition, Quantum superposition (definition). Also Wikidata Q830791
History
- 2026-10-26: add by m2/dev
TED51CEBAN TED51CEBAN
| URI | m2://inv/TED51CEBAN |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07442#YTVY (conjecture). In 6SDC2Z8Y8M/e1, conjecture 4.5
History
- 2026-10-29: add by m2/v0.4.10
Theoretical gravity TED63KSNGV
| URI | m2://inv/TED63KSNGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theoretical gravity, Theoretical gravity (definition). Also Wikidata Q1795097
History
- 2026-11-02: add by m2/dev
Borwein's algorithm TEDGE06JNE
| URI | m2://inv/TEDGE06JNE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borwein's algorithm, Borwein's algorithm (definition). Also Wikidata Q3751018
History
- 2026-11-02: add by m2/dev
Weddle surface TEDK979H68
| URI | m2://inv/TEDK979H68 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weddle surface, Weddle surface (definition). Also Wikidata Q7979137
History
- 2026-11-02: add by m2/dev
Confluence of the canonical \(A\)-representative TEDMFG99TH
| URI | m2://inv/TEDMFG99TH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22027#QT32, Confluence of the canonical \(A\)-representative (statement)
History
- 2026-11-02: add by m2/v0.6.17
TEDQCH9VB0 TEDQCH9VB0
| URI | m2://inv/TEDQCH9VB0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2607.25960#NLWG (statement). In 13GSWBXPCM/e1, proposition C.9
History
- 2026-10-27: add by m2/v0.3.5
Barnes zeta function TEDXQQQXWV
| URI | m2://inv/TEDXQQQXWV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barnes zeta function, Barnes zeta function (definition). Also Wikidata Q4861566
History
- 2026-11-02: add by m2/dev
Pierre-Simon Girard TEE7SYQK23
| URI | m2://inv/TEE7SYQK23 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierre-Simon Girard, Pierre-Simon Girard (topic). Also Wikidata Q571287
History
- 2026-11-02: add by m2/dev
TEEHP37JD6 TEEHP37JD6
| URI | m2://inv/TEEHP37JD6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-2-7-implicit.xml#Ex-2-7-1 (example). In 907G4C4EJ1, example, section 2.7.2
History
- 2026-11-01: add by m2/v0.6.13
TEETA6XZHG TEETA6XZHG
| URI | m2://inv/TEETA6XZHG |
|---|---|
| Kind | example |
| 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.02017#MV8B (example). In F6C80AEXC1/e1, example 2.7
History
- 2026-10-29: add by m2/v0.4.12
TEETQ1FYNG TEETQ1FYNG
| URI | m2://inv/TEETQ1FYNG |
|---|---|
| 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 2106.09062#X2QI (statement). In 8HAH8QVKDF/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.6
TEF0GMWBH3 TEF0GMWBH3
| URI | m2://inv/TEF0GMWBH3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32078#NKMO (statement). In 5PN85N6EJF/e1, lemma C.2
History
- 2026-10-31: add by m2/v0.5.6
Ernst Fetterlein TEF77GF7FQ
| URI | m2://inv/TEF77GF7FQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernst Fetterlein, Ernst Fetterlein (topic). Also Wikidata Q5394982
History
- 2026-11-02: add by m2/dev
Weierstrass ring TEF7MTJSKG
| URI | m2://inv/TEF7MTJSKG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weierstrass ring, Weierstrass ring (definition). Also Wikidata Q7979827
History
- 2026-11-02: add by m2/dev
Catherine Asaro TEF7N2842K
| URI | m2://inv/TEF7N2842K |
|---|---|
| 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#FHMQ, Catherine Asaro (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition TEFARH8W7S
| URI | m2://inv/TEFARH8W7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjunctive grammar#DM5R, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Alfred Brousseau TEFK05EA9F
| URI | m2://inv/TEFK05EA9F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfred Brousseau, Alfred Brousseau (topic). Also Wikidata Q4722376
History
- 2026-11-02: add by m2/dev
Uniform analytic propagation in the parabolic case TEFKDN1C9X
| URI | m2://inv/TEFKDN1C9X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-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.16094#M181, Uniform analytic propagation in the parabolic case (statement). In RHBS9QDHC3/e1, proposition 5.11
History
- 2026-10-28: add by m2/v0.4.2
TEFRNA1C7P TEFRNA1C7P
| URI | m2://inv/TEFRNA1C7P |
|---|---|
| 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 2402.05875#W45Z (statement). In 35FDBKEDC0/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
TEFTGZ14GY TEFTGZ14GY
| URI | m2://inv/TEFTGZ14GY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13792#PLZ3 (statement). In ZH0PFTZ12Y/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
TEG1CKDSSA TEG1CKDSSA
| URI | m2://inv/TEG1CKDSSA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.19151#4L9X (statement). In DKVT74MANJ/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
TEG8PJFQV9 TEG8PJFQV9
| URI | m2://inv/TEG8PJFQV9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#GY0H (statement). In MRR92GQNZE/e1, lemma 3.14
History
- 2026-10-30: add by m2/v0.4.12
Definition TEG8X0GH7S
| URI | m2://inv/TEG8X0GH7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-value#BIOH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Mark Sapir TEGC26XA2X
| URI | m2://inv/TEGC26XA2X |
|---|---|
| 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#5VU8, Mark Sapir (topic)
History
- 2026-11-02: add by m2/dev
TEGKXFT3SM TEGKXFT3SM
| URI | m2://inv/TEGKXFT3SM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.19872#52WQ (statement). In DG9TF5X0EG/e1, theorem 11
History
- 2026-10-27: add by m2/v0.4.0
TEGMY0EAWC TEGMY0EAWC
| URI | m2://inv/TEGMY0EAWC |
|---|---|
| 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 2403.15043#PP3V (statement). In QDE21RT0T2/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.3.5
Proposition TEH84AGT13
| URI | m2://inv/TEH84AGT13 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free presentation#PJ1V, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Alfred Aho TEHGJR0243
| URI | m2://inv/TEHGJR0243 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KTC7, Alfred Aho (unknown)
History
- 2026-11-02: add by m2/dev
TEHHPWW9E2 TEHHPWW9E2
| URI | m2://inv/TEHHPWW9E2 |
|---|---|
| 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.20366#62H1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Erling Følner TEHJDK1X6G
| URI | m2://inv/TEHJDK1X6G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erling Følner, Erling Følner (topic). Also Wikidata Q16750029
History
- 2026-11-02: add by m2/dev
TEHVD9HZ4J TEHVD9HZ4J
| URI | m2://inv/TEHVD9HZ4J |
|---|---|
| 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.11671#55ES (statement). In V06H8BAGEH/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.3
TEHW37SY5P TEHW37SY5P
| URI | m2://inv/TEHW37SY5P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03298#PPVY (statement). In 9SBZP218SM/e1, corollary 7.2
History
- 2026-10-29: add by m2/v0.4.12
TEHWVNRNN1 TEHWVNRNN1
| URI | m2://inv/TEHWVNRNN1 |
|---|---|
| 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.19260#G7C4 (statement). In PWXT7J9JX3/e1, proposition 7.7
History
- 2026-10-28: add by m2/v0.4.2
W. T. Tutte TEJ03R7MMF
| URI | m2://inv/TEJ03R7MMF |
|---|---|
| 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 Q1391861, W. T. Tutte (unknown). Also nLab William T. Tutte
- wikipedia: Wikipedia W. T. Tutte, W. T. Tutte (topic). Also Wikidata Q1391861
History
- 2026-10-26: add by m2/dev
Reciprocal Fibonacci constant TEJ28Y7QCB
| URI | m2://inv/TEJ28Y7QCB |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#60TV, Reciprocal Fibonacci constant (object)
History
- 2026-11-02: add by m2/dev
tetrakis hexahedron TEJ2924BWP
| URI | m2://inv/TEJ2924BWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q664307, tetrakis hexahedron (object). Also MathWorld TetrakisHexahedron
- wikipedia: Wikipedia Tetrakis hexahedron, Tetrakis hexahedron (definition). Also Wikidata Q664307
History
- 2026-10-26: add by m2/dev
TEJ8JKYD2A TEJ8JKYD2A
| URI | m2://inv/TEJ8JKYD2A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#Z4Z4 (definition). In VNE8N0D2FB/e1, definition 2.3
History
- 2026-10-31: add by m2/v0.5.6
TEJBN0PGH2 TEJBN0PGH2
| URI | m2://inv/TEJBN0PGH2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-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 2409.00806#UL2F (statement). In SBN06J39DG/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
TEJHGM9TAJ TEJHGM9TAJ
| URI | m2://inv/TEJHGM9TAJ |
|---|---|
| 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.12983#2ZMC (statement). In M6TFZ6E060/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Valeria de Paiva TEJX7KJCFB
| URI | m2://inv/TEJX7KJCFB |
|---|---|
| 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 Q20731777, Valeria de Paiva (unknown). Also nLab Valeria de Paiva
- wikipedia: Wikipedia Valeria de Paiva, Valeria de Paiva (topic). Also Wikidata Q20731777
History
- 2026-10-26: add by m2/dev
TEJZNZQWVD TEJZNZQWVD
| URI | m2://inv/TEJZNZQWVD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#KD2V (statement). In QHFP0837Q8/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Cluster dynamics TEK5WJFC9A
| URI | m2://inv/TEK5WJFC9A |
|---|---|
| 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.20031#WKLV, Cluster dynamics (statement)
History
- 2026-11-02: add by m2/v0.6.18
TEK8T1ZJSM TEK8T1ZJSM
| URI | m2://inv/TEK8T1ZJSM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12013#HQ3R (statement). In 3V26T0265C/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.3
Opial's Lemma in , Lemma 2.47 TEKBECA0JA
| URI | m2://inv/TEKBECA0JA |
|---|---|
| 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.02963#WHDS, Opial's Lemma in , Lemma 2.47 (statement). In FN8MJK3C6K/e1, proposition A.3
History
- 2026-10-29: add by m2/v0.4.12
TEKC14QQMN TEKC14QQMN
| URI | m2://inv/TEKC14QQMN |
|---|---|
| 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.01792#WVHK (statement). In QAZNJR7J3G/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
Cluster masses TEKDDH7ME0
| URI | m2://inv/TEKDDH7ME0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14086#G2HH, Cluster masses (statement). In J6EZ2RQW2F/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Spaces of test functions and distributions TEKDDY4T71
| URI | m2://inv/TEKDDY4T71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spaces of test functions and distributions, Spaces of test functions and distributions (definition). Also Wikidata Q107342602
History
- 2026-11-02: add by m2/dev
TEKMYAX5PE TEKMYAX5PE
| URI | m2://inv/TEKMYAX5PE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/soundness.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 55.12
History
- 2026-11-01: add by m2/v0.6.13
Systoles of surfaces TEKQJW9Y1C
| URI | m2://inv/TEKQJW9Y1C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#LMKU, Systoles of surfaces (definition)
History
- 2026-11-02: add by m2/dev
TEKRBZHNXP TEKRBZHNXP
| URI | m2://inv/TEKRBZHNXP |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmological principle#K85S (problem)
History
- 2026-11-02: add by m2/dev
TEKYY50SD3 TEKYY50SD3
| URI | m2://inv/TEKYY50SD3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#defn:homotopy-fiber (definition). In N54F33XE07, defn, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
J. W. S. Cassels TEM17GN224
| URI | m2://inv/TEM17GN224 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J. W. S. Cassels, J. W. S. Cassels (topic). Also Wikidata Q372466
History
- 2026-11-02: add by m2/dev
Sketch of proof TEM1KQRF69
| URI | m2://inv/TEM1KQRF69 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-45, Sketch of proof (proof). In N54F33XE07, proof, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
Manoussos G. Grillakis TEM2V88PRW
| URI | m2://inv/TEM2V88PRW |
|---|---|
| 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#IQSB, Manoussos G. Grillakis (unknown)
History
- 2026-11-02: add by m2/dev
Subgaussian random vector TEMF8MW4VD
| URI | m2://inv/TEMF8MW4VD |
|---|---|
| Kind | definition |
| 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.22338#6RGH, Subgaussian random vector (definition)
History
- 2026-11-02: add by m2/v0.6.17
List of things named after members of the Bernoulli family TEMG71E14G
| URI | m2://inv/TEMG71E14G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#L5YZ, List of things named after members of the Bernoulli family (unknown)
History
- 2026-11-02: add by m2/dev
Hall algebra TEMM13TWSQ
| URI | m2://inv/TEMM13TWSQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5642657, Hall algebra (concept). Also nLab Hall algebra
- wikipedia: Wikipedia Hall algebra, Hall algebra (definition). Also Wikidata Q5642657
History
- 2026-10-26: add by m2/dev
TEMT1AMJWT TEMT1AMJWT
| URI | m2://inv/TEMT1AMJWT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#COM8 (statement). In GXHKRV5BPY/e1, lemma 4.10
History
- 2026-10-29: add by m2/v0.4.10
Ergodic hypothesis in finance TEMWAVW1JA
| URI | m2://inv/TEMWAVW1JA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ergodic hypothesis#S4GU, Ergodic hypothesis in finance (statement)
History
- 2026-11-02: add by m2/dev
TEN2HKNHRD TEN2HKNHRD
| URI | m2://inv/TEN2HKNHRD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-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.21860#YUMM (example)
History
- 2026-11-02: add by m2/v0.6.18
TENDTSJGVB TENDTSJGVB
| URI | m2://inv/TENDTSJGVB |
|---|---|
| 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#K03Q (statement). In 1463YCCRP5/e1, lemma 7.18
History
- 2026-10-27: add by m2/v0.4.0
orthogonal group TENEDFPFPJ
| URI | m2://inv/TENEDFPFPJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > orthogonal group, orthogonal group (unknown). Also Mathlib Matrix.orthogonalGroup
- mathlib_undergrad: mathlib_undergrad Group Theory > Classical automorphism groups > orthogonal group, orthogonal group (unknown). Also Mathlib Matrix.orthogonalGroup
History
- 2026-10-26: add by m2/dev
Arrow's impossibility theorem TENTXXVFMH
| URI | m2://inv/TENTXXVFMH |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q33481, Arrow's impossibility theorem (statement). Also Wikidata Q33481
- thousand_plus: thousand_plus Q33481, Arrow's impossibility theorem (statement). Also Wikidata Q33481, Wikipedia Arrow's impossibility theorem
- wikidata: Wikidata Q33481, Arrow's impossibility theorem (statement). Also MathWorld ArrowsParadox
- wikipedia: Wikipedia Arrow's impossibility theorem, Arrow's impossibility theorem (statement). Also Wikidata Q33481
History
- 2026-10-26: add by m2/dev
Harvey M. Wagner TEP1XJECHQ
| URI | m2://inv/TEP1XJECHQ |
|---|---|
| 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#3UBJ, Harvey M. Wagner (unknown)
History
- 2026-11-02: add by m2/dev
TEP25D2HQK TEP25D2HQK
| URI | m2://inv/TEP25D2HQK |
|---|---|
| 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.26922#00SL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Robert Anderson TEP2AHNH45
| URI | m2://inv/TEP2AHNH45 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Anderson (mathematician), Robert Anderson (topic). Also Wikidata Q2156361
History
- 2026-11-02: add by m2/dev
Assyr Abdulle TEP2NWKBES
| URI | m2://inv/TEP2NWKBES |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Assyr Abdulle, Assyr Abdulle (topic). Also Wikidata Q745708
History
- 2026-11-02: add by m2/dev
TEP6HKM1H7 TEP6HKM1H7
| URI | m2://inv/TEP6HKM1H7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01346#WLTU (statement). In 44DQ7W1NW9/e1, fact 2.16
History
- 2026-10-29: add by m2/v0.4.12
Vickrey–Clarke–Groves mechanism TEPCVQ0NW8
| URI | m2://inv/TEPCVQ0NW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vickrey–Clarke–Groves mechanism, Vickrey–Clarke–Groves mechanism (definition). Also Wikidata Q25304551
History
- 2026-11-02: add by m2/dev
Properties TEPFX57CWE
| URI | m2://inv/TEPFX57CWE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Family of sets#RJXM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Polynomial Form of the Frame TEPKBK9H57
| URI | m2://inv/TEPKBK9H57 |
|---|---|
| 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.13222#PEKT, Polynomial Form of the Frame (statement). In Z6WA2R0J50/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
TEPT1EVTCX TEPT1EVTCX
| URI | m2://inv/TEPT1EVTCX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37815#G4BM (definition). In SVJYA0171G/e1, definition 1.2
History
- 2026-10-30: add by m2/v0.4.12
convex function TEPWX22A8S
| URI | m2://inv/TEPWX22A8S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Convexity > convex function, convex function (unknown). Also Mathlib ConvexOn
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > convexity of functions on an open convex subset of $\R^n$, convexity of functions on an open convex subset of $\R^n$ (unknown). Also Mathlib ConvexOn
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Convexity > convex functions of a real variable, convex functions of a real variable (unknown). Also Mathlib ConvexOn
History
- 2026-10-26: add by m2/dev
Markus Rost TEQ1FYRNTP
| URI | m2://inv/TEQ1FYRNTP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OR4A, Markus Rost (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#V2N3, Markus Rost (topic)
- wikipedia: Wikipedia List of German mathematicians#6CDM, Markus Rost (topic)
History
- 2026-11-02: add by m2/dev
TEQ5P1Y42P TEQ5P1Y42P
| URI | m2://inv/TEQ5P1Y42P |
|---|---|
| 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#1OT7 (statement). In F3MWRNBNED/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
TEQ74J1241 TEQ74J1241
| URI | m2://inv/TEQ74J1241 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28454#V8LY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Anthony Joseph Penico TEQES9066J
| URI | m2://inv/TEQES9066J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anthony Joseph Penico, Anthony Joseph Penico (topic). Also Wikidata Q102164082
History
- 2026-11-02: add by m2/dev
TEQJSYDJSC TEQJSYDJSC
| URI | m2://inv/TEQJSYDJSC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16606#S5Q3 (statement). In A798V7TX99/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Canonical solution TEQM55NVTG
| URI | m2://inv/TEQM55NVTG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12434#EALA, Canonical solution (statement). In YCRZC9SDCE/e1, lemma 10.2
History
- 2026-10-28: add by m2/v0.4.2
$\UUU = \XXX$, $C=C_0$, $\AAA = \AAA_U$ TEQMP4B5GD
| URI | m2://inv/TEQMP4B5GD |
|---|---|
| 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 2106.11898#CICI, $\UUU = \XXX$, $C=C_0$, $\AAA = \AAA_U$ (statement). In KXXV5X8AG4/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.6
TEQRRHZNX5 TEQRRHZNX5
| URI | m2://inv/TEQRRHZNX5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#prop-11 (statement). In E59CDZA4DP, prop, section 11.3.1
History
- 2026-11-01: add by m2/v0.6.13
2004 Transnistrian census TEQSVDTK17
| URI | m2://inv/TEQSVDTK17 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2004 Transnistrian census, 2004 Transnistrian census (definition). Also Wikidata Q4602617
History
- 2026-11-02: add by m2/dev
The fixed-point count TEQX08HYYB
| URI | m2://inv/TEQX08HYYB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-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.18512#KKJP, The fixed-point count (statement). In 11JNM66Z09/e1, theorem 12.1
History
- 2026-10-28: add by m2/v0.4.2
TERCV4D6G4 TERCV4D6G4
| URI | m2://inv/TERCV4D6G4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21533#22KM (statement). In N3Z6JFEPCF/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.4.2
Joubert's theorem TERP42FFV8
| URI | m2://inv/TERP42FFV8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#YMDD, Joubert's theorem (statement)
History
- 2026-11-02: add by m2/dev
Error function TERTV0PT2G
| URI | m2://inv/TERTV0PT2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#EJDW, Error function (definition)
History
- 2026-11-02: add by m2/dev
Cartesian product TES279CBN3
| URI | m2://inv/TES279CBN3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#HX8F, Cartesian product (definition)
History
- 2026-11-02: add by m2/dev
Contact geometry TES5CD47Q2
| URI | m2://inv/TES5CD47Q2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#TLS3, Contact geometry (definition)
History
- 2026-11-02: add by m2/dev
outdegree TESFR1JRGB
| URI | m2://inv/TESFR1JRGB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93722998, outdegree (definition). Also MathWorld Outdegree, ProofWiki Definition:Out-Degree
History
- 2026-10-26: add by m2/dev
Seven states of randomness TESJJMXG84
| URI | m2://inv/TESJJMXG84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seven states of randomness, Seven states of randomness (definition). Also Wikidata Q7457565
History
- 2026-11-02: add by m2/dev
Equal ideas are the most predictable TESKEHZ45X
| URI | m2://inv/TESKEHZ45X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18445#8ZF0, Equal ideas are the most predictable (statement). In X63FGXZP4F/e1, corollary 3.8
History
- 2026-10-28: add by m2/v0.4.2
TESM82M3V1 TESM82M3V1
| URI | m2://inv/TESM82M3V1 |
|---|---|
| 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 2610.18329#AULR (example). In 3VWEPEFHN3/e1, example 2.8
History
- 2026-10-28: add by m2/v0.4.2
Evangelista Torricelli TESRC5VQ15
| URI | m2://inv/TESRC5VQ15 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#1HWK, Evangelista Torricelli (topic)
History
- 2026-11-02: add by m2/dev
Generalized multivariate log-gamma distribution TET4Q4J5Z8
| URI | m2://inv/TET4Q4J5Z8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized multivariate log-gamma distribution, Generalized multivariate log-gamma distribution (definition). Also Wikidata Q5532495
History
- 2026-11-02: add by m2/dev
TET4Q9TQTB TET4Q9TQTB
| URI | m2://inv/TET4Q9TQTB |
|---|---|
| Kind | definition |
| 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.33682#G7SE (definition). In GN608RC9ES/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
TET64XQJZX TET64XQJZX
| URI | m2://inv/TET64XQJZX |
|---|---|
| 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.19249#KOXM (statement). In 2X586J6KQ1/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Definition TET763D8YK
| URI | m2://inv/TET763D8YK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasitriangular Hopf algebra#80G6, Definition (definition)
History
- 2026-11-02: add by m2/dev
TETNCRGXY8 TETNCRGXY8
| URI | m2://inv/TETNCRGXY8 |
|---|---|
| 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#6ORA (statement)
History
- 2026-11-02: add by m2/v0.6.17
TETPDPPGF7 TETPDPPGF7
| URI | m2://inv/TETPDPPGF7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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 2607.00146#ADLY (definition). In 6KR7Z5ETRY/e1, definition 2.61
History
- 2026-10-27: add by m2/v0.3.5
Tonelli's theorem TETXX0W938
| URI | m2://inv/TETXX0W938 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7820874, Tonelli's theorem (functional analysis) (statement). Also Wikidata Q7820874
- thousand_plus: thousand_plus Q7820874, Tonelli's theorem (statement). Also Wikidata Q7820874, Wikipedia Tonelli's theorem (functional analysis)
- wikipedia: Wikipedia Tonelli's theorem (functional analysis), Tonelli's theorem (statement). Also Wikidata Q7820874
History
- 2026-10-26: add by m2/dev
Theorems TETY3FA0AD
| URI | m2://inv/TETY3FA0AD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz sequence#XIRI, Theorems (statement)
History
- 2026-11-02: add by m2/dev
TETZADA4YK TETZADA4YK
| URI | m2://inv/TETZADA4YK |
|---|---|
| Kind | statement |
| 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#IPA9 (statement). In YZNK67K060/e1, proposition 8.8
History
- 2026-10-29: add by m2/v0.4.12
Seventy-Six Township, Washington County, Iowa TETZHM6QWP
| URI | m2://inv/TETZHM6QWP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#RMTT, Seventy-Six Township, Washington County, Iowa (unknown)
History
- 2026-11-02: add by m2/dev
Block walking TEV4B2W9FA
| URI | m2://inv/TEV4B2W9FA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block walking, Block walking (definition). Also Wikidata Q4927216
History
- 2026-11-02: add by m2/dev
TEV5DWXCTF TEV5DWXCTF
| URI | m2://inv/TEV5DWXCTF |
|---|---|
| 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.27911#ZF8H (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lebesgue-measurable set TEV8KWVYDC
| URI | m2://inv/TEV8KWVYDC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91308427, Lebesgue-measurable set (unknown). Also MathWorld LebesgueMeasurableSet
History
- 2026-10-26: add by m2/dev
Symmetric erosion of a bisection domain TEVCV4QCG3
| URI | m2://inv/TEVCV4QCG3 |
|---|---|
| Kind | definition |
| 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.25987#KQ8H, Symmetric erosion of a bisection domain (definition)
History
- 2026-11-01: add by m2/v0.6.15
Ultrabarrelled space TEVMX3KX80
| URI | m2://inv/TEVMX3KX80 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultrabarrelled space, Ultrabarrelled space (definition). Also Wikidata Q96412185
History
- 2026-11-02: add by m2/dev
Regularity theory TEVNQQ5V30
| URI | m2://inv/TEVNQQ5V30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regularity theory, Regularity theory (definition). Also Wikidata Q117467430
History
- 2026-11-02: add by m2/dev
Definition TEVR1A35R6
| URI | m2://inv/TEVR1A35R6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic analysis#84K9, Definition (definition)
History
- 2026-11-02: add by m2/dev
TEVSV57G67 TEVSV57G67
| URI | m2://inv/TEVSV57G67 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-10 (exercise). In E59CDZA4DP, exercise, section 10.1.4
History
- 2026-11-01: add by m2/v0.6.13
TEVWSSAZXG TEVWSSAZXG
| URI | m2://inv/TEVWSSAZXG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10325#CRWH (statement). In 66CDJ94PGW/e1, corollary 3.6
History
- 2026-10-29: add by m2/v0.4.10
scalar quantity TEVYVFHCBX
| URI | m2://inv/TEVYVFHCBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q181175, scalar quantity (definition). Also ProofWiki Definition:Scalar_Quantity
History
- 2026-10-26: add by m2/dev
TEW2K36N1N TEW2K36N1N
| URI | m2://inv/TEW2K36N1N |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#proof-22 (proof). In E59CDZA4DP, proof, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
Variants TEW3J3SM74
| URI | m2://inv/TEW3J3SM74 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of choice#2H7M, Variants (statement)
History
- 2026-11-02: add by m2/dev
George E. P. Box TEW758XH6K
| URI | m2://inv/TEW758XH6K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#S3EE, George E. P. Box (topic)
History
- 2026-11-02: add by m2/dev
TEW7VDXQCF TEW7VDXQCF
| URI | m2://inv/TEW7VDXQCF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.29838#093J (statement). In KP0X1RKKKB/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.4.0
Dempwolff group TEW9VPVSKQ
| URI | m2://inv/TEW9VPVSKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dempwolff group, Dempwolff group (definition). Also Wikidata Q5256410
History
- 2026-11-02: add by m2/dev
Anafunctor TEWRRT4592
| URI | m2://inv/TEWRRT4592 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anafunctor, Anafunctor (definition). Also Wikidata Q126372275
History
- 2026-11-02: add by m2/dev
TEX2NJ3WG0 TEX2NJ3WG0
| URI | m2://inv/TEX2NJ3WG0 |
|---|---|
| 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#7ATW (statement). In 60CK7P5F36/e1, theorem 6.4
History
- 2026-10-27: add by m2/v0.3.5
Black swan statistics TEX4YKN3Y3
| URI | m2://inv/TEX4YKN3Y3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power law#WU82, Black swan statistics (unknown)
History
- 2026-11-02: add by m2/dev
Example TEXB6WVGG7
| URI | m2://inv/TEXB6WVGG7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Villarceau circles#7GV4, Example (example)
History
- 2026-11-02: add by m2/dev
TEXZ2TYY18 TEXZ2TYY18
| URI | m2://inv/TEXZ2TYY18 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05730#QFV5 (statement). In KWX3Q669ES/e1, theorem 10
History
- 2026-10-29: add by m2/v0.4.10
Ryszard Horodecki TEY06DMP6W
| URI | m2://inv/TEY06DMP6W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1BKR, Ryszard Horodecki (unknown)
History
- 2026-11-02: add by m2/dev
limit inferior and limit superior TEY1AGK81A
| URI | m2://inv/TEY1AGK81A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1076611, limit inferior and limit superior (unknown). Also MathWorld InfimumLimit
- wikipedia: Wikipedia Limit inferior and limit superior, Limit inferior and limit superior (definition). Also Wikidata Q1076611
History
- 2026-10-26: add by m2/dev
TEY1N56GQ4 TEY1N56GQ4
| URI | m2://inv/TEY1N56GQ4 |
|---|---|
| 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.24325#TJRQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gödel-Dummett logic TEY88MQ4VA
| URI | m2://inv/TEY88MQ4VA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#ISK5, Gödel-Dummett logic (definition)
History
- 2026-11-02: add by m2/dev
Mind mapping TEY8RJZS1V
| URI | m2://inv/TEY8RJZS1V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#W1BK, Mind mapping (unknown)
History
- 2026-11-02: add by m2/dev
Hauptvermutung TEYC5P2DX8
| URI | m2://inv/TEYC5P2DX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures#36XW, Hauptvermutung (definition)
History
- 2026-11-02: add by m2/dev
TEYG4DWZKW TEYG4DWZKW
| URI | m2://inv/TEYG4DWZKW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#AV9L (definition)
History
- 2026-11-01: add by m2/v0.6.15
Methods TEYKR9P402
| URI | m2://inv/TEYKR9P402 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surrogate data#99QB, Methods (definition)
History
- 2026-11-02: add by m2/dev
Júlia Volaufová TEYN3M2P95
| URI | m2://inv/TEYN3M2P95 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Júlia Volaufová, Júlia Volaufová (topic). Also Wikidata Q102343917
History
- 2026-11-02: add by m2/dev
Ad hominem circumstantial TEYQ4RKS9Q
| URI | m2://inv/TEYQ4RKS9Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ad hominem#WTV5, Ad hominem circumstantial (unknown)
History
- 2026-11-02: add by m2/dev
Applications TEYRXF9CSD
| URI | m2://inv/TEYRXF9CSD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sauer–Shelah lemma#L9QH, Applications (example)
History
- 2026-11-02: add by m2/dev
Wood–Armer method TEZ090MEBZ
| URI | m2://inv/TEZ090MEBZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#1YOW, Wood–Armer method (unknown)
History
- 2026-11-02: add by m2/dev
Chiliagram TEZ33S45AV
| URI | m2://inv/TEZ33S45AV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chiliagon#6IKF, Chiliagram (unknown)
History
- 2026-11-02: add by m2/dev
Theorem TEZ5D9NYBQ
| URI | m2://inv/TEZ5D9NYBQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harsanyi's utilitarian theorem#P68R, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Metelmann characterization, recalled TEZ6BQQ5FS
| URI | m2://inv/TEZ6BQQ5FS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08568#56E7, Metelmann characterization, recalled (statement). In FDDA562VCA/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.10
conjunct TEZ9NKS4MQ
| URI | m2://inv/TEZ9NKS4MQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#WB4O, conjunct (definition)
History
- 2026-11-02: add by m2/dev
Hilbert's problems TEZM9DVM8G
| URI | m2://inv/TEZM9DVM8G |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics history topics#FP70, Hilbert's problems (conjecture)
History
- 2026-11-02: add by m2/dev
$d$-dimensional Euclidean space TEZWJB5PR1
| URI | m2://inv/TEZWJB5PR1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28297#U3BC, $d$-dimensional Euclidean space (example)
History
- 2026-11-01: add by m2/v0.6.15