Inventory rows 8E
The cards of the rows of the inventory whose ids start with 8E. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
8E0171BRPQ 8E0171BRPQ
| URI | m2://inv/8E0171BRPQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-16 (exercise). In E59CDZA4DP, exercise, section 7.2.5
History
- 2026-11-01: add by m2/v0.6.13
Arithmetical algebra 8E02GQ27HT
| URI | m2://inv/8E02GQ27HT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Peacock#8D79, Arithmetical algebra (unknown)
History
- 2026-11-02: add by m2/dev
Trudy Govier 8E045N63AW
| URI | m2://inv/8E045N63AW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trudy Govier, Trudy Govier (topic). Also Wikidata Q23072447
History
- 2026-11-02: add by m2/dev
8E0ASMF7K5 8E0ASMF7K5
| URI | m2://inv/8E0ASMF7K5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19882#3OHC (statement)
History
- 2026-11-02: add by m2/v0.6.18
8E0C08MVZB 8E0C08MVZB
| URI | m2://inv/8E0C08MVZB |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27153#G913 (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
tacinvariant 8E0G77N2Q1
| URI | m2://inv/8E0G77N2Q1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#38GG, tacinvariant (definition)
History
- 2026-11-02: add by m2/dev
spherical segment 8E0PRCS8MB
| URI | m2://inv/8E0PRCS8MB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1268902, spherical segment (unknown). Also MathWorld SphericalSegment
- wikipedia: Wikipedia Spherical segment, Spherical segment (definition). Also Wikidata Q1268902
History
- 2026-10-26: add by m2/dev
converse 8E0PSFTG5V
| URI | m2://inv/8E0PSFTG5V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.2/converse, converse (concept). In Y91XFCEVHQ, index, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
8E0V2EAJ2B 8E0V2EAJ2B
| URI | m2://inv/8E0V2EAJ2B |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-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.33856#W541 (problem). In 47WN78VDDF/e1, problem 3.42
History
- 2026-10-30: add by m2/v0.4.12
symplectic action 8E17C5KF8P
| URI | m2://inv/8E17C5KF8P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry#7GSY, symplectic action (definition)
History
- 2026-11-02: add by m2/dev
8E17FZTAZY 8E17FZTAZY
| URI | m2://inv/8E17FZTAZY |
|---|---|
| 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 2605.30679#5DKN (statement). In Z31GMHMG7B/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
8E193H6JF4 8E193H6JF4
| URI | m2://inv/8E193H6JF4 |
|---|---|
| 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 2606.20229#7OSB (definition). In 1B85G2QJC2/e1, definition 6.2
History
- 2026-10-27: add by m2/v0.3.6
central limit theorem 8E1AQR8RYA
| URI | m2://inv/8E1AQR8RYA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 8 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Central limit theorem 0EPZC4Z1FC |
Mentions
- arxiv: arXiv 2610.14616#KW3T, Central limit theorem (statement). In 17ACAG0N9C/e1, theorem 2.10
- arxiv: arXiv 2610.17479#PF1G, Central limit theorem (statement). In 4FWAY748N7/e1, theorem 1.2
- mathlib_100: mathlib_100 47, The Central Limit Theorem (statement). Also Mathlib ProbabilityTheory.tendstoInDistribution_inv_sqrt_mul_sum_sub
- mathlib_1000: mathlib_1000 Q190391, Central limit theorem (statement). Also Mathlib ProbabilityTheory.tendstoInDistribution_inv_sqrt_mul_sum_sub, Wikidata Q190391
- mathlib_1000: mathlib_1000 Q190391X, Lyapunov's central limit theorem (statement). Also Wikidata Q190391
- mathlib_overview: mathlib_overview Probability Theory > Convergence of a sequence of random variables > central limit theorem, central limit theorem (unknown). Also Mathlib ProbabilityTheory.tendstoInDistribution_inv_sqrt_mul_sum_sub
- mathlib_undergrad: mathlib_undergrad Probability Theory > Convergence of a sequence of random variables > central limit theorem, central limit theorem (unknown). Also Mathlib ProbabilityTheory.tendstoInDistribution_inv_sqrt_mul_sum_sub
- thousand_plus: thousand_plus Q190391, Central limit theorem (statement). Also Mathlib ProbabilityTheory.tendstoInDistribution_inv_sqrt_mul_sum_sub, Wikidata Q190391, Wikipedia Central limit theorem
- thousand_plus: thousand_plus Q190391X, Lyapunov's central limit theorem (statement). Also Wikidata Q190391, Wikipedia Lyapunov's central limit theorem
- wikidata: Wikidata Q190391, central limit theorem (statement). Also Mathlib ProbabilityTheory.tendstoInDistribution_inv_sqrt_mul_sum_sub, MathWorld CentralLimitTheorem, nLab central limit theorem, ProofWiki Central_Limit_Theorem
- wikipedia: Wikipedia Central limit theorem, Central limit theorem (statement). Also Wikidata Q190391
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
- 2026-10-31: merge by m2/v0.5.6
- 2026-10-31: merge by m2/v0.5.6
8E1DJN5X82 8E1DJN5X82
| URI | m2://inv/8E1DJN5X82 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11031#BJBQ (statement). In 9DMJXFRQN9/e1, corollary 1.3
History
- 2026-10-28: add by m2/v0.4.3
Formal definition 8E1YMZ0ZX0
| URI | m2://inv/8E1YMZ0ZX0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real tree#Z7NI, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
8E27ETTCMQ 8E27ETTCMQ
| URI | m2://inv/8E27ETTCMQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 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 2610.22288#UMEW (definition). In X38P26DK6S/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.4.0
8E2GE11J3Q 8E2GE11J3Q
| URI | m2://inv/8E2GE11J3Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#FYET (statement). In X47RYAZF8P/e1, lemma 10.13
History
- 2026-10-28: add by m2/v0.4.2
Soundness 8E2M9AXRA7
| URI | m2://inv/8E2M9AXRA7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26337#HAKK, Soundness (statement)
History
- 2026-11-01: add by m2/v0.6.15
Saturated set 8E2MK5ESWG
| URI | m2://inv/8E2MK5ESWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Saturated set, Saturated set (definition). Also Wikidata Q7426584
History
- 2026-11-02: add by m2/dev
Anabelian geometry 8E2RY5Z45Q
| URI | m2://inv/8E2RY5Z45Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#SVQE, Anabelian geometry (definition)
History
- 2026-11-02: add by m2/dev
Explanation of Fejér's Theorem's 8E2WHD1WER
| URI | m2://inv/8E2WHD1WER |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fejér's theorem#6STP, Explanation of Fejér's Theorem's (statement)
History
- 2026-11-02: add by m2/dev
logical equivalence 8E2ZE236S2
| URI | m2://inv/8E2ZE236S2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/4.1.2/logical-equivalence, logical equivalence (concept). In Y91XFCEVHQ, index, section 4.1.2
History
- 2026-11-01: add by m2/v0.6.13
8E33RQQ0SF 8E33RQQ0SF
| URI | m2://inv/8E33RQQ0SF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.4587#8RQV (statement). In KQ8JPHDKKE/e1, theorem 9.3.9
History
- 2026-10-27: add by m2/v0.3.5
Examples 8E365YKVZD
| URI | m2://inv/8E365YKVZD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flow (mathematics)#K7O0, Examples (example)
History
- 2026-11-02: add by m2/dev
I-semigroup 8E3BPWSH6R
| URI | m2://inv/8E3BPWSH6R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse element#G9ED, I-semigroup (unknown)
History
- 2026-11-02: add by m2/dev
8E3GGKWR07 8E3GGKWR07
| URI | m2://inv/8E3GGKWR07 |
|---|---|
| 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.13953#VCXT (statement). In D8258MF12E/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Graphs of the nonzero levels 8E3J648R66
| URI | m2://inv/8E3J648R66 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#13RG, Graphs of the nonzero levels (statement). In RYWAX33Z51/e1, lemma 11.6
History
- 2026-10-31: add by m2/v0.5.6
8E3J8WY9B2 8E3J8WY9B2
| URI | m2://inv/8E3J8WY9B2 |
|---|---|
| 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.18740#XSIM (statement). In 82815Z5JR7/e1, proposition 8
History
- 2026-10-28: add by m2/v0.4.2
Eugène Rouché 8E3QC7KW2Z
| URI | m2://inv/8E3QC7KW2Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eugène Rouché, Eugène Rouché (topic). Also Wikidata Q1373574
History
- 2026-11-02: add by m2/dev
8E3RK35D9H 8E3RK35D9H
| URI | m2://inv/8E3RK35D9H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01737#J2PC (definition). In M4JGP708F4/e1, definition 3.8
History
- 2026-10-29: add by m2/v0.4.12
8E3ZBSRVQK 8E3ZBSRVQK
| URI | m2://inv/8E3ZBSRVQK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-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 2512.07470#6WYR (example). In XPF72KTPMZ/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
Erlang, A. K. 8E4ANYAD8P
| URI | m2://inv/8E4ANYAD8P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#GIZ8, Erlang, A. K. (topic)
History
- 2026-11-02: add by m2/dev
Local approximation with a fixed occupation cutoff 8E4APA1S5M
| URI | m2://inv/8E4APA1S5M |
|---|---|
| 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.01669#JFQN, Local approximation with a fixed occupation cutoff (statement). In 41AVNP6DJ9/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
8E4DZGFNBN 8E4DZGFNBN
| URI | m2://inv/8E4DZGFNBN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14692#4E5V (statement). In NE5EH5FXRV/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.5
Examples 8E4G6VHFEN
| URI | m2://inv/8E4G6VHFEN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filter on a set#JR6S, Examples (example)
History
- 2026-11-02: add by m2/dev
equivariant 8E4PWFQ0CN
| URI | m2://inv/8E4PWFQ0CN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#N521, equivariant (definition)
History
- 2026-11-02: add by m2/dev
Alfred Cardew Dixon 8E4XGMH7W5
| URI | m2://inv/8E4XGMH7W5 |
|---|---|
| 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#XJM0, Alfred Cardew Dixon (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YYEW, Alfred Cardew Dixon (unknown)
History
- 2026-11-02: add by m2/dev
quasitopos 8E4YAHZVT8
| URI | m2://inv/8E4YAHZVT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#1R22, quasitopos (definition)
History
- 2026-11-02: add by m2/dev
8E558SFKV2 8E558SFKV2
| URI | m2://inv/8E558SFKV2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#920T (statement). In 13GSWBXPCM/e1, lemma B.1
History
- 2026-10-27: add by m2/v0.3.5
Constructions 8E5ER36C1W
| URI | m2://inv/8E5ER36C1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Groupoid object#1OR9, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Jordan's theorem 8E5EZDRKEY
| URI | m2://inv/8E5EZDRKEY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6276298, Jordan's theorem (multiply transitive groups) (statement). Also Wikidata Q6276298
- thousand_plus: thousand_plus Q6276298, Jordan's theorem (multiply transitive groups) (statement). Also Wikidata Q6276298, Wikipedia Jordan's theorem (multiply transitive groups)
- wikipedia: Wikipedia Jordan's theorem (symmetric group), Jordan's theorem (statement). Also Wikidata Q6276298
History
- 2026-10-26: add by m2/dev
Lemma 2 8E5FWRZPTE
| URI | m2://inv/8E5FWRZPTE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expander code#DIUK, Lemma 2 (statement)
History
- 2026-11-02: add by m2/dev
Representation of a Lie group 8E5QVE3V8B
| URI | m2://inv/8E5QVE3V8B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation of a Lie group, Representation of a Lie group (definition). Also Wikidata Q763735
History
- 2026-11-02: add by m2/dev
8E5TZ02AZJ 8E5TZ02AZJ
| URI | m2://inv/8E5TZ02AZJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-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.11596#W952 (definition). In 76850E2X7T/e1, definition 2.13
History
- 2026-10-28: add by m2/v0.4.3
Tensor field 8E5V1MNGYF
| URI | m2://inv/8E5V1MNGYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor field, Tensor field (definition). Also Wikidata Q1758924
History
- 2026-11-02: add by m2/dev
8E643G7XEN 8E643G7XEN
| URI | m2://inv/8E643G7XEN |
|---|---|
| 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.27484#A03Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
8E64X9PKN3 8E64X9PKN3
| URI | m2://inv/8E64X9PKN3 |
|---|---|
| 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.28265#VKA8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
8E65JQTMPZ 8E65JQTMPZ
| URI | m2://inv/8E65JQTMPZ |
|---|---|
| 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.28251#Z0N7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
8E6NF58GZZ 8E6NF58GZZ
| URI | m2://inv/8E6NF58GZZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.13782#S9I3 (statement). In 12RSHWCNMX/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
Mark Kleiman 8E6QWFNFKP
| URI | m2://inv/8E6QWFNFKP |
|---|---|
| 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#4VQX, Mark Kleiman (unknown)
History
- 2026-11-02: add by m2/dev
Examples 8E6V47FF3S
| URI | m2://inv/8E6V47FF3S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dependence relation#92YX, Examples (example)
History
- 2026-11-02: add by m2/dev
8E6WND9C5T 8E6WND9C5T
| URI | m2://inv/8E6WND9C5T |
|---|---|
| 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.09019#ZHFS (statement). In 8V6YECFCC1/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Woodin's 8E74WTFQ32
| URI | m2://inv/8E74WTFQ32 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#PER5, Woodin's (topic)
History
- 2026-11-02: add by m2/dev
Bullrun 8E774MJW9Y
| URI | m2://inv/8E774MJW9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bullrun (decryption program), Bullrun (definition). Also Wikidata Q14831675
History
- 2026-11-02: add by m2/dev
8E7948FXX5 8E7948FXX5
| URI | m2://inv/8E7948FXX5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/frame-definability/properties-accessibility.tex#thm:soundschemas (statement). In PKGMM3P5QY, thm, section 53.3
History
- 2026-11-01: add by m2/v0.6.13
Best, Nicky 8E79C0MSDQ
| URI | m2://inv/8E79C0MSDQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#NB5R, Best, Nicky (unknown)
History
- 2026-11-02: add by m2/dev
Strongly connected components 8E7DBGTAZ3
| URI | m2://inv/8E7DBGTAZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#XFN3, Strongly connected components (definition)
History
- 2026-11-02: add by m2/dev
Franklin P. Peterson 8E7EBNSYPX
| URI | m2://inv/8E7EBNSYPX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Franklin P. Peterson, Franklin P. Peterson (topic). Also Wikidata Q15080525
History
- 2026-11-02: add by m2/dev
Barenco et al, 1995; arXiv:quant-ph/9503016v1 8E7GEHX6CY
| URI | m2://inv/8E7GEHX6CY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/circuits.tex#dproblem-1, Barenco et al, 1995; arXiv:quant-ph/9503016v1 (exercise). In RZP28ERRZV, dproblem, section 75.4
History
- 2026-11-01: add by m2/v0.6.13
8E88AP3C70 8E88AP3C70
| URI | m2://inv/8E88AP3C70 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#prop:affine_reconstruction (statement). In RZP28ERRZV, proposition, section 22.5
History
- 2026-11-01: add by m2/v0.6.13
Valencia West 8E8EY4TBG2
| URI | m2://inv/8E8EY4TBG2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#BBNX, Valencia West (unknown)
History
- 2026-11-02: add by m2/dev
Anne M. Leggett 8E8M9SZDVG
| URI | m2://inv/8E8M9SZDVG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#YFOC, Anne M. Leggett (topic)
History
- 2026-11-02: add by m2/dev
quadratic irrational 8E8MDTJJFN
| URI | m2://inv/8E8MDTJJFN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2006396, quadratic irrational (unknown). Also EoM Quadratic_irrationality, MathWorld QuadraticSurd
- wikipedia: Wikipedia Quadratic irrational number, Quadratic irrational number (definition). Also Wikidata Q2006396
History
- 2026-10-26: add by m2/dev
8E8WG7GNQ9 8E8WG7GNQ9
| URI | m2://inv/8E8WG7GNQ9 |
|---|---|
| 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#OV0E (statement). In E7W2HDNEKJ/e1, lemma 5.12
History
- 2026-10-30: add by m2/v0.4.12
8E8XT3JFJ4 8E8XT3JFJ4
| URI | m2://inv/8E8XT3JFJ4 |
|---|---|
| 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.37026#LSDA (statement). In QGZPH9W8GY/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Formal statement 8E94HZT72A
| URI | m2://inv/8E94HZT72A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaplansky density theorem#Z7I7, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Exponential Decay of the Smallest Singular Value 8E95MKSHN0
| URI | m2://inv/8E95MKSHN0 |
|---|---|
| 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#P6JU, Exponential Decay of the Smallest Singular Value (statement). In Z6WA2R0J50/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Fermat's little theorem 8E95TFA1SZ
| URI | m2://inv/8E95TFA1SZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#OZ46, Fermat's little theorem (definition)
History
- 2026-11-02: add by m2/dev
Feichtinger's conjecture 8E99WHTJET
| URI | m2://inv/8E99WHTJET |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Georg Feichtinger#S6J9, Feichtinger's conjecture (statement)
History
- 2026-11-02: add by m2/dev
8E9AXF0C9Y 8E9AXF0C9Y
| URI | m2://inv/8E9AXF0C9Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21116#6QPK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples 8E9J110H18
| URI | m2://inv/8E9J110H18 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reduction (complexity)#1PI8, Examples (example)
History
- 2026-11-02: add by m2/dev
Chakraborty--Flores 8E9NFFSJNY
| URI | m2://inv/8E9NFFSJNY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03424#E9HD, Chakraborty--Flores (definition). In Q6HRJP4AWA/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.12
Quantum dot 8E9NHKZ7C7
| URI | m2://inv/8E9NHKZ7C7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#NADF, Quantum dot (unknown)
History
- 2026-11-02: add by m2/dev
Uses 8E9QT4611H
| URI | m2://inv/8E9QT4611H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ΔP#AUHI, Uses (example)
History
- 2026-11-02: add by m2/dev
8E9SW14FQQ 8E9SW14FQQ
| URI | m2://inv/8E9SW14FQQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_intro-functions.ptx#example-1 (example). In Y91XFCEVHQ, example, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Nathan Dunfield 8E9X2K9J2M
| URI | m2://inv/8E9X2K9J2M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nathan Dunfield, Nathan Dunfield (topic). Also Wikidata Q59782092
History
- 2026-11-02: add by m2/dev
Compact element 8EA198KHA7
| URI | m2://inv/8EA198KHA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#S1JH, Compact element (definition)
History
- 2026-11-02: add by m2/dev
Richard P. Brent 8EA6F16J43
| URI | m2://inv/8EA6F16J43 |
|---|---|
| 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 Q93042, Richard P. Brent (unknown). Also ProofWiki Mathematician:Richard_Peirce_Brent
History
- 2026-10-26: add by m2/dev
Applications 8EA7HFAPVM
| URI | m2://inv/8EA7HFAPVM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trend periodic nonstationary processes#8IA8, Applications (example)
History
- 2026-11-02: add by m2/dev
Electric field line 8EA7WQ0SKQ
| URI | m2://inv/8EA7WQ0SKQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Field line#ULC2, Electric field line (unknown)
History
- 2026-11-02: add by m2/dev
8EACQ6ZHNJ 8EACQ6ZHNJ
| URI | m2://inv/8EACQ6ZHNJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#MTV4 (statement). In 67GE5M1GGD/e1, lemma 3.16
History
- 2026-10-30: add by m2/v0.4.12
Partial differential 8EADYDT4B8
| URI | m2://inv/8EADYDT4B8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial differential, Partial differential (definition). Also Wikidata Q2920327
History
- 2026-11-02: add by m2/dev
Edmund Hess 8EAEXG9SPX
| URI | m2://inv/8EAEXG9SPX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#L6MA, Edmund Hess (topic)
History
- 2026-11-02: add by m2/dev
8EB0JHBBYR 8EB0JHBBYR
| URI | m2://inv/8EB0JHBBYR |
|---|---|
| Kind | definition |
| 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 2609.37271#WQTG (definition). In 9WP2QGKMG8/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
8EB0KR763K 8EB0KR763K
| URI | m2://inv/8EB0KR763K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28323#M4E0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Shadowing lemma 8EB77003WV
| URI | m2://inv/8EB77003WV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shadowing lemma, Shadowing lemma (statement). Also Wikidata Q7460736
History
- 2026-11-02: add by m2/dev
8EB9B4A2JE 8EB9B4A2JE
| URI | m2://inv/8EB9B4A2JE |
|---|---|
| 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.21258#VJML (statement). In PN98BKSKZP/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
8EBBVJX7VZ 8EBBVJX7VZ
| URI | m2://inv/8EBBVJX7VZ |
|---|---|
| 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.38838#EVON (statement). In 3EH8M9GWTX/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Projection stability and compatibility 8EBKAKA6Q9
| URI | m2://inv/8EBKAKA6Q9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.14859#VMD2, Projection stability and compatibility (statement). In 8TPP7WC7K3/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
star domain 8EBMEYZ5FW
| URI | m2://inv/8EBMEYZ5FW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q769917, star domain (unknown). Also MathWorld StarConvex, nLab star domain
- wikipedia: Wikipedia Star domain, Star domain (definition). Also Wikidata Q769917
History
- 2026-10-26: add by m2/dev
Harmonic conjugate 8EBT6H30DN
| URI | m2://inv/8EBT6H30DN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic conjugate, Harmonic conjugate (definition). Also Wikidata Q5659251
History
- 2026-11-02: add by m2/dev
rhombicosacron 8EBYM6R723
| URI | m2://inv/8EBYM6R723 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7321279, rhombicosacron (unknown). Also MathWorld Rhombicosacron
- wikipedia: Wikipedia Rhombicosacron, Rhombicosacron (object). Also Wikidata Q7321279
History
- 2026-10-26: add by m2/dev
Soliton resolution and spectral data 8EC5S5TDFD
| URI | m2://inv/8EC5S5TDFD |
|---|---|
| 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.00770#E0HX, Soliton resolution and spectral data (statement). In AYGRJSRG1M/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
8EC7253KG0 8EC7253KG0
| URI | m2://inv/8EC7253KG0 |
|---|---|
| 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#V4GU (statement). In E7W2HDNEKJ/e1, lemma 4.35
History
- 2026-10-30: add by m2/v0.4.12
Point source 8ECCBDF2QC
| URI | m2://inv/8ECCBDF2QC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#JDTK, Point source (definition)
History
- 2026-11-02: add by m2/dev
8ECE8V0Q4J 8ECE8V0Q4J
| URI | m2://inv/8ECE8V0Q4J |
|---|---|
| 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 2303.10636#UGGF (statement). In 9SV2RAEPXM/e1, proposition 5.9
History
- 2026-10-27: add by m2/v0.3.6
Simultaneously triangularizable 8ECJTA3CJ2
| URI | m2://inv/8ECJTA3CJ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular matrix#6UA5, Simultaneously triangularizable (unknown)
History
- 2026-11-02: add by m2/dev
Multiple encryption 8ECMR603V5
| URI | m2://inv/8ECMR603V5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple encryption, Multiple encryption (definition). Also Wikidata Q3505167
History
- 2026-11-02: add by m2/dev
Examples 8ECN57N2S4
| URI | m2://inv/8ECN57N2S4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skew binary number system#F9PT, Examples (example)
History
- 2026-11-02: add by m2/dev
Miami Beach 8ECQJDVDJR
| URI | m2://inv/8ECQJDVDJR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#B17N, Miami Beach (unknown)
History
- 2026-11-02: add by m2/dev
8ECRYZQ4NR 8ECRYZQ4NR
| URI | m2://inv/8ECRYZQ4NR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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.25801#J96V (statement)
History
- 2026-11-01: add by m2/v0.6.15
Continuous limit of the corrected discrete threshold 8ECTVJBN2R
| URI | m2://inv/8ECTVJBN2R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15466#O25I, Continuous limit of the corrected discrete threshold (statement). In KJ7V6XG4M7/e1, theorem 10
History
- 2026-10-28: add by m2/v0.4.2
Tetracomb 8ECV3MCJZC
| URI | m2://inv/8ECV3MCJZC |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#QR2J, Tetracomb (object)
History
- 2026-11-02: add by m2/dev
8ECW5XJYH1 8ECW5XJYH1
| URI | m2://inv/8ECW5XJYH1 |
|---|---|
| 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.26019#TQSI (statement)
History
- 2026-11-01: add by m2/v0.6.15
T. O. Engset 8ED74ER40P
| URI | m2://inv/8ED74ER40P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T. O. Engset, T. O. Engset (topic). Also Wikidata Q6146160
History
- 2026-11-02: add by m2/dev
Properties 8EDQH2M5W5
| URI | m2://inv/8EDQH2M5W5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circumgon#2F55, Properties (statement)
History
- 2026-11-02: add by m2/dev
8EDTVTPZ0H 8EDTVTPZ0H
| URI | m2://inv/8EDTVTPZ0H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33656#R1NJ (statement). In 8PXDPT3X9P/e1, corollary 3
History
- 2026-10-30: add by m2/v0.4.12
Ehrenpreis's fundamental principle 8EDX0NNZXH
| URI | m2://inv/8EDX0NNZXH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ehrenpreis's fundamental principle, Ehrenpreis's fundamental principle (statement). Also Wikidata Q16927094
History
- 2026-11-02: add by m2/dev
The First Isomorphism Theorem for Banach spaces 8EE4N3WHJ5
| URI | m2://inv/8EE4N3WHJ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach space#7ZQZ, The First Isomorphism Theorem for Banach spaces (statement)
History
- 2026-11-02: add by m2/dev
8EE69N16XP 8EE69N16XP
| URI | m2://inv/8EE69N16XP |
|---|---|
| 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.22752#VQW0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Eudemus 8EEAJ8CRNM
| URI | m2://inv/8EEAJ8CRNM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#YJS5, Eudemus (topic)
History
- 2026-11-02: add by m2/dev
8EECD2F1NM 8EECD2F1NM
| URI | m2://inv/8EECD2F1NM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32524#RORV (example). In XGCND7R0B0/e1, example 4.2
History
- 2026-10-31: add by m2/v0.5.6
Algorithms 8EEEFAZMNJ
| URI | m2://inv/8EEEFAZMNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear subspace#9KO2, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
I-bundle 8EEF9K85SA
| URI | m2://inv/8EEF9K85SA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia I-bundle, I-bundle (definition). Also Wikidata Q5967726
History
- 2026-11-02: add by m2/dev
8EENVENKHB 8EENVENKHB
| URI | m2://inv/8EENVENKHB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09506#1XVC (statement). In AQC7E6RAT4/e1, theorem 5.4
History
- 2026-10-29: add by m2/v0.4.10
genetically modified crops 8EERKDYK9R
| URI | m2://inv/8EERKDYK9R |
|---|---|
| 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#F4TD, genetically modified crops (unknown)
History
- 2026-11-02: add by m2/dev
Distribution of terms 8EET8QV0EJ
| URI | m2://inv/8EET8QV0EJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Categorical proposition#5X2D, Distribution of terms (unknown)
History
- 2026-11-02: add by m2/dev
8EETARW5HZ 8EETARW5HZ
| URI | m2://inv/8EETARW5HZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37698#L5LJ (statement). In HA2GG72C23/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
Numbers 8EETQ1NPKM
| URI | m2://inv/8EETQ1NPKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numbers (TV series), Numbers (definition). Also Wikidata Q5935
History
- 2026-11-02: add by m2/dev
8EEZXM4SXW 8EEZXM4SXW
| URI | m2://inv/8EEZXM4SXW |
|---|---|
| Kind | definition |
| 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.29699#3R71 (definition)
History
- 2026-11-01: add by m2/v0.6.15
List of Alpha Sigma Kappa chapters 8EFB2ATDVJ
| URI | m2://inv/8EFB2ATDVJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alpha Sigma Kappa#8VK5, List of Alpha Sigma Kappa chapters (unknown)
History
- 2026-11-02: add by m2/dev
8EFE9KR9NC 8EFE9KR9NC
| URI | m2://inv/8EFE9KR9NC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30444#Y370 (definition). In RZWJ0AT8W5/e1, definition 4.1
History
- 2026-10-31: add by m2/v0.5.6
8EFHZ8N9ZS 8EFHZ8N9ZS
| URI | m2://inv/8EFHZ8N9ZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.24606#FZXO (statement). In VFV3FFB7Q7/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
Remark 8EFJ0TN7Z7
| URI | m2://inv/8EFJ0TN7Z7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski plane#CTCI, Remark (unknown)
History
- 2026-11-02: add by m2/dev
8EFJ7GRG67 8EFJ7GRG67
| URI | m2://inv/8EFJ7GRG67 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21752#EG05 (example). In E4DJTPKHAX/e1, example 6.4
History
- 2026-10-27: add by m2/v0.4.2
8EFM5V4GTY 8EFM5V4GTY
| URI | m2://inv/8EFM5V4GTY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.35191#Q2OE (statement). In W9Z6S1PDTP/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
axiom of union 8EFMNRXQ4K
| URI | m2://inv/8EFMNRXQ4K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1987722, axiom of union (statement). Also MathWorld AxiomoftheSumSet, nLab axiom of union, ProofWiki Axiom:Axiom_of_Unions
- wikipedia: Wikipedia Axiom of union, Axiom of union (statement). Also Wikidata Q1987722
History
- 2026-10-26: add by m2/dev
8EFYEGR7Y5 8EFYEGR7Y5
| URI | m2://inv/8EFYEGR7Y5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises1-4.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
degeneracy 8EG0Q11RCZ
| URI | m2://inv/8EG0Q11RCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q917661, degeneracy (unknown). Also MathWorld Degeneracy, MathWorld Degenerate
- wikipedia: Wikipedia Degeneracy (mathematics), Degeneracy (definition). Also Wikidata Q917661
History
- 2026-10-26: add by m2/dev
surjection 8EG1JJZEYZ
| URI | m2://inv/8EG1JJZEYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#E3IJ, surjection (definition)
History
- 2026-11-02: add by m2/dev
Von Mises distribution 8EG27H9HX2
| URI | m2://inv/8EG27H9HX2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#MYDJ, Von Mises distribution (definition)
History
- 2026-11-02: add by m2/dev
Strong solidity 8EG5K4PWWF
| URI | m2://inv/8EG5K4PWWF |
|---|---|
| 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#80RJ, Strong solidity (statement). In MZ60NP20BH/e1, corollary 4.14
History
- 2026-10-27: add by m2/v0.4.0
Binary classification 8EGD4BSZ47
| URI | m2://inv/8EGD4BSZ47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary classification, Binary classification (definition). Also Wikidata Q17005494
History
- 2026-11-02: add by m2/dev
8EGDF28JDR 8EGDF28JDR
| URI | m2://inv/8EGDF28JDR |
|---|---|
| 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#4YFF (statement). In GSTK4569X1/e1, theorem D
History
- 2026-10-28: add by m2/v0.4.2
8EGFSAQV6Z 8EGFSAQV6Z
| URI | m2://inv/8EGFSAQV6Z |
|---|---|
| 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#7GKX (statement). In M4ZVJWM8YA/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.4.2
Finite element method in structural mechanics 8EGG6XN4YW
| URI | m2://inv/8EGG6XN4YW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#4VKB, Finite element method in structural mechanics (definition)
History
- 2026-11-02: add by m2/dev
Update operator 8EGQT4NQHC
| URI | m2://inv/8EGQT4NQHC |
|---|---|
| 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.02669#WXCF, Update operator (definition). In NSBSWH6XB4/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.12
Bonnor–Ebert mass 8EGR88PF5B
| URI | m2://inv/8EGR88PF5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bonnor–Ebert mass, Bonnor–Ebert mass (definition). Also Wikidata Q4942478
History
- 2026-11-02: add by m2/dev
8EGRN8MHJQ 8EGRN8MHJQ
| URI | m2://inv/8EGRN8MHJQ |
|---|---|
| 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.14888#KBQM (statement). In GN3ZT9DAD9/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
Properties 8EGWRHX9Y2
| URI | m2://inv/8EGWRHX9Y2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexagonal prism#FXT6, Properties (statement)
History
- 2026-11-02: add by m2/dev
Jean-Benoît Bost 8EGWZJRGP6
| URI | m2://inv/8EGWZJRGP6 |
|---|---|
| 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 Q1684701, Jean-Benoît Bost (unknown). Also nLab Jean-Benoît Bost
- wikipedia: Wikipedia Jean-Benoît Bost, Jean-Benoît Bost (topic). Also Wikidata Q1684701
History
- 2026-10-26: add by m2/dev
Foodtongue 8EH2TH5441
| URI | m2://inv/8EH2TH5441 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canada/USA Mathcamp#C2RA, Foodtongue (unknown)
History
- 2026-11-02: add by m2/dev
8EH3TKBTJZ 8EH3TKBTJZ
| URI | m2://inv/8EH3TKBTJZ |
|---|---|
| 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#BAYF (statement). In KM0XEAXFMF/e1, proposition 9.2
History
- 2026-10-27: add by m2/v0.3.5
Phil Zimmermann 8EH916QFK9
| URI | m2://inv/8EH916QFK9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phil Zimmermann, Phil Zimmermann (topic). Also Wikidata Q455938
History
- 2026-11-02: add by m2/dev
8EH9A2GRRP 8EH9A2GRRP
| URI | m2://inv/8EH9A2GRRP |
|---|---|
| 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#OQ9E (statement). In EY54F2SX08/e1, corollary 2.7
History
- 2026-10-27: add by m2/v0.3.5
8EHKN9BJ80 8EHKN9BJ80
| URI | m2://inv/8EHKN9BJ80 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06546#1GLS (definition). In G6DK297DQN/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
8EHMXX6R0F 8EHMXX6R0F
| URI | m2://inv/8EHMXX6R0F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/proof-search/completeness.tex#lem:truth (statement). In PKGMM3P5QY, lem, section 59.5
History
- 2026-11-01: add by m2/v0.6.13
conformity of the rotated bases 8EHV9N76CH
| URI | m2://inv/8EHV9N76CH |
|---|---|
| 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.39511#2GD5, conformity of the rotated bases (statement). In 6W9H24A378/e1, corollary 8
History
- 2026-10-30: add by m2/v0.4.12
8EHWWSDQMQ 8EHWWSDQMQ
| URI | m2://inv/8EHWWSDQMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/dedekind.tex#definition-5 (definition). In RZP28ERRZV, definition, section 10.6
History
- 2026-11-01: add by m2/v0.6.13
8EHXSSWEAV 8EHXSSWEAV
| URI | m2://inv/8EHXSSWEAV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#6M4N (statement). In GHKR740SG3/e1, theorem 14.4
History
- 2026-10-31: add by m2/v0.5.6
8EJ0GF2TTT 8EJ0GF2TTT
| URI | m2://inv/8EJ0GF2TTT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-2.xml#activity-4 (exercise). In 649HGZKE96, activity, section 7.2.3
History
- 2026-11-01: add by m2/v0.6.13
Hexagonal lattice 8EJ0PQ0D7Y
| URI | m2://inv/8EJ0PQ0D7Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexagonal lattice, Hexagonal lattice (definition). Also Wikidata Q4523381
History
- 2026-11-02: add by m2/dev
8EJ4S4G4W4 8EJ4S4G4W4
| URI | m2://inv/8EJ4S4G4W4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.09319#37W0 (statement). In GMRT5GHBZS/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.10
8EJ6AVP8KC 8EJ6AVP8KC
| URI | m2://inv/8EJ6AVP8KC |
|---|---|
| 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.28808#ID4X (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gordon L. Kane 8EJ7G44JB1
| URI | m2://inv/8EJ7G44JB1 |
|---|---|
| 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 Q1404435, Gordon L. Kane (unknown). Also nLab Gordon Kane
History
- 2026-10-26: add by m2/dev
8EJC8722Q5 8EJC8722Q5
| URI | m2://inv/8EJC8722Q5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23528#LTS8 (definition)
History
- 2026-11-02: add by m2/v0.6.17
General $L^4$ estimate and weighted threshold 8EJYHFZEF2
| URI | m2://inv/8EJYHFZEF2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20643#O30F, General $L^4$ estimate and weighted threshold (statement)
History
- 2026-11-02: add by m2/v0.6.18
8EK35816HV 8EK35816HV
| URI | m2://inv/8EK35816HV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09897#C3CK (statement). In NYA085FW0M/e1, corollary 3.10
History
- 2026-10-29: add by m2/v0.4.10
Properties 8EKEBM46HJ
| URI | m2://inv/8EKEBM46HJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moufang plane#1WE1, Properties (statement)
History
- 2026-11-02: add by m2/dev
Laplace's equation 8EKHGA2K8R
| URI | m2://inv/8EKHGA2K8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partial differential equation topics#8LP9, Laplace's equation (definition)
History
- 2026-11-02: add by m2/dev
8EM9YJD8GY 8EM9YJD8GY
| URI | m2://inv/8EM9YJD8GY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/choice/vitali.tex#disjointgroup (statement). In PKGMM3P5QY, lem, section 71.6
History
- 2026-11-01: add by m2/v0.6.13
Formal definition 8EMFVB45S8
| URI | m2://inv/8EMFVB45S8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambda-mu calculus#O419, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
8EMK4ZNW4G 8EMK4ZNW4G
| URI | m2://inv/8EMK4ZNW4G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-prop.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 99.2
History
- 2026-11-01: add by m2/v0.6.13
paradox 8EMK816DJQ
| URI | m2://inv/8EMK816DJQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.5/paradox, paradox (concept). In N54F33XE07, index, section 9.5
History
- 2026-11-01: add by m2/v0.6.13
8EMME01G87 8EMME01G87
| URI | m2://inv/8EMME01G87 |
|---|---|
| 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.35404#HSL6 (statement). In DH84PYVRCF/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
The Scientific Image 8EMN3Y323J
| URI | m2://inv/8EMN3Y323J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bas van Fraassen#UGSU, The Scientific Image (unknown)
History
- 2026-11-02: add by m2/dev
Positive definiteness 8EMYD3DSDH
| URI | m2://inv/8EMYD3DSDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive definiteness, Positive definiteness (definition). Also Wikidata Q7233276
History
- 2026-11-02: add by m2/dev
8EN0C2ZV03 8EN0C2ZV03
| URI | m2://inv/8EN0C2ZV03 |
|---|---|
| Kind | example |
| 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#HLLU (example). In T3BY4TXYT4/e1, example 3.2
History
- 2026-10-28: add by m2/v0.4.2
Quantum invariant 8EN9QZBAAC
| URI | m2://inv/8EN9QZBAAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum invariant, Quantum invariant (definition). Also Wikidata Q625841
History
- 2026-11-02: add by m2/dev
Family of approximate solutions $G_t$. 8ENE96ZPA8
| URI | m2://inv/8ENE96ZPA8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18270#25IN, Family of approximate solutions $G_t$. (definition). In CPDMYJ0NJV/e1, definition 6.5
History
- 2026-10-28: add by m2/v0.4.2
Forward error correction 8ENMBQMZBR
| URI | m2://inv/8ENMBQMZBR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#XFJM, Forward error correction (definition)
- wikipedia: Wikipedia List of algebraic coding theory topics#SH73, Forward error correction (definition)
History
- 2026-11-02: add by m2/dev
List of misnamed theorems 8ENPS12603
| URI | m2://inv/8ENPS12603 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ROYJ, List of misnamed theorems (topic)
History
- 2026-11-02: add by m2/dev
Definition 8ENRQ3BMX8
| URI | m2://inv/8ENRQ3BMX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient type#QW6P, Definition (definition)
History
- 2026-11-02: add by m2/dev
Paul Monsky 8EP4AVQN9C
| URI | m2://inv/8EP4AVQN9C |
|---|---|
| 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#BS41, Paul Monsky (topic)
History
- 2026-11-02: add by m2/dev
Lie algebra theory 8EP4PK1YXP
| URI | m2://inv/8EP4PK1YXP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#ZJVO, Lie algebra theory (definition)
History
- 2026-11-02: add by m2/dev
$O(1)$ KL error for ASL-TAP 8EP6XCDH3Q
| URI | m2://inv/8EP6XCDH3Q |
|---|---|
| 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.30590#P7K2, $O(1)$ KL error for ASL-TAP (statement). In WYE2JVEZBT/e1, corollary 3.5
History
- 2026-10-31: add by m2/v0.5.6
8EP8MBVXTG 8EP8MBVXTG
| URI | m2://inv/8EP8MBVXTG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37265#0PF6 (definition). In BKYAWEC5XH/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Donsker's theorem 8EPBH7KYFX
| URI | m2://inv/8EPBH7KYFX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#RL60, Donsker's theorem (statement)
History
- 2026-11-02: add by m2/dev
Decic nonresidue 8EPBHD44FG
| URI | m2://inv/8EPBHD44FG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power residue symbol#2ZP6, Decic nonresidue (unknown)
History
- 2026-11-02: add by m2/dev
Hartman effect 8EPD1E1FPT
| URI | m2://inv/8EPD1E1FPT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#9DBM, Hartman effect (unknown)
History
- 2026-11-02: add by m2/dev
8EPEJAPTBV 8EPEJAPTBV
| URI | m2://inv/8EPEJAPTBV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/cover-project.tex#definition-3 (definition). In RZP28ERRZV, definition, section 97.2
History
- 2026-11-01: add by m2/v0.6.13
Propensity score matching 8EPJ5ZQZCM
| URI | m2://inv/8EPJ5ZQZCM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#S0BF, Propensity score matching (definition)
History
- 2026-11-02: add by m2/dev
Pascal points 8EPKY44592
| URI | m2://inv/8EPKY44592 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadrilateral#QPQS, Pascal points (unknown)
History
- 2026-11-02: add by m2/dev
Definitions 8EPMT04EZQ
| URI | m2://inv/8EPMT04EZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nowhere-zero flow#QCXK, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Arkady Onishchik 8EPPNYBVQP
| URI | m2://inv/8EPPNYBVQP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arkady Onishchik, Arkady Onishchik (topic). Also Wikidata Q15430455
History
- 2026-11-02: add by m2/dev
Angela Davis 8EQ0JZ8ZD6
| URI | m2://inv/8EQ0JZ8ZD6 |
|---|---|
| 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#OFU9, Angela Davis (unknown)
History
- 2026-11-02: add by m2/dev
8EQ5BGE4Z9 8EQ5BGE4Z9
| URI | m2://inv/8EQ5BGE4Z9 |
|---|---|
| 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#RNC0 (statement). In CY1FE8W1ZW/e1, lemma 0.51
History
- 2026-10-27: add by m2/v0.4.0
10,000,000 8EQ6W13326
| URI | m2://inv/8EQ6W13326 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q115362, 10,000,000 (statement). Also ProofWiki 10,000,000
- wikipedia: Wikipedia 10,000,000, 10,000,000 (definition). Also Wikidata Q115362
History
- 2026-10-26: add by m2/dev
Definition 8EQ6Y0CX0V
| URI | m2://inv/8EQ6Y0CX0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering space#TVV0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Andrea Bonomi 8EQDX3Y85S
| URI | m2://inv/8EQDX3Y85S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrea Bonomi (philosopher), Andrea Bonomi (topic). Also Wikidata Q4754980
History
- 2026-11-02: add by m2/dev
8EQGRNHBRY 8EQGRNHBRY
| URI | m2://inv/8EQGRNHBRY |
|---|---|
| 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.06419#FYTA (statement). In JSZRXT3W3E/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.10
8EQMJPAM2R 8EQMJPAM2R
| URI | m2://inv/8EQMJPAM2R |
|---|---|
| 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#SJOC (statement). In 6W19Z58188/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.3.6
Index 8EQNJAJBSC
| URI | m2://inv/8EQNJAJBSC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index (statistics), Index (definition). Also Wikidata Q18208028
History
- 2026-11-02: add by m2/dev
Onsager shift 8EQQ8QYYPD
| URI | m2://inv/8EQQ8QYYPD |
|---|---|
| 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.06490#LU99, Onsager shift (statement). In NKXTXH59P1/e1, lemma B.2
History
- 2026-10-29: add by m2/v0.4.10
Steiner's conic problem 8EQWKW6AB8
| URI | m2://inv/8EQWKW6AB8 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steiner's conic problem, Steiner's conic problem (problem). Also Wikidata Q25305184
History
- 2026-11-02: add by m2/dev
8ER5AVTVTR 8ER5AVTVTR
| URI | m2://inv/8ER5AVTVTR |
|---|---|
| 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.13846#3YAF (statement). In DN3HGHGRYJ/e1, proposition 6.5
History
- 2026-10-28: add by m2/v0.4.2
Examples 8ER6ENCW8P
| URI | m2://inv/8ER6ENCW8P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Field experiment#JVG4, Examples (example)
History
- 2026-11-02: add by m2/dev
8ER78V3NX9 8ER78V3NX9
| URI | m2://inv/8ER78V3NX9 |
|---|---|
| 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.03353#6ZD5 (statement). In 8W61T5CSRB/e1, corollary 7.2
History
- 2026-10-29: add by m2/v0.4.12
Complex hyperbolic space 8ER8SF8N7M
| URI | m2://inv/8ER8SF8N7M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex hyperbolic space, Complex hyperbolic space (definition). Also Wikidata Q110264245
History
- 2026-11-02: add by m2/dev
Stevo Todorčević 8ERDADFXXD
| URI | m2://inv/8ERDADFXXD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NPIO, Stevo Todorčević (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#32UR, Stevo Todorčević (unknown)
History
- 2026-11-02: add by m2/dev
Chaotic cryptology 8ERGDNWHAM
| URI | m2://inv/8ERGDNWHAM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chaotic cryptology, Chaotic cryptology (definition). Also Wikidata Q20708285
History
- 2026-11-02: add by m2/dev
Game design 8ERHGRV139
| URI | m2://inv/8ERHGRV139 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Game design, Game design (definition). Also Wikidata Q858057
History
- 2026-11-02: add by m2/dev
8ERHHH06BG 8ERHHH06BG
| URI | m2://inv/8ERHHH06BG |
|---|---|
| Kind | problem |
| 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.09314#C6JB (problem). In Z04N0B3R0V/e1, problem 4.2
History
- 2026-10-29: add by m2/v0.4.10
Fifth-order identity 8ERRE0X2MQ
| URI | m2://inv/8ERRE0X2MQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.34016#LJBA, Fifth-order identity (statement). In 1E4AJ49FWV/e1, corollary 6.2
History
- 2026-10-30: add by m2/v0.4.12
History of complex numbers 8ERS1TF4XZ
| URI | m2://inv/8ERS1TF4XZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex number#CKDY, History of complex numbers (unknown)
History
- 2026-11-02: add by m2/dev
8ERTCGP6C4 8ERTCGP6C4
| URI | m2://inv/8ERTCGP6C4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-2.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
8ERTEBG7AM 8ERTEBG7AM
| URI | m2://inv/8ERTEBG7AM |
|---|---|
| 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#OCAS (definition). In RYFV9HGWWZ/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.5
Pokhozhaev's identity 8ES119MY4M
| URI | m2://inv/8ES119MY4M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derrick's theorem#GC02, Pokhozhaev's identity (statement)
History
- 2026-11-02: add by m2/dev
Herbert Solomon 8ES7FNJA30
| URI | m2://inv/8ES7FNJA30 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#AJEY, Herbert Solomon (unknown)
History
- 2026-11-02: add by m2/dev
full 8ESM64P06J
| URI | m2://inv/8ESM64P06J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#XGDA, full (definition)
History
- 2026-11-02: add by m2/dev
Independent conjectures 8ESQ92AB21
| URI | m2://inv/8ESQ92AB21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjecture#0XQW, Independent conjectures (statement)
History
- 2026-11-02: add by m2/dev
Example 8ESSN4J61T
| URI | m2://inv/8ESSN4J61T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear recurrence with constant coefficients#YCFE, Example (example)
History
- 2026-11-02: add by m2/dev
Applications 8ESSS9C5PG
| URI | m2://inv/8ESSS9C5PG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbifold#8ASD, Applications (example)
History
- 2026-11-02: add by m2/dev
Shifted Gompertz distribution 8ESYAXVK78
| URI | m2://inv/8ESYAXVK78 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shifted Gompertz distribution, Shifted Gompertz distribution (definition). Also Wikidata Q7496257
History
- 2026-11-02: add by m2/dev
E. T. Whittaker 8ET184GQD6
| URI | m2://inv/8ET184GQD6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#L96G, E. T. Whittaker (topic)
History
- 2026-11-02: add by m2/dev
8ETE5T6ZGF 8ETE5T6ZGF
| URI | m2://inv/8ETE5T6ZGF |
|---|---|
| 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.17677#ICVU (statement). In 5E9G06XJKC/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
8ETGF00M7X 8ETGF00M7X
| URI | m2://inv/8ETGF00M7X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28011#F75F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Binomial complexity 8ETHB915Q7
| URI | m2://inv/8ETHB915Q7 |
|---|---|
| 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.36389#RYTK, Binomial complexity (definition). In N1S169J2MV/e1, definition 7
History
- 2026-10-30: add by m2/v0.4.12
Banach function algebra 8ETJ3B67T2
| URI | m2://inv/8ETJ3B67T2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach function algebra, Banach function algebra (definition). Also Wikidata Q4853763
History
- 2026-11-02: add by m2/dev
8ETRNWDFZ6 8ETRNWDFZ6
| URI | m2://inv/8ETRNWDFZ6 |
|---|---|
| Kind | example |
| 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 1002.0879#9F65 (example). In M0SQY5EZN5/e1, example 3.0.10
History
- 2026-10-27: add by m2/v0.3.5
8ETVH3WERM 8ETVH3WERM
| URI | m2://inv/8ETVH3WERM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-5.xml#proposition-col-dim (statement). In 649HGZKE96, proposition, section 3.5.3
History
- 2026-11-01: add by m2/v0.6.13
Axis lemma 8ETWXVNT78
| URI | m2://inv/8ETWXVNT78 |
|---|---|
| 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 0904.3493#Z2GR, Axis lemma (statement). In 1ARY7220P4/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
8ETYXZGW6C 8ETYXZGW6C
| URI | m2://inv/8ETYXZGW6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#S2PC (statement)
History
- 2026-11-01: add by m2/v0.6.15
8EV4P5N8NQ 8EV4P5N8NQ
| URI | m2://inv/8EV4P5N8NQ |
|---|---|
| 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.29699#MW6W (statement)
History
- 2026-11-01: add by m2/v0.6.15
8EV4QKV94X 8EV4QKV94X
| URI | m2://inv/8EV4QKV94X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#T8TO (definition)
History
- 2026-11-01: add by m2/v0.6.15
Halfin–Whitt 8EV6XG9NWT
| URI | m2://inv/8EV6XG9NWT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M/M/c queue#S1JA, Halfin–Whitt (unknown)
History
- 2026-11-02: add by m2/dev
Gibbs sampling from quantum decoding 8EV7NATMEA
| URI | m2://inv/8EV7NATMEA |
|---|---|
| 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.40345#OUSC, Gibbs sampling from quantum decoding (statement). In WK0PT95WW1/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
Unsolved problems 8EVC4T2NZ5
| URI | m2://inv/8EVC4T2NZ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's fourth problem#OYXZ, Unsolved problems (statement)
History
- 2026-11-02: add by m2/dev
PSD off-block bound 8EVCR3X1ZG
| URI | m2://inv/8EVCR3X1ZG |
|---|---|
| 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.20270#3UKC, PSD off-block bound (statement). In GV0QGZH67P/e1, lemma C.5
History
- 2026-10-27: add by m2/v0.4.2
Earth–Moon problem 8EVHDBP8GZ
| URI | m2://inv/8EVHDBP8GZ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#XK80, Earth–Moon problem (conjecture)
History
- 2026-11-02: add by m2/dev
8EVKDAEWC4 8EVKDAEWC4
| URI | m2://inv/8EVKDAEWC4 |
|---|---|
| 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.23128#8G4T (statement)
History
- 2026-11-02: add by m2/v0.6.17
Averaged smoothness 8EVKN1WPW4
| URI | m2://inv/8EVKN1WPW4 |
|---|---|
| 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.04944#X2SR, Averaged smoothness (statement). In BHSY6QQCVK/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
8EVN5FYGN5 8EVN5FYGN5
| URI | m2://inv/8EVN5FYGN5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2105.03252#5XJK (definition). In 2E47BDDDR4/e1, definition 4.5
History
- 2026-10-27: add by m2/v0.3.5
8EVPKXVQAF 8EVPKXVQAF
| URI | m2://inv/8EVPKXVQAF |
|---|---|
| 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#1SKK (statement). In 9XMZTTSF5E/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
Ideal class group 8EVQMEVFCZ
| URI | m2://inv/8EVQMEVFCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#J8SB, Ideal class group (definition)
- wikipedia: Wikipedia List of commutative algebra topics#L28K, Ideal class group (definition)
History
- 2026-11-02: add by m2/dev
restate=exUlam, label=ex:ulam 8EVT41YZEG
| URI | m2://inv/8EVT41YZEG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07927#63PZ, restate=exUlam, label=ex:ulam (example). In GKM19DHQTM/e1, example 3.8
History
- 2026-10-29: add by m2/v0.4.10
Signalizer functor 8EVVEQK6HD
| URI | m2://inv/8EVVEQK6HD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signalizer functor, Signalizer functor (definition). Also Wikidata Q7512773
History
- 2026-11-02: add by m2/dev
8EVW4DDNVM 8EVW4DDNVM
| URI | m2://inv/8EVW4DDNVM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-prop.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 99.5
History
- 2026-11-01: add by m2/v0.6.13
8EVW9236DN 8EVW9236DN
| URI | m2://inv/8EVW9236DN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/infinite/hilberts-hotel.tex#defn:DedekindInfinite (definition). In PKGMM3P5QY, defn, section 79.9
History
- 2026-11-01: add by m2/v0.6.13
Uniform 8-polytope 8EVXMP35VD
| URI | m2://inv/8EVXMP35VD |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform 8-polytope, Uniform 8-polytope (object). Also Wikidata Q7885004
History
- 2026-11-02: add by m2/dev
8EVZ1GQSN7 8EVZ1GQSN7
| URI | m2://inv/8EVZ1GQSN7 |
|---|---|
| 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.17737#IV6V (statement). In 8SXY7Y68HV/e1, proposition 6.18
History
- 2026-10-28: add by m2/v0.4.2
8EW1JYEZ34 8EW1JYEZ34
| URI | m2://inv/8EW1JYEZ34 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15593#K41L (statement). In PREJREM4BB/e1, proposition 4.14
History
- 2026-10-28: add by m2/v0.4.2
8EWAD6DF78 8EWAD6DF78
| URI | m2://inv/8EWAD6DF78 |
|---|---|
| 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#DFM5 (statement). In FSGSVD0XYH/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Quiver diagram 8EWJ7259DT
| URI | m2://inv/8EWJ7259DT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#5U8G, Quiver diagram (unknown)
History
- 2026-11-02: add by m2/dev
8EWP5MA3V7 8EWP5MA3V7
| URI | m2://inv/8EWP5MA3V7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16640#7R6D (statement). In DEVX71G2ZK/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
8EX5JW37R3 8EX5JW37R3
| URI | m2://inv/8EX5JW37R3 |
|---|---|
| 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.15982#6VGQ (statement). In KB50SHR229/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Euler–Maclaurin formula 8EX6H1MH03
| URI | m2://inv/8EX6H1MH03 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Euler–Maclaurin formula 9P839VB8S7 |
Mentions
- wikidata: Wikidata Q282023, Euler–Maclaurin formula (statement). Also MathWorld Euler-MaclaurinIntegrationFormulas
- wikipedia: Wikipedia Euler–Maclaurin formula, Euler–Maclaurin formula (statement). Also Wikidata Q282023
History
- 2026-10-26: add by m2/dev
Modularity matrix 8EXC745ANA
| URI | m2://inv/8EXC745ANA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modularity (networks)#32AY, Modularity matrix (unknown)
History
- 2026-11-02: add by m2/dev
Dominique Haughton 8EXMC8J9RM
| URI | m2://inv/8EXMC8J9RM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#YCSF, Dominique Haughton (topic)
History
- 2026-11-02: add by m2/dev
8EXS3ZABBM 8EXS3ZABBM
| URI | m2://inv/8EXS3ZABBM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-3 (proof). In N54F33XE07, proof, section C.1.2
History
- 2026-11-01: add by m2/v0.6.13
8EXY7RTC2Y 8EXY7RTC2Y
| URI | m2://inv/8EXY7RTC2Y |
|---|---|
| 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-51 (exercise). In E9HS8K3A52, exercise, section 5.4.4
History
- 2026-11-01: add by m2/v0.6.13
epsilon numbers 8EYB5NNQ2N
| URI | m2://inv/8EYB5NNQ2N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Set theory > Ordinals > epsilon numbers, epsilon numbers (unknown). Also Mathlib Ordinal.epsilon
History
- 2026-10-26: add by m2/dev
8EYEAPD5K7 8EYEAPD5K7
| URI | m2://inv/8EYEAPD5K7 |
|---|---|
| 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.37237#UZUT (statement). In GBY82BZCNA/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
First Colony 8EYH58X4X8
| URI | m2://inv/8EYH58X4X8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#PFA8, First Colony (unknown)
History
- 2026-11-02: add by m2/dev
8EYWJBXG46 8EYWJBXG46
| URI | m2://inv/8EYWJBXG46 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.21670#S6IP (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties 8EZ4FTDCMR
| URI | m2://inv/8EZ4FTDCMR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plücker matrix#XS1O, Properties (statement)
History
- 2026-11-02: add by m2/dev
8EZ9NFAYWN 8EZ9NFAYWN
| URI | m2://inv/8EZ9NFAYWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23237#52YX (statement)
History
- 2026-11-02: add by m2/v0.6.17
8EZA74PG6Y 8EZA74PG6Y
| URI | m2://inv/8EZA74PG6Y |
|---|---|
| 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#04SS (statement). In JS2JSD0507/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
8EZAHBHPQ3 8EZAHBHPQ3
| URI | m2://inv/8EZAHBHPQ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2004.12552#2KM7 (statement). In TWPE10CZ1S/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
List of formulae involving pi 8EZAREJ33C
| URI | m2://inv/8EZAREJ33C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#5MMV, List of formulae involving pi (topic)
History
- 2026-11-02: add by m2/dev
Order 8EZD0G42V5
| URI | m2://inv/8EZD0G42V5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order (journal), Order (definition). Also Wikidata Q5693708
History
- 2026-11-02: add by m2/dev
Properties 8EZF5KAK48
| URI | m2://inv/8EZF5KAK48 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetical hierarchy#EQI2, Properties (statement)
History
- 2026-11-02: add by m2/dev
8EZH666RJQ 8EZH666RJQ
| URI | m2://inv/8EZH666RJQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02017#KHAM (definition). In F6C80AEXC1/e1, definition 2.8
History
- 2026-10-29: add by m2/v0.4.12
8EZNC0321C 8EZNC0321C
| URI | m2://inv/8EZNC0321C |
|---|---|
| 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.29784#F1LE (statement)
History
- 2026-11-01: add by m2/v0.6.15
strong law of large numbers 8EZS5JDP9C
| URI | m2://inv/8EZS5JDP9C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Strong law of large numbers 0DFWHQ839T |
Mentions
- wikidata: Wikidata Q25377495, strong law of large numbers (statement). Also MathWorld StrongLawofLargeNumbers, ProofWiki Kolmogorov's_Law
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
The Econometrics Journal 8EZSNK6W3Y
| URI | m2://inv/8EZSNK6W3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Econometrics Journal, The Econometrics Journal (definition). Also Wikidata Q5333343
History
- 2026-11-02: add by m2/dev
Implementations 8EZV8RWF96
| URI | m2://inv/8EZV8RWF96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Powersort#X208, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Mei-Ling Ting Lee 8EZWJBFDVN
| URI | m2://inv/8EZWJBFDVN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#25JP, Mei-Ling Ting Lee (topic)
History
- 2026-11-02: add by m2/dev
Brogan, Donna 8EZWT5ENZX
| URI | m2://inv/8EZWT5ENZX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#KLS7, Brogan, Donna (topic)
History
- 2026-11-02: add by m2/dev
maxima and minima 8EZZ8GENN8
| URI | m2://inv/8EZZ8GENN8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Maximum and minimum 5X1YMSR204 |
Mentions
- wikidata: Wikidata Q845060, maxima and minima (unknown). Also Mathlib IsExtrOn, MathWorld Extremum
- wikipedia: Wikipedia Maximum and minimum, Maximum and minimum (definition). Also Wikidata Q845060
History
- 2026-10-26: add by m2/dev