Inventory rows T3
The cards of the rows of the inventory whose ids start with T3. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Richard McGehee T303ES6JCT
| URI | m2://inv/T303ES6JCT |
|---|---|
| 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#BBV1, Richard McGehee (unknown)
History
- 2026-11-02: add by m2/dev
T3067EJQK3 T3067EJQK3
| URI | m2://inv/T3067EJQK3 |
|---|---|
| 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#RZ9Z (statement). In F5STMSPR6X/e1, lemma 6.6
History
- 2026-10-29: add by m2/v0.4.12
Negative multinomial distribution T30JT1Z16M
| URI | m2://inv/T30JT1Z16M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RSNZ, Negative multinomial distribution (definition)
History
- 2026-11-02: add by m2/dev
Gisbert Wüstholz T30VSQB3NZ
| URI | m2://inv/T30VSQB3NZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9M6P, Gisbert Wüstholz (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8ZIZ, Gisbert Wüstholz (topic)
History
- 2026-11-02: add by m2/dev
T30VY12APM T30VY12APM
| URI | m2://inv/T30VY12APM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-1 (exercise). In E9HS8K3A52, exercise, section 7.1.1
History
- 2026-11-01: add by m2/v0.6.13
T31BPM4JNN T31BPM4JNN
| URI | m2://inv/T31BPM4JNN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#exer:inf_exists (exercise). In RZP28ERRZV, exercise, section 32.3
History
- 2026-11-01: add by m2/v0.6.13
Feature maps and Mercer's theorem T31DZ9KMET
| URI | m2://inv/T31DZ9KMET |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regularized least squares#Z6LZ, Feature maps and Mercer's theorem (statement)
History
- 2026-11-02: add by m2/dev
Compossibility T31HA0CBRD
| URI | m2://inv/T31HA0CBRD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compossibility, Compossibility (definition). Also Wikidata Q1780982
History
- 2026-11-02: add by m2/dev
Kendall, David George T31HCM3AZT
| URI | m2://inv/T31HCM3AZT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#3UAJ, Kendall, David George (topic)
History
- 2026-11-02: add by m2/dev
Infimal convolute T31HV5BPN2
| URI | m2://inv/T31HV5BPN2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex conjugate#QZBR, Infimal convolute (unknown)
History
- 2026-11-02: add by m2/dev
Properties T31P7NJ0RQ
| URI | m2://inv/T31P7NJ0RQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baire space (set theory)#BHFZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Generalization T31QZ89NAD
| URI | m2://inv/T31QZ89NAD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nevanlinna–Pick interpolation#UMC7, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Detlef Müller T31SM7BB3P
| URI | m2://inv/T31SM7BB3P |
|---|---|
| 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#ACIA, Detlef Müller (topic)
History
- 2026-11-02: add by m2/dev
T31VPX0MVP T31VPX0MVP
| URI | m2://inv/T31VPX0MVP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:cartesianproddomofhol (exercise). In VNMV985MXX, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
T322H0YSG8 T322H0YSG8
| URI | m2://inv/T322H0YSG8 |
|---|---|
| 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.20599#I15B (statement)
History
- 2026-11-02: add by m2/v0.6.18
frequency T322H9JPT6
| URI | m2://inv/T322H9JPT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#FZKE, frequency (definition)
History
- 2026-11-02: add by m2/dev
characteristics T3243BM3KW
| URI | m2://inv/T3243BM3KW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/4.9/characteristics, characteristics (concept). In E9HS8K3A52, index, section 4.9
History
- 2026-11-01: add by m2/v0.6.13
Cauchy's two-line notation T32D6XZZJB
| URI | m2://inv/T32D6XZZJB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#WBRU, Cauchy's two-line notation (definition)
History
- 2026-11-02: add by m2/dev
Five Forks, Calhoun County, West Virginia T32G78YH9Y
| URI | m2://inv/T32G78YH9Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#RE0T, Five Forks, Calhoun County, West Virginia (unknown)
History
- 2026-11-02: add by m2/dev
rank inequality T32M2DQENQ
| URI | m2://inv/T32M2DQENQ |
|---|---|
| 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.20775#HCX4, rank inequality (statement). In XG27B81T0G/e1, lemma 7.3
History
- 2026-10-27: add by m2/v0.4.2
T32RPGFCXA T32RPGFCXA
| URI | m2://inv/T32RPGFCXA |
|---|---|
| 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.07828#AEHU (statement). In TWGMVT1N1G/e1, proposition 8.4
History
- 2026-10-29: add by m2/v0.4.10
T330Y7FJCP T330Y7FJCP
| URI | m2://inv/T330Y7FJCP |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-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 2609.22514#3Q5O (conjecture)
History
- 2026-11-02: add by m2/v0.6.17
T332MCG307 T332MCG307
| URI | m2://inv/T332MCG307 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
moment T332WXW0BV
| URI | m2://inv/T332WXW0BV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry#W7I5, moment (definition)
History
- 2026-11-02: add by m2/dev
Polyhedral points T33858YYBQ
| URI | m2://inv/T33858YYBQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26129#SMHV, Polyhedral points (statement)
History
- 2026-11-01: add by m2/v0.6.15
Christopher Hacon T33B6AK8HF
| URI | m2://inv/T33B6AK8HF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OCYJ, Christopher Hacon (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#S960, Christopher Hacon (topic)
History
- 2026-11-02: add by m2/dev
M. Aschbacher T33H4JXWHX
| URI | m2://inv/T33H4JXWHX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#AKRY, M. Aschbacher (topic)
History
- 2026-11-02: add by m2/dev
Definition T33MQ1XYG4
| URI | m2://inv/T33MQ1XYG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal morphism#WPSL, Definition (definition)
History
- 2026-11-02: add by m2/dev
T33RC89QTC T33RC89QTC
| URI | m2://inv/T33RC89QTC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06868#D3WJ (statement). In TV73V5E7JV/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
T33SXXXN5Q T33SXXXN5Q
| URI | m2://inv/T33SXXXN5Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23941#89C8 (definition)
History
- 2026-11-02: add by m2/v0.6.17
T347SZQK8N T347SZQK8N
| URI | m2://inv/T347SZQK8N |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18101#VCRM (example). In XXN6KKXPYF/e1, example 3.3
History
- 2026-10-28: add by m2/v0.4.2
tripartite T349MYG8WE
| URI | m2://inv/T349MYG8WE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#ABHK, tripartite (definition)
History
- 2026-11-02: add by m2/dev
Probability of error T34KBZY8KC
| URI | m2://inv/T34KBZY8KC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability of error, Probability of error (definition). Also Wikidata Q1673216
History
- 2026-11-02: add by m2/dev
3rd theorem T34QF96ETK
| URI | m2://inv/T34QF96ETK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic function#49D0, 3rd theorem (statement)
History
- 2026-11-02: add by m2/dev
Hermite number T34TDKJ9K4
| URI | m2://inv/T34TDKJ9K4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermite number, Hermite number (definition). Also Wikidata Q5741915
History
- 2026-11-02: add by m2/dev
T350WBXH8Y T350WBXH8Y
| URI | m2://inv/T350WBXH8Y |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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/0406514#GQA9 (statement). In CY1FE8W1ZW/e1, lemma 0.272
History
- 2026-10-27: add by m2/v0.3.5
Second partial derivative test T35HX7CT2N
| URI | m2://inv/T35HX7CT2N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second partial derivative test, Second partial derivative test (definition). Also Wikidata Q7443745
History
- 2026-11-02: add by m2/dev
Example T35KAKMEK6
| URI | m2://inv/T35KAKMEK6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measure space#I24K, Example (example)
History
- 2026-11-02: add by m2/dev
T35QEC8HE2 T35QEC8HE2
| URI | m2://inv/T35QEC8HE2 |
|---|---|
| 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.01998#MA6W (statement). In 71YD1PGG8E/e1, corollary 1.3
History
- 2026-10-29: add by m2/v0.4.12
Giuseppe Avanzini T35WRXEYC2
| URI | m2://inv/T35WRXEYC2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#BJSI, Giuseppe Avanzini (topic)
History
- 2026-11-02: add by m2/dev
Lagrangian map T35YZPA1MD
| URI | m2://inv/T35YZPA1MD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symplectic manifold#TVJV, Lagrangian map (unknown)
History
- 2026-11-02: add by m2/dev
Carnot group T3618N202E
| URI | m2://inv/T3618N202E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carnot group, Carnot group (definition). Also Wikidata Q4352257
History
- 2026-11-02: add by m2/dev
T3631VHTAB T3631VHTAB
| URI | m2://inv/T3631VHTAB |
|---|---|
| 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.20126#TI8Q (statement). In KVXDWX9B11/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.4.2
Gyrobicupola T36CTW65CP
| URI | m2://inv/T36CTW65CP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bicupola#ZJDZ, Gyrobicupola (unknown)
History
- 2026-11-02: add by m2/dev
Kaplansky, 1958 T36TZBHVB4
| URI | m2://inv/T36TZBHVB4 |
|---|---|
| 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.35682#35EF, Kaplansky, 1958 (statement). In 7XM8WXVBWK/e1, theorem 2.3
History
- 2026-10-30: add by m2/v0.4.12
T36YQBK885 T36YQBK885
| URI | m2://inv/T36YQBK885 |
|---|---|
| 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.28181#HW9T (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nordic Mathematical Contest T3730X826W
| URI | m2://inv/T3730X826W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#36V5, Nordic Mathematical Contest (unknown)
History
- 2026-11-02: add by m2/dev
Swimming pool T37836S538
| URI | m2://inv/T37836S538 |
|---|---|
| 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#I2H5, Swimming pool (unknown)
History
- 2026-11-02: add by m2/dev
eliminator T379NGEXE1
| URI | m2://inv/T379NGEXE1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.2.4/eliminator, eliminator (concept). In N54F33XE07, index, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
T379T2H2MC T379T2H2MC
| URI | m2://inv/T379T2H2MC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-1 (definition). In VNMV985MXX, defn, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
T37ACQRMX1 T37ACQRMX1
| URI | m2://inv/T37ACQRMX1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#MZNR (statement). In SD28S3K7BT/e1, theorem 44
History
- 2026-10-29: add by m2/v0.4.12
T37E0V87C2 T37E0V87C2
| URI | m2://inv/T37E0V87C2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#FTW9 (statement). In ZJQB9W60T6/e1, theorem 8.5
History
- 2026-10-28: add by m2/v0.4.2
T37F4KZMGW T37F4KZMGW
| URI | m2://inv/T37F4KZMGW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/prop-reduce.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 3.11
History
- 2026-11-01: add by m2/v0.6.13
Salil Vadhan T37GGMPXEF
| URI | m2://inv/T37GGMPXEF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SCT7, Salil Vadhan (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JZOF, Salil Vadhan (unknown)
History
- 2026-11-02: add by m2/dev
!!^{bijection} T37TNCTXYT
| URI | m2://inv/T37TNCTXYT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/function-kinds.tex#defn-3, !!^{bijection} (definition). In PKGMM3P5QY, defn, section 78.10
History
- 2026-11-01: add by m2/v0.6.13
T37V3WMMKS T37V3WMMKS
| URI | m2://inv/T37V3WMMKS |
|---|---|
| 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.39706#B6JP (statement). In 79Y8JJMKP4/e1, lemma 6.3
History
- 2026-10-30: add by m2/v0.4.12
T37W2W9DNM T37W2W9DNM
| URI | m2://inv/T37W2W9DNM |
|---|---|
| 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.16362#PZA7 (statement). In 4NJ4T3DEQB/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Consistency of the weighted nodal rearrangement T385XDQQ5V
| URI | m2://inv/T385XDQQ5V |
|---|---|
| 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.05313#Y5WO, Consistency of the weighted nodal rearrangement (statement). In 8XPN1A2GR0/e1, lemma 5.18
History
- 2026-10-29: add by m2/v0.4.10
Ten-of-diamonds decahedron T389J8DZWG
| URI | m2://inv/T389J8DZWG |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ten-of-diamonds decahedron, Ten-of-diamonds decahedron (object). Also Wikidata Q30636856
History
- 2026-11-02: add by m2/dev
Definition T389MVRR9G
| URI | m2://inv/T389MVRR9G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean means#R26D, Definition (definition)
History
- 2026-11-02: add by m2/dev
List of forcing notions T38AH1MWTG
| URI | m2://inv/T38AH1MWTG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of forcing notions, List of forcing notions (topic). Also Wikidata Q6620955
History
- 2026-11-02: add by m2/dev
T38C9F028S T38C9F028S
| URI | m2://inv/T38C9F028S |
|---|---|
| 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.22304#WEQO (statement)
History
- 2026-11-02: add by m2/v0.6.17
Terminology T38CHMJW2G
| URI | m2://inv/T38CHMJW2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic process#8KAC, Terminology (definition)
History
- 2026-11-02: add by m2/dev
T38GYY8T8K T38GYY8T8K
| URI | m2://inv/T38GYY8T8K |
|---|---|
| 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.01441#DOH4 (statement). In V678XY1P9A/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
T38H2EPJB0 T38H2EPJB0
| URI | m2://inv/T38H2EPJB0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:onlyniceuneededforsubharmonic (exercise). In VNMV985MXX, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Isaak Moiseevich Milin T38J7CB2P7
| URI | m2://inv/T38J7CB2P7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isaak Moiseevich Milin, Isaak Moiseevich Milin (topic). Also Wikidata Q19360105
History
- 2026-11-02: add by m2/dev
Jan Mandel T38QK46JR7
| URI | m2://inv/T38QK46JR7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jan Mandel, Jan Mandel (topic). Also Wikidata Q6149425
History
- 2026-11-02: add by m2/dev
Alberto Pedro Calderon T38TA3039J
| URI | m2://inv/T38TA3039J |
|---|---|
| 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#3PHA, Alberto Pedro Calderon (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9RMH, Alberto Pedro Calderon (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KMMD, Alberto Pedro Calderon (unknown)
History
- 2026-11-02: add by m2/dev
Definition T38THW8831
| URI | m2://inv/T38THW8831 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Justesen code#5UGF, Definition (definition)
History
- 2026-11-02: add by m2/dev
quasi-parabolic bundles T38VGVCFS7
| URI | m2://inv/T38VGVCFS7 |
|---|---|
| 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.06458#JGMG, quasi-parabolic bundles (definition). In 4X93XG8NMD/e1, definition 5.4
History
- 2026-10-29: add by m2/v0.4.10
T38XTR4X41 T38XTR4X41
| URI | m2://inv/T38XTR4X41 |
|---|---|
| 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.20480#6MJX (statement). In BK4359JSC3/e1, corollary 5.1
History
- 2026-10-27: add by m2/v0.4.2
Exponential strong converse under a photon-number cutoff T38YZ8FCPW
| URI | m2://inv/T38YZ8FCPW |
|---|---|
| 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.22308#PR4O, Exponential strong converse under a photon-number cutoff (statement). In 4QN87R0P1G/e1, proposition 7
History
- 2026-10-27: add by m2/v0.4.0
Leibniz law T38ZZZAS8Y
| URI | m2://inv/T38ZZZAS8Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz#V650, Leibniz law (statement)
History
- 2026-11-02: add by m2/dev
T391PKDT5Q T391PKDT5Q
| URI | m2://inv/T391PKDT5Q |
|---|---|
| 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.33027#RF4C (statement). In E2AF84709B/e1, theorem 50
History
- 2026-10-31: add by m2/v0.5.6
Smoothness without analyticity collapses the weak feature span T391RY255K
| URI | m2://inv/T391RY255K |
|---|---|
| Kind | example |
| 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.04357#E8Z4, Smoothness without analyticity collapses the weak feature span (example). In 6FY8BVP1F3/e1, example E.3
History
- 2026-10-29: add by m2/v0.4.12
Telephone survey T39567XA89
| URI | m2://inv/T39567XA89 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Survey methodology#IRGR, Telephone survey (unknown)
History
- 2026-11-02: add by m2/dev
T39C8Q6871 T39C8Q6871
| URI | m2://inv/T39C8Q6871 |
|---|---|
| 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 2610.20386#NKQ2 (statement). In 4WC4V49KAC/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.4.2
T39N7QBZ23 T39N7QBZ23
| URI | m2://inv/T39N7QBZ23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.07718#JUA1 (statement). In CEKW9CNVVW/e1, proposition 6.6
History
- 2026-10-29: add by m2/v0.4.10
Szolem Mandelbrojt T39S1TCEX0
| URI | m2://inv/T39S1TCEX0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Szolem Mandelbrojt, Szolem Mandelbrojt (topic). Also Wikidata Q720471
History
- 2026-11-02: add by m2/dev
T3A22W9FHE T3A22W9FHE
| URI | m2://inv/T3A22W9FHE |
|---|---|
| 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 2207.11097#UK81 (statement). In 13H5BTAXHF/e1, proposition 24
History
- 2026-10-27: add by m2/v0.3.5
Gender survey question T3A5VD6N8T
| URI | m2://inv/T3A5VD6N8T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gender survey question, Gender survey question (definition). Also Wikidata Q97656495
History
- 2026-11-02: add by m2/dev
T3AF11EW26 T3AF11EW26
| URI | m2://inv/T3AF11EW26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08583#3T6C (statement). In 5EKTECQ2P1/e1, corollary 1.4
History
- 2026-10-29: add by m2/v0.4.10
Biconditional elimination T3AFEXWZDT
| URI | m2://inv/T3AFEXWZDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biconditional elimination, Biconditional elimination (definition). Also Wikidata Q4903712
History
- 2026-11-02: add by m2/dev
Local independence T3AFSB9SGV
| URI | m2://inv/T3AFSB9SGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local independence, Local independence (definition). Also Wikidata Q17099642
History
- 2026-11-02: add by m2/dev
Five Canons of Rhetoric T3AFZG2Y1J
| URI | m2://inv/T3AFZG2Y1J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhetoric#EINU, Five Canons of Rhetoric (unknown)
History
- 2026-11-02: add by m2/dev
T3AGE1A2N6 T3AGE1A2N6
| URI | m2://inv/T3AGE1A2N6 |
|---|---|
| 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 0808.1331#8GQ0 (statement). In RB2B1N73P0/e1, corollary 2.3
History
- 2026-10-27: add by m2/v0.3.5
T3AJNTJ0JK T3AJNTJ0JK
| URI | m2://inv/T3AJNTJ0JK |
|---|---|
| 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#F584 (statement). In BDN507RN7J/e1, proposition 4.4.4
History
- 2026-10-30: add by m2/v0.4.12
T3AVFFH7QK T3AVFFH7QK
| URI | m2://inv/T3AVFFH7QK |
|---|---|
| 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.37562#64F5 (statement). In PYY8DFK2JS/e1, lemma 7.6
History
- 2026-10-30: add by m2/v0.4.12
T3AVGMZFVZ T3AVGMZFVZ
| URI | m2://inv/T3AVGMZFVZ |
|---|---|
| Kind | definition |
| 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.12489#PPGM (definition). In FDWFVD08SE/e1, definition 4.5
History
- 2026-10-28: add by m2/v0.4.2
Proposition T3B0Z90SBV
| URI | m2://inv/T3B0Z90SBV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manin matrix#A8SX, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Riemannian volume form T3B20RV09F
| URI | m2://inv/T3B20RV09F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volume form#VP73, Riemannian volume form (unknown)
History
- 2026-11-02: add by m2/dev
T3B4NCTTK1 T3B4NCTTK1
| URI | m2://inv/T3B4NCTTK1 |
|---|---|
| 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.00241#ZHF8 (statement). In VBRQTN2RXN/e1, proposition 4.5
History
- 2026-10-30: add by m2/v0.4.12
Uses T3B5HWJ7F4
| URI | m2://inv/T3B5HWJ7F4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oort constants#KIC3, Uses (example)
History
- 2026-11-02: add by m2/dev
exponential of a matrix T3B9435KNP
| URI | m2://inv/T3B9435KNP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.8.1/exponential-of-a-matrix, exponential of a matrix (concept). In E9HS8K3A52, index, section 10.8.1
History
- 2026-11-01: add by m2/v0.6.13
T3BFKK29JQ T3BFKK29JQ
| URI | m2://inv/T3BFKK29JQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24580#RHNN (definition)
History
- 2026-11-01: add by m2/v0.6.15
Applications T3BPFKXXJE
| URI | m2://inv/T3BPFKXXJE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistic programming#28CS, Applications (example)
History
- 2026-11-02: add by m2/dev
Constant conjunction T3BPM9S0JJ
| URI | m2://inv/T3BPM9S0JJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constant conjunction, Constant conjunction (definition). Also Wikidata Q5163645
History
- 2026-11-02: add by m2/dev
T3BXDWT47R T3BXDWT47R
| URI | m2://inv/T3BXDWT47R |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
Ansgar Beckermann T3BZBTR9H6
| URI | m2://inv/T3BZBTR9H6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ansgar Beckermann, Ansgar Beckermann (topic). Also Wikidata Q95344
History
- 2026-11-02: add by m2/dev
finite-dimensional T3BZXDDW1K
| URI | m2://inv/T3BZXDDW1K |
|---|---|
| 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.03384#BS6L, finite-dimensional (statement). In J55JTTKG84/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.12
Felice Casorati (mathematician) T3CGTMRDNE
| URI | m2://inv/T3CGTMRDNE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#BIP8, Felice Casorati (mathematician) (topic)
History
- 2026-11-02: add by m2/dev
Pierre Raphael T3CPV95CNS
| URI | m2://inv/T3CPV95CNS |
|---|---|
| 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#YQZ8, Pierre Raphael (unknown)
History
- 2026-11-02: add by m2/dev
The rolling-horizon tilt T3D1C98MRQ
| URI | m2://inv/T3D1C98MRQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#FBFP, The rolling-horizon tilt (statement)
History
- 2026-11-01: add by m2/v0.6.15
T3D2Q981SG T3D2Q981SG
| URI | m2://inv/T3D2Q981SG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 18-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 2609.20725#403H (definition)
History
- 2026-11-02: add by m2/v0.6.18
T3D2T5DTE2 T3D2T5DTE2
| URI | m2://inv/T3D2T5DTE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1612.08394#BJTG (statement). In 1P8D88DKG5/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
T3DMTS5FQ4 T3DMTS5FQ4
| URI | m2://inv/T3DMTS5FQ4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.01000#KKXO (definition). In RYFV9HGWWZ/e1, definition 47
History
- 2026-10-27: add by m2/v0.3.5
Gabriel Lamé T3DN4ABJX4
| URI | m2://inv/T3DN4ABJX4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gabriel Lamé, Gabriel Lamé (topic). Also Wikidata Q353442
History
- 2026-11-02: add by m2/dev
Orders of approximation T3DY45BBSF
| URI | m2://inv/T3DY45BBSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#4FQG, Orders of approximation (definition)
- wikipedia: Wikipedia List of numerical analysis topics#ZCFO, Orders of approximation (definition)
History
- 2026-11-02: add by m2/dev
Edgar Lorch T3DZ2883YK
| URI | m2://inv/T3DZ2883YK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edgar Lorch, Edgar Lorch (topic). Also Wikidata Q5337354
History
- 2026-11-02: add by m2/dev
T3DZDGK7FS T3DZDGK7FS
| URI | m2://inv/T3DZDGK7FS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#proof-18 (proof). In N54F33XE07, proof, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Stone's duality T3E1SJXA5Q
| URI | m2://inv/T3E1SJXA5Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#W7OF, Stone's duality (definition)
History
- 2026-11-02: add by m2/dev
T3E1ZX17VF T3E1ZX17VF
| URI | m2://inv/T3E1ZX17VF |
|---|---|
| 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.27114#AFLZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
T3E5RY5RT1 T3E5RY5RT1
| URI | m2://inv/T3E5RY5RT1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2610.21507#338Q (statement). In 879ZDHVK7N/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.4.2
T3E6AHSWCT T3E6AHSWCT
| URI | m2://inv/T3E6AHSWCT |
|---|---|
| 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.24154#H952 (statement)
History
- 2026-11-02: add by m2/v0.6.17
T3EE9MJ6FF T3EE9MJ6FF
| URI | m2://inv/T3EE9MJ6FF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24917#U0A1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Walter Taylor T3EESXR9VX
| URI | m2://inv/T3EESXR9VX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walter Taylor (mathematician), Walter Taylor (topic). Also Wikidata Q7966266
History
- 2026-11-02: add by m2/dev
T3EP6YG18T T3EP6YG18T
| URI | m2://inv/T3EP6YG18T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38323#H19C (statement). In MER0S03A77/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
T3EZ4S0X63 T3EZ4S0X63
| URI | m2://inv/T3EZ4S0X63 |
|---|---|
| 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.38436#KK5K (statement). In 702AF3E4AF/e1, theorem 7.4
History
- 2026-10-30: add by m2/v0.4.12
Dirichlet class number formula T3F6F3T434
| URI | m2://inv/T3F6F3T434 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Algebraic Number Theory > Dirichlet class number formula, Dirichlet class number formula (unknown). Also Mathlib NumberField.tendsto_sub_one_mul_dedekindZeta_nhdsGT
History
- 2026-10-26: add by m2/dev
Slice surface of genus one for the trefoil T3F9SYR9VZ
| URI | m2://inv/T3F9SYR9VZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10206#WIMA, Slice surface of genus one for the trefoil (example). In 8TRCP1482Q/e1, example 2.5
History
- 2026-10-29: add by m2/v0.4.10
Algorithmic Geometry T3FCMN49N4
| URI | m2://inv/T3FCMN49N4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic Geometry, Algorithmic Geometry (definition). Also Wikidata Q96371746
History
- 2026-11-02: add by m2/dev
ADHH Lieb-Robinson estimate T3FJHB981E
| URI | m2://inv/T3FJHB981E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27181#O42R, ADHH Lieb-Robinson estimate (statement)
History
- 2026-11-01: add by m2/v0.6.15
T3FZEZK2MY T3FZEZK2MY
| URI | m2://inv/T3FZEZK2MY |
|---|---|
| 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.27524#TQGV (statement)
History
- 2026-11-01: add by m2/v0.6.15
John Brownlee T3G95N6QZX
| URI | m2://inv/T3G95N6QZX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Brownlee (statistician), John Brownlee (topic). Also Wikidata Q6223612
History
- 2026-11-02: add by m2/dev
Sparsification with a careful shift T3GRXD89EJ
| URI | m2://inv/T3GRXD89EJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14380#NHRC, Sparsification with a careful shift (statement). In 2ZRQP063HP/e1, proposition 2.11
History
- 2026-10-28: add by m2/v0.4.2
Theorem 5 T3GT4EQDGT
| URI | m2://inv/T3GT4EQDGT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximate max-flow min-cut theorem#5CE8, Theorem 5 (statement)
History
- 2026-11-02: add by m2/dev
monoidal monad T3H054RMQ3
| URI | m2://inv/T3H054RMQ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6901645, monoidal monad (unknown). Also nLab monoidal monad
- wikipedia: Wikipedia Monoidal monad, Monoidal monad (definition). Also Wikidata Q6901645
History
- 2026-10-26: add by m2/dev
T3H0F1GG1K T3H0F1GG1K
| URI | m2://inv/T3H0F1GG1K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-5.xml#definition-1 (definition). In 649HGZKE96, definition, section 3.5.2
History
- 2026-11-01: add by m2/v0.6.13
Regular star polygon T3H7MRZ29A
| URI | m2://inv/T3H7MRZ29A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular polygon#S7TI, Regular star polygon (unknown)
History
- 2026-11-02: add by m2/dev
Generalized chi-squared distribution T3H7ZJDTYW
| URI | m2://inv/T3H7ZJDTYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized chi-squared distribution, Generalized chi-squared distribution (definition). Also Wikidata Q5532465
History
- 2026-11-02: add by m2/dev
projective T3H98P5MYV
| URI | m2://inv/T3H98P5MYV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#T93K, projective (definition)
History
- 2026-11-02: add by m2/dev
T3HDP5Z9PH T3HDP5Z9PH
| URI | m2://inv/T3HDP5Z9PH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08633#OWC7 (statement). In 7MV7RGDVXF/e1, lemma 4.1.1
History
- 2026-10-29: add by m2/v0.4.10
Dimension axiom T3HR61KSQH
| URI | m2://inv/T3HR61KSQH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eilenberg–Steenrod axioms#JSTP, Dimension axiom (statement)
History
- 2026-11-02: add by m2/dev
Takens's theorem T3HV592463
| URI | m2://inv/T3HV592463 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 37-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q11722674, Takens's theorem (statement). Also Wikidata Q11722674
- thousand_plus: thousand_plus Q11722674, Takens's theorem (statement). Also Wikidata Q11722674, Wikipedia Takens's theorem
- wikipedia: Wikipedia Takens's theorem, Takens's theorem (statement). Also Wikidata Q11722674
History
- 2026-10-26: add by m2/dev
Modularity imposes no additional existence condition T3J17BKQYE
| URI | m2://inv/T3J17BKQYE |
|---|---|
| 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.33469#79AZ, Modularity imposes no additional existence condition (statement). In TC5QA4AB4Z/e1, corollary 3.24
History
- 2026-10-30: add by m2/v0.4.12
Double counting T3J59RFKZ4
| URI | m2://inv/T3J59RFKZ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double counting (fallacy), Double counting (definition). Also Wikidata Q5299994
History
- 2026-11-02: add by m2/dev
T3JCSEM5VH T3JCSEM5VH
| URI | m2://inv/T3JCSEM5VH |
|---|---|
| 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.27788#CY91 (statement)
History
- 2026-11-01: add by m2/v0.6.15
T3JF4QZGTH T3JF4QZGTH
| URI | m2://inv/T3JF4QZGTH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book formal.tex#thm:strong-normalization (statement). In N54F33XE07, thm, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
T3JGP1NW8E T3JGP1NW8E
| URI | m2://inv/T3JGP1NW8E |
|---|---|
| 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.10372#UTIX (statement). In P77W283VXT/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.10
Non-strict order T3JKTAGHQG
| URI | m2://inv/T3JKTAGHQG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partially ordered set#Q0UY, Non-strict order (unknown)
History
- 2026-11-02: add by m2/dev
T3K5YC79JQ T3K5YC79JQ
| URI | m2://inv/T3K5YC79JQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28189#JXS6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Proposition T3KC0QTD0W
| URI | m2://inv/T3KC0QTD0W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connected space#5O21, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Variations T3KEXB2D1T
| URI | m2://inv/T3KEXB2D1T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-refuting idea#2GT4, Variations (statement)
History
- 2026-11-02: add by m2/dev
Index of dissimilarity T3KFER8QB1
| URI | m2://inv/T3KFER8QB1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index of dissimilarity, Index of dissimilarity (topic). Also Wikidata Q6018862
History
- 2026-11-02: add by m2/dev
T3KGA0X6FY T3KGA0X6FY
| URI | m2://inv/T3KGA0X6FY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10600#60LI (statement). In V7WT21EDPM/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Singular fibers T3KGWD22SJ
| URI | m2://inv/T3KGWD22SJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16731#OTMO, Singular fibers (statement). In D68KBZQ4Q6/e1, lemma 3.20
History
- 2026-10-28: add by m2/v0.4.2
T3KHCNPFAK T3KHCNPFAK
| URI | m2://inv/T3KHCNPFAK |
|---|---|
| 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.08434#P1BA (statement). In VN8087G2FC/e1, corollary 8.15
History
- 2026-10-29: add by m2/v0.4.10
T3KM8848J0 T3KM8848J0
| URI | m2://inv/T3KM8848J0 |
|---|---|
| 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 2111.00832#00G3 (statement). In KM0XEAXFMF/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
T3KQ18X9MK T3KQ18X9MK
| URI | m2://inv/T3KQ18X9MK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-42 (proof). In N54F33XE07, proof, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
Musical isomorphism T3KREF71YJ
| URI | m2://inv/T3KREF71YJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Musical isomorphism, Musical isomorphism (definition). Also Wikidata Q2915448
History
- 2026-11-02: add by m2/dev
equality, judgmental T3KVCKB211
| URI | m2://inv/T3KVCKB211 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/sec:formal-prelim/equality-judgmental, equality, judgmental (concept). In N54F33XE07, index, section sec:formal-prelim
History
- 2026-11-01: add by m2/v0.6.13
Fast inverse square root T3KWDGY01W
| URI | m2://inv/T3KWDGY01W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fast inverse square root, Fast inverse square root (definition). Also Wikidata Q32980
History
- 2026-11-02: add by m2/dev
T3M16BMKH8 T3M16BMKH8
| URI | m2://inv/T3M16BMKH8 |
|---|---|
| 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.01915#JF8K (statement). In 6HJQXZS0A6/e1, theorem 0.4
History
- 2026-10-29: add by m2/v0.4.12
Transverse field T3M2Y1MXC1
| URI | m2://inv/T3M2Y1MXC1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helmholtz decomposition#Q4T4, Transverse field (unknown)
History
- 2026-11-02: add by m2/dev
P-derivation T3M2ZNCHRF
| URI | m2://inv/T3M2ZNCHRF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-derivation, P-derivation (definition). Also Wikidata Q7116930
History
- 2026-11-02: add by m2/dev
Definitions T3M3JXCYPQ
| URI | m2://inv/T3M3JXCYPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Saturated family#IQUE, Definitions (definition)
History
- 2026-11-02: add by m2/dev
T3M7CDAW4V T3M7CDAW4V
| URI | m2://inv/T3M7CDAW4V |
|---|---|
| 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.02295#QKIM (statement). In PEBD9ZMA1W/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
Extensions T3MAVY172K
| URI | m2://inv/T3MAVY172K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector logic#5DAG, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Barry Arthur Cipra T3MAW9PEMF
| URI | m2://inv/T3MAW9PEMF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barry Arthur Cipra, Barry Arthur Cipra (topic). Also Wikidata Q23882031
History
- 2026-11-02: add by m2/dev
T3MBAR5YBA T3MBAR5YBA
| URI | m2://inv/T3MBAR5YBA |
|---|---|
| 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.35460#IYMG (statement). In R515NECVME/e1, lemma 8.4
History
- 2026-10-30: add by m2/v0.4.12
T3MC7KRPWJ T3MC7KRPWJ
| URI | m2://inv/T3MC7KRPWJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.27420#LO4D (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algorithm T3MK76JEE9
| URI | m2://inv/T3MK76JEE9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lee–Carter model#68GI, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
T3MS0EHD24 T3MS0EHD24
| URI | m2://inv/T3MS0EHD24 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21403#0DDX (definition)
History
- 2026-11-02: add by m2/v0.6.18
Definitions T3MXBY7XX8
| URI | m2://inv/T3MXBY7XX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dehn surgery#T0QA, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Sistema de Información de la Población Objetivo T3MZRXBRG3
| URI | m2://inv/T3MZRXBRG3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sistema de Información de la Población Objetivo, Sistema de Información de la Población Objetivo (definition). Also Wikidata Q7531047
History
- 2026-11-02: add by m2/dev
Samuel Karlin T3N3PZTV4P
| URI | m2://inv/T3N3PZTV4P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#HRR2, Samuel Karlin (unknown)
History
- 2026-11-02: add by m2/dev
Bratteli–Vershik diagram T3NB93KZZR
| URI | m2://inv/T3NB93KZZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bratteli–Vershik diagram, Bratteli–Vershik diagram (definition). Also Wikidata Q4958101
History
- 2026-11-02: add by m2/dev
T3NCDZ6SYP T3NCDZ6SYP
| URI | m2://inv/T3NCDZ6SYP |
|---|---|
| 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.36045#ZCFZ (statement). In F0E8YBV0Z0/e1, corollary 5.2
History
- 2026-10-30: add by m2/v0.4.12
Axiom of regularity (also called the axiom of foundation) - 2 T3NFX12BX8
| URI | m2://inv/T3NFX12BX8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zermelo–Fraenkel set theory#DQUM, Axiom of regularity (also called the axiom of foundation) - 2 (statement)
History
- 2026-11-02: add by m2/dev
Theorem T3NGBM0EDV
| URI | m2://inv/T3NGBM0EDV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplicial approximation theorem#T4FH, Theorem (statement)
History
- 2026-11-02: add by m2/dev
T3NK3XVE5R T3NK3XVE5R
| URI | m2://inv/T3NK3XVE5R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36113#3HIT (statement). In FSGSVD0XYH/e1, lemma 11
History
- 2026-10-30: add by m2/v0.4.12
Definition T3NRVBDQSZ
| URI | m2://inv/T3NRVBDQSZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperoperation#7704, Definition (definition)
History
- 2026-11-02: add by m2/dev
T3NTTWV4XW T3NTTWV4XW
| URI | m2://inv/T3NTTWV4XW |
|---|---|
| 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#P2CM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fisher information metric T3P6K840E2
| URI | m2://inv/T3P6K840E2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher information metric, Fisher information metric (definition). Also Wikidata Q5454858
History
- 2026-11-02: add by m2/dev
Wild problem T3PCAF178K
| URI | m2://inv/T3PCAF178K |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#87MG, Wild problem (problem)
History
- 2026-11-02: add by m2/dev
Perfectly matched layer T3PN0RFWA0
| URI | m2://inv/T3PN0RFWA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfectly matched layer, Perfectly matched layer (definition). Also Wikidata Q15101726
History
- 2026-11-02: add by m2/dev
T3PNZ6Y6GX T3PNZ6Y6GX
| URI | m2://inv/T3PNZ6Y6GX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.34193#42ZM (statement). In 9XMZTTSF5E/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Semi-Galerkin construction with exact Maxwell evolution T3PQ2Q4VJ1
| URI | m2://inv/T3PQ2Q4VJ1 |
|---|---|
| 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.24960#X3MR, Semi-Galerkin construction with exact Maxwell evolution (statement)
History
- 2026-11-01: add by m2/v0.6.15
T3PSK5RAGT T3PSK5RAGT
| URI | m2://inv/T3PSK5RAGT |
|---|---|
| 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.16989#6FP5 (statement). In 4769XNDWYS/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Applications T3PSXMG4M5
| URI | m2://inv/T3PSXMG4M5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-well-founded set theory#D3X0, Applications (example)
History
- 2026-11-02: add by m2/dev
T3PZB5HY6M T3PZB5HY6M
| URI | m2://inv/T3PZB5HY6M |
|---|---|
| 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.17589#XTJS (statement). In GSTK4569X1/e1, theorem C
History
- 2026-10-28: add by m2/v0.4.2
recognizable T3Q3JEE7W7
| URI | m2://inv/T3Q3JEE7W7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#BISW, recognizable (definition)
History
- 2026-11-02: add by m2/dev
T3Q4PWMQM3 T3Q4PWMQM3
| URI | m2://inv/T3Q4PWMQM3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#prop-5 (statement). In E59CDZA4DP, prop, section 5.5.1
History
- 2026-11-01: add by m2/v0.6.13
Decentralized trusted timestamping on the blockchain T3Q9KCZJDJ
| URI | m2://inv/T3Q9KCZJDJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trusted timestamping#9YHE, Decentralized trusted timestamping on the blockchain (unknown)
History
- 2026-11-02: add by m2/dev
Fekete's lemma T3QA2J6K3M
| URI | m2://inv/T3QA2J6K3M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fekete's lemma, Fekete's lemma (statement). Also Wikidata Q3229358
History
- 2026-11-02: add by m2/dev
T3QCZ1Y8J3 T3QCZ1Y8J3
| URI | m2://inv/T3QCZ1Y8J3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13378#4CF2 (statement). In QAH7SV1JT6/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
T3QKFQGECA T3QKFQGECA
| URI | m2://inv/T3QKFQGECA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#SDU0 (statement). In CY1FE8W1ZW/e1, corollary 0.67
History
- 2026-10-27: add by m2/v0.4.0
T3QNKCHY3A T3QNKCHY3A
| URI | m2://inv/T3QNKCHY3A |
|---|---|
| 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.09599#BRE5 (statement). In 4JYGH9XNA9/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.10
T3QP7E7ZA6 T3QP7E7ZA6
| URI | m2://inv/T3QP7E7ZA6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_bin-coeff.ptx#example-3 (example). In QKM9DD2H56, example, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
T3QPCHKXQ7 T3QPCHKXQ7
| URI | m2://inv/T3QPCHKXQ7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/soundness-completeness/lindenbaum.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 33.5
History
- 2026-11-01: add by m2/v0.6.13
geometric sequences and their asymptotic perturbations T3QQT3ES85
| URI | m2://inv/T3QQT3ES85 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#ITP6, geometric sequences and their asymptotic perturbations (example)
History
- 2026-11-01: add by m2/v0.6.15
County of Forty Mile No. 8 T3QXN75MM3
| URI | m2://inv/T3QXN75MM3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#8DRC, County of Forty Mile No. 8 (unknown)
History
- 2026-11-02: add by m2/dev
Triangle T3QY4CM5QA
| URI | m2://inv/T3QY4CM5QA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#HRSP, Triangle (definition)
History
- 2026-11-02: add by m2/dev
T3R41NGFDJ T3R41NGFDJ
| URI | m2://inv/T3R41NGFDJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20678#XN6C (statement)
History
- 2026-11-02: add by m2/v0.6.18
great triakis icosahedron T3R4SP9MY7
| URI | m2://inv/T3R4SP9MY7 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5600403, great triakis icosahedron (unknown). Also MathWorld GreatTriakisIcosahedron
- wikipedia: Wikipedia Great triakis icosahedron, Great triakis icosahedron (object). Also Wikidata Q5600403
History
- 2026-10-26: add by m2/dev
Stochastic differential equation T3R5JGSPA0
| URI | m2://inv/T3R5JGSPA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#3TSE, Stochastic differential equation (definition)
- wikipedia: Wikipedia List of statistics articles#9MM2, Stochastic differential equation (definition)
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#LZX9, Stochastic differential equation (definition)
History
- 2026-11-02: add by m2/dev
T3R5KQATF8 T3R5KQATF8
| URI | m2://inv/T3R5KQATF8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#LGOB (statement). In GWNT8HEZG1/e1, corollary 2.20
History
- 2026-10-27: add by m2/v0.3.6
T3R5WANPGD T3R5WANPGD
| URI | m2://inv/T3R5WANPGD |
|---|---|
| Kind | problem |
| 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.34011#YGNS (problem). In RAXRNDW2Z0/e1, problem 1
History
- 2026-10-30: add by m2/v0.4.12
retraction T3RMRHC1PV
| URI | m2://inv/T3RMRHC1PV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#RJKW, retraction (definition)
History
- 2026-11-02: add by m2/dev
T3RXER5KG8 T3RXER5KG8
| URI | m2://inv/T3RXER5KG8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#9VQN (definition). In 3A4K47Y9F2/e1, definition 2.17
History
- 2026-10-27: add by m2/v0.4.0
Leonhard Euler T3RYDT6MF7
| URI | m2://inv/T3RYDT6MF7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#JV1E, Leonhard Euler (topic)
- wikipedia: Wikipedia List of complex analysis topics#FSLH, Leonhard Euler (topic)
History
- 2026-11-02: add by m2/dev
Hardy–Ramanujan theorem T3S0X3VTKZ
| URI | m2://inv/T3S0X3VTKZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#7E3Z, Hardy–Ramanujan theorem (statement)
History
- 2026-11-02: add by m2/dev
Properties T3S5FYMKZS
| URI | m2://inv/T3S5FYMKZS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak topology#5ASO, Properties (statement)
History
- 2026-11-02: add by m2/dev
Varimax rotation T3S9HEP9VE
| URI | m2://inv/T3S9HEP9VE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YDG9, Varimax rotation (definition)
History
- 2026-11-02: add by m2/dev
Ordered lattice matching T3SBAXB201
| URI | m2://inv/T3SBAXB201 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28503#LOCZ, Ordered lattice matching (statement)
History
- 2026-11-01: add by m2/v0.6.15
Convergence in a gap T3SCP3ANM7
| URI | m2://inv/T3SCP3ANM7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#DT7G, Convergence in a gap (statement). In 65TJENWK7X/e1, proposition 30
History
- 2026-10-29: add by m2/v0.4.10
mod $6$ T3SKRQS9SB
| URI | m2://inv/T3SKRQS9SB |
|---|---|
| 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 2606.18859#O8QR, mod $6$ (statement). In EVRAASXEDY/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.4.0
T3SQCJ9AKH T3SQCJ9AKH
| URI | m2://inv/T3SQCJ9AKH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#4TGO (statement). In CY1FE8W1ZW/e1, lemma 0.172
History
- 2026-10-27: add by m2/v0.3.5
T3SVKBR2R4 T3SVKBR2R4
| URI | m2://inv/T3SVKBR2R4 |
|---|---|
| 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.29641#6SN3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Robert R. Jensen T3SXB9NXHE
| URI | m2://inv/T3SXB9NXHE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert R. Jensen, Robert R. Jensen (topic). Also Wikidata Q72274495
History
- 2026-11-02: add by m2/dev
grade T3SYQHVNXG
| URI | m2://inv/T3SYQHVNXG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#6H49, grade (definition)
History
- 2026-11-02: add by m2/dev
T3T5DJGT07 T3T5DJGT07
| URI | m2://inv/T3T5DJGT07 |
|---|---|
| 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 2011.06637#0BHN (statement). In KFCJ5CFP3G/e1, theorem 1.7
History
- 2026-10-27: add by m2/v0.3.5
Definition T3T9YTX0HN
| URI | m2://inv/T3T9YTX0HN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infrabarrelled space#5LB0, Definition (definition)
History
- 2026-11-02: add by m2/dev
T3TATFB8RP T3TATFB8RP
| URI | m2://inv/T3TATFB8RP |
|---|---|
| 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.36827#AKAO (statement). In VSHAQTB2CA/e1, lemma E.2
History
- 2026-10-30: add by m2/v0.4.12
Conditional invariance and reversibility T3TDZBFX9F
| URI | m2://inv/T3TDZBFX9F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16248#39X9, Conditional invariance and reversibility (statement). In TP61DYMBMK/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
Isolated point T3TNMCHDS6
| URI | m2://inv/T3TNMCHDS6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#FT2M, Isolated point (definition)
History
- 2026-11-02: add by m2/dev
Garside element T3TVC2KM2Z
| URI | m2://inv/T3TVC2KM2Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Garside element, Garside element (definition). Also Wikidata Q5524281
History
- 2026-11-02: add by m2/dev
Construction T3TZBENDMF
| URI | m2://inv/T3TZBENDMF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appert topology#53J7, Construction (definition)
History
- 2026-11-02: add by m2/dev
T3V2CD7GAR T3V2CD7GAR
| URI | m2://inv/T3V2CD7GAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#def:inverse (definition). In P1C114YBXG, definition, section D
History
- 2026-11-01: add by m2/v0.6.13
Algorithmic game theory T3V2QRJYG4
| URI | m2://inv/T3V2QRJYG4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic game theory, Algorithmic game theory (topic). Also Wikidata Q623221
History
- 2026-11-02: add by m2/dev
Crossbar theorem T3V4VQ393A
| URI | m2://inv/T3V4VQ393A |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5188510, Crossbar theorem (statement). Also Wikidata Q5188510
- thousand_plus: thousand_plus Q5188510, Crossbar theorem (statement). Also Wikidata Q5188510, Wikipedia Crossbar theorem
- wikipedia: Wikipedia Crossbar theorem, Crossbar theorem (statement). Also Wikidata Q5188510
History
- 2026-10-26: add by m2/dev
Infinite difference method T3V4XMHMRP
| URI | m2://inv/T3V4XMHMRP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite difference method, Infinite difference method (definition). Also Wikidata Q42310234
History
- 2026-11-02: add by m2/dev
Example T3V8Y739KF
| URI | m2://inv/T3V8Y739KF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intensity (measure theory)#D69O, Example (example)
History
- 2026-11-02: add by m2/dev
Abstract row-regularity condition T3VFJKDBRM
| URI | m2://inv/T3VFJKDBRM |
|---|---|
| Kind | definition |
| 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.04357#BDW8, Abstract row-regularity condition (definition). In 6FY8BVP1F3/e1, definition C.2
History
- 2026-10-29: add by m2/v0.4.12
Examples T3VHS4NMPX
| URI | m2://inv/T3VHS4NMPX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia *-algebra#NF8Y, Examples (example)
History
- 2026-11-02: add by m2/dev
T3VW4HCPN3 T3VW4HCPN3
| URI | m2://inv/T3VW4HCPN3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28412#TF4K (statement)
History
- 2026-11-01: add by m2/v0.6.15
Time spent listening T3VYQY3D3D
| URI | m2://inv/T3VYQY3D3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time spent listening, Time spent listening (definition). Also Wikidata Q7805435
History
- 2026-11-02: add by m2/dev
T3W0T1VMCP T3W0T1VMCP
| URI | m2://inv/T3W0T1VMCP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25656#U8JF (definition)
History
- 2026-11-01: add by m2/v0.6.15
Asynchronous} expansion rate estimate for the reparametrized flow T3W8QKZ4W9
| URI | m2://inv/T3W8QKZ4W9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.10051#77F1, Asynchronous} expansion rate estimate for the reparametrized flow (statement). In VCHH2AC34R/e1, proposition 3.12
History
- 2026-10-29: add by m2/v0.4.10
truth-tree T3WB0K1GNM
| URI | m2://inv/T3WB0K1GNM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#I87C, truth-tree (definition)
History
- 2026-11-02: add by m2/dev
Non-Examples of groups T3WCH6SSRX
| URI | m2://inv/T3WCH6SSRX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#example-3, Non-Examples of groups (example). In RZP28ERRZV, example, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Binomial transform T3WGEGHFW8
| URI | m2://inv/T3WGEGHFW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial transform, Binomial transform (definition). Also Wikidata Q2604449
History
- 2026-11-02: add by m2/dev
Results T3WHEWSS7C
| URI | m2://inv/T3WHEWSS7C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Step response#91FA, Results (statement)
History
- 2026-11-02: add by m2/dev
T3WJHS9H5M T3WJHS9H5M
| URI | m2://inv/T3WJHS9H5M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/stagesbasics.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 75.1
History
- 2026-11-01: add by m2/v0.6.13
T3WP839NMP T3WP839NMP
| URI | m2://inv/T3WP839NMP |
|---|---|
| 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.10736#4U6Q (statement). In NCYKB4QG5P/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.3
Integral pendant-edge splitting T3WRT2GPTM
| URI | m2://inv/T3WRT2GPTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-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.04305#GCWP, Integral pendant-edge splitting (statement). In Y1DR0DPWD0/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
T3WS414CS6 T3WS414CS6
| URI | m2://inv/T3WS414CS6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39593#4414 (statement). In BF0RYHPMS1/e1, corollary
History
- 2026-10-30: add by m2/v0.4.12
History of value theory T3WTNM069Y
| URI | m2://inv/T3WTNM069Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Value theory#UO72, History of value theory (unknown)
History
- 2026-11-02: add by m2/dev
Half-angle formula T3WV6VBPX6
| URI | m2://inv/T3WV6VBPX6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of trigonometric identities#C306, Half-angle formula (unknown)
History
- 2026-11-02: add by m2/dev
Xavier Tolsa T3WZ2KF8VW
| URI | m2://inv/T3WZ2KF8VW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Xavier Tolsa, Xavier Tolsa (topic). Also Wikidata Q2597844
History
- 2026-11-02: add by m2/dev
Cauchy momentum equation T3X036ZMRX
| URI | m2://inv/T3X036ZMRX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy momentum equation, Cauchy momentum equation (definition). Also Wikidata Q4178434
History
- 2026-11-02: add by m2/dev
T3X0W26QEK T3X0W26QEK
| URI | m2://inv/T3X0W26QEK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/recursion.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 74.5
History
- 2026-11-01: add by m2/v0.6.13
Refined mean T3X15Q12F9
| URI | m2://inv/T3X15Q12F9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06875#8QUZ, Refined mean (statement). In ZDT5J9KQVQ/e1, lemma D.4
History
- 2026-10-29: add by m2/v0.4.10
Andrée Ehresmann T3X30ST24J
| URI | m2://inv/T3X30ST24J |
|---|---|
| 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 Q2848943, Andrée Ehresmann (unknown). Also nLab Andree Ehresmann
- wikipedia: Wikipedia Andrée Ehresmann, Andrée Ehresmann (topic). Also Wikidata Q2848943
History
- 2026-10-26: add by m2/dev
Regular representation T3X4SWXCQ4
| URI | m2://inv/T3X4SWXCQ4 |
|---|---|
| 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.13429#O104, Regular representation (statement). In B2VB5T5WQD/e1, fact 2.8
History
- 2026-10-28: add by m2/v0.4.2
William Allen Whitworth T3XA38Y2ZQ
| URI | m2://inv/T3XA38Y2ZQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Allen Whitworth, William Allen Whitworth (topic). Also Wikidata Q8004365
History
- 2026-11-02: add by m2/dev
T3XCNH9J6N T3XCNH9J6N
| URI | m2://inv/T3XCNH9J6N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#6FFH (statement). In GWNT8HEZG1/e1, proposition 4.16
History
- 2026-10-27: add by m2/v0.3.6
T3XD5PGHSV T3XD5PGHSV
| URI | m2://inv/T3XD5PGHSV |
|---|---|
| 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 2205.06433#MHHA (statement). In 628PJKD3EV/e1, corollary 2.12
History
- 2026-10-27: add by m2/v0.3.5
Splitting of a retraction in a stable category T3XF9R9QPY
| URI | m2://inv/T3XF9R9QPY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 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 2610.03865#RJP5, Splitting of a retraction in a stable category (statement). In G3D1YR20BJ/e1, lemma 3.21
History
- 2026-10-29: add by m2/v0.4.12
T3XKMTRDYW T3XKMTRDYW
| URI | m2://inv/T3XKMTRDYW |
|---|---|
| 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.01915#CRPC (statement). In 6HJQXZS0A6/e1, lemma 4.11
History
- 2026-10-29: add by m2/v0.4.12
Quadrat T3XT2XKPCX
| URI | m2://inv/T3XT2XKPCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#N7LZ, Quadrat (definition)
History
- 2026-11-02: add by m2/dev
Definition 1 T3XYK2CXHE
| URI | m2://inv/T3XYK2CXHE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unitary operator#FL4Q, Definition 1 (definition)
History
- 2026-11-02: add by m2/dev
Benford's law T3XZ35E4TE
| URI | m2://inv/T3XZ35E4TE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q817168, Benford's law (unknown). Also MathWorld BenfordsLaw
- wikipedia: Wikipedia Benford's law, Benford's law (statement). Also Wikidata Q817168
History
- 2026-10-26: add by m2/dev
T3Y1EM3Z3F T3Y1EM3Z3F
| URI | m2://inv/T3Y1EM3Z3F |
|---|---|
| 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.15877#TAMS (statement). In F3W750X9N6/e1, lemma A.4
History
- 2026-10-28: add by m2/v0.4.2
Formal definition T3Y7HAQW9T
| URI | m2://inv/T3Y7HAQW9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive identity#G1SG, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Theorem T3Y8XCEH8Z
| URI | m2://inv/T3Y8XCEH8Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sublinear function#E0LC, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Pierre Weiss T3YBAX60VC
| URI | m2://inv/T3YBAX60VC |
|---|---|
| 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#72QD, Pierre Weiss (unknown)
History
- 2026-11-02: add by m2/dev
T3YBFV4SCE T3YBFV4SCE
| URI | m2://inv/T3YBFV4SCE |
|---|---|
| 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.12169#MWIP (statement). In 645GF9SFWM/e1, theorem 24
History
- 2026-10-28: add by m2/v0.4.2
Chi-Wang Shu T3YDZVYTAS
| URI | m2://inv/T3YDZVYTAS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MXMD, Chi-Wang Shu (unknown)
- wikipedia: Wikipedia List of numerical analysis topics#CEG1, Chi-Wang Shu (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SZST, Chi-Wang Shu (unknown)
History
- 2026-11-02: add by m2/dev
T3YQ0SNC4W T3YQ0SNC4W
| URI | m2://inv/T3YQ0SNC4W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.19468#TG4F (statement). In EY54F2SX08/e1, proposition 6.4
History
- 2026-10-27: add by m2/v0.3.5
Vanishing of the linear parameter correction T3YRA84JE1
| URI | m2://inv/T3YRA84JE1 |
|---|---|
| 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.23145#9T64, Vanishing of the linear parameter correction (statement)
History
- 2026-11-02: add by m2/v0.6.17
William Wales T3YSK77J7P
| URI | m2://inv/T3YSK77J7P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Wales (astronomer), William Wales (topic). Also Wikidata Q432189
History
- 2026-11-02: add by m2/dev
T3Z2FY01H7 T3Z2FY01H7
| URI | m2://inv/T3Z2FY01H7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22247#R78O (statement). In SBNH1MWND8/e1, lemma 6
History
- 2026-10-27: add by m2/v0.4.0
deformation quantization T3Z4WMJMD5
| URI | m2://inv/T3Z4WMJMD5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry#NAYM, deformation quantization (definition)
History
- 2026-11-02: add by m2/dev
Examples T3Z6BJMR4J
| URI | m2://inv/T3Z6BJMR4J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multilinear form#FTOZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Theorem T3ZKS44P1Z
| URI | m2://inv/T3ZKS44P1Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov complexity#N60W, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Integer circuit T3ZPP5QZHG
| URI | m2://inv/T3ZPP5QZHG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer circuit, Integer circuit (definition). Also Wikidata Q6042585
History
- 2026-11-02: add by m2/dev
T3ZSRNCKE3 T3ZSRNCKE3
| URI | m2://inv/T3ZSRNCKE3 |
|---|---|
| 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.14217#WHOQ (statement). In K0DHYQC5B7/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
T3ZZM25T4K T3ZZM25T4K
| URI | m2://inv/T3ZZM25T4K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#4F2R (definition). In F3BKXXPR3K/e1, definition 3.47
History
- 2026-10-27: add by m2/v0.4.2