Inventory rows F7
The cards of the rows of the inventory whose ids start with F7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Applications F7009ZATFY
| URI | m2://inv/F7009ZATFY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Azumaya algebra#H49M, Applications (example)
History
- 2026-11-02: add by m2/dev
Statement of lemma for probability spaces F700BZM6JJ
| URI | m2://inv/F700BZM6JJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel–Cantelli lemma#TYDR, Statement of lemma for probability spaces (statement)
History
- 2026-11-02: add by m2/dev
Applications F7038EW7D0
| URI | m2://inv/F7038EW7D0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Realized variance#JCK4, Applications (example)
History
- 2026-11-02: add by m2/dev
Seifert conjecture F705M49BBP
| URI | m2://inv/F705M49BBP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q376443, Seifert conjecture (concept). Also MathWorld SeifertConjecture
- wikipedia: Wikipedia Seifert conjecture, Seifert conjecture (statement). Also Wikidata Q376443
History
- 2026-10-26: add by m2/dev
Barak Kol F705XYRAE6
| URI | m2://inv/F705XYRAE6 |
|---|---|
| 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 Q96868595, Barak Kol (unknown). Also nLab Barak Kol
History
- 2026-10-26: add by m2/dev
F707NF1G08 F707NF1G08
| URI | m2://inv/F707NF1G08 |
|---|---|
| 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.01354#HBD3 (statement). In BWD76W20W8/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.12
F70N65XP9J F70N65XP9J
| URI | m2://inv/F70N65XP9J |
|---|---|
| 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.00775#4A7W (statement). In WVHA7H05QC/e1, proposition 2.6
History
- 2026-10-29: add by m2/v0.4.12
F70XBKNS57 F70XBKNS57
| URI | m2://inv/F70XBKNS57 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30482#2M5O (statement). In KWB9M5YH9G/e1, lemma 5.2
History
- 2026-10-31: add by m2/v0.5.6
F712KH49XK F712KH49XK
| URI | m2://inv/F712KH49XK |
|---|---|
| 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 2609.31907#FBBZ (definition). In 6B2PCEGCYZ/e1, definition 2.4
History
- 2026-10-31: add by m2/v0.5.6
Mai Gehrke F7175NQ5NM
| URI | m2://inv/F7175NQ5NM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#VNCK, Mai Gehrke (topic)
History
- 2026-11-02: add by m2/dev
Dirac's theorems F718PASCW2
| URI | m2://inv/F718PASCW2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#TIPQ, Dirac's theorems (definition)
History
- 2026-11-02: add by m2/dev
Lan-Hsuan Huang F71G35ECR5
| URI | m2://inv/F71G35ECR5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Taiwanese mathematicians#H70X, Lan-Hsuan Huang (topic)
History
- 2026-11-02: add by m2/dev
Properties of binary visible choice F71NFCWR17
| URI | m2://inv/F71NFCWR17 |
|---|---|
| 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 1803.10042#GFAU, Properties of binary visible choice (statement). In 718SP8YERQ/e1, proposition B.2
History
- 2026-10-27: add by m2/v0.3.5
Local ring F71PMRHJCN
| URI | m2://inv/F71PMRHJCN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#20OH, Local ring (definition)
History
- 2026-11-02: add by m2/dev
F71VW8E53P F71VW8E53P
| URI | m2://inv/F71VW8E53P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28195#OOSQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
F723KD57XM F723KD57XM
| URI | m2://inv/F723KD57XM |
|---|---|
| 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.14455#BBET (statement). In 5KARPAJDCP/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Multivariable Kalman–Yakubovich–Popov lemma F724P11N9W
| URI | m2://inv/F724P11N9W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kalman–Yakubovich–Popov lemma#XULQ, Multivariable Kalman–Yakubovich–Popov lemma (statement)
History
- 2026-11-02: add by m2/dev
F72EYADGGQ F72EYADGGQ
| URI | m2://inv/F72EYADGGQ |
|---|---|
| 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.03449#6IIM (statement). In 3XM05SYQ8D/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.12
Variants F72FCKSC0Y
| URI | m2://inv/F72FCKSC0Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultimatum game#64A4, Variants (statement)
History
- 2026-11-02: add by m2/dev
Examples F72R19S7B4
| URI | m2://inv/F72R19S7B4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional derivative#HW6F, Examples (example)
History
- 2026-11-02: add by m2/dev
F7307VFVQ4 F7307VFVQ4
| URI | m2://inv/F7307VFVQ4 |
|---|---|
| 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.22374#M3EA (statement)
History
- 2026-11-02: add by m2/v0.6.17
Valiant–Vazirani theorem F732BKEDAD
| URI | m2://inv/F732BKEDAD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7911648, Valiant–Vazirani theorem (statement). Also Wikidata Q7911648
- thousand_plus: thousand_plus Q7911648, Valiant–Vazirani theorem (statement). Also Wikidata Q7911648, Wikipedia Valiant–Vazirani theorem
- wikipedia: Wikipedia Valiant–Vazirani theorem, Valiant–Vazirani theorem (statement). Also Wikidata Q7911648
History
- 2026-10-26: add by m2/dev
F733XE8XC4 F733XE8XC4
| URI | m2://inv/F733XE8XC4 |
|---|---|
| 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.15217#Z279 (definition). In G70Q2FB591/e1, definition 3.6
History
- 2026-10-28: add by m2/v0.4.2
Giovanni Pagnini F734YVZCAT
| URI | m2://inv/F734YVZCAT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Pagnini, Giovanni Pagnini (topic). Also Wikidata Q21208832
History
- 2026-11-02: add by m2/dev
F738SFBDYB F738SFBDYB
| URI | m2://inv/F738SFBDYB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 66.7
History
- 2026-11-01: add by m2/v0.6.13
Five Roads F73ADCTD4V
| URI | m2://inv/F73ADCTD4V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#988Q, Five Roads (unknown)
History
- 2026-11-02: add by m2/dev
Exponential sheaf sequence F73EFNGXJH
| URI | m2://inv/F73EFNGXJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#Z5AE, Exponential sheaf sequence (definition)
History
- 2026-11-02: add by m2/dev
F73P8PAEGP F73P8PAEGP
| URI | m2://inv/F73P8PAEGP |
|---|---|
| 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.40138#QKSY (definition). In R60HR493TS/e1, definition 3.4
History
- 2026-10-30: add by m2/v0.4.12
Cartan intertwiner formula F73QYC9WWE
| URI | m2://inv/F73QYC9WWE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06742#BXH6, Cartan intertwiner formula (statement). In 24FJ7C8WPN/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
F73STBC999 F73STBC999
| URI | m2://inv/F73STBC999 |
|---|---|
| Kind | statement |
| 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#MFJ6 (statement). In X1J5HKPS3R/e1, lemma 2.11
History
- 2026-10-29: add by m2/v0.4.10
Hall subgroup F73V4DGX4Z
| URI | m2://inv/F73V4DGX4Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hall subgroup KPWW9X14V2 |
Mentions
- wikidata: Wikidata Q1571916, Hall subgroup (concept). Also EoM Hall_subgroup, LMFDB knowl group.subgroup.hall, ProofWiki Definition:Hall_Subgroup
- wikipedia: Wikipedia Hall subgroup, Hall subgroup (definition). Also Wikidata Q1571916
History
- 2026-10-26: add by m2/dev
F74036X1K4 F74036X1K4
| URI | m2://inv/F74036X1K4 |
|---|---|
| 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 2608.24190#QGH3 (statement). In DW7FVA587C/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
plump, successor F744W50HV9
| URI | m2://inv/F744W50HV9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/plump-successor, plump, successor (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
F747T6PG5A F747T6PG5A
| URI | m2://inv/F747T6PG5A |
|---|---|
| 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.39793#3KMI (statement). In 380M45ANWF/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Example F74G3N0W9T
| URI | m2://inv/F74G3N0W9T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gram–Schmidt process#0U0H, Example (example)
History
- 2026-11-02: add by m2/dev
``Hybrid'' local strong convexity F74K6FPH15
| URI | m2://inv/F74K6FPH15 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30590#PKVR, ``Hybrid'' local strong convexity (statement). In WYE2JVEZBT/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
List of two-dimensional geometric shapes F74MW27VX0
| URI | m2://inv/F74MW27VX0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes, List of two-dimensional geometric shapes (topic). Also Wikidata Q16000829
History
- 2026-11-02: add by m2/dev
Ehresmann connection F74SM6JCC2
| URI | m2://inv/F74SM6JCC2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#1TLS, Ehresmann connection (definition)
History
- 2026-11-02: add by m2/dev
F74SP7J47F F74SP7J47F
| URI | m2://inv/F74SP7J47F |
|---|---|
| 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.05442#5W7L (statement). In WEPE51JCHZ/e1, proposition 9.6
History
- 2026-10-29: add by m2/v0.4.10
Generalized quaternion group F74W3BKDR1
| URI | m2://inv/F74W3BKDR1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternion group#7NPA, Generalized quaternion group (unknown)
History
- 2026-11-02: add by m2/dev
Zlil Sela F755Q9WT3V
| URI | m2://inv/F755Q9WT3V |
|---|---|
| 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#IAKH, Zlil Sela (topic)
History
- 2026-11-02: add by m2/dev
voter model F758SQC7KS
| URI | m2://inv/F758SQC7KS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Voter model YBAE5QCH1A |
Mentions
- wikidata: Wikidata Q7942158, voter model (unknown). Also MathWorld VoterModel
- wikipedia: Wikipedia Voter model, Voter model (definition). Also Wikidata Q7942158
History
- 2026-10-26: add by m2/dev
Mackey topology F75D8T8J5E
| URI | m2://inv/F75D8T8J5E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Mackey topology W18EY4E5TH |
Mentions
- wikidata: Wikidata Q2226748, Mackey topology (statement). Also EoM Mackey_topology
- wikipedia: Wikipedia Mackey topology, Mackey topology (definition). Also Wikidata Q2226748
History
- 2026-10-26: add by m2/dev
A unit root F75M27E581
| URI | m2://inv/F75M27E581 |
|---|---|
| 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.21662#VVCO, A unit root (statement). In 25B3WHEKH2/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.4.2
Radial Rarefactive Existence; Theorem 5.3 F75N7SRVJ4
| URI | m2://inv/F75N7SRVJ4 |
|---|---|
| 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.04901#1HHM, Radial Rarefactive Existence; Theorem 5.3 (statement). In XBWHYW36TP/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
Pavel Gevorgyan F75YJ76BAW
| URI | m2://inv/F75YJ76BAW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pavel Gevorgyan, Pavel Gevorgyan (topic). Also Wikidata Q4134678
History
- 2026-11-02: add by m2/dev
F764CB5XKT F764CB5XKT
| URI | m2://inv/F764CB5XKT |
|---|---|
| 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.40252#MPQC (statement). In 7MVPNFPRKB/e1, theorem 8.9
History
- 2026-10-30: add by m2/v0.4.12
List of things named after Erik Fredholm F7686HXY65
| URI | m2://inv/F7686HXY65 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#5J2S, List of things named after Erik Fredholm (topic)
History
- 2026-11-02: add by m2/dev
F76G3SHHYF F76G3SHHYF
| URI | m2://inv/F76G3SHHYF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section5-2.xml#ula-preview-5-2 (exercise). In 649HGZKE96, exploration, section 5.2.1
History
- 2026-11-01: add by m2/v0.6.13
Truth-value assignments, formula evaluations F76QFKTBVG
| URI | m2://inv/F76QFKTBVG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional formula#0M4K, Truth-value assignments, formula evaluations (statement)
History
- 2026-11-02: add by m2/dev
ultraweak F76Z7THY4Z
| URI | m2://inv/F76Z7THY4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#JXGJ, ultraweak (definition)
History
- 2026-11-02: add by m2/dev
Borromean rings F7715F1PD1
| URI | m2://inv/F7715F1PD1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borromean rings, Borromean rings (definition). Also Wikidata Q894166
History
- 2026-11-02: add by m2/dev
Theorem F7743AE1ZX
| URI | m2://inv/F7743AE1ZX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero–one law (logic)#I51J, Theorem (statement)
History
- 2026-11-02: add by m2/dev
F777K0BJ0Q F777K0BJ0Q
| URI | m2://inv/F777K0BJ0Q |
|---|---|
| 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 2610.15169#2WZX (statement). In V7SN19J84T/e1, proposition 2.7
History
- 2026-10-28: add by m2/v0.4.2
F77CN772E3 F77CN772E3
| URI | m2://inv/F77CN772E3 |
|---|---|
| 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.22345#E406 (statement). In 7JATJ4VG9G/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.0
Decomposition of the approximation error F77JHQM13H
| URI | m2://inv/F77JHQM13H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12544#5ABO, Decomposition of the approximation error (statement). In XXV36V6CK8/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
Jil Matheson F77PNK2AH8
| URI | m2://inv/F77PNK2AH8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jil Matheson, Jil Matheson (topic). Also Wikidata Q15994624
History
- 2026-11-02: add by m2/dev
F783YAR0JB F783YAR0JB
| URI | m2://inv/F783YAR0JB |
|---|---|
| Kind | statement |
| 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#QPU5 (statement). In WWMHZKWZSM/e1, proposition 5
History
- 2026-10-27: add by m2/v0.3.5
F785Z14SSJ F785Z14SSJ
| URI | m2://inv/F785Z14SSJ |
|---|---|
| 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#TE05 (statement). In X47RYAZF8P/e1, lemma 10.2
History
- 2026-10-28: add by m2/v0.4.2
Descriptive set theory F789W2K30X
| URI | m2://inv/F789W2K30X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#T8B1, Descriptive set theory (definition)
History
- 2026-11-02: add by m2/dev
Population targets for left/right segments F78EDKPP37
| URI | m2://inv/F78EDKPP37 |
|---|---|
| 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.12271#45CI, Population targets for left/right segments (definition). In WGCET6KSQ7/e1, definition 20
History
- 2026-10-27: add by m2/v0.3.6
regular F78H7ND80N
| URI | m2://inv/F78H7ND80N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#RSZV, regular (definition)
History
- 2026-11-02: add by m2/dev
The contact process. F78NDJA565
| URI | m2://inv/F78NDJA565 |
|---|---|
| Kind | example |
| 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#NG5G, The contact process. (example). In WD2NCBV9F0/e1, example 22.1
History
- 2026-10-27: add by m2/v0.3.5
Definition F78NZJPJ14
| URI | m2://inv/F78NZJPJ14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Definition, Definition (definition). Also Wikidata Q101072
History
- 2026-11-02: add by m2/dev
Rajat Subhra Hazra F78TB0EB4C
| URI | m2://inv/F78TB0EB4C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rajat Subhra Hazra, Rajat Subhra Hazra (topic). Also Wikidata Q99654583
History
- 2026-11-02: add by m2/dev
F78TQV904D F78TQV904D
| URI | m2://inv/F78TQV904D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#MBC0 (example). In 9ZSNSJRJ5N/e1, example 40
History
- 2026-10-27: add by m2/v0.4.2
Keumhee Carrière Chough F78XR2CX06
| URI | m2://inv/F78XR2CX06 |
|---|---|
| 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#H7TF, Keumhee Carrière Chough (topic)
History
- 2026-11-02: add by m2/dev
F78XW0EPPP F78XW0EPPP
| URI | m2://inv/F78XW0EPPP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#WNIK (definition). In X923ZEY423/e1, definition 1.1.4
History
- 2026-10-27: add by m2/v0.3.5
F78YX66XNR F78YX66XNR
| URI | m2://inv/F78YX66XNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05391#RX2D (statement). In 9B5TNEBJHV/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Georgi Dvali F791D1E6FD
| URI | m2://inv/F791D1E6FD |
|---|---|
| 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 Q3652283, Georgi Dvali (unknown). Also nLab Giorgi Dvali
History
- 2026-10-26: add by m2/dev
F79ABHDPRQ F79ABHDPRQ
| URI | m2://inv/F79ABHDPRQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_rationals.ptx#theorem-3 (statement). In QKM9DD2H56, theorem, section B.16
History
- 2026-11-01: add by m2/v0.6.13
Definition F79P5J7Z8T
| URI | m2://inv/F79P5J7Z8T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed set#2EC8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Generalizations F79P83G5NF
| URI | m2://inv/F79P83G5NF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Domain theory#UVKC, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
F79RPQMMM7 F79RPQMMM7
| URI | m2://inv/F79RPQMMM7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#example-25 (example). In VNMV985MXX, example, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
F79Z1X51Y3 F79Z1X51Y3
| URI | m2://inv/F79Z1X51Y3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08766#OQ1H (statement). In QA4JM9SHPA/e1, corollary 4.6
History
- 2026-10-29: add by m2/v0.4.10
Axiom of pairing F79ZV2ZRS7
| URI | m2://inv/F79ZV2ZRS7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#7G5D, Axiom of pairing (statement)
History
- 2026-11-02: add by m2/dev
F7A979BN3P F7A979BN3P
| URI | m2://inv/F7A979BN3P |
|---|---|
| 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.08753#WKAP (statement). In J9P361Z1CX/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.10
F7APAF9876 F7APAF9876
| URI | m2://inv/F7APAF9876 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#proof-11 (proof). In RZP28ERRZV, proof, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
F7AQ20HFFW F7AQ20HFFW
| URI | m2://inv/F7AQ20HFFW |
|---|---|
| Kind | definition |
| 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.24465#PBRH (definition)
History
- 2026-11-01: add by m2/v0.6.15
Absolute convergence F7AR5T638C
| URI | m2://inv/F7AR5T638C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#LLI5, Absolute convergence (definition)
History
- 2026-11-02: add by m2/dev
Example F7ARJ0VBTK
| URI | m2://inv/F7ARJ0VBTK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ambiguity function#WQN5, Example (example)
History
- 2026-11-02: add by m2/dev
Implementation F7ASRJCCXC
| URI | m2://inv/F7ASRJCCXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum-length sequence#43R3, Implementation (definition)
History
- 2026-11-02: add by m2/dev
McCulloch-Pitts neural net F7AVCENGFD
| URI | m2://inv/F7AVCENGFD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artificial neuron#JI6E, McCulloch-Pitts neural net (unknown)
History
- 2026-11-02: add by m2/dev
Definitions F7AXQVA7VE
| URI | m2://inv/F7AXQVA7VE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex normal distribution#LIJ9, Definitions (definition)
History
- 2026-11-02: add by m2/dev
F7AZ56Y3GQ F7AZ56Y3GQ
| URI | m2://inv/F7AZ56Y3GQ |
|---|---|
| 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.03437#UABM (statement). In EDTV1EDV7M/e1, corollary 2.7
History
- 2026-10-29: add by m2/v0.4.12
Centerpoint Theorem\protect F7B1YF7FA7
| URI | m2://inv/F7B1YF7FA7 |
|---|---|
| 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 2609.27241#AXI9, Centerpoint Theorem\protect (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alexander Grothendieck F7B3FDXSKW
| URI | m2://inv/F7B3FDXSKW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#PY2K, Alexander Grothendieck (topic)
History
- 2026-11-02: add by m2/dev
Formal definition F7B565H9D9
| URI | m2://inv/F7B565H9D9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffiety#PCWV, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
cf.\ F7B7ZJB2DV
| URI | m2://inv/F7B7ZJB2DV |
|---|---|
| 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.25524#GRZO, cf.\ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties F7BA3RXVBH
| URI | m2://inv/F7BA3RXVBH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongated triangular orthobicupola#BI8F, Properties (statement)
History
- 2026-11-02: add by m2/dev
Serre's inequality on height F7BB8RY960
| URI | m2://inv/F7BB8RY960 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serre's inequality on height, Serre's inequality on height (statement). Also Wikidata Q85800438
History
- 2026-11-02: add by m2/dev
F7BEAGJEHX F7BEAGJEHX
| URI | m2://inv/F7BEAGJEHX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#ZJE2 (statement). In 47WN78VDDF/e1, theorem 3.6
History
- 2026-10-30: add by m2/v0.4.12
Projection to quaternionic projective space F7BFVV0DHM
| URI | m2://inv/F7BFVV0DHM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-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.26269#F9VG, Projection to quaternionic projective space (statement)
History
- 2026-11-01: add by m2/v0.6.15
F7BX395GX4 F7BX395GX4
| URI | m2://inv/F7BX395GX4 |
|---|---|
| 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.36300#ZPLZ (statement). In MNWD3Y6W56/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
Averaging absorbs the relative noise F7BZG0245K
| URI | m2://inv/F7BZG0245K |
|---|---|
| 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.12641#M93J, Averaging absorbs the relative noise (statement). In X5BYGZZHPF/e1, lemma G.6
History
- 2026-10-28: add by m2/v0.4.2
Baum–Connes conjecture F7C0M0D9A3
| URI | m2://inv/F7C0M0D9A3 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baum–Connes conjecture, Baum–Connes conjecture (conjecture). Also Wikidata Q2993305
History
- 2026-11-02: add by m2/dev
F7CQWYHXQ6 F7CQWYHXQ6
| URI | m2://inv/F7CQWYHXQ6 |
|---|---|
| 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.01796#0X0J (statement). In JC3PAB5DRC/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.12
Addition in N F7CVTJ2GQY
| URI | m2://inv/F7CVTJ2GQY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Addition#EB7L, Addition in N (unknown)
History
- 2026-11-02: add by m2/dev
F7CZSVB9Q8 F7CZSVB9Q8
| URI | m2://inv/F7CZSVB9Q8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10828#OIMX (statement). In 8PTDFHV8SQ/e1, corollary 7.2
History
- 2026-10-28: add by m2/v0.4.3
F7D08TQ14Z F7D08TQ14Z
| URI | m2://inv/F7D08TQ14Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.03719#41BV (statement). In 8MDK189ZMB/e1, corollary 2.6
History
- 2026-10-29: add by m2/v0.4.12
SISD--NBQP correspondence F7D2CCQPDW
| URI | m2://inv/F7D2CCQPDW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06300#H64Z, SISD--NBQP correspondence (statement). In 751KSRS7WT/e1, theorem 2.2
- arxiv: arXiv 2610.06340#FD7X, SISD--NBQP correspondence (statement). In PKNZPECH82/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Definition F7DE47MGYE
| URI | m2://inv/F7DE47MGYE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Z-factor#NXUP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties F7DJ8AWZ0X
| URI | m2://inv/F7DJ8AWZ0X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baum–Sweet sequence#9RF4, Properties (statement)
History
- 2026-11-02: add by m2/dev
F7DP6B40SS F7DP6B40SS
| URI | m2://inv/F7DP6B40SS |
|---|---|
| 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.34731#KYN2 (statement). In MH54AS0Y61/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
F7DPF8PQZ2 F7DPF8PQZ2
| URI | m2://inv/F7DPF8PQZ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.39845#AC28 (statement). In RK8DFVGQP1/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
F7DT8V8AF4 F7DT8V8AF4
| URI | m2://inv/F7DT8V8AF4 |
|---|---|
| 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 2609.19921#JGJO (statement)
History
- 2026-11-02: add by m2/v0.6.18
F7DYQ8Y708 F7DYQ8Y708
| URI | m2://inv/F7DYQ8Y708 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-123 (exercise). In E9HS8K3A52, exercise, section 4.9.1
History
- 2026-11-01: add by m2/v0.6.13
Pseudorandom Roth--S\'ark\"ozy F7E7WCNREM
| URI | m2://inv/F7E7WCNREM |
|---|---|
| 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 1806.05002#XX04, Pseudorandom Roth--S\'ark\"ozy (statement). In JBAQ7DTW7B/e1, theorem 11.4
History
- 2026-10-27: add by m2/v0.3.5
George Casella F7E7WJM8NH
| URI | m2://inv/F7E7WJM8NH |
|---|---|
| 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#LQNI, George Casella (topic)
History
- 2026-11-02: add by m2/dev
F7EGYD38B1 F7EGYD38B1
| URI | m2://inv/F7EGYD38B1 |
|---|---|
| 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.26592#KZJQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conserved energy lower-bounds the zero-frequency trace weight F7EJXQAAHT
| URI | m2://inv/F7EJXQAAHT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#WDI2, Conserved energy lower-bounds the zero-frequency trace weight (statement). In 1QSV7EQE3T/e1, lemma S28
History
- 2026-10-28: add by m2/v0.4.2
F7EM7XAKDZ F7EM7XAKDZ
| URI | m2://inv/F7EM7XAKDZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39218#1VCQ (definition). In VPZSCE8HFP/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Examples F7ER84HHNM
| URI | m2://inv/F7ER84HHNM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex uniform honeycomb#3I57, Examples (example)
History
- 2026-11-02: add by m2/dev
Statement F7ERGACKFK
| URI | m2://inv/F7ERGACKFK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Longuerre's theorem#0WFX, Statement (statement)
History
- 2026-11-02: add by m2/dev
F7EY942Q72 F7EY942Q72
| URI | m2://inv/F7EY942Q72 |
|---|---|
| Kind | definition |
| 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.08837#TJIP (definition). In KBH265QSBT/e1, definition 8.9
History
- 2026-10-29: add by m2/v0.4.10
Ron Aharoni F7F77PJA03
| URI | m2://inv/F7F77PJA03 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#J4QQ, Ron Aharoni (topic)
History
- 2026-11-02: add by m2/dev
F7FAYM1FQ2 F7FAYM1FQ2
| URI | m2://inv/F7FAYM1FQ2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/composition.tex#ex-1 (example). In PKGMM3P5QY, ex, section 78.8
History
- 2026-11-01: add by m2/v0.6.13
F7FBFK38YP F7FBFK38YP
| URI | m2://inv/F7FBFK38YP |
|---|---|
| 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 2111.08123#J109 (statement). In TAAB0QAKAG/e1, theorem 8.4
History
- 2026-10-27: add by m2/v0.3.5
F7FGHVS7GM F7FGHVS7GM
| URI | m2://inv/F7FGHVS7GM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35404#VAVI (statement). In DH84PYVRCF/e1, theorem 4.4
History
- 2026-10-30: add by m2/v0.4.12
Truncated order-4 hexagonal tiling F7FKH3RPZY
| URI | m2://inv/F7FKH3RPZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-4 hexagonal tiling, Truncated order-4 hexagonal tiling (definition). Also Wikidata Q17078609
History
- 2026-11-02: add by m2/dev
Coordinate Preservation F7FKTFX89H
| URI | m2://inv/F7FKTFX89H |
|---|---|
| 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.05504#D5BD, Coordinate Preservation (statement). In 5PY98FZVJW/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
Gerhard J. Woeginger F7FP1Y0AY0
| URI | m2://inv/F7FP1Y0AY0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gerhard J. Woeginger, Gerhard J. Woeginger (topic). Also Wikidata Q20994323
History
- 2026-11-02: add by m2/dev
F7FPEZJTBQ F7FPEZJTBQ
| URI | m2://inv/F7FPEZJTBQ |
|---|---|
| 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.15405#AKBZ (statement). In 9QCYCXVF5W/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
F7FRY872SX F7FRY872SX
| URI | m2://inv/F7FRY872SX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18483#5VNG (statement). In FF4HDVF1DC/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Examples F7FT0BB57F
| URI | m2://inv/F7FT0BB57F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extremal length#DRDB, Examples (example)
History
- 2026-11-02: add by m2/dev
Example F7FT935JHF
| URI | m2://inv/F7FT935JHF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cheung–Marks theorem#JKHJ, Example (example)
History
- 2026-11-02: add by m2/dev
Atmospheric refraction F7FVKJWVCX
| URI | m2://inv/F7FVKJWVCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atmospheric refraction, Atmospheric refraction (definition). Also Wikidata Q254634
History
- 2026-11-02: add by m2/dev
\textbf{One-step error estimates for Euler-type ULMC schemes F7FY5BMQEE
| URI | m2://inv/F7FY5BMQEE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20713#47GC, \textbf{One-step error estimates for Euler-type ULMC schemes (statement)
History
- 2026-11-02: add by m2/v0.6.18
F7G1CKGMS6 F7G1CKGMS6
| URI | m2://inv/F7G1CKGMS6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-addmult.ptx#example-7 (example). In Y91XFCEVHQ, example, section 2.1.2
History
- 2026-11-01: add by m2/v0.6.13
F7G5ZV2GEB F7G5ZV2GEB
| URI | m2://inv/F7G5ZV2GEB |
|---|---|
| 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.08226#90WC (statement). In V6EPE8XHAD/e1, proposition 9.5
History
- 2026-10-29: add by m2/v0.4.10
A topological category without these tests F7G7QHJN0S
| URI | m2://inv/F7G7QHJN0S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#HM92, A topological category without these tests (example). In TC5QA4AB4Z/e1, example 4.51
History
- 2026-10-30: add by m2/v0.4.12
Jacques Touchard F7G8374H9T
| URI | m2://inv/F7G8374H9T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacques Touchard, Jacques Touchard (topic). Also Wikidata Q3045896
History
- 2026-11-02: add by m2/dev
LAPACK F7GCS9YKMS
| URI | m2://inv/F7GCS9YKMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LAPACK, LAPACK (definition). Also Wikidata Q642141
History
- 2026-11-02: add by m2/dev
F7GQMFEBSH F7GQMFEBSH
| URI | m2://inv/F7GQMFEBSH |
|---|---|
| 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.22263#8XX1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Methods F7GRQ4DYXW
| URI | m2://inv/F7GRQ4DYXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistics New Zealand#8ZVG, Methods (definition)
History
- 2026-11-02: add by m2/dev
F7GT8AMVQK F7GT8AMVQK
| URI | m2://inv/F7GT8AMVQK |
|---|---|
| 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.30575#SG3U (definition). In 6WFFY0QM27/e1, definition 1.5
History
- 2026-10-31: add by m2/v0.5.6
F7GW00SD8E F7GW00SD8E
| URI | m2://inv/F7GW00SD8E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#9RZX (statement). In 6HJQXZS0A6/e1, theorem 3.15
History
- 2026-10-29: add by m2/v0.4.12
Aurelio Baldor F7H0PAN8SV
| URI | m2://inv/F7H0PAN8SV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aurelio Baldor, Aurelio Baldor (topic). Also Wikidata Q4822256
History
- 2026-11-02: add by m2/dev
F7H0VD8JQ3 F7H0VD8JQ3
| URI | m2://inv/F7H0VD8JQ3 |
|---|---|
| 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.15094#QLJC (statement). In 5AA8PPK2CC/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
F7H11WZYNH F7H11WZYNH
| URI | m2://inv/F7H11WZYNH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03746#64EP (statement). In 4E1D0NS89S/e1, proposition 4.6
History
- 2026-10-29: add by m2/v0.4.12
F7H644YZ50 F7H644YZ50
| URI | m2://inv/F7H644YZ50 |
|---|---|
| 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.04252#Y4TJ (statement). In ZF0Z61VQ96/e1, theorem 4.10
History
- 2026-10-29: add by m2/v0.4.12
F7HJQANXXA F7HJQANXXA
| URI | m2://inv/F7HJQANXXA |
|---|---|
| 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.13670#R4G6 (statement). In 4PGTZ19B26/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Formal definition F7HPD0Z4Z6
| URI | m2://inv/F7HPD0Z4Z6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Well-quasi-ordering#EXE1, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
F7HST7WX7Z F7HST7WX7Z
| URI | m2://inv/F7HST7WX7Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2609.30033#N1LT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Spectrum bias F7JB8HRJRP
| URI | m2://inv/F7JB8HRJRP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#S4G4, Spectrum bias (definition)
History
- 2026-11-02: add by m2/dev
F7JGDXXYP9 F7JGDXXYP9
| URI | m2://inv/F7JGDXXYP9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 46-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.05391#TPFK (example). In 9B5TNEBJHV/e1, example 3.6
History
- 2026-10-29: add by m2/v0.4.10
D6 polytope F7JN4DRXPH
| URI | m2://inv/F7JN4DRXPH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia D6 polytope, D6 polytope (definition). Also Wikidata Q6568311
History
- 2026-11-02: add by m2/dev
principal curvature F7JTSFQWDN
| URI | m2://inv/F7JTSFQWDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Principal curvature FA8QE1SGP4 |
Mentions
- wikidata: Wikidata Q1589551, principal curvature (unknown). Also MathWorld PrincipalCurvatures
- wikipedia: Wikipedia Principal curvature, Principal curvature (definition). Also Wikidata Q1589551
History
- 2026-10-26: add by m2/dev
List of curves topics F7JWX07R89
| URI | m2://inv/F7JWX07R89 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics, List of curves topics (topic). Also Wikidata Q6615405
History
- 2026-11-02: add by m2/dev
Properties F7JZMJK0VY
| URI | m2://inv/F7JZMJK0VY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rado graph#5HRM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Metropolis–Hastings algorithm F7K1EHRVHQ
| URI | m2://inv/F7K1EHRVHQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metropolis–Hastings algorithm, Metropolis–Hastings algorithm (definition). Also Wikidata Q910810
History
- 2026-11-02: add by m2/dev
Cartan–Kuranishi prolongation theorem F7K20RGDBP
| URI | m2://inv/F7K20RGDBP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#4TUD, Cartan–Kuranishi prolongation theorem (statement)
History
- 2026-11-02: add by m2/dev
uniform space F7K2JFG7NB
| URI | m2://inv/F7K2JFG7NB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | Uniform space A54T86KS63 |
Mentions
- mathlib_overview: mathlib_overview Topology > Uniform notions > uniform space, uniform space (unknown). Also Mathlib UniformSpace
- wikidata: Wikidata Q652446, uniform space (unknown). Also EoM Uniform_space, Mathlib UniformSpace, nLab uniform space
- wikipedia: Wikipedia Uniform space, Uniform space (definition). Also Wikidata Q652446
History
- 2026-10-26: add by m2/dev
Conformal curvature formula F7K33Q5QQ4
| URI | m2://inv/F7K33Q5QQ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24610#EK54, Conformal curvature formula (statement)
History
- 2026-11-01: add by m2/v0.6.15
F7K71S749E F7K71S749E
| URI | m2://inv/F7K71S749E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38567#F8Y5 (statement). In 59AXA7QFTE/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
Lemma F7KGFJ86HV
| URI | m2://inv/F7KGFJ86HV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Original proof of Gödel's completeness theorem#0S97, Lemma (statement)
History
- 2026-11-02: add by m2/dev
F7KHN8GTCX F7KHN8GTCX
| URI | m2://inv/F7KHN8GTCX |
|---|---|
| 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.11047#UMBO (statement). In MNQAZ70XTH/e1, lemma 10.11
History
- 2026-10-28: add by m2/v0.4.3
F7KHN9GQWY F7KHN9GQWY
| URI | m2://inv/F7KHN9GQWY |
|---|---|
| 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#43AL (statement). In 5B030CB2RK/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.6
Hautus Lemma for stabilizability F7KTBKJH3N
| URI | m2://inv/F7KTBKJH3N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hautus lemma#EOOS, Hautus Lemma for stabilizability (statement)
History
- 2026-11-02: add by m2/dev
F7KTRG3G9H F7KTRG3G9H
| URI | m2://inv/F7KTRG3G9H |
|---|---|
| Kind | definition |
| 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.02901#WDN2 (definition). In NSP90G5XCQ/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.12
F7KYXAA3FW F7KYXAA3FW
| URI | m2://inv/F7KYXAA3FW |
|---|---|
| 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 2108.03672#2ED4 (statement). In EZZSZ1F071/e1, lemma 1.11
History
- 2026-10-27: add by m2/v0.4.0
instanton F7KZD3AD87
| URI | m2://inv/F7KZD3AD87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1192916, instanton (unknown). Also nLab instanton
- wikipedia: Wikipedia Instanton, Instanton (definition). Also Wikidata Q1192916
History
- 2026-10-26: add by m2/dev
F7M636HMZA F7M636HMZA
| URI | m2://inv/F7M636HMZA |
|---|---|
| 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.10233#QHRO (statement). In QR9WE79ERQ/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.10
F7M7T11SB4 F7M7T11SB4
| URI | m2://inv/F7M7T11SB4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#TUS8 (statement). In WRE0P7V6Z3/e1, lemma 11.5
History
- 2026-10-30: add by m2/v0.4.12
F7MERPQYM7 F7MERPQYM7
| URI | m2://inv/F7MERPQYM7 |
|---|---|
| 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 1304.4839#OHVX (statement). In YWS516YD1V/e1, corollary 2.5
History
- 2026-10-27: add by m2/v0.3.5
Sparse binary polynomial hashing F7MK6QN0Q2
| URI | m2://inv/F7MK6QN0Q2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparse binary polynomial hashing, Sparse binary polynomial hashing (definition). Also Wikidata Q7573788
History
- 2026-11-02: add by m2/dev
Example F7MS6BMSC8
| URI | m2://inv/F7MS6BMSC8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank-maximal allocation#FE33, Example (example)
History
- 2026-11-02: add by m2/dev
$\cC^0$ estimates F7N0F1HMHQ
| URI | m2://inv/F7N0F1HMHQ |
|---|---|
| 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.06529#YTCK, $\cC^0$ estimates (statement). In JFQY4CYHKP/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Rank ring F7N20NWAXV
| URI | m2://inv/F7N20NWAXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank ring, Rank ring (definition). Also Wikidata Q7293217
History
- 2026-11-02: add by m2/dev
F7N2QV9XP8 F7N2QV9XP8
| URI | m2://inv/F7N2QV9XP8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2609.33957#FV48 (statement). In KG6V5AN3PK/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
F7N3R142KA F7N3R142KA
| URI | m2://inv/F7N3R142KA |
|---|---|
| Kind | definition |
| 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 2610.03763#MAXR (definition). In ARZ4X5PXXC/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.12
F7N9NG556H F7N9NG556H
| URI | m2://inv/F7N9NG556H |
|---|---|
| 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.09201#6G1Y (definition). In JQFPH09JG8/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
F7NE9WPGFS F7NE9WPGFS
| URI | m2://inv/F7NE9WPGFS |
|---|---|
| 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.00048#HNFW (statement). In 4T0CFT0MMX/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
Examples F7NN7ZN7V5
| URI | m2://inv/F7NN7ZN7V5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herglotz's variational principle#C76H, Examples (example)
History
- 2026-11-02: add by m2/dev
F7NWRFQ7V7 F7NWRFQ7V7
| URI | m2://inv/F7NWRFQ7V7 |
|---|---|
| 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.18562#R3QY (statement). In 793KXAR957/e1, lemma 3.15
History
- 2026-10-28: add by m2/v0.4.2
*{Thm. 4.1 F7NXD47C6F
| URI | m2://inv/F7NXD47C6F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.21914#WZRL, *{Thm. 4.1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Universal improvement in dimension two F7P3GP8Z3Z
| URI | m2://inv/F7P3GP8Z3Z |
|---|---|
| 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.23923#TI4G, Universal improvement in dimension two (statement)
History
- 2026-11-02: add by m2/v0.6.17
F7P3MNDZZN F7P3MNDZZN
| URI | m2://inv/F7P3MNDZZN |
|---|---|
| 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.15723#B22D (statement). In A3KXZ2GBHN/e1, lemma 17
History
- 2026-10-28: add by m2/v0.4.2
Overwhelming gain paradox F7P5PGE543
| URI | m2://inv/F7P5PGE543 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Logic of Life#H01W, Overwhelming gain paradox (statement)
History
- 2026-11-02: add by m2/dev
Error estimate, Keen--Series F7P61WFY2A
| URI | m2://inv/F7P61WFY2A |
|---|---|
| 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.29450#2BGC, Error estimate, Keen--Series (statement)
History
- 2026-11-01: add by m2/v0.6.15
F7P6ZA0VBE F7P6ZA0VBE
| URI | m2://inv/F7P6ZA0VBE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13142#ZCHG (statement). In KYW4YMVQAB/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
Partition prime F7P9PBTF09
| URI | m2://inv/F7P9PBTF09 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of prime numbers#TUSD, Partition prime (unknown)
History
- 2026-11-02: add by m2/dev
F7PC505M7C F7PC505M7C
| URI | m2://inv/F7PC505M7C |
|---|---|
| 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 2610.19311#78IY (definition). In 3MFD6RSV41/e1, definition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Yurii Reshetnyak F7PGDSAK20
| URI | m2://inv/F7PGDSAK20 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yurii Reshetnyak, Yurii Reshetnyak (topic). Also Wikidata Q4394099
History
- 2026-11-02: add by m2/dev
Minkowski's inequality F7PGHV8TT1
| URI | m2://inv/F7PGHV8TT1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#68VH, Minkowski's inequality (statement)
History
- 2026-11-02: add by m2/dev
Definition F7PKQYWJH0
| URI | m2://inv/F7PKQYWJH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial equivalence relation#0VTT, Definition (definition)
History
- 2026-11-02: add by m2/dev
real projective plane F7PM6WCW7G
| URI | m2://inv/F7PM6WCW7G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Real projective plane MWDB7RACWQ |
Mentions
- wikidata: Wikidata Q633815, real projective plane (unknown). Also MathWorld RealProjectivePlane
- wikipedia: Wikipedia Real projective plane, Real projective plane (definition). Also Wikidata Q633815
History
- 2026-10-26: add by m2/dev
F7PQMB18KJ F7PQMB18KJ
| URI | m2://inv/F7PQMB18KJ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#proof-1 (proof). In RZP28ERRZV, proof, section 55.1
History
- 2026-11-01: add by m2/v0.6.13
anoxic conditions F7PVQ1F2AF
| URI | m2://inv/F7PVQ1F2AF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#BOQ2, anoxic conditions (unknown)
History
- 2026-11-02: add by m2/dev
Maximum parsimony F7PW9F5W43
| URI | m2://inv/F7PW9F5W43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1A2V, Maximum parsimony (definition)
History
- 2026-11-02: add by m2/dev
F7PZ8WRFRJ F7PZ8WRFRJ
| URI | m2://inv/F7PZ8WRFRJ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12612#RXK2 (problem). In 8A0VZV8PBN/e1, problem 8.2
History
- 2026-10-28: add by m2/v0.4.2
David Cox F7Q1AMKN8Q
| URI | m2://inv/F7Q1AMKN8Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Cox (statistician), David Cox (topic). Also Wikidata Q464935
History
- 2026-11-02: add by m2/dev
F7QAFKNZEB F7QAFKNZEB
| URI | m2://inv/F7QAFKNZEB |
|---|---|
| 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.09809#MYYI (statement). In 7NKQ6PR78N/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
F7QBRSP026 F7QBRSP026
| URI | m2://inv/F7QBRSP026 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-4.xml#ula-preview-3-4 (exercise). In 649HGZKE96, exploration, section 3.4.1
History
- 2026-11-01: add by m2/v0.6.13
Cossey-Lewis F7QQ7NTF46
| URI | m2://inv/F7QQ7NTF46 |
|---|---|
| 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 2502.05771#R1C1, Cossey-Lewis (conjecture). In 958KKGH89J/e1, conjecture 1.3
History
- 2026-10-27: add by m2/v0.3.6
Applications F7QS7CBCKG
| URI | m2://inv/F7QS7CBCKG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kriging#0DAM, Applications (example)
History
- 2026-11-02: add by m2/dev
F7QW7MQNDG F7QW7MQNDG
| URI | m2://inv/F7QW7MQNDG |
|---|---|
| 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.01015#VXK8 (statement). In PSH07NKZ62/e1, theorem 16
History
- 2026-10-29: add by m2/v0.4.12
F7QWCR4Q7K F7QWCR4Q7K
| URI | m2://inv/F7QWCR4Q7K |
|---|---|
| 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.17411#0295 (statement). In 73QW05MWQB/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
pushforward measure F7R05751BR
| URI | m2://inv/F7R05751BR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Pushforward measure 3N66TM3TSQ |
Mentions
- wikidata: Wikidata Q860929, pushforward measure (unknown). Also nLab pushforward measure
- wikipedia: Wikipedia Pushforward measure, Pushforward measure (definition). Also Wikidata Q860929
History
- 2026-10-26: add by m2/dev
Table 2 fallacy F7R6FEKJTA
| URI | m2://inv/F7R6FEKJTA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Table 2 fallacy, Table 2 fallacy (definition). Also Wikidata Q133461383
History
- 2026-11-02: add by m2/dev
Graphs containing a spanning path F7RANVN3ZD
| URI | m2://inv/F7RANVN3ZD |
|---|---|
| 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.10993#XZJW, Graphs containing a spanning path (statement). In 1JCPN0K7DB/e1, corollary 5.9
History
- 2026-10-28: add by m2/v0.4.3
F7RR138PQR F7RR138PQR
| URI | m2://inv/F7RR138PQR |
|---|---|
| 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 2308.05715#KPM5 (statement). In FC0SB9JFWH/e1, lemma 5.15
History
- 2026-10-27: add by m2/v0.3.5
Oswald Veblen F7RRF656Y1
| URI | m2://inv/F7RRF656Y1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#YRUN, Oswald Veblen (unknown)
History
- 2026-11-02: add by m2/dev
Robert L. Forward F7S0HHJ0EK
| URI | m2://inv/F7S0HHJ0EK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#WOTX, Robert L. Forward (unknown)
History
- 2026-11-02: add by m2/dev
Fourth moment theorem F7S2R0Y575
| URI | m2://inv/F7S2R0Y575 |
|---|---|
| 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.16180#PRGG, Fourth moment theorem (statement). In FCFD59D3T6/e1, theorem B.1
History
- 2026-10-28: add by m2/v0.4.2
Great disnub dirhombidodecahedron F7SC3ADDG4
| URI | m2://inv/F7SC3ADDG4 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great disnub dirhombidodecahedron, Great disnub dirhombidodecahedron (object). Also Wikidata Q3101023
History
- 2026-11-02: add by m2/dev
Spatially truncated inversion F7SGQBF36H
| URI | m2://inv/F7SGQBF36H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00448#0RGA, Spatially truncated inversion (statement). In N06J7GC05Q/e1, lemma C.3
History
- 2026-10-30: add by m2/v0.4.12
SOCA F7SMPR6CV0
| URI | m2://inv/F7SMPR6CV0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#5O0L, SOCA (definition)
History
- 2026-11-02: add by m2/dev
F7SPN8JHCH F7SPN8JHCH
| URI | m2://inv/F7SPN8JHCH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/propositions-as-types/type-preservation.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 61.4
History
- 2026-11-01: add by m2/v0.6.13
F7SYM05K9J F7SYM05K9J
| URI | m2://inv/F7SYM05K9J |
|---|---|
| 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#ODFE (statement). In GAG532VMPF/e1, lemma 4.3.1
History
- 2026-10-27: add by m2/v0.3.5
F7T7NTPCBB F7T7NTPCBB
| URI | m2://inv/F7T7NTPCBB |
|---|---|
| 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.14204#PNVL (statement). In GZAY1Y12YD/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
Special cases F7TAAE9WK5
| URI | m2://inv/F7TAAE9WK5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyhedral graph#YHPD, Special cases (statement)
History
- 2026-11-02: add by m2/dev
F7TAY0GQRP F7TAY0GQRP
| URI | m2://inv/F7TAY0GQRP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.07280#Q7CH (statement). In 1FJKW4WGEN/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Signorini problem F7TD7HBS9S
| URI | m2://inv/F7TD7HBS9S |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Signorini problem QFQAB091MQ |
Mentions
- wikidata: Wikidata Q7513012, Signorini problem (problem). Also EoM Signorini_problem
- wikipedia: Wikipedia Signorini problem, Signorini problem (problem). Also Wikidata Q7513012
History
- 2026-10-26: add by m2/dev
F7TKTTS5M3 F7TKTTS5M3
| URI | m2://inv/F7TKTTS5M3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05703#3Q11 (statement). In 2YS79JFD85/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
F7TSMN70E5 F7TSMN70E5
| URI | m2://inv/F7TSMN70E5 |
|---|---|
| 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.15720#VESB (statement). In VNN52G3BRE/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Pentaflake F7V285ZDJW
| URI | m2://inv/F7V285ZDJW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-flake#IGC3, Pentaflake (unknown)
History
- 2026-11-02: add by m2/dev
F7VNMBGG7W F7VNMBGG7W
| URI | m2://inv/F7VNMBGG7W |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 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 2609.31523#W9P5 (example). In 2BET1RE1F6/e1, example 3.8
History
- 2026-10-31: add by m2/v0.5.6
NM-method F7VR5Y2MH9
| URI | m2://inv/F7VR5Y2MH9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NM-method, NM-method (definition). Also Wikidata Q112939574
History
- 2026-11-02: add by m2/dev
Selberg zeta function F7VZ1T0KGN
| URI | m2://inv/F7VZ1T0KGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3075282, Selberg zeta function (unknown). Also MathWorld SelbergZetaFunction, nLab Selberg zeta function
- wikipedia: Wikipedia Selberg zeta function, Selberg zeta function (definition). Also Wikidata Q3075282
History
- 2026-10-26: add by m2/dev
Disorder Chaos F7VZACAD12
| URI | m2://inv/F7VZACAD12 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40345#0HT1, Disorder Chaos (statement). In WK0PT95WW1/e1, theorem 4.7
History
- 2026-10-30: add by m2/v0.4.12
Modifications and Generalisations of Fejér's Theorem F7W5WFY01P
| URI | m2://inv/F7W5WFY01P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fejér's theorem#QCR5, Modifications and Generalisations of Fejér's Theorem (statement)
History
- 2026-11-02: add by m2/dev
Vincent Lafforgue F7W72X8414
| URI | m2://inv/F7W72X8414 |
|---|---|
| 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 Q2526664, Vincent Lafforgue (unknown). Also nLab Vincent Lafforgue
- wikipedia: Wikipedia Vincent Lafforgue, Vincent Lafforgue (topic). Also Wikidata Q2526664
History
- 2026-10-26: add by m2/dev
F7WBPGMRPC F7WBPGMRPC
| URI | m2://inv/F7WBPGMRPC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-184 (exercise). In VNMV985MXX, exercise, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
Exponential dispersion model F7WHJ3PKG8
| URI | m2://inv/F7WHJ3PKG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential dispersion model, Exponential dispersion model (definition). Also Wikidata Q5421518
History
- 2026-11-02: add by m2/dev
F7WM51WSVT F7WM51WSVT
| URI | m2://inv/F7WM51WSVT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#M1PA (example). In M0SQY5EZN5/e1, example 3.0.5
History
- 2026-10-27: add by m2/v0.3.5
Smooth infinitesimal analysis F7WM9CGQKH
| URI | m2://inv/F7WM9CGQKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#I4MR, Smooth infinitesimal analysis (definition)
History
- 2026-11-02: add by m2/dev
Bisection-equivariant kernel theorem F7WNY26VJ2
| URI | m2://inv/F7WNY26VJ2 |
|---|---|
| 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.25987#T348, Bisection-equivariant kernel theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
Wilhelm Leber F7WPWZZA19
| URI | m2://inv/F7WPWZZA19 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#EDWS, Wilhelm Leber (topic)
History
- 2026-11-02: add by m2/dev
Applications F7WX0FJNV5
| URI | m2://inv/F7WX0FJNV5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square–cube law#YBRJ, Applications (example)
History
- 2026-11-02: add by m2/dev
Ernst equation F7X3KNTXK8
| URI | m2://inv/F7X3KNTXK8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernst equation, Ernst equation (definition). Also Wikidata Q5395202
History
- 2026-11-02: add by m2/dev
Ciphertext stealing F7X8PBDEZS
| URI | m2://inv/F7X8PBDEZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ciphertext stealing, Ciphertext stealing (definition). Also Wikidata Q5121277
History
- 2026-11-02: add by m2/dev
F7XPEFKRF2 F7XPEFKRF2
| URI | m2://inv/F7XPEFKRF2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.07573#O6MD (statement). In 78X5SKJX8J/e1, proposition 7.11
History
- 2026-10-27: add by m2/v0.3.5
F7XPTFDFY0 F7XPTFDFY0
| URI | m2://inv/F7XPTFDFY0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03138#OGUR (statement). In P5SY7AVP5E/e1, theorem 6.11
History
- 2026-10-29: add by m2/v0.4.12
maximal, chain F7XRPK8RRF
| URI | m2://inv/F7XRPK8RRF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.3/maximal-chain, maximal, chain (concept). In QKM9DD2H56, index, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Wallace Givens F7XT6DGBRG
| URI | m2://inv/F7XT6DGBRG |
|---|---|
| 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#OLAH, Wallace Givens (topic)
History
- 2026-11-02: add by m2/dev
Joseph Caldwell F7XV8MP068
| URI | m2://inv/F7XV8MP068 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Caldwell, Joseph Caldwell (topic). Also Wikidata Q6281952
History
- 2026-11-02: add by m2/dev
F7XZE0RRGV F7XZE0RRGV
| URI | m2://inv/F7XZE0RRGV |
|---|---|
| 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.39430#05WM (statement). In 6FH24CYAMW/e1, lemma 5.5
History
- 2026-10-30: add by m2/v0.4.12
Generalizations F7Y5W4ZHSS
| URI | m2://inv/F7Y5W4ZHSS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Obstacle problem#JL74, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
F7Y947QX98 F7Y947QX98
| URI | m2://inv/F7Y947QX98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.36509#AUX9 (statement). In DPJ15KW23C/e1, corollary 7.14
History
- 2026-10-30: add by m2/v0.4.12
F7YBKG8QBZ F7YBKG8QBZ
| URI | m2://inv/F7YBKG8QBZ |
|---|---|
| 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 2610.14236#UAZZ (statement). In XEQD21EBTT/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
F7YC96K091 F7YC96K091
| URI | m2://inv/F7YC96K091 |
|---|---|
| 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.21976#OUIC (statement)
History
- 2026-11-02: add by m2/v0.6.17
F7YGCTXQ50 F7YGCTXQ50
| URI | m2://inv/F7YGCTXQ50 |
|---|---|
| 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.33018#3GI8 (statement). In 8XVS0QJ2AH/e1, proposition 69
History
- 2026-10-31: add by m2/v0.5.6
F7YKXME21W F7YKXME21W
| URI | m2://inv/F7YKXME21W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2609.34081#OOLX (statement). In 3RVGEKGX46/e1, corollary 5.2
History
- 2026-10-30: add by m2/v0.4.12
Cartan F7YSRA21TG
| URI | m2://inv/F7YSRA21TG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#GPM0, Cartan (definition)
History
- 2026-11-02: add by m2/dev
Taxonomy F7YXJQXQDS
| URI | m2://inv/F7YXJQXQDS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taxonomy, Taxonomy (definition). Also Wikidata Q7211
History
- 2026-11-02: add by m2/dev
Discrete decay F7YYNS26FM
| URI | m2://inv/F7YYNS26FM |
|---|---|
| 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.00339#S978, Discrete decay (statement). In ZRG6NY1ECH/e1, lemma 23
History
- 2026-10-30: add by m2/v0.4.12
Definition F7Z781ZBFW
| URI | m2://inv/F7Z781ZBFW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transpose#PEHO, Definition (definition)
History
- 2026-11-02: add by m2/dev
List of logic journals F7ZNRYFHCH
| URI | m2://inv/F7ZNRYFHCH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals, List of logic journals (topic). Also Wikidata Q6626685
History
- 2026-11-02: add by m2/dev
F7ZTYB3F9K F7ZTYB3F9K
| URI | m2://inv/F7ZTYB3F9K |
|---|---|
| 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.03674#S4ZZ (statement). In GAGZ2K7VMC/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12