Inventory rows K7
The cards of the rows of the inventory whose ids start with K7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
On the Dioptra K7079JGY08
| URI | m2://inv/K7079JGY08 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hero of Alexandria#4UMM, On the Dioptra (unknown)
History
- 2026-11-02: add by m2/dev
Semantic Subtyping $<:_i$ K709ENFT9E
| URI | m2://inv/K709ENFT9E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#6FGY, Semantic Subtyping $<:_i$ (definition). In CPYWHRTPKC/e1, definition 6.11
History
- 2026-10-27: add by m2/v0.4.2
Mixing-regularization objects K70A2TMZRH
| URI | m2://inv/K70A2TMZRH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14988#2CT6, Mixing-regularization objects (definition). In B29M4E6KGC/e1, definition G.1
History
- 2026-10-28: add by m2/v0.4.2
K70A8SXN63 K70A8SXN63
| URI | m2://inv/K70A8SXN63 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11671#JG0R (statement). In V06H8BAGEH/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.3
cone K70BZNEGF9
| URI | m2://inv/K70BZNEGF9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#X07L, cone (definition)
History
- 2026-11-02: add by m2/dev
Applications K70FWAFGDR
| URI | m2://inv/K70FWAFGDR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filon quadrature#HS8U, Applications (example)
History
- 2026-11-02: add by m2/dev
Projection K70V796539
| URI | m2://inv/K70V796539 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection (set theory), Projection (definition). Also Wikidata Q7249440
History
- 2026-11-02: add by m2/dev
K7149NZKMA K7149NZKMA
| URI | m2://inv/K7149NZKMA |
|---|---|
| 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.20558#X060 (example). In 46370P3Y9S/e1, example 4.7
History
- 2026-10-27: add by m2/v0.4.2
K719H8DB3H K719H8DB3H
| URI | m2://inv/K719H8DB3H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31126#Z3NE (statement). In GK1V5GEHTK/e1, proposition 2.9
History
- 2026-10-31: add by m2/v0.5.6
K71C2RNY1X K71C2RNY1X
| URI | m2://inv/K71C2RNY1X |
|---|---|
| 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 2310.10361#EU0K (statement). In 65ED1ZXG98/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.6
co-twin-house K71GP2ANNX
| URI | m2://inv/K71GP2ANNX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137442433, co-twin-house (unknown). Also House of Graphs 922
History
- 2026-10-26: add by m2/dev
K71JNR7Z62 K71JNR7Z62
| URI | m2://inv/K71JNR7Z62 |
|---|---|
| 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 0807.1620#TVWW (statement). In 2AREGC7WB6/e1, corollary
History
- 2026-10-27: add by m2/v0.3.5
K71MQZ89NA K71MQZ89NA
| URI | m2://inv/K71MQZ89NA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33573#SXDT (statement). In ZT1Q1XDQ1W/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Connectivity is inherited K71Q0SKV6J
| URI | m2://inv/K71Q0SKV6J |
|---|---|
| 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.26114#J1L5, Connectivity is inherited (statement)
History
- 2026-11-01: add by m2/v0.6.15
K71TRK8DYR K71TRK8DYR
| URI | m2://inv/K71TRK8DYR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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.19357#7SOB (statement). In RGXQ50RWXV/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
Magnetization reversal K725W0XZ94
| URI | m2://inv/K725W0XZ94 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetization#IS26, Magnetization reversal (unknown)
History
- 2026-11-02: add by m2/dev
left half-open interval K727TAVBEA
| URI | m2://inv/K727TAVBEA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q106653384, left half-open interval (definition). Also ProofWiki Definition:Real_Interval/Half-Open/Left
History
- 2026-10-26: add by m2/dev
Hamming bound K728V5RJTJ
| URI | m2://inv/K728V5RJTJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamming bound, Hamming bound (definition). Also Wikidata Q1970635
History
- 2026-11-02: add by m2/dev
Hiptmair–Xu preconditioner K72AZJ08CK
| URI | m2://inv/K72AZJ08CK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hiptmair–Xu preconditioner, Hiptmair–Xu preconditioner (definition). Also Wikidata Q104843807
History
- 2026-11-02: add by m2/dev
K72CRWBM27 K72CRWBM27
| URI | m2://inv/K72CRWBM27 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/shor.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 76.2
History
- 2026-11-01: add by m2/v0.6.13
Hofstadter points K72DAWQ49C
| URI | m2://inv/K72DAWQ49C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#76NJ, Hofstadter points (definition)
History
- 2026-11-02: add by m2/dev
Engineering Seismology K72KR59M0Z
| URI | m2://inv/K72KR59M0Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seismology#YA4R, Engineering Seismology (unknown)
History
- 2026-11-02: add by m2/dev
Catarina Dutilh Novaes K72QTVYGKK
| URI | m2://inv/K72QTVYGKK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#T5GN, Catarina Dutilh Novaes (unknown)
History
- 2026-11-02: add by m2/dev
K72TH98R5P K72TH98R5P
| URI | m2://inv/K72TH98R5P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-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.13100#LWPH (statement). In CC6S1HVK0T/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
K72XJ544V4 K72XJ544V4
| URI | m2://inv/K72XJ544V4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#ID9S (statement). In 8Z47D12KSX/e1, corollary 5.11
History
- 2026-10-29: add by m2/v0.4.10
continuant K733Z60QCN
| URI | m2://inv/K733Z60QCN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#9NUR, continuant (definition)
History
- 2026-11-02: add by m2/dev
K736VQWZ00 K736VQWZ00
| URI | m2://inv/K736VQWZ00 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22847#8MC7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Trigonometry in ancient Egypt K73B2QDSJE
| URI | m2://inv/K73B2QDSJE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of trigonometry#RNFM, Trigonometry in ancient Egypt (unknown)
History
- 2026-11-02: add by m2/dev
K73FJXF5KH K73FJXF5KH
| URI | m2://inv/K73FJXF5KH |
|---|---|
| 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.11056#UPDI (statement). In 1NDB3SAG7K/e1, corollary 3.1
History
- 2026-10-28: add by m2/v0.4.3
Cryptography K73J69GPEJ
| URI | m2://inv/K73J69GPEJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#LSDE, Cryptography (definition)
History
- 2026-11-02: add by m2/dev
Algebraic properties K73KTR3DKJ
| URI | m2://inv/K73KTR3DKJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biggs–Smith graph#I0A1, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
János Komlós K73WDZEAR0
| URI | m2://inv/K73WDZEAR0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9RUT, János Komlós (unknown)
History
- 2026-11-02: add by m2/dev
Properties K73WT6YEG9
| URI | m2://inv/K73WT6YEG9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smith number#5Q99, Properties (statement)
History
- 2026-11-02: add by m2/dev
Applications K748FGPS8Y
| URI | m2://inv/K748FGPS8Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homology sphere#AP89, Applications (example)
History
- 2026-11-02: add by m2/dev
Inertial frame of reference K74FWKMZK0
| URI | m2://inv/K74FWKMZK0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#5QAY, Inertial frame of reference (definition)
History
- 2026-11-02: add by m2/dev
Meteorology/Books K74HXTCNJJ
| URI | m2://inv/K74HXTCNJJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meteorology#2YX0, Meteorology/Books (unknown)
History
- 2026-11-02: add by m2/dev
filter characterisation K74NQ2BT4C
| URI | m2://inv/K74NQ2BT4C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39511#P2DZ, filter characterisation (statement). In 6W9H24A378/e1, theorem 9
History
- 2026-10-30: add by m2/v0.4.12
S. N. D. North K74VP8BSAQ
| URI | m2://inv/K74VP8BSAQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S. N. D. North, S. N. D. North (topic). Also Wikidata Q16004145
History
- 2026-11-02: add by m2/dev
K752R74W9R K752R74W9R
| URI | m2://inv/K752R74W9R |
|---|---|
| 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.16399#7WN4 (statement). In 2N87D4KTSY/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Oded Schramm K754F1FNQ3
| URI | m2://inv/K754F1FNQ3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BQUA, Oded Schramm (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#467X, Oded Schramm (topic)
History
- 2026-11-02: add by m2/dev
K7561Y1RNX K7561Y1RNX
| URI | m2://inv/K7561Y1RNX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2401.07983#J55X (statement). In 4WJ9HYVSZY/e1, corollary 3.8
History
- 2026-10-27: add by m2/v0.3.6
K756JQW37W K756JQW37W
| URI | m2://inv/K756JQW37W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#O64S (statement). In E7W2HDNEKJ/e1, theorem 7.5
History
- 2026-10-30: add by m2/v0.4.12
type theory K75EPE3A0F
| URI | m2://inv/K75EPE3A0F |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u1/type-theory, type theory (concept). In N54F33XE07, index, section u1.u1
History
- 2026-11-01: add by m2/v0.6.13
Space K75FSGQRM6
| URI | m2://inv/K75FSGQRM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space, Space (definition). Also Wikidata Q107
History
- 2026-11-02: add by m2/dev
K75HBZG5C4 K75HBZG5C4
| URI | m2://inv/K75HBZG5C4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/equivalence-relations.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 80.1
History
- 2026-11-01: add by m2/v0.6.13
strictly increasing function K75TBAPQK3
| URI | m2://inv/K75TBAPQK3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78056159, strictly increasing function (unknown). Also MathWorld StrictlyIncreasingFunction
History
- 2026-10-26: add by m2/dev
Parameter sensitivity K75VWQAEHR
| URI | m2://inv/K75VWQAEHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40077#Z1ES, Parameter sensitivity (statement). In F0HMNYB8WB/e1, lemma 7.1
History
- 2026-10-30: add by m2/v0.4.12
K769MRXVDC K769MRXVDC
| URI | m2://inv/K769MRXVDC |
|---|---|
| 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.15831#82GS (statement). In CVESAPNMCQ/e1, theorem 3.14
History
- 2026-10-28: add by m2/v0.4.2
K76K9D51DF K76K9D51DF
| URI | m2://inv/K76K9D51DF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12486#8168 (statement). In CWQ2YHT24E/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
K76P4EPXK9 K76P4EPXK9
| URI | m2://inv/K76P4EPXK9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#R3RD (statement). In PWXT7J9JX3/e1, proposition 7.5
History
- 2026-10-28: add by m2/v0.4.2
K76R1Y65FZ K76R1Y65FZ
| URI | m2://inv/K76R1Y65FZ |
|---|---|
| Kind | problem |
| 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.05194#I07X (problem). In 77R8YQ16JH/e1, problem 2.2
History
- 2026-10-29: add by m2/v0.4.10
Maximal lotteries K7727NHT2Y
| URI | m2://inv/K7727NHT2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximal lotteries, Maximal lotteries (definition). Also Wikidata Q30754308
History
- 2026-11-02: add by m2/dev
Terminology K772QFSCBF
| URI | m2://inv/K772QFSCBF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Syntactic predicate#L34Z, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Xuhua He K773ZCCRG5
| URI | m2://inv/K773ZCCRG5 |
|---|---|
| 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#EEX7, Xuhua He (unknown)
History
- 2026-11-02: add by m2/dev
Plancherel theorem and Parseval's theorem K775NTZ6GM
| URI | m2://inv/K775NTZ6GM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier transform#CE9B, Plancherel theorem and Parseval's theorem (statement)
History
- 2026-11-02: add by m2/dev
\textbf{Intrinsic integral operator K776HRMWY1
| URI | m2://inv/K776HRMWY1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-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.17032#H3GB, \textbf{Intrinsic integral operator (definition). In MXPK9A2HK2/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Montessori sensorial materials K77B55SMBD
| URI | m2://inv/K77B55SMBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Montessori sensorial materials, Montessori sensorial materials (definition). Also Wikidata Q6905449
History
- 2026-11-02: add by m2/dev
K77C621VBQ K77C621VBQ
| URI | m2://inv/K77C621VBQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02111#P4B4 (statement). In NC5ZRF6F8N/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.12
Olivier Rey K77E25B7Q1
| URI | m2://inv/K77E25B7Q1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olivier Rey, Olivier Rey (topic). Also Wikidata Q3351331
History
- 2026-11-02: add by m2/dev
K77KJGJEAN K77KJGJEAN
| URI | m2://inv/K77KJGJEAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.00134#XGZE (statement). In S654779J5P/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
K77WCD4FDJ K77WCD4FDJ
| URI | m2://inv/K77WCD4FDJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28020#S8SN (statement)
History
- 2026-11-01: add by m2/v0.6.15
K780WD3G8P K780WD3G8P
| URI | m2://inv/K780WD3G8P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24449#E83E (statement)
History
- 2026-11-01: add by m2/v0.6.15
K7848MPM97 K7848MPM97
| URI | m2://inv/K7848MPM97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.15716#GBZF (statement). In 7WDA4MEWE2/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.6
K7865KBTGE K7865KBTGE
| URI | m2://inv/K7865KBTGE |
|---|---|
| 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.21355#SOHP (statement). In XKJ7VKN4P0/e1, corollary 15
History
- 2026-10-27: add by m2/v0.4.2
K78KXDJSK2 K78KXDJSK2
| URI | m2://inv/K78KXDJSK2 |
|---|---|
| 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 2609.37706#I392 (statement). In 6YY27KRJFN/e1, lemma 4.32
History
- 2026-10-30: add by m2/v0.4.12
K78MA9WEBM K78MA9WEBM
| URI | m2://inv/K78MA9WEBM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 0903.0651#KKFD (statement). In 6R0KH80PTK/e1, theorem 11
History
- 2026-10-27: add by m2/v0.3.5
K78P9C2NXT K78P9C2NXT
| URI | m2://inv/K78P9C2NXT |
|---|---|
| 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.19854#B9SO (statement). In D50WST4CG3/e1, theorem 3.11
History
- 2026-10-28: add by m2/v0.4.2
K78YYBC8KN K78YYBC8KN
| URI | m2://inv/K78YYBC8KN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03231#Q0L8 (statement). In 3Y76AQQGF0/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.12
The Vectors of Mind K7930FTH32
| URI | m2://inv/K7930FTH32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Vectors of Mind, The Vectors of Mind (definition). Also Wikidata Q30078124
History
- 2026-11-02: add by m2/dev
analytic continuation K794CT485G
| URI | m2://inv/K794CT485G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1.2/analytic-continuation, analytic continuation (concept). In VNMV985MXX, index, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
\textbf{Global Minimization with a Known Term K79CSHBQG2
| URI | m2://inv/K79CSHBQG2 |
|---|---|
| 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.02791#0DHD, \textbf{Global Minimization with a Known Term (statement). In TT9BA4VMTW/e1, theorem A.10
History
- 2026-10-29: add by m2/v0.4.12
Adolf Ferdinand Wenceslaus Brix K79JK5B151
| URI | m2://inv/K79JK5B151 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#F03Q, Adolf Ferdinand Wenceslaus Brix (unknown)
History
- 2026-11-02: add by m2/dev
Factorial number system K79KS9QYRK
| URI | m2://inv/K79KS9QYRK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#CTV0, Factorial number system (definition)
History
- 2026-11-02: add by m2/dev
Dowker Filtration K79NF20SZK
| URI | m2://inv/K79NF20SZK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 37-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 2601.04559#5AJU, Dowker Filtration (definition). In WWMHZKWZSM/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
toric equations K79PQC0M1S
| URI | m2://inv/K79PQC0M1S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.38030#K7F0, toric equations (statement). In XYYEJN00D8/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
Differentiation of trigonometric functions K79Z9RCSXB
| URI | m2://inv/K79Z9RCSXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiation of trigonometric functions, Differentiation of trigonometric functions (definition). Also Wikidata Q3296857
History
- 2026-11-02: add by m2/dev
K79ZYK43PS K79ZYK43PS
| URI | m2://inv/K79ZYK43PS |
|---|---|
| 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 2603.21971#H8TM (statement). In R6KSZ9H8CY/e1, lemma 6.7
History
- 2026-10-27: add by m2/v0.3.5
Computation result K7A0MKZ98A
| URI | m2://inv/K7A0MKZ98A |
|---|---|
| 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 math/0003117#CHR8, Computation result (definition). In WD2NCBV9F0/e1, definition 9.1
History
- 2026-10-27: add by m2/v0.3.5
K7A2EY7274 K7A2EY7274
| URI | m2://inv/K7A2EY7274 |
|---|---|
| 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.38138#0Q5V (statement). In G97FA99ZEF/e1, theorem A.7
History
- 2026-10-30: add by m2/v0.4.12
Mikko Kaasalainen K7A5JZ0XT3
| URI | m2://inv/K7A5JZ0XT3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mikko Kaasalainen, Mikko Kaasalainen (topic). Also Wikidata Q6849970
History
- 2026-11-02: add by m2/dev
Notation K7A5N13Z8R
| URI | m2://inv/K7A5N13Z8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poncelet–Steiner theorem#OSSQ, Notation (definition)
History
- 2026-11-02: add by m2/dev
Incompressible surface K7AA823QE9
| URI | m2://inv/K7AA823QE9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometric topology topics#83EJ, Incompressible surface (definition)
History
- 2026-11-02: add by m2/dev
Vlastimil Pták K7AD6XGN1G
| URI | m2://inv/K7AD6XGN1G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vlastimil Pták, Vlastimil Pták (topic). Also Wikidata Q7939042
History
- 2026-11-02: add by m2/dev
K7AZNBRDZC K7AZNBRDZC
| URI | m2://inv/K7AZNBRDZC |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#LPKV (proof). In S1F2QW24YW/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Leading-side PCA excess bound K7B2MFFWAM
| URI | m2://inv/K7B2MFFWAM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05388#711X, Leading-side PCA excess bound (statement). In 4HJK1986EJ/e1, lemma C.12
History
- 2026-10-29: add by m2/v0.4.10
Neumann Prize K7B6TFMMGM
| URI | m2://inv/K7B6TFMMGM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia British Society for the History of Mathematics#N9SH, Neumann Prize (unknown)
History
- 2026-11-02: add by m2/dev
Chinese monoid K7BBTSHH9X
| URI | m2://inv/K7BBTSHH9X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chinese monoid, Chinese monoid (definition). Also Wikidata Q5100840
History
- 2026-11-02: add by m2/dev
Gumbel distribution K7BCVDK9HS
| URI | m2://inv/K7BCVDK9HS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UYYG, Gumbel distribution (definition)
History
- 2026-11-02: add by m2/dev
Simon Brendle K7BE95MKS8
| URI | m2://inv/K7BE95MKS8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simon Brendle, Simon Brendle (topic). Also Wikidata Q98244
History
- 2026-11-02: add by m2/dev
Christophe Breuil K7BM4PP23N
| URI | m2://inv/K7BM4PP23N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3853, Christophe Breuil (topic)
History
- 2026-11-02: add by m2/dev
K7BN0JPPYN K7BN0JPPYN
| URI | m2://inv/K7BN0JPPYN |
|---|---|
| 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.33771#ZC3T (definition). In ZXQA7QH0H0/e1, definition 3.14
History
- 2026-10-30: add by m2/v0.4.12
Basic properties K7BNHDH2EP
| URI | m2://inv/K7BNHDH2EP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinal number#K47U, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Algebraic reconstruction K7BNN1F9WV
| URI | m2://inv/K7BNN1F9WV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11652#SFP7, Algebraic reconstruction (statement). In VEXM27M8Q1/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.3
K7BYB7C5BE K7BYB7C5BE
| URI | m2://inv/K7BYB7C5BE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#HLCE (definition). In 1QSCT53ZED/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.4.0
K7BZTTER6E K7BZTTER6E
| URI | m2://inv/K7BZTTER6E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20514#6RPG (definition)
History
- 2026-11-02: add by m2/v0.6.18
inverse functions and differentiation K7C1ZJZE5H
| URI | m2://inv/K7C1ZJZE5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Derivative of an inverse function 0M0RZ3HSB0 |
Mentions
- wikidata: Wikidata Q2143416, inverse functions and differentiation (statement). Also ProofWiki Derivative_of_Inverse_Function
- wikipedia: Wikipedia Inverse function rule, Inverse function rule (definition). Also Wikidata Q2143416
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Differential calculus K7C2XKEWBW
| URI | m2://inv/K7C2XKEWBW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08091#HMVQ, Differential calculus (definition). In MS13WE3CSD/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Cuzick–Edwards test K7C6PBARP3
| URI | m2://inv/K7C6PBARP3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JCG7, Cuzick–Edwards test (definition)
History
- 2026-11-02: add by m2/dev
K7CATYN4DM K7CATYN4DM
| URI | m2://inv/K7CATYN4DM |
|---|---|
| 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 2410.01436#K70D (statement). In FE59Q5BHKZ/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
Wasserstein metric K7CDX6G5NV
| URI | m2://inv/K7CDX6G5NV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11917#SLTC, Wasserstein metric (definition). In 7BB6PY94G9/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.3
K7CMMY918W K7CMMY918W
| URI | m2://inv/K7CMMY918W |
|---|---|
| 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.26713#RENQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Thomas Kappeler K7CP0MCM3Y
| URI | m2://inv/K7CP0MCM3Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Kappeler, Thomas Kappeler (topic). Also Wikidata Q93433632
History
- 2026-11-02: add by m2/dev
recursion theorem K7CT0JNAW0
| URI | m2://inv/K7CT0JNAW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#3KDC, recursion theorem (definition)
History
- 2026-11-02: add by m2/dev
3D image K7CTMVY986
| URI | m2://inv/K7CTMVY986 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Image#XRGH, 3D image (unknown)
History
- 2026-11-02: add by m2/dev
K7CTSYK0QS K7CTSYK0QS
| URI | m2://inv/K7CTSYK0QS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38596#O9AL (statement). In ZYGQAV8FD3/e1, theorem 5.2
History
- 2026-10-30: add by m2/v0.4.12
K7CXDJG8BJ K7CXDJG8BJ
| URI | m2://inv/K7CXDJG8BJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01329#LYFH (statement). In 7XEVYJKJ5C/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
Ulrich Kohlenbach K7D6A9V2T7
| URI | m2://inv/K7D6A9V2T7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ulrich Kohlenbach, Ulrich Kohlenbach (topic). Also Wikidata Q7879836
History
- 2026-11-02: add by m2/dev
A Ruzsa-type concentration estimate for gaps K7DCE4VXKH
| URI | m2://inv/K7DCE4VXKH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08424#SKI5, A Ruzsa-type concentration estimate for gaps (statement). In BVD2HAAKD5/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Born rigidity K7DK0Z704G
| URI | m2://inv/K7DK0Z704G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Born rigidity, Born rigidity (definition). Also Wikidata Q4945922
History
- 2026-11-02: add by m2/dev
K7DYNGW73S K7DYNGW73S
| URI | m2://inv/K7DYNGW73S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30664#PHC9 (statement). In ZZGDNKDVJW/e1, lemma 6.1
History
- 2026-10-31: add by m2/v0.5.6
Group algebra of a locally compact group K7E0PXR04K
| URI | m2://inv/K7E0PXR04K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#ORML, Group algebra of a locally compact group (definition)
History
- 2026-11-02: add by m2/dev
K7E8WCENS5 K7E8WCENS5
| URI | m2://inv/K7E8WCENS5 |
|---|---|
| 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.10525#EHDN (statement). In N3K26VPX0R/e1, corollary 2.4
History
- 2026-10-29: add by m2/v0.4.10
K7EEH7ZEJC K7EEH7ZEJC
| URI | m2://inv/K7EEH7ZEJC |
|---|---|
| Kind | statement |
| 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#OQTW (statement). In CGA36VE1C5/e1, fact 2.1.1
History
- 2026-10-27: add by m2/v0.3.6
Properties K7EN1GBNF6
| URI | m2://inv/K7EN1GBNF6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supermanifold#9K68, Properties (statement)
History
- 2026-11-02: add by m2/dev
Half-normal distribution K7ESJA5RGB
| URI | m2://inv/K7ESJA5RGB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3258414, Half-normal distribution (unknown). Also MathWorld Half-NormalDistribution
- wikipedia: Wikipedia Half-normal distribution, Half-normal distribution (definition). Also Wikidata Q3258414
History
- 2026-10-26: add by m2/dev
VC theory K7EY6FMJY5
| URI | m2://inv/K7EY6FMJY5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#G4GO, VC theory (topic)
History
- 2026-11-02: add by m2/dev
K7EYK8ECY4 K7EYK8ECY4
| URI | m2://inv/K7EYK8ECY4 |
|---|---|
| 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.02642#4TNX (statement). In VMWV58VWKN/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
Harshad number K7F267N927
| URI | m2://inv/K7F267N927 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#LOQ1, Harshad number (definition)
History
- 2026-11-02: add by m2/dev
Dini's theorem K7F2H34S43
| URI | m2://inv/K7F2H34S43 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#CPRZ, Dini's theorem (statement)
History
- 2026-11-02: add by m2/dev
K7F68FHSGJ K7F68FHSGJ
| URI | m2://inv/K7F68FHSGJ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20516#M0RO (problem)
History
- 2026-11-02: add by m2/v0.6.18
nonlinear remainder K7F6G31W44
| URI | m2://inv/K7F6G31W44 |
|---|---|
| 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#3GSL, nonlinear remainder (statement)
History
- 2026-11-02: add by m2/v0.6.17
Uses K7F7DTMMJQ
| URI | m2://inv/K7F7DTMMJQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moving frame#GXV5, Uses (example)
History
- 2026-11-02: add by m2/dev
K7F7ZV0BNX K7F7ZV0BNX
| URI | m2://inv/K7F7ZV0BNX |
|---|---|
| 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.11007#FBQT (statement). In MF0H78XZXC/e1, theorem
History
- 2026-10-28: add by m2/v0.4.3
K7FRJYVTRQ K7FRJYVTRQ
| URI | m2://inv/K7FRJYVTRQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16606#NS07 (statement). In A798V7TX99/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
K7FRPDM24F K7FRPDM24F
| URI | m2://inv/K7FRPDM24F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.29838#31IZ (example). In KP0X1RKKKB/e1, example 3.3
History
- 2026-10-27: add by m2/v0.4.0
K7G05MAN42 K7G05MAN42
| URI | m2://inv/K7G05MAN42 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01354#NOA8 (definition). In BWD76W20W8/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.12
Fourier coefficient K7G95V9YAZ
| URI | m2://inv/K7G95V9YAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117421376, Fourier coefficient (definition). Also ProofWiki Definition:Fourier_Series/Fourier_Coefficient
History
- 2026-10-26: add by m2/dev
\(J_1\) Skorokhod metric K7GA3SW633
| URI | m2://inv/K7GA3SW633 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40338#NXFT, \(J_1\) Skorokhod metric (definition). In K5H6GS0SGQ/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
K7GD1MRWW8 K7GD1MRWW8
| URI | m2://inv/K7GD1MRWW8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07445#FJJW (statement). In F1BM3Q8125/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
Andrew Lenard K7GPE8PXRW
| URI | m2://inv/K7GPE8PXRW |
|---|---|
| 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 Q30242342, Andrew Lenard (unknown). Also nLab Andrew Lenard
History
- 2026-10-26: add by m2/dev
claw-free graph K7GXNFS8F1
| URI | m2://inv/K7GXNFS8F1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5129750, claw-free graph (unknown). Also MathWorld Claw-FreeGraph
- wikipedia: Wikipedia Claw-free graph, Claw-free graph (definition). Also Wikidata Q5129750
History
- 2026-10-26: add by m2/dev
K7HD1KBHCE K7HD1KBHCE
| URI | m2://inv/K7HD1KBHCE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27181#TBT4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
K7HN48WSS5 K7HN48WSS5
| URI | m2://inv/K7HN48WSS5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33018#IHW4 (definition). In 8XVS0QJ2AH/e1, definition 12
History
- 2026-10-31: add by m2/v0.5.6
K7HPF14QS8 K7HPF14QS8
| URI | m2://inv/K7HPF14QS8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10745#84GR (example). In 5MJ4NJ5ZCV/e1, example 2.14
History
- 2026-10-28: add by m2/v0.4.3
Herbrand structure K7J082HZ3K
| URI | m2://inv/K7J082HZ3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbrand structure, Herbrand structure (definition). Also Wikidata Q1609475
History
- 2026-11-02: add by m2/dev
direct product K7J25CK5DF
| URI | m2://inv/K7J25CK5DF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1778193, direct product (unknown). Also EoM Direct_product, MathWorld DirectProduct
- wikipedia: Wikipedia Direct product, Direct product (definition). Also Wikidata Q1778193
History
- 2026-10-26: add by m2/dev
K7J3N4CXPS K7J3N4CXPS
| URI | m2://inv/K7J3N4CXPS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2511.15212#W12H (statement). In W99XBH6X5N/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.0
K7JFGWRZ1F K7JFGWRZ1F
| URI | m2://inv/K7JFGWRZ1F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#prop-9 (statement). In E59CDZA4DP, prop, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
Properties K7JSQQDPZZ
| URI | m2://inv/K7JSQQDPZZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongated triangular gyrobicupola#2TT3, Properties (statement)
History
- 2026-11-02: add by m2/dev
Image-based lighting K7JZW6J97K
| URI | m2://inv/K7JZW6J97K |
|---|---|
| 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#38N7, Image-based lighting (unknown)
History
- 2026-11-02: add by m2/dev
K7K4266TDX K7K4266TDX
| URI | m2://inv/K7K4266TDX |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
K7KDHSN3S1 K7KDHSN3S1
| URI | m2://inv/K7KDHSN3S1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32903#14DN (definition). In S8NB83KQX3/e1, definition 4
History
- 2026-10-31: add by m2/v0.5.6
Poinsot's spirals K7KRQY5BM8
| URI | m2://inv/K7KRQY5BM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#35LD, Poinsot's spirals (definition)
- wikipedia: Wikipedia List of curves#BXUI, Poinsot's spirals (definition)
History
- 2026-11-02: add by m2/dev
John Coleman Moore K7M2DRBYKT
| URI | m2://inv/K7M2DRBYKT |
|---|---|
| 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 Q1676282, John Coleman Moore (unknown). Also nLab John Moore
- wikipedia: Wikipedia John Coleman Moore, John Coleman Moore (topic). Also Wikidata Q1676282
History
- 2026-10-26: add by m2/dev
Karen Aardal K7M71S6BDP
| URI | m2://inv/K7M71S6BDP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karen Aardal, Karen Aardal (topic). Also Wikidata Q59777406
History
- 2026-11-02: add by m2/dev
K7MA0CHF01 K7MA0CHF01
| URI | m2://inv/K7MA0CHF01 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#36KK (statement). In X765ZXXVC3/e1, theorem 3.9
History
- 2026-10-29: add by m2/v0.4.12
Non-squeezing theorem K7MHTJTRKX
| URI | m2://inv/K7MHTJTRKX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527214, Non-squeezing theorem (statement). Also Wikidata Q3527214
- thousand_plus: thousand_plus Q3527214, Non-squeezing theorem (statement). Also Wikidata Q3527214, Wikipedia Non-squeezing theorem
- wikipedia: Wikipedia Non-squeezing theorem, Non-squeezing theorem (statement). Also Wikidata Q3527214
History
- 2026-10-26: add by m2/dev
Aaron Naber K7MQSMKNYJ
| URI | m2://inv/K7MQSMKNYJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WHF4, Aaron Naber (topic)
History
- 2026-11-02: add by m2/dev
K7MV7SEWVR K7MV7SEWVR
| URI | m2://inv/K7MV7SEWVR |
|---|---|
| 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.10795#GV63 (statement). In RXPSC74YPT/e1, lemma C.3
History
- 2026-10-28: add by m2/v0.4.3
K7MZAYJH02 K7MZAYJH02
| URI | m2://inv/K7MZAYJH02 |
|---|---|
| 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.30097#21DK (statement)
History
- 2026-11-01: add by m2/v0.6.15
K7N10XKTPV K7N10XKTPV
| URI | m2://inv/K7N10XKTPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20932#WSML (statement). In FV78KV64B9/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
K7NMT4Q44Z K7NMT4Q44Z
| URI | m2://inv/K7NMT4Q44Z |
|---|---|
| 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.21367#UN4K (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples K7NQGRPHT4
| URI | m2://inv/K7NQGRPHT4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal array#V6UE, Examples (example)
History
- 2026-11-02: add by m2/dev
prosentential K7NV3VC2EN
| URI | m2://inv/K7NV3VC2EN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#7ZMG, prosentential (definition)
History
- 2026-11-02: add by m2/dev
K7P05P80GM K7P05P80GM
| URI | m2://inv/K7P05P80GM |
|---|---|
| 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.24845#522N (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations K7P2GS5WKW
| URI | m2://inv/K7P2GS5WKW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morley–Wang–Xu element#0WXT, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
integrating factor method, for systems K7PFRN7RK3
| URI | m2://inv/K7PFRN7RK3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.9.1/integrating-factor-method-for-systems, integrating factor method, for systems (concept). In E9HS8K3A52, index, section 10.9.1
History
- 2026-11-01: add by m2/v0.6.13
Fixed-shift correlations K7PM46SM6G
| URI | m2://inv/K7PM46SM6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03811#XDSI, Fixed-shift correlations (statement). In DHQWFJW02X/e1, theorem 7.1
History
- 2026-10-29: add by m2/v0.4.12
K7Q3YQ96S1 K7Q3YQ96S1
| URI | m2://inv/K7Q3YQ96S1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36021#2VKX (statement). In CB68ATPEV9/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
Example K7Q9C9TFQ6
| URI | m2://inv/K7Q9C9TFQ6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power set#22GH, Example (example)
History
- 2026-11-02: add by m2/dev
ATS theorem K7QCPR0HHY
| URI | m2://inv/K7QCPR0HHY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#TOUS, ATS theorem (statement)
History
- 2026-11-02: add by m2/dev
Uses K7QEA5H7DR
| URI | m2://inv/K7QEA5H7DR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial-matching meet-in-the-middle attack#1LD8, Uses (example)
History
- 2026-11-02: add by m2/dev
Special cases K7QF7CCBS4
| URI | m2://inv/K7QF7CCBS4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypergeometric function#5QWJ, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Localized squashing with algebraic multiplicity K7QFAD5MT0
| URI | m2://inv/K7QFAD5MT0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01324#JJ2Y, Localized squashing with algebraic multiplicity (statement). In XKXG49TNXH/e1, lemma 3.11
History
- 2026-10-27: add by m2/v0.3.6
K7QG3CTD5N K7QG3CTD5N
| URI | m2://inv/K7QG3CTD5N |
|---|---|
| Kind | definition |
| 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#6PB9 (definition). In 3KTZ6Z615H/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
K7QGRWDYP1 K7QGRWDYP1
| URI | m2://inv/K7QGRWDYP1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13076#SHK8 (statement). In K7GJA4WGV7/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
K7QH6YQFYD K7QH6YQFYD
| URI | m2://inv/K7QH6YQFYD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/card-arithmetic/expotough.tex#cardexpo2reduct (statement). In PKGMM3P5QY, prop, section 69.2
History
- 2026-11-01: add by m2/v0.6.13
K7QHTK51PJ K7QHTK51PJ
| URI | m2://inv/K7QHTK51PJ |
|---|---|
| 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.02481#O21P (statement). In 5HACFNFY0P/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.12
Crouzeix's conjecture K7QTD2C2Q4
| URI | m2://inv/K7QTD2C2Q4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crouzeix's conjecture, Crouzeix's conjecture (statement). Also Wikidata Q65074161
History
- 2026-11-02: add by m2/dev
principle of relativity K7QV13J60R
| URI | m2://inv/K7QV13J60R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q945995, principle of relativity (unknown). Also EoM Relativity_principle
- wikipedia: Wikipedia Principle of relativity, Principle of relativity (statement). Also Wikidata Q945995
History
- 2026-10-26: add by m2/dev
Hans Bruun Nielsen K7QWQ0TZKX
| URI | m2://inv/K7QWQ0TZKX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Bruun Nielsen, Hans Bruun Nielsen (topic). Also Wikidata Q5649855
History
- 2026-11-02: add by m2/dev
Severi K7R1DQCJSJ
| URI | m2://inv/K7R1DQCJSJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#5PBR, Severi (topic)
History
- 2026-11-02: add by m2/dev
,1 K7R49J9SN3
| URI | m2://inv/K7R49J9SN3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (numbers)#M6EF, ,1 (unknown)
History
- 2026-11-02: add by m2/dev
Harmonic extension with seam matching K7R8Q5H28G
| URI | m2://inv/K7R8Q5H28G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2501.09848#AL2M, Harmonic extension with seam matching (statement). In HF7YNMW39N/e1, theorem 6.4
History
- 2026-10-27: add by m2/v0.4.0
Neda Bokan K7RFTX7SFV
| URI | m2://inv/K7RFTX7SFV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neda Bokan, Neda Bokan (topic). Also Wikidata Q12756092
History
- 2026-11-02: add by m2/dev
K7RRHZX5G6 K7RRHZX5G6
| URI | m2://inv/K7RRHZX5G6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.07651#Q1YD (statement). In B338B7DBPA/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.6
Example K7RS58VN6Y
| URI | m2://inv/K7RS58VN6Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scheme-theoretic intersection#WZQT, Example (example)
History
- 2026-11-02: add by m2/dev
Schur–Horn theorem K7RS73QQ3B
| URI | m2://inv/K7RS73QQ3B |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX, 53-XX |
| Sources | 3 |
| Outcome | open |
| Node | Schur–Horn theorem Y553MSYDAH |
Mentions
- arxiv: arXiv 1709.04968#OUM5, Schur-Horn's theorem (statement). In BEX59Q3DE4/e1, theorem 1.3
- wikidata: Wikidata Q7433042, Schur–Horn theorem (statement). Also MathWorld HornsTheorem
- wikipedia: Wikipedia Schur–Horn theorem, Schur–Horn theorem (statement). Also Wikidata Q7433042
History
- 2026-10-26: add by m2/dev
- 2026-10-31: merge by m2/v0.5.6
K7RXHFSXMS K7RXHFSXMS
| URI | m2://inv/K7RXHFSXMS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08633#D2BG (statement). In 7MV7RGDVXF/e1, lemma 3.4.3
History
- 2026-10-29: add by m2/v0.4.10
Bretagnolle–Huber–Carol inequality K7S2421SPB
| URI | m2://inv/K7S2421SPB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concentration inequality#0XKE, Bretagnolle–Huber–Carol inequality (statement)
History
- 2026-11-02: add by m2/dev
Runge–Kutta method K7S3KWNZDN
| URI | m2://inv/K7S3KWNZDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#I57V, Runge–Kutta method (definition)
History
- 2026-11-02: add by m2/dev
Theorem K7S83160F6
| URI | m2://inv/K7S83160F6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitney inequality#KX5G, Theorem (statement)
History
- 2026-11-02: add by m2/dev
WAIFW matrix K7S9WN0PN7
| URI | m2://inv/K7S9WN0PN7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia WAIFW matrix, WAIFW matrix (definition). Also Wikidata Q2201131
History
- 2026-11-02: add by m2/dev
Hartry Field K7SMTA09RJ
| URI | m2://inv/K7SMTA09RJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#P9NG, Hartry Field (topic)
History
- 2026-11-02: add by m2/dev
K7SNHGKDRJ K7SNHGKDRJ
| URI | m2://inv/K7SNHGKDRJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01803#9ZIQ (definition). In J6N4X33BME/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.12
K7SX05CMVT K7SX05CMVT
| URI | m2://inv/K7SX05CMVT |
|---|---|
| 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.38772#9M6J (statement). In 1C3R5NAQAP/e1, lemma 7.2
History
- 2026-10-30: add by m2/v0.4.12
K7T993270M K7T993270M
| URI | m2://inv/K7T993270M |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#proof-24 (proof). In E59CDZA4DP, proof, section 10.5.1
History
- 2026-11-01: add by m2/v0.6.13
K7TC5KETNK K7TC5KETNK
| URI | m2://inv/K7TC5KETNK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-26 (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
back substitution K7TK7TZWSM
| URI | m2://inv/K7TK7TZWSM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/1.2.1/back-substitution, back substitution (concept). In 649HGZKE96, index, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
K7TSVSA9CZ K7TSVSA9CZ
| URI | m2://inv/K7TSVSA9CZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12740#9WFH (definition). In HKYRZSZPEC/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
vesica piscis K7V2G7RT4Y
| URI | m2://inv/K7V2G7RT4Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3111368, vesica piscis (unknown). Also MathWorld VesicaPiscis
- wikipedia: Wikipedia Vesica piscis, Vesica piscis (definition). Also Wikidata Q3111368
History
- 2026-10-26: add by m2/dev
K7V2ZSX98D K7V2ZSX98D
| URI | m2://inv/K7V2ZSX98D |
|---|---|
| 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.01731#CL6M (statement). In 3TJ2FWXQ0D/e1, corollary 1.4
History
- 2026-10-29: add by m2/v0.4.12
K7VBAEN5AA K7VBAEN5AA
| URI | m2://inv/K7VBAEN5AA |
|---|---|
| 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.01970#OZGR (statement). In 1B400PB2NJ/e1, proposition A.2
History
- 2026-10-29: add by m2/v0.4.12
Norm-character groups K7VCCA2N76
| URI | m2://inv/K7VCCA2N76 |
|---|---|
| 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#2ORM, Norm-character groups (statement). In 7NS75J7HAM/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
non-constructive proof K7VJD8AQGV
| URI | m2://inv/K7VJD8AQGV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15938179, non-constructive proof (unknown). Also MathWorld NonconstructiveProof
History
- 2026-10-26: add by m2/dev
Artin–Schreier theory K7VNWMHE7T
| URI | m2://inv/K7VNWMHE7T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Emil Artin#BLKO, Artin–Schreier theory (topic)
History
- 2026-11-02: add by m2/dev
Hardy's inequality K7VSR0JVKA
| URI | m2://inv/K7VSR0JVKA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#N1AX, Hardy's inequality (statement)
History
- 2026-11-02: add by m2/dev
disjunctive syllogism K7VSV07TTE
| URI | m2://inv/K7VSV07TTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#VN1U, disjunctive syllogism (definition)
History
- 2026-11-02: add by m2/dev
K7VTRZZDJ0 K7VTRZZDJ0
| URI | m2://inv/K7VTRZZDJ0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-76 (exercise). In E59CDZA4DP, exercise, section 10.6.6
History
- 2026-11-01: add by m2/v0.6.13
Fractional matching in hypergraphs K7W1CQ7PRM
| URI | m2://inv/K7W1CQ7PRM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matching in hypergraphs#CKDO, Fractional matching in hypergraphs (unknown)
History
- 2026-11-02: add by m2/dev
Properties K7W7HTBSXB
| URI | m2://inv/K7W7HTBSXB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lovász number#JQ1L, Properties (statement)
History
- 2026-11-02: add by m2/dev
K7W8QA66DC K7W8QA66DC
| URI | m2://inv/K7W8QA66DC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#4TIK (definition)
History
- 2026-11-02: add by m2/v0.6.18
Continuous wavelet transform K7WA910HJ6
| URI | m2://inv/K7WA910HJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of wavelet-related transforms#P9RK, Continuous wavelet transform (definition)
History
- 2026-11-02: add by m2/dev
K7WAXFBDQK K7WAXFBDQK
| URI | m2://inv/K7WAXFBDQK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07490#JYU4 (statement). In 1BCKN2RQQ4/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
K7WCT8ZPV4 K7WCT8ZPV4
| URI | m2://inv/K7WCT8ZPV4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10570#WBFA (statement). In V0MA250K2P/e1, theorem 3.12
History
- 2026-10-29: add by m2/v0.4.10
K7WG1E45WK K7WG1E45WK
| URI | m2://inv/K7WG1E45WK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#P7WS (definition). In G02N9D40B9/e1, definition 7.3.6
History
- 2026-10-29: add by m2/v0.4.10
Basic properties of the box constraint K7WVYFC866
| URI | m2://inv/K7WVYFC866 |
|---|---|
| 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.00033#LGYV, Basic properties of the box constraint (statement). In SHMMW4JXZ1/e1, lemma 12
History
- 2026-10-30: add by m2/v0.4.12
Definition and properties K7X8FS8Z7V
| URI | m2://inv/K7X8FS8Z7V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Osgood curve#E21Z, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
K7X8N3B6E9 K7X8N3B6E9
| URI | m2://inv/K7X8N3B6E9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10406#I9XQ (definition). In VQA35Q7C00/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
K7XAGCKHSN K7XAGCKHSN
| URI | m2://inv/K7XAGCKHSN |
|---|---|
| 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.01071#VZ81 (statement). In X1YF62ZFB6/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
History of numerical analysis K7XEQNP13H
| URI | m2://inv/K7XEQNP13H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical analysis#3CHP, History of numerical analysis (unknown)
History
- 2026-11-02: add by m2/dev
K7XHSTG5N8 K7XHSTG5N8
| URI | m2://inv/K7XHSTG5N8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/top-more.tex#definition-3 (definition). In RZP28ERRZV, definition, section 101.2.1
History
- 2026-11-01: add by m2/v0.6.13
total order K7XN49FA8S
| URI | m2://inv/K7XN49FA8S |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 06A05 |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Total order 0316AYH1SC |
Mentions
- wikidata: Wikidata Q369377, total order (topic). Also MathWorld TotalOrder, nLab total order
- wikipedia: Wikipedia Total order, Total order (definition). Also Wikidata Q369377
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
K7XPRZP1X8 K7XPRZP1X8
| URI | m2://inv/K7XPRZP1X8 |
|---|---|
| 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.20368#T73Q (statement)
History
- 2026-11-02: add by m2/v0.6.18
Lemma K7Y16K4GGW
| URI | m2://inv/K7Y16K4GGW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur–Horn theorem#U7GL, Lemma (statement)
History
- 2026-11-02: add by m2/dev
God Created the Integers K7Y1A12ZJQ
| URI | m2://inv/K7Y1A12ZJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#I1XJ, God Created the Integers (definition)
History
- 2026-11-02: add by m2/dev
Existence and uniqueness K7Y2SFMEEY
| URI | m2://inv/K7Y2SFMEEY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite field#CW50, Existence and uniqueness (statement)
History
- 2026-11-02: add by m2/dev
Centered annular hard wall K7Y8Y6XMW2
| URI | m2://inv/K7Y8Y6XMW2 |
|---|---|
| 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.25307#Z7V1, Centered annular hard wall (statement)
History
- 2026-11-01: add by m2/v0.6.15
K7YCRQV9E5 K7YCRQV9E5
| URI | m2://inv/K7YCRQV9E5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#example-4 (example). In E59CDZA4DP, example, section 11.1.1
History
- 2026-11-01: add by m2/v0.6.13
K7YKMF43MP K7YKMF43MP
| URI | m2://inv/K7YKMF43MP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/pr-relations.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 3.31
History
- 2026-11-01: add by m2/v0.6.13
Bernstein–von Mises theorem K7YTH146YC
| URI | m2://inv/K7YTH146YC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RLEM, Bernstein–von Mises theorem (statement)
History
- 2026-11-02: add by m2/dev
K7Z8D8123Z K7Z8D8123Z
| URI | m2://inv/K7Z8D8123Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36377#TBFV (statement). In M98F6VRPZ2/e1, lemma 7.1
History
- 2026-10-30: add by m2/v0.4.12
K7ZF11RZCS K7ZF11RZCS
| URI | m2://inv/K7ZF11RZCS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0808.3741#MULI (statement). In BBXEQ9QE7K/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Approximation property K7ZJSRAQQW
| URI | m2://inv/K7ZJSRAQQW |
|---|---|
| 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 2406.07116#YVNE, Approximation property (statement). In 5B030CB2RK/e1, proposition A.10
History
- 2026-10-27: add by m2/v0.3.6
Joyce Friedman K7ZQ52KM2H
| URI | m2://inv/K7ZQ52KM2H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joyce Friedman, Joyce Friedman (topic). Also Wikidata Q102112736
History
- 2026-11-02: add by m2/dev
bound variable K7ZV9DH8SV
| URI | m2://inv/K7ZV9DH8SV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#MROL, bound variable (definition)
History
- 2026-11-02: add by m2/dev
Econometric model K7ZVH6GB4V
| URI | m2://inv/K7ZVH6GB4V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Econometric model, Econometric model (definition). Also Wikidata Q5333342
History
- 2026-11-02: add by m2/dev
K7ZVR7RT5B K7ZVR7RT5B
| URI | m2://inv/K7ZVR7RT5B |
|---|---|
| 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#FND2 (statement). In X923ZEY423/e1, lemma 2.0.11
History
- 2026-10-27: add by m2/v0.3.5
K7ZXAGARG5 K7ZXAGARG5
| URI | m2://inv/K7ZXAGARG5 |
|---|---|
| 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 2112.05010#ZYB6 (statement). In 4SZNPS3Z00/e1, lemma B.8
History
- 2026-10-27: add by m2/v0.3.6