Inventory rows 1T
The cards of the rows of the inventory whose ids start with 1T. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Bayesian average 1T03CYDJKR
| URI | m2://inv/1T03CYDJKR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian average, Bayesian average (definition). Also Wikidata Q25098598
History
- 2026-11-02: add by m2/dev
Charles F. Dunkl 1T03J9ACFN
| URI | m2://inv/1T03J9ACFN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#9XX5, Charles F. Dunkl (topic)
History
- 2026-11-02: add by m2/dev
1T05BAQDJY 1T05BAQDJY
| URI | m2://inv/1T05BAQDJY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08655#M968 (statement). In ZT7H1ZDN96/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Axi-symmetric 1T07YVFAJR
| URI | m2://inv/1T07YVFAJR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular symmetry#DAIO, Axi-symmetric (unknown)
History
- 2026-11-02: add by m2/dev
Concentration of the scalar coordinate 1T0HXPR0CS
| URI | m2://inv/1T0HXPR0CS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17946#OMRC, Concentration of the scalar coordinate (statement). In A7HTYWJNCX/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Appeal to probability 1T0K040S3E
| URI | m2://inv/1T0K040S3E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#1ODB, Appeal to probability (definition)
History
- 2026-11-02: add by m2/dev
1T0K23CBCF 1T0K23CBCF
| URI | m2://inv/1T0K23CBCF |
|---|---|
| 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.10243#9AXP (statement). In 6N7EAD1PYD/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
1T0PT7QF0M 1T0PT7QF0M
| URI | m2://inv/1T0PT7QF0M |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#0UTX (unknown). In 4YJH4FPWDA/e1, unknown 4.10
History
- 2026-10-30: add by m2/v0.4.12
1T0TCHBDE2 1T0TCHBDE2
| URI | m2://inv/1T0TCHBDE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2104.08176#A0LN (statement). In SYGR43673J/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
1T0YKC914R 1T0YKC914R
| URI | m2://inv/1T0YKC914R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01433#2BXM (statement). In 160PQ7F1AS/e1, lemma 3.11
History
- 2026-10-29: add by m2/v0.4.12
Tensor spectral calculus 1T17TBAVBP
| URI | m2://inv/1T17TBAVBP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22109#Z8BE, Tensor spectral calculus (statement). In MZ60NP20BH/e1, proposition 2.10
History
- 2026-10-27: add by m2/v0.4.0
Phrygia Pacatiana Prima 1T1GRFSEJC
| URI | m2://inv/1T1GRFSEJC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#575X, Phrygia Pacatiana Prima (unknown)
History
- 2026-11-02: add by m2/dev
Stability under rescaling 1T1X3MATA9
| URI | m2://inv/1T1X3MATA9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34675#VFG1, Stability under rescaling (statement). In C93BAXKJVD/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
Examples 1T20FRHB9A
| URI | m2://inv/1T20FRHB9A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct limit of groups#4IJ9, Examples (example)
History
- 2026-11-02: add by m2/dev
1T214G0JQ6 1T214G0JQ6
| URI | m2://inv/1T214G0JQ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#defn-10 (definition). In E59CDZA4DP, defn, section 4.3.1
History
- 2026-11-01: add by m2/v0.6.13
Finite-order realization 1T260QYZNW
| URI | m2://inv/1T260QYZNW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26318#M2A8, Finite-order realization (statement)
History
- 2026-11-01: add by m2/v0.6.15
Third Man Argument 1T2F7HY0Q6
| URI | m2://inv/1T2F7HY0Q6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parmenides (dialogue)#CIWJ, Third Man Argument (unknown)
History
- 2026-11-02: add by m2/dev
1T2MGPXM30 1T2MGPXM30
| URI | m2://inv/1T2MGPXM30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40028#PJ15 (statement). In N8TDKGGC7S/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
1T2TNT9T69 1T2TNT9T69
| URI | m2://inv/1T2TNT9T69 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/important-sets.tex#ex-1 (example). In PKGMM3P5QY, ex, section 82.4
History
- 2026-11-01: add by m2/v0.6.13
Constructions 1T2XY96TT2
| URI | m2://inv/1T2XY96TT2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic quadrilateral#FAT3, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Examples 1T3676FZDD
| URI | m2://inv/1T3676FZDD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irreducible ideal#F6I7, Examples (example)
History
- 2026-11-02: add by m2/dev
Statement of the theorem 1T36VR8WFZ
| URI | m2://inv/1T36VR8WFZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dawson–Gärtner theorem#08LD, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Dienes, Zoltán Pál 1T382DAFNQ
| URI | m2://inv/1T382DAFNQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#A6MW, Dienes, Zoltán Pál (topic)
History
- 2026-11-02: add by m2/dev
1T3HTR2WD6 1T3HTR2WD6
| URI | m2://inv/1T3HTR2WD6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08052#WMA5 (statement). In 672XAVEQ34/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.10
Zero-sum bias 1T3VGBXX5N
| URI | m2://inv/1T3VGBXX5N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#QSBN, Zero-sum bias (unknown)
History
- 2026-11-02: add by m2/dev
1T3VKM0DHR 1T3VKM0DHR
| URI | m2://inv/1T3VKM0DHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-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.14278#G1HU (statement). In RTE2C0PH4S/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
1T3YX4TW2C 1T3YX4TW2C
| URI | m2://inv/1T3YX4TW2C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-2.xml#activity-3 (exercise). In 649HGZKE96, activity, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
Reflectionless closure 1T487T48YZ
| URI | m2://inv/1T487T48YZ |
|---|---|
| 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.19416#UYVV, Reflectionless closure (statement). In TJVWQ0ZSGY/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Phil Edwards 1T4ANGM36Z
| URI | m2://inv/1T4ANGM36Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phil Edwards (statistician), Phil Edwards (topic). Also Wikidata Q126007626
History
- 2026-11-02: add by m2/dev
Properties 1T4HCDXGJP
| URI | m2://inv/1T4HCDXGJP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring of integers#7S9U, Properties (statement)
History
- 2026-11-02: add by m2/dev
1T4J2B31ZN 1T4J2B31ZN
| URI | m2://inv/1T4J2B31ZN |
|---|---|
| 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 2411.17227#BK3I (statement). In DDNP38CHQJ/e1, corollary 5.6
History
- 2026-10-27: add by m2/v0.3.5
Frobenius inner product 1T4J6FN8A8
| URI | m2://inv/1T4J6FN8A8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius inner product, Frobenius inner product (definition). Also Wikidata Q15810826
History
- 2026-11-02: add by m2/dev
1T4MVDGBFT 1T4MVDGBFT
| URI | m2://inv/1T4MVDGBFT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/preliminaries.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 62.6
History
- 2026-11-01: add by m2/v0.6.13
1T4W0QEEHW 1T4W0QEEHW
| URI | m2://inv/1T4W0QEEHW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13792#PLUF (definition). In ZH0PFTZ12Y/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
Almost-sure convergence 1T55J7JN71
| URI | m2://inv/1T55J7JN71 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13916#87HW, Almost-sure convergence (statement). In JS2JSD0507/e1, corollary 3.8
History
- 2026-10-28: add by m2/v0.4.2
1T56P466XP 1T56P466XP
| URI | m2://inv/1T56P466XP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 92.3
History
- 2026-11-01: add by m2/v0.6.13
Properties 1T5AC6HG1X
| URI | m2://inv/1T5AC6HG1X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interleave sequence#51QG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Statement 1T5BS8VSQN
| URI | m2://inv/1T5BS8VSQN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Young's inequality for integral operators#BA6G, Statement (statement)
History
- 2026-11-02: add by m2/dev
Some PST theorems 1T5H2GPM3E
| URI | m2://inv/1T5H2GPM3E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pocket set theory#XDW6, Some PST theorems (statement)
History
- 2026-11-02: add by m2/dev
1T5TR9JQ6Y 1T5TR9JQ6Y
| URI | m2://inv/1T5TR9JQ6Y |
|---|---|
| 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 2610.10643#SWY2 (statement). In 1FJSQAGF8R/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.3
Proposition 1T62WS1EXS
| URI | m2://inv/1T62WS1EXS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product category#B0RC, Proposition (statement)
History
- 2026-11-02: add by m2/dev
1T64J03GV2 1T64J03GV2
| URI | m2://inv/1T64J03GV2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24314#IXXT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Box–Cox transformation 1T67V3QKCX
| URI | m2://inv/1T67V3QKCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VFDF, Box–Cox transformation (definition)
History
- 2026-11-02: add by m2/dev
Integer 1T6GA5VJ6T
| URI | m2://inv/1T6GA5VJ6T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#NKJ7, Integer (definition)
History
- 2026-11-02: add by m2/dev
Examples 1T6J6YYBQ5
| URI | m2://inv/1T6J6YYBQ5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Series multisection#64GY, Examples (example)
History
- 2026-11-02: add by m2/dev
Prym variety 1T6Q64P202
| URI | m2://inv/1T6Q64P202 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic constructions#FCUJ, Prym variety (definition)
History
- 2026-11-02: add by m2/dev
Monsky's theorem 1T6WD86EGZ
| URI | m2://inv/1T6WD86EGZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equidissection#9C8C, Monsky's theorem (statement)
History
- 2026-11-02: add by m2/dev
étale 1T6ZNX3WK8
| URI | m2://inv/1T6ZNX3WK8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#C1YF, étale (definition)
History
- 2026-11-02: add by m2/dev
Simon Sheather 1T73VV361K
| URI | m2://inv/1T73VV361K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simon Sheather, Simon Sheather (topic). Also Wikidata Q107488407
History
- 2026-11-02: add by m2/dev
1T79CFS0N8 1T79CFS0N8
| URI | m2://inv/1T79CFS0N8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20900#GLLP (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications 1T79T468JV
| URI | m2://inv/1T79T468JV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Support vector machine#1M54, Applications (example)
History
- 2026-11-02: add by m2/dev
Harder–Narasimhan stratification 1T7JJAFC27
| URI | m2://inv/1T7JJAFC27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harder–Narasimhan stratification, Harder–Narasimhan stratification (definition). Also Wikidata Q60790229
History
- 2026-11-02: add by m2/dev
Euler's theorem 1T7QM8Q9NB
| URI | m2://inv/1T7QM8Q9NB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 5 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Euler's theorem 0VC4DVE7DQ |
Mentions
- mathlib_100: mathlib_100 10, Euler’s Generalization of Fermat’s Little Theorem (statement). Also Mathlib Nat.ModEq.pow_totient
- mathlib_1000: mathlib_1000 Q193910, Euler's theorem (statement). Also Mathlib Nat.ModEq.pow_totient, Wikidata Q193910
- thousand_plus: thousand_plus Q193910, Euler's theorem (statement). Also Mathlib Nat.ModEq.pow_totient, Wikidata Q193910, Wikipedia Euler's theorem
- wikidata: Wikidata Q193910, Euler's theorem (statement). Also MathWorld EulersTotientTheorem
- wikipedia: Wikipedia Euler's theorem, Euler's theorem (statement). Also Wikidata Q193910
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
1T7SS09YPD 1T7SS09YPD
| URI | m2://inv/1T7SS09YPD |
|---|---|
| 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.24399#H8OO (definition)
History
- 2026-11-01: add by m2/v0.6.15
Conditional local recovery of a cluster aggregate 1T7YKZVD0E
| URI | m2://inv/1T7YKZVD0E |
|---|---|
| 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.21301#CR7U, Conditional local recovery of a cluster aggregate (statement). In W7GCDXAK1K/e1, proposition 9
History
- 2026-10-27: add by m2/v0.4.2
1T83020VS1 1T83020VS1
| URI | m2://inv/1T83020VS1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#3AMR (statement). In 1QSCT53ZED/e1, proposition 5.10
History
- 2026-10-27: add by m2/v0.4.0
Geodesic Wasserstein distance 1T8AB84HDS
| URI | m2://inv/1T8AB84HDS |
|---|---|
| Kind | definition |
| 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.11834#S1Y9, Geodesic Wasserstein distance (definition). In SMC03CWP4R/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.3
1T8BQHJA5G 1T8BQHJA5G
| URI | m2://inv/1T8BQHJA5G |
|---|---|
| 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.18600#G4CV (statement). In 31D6TQVCNZ/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Mendel--Naor 1T8TJYVV8N
| URI | m2://inv/1T8TJYVV8N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21445#U0GM, Mendel--Naor (definition). In 6XM9AETJT7/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.4.2
Expected-budget lower bound 1T8VFH33D7
| URI | m2://inv/1T8VFH33D7 |
|---|---|
| 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.05038#UQ3E, Expected-budget lower bound (statement). In CR237YRBJW/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
Generalizations 1T8W2VA3Y5
| URI | m2://inv/1T8W2VA3Y5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Askey–Gasper inequality#74MU, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Fatou–Lebesgue theorem 1T9CNTCTRY
| URI | m2://inv/1T9CNTCTRY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#TFM0, Fatou–Lebesgue theorem (statement)
History
- 2026-11-02: add by m2/dev
Małgorzata Klimek 1T9EFYXY63
| URI | m2://inv/1T9EFYXY63 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Małgorzata Klimek, Małgorzata Klimek (topic). Also Wikidata Q23750656
History
- 2026-11-02: add by m2/dev
Properties 1T9MTJ92JY
| URI | m2://inv/1T9MTJ92JY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kronecker product#0JUW, Properties (statement)
History
- 2026-11-02: add by m2/dev
Récoltes et semailles 1T9NHPC1AQ
| URI | m2://inv/1T9NHPC1AQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Grothendieck#NHMR, Récoltes et semailles (unknown)
History
- 2026-11-02: add by m2/dev
Branching process 1T9RQDTTSW
| URI | m2://inv/1T9RQDTTSW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Branching process, Branching process (definition). Also Wikidata Q4109953
History
- 2026-11-02: add by m2/dev
1T9SF4BCYR 1T9SF4BCYR
| URI | m2://inv/1T9SF4BCYR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38206#5B7J (statement). In F71MS1F637/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
George Roussas 1T9TAWT3ZH
| URI | m2://inv/1T9TAWT3ZH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Roussas, George Roussas (topic). Also Wikidata Q102173942
History
- 2026-11-02: add by m2/dev
1T9TZ50WJK 1T9TZ50WJK
| URI | m2://inv/1T9TZ50WJK |
|---|---|
| Kind | problem |
| 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 2607.28337#Z32V (problem). In 7ZJFWBTBKM/e1, problem 1
History
- 2026-10-27: add by m2/v0.3.6
Desargues configuration 1T9V647S8G
| URI | m2://inv/1T9V647S8G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Desargues configuration 3R2VHPXXWS |
Mentions
- wikidata: Wikidata Q15720456, Desargues configuration (concept). Also MathWorld DesarguesConfiguration
- wikipedia: Wikipedia Desargues configuration, Desargues configuration (definition). Also Wikidata Q15720456
History
- 2026-10-26: add by m2/dev
Definition 1TA8AGRBQS
| URI | m2://inv/1TA8AGRBQS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A/B testing#4ORZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Preferential looking 1TACSA9V2P
| URI | m2://inv/1TACSA9V2P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preferential looking, Preferential looking (definition). Also Wikidata Q7239833
History
- 2026-11-02: add by m2/dev
Sanfords Four Corners, New York 1TADBAPAZD
| URI | m2://inv/1TADBAPAZD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#KHFP, Sanfords Four Corners, New York (unknown)
History
- 2026-11-02: add by m2/dev
Classifying space for SO(n) 1TAJHZM7H9
| URI | m2://inv/1TAJHZM7H9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classifying space for SO(n), Classifying space for SO(n) (definition). Also Wikidata Q124846096
History
- 2026-11-02: add by m2/dev
Symmetry 1TARK0XD8S
| URI | m2://inv/1TARK0XD8S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear partial differential equation#T6BN, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
1TAY5HN119 1TAY5HN119
| URI | m2://inv/1TAY5HN119 |
|---|---|
| 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.20495#TH6P (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications 1TB773AZY6
| URI | m2://inv/1TB773AZY6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BRS-inequality#BWOU, Applications (example)
History
- 2026-11-02: add by m2/dev
Interpretability logic 1TB7FRVHXE
| URI | m2://inv/1TB7FRVHXE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interpretability logic, Interpretability logic (definition). Also Wikidata Q6056451
History
- 2026-11-02: add by m2/dev
Holger Bech Nielsen 1TBFMYBER3
| URI | m2://inv/1TBFMYBER3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#FTHL, Holger Bech Nielsen (unknown)
History
- 2026-11-02: add by m2/dev
1TBNQS8K8Y 1TBNQS8K8Y
| URI | m2://inv/1TBNQS8K8Y |
|---|---|
| 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.15700#GNQI (statement). In S95MSZ7MDR/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
1TBYGJGFN2 1TBYGJGFN2
| URI | m2://inv/1TBYGJGFN2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/simple-S5.tex#ex-1 (example). In PKGMM3P5QY, ex, section 55.11
History
- 2026-11-01: add by m2/v0.6.13
Gennadi Sardanashvily 1TC4C6EFJT
| URI | m2://inv/1TC4C6EFJT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4408552, Gennadi Sardanashvily (unknown). Also nLab Gennadi Sardanashvily
History
- 2026-10-26: add by m2/dev
Quantum action principles 1TC579QRCH
| URI | m2://inv/1TC579QRCH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Action principles#UGDE, Quantum action principles (statement)
History
- 2026-11-02: add by m2/dev
Geoff Sutcliffe 1TC5YDRZ29
| URI | m2://inv/1TC5YDRZ29 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geoff Sutcliffe, Geoff Sutcliffe (topic). Also Wikidata Q5534338
History
- 2026-11-02: add by m2/dev
1TCJ947ZR6 1TCJ947ZR6
| URI | m2://inv/1TCJ947ZR6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#proof-6 (proof). In E59CDZA4DP, proof, section 7.2.2
History
- 2026-11-01: add by m2/v0.6.13
1TCMDS447B 1TCMDS447B
| URI | m2://inv/1TCMDS447B |
|---|---|
| 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.06206#F747 (statement). In A7611PTXVQ/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.10
Total order 1TCYV996Q7
| URI | m2://inv/1TCYV996Q7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order structures in mathematics#R79T, Total order (definition)
History
- 2026-11-02: add by m2/dev
Deterministic rendezvous problem 1TD1XWYYME
| URI | m2://inv/1TD1XWYYME |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deterministic rendezvous problem, Deterministic rendezvous problem (problem). Also Wikidata Q28406537
History
- 2026-11-02: add by m2/dev
1TDAZ1MW4K 1TDAZ1MW4K
| URI | m2://inv/1TDAZ1MW4K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.26169#30MX (statement). In Q46QV3B0NF/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.5
1TDBMX0T2V 1TDBMX0T2V
| URI | m2://inv/1TDBMX0T2V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.07644#GM7W (statement). In TFAN2DR6FD/e1, proposition 19
History
- 2026-10-27: add by m2/v0.3.5
Basic properties of Lindbladians 1TDC1PKSKZ
| URI | m2://inv/1TDC1PKSKZ |
|---|---|
| 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.12017#44PK, Basic properties of Lindbladians (statement). In WW04MP0NAZ/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.3
1TDJPGNVBZ 1TDJPGNVBZ
| URI | m2://inv/1TDJPGNVBZ |
|---|---|
| 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.21535#QPE9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
1TDK9JPHMC 1TDK9JPHMC
| URI | m2://inv/1TDK9JPHMC |
|---|---|
| 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.05184#588L (statement). In JK425E1F77/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
Generalization 1TDPXV9ZGC
| URI | m2://inv/1TDPXV9ZGC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cochran's C test#PARL, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Ergodicity: existence, uniqueness, exponential convergence 1TDTN5M1VZ
| URI | m2://inv/1TDTN5M1VZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37944#K850, Ergodicity: existence, uniqueness, exponential convergence (statement). In KP94WJVJXY/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
1TDX3CYKFD 1TDX3CYKFD
| URI | m2://inv/1TDX3CYKFD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35682#6HZ9 (example). In 7XM8WXVBWK/e1, example 4.10
History
- 2026-10-30: add by m2/v0.4.12
1TDYXZ9BQ6 1TDYXZ9BQ6
| URI | m2://inv/1TDYXZ9BQ6 |
|---|---|
| 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.20593#0QOC (statement). In 7GMD8J4200/e1, corollary 14
History
- 2026-10-27: add by m2/v0.4.2
1TEBD09B22 1TEBD09B22
| URI | m2://inv/1TEBD09B22 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.12009#4J8V (definition). In DNAN4SV8AM/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
greedy 1TEEV0E96J
| URI | m2://inv/1TEEV0E96J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#FA7X, greedy (definition)
History
- 2026-11-02: add by m2/dev
Examples 1TEPPMH94X
| URI | m2://inv/1TEPPMH94X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Essential range#QZMU, Examples (example)
History
- 2026-11-02: add by m2/dev
Envelopes of Prescribed Shape 1TERH5E7BF
| URI | m2://inv/1TERH5E7BF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13222#F010, Envelopes of Prescribed Shape (statement). In Z6WA2R0J50/e1, lemma E.2
History
- 2026-10-28: add by m2/v0.4.2
1TEW2V1K88 1TEW2V1K88
| URI | m2://inv/1TEW2V1K88 |
|---|---|
| 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.26438#DQ6T (statement)
History
- 2026-11-01: add by m2/v0.6.15
7000 1TEWYY82KR
| URI | m2://inv/1TEWYY82KR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 7000 (number), 7000 (definition). Also Wikidata Q1142538
History
- 2026-11-02: add by m2/dev
Properties 1TF2GA3BEC
| URI | m2://inv/1TF2GA3BEC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hecke algebra of a pair#CYWO, Properties (statement)
History
- 2026-11-02: add by m2/dev
Smooth maximum 1TF3TJD9T4
| URI | m2://inv/1TF3TJD9T4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smooth maximum, Smooth maximum (definition). Also Wikidata Q25098823
History
- 2026-11-02: add by m2/dev
Thurston's geometrization theorem 1TFK4S1CG3
| URI | m2://inv/1TFK4S1CG3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#MO0T, Thurston's geometrization theorem (statement)
History
- 2026-11-02: add by m2/dev
Properties 1TFYA4XCSP
| URI | m2://inv/1TFYA4XCSP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohomotopy set#PSQV, Properties (statement)
History
- 2026-11-02: add by m2/dev
1TFYN1ZVF4 1TFYN1ZVF4
| URI | m2://inv/1TFYN1ZVF4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#ISM2 (definition). In 7V3HG30ZGW/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.4.0
Properties 1TG7SB2YE0
| URI | m2://inv/1TG7SB2YE0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Π-calculus#JJZT, Properties (statement)
History
- 2026-11-02: add by m2/dev
Gimel function 1TGF5K2EQP
| URI | m2://inv/1TGF5K2EQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gimel function, Gimel function (definition). Also Wikidata Q3511204
History
- 2026-11-02: add by m2/dev
1TGHRRN33N 1TGHRRN33N
| URI | m2://inv/1TGHRRN33N |
|---|---|
| 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 2606.00589#WX2O (statement). In C8JAGP8VCQ/e1, lemma 2.15
History
- 2026-10-27: add by m2/v0.3.5
Normal form theorem 1TGJ4WM90V
| URI | m2://inv/1TGJ4WM90V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene's T predicate#JHQ0, Normal form theorem (statement)
History
- 2026-11-02: add by m2/dev
1TH587AC3Z 1TH587AC3Z
| URI | m2://inv/1TH587AC3Z |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/provability-consistency.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 22.7
History
- 2026-11-01: add by m2/v0.6.13
Texture atlas 1TH5VCC5D2
| URI | m2://inv/1TH5VCC5D2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#6L35, Texture atlas (unknown)
History
- 2026-11-02: add by m2/dev
coordinate 1THCZQ939R
| URI | m2://inv/1THCZQ939R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3250736, coordinate (unknown). Also MathWorld Coordinates
History
- 2026-10-26: add by m2/dev
1THFPQ0GE2 1THFPQ0GE2
| URI | m2://inv/1THFPQ0GE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.16022#BD17 (statement). In QG9ATXTKJ6/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Matrix population models 1THR8NV2XG
| URI | m2://inv/1THR8NV2XG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix population models, Matrix population models (definition). Also Wikidata Q4284947
History
- 2026-11-02: add by m2/dev
Choice of the parameters 1THRZ0S491
| URI | m2://inv/1THRZ0S491 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32710#E5O6, Choice of the parameters (statement). In KVYG6R7CGJ/e1, lemma 4.6
History
- 2026-10-31: add by m2/v0.5.6
1THSRXPE8F 1THSRXPE8F
| URI | m2://inv/1THSRXPE8F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-92 (exercise). In E9HS8K3A52, exercise, section 5.7.1
History
- 2026-11-01: add by m2/v0.6.13
1THZ7XJDSJ 1THZ7XJDSJ
| URI | m2://inv/1THZ7XJDSJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:weierstrassfactorization (exercise). In VNMV985MXX, exercise, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
Unisolvent functions 1TJ0ZGJS1G
| URI | m2://inv/1TJ0ZGJS1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unisolvent functions, Unisolvent functions (definition). Also Wikidata Q7887012
History
- 2026-11-02: add by m2/dev
Passa Quatro 1TJ329KSHC
| URI | m2://inv/1TJ329KSHC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#OPOJ, Passa Quatro (unknown)
History
- 2026-11-02: add by m2/dev
1TJF371QCJ 1TJF371QCJ
| URI | m2://inv/1TJF371QCJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-13 (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
1TJKK9SKP9 1TJKK9SKP9
| URI | m2://inv/1TJKK9SKP9 |
|---|---|
| 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.21868#MFKQ (statement). In WWAQEF0093/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.4.2
1TK16V8KDR 1TK16V8KDR
| URI | m2://inv/1TK16V8KDR |
|---|---|
| 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.19273#OBKB (statement). In T3BY4TXYT4/e1, corollary 1.17
History
- 2026-10-28: add by m2/v0.4.2
1TK32WY2YY 1TK32WY2YY
| URI | m2://inv/1TK32WY2YY |
|---|---|
| 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 2407.04161#H73O (statement). In JBZJ7NPQ4G/e1, proposition 6.3
History
- 2026-10-27: add by m2/v0.4.0
1TK43FNMZ6 1TK43FNMZ6
| URI | m2://inv/1TK43FNMZ6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-17 (exercise). In VNMV985MXX, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Fundamental-cycle bags 1TK58C9N1K
| URI | m2://inv/1TK58C9N1K |
|---|---|
| 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.04660#D8EH, Fundamental-cycle bags (statement). In 8ABKBS4H0N/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Variations 1TK6S29MB6
| URI | m2://inv/1TK6S29MB6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theil–Sen estimator#JR7K, Variations (statement)
History
- 2026-11-02: add by m2/dev
1TKH40T30C 1TKH40T30C
| URI | m2://inv/1TKH40T30C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2610.09945#AJHO (definition). In V7VCEA0VAA/e1, definition 4.2
History
- 2026-10-29: add by m2/v0.4.10
1TKN1EEECP 1TKN1EEECP
| URI | m2://inv/1TKN1EEECP |
|---|---|
| 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 2609.26675#1ZDV (definition)
History
- 2026-11-01: add by m2/v0.6.15
1TKQQ0YGH7 1TKQQ0YGH7
| URI | m2://inv/1TKQQ0YGH7 |
|---|---|
| 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.27715#8JUZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Twentyfold way 1TKRPZ1EG8
| URI | m2://inv/1TKRPZ1EG8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twelvefold way#8BM9, Twentyfold way (unknown)
History
- 2026-11-02: add by m2/dev
field with one element 1TM1Z1PX72
| URI | m2://inv/1TM1Z1PX72 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Field with one element 9QP9ZAGH6T |
Mentions
- wikidata: Wikidata Q3654641, field with one element (unknown). Also nLab field with one element
- wikipedia: Wikipedia Field with one element, Field with one element (definition). Also Wikidata Q3654641
History
- 2026-10-26: add by m2/dev
universe 1TM215FP1W
| URI | m2://inv/1TM215FP1W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q597663, universe (concept). Also ProofWiki Definition:Universe_(Set_Theory)
- wikipedia: Wikipedia Universe (mathematics), Universe (definition). Also Wikidata Q597663
History
- 2026-10-26: add by m2/dev
Discrete differential geometry 1TM42K6T7C
| URI | m2://inv/1TM42K6T7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#QBOD, Discrete differential geometry (definition)
History
- 2026-11-02: add by m2/dev
1TM8VT8N9B 1TM8VT8N9B
| URI | m2://inv/1TM8VT8N9B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#IQSN (statement). In M4ZVJWM8YA/e1, lemma 5.25
History
- 2026-10-27: add by m2/v0.4.2
derived tensor product 1TMDZZ15DF
| URI | m2://inv/1TMDZZ15DF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q39046230, derived tensor product (unknown). Also nLab derived tensor product
- wikipedia: Wikipedia Derived tensor product, Derived tensor product (definition). Also Wikidata Q39046230
History
- 2026-10-26: add by m2/dev
Network automaton 1TMJJPGNDY
| URI | m2://inv/1TMJJPGNDY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#RJLF, Network automaton (definition)
History
- 2026-11-02: add by m2/dev
Generalized canonical correlation 1TMM0Q7AB2
| URI | m2://inv/1TMM0Q7AB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized canonical correlation, Generalized canonical correlation (definition). Also Wikidata Q2845196
History
- 2026-11-02: add by m2/dev
Applications 1TMM5CXSA9
| URI | m2://inv/1TMM5CXSA9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Three-valued logic#VX5P, Applications (example)
History
- 2026-11-02: add by m2/dev
Lie–Palais theorem 1TMT6EKSRP
| URI | m2://inv/1TMT6EKSRP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#3N3Q, Lie–Palais theorem (statement)
History
- 2026-11-02: add by m2/dev
1TNDDVXHJ6 1TNDDVXHJ6
| URI | m2://inv/1TNDDVXHJ6 |
|---|---|
| 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.07451#5C5M (statement). In P7KT88N75Q/e1, corollary 2.10
History
- 2026-10-29: add by m2/v0.4.10
Freudenthal's formula 1TNKR1ZRRC
| URI | m2://inv/1TNKR1ZRRC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl character formula#7ZW4, Freudenthal's formula (statement)
History
- 2026-11-02: add by m2/dev
1TNQZ1TH8C 1TNQZ1TH8C
| URI | m2://inv/1TNQZ1TH8C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25190#O607 (statement)
History
- 2026-11-01: add by m2/v0.6.15
edit region 1TNRZRRA39
| URI | m2://inv/1TNRZRRA39 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05696#327T, edit region (definition). In MG81A9XJTQ/e1, definition II.3
History
- 2026-10-29: add by m2/v0.4.10
1TNS7EG51W 1TNS7EG51W
| URI | m2://inv/1TNS7EG51W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#G8TW (statement). In 9DQKY7KGE8/e1, lemma C.18
History
- 2026-10-31: add by m2/v0.5.6
1TNVT2FGMG 1TNVT2FGMG
| URI | m2://inv/1TNVT2FGMG |
|---|---|
| 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.40054#H7WJ (statement). In CA4C9PFM1E/e1, theorem 4.2.6
History
- 2026-10-30: add by m2/v0.4.12
Applications 1TPB2QEAGA
| URI | m2://inv/1TPB2QEAGA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Onsager–Machlup function#6BJI, Applications (example)
History
- 2026-11-02: add by m2/dev
FrontierMath 1TPBGBY9HQ
| URI | m2://inv/1TPBGBY9HQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FrontierMath, FrontierMath (definition). Also Wikidata Q140133892
History
- 2026-11-02: add by m2/dev
1TPBGSAHAS 1TPBGSAHAS
| URI | m2://inv/1TPBGSAHAS |
|---|---|
| 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.40023#P48V (statement). In JW9ARS9AQE/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
Kazimierz Abramowicz 1TPDRQVZPZ
| URI | m2://inv/1TPDRQVZPZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kazimierz Abramowicz, Kazimierz Abramowicz (topic). Also Wikidata Q6381147
History
- 2026-11-02: add by m2/dev
1TPF9150CK 1TPF9150CK
| URI | m2://inv/1TPF9150CK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13877#JD5E (statement). In NBMA6DBKJG/e1, proposition 6.9
History
- 2026-10-28: add by m2/v0.4.2
Coarser partition 1TPKM9DKVE
| URI | m2://inv/1TPKM9DKVE |
|---|---|
| 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.20087#F8JQ, Coarser partition (statement). In ZRE2WQR5XA/e1, proposition V.4
History
- 2026-10-27: add by m2/v0.4.2
1TPQC1S9ZC 1TPQC1S9ZC
| URI | m2://inv/1TPQC1S9ZC |
|---|---|
| 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.31940#I1NP (statement). In EN65W1SY4B/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
1TPVB9NS3K 1TPVB9NS3K
| URI | m2://inv/1TPVB9NS3K |
|---|---|
| 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.31615#VKQE (statement). In TNV6XTEWEG/e1, lemma 6.3
History
- 2026-10-31: add by m2/v0.5.6
Lionel Mason 1TPY2VTKZK
| URI | m2://inv/1TPY2VTKZK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q63433410, Lionel Mason (unknown). Also nLab Lionel Mason
History
- 2026-10-26: add by m2/dev
Applications 1TPY416Z7Q
| URI | m2://inv/1TPY416Z7Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derived algebraic geometry#94F2, Applications (example)
History
- 2026-11-02: add by m2/dev
Clipping error for the scaled score 1TQ1CXM7EK
| URI | m2://inv/1TQ1CXM7EK |
|---|---|
| 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.05333#C7OM, Clipping error for the scaled score (statement). In N37WKFTR7Q/e1, lemma E.5
History
- 2026-10-29: add by m2/v0.4.10
Approximate tangent space 1TQ3JEXWMZ
| URI | m2://inv/1TQ3JEXWMZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximate tangent space, Approximate tangent space (definition). Also Wikidata Q17002290
History
- 2026-11-02: add by m2/dev
Realization of permitted directing means 1TQ5N9VQ9W
| URI | m2://inv/1TQ5N9VQ9W |
|---|---|
| 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.38228#T5HE, Realization of permitted directing means (statement). In 9YAE8FNQST/e1, theorem 24.8
History
- 2026-10-30: add by m2/v0.4.12
1TQ7MEHPZZ 1TQ7MEHPZZ
| URI | m2://inv/1TQ7MEHPZZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.29838#60O2 (definition). In KP0X1RKKKB/e1, definition 1.3
History
- 2026-10-27: add by m2/v0.4.0
The four boundary layers 1TQDAKJ82G
| URI | m2://inv/1TQDAKJ82G |
|---|---|
| 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.17006#82CL, The four boundary layers (statement). In YY81ZEJ82P/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.2
Absolute risk reduction 1TQN2HKAA6
| URI | m2://inv/1TQN2HKAA6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MFWV, Absolute risk reduction (definition)
History
- 2026-11-02: add by m2/dev
1TQQ1RGNP1 1TQQ1RGNP1
| URI | m2://inv/1TQQ1RGNP1 |
|---|---|
| Kind | example |
| 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.11043#PW4V (example). In R3NJYPZH52/e1, example 3.7
History
- 2026-10-28: add by m2/v0.4.3
Coverage error 1TR9MQJ7D4
| URI | m2://inv/1TR9MQJ7D4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coverage error, Coverage error (definition). Also Wikidata Q16952351
History
- 2026-11-02: add by m2/dev
1TRCFH8JGN 1TRCFH8JGN
| URI | m2://inv/1TRCFH8JGN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10329#UD4N (statement). In SCSTR1Q1BW/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.10
1TRERWZN6R 1TRERWZN6R
| URI | m2://inv/1TRERWZN6R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00856#NVFI (statement). In W6VHD4QBY4/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
1TRSVFMCGY 1TRSVFMCGY
| URI | m2://inv/1TRSVFMCGY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11330#LERC (definition). In Z73GKA9WDB/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.3
casus irreducibilis 1TRVSHZVFW
| URI | m2://inv/1TRVSHZVFW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Casus irreducibilis MJ864PBRRJ |
Mentions
- wikidata: Wikidata Q5050952, casus irreducibilis (unknown). Also MathWorld CasusIrreducibilis
- wikipedia: Wikipedia Casus irreducibilis, Casus irreducibilis (definition). Also Wikidata Q5050952
History
- 2026-10-26: add by m2/dev
1TRZ863DPY 1TRZ863DPY
| URI | m2://inv/1TRZ863DPY |
|---|---|
| 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.20385#RFMU (statement)
History
- 2026-11-02: add by m2/v0.6.18
1TS61PFSHS 1TS61PFSHS
| URI | m2://inv/1TS61PFSHS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#ADST (statement). In E7W2HDNEKJ/e1, lemma 10.25
History
- 2026-10-30: add by m2/v0.4.12
1TS793MH99 1TS793MH99
| URI | m2://inv/1TS793MH99 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#ZD4Y (unknown). In QNBFHFZ3H0/e1, unknown 56
History
- 2026-10-28: add by m2/v0.4.2
Hans Carl Friedrich von Mangoldt 1TSBNEPTCE
| URI | m2://inv/1TSBNEPTCE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#CZ07, Hans Carl Friedrich von Mangoldt (topic)
History
- 2026-11-02: add by m2/dev
1TSGVZAH9M 1TSGVZAH9M
| URI | m2://inv/1TSGVZAH9M |
|---|---|
| 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.35950#LL6T (statement). In BZN1G5W5FX/e1, theorem 14.3
History
- 2026-10-30: add by m2/v0.4.12
Hefer's lemma 1TSK4AGA6N
| URI | m2://inv/1TSK4AGA6N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hefer's theorem#PLW7, Hefer's lemma (statement)
History
- 2026-11-02: add by m2/dev
1TSKBJHRT6 1TSKBJHRT6
| URI | m2://inv/1TSKBJHRT6 |
|---|---|
| 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.13833#REIY (statement). In VD4JP4HVBX/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
Franco Burgersdijk 1TSN719CCQ
| URI | m2://inv/1TSN719CCQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Franco Burgersdijk, Franco Burgersdijk (topic). Also Wikidata Q1442647
History
- 2026-11-02: add by m2/dev
Short-support relations 1TSNW7G3MF
| URI | m2://inv/1TSNW7G3MF |
|---|---|
| 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.12014#LAFG, Short-support relations (statement). In DR7BK4CQ0V/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.3
1TSPHEFCTB 1TSPHEFCTB
| URI | m2://inv/1TSPHEFCTB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#9BH7 (statement). In CPYWHRTPKC/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.2
Generalized Smith conjecture 1TSPQ2VX94
| URI | m2://inv/1TSPQ2VX94 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures#R9RB, Generalized Smith conjecture (statement)
History
- 2026-11-02: add by m2/dev
1TT3SRMZZT 1TT3SRMZZT
| URI | m2://inv/1TT3SRMZZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06699#P33A (statement). In GXHKRV5BPY/e1, proposition 5.11
History
- 2026-10-29: add by m2/v0.4.10
Riemann–Lebesgue lemma 1TTB5Q9F6P
| URI | m2://inv/1TTB5Q9F6P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier series#KFQD, Riemann–Lebesgue lemma (statement)
History
- 2026-11-02: add by m2/dev
Von Mises distribution 1TTEQ6266P
| URI | m2://inv/1TTEQ6266P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SQJJ, Von Mises distribution (definition)
History
- 2026-11-02: add by m2/dev
Leonard Adleman 1TTH34GPSA
| URI | m2://inv/1TTH34GPSA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#IQ3C, Leonard Adleman (unknown)
History
- 2026-11-02: add by m2/dev
Notation 1TTSWMHV27
| URI | m2://inv/1TTSWMHV27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function (mathematics)#PGZ7, Notation (definition)
History
- 2026-11-02: add by m2/dev
1TTX6VRB55 1TTX6VRB55
| URI | m2://inv/1TTX6VRB55 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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 2609.31352#W8SZ (definition). In SQZGKRDVBX/e1, definition 3.3
History
- 2026-10-31: add by m2/v0.5.6
Properties 1TV0PV2V06
| URI | m2://inv/1TV0PV2V06 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-ultrabarrelled space#JGW9, Properties (statement)
History
- 2026-11-02: add by m2/dev
Martin A. Lindquist 1TVA2DJM1Q
| URI | m2://inv/1TVA2DJM1Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martin A. Lindquist, Martin A. Lindquist (topic). Also Wikidata Q25296694
History
- 2026-11-02: add by m2/dev
Definition 1TVHECK0J8
| URI | m2://inv/1TVHECK0J8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier algebra#MUOS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Fractal compression 1TVJN3ZH9B
| URI | m2://inv/1TVJN3ZH9B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractal compression, Fractal compression (definition). Also Wikidata Q2872
History
- 2026-11-02: add by m2/dev
Miranda Teboh-Ewungkem 1TVPK379HK
| URI | m2://inv/1TVPK379HK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miranda Teboh-Ewungkem, Miranda Teboh-Ewungkem (topic). Also Wikidata Q12894481
History
- 2026-11-02: add by m2/dev
Definition 1TVQN1KSNZ
| URI | m2://inv/1TVQN1KSNZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negation#K17M, Definition (definition)
History
- 2026-11-02: add by m2/dev
Compound of two great dodecahedra 1TVT80YGXV
| URI | m2://inv/1TVT80YGXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#VRRM, Compound of two great dodecahedra (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#MY5J, Compound of two great dodecahedra (definition)
History
- 2026-11-02: add by m2/dev
1TVVDCKRTR 1TVVDCKRTR
| URI | m2://inv/1TVVDCKRTR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#YP3N (statement)
History
- 2026-11-02: add by m2/v0.6.18
Daniel Kan 1TVX9VEK84
| URI | m2://inv/1TVX9VEK84 |
|---|---|
| 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 Q284616, Daniel Kan (unknown). Also nLab Daniel Kan
- wikipedia: Wikipedia Daniel Kan, Daniel Kan (topic). Also Wikidata Q284616
History
- 2026-10-26: add by m2/dev
1TWDT4FJDV 1TWDT4FJDV
| URI | m2://inv/1TWDT4FJDV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32138#3X6P (statement). In ZG0GNHTCWB/e1, proposition 6.10
History
- 2026-10-31: add by m2/v0.5.6
1TWRB85RWT 1TWRB85RWT
| URI | m2://inv/1TWRB85RWT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#0YNA (statement). In 8SVVEVGMNE/e1, proposition 4.27
History
- 2026-10-27: add by m2/v0.3.5
Properties 1TWYQ72JNP
| URI | m2://inv/1TWYQ72JNP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moment curve#TOFT, Properties (statement)
History
- 2026-11-02: add by m2/dev
Leftover parts 1TX0VNTSYJ
| URI | m2://inv/1TX0VNTSYJ |
|---|---|
| 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 2607.01109#9CIJ, Leftover parts (statement). In V35F0T5RQ2/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
R. Duncan Luce 1TXCY66SQ6
| URI | m2://inv/1TXCY66SQ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R. Duncan Luce, R. Duncan Luce (topic). Also Wikidata Q531192
History
- 2026-11-02: add by m2/dev
Felix Iversen 1TXFRFCFTY
| URI | m2://inv/1TXFRFCFTY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Felix Iversen, Felix Iversen (topic). Also Wikidata Q1798399
History
- 2026-11-02: add by m2/dev
Laguerre transform 1TXJVKGMT3
| URI | m2://inv/1TXJVKGMT3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laguerre transform, Laguerre transform (definition). Also Wikidata Q30694289
History
- 2026-11-02: add by m2/dev
1TXMGYS84K 1TXMGYS84K
| URI | m2://inv/1TXMGYS84K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12277#97FJ (statement). In N6GW8Z49SZ/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
1TXQ047RH5 1TXQ047RH5
| URI | m2://inv/1TXQ047RH5 |
|---|---|
| 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 2508.18436#KE4H (statement). In 6W19Z58188/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.6
Martine Rothblatt 1TXQTNZYSR
| URI | m2://inv/1TXQTNZYSR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#6P4P, Martine Rothblatt (unknown)
History
- 2026-11-02: add by m2/dev
1TXRY3JVGG 1TXRY3JVGG
| URI | m2://inv/1TXRY3JVGG |
|---|---|
| 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.25656#UIDE (statement)
History
- 2026-11-01: add by m2/v0.6.15
1TXY5W18V4 1TXY5W18V4
| URI | m2://inv/1TXY5W18V4 |
|---|---|
| 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 2207.12181#JAK0 (statement). In FSD8NE3XSR/e1, lemma 7.7
History
- 2026-10-27: add by m2/v0.4.0
1TY1HQY28X 1TY1HQY28X
| URI | m2://inv/1TY1HQY28X |
|---|---|
| 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.05706#C7YQ (statement). In 8EHE8CX1KJ/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
1TY562HJE3 1TY562HJE3
| URI | m2://inv/1TY562HJE3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34311#HK5P (statement). In YYV9SHAPCZ/e1, lemma 3.7
History
- 2026-10-30: add by m2/v0.4.12
Erdős sumset conjecture 1TY5ZDP7SF
| URI | m2://inv/1TY5ZDP7SF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#BFQL, Erdős sumset conjecture (statement)
History
- 2026-11-02: add by m2/dev
1TYC9ETC1R 1TYC9ETC1R
| URI | m2://inv/1TYC9ETC1R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/ce-sets.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
\emph{Local differential privacy} (LDP 1TYHFH1NHD
| URI | m2://inv/1TYHFH1NHD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28297#R6A2, \emph{Local differential privacy} (LDP (definition)
History
- 2026-11-01: add by m2/v0.6.15
discrete variable 1TYNRGVCDM
| URI | m2://inv/1TYNRGVCDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#1W5P, discrete variable (definition)
History
- 2026-11-02: add by m2/dev
Mark Liberman 1TYP2GJV6H
| URI | m2://inv/1TYP2GJV6H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JWB7, Mark Liberman (unknown)
History
- 2026-11-02: add by m2/dev
1TYP9TJ1C7 1TYP9TJ1C7
| URI | m2://inv/1TYP9TJ1C7 |
|---|---|
| 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.30664#RWZL (statement). In ZZGDNKDVJW/e1, lemma A.3
History
- 2026-10-31: add by m2/v0.5.6
Theorem (Wehrung 2003) 1TYPMBD2JW
| URI | m2://inv/1TYPMBD2JW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence lattice problem#S49P, Theorem (Wehrung 2003) (statement)
History
- 2026-11-02: add by m2/dev
Weak convexity 1TYSC7D8AS
| URI | m2://inv/1TYSC7D8AS |
|---|---|
| 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.05204#TUYA, Weak convexity (statement). In ET0TQ8YF7Z/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.10
Theorem 1TYTB18P1E
| URI | m2://inv/1TYTB18P1E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noether normalization lemma#5Z5G, Theorem (statement)
History
- 2026-11-02: add by m2/dev
1TZ0344G8K 1TZ0344G8K
| URI | m2://inv/1TZ0344G8K |
|---|---|
| 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 2601.01000#AZ29 (statement). In RYFV9HGWWZ/e1, lemma 22
History
- 2026-10-27: add by m2/v0.3.5
1TZ7V25XB8 1TZ7V25XB8
| URI | m2://inv/1TZ7V25XB8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11478#1A8P (statement). In R81S9R1XNR/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.3
1TZ9JQ9EF2 1TZ9JQ9EF2
| URI | m2://inv/1TZ9JQ9EF2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10365#SN63 (statement). In PRVQPSBVHK/e1, corollary 11
History
- 2026-10-29: add by m2/v0.4.10
1TZB7R2V1K 1TZB7R2V1K
| URI | m2://inv/1TZB7R2V1K |
|---|---|
| Kind | problem |
| 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.14458#7SVT (problem). In WJ76MVYAZQ/e1, problem 4.5
History
- 2026-10-28: add by m2/v0.4.2
Institutional model theory 1TZD5FGQTJ
| URI | m2://inv/1TZD5FGQTJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institutional model theory, Institutional model theory (definition). Also Wikidata Q6041209
History
- 2026-11-02: add by m2/dev
Applications 1TZH5BZS31
| URI | m2://inv/1TZH5BZS31 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local differential privacy#RTF9, Applications (example)
History
- 2026-11-02: add by m2/dev
mean curvature 1TZJ3KG8VT
| URI | m2://inv/1TZJ3KG8VT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Mean curvature PA78NFEPCF |
Mentions
- wikidata: Wikidata Q1318998, mean curvature (unknown). Also MathWorld MeanCurvature
- wikipedia: Wikipedia Mean curvature, Mean curvature (definition). Also Wikidata Q1318998
History
- 2026-10-26: add by m2/dev
AKNS system 1TZQVMMMPS
| URI | m2://inv/1TZQVMMMPS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AKNS system, AKNS system (definition). Also Wikidata Q16002310
History
- 2026-11-02: add by m2/dev