Inventory rows F8
The cards of the rows of the inventory whose ids start with F8. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
loop space, iterated F803AKGW75
| URI | m2://inv/F803AKGW75 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/loop-space-iterated, loop space, iterated (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
F80AQ5WWRP F80AQ5WWRP
| URI | m2://inv/F80AQ5WWRP |
|---|---|
| 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.20421#PYDY (statement). In Q4R7J8JE3F/e1, lemma 2.14
History
- 2026-10-27: add by m2/v0.4.2
Truncated octagonal tiling F80DR8MDX3
| URI | m2://inv/F80DR8MDX3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated octagonal tiling, Truncated octagonal tiling (definition). Also Wikidata Q7847890
History
- 2026-11-02: add by m2/dev
F80FYP747R F80FYP747R
| URI | m2://inv/F80FYP747R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27715#KD8W (statement)
History
- 2026-11-01: add by m2/v0.6.15
A5 polytope F810R85837
| URI | m2://inv/F810R85837 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A5 polytope, A5 polytope (definition). Also Wikidata Q6560228
History
- 2026-11-02: add by m2/dev
F81DM426ER F81DM426ER
| URI | m2://inv/F81DM426ER |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05259#XZ4O (example). In X1J5HKPS3R/e1, example 2.7
History
- 2026-10-29: add by m2/v0.4.10
Uses F81F2XD0RX
| URI | m2://inv/F81F2XD0RX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Psychographics#UPIR, Uses (example)
History
- 2026-11-02: add by m2/dev
Games in relief F81FA7ZFGZ
| URI | m2://inv/F81FA7ZFGZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baseball statistics#FJKW, Games in relief (unknown)
History
- 2026-11-02: add by m2/dev
F81HV4B664 F81HV4B664
| URI | m2://inv/F81HV4B664 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27965#YZ1N (statement)
History
- 2026-11-01: add by m2/v0.6.15
path decomposition F81YHHQ9J9
| URI | m2://inv/F81YHHQ9J9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#B9ME, path decomposition (definition)
History
- 2026-11-02: add by m2/dev
Polyominoes F827N22QK0
| URI | m2://inv/F827N22QK0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#8APE, Polyominoes (definition)
History
- 2026-11-02: add by m2/dev
F82BEW7VVK F82BEW7VVK
| URI | m2://inv/F82BEW7VVK |
|---|---|
| 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#M9JY (statement). In X47RYAZF8P/e1, lemma 3.26
History
- 2026-10-28: add by m2/v0.4.2
supermanifold F82F0AXJ0G
| URI | m2://inv/F82F0AXJ0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Supermanifold Z0SB9HQBAJ |
Mentions
- wikidata: Wikidata Q3978062, supermanifold (unknown). Also EoM Super-manifold, nLab supermanifold
- wikipedia: Wikipedia Supermanifold, Supermanifold (definition). Also Wikidata Q3978062
History
- 2026-10-26: add by m2/dev
Rational number F82G3XWHZT
| URI | m2://inv/F82G3XWHZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#Z420, Rational number (definition)
History
- 2026-11-02: add by m2/dev
List of partial differential equation topics F82KCZKQFG
| URI | m2://inv/F82KCZKQFG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#D1C5, List of partial differential equation topics (topic)
History
- 2026-11-02: add by m2/dev
number of bivariate monomials with weighted-degree bound F82KJ13DPX
| URI | m2://inv/F82KJ13DPX |
|---|---|
| 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.08610#05W9, number of bivariate monomials with weighted-degree bound (statement). In CB2JWNS1E9/e1, fact 2.1
History
- 2026-10-29: add by m2/v0.4.10
F82NGGGYAX F82NGGGYAX
| URI | m2://inv/F82NGGGYAX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 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 math/0512416#8HLF (definition). In WJD9YPGGYH/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.3.5
F830HM2DBP F830HM2DBP
| URI | m2://inv/F830HM2DBP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23464#29VN (statement)
History
- 2026-11-02: add by m2/v0.6.17
F834ZBADH2 F834ZBADH2
| URI | m2://inv/F834ZBADH2 |
|---|---|
| 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.07370#WKPS (statement). In Q94QXG67CK/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.10
F83A8VRGGX F83A8VRGGX
| URI | m2://inv/F83A8VRGGX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36411#P8A8 (definition). In 9QG5CND2RQ/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
F83JBA30FY F83JBA30FY
| URI | m2://inv/F83JBA30FY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39706#X4RK (statement). In 79Y8JJMKP4/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Ashby, Deborah F83T02DFFH
| URI | m2://inv/F83T02DFFH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#2326, Ashby, Deborah (unknown)
History
- 2026-11-02: add by m2/dev
Certifiable Hypercontractivity F83TGGF0CK
| URI | m2://inv/F83TGGF0CK |
|---|---|
| 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 2609.30105#T5AT, Certifiable Hypercontractivity (definition)
History
- 2026-11-01: add by m2/v0.6.15
F84CZZPXC6 F84CZZPXC6
| URI | m2://inv/F84CZZPXC6 |
|---|---|
| Kind | conjecture |
| 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 1308.2487#9K22 (conjecture). In 322XSWF4EA/e1, conjecture 5.1
History
- 2026-10-27: add by m2/v0.3.5
F851GJ008C F851GJ008C
| URI | m2://inv/F851GJ008C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.06338#IQP0 (statement). In W1VVK7WDPK/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.0
Examples F852B4AY5R
| URI | m2://inv/F852B4AY5R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transcendental extension#XL1D, Examples (example)
History
- 2026-11-02: add by m2/dev
Finite Gram decomposition F852TK6HQT
| URI | m2://inv/F852TK6HQT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.08980#8SNY, Finite Gram decomposition (statement). In X407M6WFNR/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
catalecticant F853V1V9DV
| URI | m2://inv/F853V1V9DV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#TYY7, catalecticant (definition)
History
- 2026-11-02: add by m2/dev
Concentration inequality F85JRVNJ85
| URI | m2://inv/F85JRVNJ85 |
|---|---|
| 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.25301#PFD8, Concentration inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
Compound of five stellated truncated hexahedra F85KVC5VZP
| URI | m2://inv/F85KVC5VZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of five stellated truncated hexahedra, Compound of five stellated truncated hexahedra (definition). Also Wikidata Q5156864
History
- 2026-11-02: add by m2/dev
Main principles F85M5ZSQPW
| URI | m2://inv/F85M5ZSQPW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cypherpunk#6LH2, Main principles (statement)
History
- 2026-11-02: add by m2/dev
SOPT F85PXYTKA5
| URI | m2://inv/F85PXYTKA5 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24593#VAWX, SOPT (problem)
History
- 2026-11-01: add by m2/v0.6.15
F85SPTQKBR F85SPTQKBR
| URI | m2://inv/F85SPTQKBR |
|---|---|
| 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.25973#5MC1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
prime constellation F85VBK0V2D
| URI | m2://inv/F85VBK0V2D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78471277, prime constellation (unknown). Also MathWorld PrimeConstellation
History
- 2026-10-26: add by m2/dev
Definition F85W003F8F
| URI | m2://inv/F85W003F8F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-exponential#I3U0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Stefan Müller-Stach F85W4FCNEM
| URI | m2://inv/F85W4FCNEM |
|---|---|
| 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 Q5473734, Stefan Müller-Stach (unknown). Also nLab Stefan Müller-Stach
History
- 2026-10-26: add by m2/dev
Application F85WKJ2TX2
| URI | m2://inv/F85WKJ2TX2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical process control#8TCE, Application (example)
History
- 2026-11-02: add by m2/dev
F8616F3JR9 F8616F3JR9
| URI | m2://inv/F8616F3JR9 |
|---|---|
| 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.03081#D1C5 (statement). In TX0H26X4VX/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
Automatic tail non-concentration F861Z4E1N2
| URI | m2://inv/F861Z4E1N2 |
|---|---|
| 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.02790#6UBA, Automatic tail non-concentration (statement). In NB7HZ8W2K2/e1, proposition 14
History
- 2026-10-29: add by m2/v0.4.12
Example F86F2XKZB2
| URI | m2://inv/F86F2XKZB2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nondeterministic finite automaton#E80K, Example (example)
History
- 2026-11-02: add by m2/dev
First order Cauchy–Kovalevskaya theorem F86F7VHWV0
| URI | m2://inv/F86F7VHWV0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy–Kovalevskaya theorem#YEMT, First order Cauchy–Kovalevskaya theorem (statement)
History
- 2026-11-02: add by m2/dev
$\wedge$ Inversion F86GC07E6Y
| URI | m2://inv/F86GC07E6Y |
|---|---|
| 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 2506.16491#DJKR, $\wedge$ Inversion (statement). In P9J6P06Y40/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.3.5
Morris Eaton F86HGHDD9J
| URI | m2://inv/F86HGHDD9J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#3I74, Morris Eaton (unknown)
History
- 2026-11-02: add by m2/dev
Dov Tamari F86J0PR3WS
| URI | m2://inv/F86J0PR3WS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#EPHY, Dov Tamari (unknown)
History
- 2026-11-02: add by m2/dev
F86M7Y7PH7 F86M7Y7PH7
| URI | m2://inv/F86M7Y7PH7 |
|---|---|
| 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.08610#IS8S (statement). In CB2JWNS1E9/e1, lemma 6.6
History
- 2026-10-29: add by m2/v0.4.10
Vermeil's theorem F86VM3PEQX
| URI | m2://inv/F86VM3PEQX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vermeil's theorem, Vermeil's theorem (statement). Also Wikidata Q25304045
History
- 2026-11-02: add by m2/dev
Relation to the law of large numbers F86WGE4DFG
| URI | m2://inv/F86WGE4DFG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central limit theorem#SICC, Relation to the law of large numbers (statement)
History
- 2026-11-02: add by m2/dev
Commuting probability F879SA6HJ4
| URI | m2://inv/F879SA6HJ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commuting probability, Commuting probability (definition). Also Wikidata Q56887820
History
- 2026-11-02: add by m2/dev
Catmull–Clark subdivision surface F87FVWB761
| URI | m2://inv/F87FVWB761 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catmull–Clark subdivision surface, Catmull–Clark subdivision surface (definition). Also Wikidata Q1051211
History
- 2026-11-02: add by m2/dev
F87NR0EZM2 F87NR0EZM2
| URI | m2://inv/F87NR0EZM2 |
|---|---|
| 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 2412.12141#GC69 (statement). In V980ZMH759/e1, lemma 3.10
History
- 2026-10-27: add by m2/v0.4.0
F87VBGGAQH F87VBGGAQH
| URI | m2://inv/F87VBGGAQH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/three-valued-logics/kleene.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 42.4
History
- 2026-11-01: add by m2/v0.6.13
F87VKV34E9 F87VKV34E9
| URI | m2://inv/F87VKV34E9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.04099#PLXR (statement). In QPJ6FWG5HD/e1, proposition 2.78
History
- 2026-10-29: add by m2/v0.4.12
Julian Coolidge F87ZM5TQDS
| URI | m2://inv/F87ZM5TQDS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julian Coolidge, Julian Coolidge (topic). Also Wikidata Q1711970
History
- 2026-11-02: add by m2/dev
F88578FBAJ F88578FBAJ
| URI | m2://inv/F88578FBAJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#RLMF (statement). In JWNYJVH8XG/e1, lemma 2.31
History
- 2026-10-29: add by m2/v0.4.10
Charles Radin F887XRNR7Z
| URI | m2://inv/F887XRNR7Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Radin, Charles Radin (topic). Also Wikidata Q14492054
History
- 2026-11-02: add by m2/dev
F88EEH7N1A F88EEH7N1A
| URI | m2://inv/F88EEH7N1A |
|---|---|
| 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.32981#IZTZ (statement). In AXDF7YN2RW/e1, theorem 4.3
History
- 2026-10-31: add by m2/v0.5.6
F88KA0FYWE F88KA0FYWE
| URI | m2://inv/F88KA0FYWE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10262#NYBK (example). In MVSGDTN2PB/e1, example 4.20
History
- 2026-10-29: add by m2/v0.4.10
Hierarchical zigzags of small amplitude are realisable F88MEP40A8
| URI | m2://inv/F88MEP40A8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26129#LPJ7, Hierarchical zigzags of small amplitude are realisable (statement)
History
- 2026-11-01: add by m2/v0.6.15
F88QAS49MC F88QAS49MC
| URI | m2://inv/F88QAS49MC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21339#V33U (example)
History
- 2026-11-02: add by m2/v0.6.18
Anish Ghosh F88ZR4JB7R
| URI | m2://inv/F88ZR4JB7R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anish Ghosh, Anish Ghosh (topic). Also Wikidata Q102308629
History
- 2026-11-02: add by m2/dev
spirograph F892B0RXD8
| URI | m2://inv/F892B0RXD8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1485203, spirograph (unknown). Also MathWorld Spirograph
History
- 2026-10-26: add by m2/dev
global identification F894SDFDXY
| URI | m2://inv/F894SDFDXY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39511#G4HW, global identification (definition). In 6W9H24A378/e1, definition 7
History
- 2026-10-30: add by m2/v0.4.12
Israel Lyons F89FDXZC2K
| URI | m2://inv/F89FDXZC2K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Israel Lyons, Israel Lyons (topic). Also Wikidata Q510592
History
- 2026-11-02: add by m2/dev
F89PPHV80N F89PPHV80N
| URI | m2://inv/F89PPHV80N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Linear interpolation F89Q4ZQ9Q3
| URI | m2://inv/F89Q4ZQ9Q3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear interpolation, Linear interpolation (definition). Also Wikidata Q2266329
History
- 2026-11-02: add by m2/dev
Constructions F89R4RQJ39
| URI | m2://inv/F89R4RQJ39 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial cyclic order#2T2P, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Final topology F89T80JH6W
| URI | m2://inv/F89T80JH6W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#X6F5, Final topology (definition)
History
- 2026-11-02: add by m2/dev
Gilbreath's principle F89WD2YGD9
| URI | m2://inv/F89WD2YGD9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gilbreath shuffle#A6ZS, Gilbreath's principle (statement)
History
- 2026-11-02: add by m2/dev
F8A4FXYGPD F8A4FXYGPD
| URI | m2://inv/F8A4FXYGPD |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/introduction/church-rosser.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 36.5
History
- 2026-11-01: add by m2/v0.6.13
Heron's formula F8A9CVHDV3
| URI | m2://inv/F8A9CVHDV3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#E1DF, Heron's formula (statement)
History
- 2026-11-02: add by m2/dev
TinkerPlots F8ADZPVEKR
| URI | m2://inv/F8ADZPVEKR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AKEX, TinkerPlots (definition)
History
- 2026-11-02: add by m2/dev
Support Vector Machine F8AES2PGVF
| URI | m2://inv/F8AES2PGVF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#LHSY, Support Vector Machine (definition)
History
- 2026-11-02: add by m2/dev
Aleš Žiberna F8AJT7T75J
| URI | m2://inv/F8AJT7T75J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aleš Žiberna, Aleš Žiberna (topic). Also Wikidata Q108062131
History
- 2026-11-02: add by m2/dev
Arbitrary fixed finite budgets F8ANDPY9PE
| URI | m2://inv/F8ANDPY9PE |
|---|---|
| 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.03638#4VQ4, Arbitrary fixed finite budgets (statement). In H39AZG67B6/e1, corollary 3.2
History
- 2026-10-29: add by m2/v0.4.12
F8AVT70XVV F8AVT70XVV
| URI | m2://inv/F8AVT70XVV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31783#00K3 (definition). In CGNVT4C47F/e1, definition 1.1
History
- 2026-10-31: add by m2/v0.5.6
F8AWW1SXHX F8AWW1SXHX
| URI | m2://inv/F8AWW1SXHX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01888#AP0C (statement). In A89G9GMPC9/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
F8B1W31XQS F8B1W31XQS
| URI | m2://inv/F8B1W31XQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06645#K1G0 (statement). In 79H1DEK4M9/e1, theorem 7.2
History
- 2026-10-29: add by m2/v0.4.10
affine space F8B4BN6N5A
| URI | m2://inv/F8B4BN6N5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Affine space 09XNAPTJQ7 |
Mentions
- wikidata: Wikidata Q382698, affine space (unknown). Also LMFDB knowl ag.affine_space, MathWorld AffineSpace, nLab affine space
- wikipedia: Wikipedia Affine space, Affine space (definition). Also Wikidata Q382698
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Cauchy interlacing theorem F8B5972QYE
| URI | m2://inv/F8B5972QYE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#14O6, Cauchy interlacing theorem (statement)
- wikipedia: Wikipedia List of inequalities#1S05, Cauchy interlacing theorem (statement)
History
- 2026-11-02: add by m2/dev
Thermal stress F8B59WJ6XB
| URI | m2://inv/F8B59WJ6XB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermal stress, Thermal stress (definition). Also Wikidata Q2419918
History
- 2026-11-02: add by m2/dev
Erich Reissner F8BM2WCPNQ
| URI | m2://inv/F8BM2WCPNQ |
|---|---|
| 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#LNS7, Erich Reissner (unknown)
History
- 2026-11-02: add by m2/dev
F8BQMKAY4Q F8BQMKAY4Q
| URI | m2://inv/F8BQMKAY4Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24545#40NZ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Contact lift of an area-preserving disk map F8BWV80D4M
| URI | m2://inv/F8BWV80D4M |
|---|---|
| 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.28014#0ZT0, Contact lift of an area-preserving disk map (statement)
History
- 2026-11-01: add by m2/v0.6.15
Realcompact space F8BZXPZ077
| URI | m2://inv/F8BZXPZ077 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Realcompact space, Realcompact space (definition). Also Wikidata Q7301190
History
- 2026-11-02: add by m2/dev
Bernoulli decomposition F8C39FYDFP
| URI | m2://inv/F8C39FYDFP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21476#7ZV8, Bernoulli decomposition (statement)
History
- 2026-11-02: add by m2/v0.6.18
Sergei N. Artemov F8C516K1P0
| URI | m2://inv/F8C516K1P0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JA11, Sergei N. Artemov (unknown)
History
- 2026-11-02: add by m2/dev
Sidney Holgate F8C7XGSPF9
| URI | m2://inv/F8C7XGSPF9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sidney Holgate, Sidney Holgate (topic). Also Wikidata Q16745059
History
- 2026-11-02: add by m2/dev
Principles of the standard predicate F8C8FJYWKA
| URI | m2://inv/F8C8FJYWKA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Internal set theory#RQV8, Principles of the standard predicate (statement)
History
- 2026-11-02: add by m2/dev
F8CDEYEPZA F8CDEYEPZA
| URI | m2://inv/F8CDEYEPZA |
|---|---|
| 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.00875#3S0Q (statement). In TAW5BVYH9J/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Standardized moment F8CFRYGAFV
| URI | m2://inv/F8CFRYGAFV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TOE0, Standardized moment (definition)
History
- 2026-11-02: add by m2/dev
Reference energy and moment bounds F8CN3PY919
| URI | m2://inv/F8CN3PY919 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-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.37615#8BWM, Reference energy and moment bounds (statement). In T2B54J7121/e1, lemma 3.9
History
- 2026-10-30: add by m2/v0.4.12
F8CQ3968PV F8CQ3968PV
| URI | m2://inv/F8CQ3968PV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#ex:fiber-map-not-conn (exercise). In N54F33XE07, ex, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Thomas Hines F8CZZQN9V2
| URI | m2://inv/F8CZZQN9V2 |
|---|---|
| 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#ROSD, Thomas Hines (unknown)
History
- 2026-11-02: add by m2/dev
Linear-feedback shift register F8D8ZWHXA9
| URI | m2://inv/F8D8ZWHXA9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#N3CU, Linear-feedback shift register (definition)
History
- 2026-11-02: add by m2/dev
Wrapped normal distribution F8DA9G9ZJY
| URI | m2://inv/F8DA9G9ZJY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FQP8, Wrapped normal distribution (definition)
History
- 2026-11-02: add by m2/dev
Applications F8DBVT5CJ9
| URI | m2://inv/F8DBVT5CJ9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular bipyramid#GKLJ, Applications (example)
History
- 2026-11-02: add by m2/dev
F8DEGBRB50 F8DEGBRB50
| URI | m2://inv/F8DEGBRB50 |
|---|---|
| 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 2112.14455#GUSC (statement). In VDE5R8HBS1/e1, corollary 2.9
History
- 2026-10-27: add by m2/v0.3.5
F8DR5YYJAX F8DR5YYJAX
| URI | m2://inv/F8DR5YYJAX |
|---|---|
| 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 2006.05158#C74B (statement). In 4VCW6SZQXK/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.5
Carol number F8DRRPDJ3F
| URI | m2://inv/F8DRRPDJ3F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q819137, Carol number (unknown). Also MathWorld Near-SquarePrime
History
- 2026-10-26: add by m2/dev
F8DS0ADW5X F8DS0ADW5X
| URI | m2://inv/F8DS0ADW5X |
|---|---|
| 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.10469#CU11 (statement). In Q39BEKW6D9/e1, theorem 3.9
History
- 2026-10-29: add by m2/v0.4.10
Formal definition F8DTJ61G41
| URI | m2://inv/F8DTJ61G41 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measurable function#U9NU, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Matching the two critical sums F8DVX7VC3T
| URI | m2://inv/F8DVX7VC3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#V6BD, Matching the two critical sums (statement). In 7NS75J7HAM/e1, proposition 9.28
History
- 2026-10-31: add by m2/v0.5.6
Structural explanation F8E3ND8A33
| URI | m2://inv/F8E3ND8A33 |
|---|---|
| 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.23607#YYB1, Structural explanation (statement)
History
- 2026-11-02: add by m2/v0.6.17
argument F8E6RSFQEX
| URI | m2://inv/F8E6RSFQEX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#2E46, argument (definition)
History
- 2026-11-02: add by m2/dev
Chu–Harrington limit F8EH83H9XK
| URI | m2://inv/F8EH83H9XK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chu–Harrington limit, Chu–Harrington limit (definition). Also Wikidata Q5115112
History
- 2026-11-02: add by m2/dev
Definition F8ETJZ3D29
| URI | m2://inv/F8ETJZ3D29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson's ratio#92FI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Computer graphics (computer science) F8F2ANCHCG
| URI | m2://inv/F8F2ANCHCG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#GEYF, Computer graphics (computer science) (unknown)
History
- 2026-11-02: add by m2/dev
Polynomial projections and exceptional parameters F8F6M8A0CS
| URI | m2://inv/F8F6M8A0CS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22485#5UK5, Polynomial projections and exceptional parameters (statement)
History
- 2026-11-02: add by m2/v0.6.17
Under Darcy's law F8F7HK5HKX
| URI | m2://inv/F8F7HK5HKX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darrieus–Landau instability#Y3SY, Under Darcy's law (statement)
History
- 2026-11-02: add by m2/dev
F8FEKWNKWM F8FEKWNKWM
| URI | m2://inv/F8FEKWNKWM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20495#52VZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
rest energy F8FJ4YMG35
| URI | m2://inv/F8FJ4YMG35 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11663629, rest energy (definition). Also ProofWiki Definition:Rest-Mass_Energy
History
- 2026-10-26: add by m2/dev
Fay Farnum F8FKSF2JGG
| URI | m2://inv/F8FKSF2JGG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fay Farnum, Fay Farnum (topic). Also Wikidata Q97290218
History
- 2026-11-02: add by m2/dev
Backwards Stability F8FNFXRN8P
| URI | m2://inv/F8FNFXRN8P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07240#330D, Backwards Stability (statement). In D0F1GK5AHW/e1, proposition 3.9
History
- 2026-10-29: add by m2/v0.4.10
Klein's j-invariant F8FQ15BZQT
| URI | m2://inv/F8FQ15BZQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Felix Klein#GNWC, Klein's j-invariant (definition)
History
- 2026-11-02: add by m2/dev
F8G1GGRXT4 F8G1GGRXT4
| URI | m2://inv/F8G1GGRXT4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ord-arithmetic/addition.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 71.8
History
- 2026-11-01: add by m2/v0.6.13
matching F8G79B05YK
| URI | m2://inv/F8G79B05YK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.6/matching, matching (concept). In Y91XFCEVHQ, index, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
Helmholtz's theorems F8GAVTTRBV
| URI | m2://inv/F8GAVTTRBV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#IHJ6, Helmholtz's theorems (statement)
History
- 2026-11-02: add by m2/dev
Properties F8GBPHGRB1
| URI | m2://inv/F8GBPHGRB1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order embedding#AG9U, Properties (statement)
History
- 2026-11-02: add by m2/dev
F8GJ0YJ7T8 F8GJ0YJ7T8
| URI | m2://inv/F8GJ0YJ7T8 |
|---|---|
| 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.28046#VW6R (statement)
History
- 2026-11-01: add by m2/v0.6.15
The method F8H0N6HTRR
| URI | m2://inv/F8H0N6HTRR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FTCS scheme#7SDQ, The method (definition)
History
- 2026-11-02: add by m2/dev
effluent F8H3E2P7F4
| URI | m2://inv/F8H3E2P7F4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#9HTH, effluent (definition)
History
- 2026-11-02: add by m2/dev
sets without arithmetic progressions F8H99T525C
| URI | m2://inv/F8H99T525C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Additive combinatorics > sets without arithmetic progressions, sets without arithmetic progressions (unknown). Also Mathlib ThreeAPFree
History
- 2026-10-26: add by m2/dev
F8HMY781WN F8HMY781WN
| URI | m2://inv/F8HMY781WN |
|---|---|
| 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.29478#VY2K (statement). In XAFYHH8G7X/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
F8HPH3Q2J5 F8HPH3Q2J5
| URI | m2://inv/F8HPH3Q2J5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09561#5TSF (statement). In WDV5E2CVTR/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.10
Kobayashi–Hitchin correspondence F8HQP33F4K
| URI | m2://inv/F8HQP33F4K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6424285, Kobayashi–Hitchin correspondence (unknown). Also nLab Kobayashi-Hitchin correspondence
- wikipedia: Wikipedia Kobayashi–Hitchin correspondence, Kobayashi–Hitchin correspondence (definition). Also Wikidata Q6424285
History
- 2026-10-26: add by m2/dev
Richard Jeffrey F8HT9D5XEV
| URI | m2://inv/F8HT9D5XEV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#6HBV, Richard Jeffrey (topic)
History
- 2026-11-02: add by m2/dev
F8HTD6RC1Y F8HTD6RC1Y
| URI | m2://inv/F8HTD6RC1Y |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28295#V0C1 (example)
History
- 2026-11-01: add by m2/v0.6.15
2-group F8HTVFZQY4
| URI | m2://inv/F8HTVFZQY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4596948, 2-group (unknown). Also nLab 2-group
- wikipedia: Wikipedia 2-group, 2-group (definition). Also Wikidata Q4596948
History
- 2026-10-26: add by m2/dev
Byeong U. Park F8HY23F69W
| URI | m2://inv/F8HY23F69W |
|---|---|
| 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#0NRA, Byeong U. Park (topic)
History
- 2026-11-02: add by m2/dev
F8HYGFTZES F8HYGFTZES
| URI | m2://inv/F8HYGFTZES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/stokes.tex#definition-4 (definition). In RZP28ERRZV, definition, section 46.4
History
- 2026-11-01: add by m2/v0.6.13
Truncated order-7 heptagonal tiling F8J4GXTDN6
| URI | m2://inv/F8J4GXTDN6 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-7 heptagonal tiling, Truncated order-7 heptagonal tiling (object). Also Wikidata Q7847904
History
- 2026-11-02: add by m2/dev
F8J52XH75V F8J52XH75V
| URI | m2://inv/F8J52XH75V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05471#8MX9 (statement). In WDWF9WKNK1/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
Seymour Papert F8J5ZMX31X
| URI | m2://inv/F8J5ZMX31X |
|---|---|
| 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 Q335027, Seymour Papert (unknown). Also ProofWiki Mathematician:Seymour_Aubrey_Papert
History
- 2026-10-26: add by m2/dev
F8J8F4KPJ9 F8J8F4KPJ9
| URI | m2://inv/F8J8F4KPJ9 |
|---|---|
| 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.03071#SAOI (statement). In Z2M4D55R57/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Finite-first-moment long-range limit F8JFTAJYDA
| URI | m2://inv/F8JFTAJYDA |
|---|---|
| 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.20215#Q3TD, Finite-first-moment long-range limit (statement)
History
- 2026-11-02: add by m2/v0.6.18
F8JG17H1EW F8JG17H1EW
| URI | m2://inv/F8JG17H1EW |
|---|---|
| Kind | statement |
| 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#W3GJ (statement). In X38P26DK6S/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.4.0
F8JNW5PPQG F8JNW5PPQG
| URI | m2://inv/F8JNW5PPQG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#LQEN (example). In Z7E16PFFCP/e1, example 3.4
History
- 2026-10-30: add by m2/v0.4.12
trigonometry F8JQG5YPRM
| URI | m2://inv/F8JQG5YPRM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/2.4.1/trigonometry, trigonometry (concept). In 907G4C4EJ1, index, section 2.4.1
History
- 2026-11-01: add by m2/v0.6.13
F8JT8MYW9C F8JT8MYW9C
| URI | m2://inv/F8JT8MYW9C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#example-1 (example). In RZP28ERRZV, example, section 55.1
History
- 2026-11-01: add by m2/v0.6.13
Approximation theorems F8JVDW09D1
| URI | m2://inv/F8JVDW09D1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adele ring#07R1, Approximation theorems (statement)
History
- 2026-11-02: add by m2/dev
F8JYMGQYN6 F8JYMGQYN6
| URI | m2://inv/F8JYMGQYN6 |
|---|---|
| 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 1011.1990#MWRA (statement). In GV0JBN5DWQ/e1, lemma D.5
History
- 2026-10-27: add by m2/v0.3.5
F8JYMK17HF F8JYMK17HF
| URI | m2://inv/F8JYMK17HF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/minimization-representable.tex#lem:less-nsucc (statement). In PKGMM3P5QY, lem, section 29.10
History
- 2026-11-01: add by m2/v0.6.13
F8K5D1PRVQ F8K5D1PRVQ
| URI | m2://inv/F8K5D1PRVQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28649#V7DY (statement)
History
- 2026-11-01: add by m2/v0.6.15
F8K9DMV6C7 F8K9DMV6C7
| URI | m2://inv/F8K9DMV6C7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.21969#LUHO (statement)
History
- 2026-11-02: add by m2/v0.6.17
Q-expansion F8KAE5E7KY
| URI | m2://inv/F8KAE5E7KY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular form#B6NJ, Q-expansion (unknown)
History
- 2026-11-02: add by m2/dev
F8KNJNCC7J F8KNJNCC7J
| URI | m2://inv/F8KNJNCC7J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#NAL2 (statement). In 3KTZ6Z615H/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
F8KP2677F0 F8KP2677F0
| URI | m2://inv/F8KP2677F0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-1.xml#example-1 (example). In 649HGZKE96, example, section 7.1.2
History
- 2026-11-01: add by m2/v0.6.13
S-space F8M2VT23DX
| URI | m2://inv/F8M2VT23DX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#TMPT, S-space (definition)
History
- 2026-11-02: add by m2/dev
Method F8M5QFQ2NJ
| URI | m2://inv/F8M5QFQ2NJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barzilai–Borwein method#C8JY, Method (definition)
History
- 2026-11-02: add by m2/dev
F8M93YEW9T F8M93YEW9T
| URI | m2://inv/F8M93YEW9T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21929#YK4F (statement). In 2PP4XRVS0J/e1, corollary 3.6
History
- 2026-10-27: add by m2/v0.4.2
Formal definition F8MBZ1ZBGV
| URI | m2://inv/F8MBZ1ZBGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symplectomorphism#OQ2W, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Cobordism bound F8MEJ8CKEF
| URI | m2://inv/F8MEJ8CKEF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10206#KKQQ, Cobordism bound (statement). In 8TRCP1482Q/e1, theorem B.22
History
- 2026-10-29: add by m2/v0.4.10
Epigraph F8MF6D1PSY
| URI | m2://inv/F8MF6D1PSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epigraph (mathematics), Epigraph (definition). Also Wikidata Q1347059
History
- 2026-11-02: add by m2/dev
F8MKEXDGD1 F8MKEXDGD1
| URI | m2://inv/F8MKEXDGD1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16562#874Z (statement). In 7QGPEBC70Y/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.2
F8MPN3ZN4H F8MPN3ZN4H
| URI | m2://inv/F8MPN3ZN4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18673#AC3O (statement). In 7ZFD9XRKA1/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
F8MRY41GSK F8MRY41GSK
| URI | m2://inv/F8MRY41GSK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14841#37VI (statement). In 6V5HP8W1ZG/e1, proposition 15
History
- 2026-10-28: add by m2/v0.4.2
Pierre Berthelot F8MVC12ZEY
| URI | m2://inv/F8MVC12ZEY |
|---|---|
| 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 Q931228, Pierre Berthelot (unknown). Also nLab Pierre Berthelot
- wikipedia: Wikipedia Pierre Berthelot, Pierre Berthelot (topic). Also Wikidata Q931228
History
- 2026-10-26: add by m2/dev
Detrended fluctuation analysis F8MWWXBCMM
| URI | m2://inv/F8MWWXBCMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Detrended fluctuation analysis, Detrended fluctuation analysis (definition). Also Wikidata Q2451452
History
- 2026-11-02: add by m2/dev
$q$ Commutes with Pointwise Weakening F8N0PDCM5Z
| URI | m2://inv/F8N0PDCM5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#71PS, $q$ Commutes with Pointwise Weakening (statement). In CPYWHRTPKC/e1, lemma 2.23
History
- 2026-10-27: add by m2/v0.4.2
balanced set F8N45CDTBB
| URI | m2://inv/F8N45CDTBB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Balanced set 2TDSHJJYS4 |
Mentions
- wikidata: Wikidata Q778785, balanced set (unknown). Also MathWorld BalancedSet, nLab balanced set
- wikipedia: Wikipedia Balanced set, Balanced set (definition). Also Wikidata Q778785
History
- 2026-10-26: add by m2/dev
Victoria Powers F8N75ZC1QQ
| URI | m2://inv/F8N75ZC1QQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VUYG, Victoria Powers (topic)
History
- 2026-11-02: add by m2/dev
Lan Wang F8N7J7M1Q3
| URI | m2://inv/F8N7J7M1Q3 |
|---|---|
| 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#55K9, Lan Wang (topic)
History
- 2026-11-02: add by m2/dev
F8N9816Z0A F8N9816Z0A
| URI | m2://inv/F8N9816Z0A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29723#B0RA (statement)
History
- 2026-11-01: add by m2/v0.6.15
F8N9PJZ0WF F8N9PJZ0WF
| URI | m2://inv/F8N9PJZ0WF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#VS24 (example). In PWXT7J9JX3/e1, example 4.2
History
- 2026-10-28: add by m2/v0.4.2
Higher stack F8N9WXY7J7
| URI | m2://inv/F8N9WXY7J7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higher stack, Higher stack (definition). Also Wikidata Q133799740
History
- 2026-11-02: add by m2/dev
F8NBA5HAHV F8NBA5HAHV
| URI | m2://inv/F8NBA5HAHV |
|---|---|
| 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.00789#YM8C (statement). In 4WPYBTARS2/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
Proportional cake-cutting with different entitlements F8NCDN4MC0
| URI | m2://inv/F8NCDN4MC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proportional cake-cutting with different entitlements, Proportional cake-cutting with different entitlements (definition). Also Wikidata Q24966331
History
- 2026-11-02: add by m2/dev
Nathan Jacobson F8NM1ATCRX
| URI | m2://inv/F8NM1ATCRX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7CEI, Nathan Jacobson (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5GQ0, Nathan Jacobson (unknown)
History
- 2026-11-02: add by m2/dev
Definition F8NPE0PHKR
| URI | m2://inv/F8NPE0PHKR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centered coloring#5RHZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Soft projection and known postprocessing F8NQSZ81XT
| URI | m2://inv/F8NQSZ81XT |
|---|---|
| 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.01843#716P, Soft projection and known postprocessing (statement). In EDG9ZFDSWK/e1, corollary B.15
History
- 2026-10-29: add by m2/v0.4.12
Lénárt sphere F8NRSY9P4P
| URI | m2://inv/F8NRSY9P4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lénárt sphere, Lénárt sphere (definition). Also Wikidata Q6710981
History
- 2026-11-02: add by m2/dev
F8NWN7QX69 F8NWN7QX69
| URI | m2://inv/F8NWN7QX69 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.16339#91OA (statement). In ER5EH4W919/e1, lemma 9.8
History
- 2026-10-28: add by m2/v0.4.2
Formal sum F8NZGFNGBF
| URI | m2://inv/F8NZGFNGBF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal sum, Formal sum (definition). Also Wikidata Q30701870
History
- 2026-11-02: add by m2/dev
Ignacy Zaborowski F8P1GPD45D
| URI | m2://inv/F8P1GPD45D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ignacy Zaborowski, Ignacy Zaborowski (topic). Also Wikidata Q8866031
History
- 2026-11-02: add by m2/dev
F8PBB058MH F8PBB058MH
| URI | m2://inv/F8PBB058MH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39260#IJTS (statement). In ZNDB1AZZSA/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
logistic distribution F8PDQMHP3Y
| URI | m2://inv/F8PDQMHP3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q589603, logistic distribution (unknown). Also MathWorld LogisticDistribution
- wikipedia: Wikipedia Logistic distribution, Logistic distribution (definition). Also Wikidata Q589603
History
- 2026-10-26: add by m2/dev
Riemann mapping theorem F8PPQ3SG8J
| URI | m2://inv/F8PPQ3SG8J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1.4/riemann-mapping-theorem, Riemann mapping theorem (concept). In VNMV985MXX, index, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Akihiro Kanamori F8PTBC1922
| URI | m2://inv/F8PTBC1922 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Akihiro Kanamori, Akihiro Kanamori (topic). Also Wikidata Q418106
History
- 2026-11-02: add by m2/dev
F8PW2P7TGE F8PW2P7TGE
| URI | m2://inv/F8PW2P7TGE |
|---|---|
| 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 2303.10963#QCIR (statement). In F32XWYWG8E/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
F8PWG1BG33 F8PWG1BG33
| URI | m2://inv/F8PWG1BG33 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop-19 (statement). In VNMV985MXX, prop, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
F8PZ5Q342Z F8PZ5Q342Z
| URI | m2://inv/F8PZ5Q342Z |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31910#QTNG (example). In E4EK1XXPY4/e1, example 6.3
History
- 2026-10-31: add by m2/v0.5.6
F8Q2R5EP2X F8Q2R5EP2X
| URI | m2://inv/F8Q2R5EP2X |
|---|---|
| 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.21501#K8NJ (example). In 1H64QT301C/e1, example 3.2
History
- 2026-10-27: add by m2/v0.4.2
Mined squares F8QEDK6SCK
| URI | m2://inv/F8QEDK6SCK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zugzwang#OQA5, Mined squares (unknown)
History
- 2026-11-02: add by m2/dev
Properties F8QHZEHTSX
| URI | m2://inv/F8QHZEHTSX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucas–Carmichael number#S2D5, Properties (statement)
History
- 2026-11-02: add by m2/dev
F8QJ1KBYBT F8QJ1KBYBT
| URI | m2://inv/F8QJ1KBYBT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16431#ZI0X (statement). In 7NX9HA8VPM/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
F8QJKFJGN3 F8QJKFJGN3
| URI | m2://inv/F8QJKFJGN3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28803#FMZ5 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Homomorphism F8QK3MVPZJ
| URI | m2://inv/F8QK3MVPZJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#9K8Q, Homomorphism (definition)
History
- 2026-11-02: add by m2/dev
F8QKXFYCRM F8QKXFYCRM
| URI | m2://inv/F8QKXFYCRM |
|---|---|
| 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.22413#6CSS (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition F8QMNPTS7T
| URI | m2://inv/F8QMNPTS7T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joint entropy#LZ5T, Definition (definition)
History
- 2026-11-02: add by m2/dev
F8QPJF8E11 F8QPJF8E11
| URI | m2://inv/F8QPJF8E11 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#GNR0 (statement). In X923ZEY423/e1, proposition 1.3.6
History
- 2026-10-27: add by m2/v0.3.5
Characterization F8QTXHHRAP
| URI | m2://inv/F8QTXHHRAP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Squaregraph#GKZ7, Characterization (statement)
History
- 2026-11-02: add by m2/dev
F8R1FGAJ5A F8R1FGAJ5A
| URI | m2://inv/F8R1FGAJ5A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01208#1HUV (statement). In 317GZJ38HS/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.12
BMDP F8R1Q4EYV4
| URI | m2://inv/F8R1Q4EYV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ILWW, BMDP (definition)
History
- 2026-11-02: add by m2/dev
F8R2EBAVSY F8R2EBAVSY
| URI | m2://inv/F8R2EBAVSY |
|---|---|
| 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#DJHQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples and counterexamples F8R2SJFPK7
| URI | m2://inv/F8R2SJFPK7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear combination#6QMF, Examples and counterexamples (example)
History
- 2026-11-02: add by m2/dev
F8R66YJWS5 F8R66YJWS5
| URI | m2://inv/F8R66YJWS5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/admissible-derivable.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 61.6
History
- 2026-11-01: add by m2/v0.6.13
Rachel Ward F8R8F2KM5W
| URI | m2://inv/F8R8F2KM5W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rachel Ward (mathematician), Rachel Ward (topic). Also Wikidata Q30122229
History
- 2026-11-02: add by m2/dev
F8RASP53WG F8RASP53WG
| URI | m2://inv/F8RASP53WG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CountableSets.tex#problem-1 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
F8RD307AAA F8RD307AAA
| URI | m2://inv/F8RD307AAA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#2ZMS (definition). In CGA36VE1C5/e1, definition 3.5.1
History
- 2026-10-27: add by m2/v0.3.6
Multipliers, period and persistence F8REWZRS3K
| URI | m2://inv/F8REWZRS3K |
|---|---|
| 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.15686#WG35, Multipliers, period and persistence (statement). In 4HCK722M2G/e1, corollary 2.9
History
- 2026-10-28: add by m2/v0.4.2
F8RF70K0Y8 F8RF70K0Y8
| URI | m2://inv/F8RF70K0Y8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17875#724B (example). In AQX7DGD360/e1, example 5.13
History
- 2026-10-28: add by m2/v0.4.2
L-reduction F8RJWG46HX
| URI | m2://inv/F8RJWG46HX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-reduction, L-reduction (definition). Also Wikidata Q5366944
History
- 2026-11-02: add by m2/dev
Bentobox F8RM86WXM0
| URI | m2://inv/F8RM86WXM0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Units of information#RPIS, Bentobox (unknown)
History
- 2026-11-02: add by m2/dev
Norbert A'Campo F8RR5Y3PVP
| URI | m2://inv/F8RR5Y3PVP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norbert A'Campo, Norbert A'Campo (topic). Also Wikidata Q125997
History
- 2026-11-02: add by m2/dev
Yoneda lemma F8RRYHZMAW
| URI | m2://inv/F8RRYHZMAW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#5KPG, Yoneda lemma (statement)
History
- 2026-11-02: add by m2/dev
F8RVHB92WK F8RVHB92WK
| URI | m2://inv/F8RVHB92WK |
|---|---|
| Kind | statement |
| 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 2610.01498#1FI0 (statement). In 75GDSC8460/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Ross Honsberger F8S0G1YBW4
| URI | m2://inv/F8S0G1YBW4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ross Honsberger, Ross Honsberger (topic). Also Wikidata Q1699155
History
- 2026-11-02: add by m2/dev
F8SBQ7G99A F8SBQ7G99A
| URI | m2://inv/F8SBQ7G99A |
|---|---|
| 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 2207.07461#7HS4 (statement). In GAG532VMPF/e1, lemma 4.4.2
History
- 2026-10-27: add by m2/v0.3.5
F8SJ1ZEGZ9 F8SJ1ZEGZ9
| URI | m2://inv/F8SJ1ZEGZ9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#BGYJ (definition). In 6KR7Z5ETRY/e1, definition 3.11
History
- 2026-10-27: add by m2/v0.3.5
F8SQHQPTAV F8SQHQPTAV
| URI | m2://inv/F8SQHQPTAV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.13523#9W2W (definition). In DDA62XQTWW/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.3.5
Nearest-neighbor chain algorithm F8SVNB5Q5B
| URI | m2://inv/F8SVNB5Q5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nearest-neighbor chain algorithm, Nearest-neighbor chain algorithm (definition). Also Wikidata Q17162702
History
- 2026-11-02: add by m2/dev
F8T0P3CC1F F8T0P3CC1F
| URI | m2://inv/F8T0P3CC1F |
|---|---|
| Kind | example |
| 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#I2OZ (example)
History
- 2026-11-01: add by m2/v0.6.15
Topology F8T9EB9TAN
| URI | m2://inv/F8T9EB9TAN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#ISGN, Topology (topic)
History
- 2026-11-02: add by m2/dev
evaluation F8TJNBCRTR
| URI | m2://inv/F8TJNBCRTR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#TF2X, evaluation (definition)
History
- 2026-11-02: add by m2/dev
F8TKZP75XF F8TKZP75XF
| URI | m2://inv/F8TKZP75XF |
|---|---|
| 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.08382#Z79U (statement). In GYMGDQS25R/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
Tukey depth F8TTWGMV1W
| URI | m2://inv/F8TTWGMV1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tukey depth, Tukey depth (definition). Also Wikidata Q104841720
History
- 2026-11-02: add by m2/dev
Rigidity percolation F8TV7N1TBN
| URI | m2://inv/F8TV7N1TBN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Percolation threshold#YFHJ, Rigidity percolation (unknown)
History
- 2026-11-02: add by m2/dev
Joseph Needham F8TW83SCNC
| URI | m2://inv/F8TW83SCNC |
|---|---|
| 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 Q318054, Joseph Needham (unknown). Also ProofWiki Mathematician:Noel_Joseph_Terence_Montgomery_Needham
History
- 2026-10-26: add by m2/dev
F8V25Z8MKD F8V25Z8MKD
| URI | m2://inv/F8V25Z8MKD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#liminfsupconv:prop (statement). In E59CDZA4DP, prop, section 10.3.2
History
- 2026-11-01: add by m2/v0.6.13
States of a diagram F8V42YTTDM
| URI | m2://inv/F8V42YTTDM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08583#C8Y7, States of a diagram (definition). In 5EKTECQ2P1/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
The Hahn–Mazurkiewicz theorem F8V6XQT656
| URI | m2://inv/F8V6XQT656 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space-filling curve#TWJH, The Hahn–Mazurkiewicz theorem (statement)
History
- 2026-11-02: add by m2/dev
F8VCF55M2J F8VCF55M2J
| URI | m2://inv/F8VCF55M2J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.22681#FSMI (definition). In 68VEQQX68G/e1, definition 1.16
History
- 2026-10-27: add by m2/v0.4.0
F8VK6E1EH3 F8VK6E1EH3
| URI | m2://inv/F8VK6E1EH3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29877#JJPZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
F8VQJK1K4Q F8VQJK1K4Q
| URI | m2://inv/F8VQJK1K4Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-proofs.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Properties F8VVADRWC2
| URI | m2://inv/F8VVADRWC2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-associative algebra#2H3R, Properties (statement)
History
- 2026-11-02: add by m2/dev
Fundamental matrix F8VWFYVF3Z
| URI | m2://inv/F8VWFYVF3Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental matrix (linear differential equation), Fundamental matrix (definition). Also Wikidata Q17014996
History
- 2026-11-02: add by m2/dev
F8VWMJACAR F8VWMJACAR
| URI | m2://inv/F8VWMJACAR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06699#7HVM (definition). In GXHKRV5BPY/e1, definition 3.13
History
- 2026-10-29: add by m2/v0.4.10
Examples F8VWRYE3R8
| URI | m2://inv/F8VWRYE3R8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplication algorithm#M0LK, Examples (example)
History
- 2026-11-02: add by m2/dev
Definitions F8VYH5GJJ5
| URI | m2://inv/F8VYH5GJJ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spin (physics)#2PD7, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Paul Dienes F8W1Q99J04
| URI | m2://inv/F8W1Q99J04 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Dienes, Paul Dienes (topic). Also Wikidata Q725443
History
- 2026-11-02: add by m2/dev
F8W39HP5K2 F8W39HP5K2
| URI | m2://inv/F8W39HP5K2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02935#B5SG (statement). In WE2KKAMEFW/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
theorem, four-color F8W65RXAJF
| URI | m2://inv/F8W65RXAJF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u6/theorem-four-color, theorem, four-color (concept). In N54F33XE07, index, section u1.u6
History
- 2026-11-01: add by m2/v0.6.13
Artin F8W91VF9TZ
| URI | m2://inv/F8W91VF9TZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35340#25GR, Artin (statement). In WCY07D1CJG/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
F8WMMZTA14 F8WMMZTA14
| URI | m2://inv/F8WMMZTA14 |
|---|---|
| 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.26434#TH63 (statement)
History
- 2026-11-01: add by m2/v0.6.15
F8WPW8NWVC F8WPW8NWVC
| URI | m2://inv/F8WPW8NWVC |
|---|---|
| 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 2602.19452#IZ5E (statement). In 3GF75S0XJ0/e1, lemma 2.11
History
- 2026-10-27: add by m2/v0.4.0
F8X16SQPQ5 F8X16SQPQ5
| URI | m2://inv/F8X16SQPQ5 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#proof-7 (proof). In RZP28ERRZV, proof, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Edray Herber Goins F8X4V8EVBF
| URI | m2://inv/F8X4V8EVBF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2S1K, Edray Herber Goins (topic)
History
- 2026-11-02: add by m2/dev
Orbifold atlas F8XFG80D4J
| URI | m2://inv/F8XFG80D4J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbifold#8UNR, Orbifold atlas (unknown)
History
- 2026-11-02: add by m2/dev
Standardised mortality rate F8XSE5GKVT
| URI | m2://inv/F8XSE5GKVT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#18MU, Standardised mortality rate (definition)
History
- 2026-11-02: add by m2/dev
Continuous compounding F8XXTPG1P8
| URI | m2://inv/F8XXTPG1P8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound interest#DMZ1, Continuous compounding (unknown)
History
- 2026-11-02: add by m2/dev
F8XXVPC497 F8XXVPC497
| URI | m2://inv/F8XXVPC497 |
|---|---|
| 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.11395#8D9L (example). In T3W7SMWQ73/e1, example 37
History
- 2026-10-28: add by m2/v0.4.3
Examples F8Y0D63SGX
| URI | m2://inv/F8Y0D63SGX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scala (programming language)#D0QJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Thomsen's theorem F8Y1N8SGAJ
| URI | m2://inv/F8Y1N8SGAJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#PS0F, Thomsen's theorem (statement)
History
- 2026-11-02: add by m2/dev
Ramin Takloo-Bighash F8Y2AHMFJS
| URI | m2://inv/F8Y2AHMFJS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#FI0V, Ramin Takloo-Bighash (topic)
History
- 2026-11-02: add by m2/dev
The formula F8Y9NEK39Z
| URI | m2://inv/F8Y9NEK39Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ELSV formula#2S0H, The formula (statement)
History
- 2026-11-02: add by m2/dev
A separation from the degree-twelve certificate cone F8YRJKV581
| URI | m2://inv/F8YRJKV581 |
|---|---|
| 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.04027#BGP4, A separation from the degree-twelve certificate cone (statement). In DQB4YR2DFH/e1, corollary G.1
History
- 2026-10-29: add by m2/v0.4.12
F8YT5JHS51 F8YT5JHS51
| URI | m2://inv/F8YT5JHS51 |
|---|---|
| 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 2503.16884#E3HN (statement). In B984KNW591/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
F8Z521QWJ1 F8Z521QWJ1
| URI | m2://inv/F8Z521QWJ1 |
|---|---|
| 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 2609.21994#U4QB (statement)
History
- 2026-11-02: add by m2/v0.6.17
Welch bound F8Z79Y08D2
| URI | m2://inv/F8Z79Y08D2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#YXJK, Welch bound (statement). In XYCBKM4WKY/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Width estimate F8ZDCPXCPC
| URI | m2://inv/F8ZDCPXCPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06028#Z0RI, Width estimate (statement). In GAZRH97SXG/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
F8ZDRZH586 F8ZDRZH586
| URI | m2://inv/F8ZDRZH586 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#3UQK (statement). In ABS9M47F4K/e1, corollary 3.13
History
- 2026-10-27: add by m2/v0.3.6
F8ZJQGN8DX F8ZJQGN8DX
| URI | m2://inv/F8ZJQGN8DX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20542#DTQA (statement). In 8PZXZ8Y9FK/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.4.2
F8ZM6QK53J F8ZM6QK53J
| URI | m2://inv/F8ZM6QK53J |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/eigenvalues.tex#proof-3 (proof). In RZP28ERRZV, proof, section 58.8
History
- 2026-11-01: add by m2/v0.6.13
Gwet's AC1 F8ZSC6TAWC
| URI | m2://inv/F8ZSC6TAWC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#EX9A, Gwet's AC1 (unknown)
History
- 2026-11-02: add by m2/dev
De Morgan duality F8ZV4HCAKY
| URI | m2://inv/F8ZV4HCAKY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#KHBB, De Morgan duality (definition)
History
- 2026-11-02: add by m2/dev
Small hexacronic icositetrahedron F8ZYZ6927P
| URI | m2://inv/F8ZYZ6927P |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small hexacronic icositetrahedron, Small hexacronic icositetrahedron (object). Also Wikidata Q7543070
History
- 2026-11-02: add by m2/dev
Stopping-time phases F8ZZF6AQFF
| URI | m2://inv/F8ZZF6AQFF |
|---|---|
| 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.09044#ZYG5, Stopping-time phases (statement). In 4KYENHR0J8/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10