Inventory rows BV
The cards of the rows of the inventory whose ids start with BV. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
BV00M2JNEE BV00M2JNEE
| URI | m2://inv/BV00M2JNEE |
|---|---|
| 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 1804.06366#ENEZ (statement). In 89XYDVXG38/e1, lemma A.2
History
- 2026-10-27: add by m2/v0.3.5
BV045MFSVZ BV045MFSVZ
| URI | m2://inv/BV045MFSVZ |
|---|---|
| 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.18106#TRTN (statement). In VZDPG7NJCX/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.2
Group actions in computational anatomy BV064BKKX1
| URI | m2://inv/BV064BKKX1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group actions in computational anatomy, Group actions in computational anatomy (definition). Also Wikidata Q25324514
History
- 2026-11-02: add by m2/dev
BV0K811F4J BV0K811F4J
| URI | m2://inv/BV0K811F4J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#6S8N (statement). In GW23NX78SB/e1, corollary 4.29
History
- 2026-10-28: add by m2/v0.4.2
Huh–Jeon BV0QDWZPTR
| URI | m2://inv/BV0QDWZPTR |
|---|---|
| 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.24860#E89I, Huh–Jeon (statement)
History
- 2026-11-01: add by m2/v0.6.15
BV0QJ9N2E1 BV0QJ9N2E1
| URI | m2://inv/BV0QJ9N2E1 |
|---|---|
| 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.15367#FGCQ (statement). In 9AFZ1S368G/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Amitai Regev BV0VV0HG8T
| URI | m2://inv/BV0VV0HG8T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#EGLP, Amitai Regev (topic)
History
- 2026-11-02: add by m2/dev
BV0WJTV7Q7 BV0WJTV7Q7
| URI | m2://inv/BV0WJTV7Q7 |
|---|---|
| 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#3MQG (statement). In J9P361Z1CX/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Erez Lapid BV0X17ZW9W
| URI | m2://inv/BV0X17ZW9W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erez Lapid, Erez Lapid (topic). Also Wikidata Q21170711
History
- 2026-11-02: add by m2/dev
BV0Y24JBGR BV0Y24JBGR
| URI | m2://inv/BV0Y24JBGR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32557#71F1 (statement). In 7MSKC957WD/e1, theorem 3.2
History
- 2026-10-31: add by m2/v0.5.6
BV17MJRB55 BV17MJRB55
| URI | m2://inv/BV17MJRB55 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35442#K7JE (definition). In C6R0DAA279/e1, definition 1.2
History
- 2026-10-30: add by m2/v0.4.12
Search space (mathematics) BV1CF772CM
| URI | m2://inv/BV1CF772CM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimization problem#AYH4, Search space (mathematics) (unknown)
History
- 2026-11-02: add by m2/dev
BestCrypt BV1M1RV9V8
| URI | m2://inv/BV1M1RV9V8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BestCrypt, BestCrypt (definition). Also Wikidata Q830267
History
- 2026-11-02: add by m2/dev
Crout matrix decomposition BV1SSYCERC
| URI | m2://inv/BV1SSYCERC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15924432, Crout matrix decomposition (unknown). Also MathWorld CroutsMethod
- wikipedia: Wikipedia Crout matrix decomposition, Crout matrix decomposition (definition). Also Wikidata Q15924432
History
- 2026-10-26: add by m2/dev
Jefferson disk BV1V7Q08AH
| URI | m2://inv/BV1V7Q08AH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jefferson disk, Jefferson disk (definition). Also Wikidata Q1063471
History
- 2026-11-02: add by m2/dev
BV1Y9AY43C BV1Y9AY43C
| URI | m2://inv/BV1Y9AY43C |
|---|---|
| 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.11383#ASUO (statement). In DJBZ3V8SQ6/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.3
All-loop analytic--enumerative identity BV22CBF4NS
| URI | m2://inv/BV22CBF4NS |
|---|---|
| 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#4YLU, All-loop analytic--enumerative identity (statement). In 8PTDFHV8SQ/e1, theorem 10.1
History
- 2026-10-28: add by m2/v0.4.3
pairwise independence BV2GE5P0N2
| URI | m2://inv/BV2GE5P0N2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#KSRW, pairwise independence (definition)
History
- 2026-11-02: add by m2/dev
BV2MKHX4NN BV2MKHX4NN
| URI | m2://inv/BV2MKHX4NN |
|---|---|
| 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.17479#S3KH (statement). In 4FWAY748N7/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
15 puzzle BV2NX7PT1B
| URI | m2://inv/BV2NX7PT1B |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q191024, 15 puzzle (unknown). Also MathWorld 15Puzzle
- wikipedia: Wikipedia 15 puzzle, 15 puzzle (problem). Also Wikidata Q191024
History
- 2026-10-26: add by m2/dev
Raghunatha Siromani BV2PCHP7B2
| URI | m2://inv/BV2PCHP7B2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#Q0YW, Raghunatha Siromani (topic)
History
- 2026-11-02: add by m2/dev
phase plane BV2YC0SNM4
| URI | m2://inv/BV2YC0SNM4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Phase plane 05VDGH129F |
Mentions
- wikidata: Wikidata Q2088081, phase plane (unknown). Also MathWorld PhasePlane
- wikipedia: Wikipedia Phase plane, Phase plane (definition). Also Wikidata Q2088081
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
BV33QD1G4G BV33QD1G4G
| URI | m2://inv/BV33QD1G4G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01433#9BJ4 (statement). In 160PQ7F1AS/e1, lemma 4.18
History
- 2026-10-29: add by m2/v0.4.12
Polyhedral complex BV33Z9BQP4
| URI | m2://inv/BV33Z9BQP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyhedral complex, Polyhedral complex (definition). Also Wikidata Q60792057
History
- 2026-11-02: add by m2/dev
wave equation in 2 dimensions BV3G5P9WM2
| URI | m2://inv/BV3G5P9WM2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.9/wave-equation-in-2-dimensions, wave equation in 2 dimensions (concept). In E9HS8K3A52, index, section 6.9
History
- 2026-11-01: add by m2/v0.6.13
chain BV3PY3TV11
| URI | m2://inv/BV3PY3TV11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#AUXH, chain (definition)
History
- 2026-11-02: add by m2/dev
Toeplitz algebra BV3SVWRZXJ
| URI | m2://inv/BV3SVWRZXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toeplitz algebra, Toeplitz algebra (definition). Also Wikidata Q2835942
History
- 2026-11-02: add by m2/dev
CPCTC BV3ZV1EK11
| URI | m2://inv/BV3ZV1EK11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#AY5A, CPCTC (definition)
History
- 2026-11-02: add by m2/dev
Weighing matrix BV49SVF7N0
| URI | m2://inv/BV49SVF7N0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighing matrix, Weighing matrix (definition). Also Wikidata Q3895032
History
- 2026-11-02: add by m2/dev
BV4Q6TDJX3 BV4Q6TDJX3
| URI | m2://inv/BV4Q6TDJX3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-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.10591#6660 (statement). In FTEA0TM35J/e1, theorem 2.10
History
- 2026-10-29: add by m2/v0.4.10
Ling Long BV51D7E5Z3
| URI | m2://inv/BV51D7E5Z3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ling Long (mathematician), Ling Long (topic). Also Wikidata Q50572492
History
- 2026-11-02: add by m2/dev
Commuting material and mass derivatives BV581F1EV5
| URI | m2://inv/BV581F1EV5 |
|---|---|
| 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.13248#IDME, Commuting material and mass derivatives (statement). In MGMC5SREP3/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Woodin BV58KP8KJR
| URI | m2://inv/BV58KP8KJR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19088#LL28, Woodin (statement). In 90QTB4CC31/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
BV597XBZKN BV597XBZKN
| URI | m2://inv/BV597XBZKN |
|---|---|
| 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.00247#F6IS (statement). In ZAM4S2XS9F/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Fixing Algebraic Whiskers BV5AMBB22B
| URI | m2://inv/BV5AMBB22B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20860#VZIH, Fixing Algebraic Whiskers (definition)
History
- 2026-11-02: add by m2/v0.6.18
Robert Guralnick BV5FBGMFR7
| URI | m2://inv/BV5FBGMFR7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Guralnick, Robert Guralnick (topic). Also Wikidata Q28104219
History
- 2026-11-02: add by m2/dev
BV5GW86WJ7 BV5GW86WJ7
| URI | m2://inv/BV5GW86WJ7 |
|---|---|
| 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.07890#APTZ (statement). In 6F3GSDT2V1/e1, proposition 5.7
History
- 2026-10-29: add by m2/v0.4.10
Layered graph drawing BV5HK189YP
| URI | m2://inv/BV5HK189YP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Layered graph drawing, Layered graph drawing (definition). Also Wikidata Q6505531
History
- 2026-11-02: add by m2/dev
Maurice Nivat BV5K60WTS0
| URI | m2://inv/BV5K60WTS0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maurice Nivat, Maurice Nivat (topic). Also Wikidata Q3301202
History
- 2026-11-02: add by m2/dev
BV5W78KZ53 BV5W78KZ53
| URI | m2://inv/BV5W78KZ53 |
|---|---|
| Kind | problem |
| 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 1806.00752#21C6 (problem). In GGW2N4JHXM/e1, problem 1
History
- 2026-10-27: add by m2/v0.3.5
A redo, unrolled to its cospans BV5Z1XCK4M
| URI | m2://inv/BV5Z1XCK4M |
|---|---|
| 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.20478#4DPS, A redo, unrolled to its cospans (example)
History
- 2026-11-02: add by m2/v0.6.18
BV61V9KB0G BV61V9KB0G
| URI | m2://inv/BV61V9KB0G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2203.00606#Z8EY (definition). In 3WBQFVX65D/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Related results BV64S7KVVC
| URI | m2://inv/BV64S7KVVC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robbins' theorem#VH23, Related results (statement)
History
- 2026-11-02: add by m2/dev
BV65K7GY57 BV65K7GY57
| URI | m2://inv/BV65K7GY57 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-18 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
BV67VA3QJS BV67VA3QJS
| URI | m2://inv/BV67VA3QJS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17412#OPHP (statement). In DPBHYJBGKD/e1, theorem 3.11
History
- 2026-10-27: add by m2/v0.3.6
BV68WMFCSH BV68WMFCSH
| URI | m2://inv/BV68WMFCSH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#LK59 (statement)
History
- 2026-11-01: add by m2/v0.6.15
BV6CBJ334Y BV6CBJ334Y
| URI | m2://inv/BV6CBJ334Y |
|---|---|
| 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.10205#JBCY (statement). In PQGS7NDMDQ/e1, corollary 10
History
- 2026-10-29: add by m2/v0.4.10
septenary BV6G2W9SRQ
| URI | m2://inv/BV6G2W9SRQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#KAXZ, septenary (definition)
History
- 2026-11-02: add by m2/dev
Examples BV6G7W9ZND
| URI | m2://inv/BV6G7W9ZND |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapley value#M33B, Examples (example)
History
- 2026-11-02: add by m2/dev
BV6HAJN5GV BV6HAJN5GV
| URI | m2://inv/BV6HAJN5GV |
|---|---|
| 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.21632#DJWX (statement). In Q4RZTN2EX6/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.4.2
Adams' method BV6HAYBFJP
| URI | m2://inv/BV6HAYBFJP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#RRDY, Adams' method (definition)
History
- 2026-11-02: add by m2/dev
Mary Mulry BV6QBDMD75
| URI | m2://inv/BV6QBDMD75 |
|---|---|
| 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#V28I, Mary Mulry (topic)
History
- 2026-11-02: add by m2/dev
BV6SPB3432 BV6SPB3432
| URI | m2://inv/BV6SPB3432 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20421#S029 (statement). In Q4R7J8JE3F/e1, lemma 2.10
History
- 2026-10-27: add by m2/v0.4.2
BV6TA1T8V0 BV6TA1T8V0
| URI | m2://inv/BV6TA1T8V0 |
|---|---|
| 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.23339#94DJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
BV6ZJZ3DN2 BV6ZJZ3DN2
| URI | m2://inv/BV6ZJZ3DN2 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.10921#23GO (problem). In PD5PJ0EYG6/e1, problem 6.4
History
- 2026-10-27: add by m2/v0.3.5
N-ary associativity BV71YDPM77
| URI | m2://inv/BV71YDPM77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-ary associativity, N-ary associativity (definition). Also Wikidata Q6951457
History
- 2026-11-02: add by m2/dev
Multi-mode Sobolev-regularizing QMS BV7A6PJ361
| URI | m2://inv/BV7A6PJ361 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01669#6HWD, Multi-mode Sobolev-regularizing QMS (definition). In 41AVNP6DJ9/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.12
Convex metric space BV7AT9TDME
| URI | m2://inv/BV7AT9TDME |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex metric space, Convex metric space (definition). Also Wikidata Q3966092
History
- 2026-11-02: add by m2/dev
BV7DQ0HR18 BV7DQ0HR18
| URI | m2://inv/BV7DQ0HR18 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03497#34PR (statement). In RRNHC0CAC9/e1, proposition
History
- 2026-10-29: add by m2/v0.4.12
BV7EV6V1X3 BV7EV6V1X3
| URI | m2://inv/BV7EV6V1X3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09515#AART (statement). In N51RDVGNXG/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
The Lorentz tail test BV7KYGYJP5
| URI | m2://inv/BV7KYGYJP5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.14201#95S1, The Lorentz tail test (statement). In 7NKMVRHY2E/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Construction BV7S9GY6NR
| URI | m2://inv/BV7S9GY6NR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reuleaux triangle#7R68, Construction (definition)
History
- 2026-11-02: add by m2/dev
BV7SX2ZYYH BV7SX2ZYYH
| URI | m2://inv/BV7SX2ZYYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32650#ZLSV (statement). In PHXJ87HKYB/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
BV82G9GFWA BV82G9GFWA
| URI | m2://inv/BV82G9GFWA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.18070#X6F6 (statement). In RASQS0FG8A/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Wilhelm Süss BV84DSQVD4
| URI | m2://inv/BV84DSQVD4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilhelm Süss, Wilhelm Süss (topic). Also Wikidata Q77519
History
- 2026-11-02: add by m2/dev
Gaussian optimality for the quadratic coefficient BV8950EY66
| URI | m2://inv/BV8950EY66 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#KRTG, Gaussian optimality for the quadratic coefficient (statement). In 9YAE8FNQST/e1, theorem 3.13
History
- 2026-10-30: add by m2/v0.4.12
Maximum likelihood phylogenetic tree BV8D8C8PEM
| URI | m2://inv/BV8D8C8PEM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational phylogenetics#BM36, Maximum likelihood phylogenetic tree (unknown)
History
- 2026-11-02: add by m2/dev
Exponential saturation BV8K2PSQWF
| URI | m2://inv/BV8K2PSQWF |
|---|---|
| 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.31782#YP3E, Exponential saturation (statement). In YAYP5VZ94H/e1, lemma 5.2
History
- 2026-10-31: add by m2/v0.5.6
Cantor–Bernstein theorem BV8KCFK51Q
| URI | m2://inv/BV8KCFK51Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantor–Bernstein theorem, Cantor–Bernstein theorem (statement). Also Wikidata Q25303602
History
- 2026-11-02: add by m2/dev
First-difference theorem BV8M8QJYQJ
| URI | m2://inv/BV8M8QJYQJ |
|---|---|
| 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.14509#EFPV, First-difference theorem (statement). In N6GD8392QB/e1, theorem 6.6
History
- 2026-10-28: add by m2/v0.4.2
BV8Q2GMKT3 BV8Q2GMKT3
| URI | m2://inv/BV8Q2GMKT3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28046#PJHM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stable versus connective homotopy fixed points BV8SCX7T9Q
| URI | m2://inv/BV8SCX7T9Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#QI5Z, Stable versus connective homotopy fixed points (statement). In G3D1YR20BJ/e1, lemma 3.30
History
- 2026-10-29: add by m2/v0.4.12
\textbf{Higher-dimensional Castelnuovo bound BV8TRH3K26
| URI | m2://inv/BV8TRH3K26 |
|---|---|
| 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.20716#0ZCJ, \textbf{Higher-dimensional Castelnuovo bound (statement)
History
- 2026-11-02: add by m2/v0.6.18
BV96CT4RMW BV96CT4RMW
| URI | m2://inv/BV96CT4RMW |
|---|---|
| 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.12295#6GZT (statement). In 6DZPR52HRP/e1, proposition 4.10
History
- 2026-10-28: add by m2/v0.4.2
Definitions BV98Q4WBSB
| URI | m2://inv/BV98Q4WBSB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negative binomial distribution#MQLI, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Orthogonal inherited--emergent decomposition BV99G77M50
| URI | m2://inv/BV99G77M50 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14310#VKOX, Orthogonal inherited--emergent decomposition (statement). In 8GSG7024NW/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.2
Lamination BV9A3G8CMR
| URI | m2://inv/BV9A3G8CMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lamination (topology), Lamination (definition). Also Wikidata Q6481941
History
- 2026-11-02: add by m2/dev
BV9AZQ5FCC BV9AZQ5FCC
| URI | m2://inv/BV9AZQ5FCC |
|---|---|
| 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.02436#O5IV (statement). In J9WZBK6KAY/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Theorem BV9D79YB1F
| URI | m2://inv/BV9D79YB1F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone convergence theorem#PMVK, Theorem (statement)
History
- 2026-11-02: add by m2/dev
BV9JXBYD99 BV9JXBYD99
| URI | m2://inv/BV9JXBYD99 |
|---|---|
| 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.26386#PBNT (statement)
History
- 2026-11-01: add by m2/v0.6.15
BV9K1Z6YNM BV9K1Z6YNM
| URI | m2://inv/BV9K1Z6YNM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#CC5B (statement). In V97F4YZ8B0/e1, lemma 8.4
History
- 2026-10-28: add by m2/v0.4.2
Neverssl.com BV9MFQJM4K
| URI | m2://inv/BV9MFQJM4K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HTTPS#KES0, Neverssl.com (unknown)
History
- 2026-11-02: add by m2/dev
BV9WHZ07FT BV9WHZ07FT
| URI | m2://inv/BV9WHZ07FT |
|---|---|
| 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.03288#04I0 (statement). In ZHP1MFSACN/e1, proposition 6.11
History
- 2026-10-29: add by m2/v0.4.12
D-,Johnson BVA6NB80YJ
| URI | m2://inv/BVA6NB80YJ |
|---|---|
| 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 2511.17751#RJB2, D-,Johnson (statement). In J39X0NB31S/e1, theorem 6.4
History
- 2026-10-27: add by m2/v0.3.5
Jack Edmonds BVA9F9KFA1
| URI | m2://inv/BVA9F9KFA1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jack Edmonds, Jack Edmonds (topic). Also Wikidata Q92866
History
- 2026-11-02: add by m2/dev
BVAATGA864 BVAATGA864
| URI | m2://inv/BVAATGA864 |
|---|---|
| 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.35307#NC3Y (statement). In FT5TKY10T8/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
BVAFHYCAYC BVAFHYCAYC
| URI | m2://inv/BVAFHYCAYC |
|---|---|
| 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.12357#13B8 (statement). In 1F26AF81XP/e1, lemma 5.7
History
- 2026-10-28: add by m2/v0.4.2
BVARFNC1Q8 BVARFNC1Q8
| URI | m2://inv/BVARFNC1Q8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-36 (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
$H^1$ error estimate for nodal interpolant BVAZ5VD6FS
| URI | m2://inv/BVAZ5VD6FS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.14912#XE52, $H^1$ error estimate for nodal interpolant (statement). In A87BVH5DCM/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.3.5
BVB3WPT8ZB BVB3WPT8ZB
| URI | m2://inv/BVB3WPT8ZB |
|---|---|
| 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 2411.16655#MEE1 (statement). In EJHAXRV685/e1, proposition
History
- 2026-10-27: add by m2/v0.3.5
Exact composition identities BVB4CP79N5
| URI | m2://inv/BVB4CP79N5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.16069#DNBW, Exact composition identities (statement). In MBJA03ES8N/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
Pythagoreans BVB781AMR8
| URI | m2://inv/BVB781AMR8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures#R6GK, Pythagoreans (definition)
History
- 2026-11-02: add by m2/dev
BVBE8H9BFF BVBE8H9BFF
| URI | m2://inv/BVBE8H9BFF |
|---|---|
| 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 2509.21121#16ZC (statement). In MTDABJF9AP/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
BVBFK9R8X6 BVBFK9R8X6
| URI | m2://inv/BVBFK9R8X6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32651#EAWT (statement). In WFJXSE3VDT/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
Pernicious number BVBHSDSCZA
| URI | m2://inv/BVBHSDSCZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7169401, Pernicious number (object). Also OEIS A052294
- wikipedia: Wikipedia Pernicious number, Pernicious number (definition). Also Wikidata Q7169401
History
- 2026-10-26: add by m2/dev
Anatol Rapoport BVBJT9D0VR
| URI | m2://inv/BVBJT9D0VR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#J8VH, Anatol Rapoport (unknown)
History
- 2026-11-02: add by m2/dev
BVBM1FM5Z7 BVBM1FM5Z7
| URI | m2://inv/BVBM1FM5Z7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21929#S5X4 (definition). In 2PP4XRVS0J/e1, definition 5.7
History
- 2026-10-27: add by m2/v0.4.2
BVBNHENVJ8 BVBNHENVJ8
| URI | m2://inv/BVBNHENVJ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 18-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.22161#Y1BB (statement). In FVM35KPN8C/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.0
Definition BVBNTP656W
| URI | m2://inv/BVBNTP656W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-category#CTBB, Definition (definition)
History
- 2026-11-02: add by m2/dev
BVBP0B6MPB BVBP0B6MPB
| URI | m2://inv/BVBP0B6MPB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#1QU8 (statement). In GYMGDQS25R/e1, proposition 6.12
History
- 2026-10-29: add by m2/v0.4.10
Concentration: window and tube BVBW43CFYE
| URI | m2://inv/BVBW43CFYE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37368#D8DR, Concentration: window and tube (statement). In FRMCKEGVJZ/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
Block cipher mode of operation BVC2ERS58S
| URI | m2://inv/BVC2ERS58S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block cipher mode of operation, Block cipher mode of operation (definition). Also Wikidata Q154021
History
- 2026-11-02: add by m2/dev
Wen--Xu BVC2FE3T6X
| URI | m2://inv/BVC2FE3T6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05868#FL60, Wen--Xu (statement). In WXD0FASTA7/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
truth-functional BVC6WX1G8S
| URI | m2://inv/BVC6WX1G8S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#08UH, truth-functional (definition)
History
- 2026-11-02: add by m2/dev
Examples BVCC0GG3XW
| URI | m2://inv/BVCC0GG3XW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete valuation ring#PPMG, Examples (example)
History
- 2026-11-02: add by m2/dev
Claim BVCCHE2YXX
| URI | m2://inv/BVCCHE2YXX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Price of anarchy#W183, Claim (statement)
History
- 2026-11-02: add by m2/dev
Challenging BVCFRNGH9Y
| URI | m2://inv/BVCFRNGH9Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-83, Challenging (exercise). In E59CDZA4DP, exercise, section 10.6.6
History
- 2026-11-01: add by m2/v0.6.13
kelvin BVCMRZX2Q7
| URI | m2://inv/BVCMRZX2Q7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11579, kelvin (definition). Also ProofWiki Definition:Kelvin
History
- 2026-10-26: add by m2/dev
Yisroel ben Eliezer (The Baal Shem Tov) BVCPF5J6HG
| URI | m2://inv/BVCPF5J6HG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#YC1F, Yisroel ben Eliezer (The Baal Shem Tov) (unknown)
History
- 2026-11-02: add by m2/dev
BVCRQZNRK7 BVCRQZNRK7
| URI | m2://inv/BVCRQZNRK7 |
|---|---|
| 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 2204.05019#DNUZ (statement). In NMGJEPYKJ7/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
homographic BVCS0ZDE1N
| URI | m2://inv/BVCS0ZDE1N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#O5CC, homographic (definition)
History
- 2026-11-02: add by m2/dev
BVCSK26BAA BVCSK26BAA
| URI | m2://inv/BVCSK26BAA |
|---|---|
| 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 2406.19866#LDQN (statement). In 9F94CEQ1ZM/e1, lemma 2.22
History
- 2026-10-27: add by m2/v0.3.5
Definitions BVCWDGM5VC
| URI | m2://inv/BVCWDGM5VC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sublinear function#W17I, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Finite-ball Ramsey approximation BVDBZDW1F6
| URI | m2://inv/BVDBZDW1F6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27181#JY0I, Finite-ball Ramsey approximation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Regularity lemma, approximation version BVDGJAASH6
| URI | m2://inv/BVDGJAASH6 |
|---|---|
| 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#0QOD, Regularity lemma, approximation version (statement). In FCFD59D3T6/e1, theorem 3.9
History
- 2026-10-28: add by m2/v0.4.2
BVDKPT8DKQ BVDKPT8DKQ
| URI | m2://inv/BVDKPT8DKQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#GSAO (definition). In JWNYJVH8XG/e1, definition 3.15
History
- 2026-10-29: add by m2/v0.4.10
Compatible-tensor curvature estimate BVDT5A3ADX
| URI | m2://inv/BVDT5A3ADX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 51-XX, 52-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07728#D5KT, Compatible-tensor curvature estimate (statement). In B1VVAKFCKZ/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
BVEJKV4R2V BVEJKV4R2V
| URI | m2://inv/BVEJKV4R2V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1303.4328#L039 (statement). In HCTYW6VH87/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
base BVEPB555N8
| URI | m2://inv/BVEPB555N8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Basis of a topology 0NA0732YAG |
Mentions
- wikidata: Wikidata Q810214, base (definition). Also MathWorld TopologicalBasis, ProofWiki Definition:Basis_(Topology)
- wikipedia: Wikipedia Base (topology), Base (definition). Also Wikidata Q810214
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Hypergeometric series BVEY7J45CG
| URI | m2://inv/BVEY7J45CG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypergeometric function#5VEJ, Hypergeometric series (unknown)
History
- 2026-11-02: add by m2/dev
Michael Christopher Wendl BVEZ8M7C4E
| URI | m2://inv/BVEZ8M7C4E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Christopher Wendl, Michael Christopher Wendl (topic). Also Wikidata Q6829262
History
- 2026-11-02: add by m2/dev
Raynaud's isogeny theorem BVEZAN9GPW
| URI | m2://inv/BVEZAN9GPW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raynaud's isogeny theorem, Raynaud's isogeny theorem (statement). Also Wikidata Q7299310
History
- 2026-11-02: add by m2/dev
Sheldon Axler BVF0ET668S
| URI | m2://inv/BVF0ET668S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sheldon Axler, Sheldon Axler (topic). Also Wikidata Q3209143
History
- 2026-11-02: add by m2/dev
BVF4KW8WY1 BVF4KW8WY1
| URI | m2://inv/BVF4KW8WY1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.02065#MZUV (statement). In 60CK7P5F36/e1, theorem 6.5
History
- 2026-10-27: add by m2/v0.3.5
BVF7APPM8F BVF7APPM8F
| URI | m2://inv/BVF7APPM8F |
|---|---|
| Kind | problem |
| 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.13556#3Y92 (problem). In 5ZB8N3YY72/e1, problem 6.2
History
- 2026-10-28: add by m2/v0.4.2
Lifting is semantic BVF8GQ6RHA
| URI | m2://inv/BVF8GQ6RHA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#O9WP, Lifting is semantic (statement). In CPYWHRTPKC/e1, lemma 6.47
History
- 2026-10-27: add by m2/v0.4.2
BVFD73APAN BVFD73APAN
| URI | m2://inv/BVFD73APAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#5850 (statement). In 9S7HGSEX6Q/e1, proposition 4.8
History
- 2026-10-28: add by m2/v0.4.2
BVFGES36TB BVFGES36TB
| URI | m2://inv/BVFGES36TB |
|---|---|
| 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.07292#H756 (statement). In PZ17NHGAKX/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.10
The Sun BVFJNYS63Q
| URI | m2://inv/BVFJNYS63Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#GXZL, The Sun (unknown)
History
- 2026-11-02: add by m2/dev
BVFK7FCG89 BVFK7FCG89
| URI | m2://inv/BVFK7FCG89 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#SKSZ (statement). In 1A01NFHBGA/e1, proposition 4.10
History
- 2026-10-28: add by m2/v0.4.3
List of probabilistic proofs of non-probabilistic theorems BVFKKV0J0A
| URI | m2://inv/BVFKKV0J0A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems, List of probabilistic proofs of non-probabilistic theorems (topic). Also Wikidata Q7246862
History
- 2026-11-02: add by m2/dev
Time-squared law BVFNBWMZW9
| URI | m2://inv/BVFNBWMZW9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galileo Galilei#XBQJ, Time-squared law (statement)
History
- 2026-11-02: add by m2/dev
BVFT0SKVMK BVFT0SKVMK
| URI | m2://inv/BVFT0SKVMK |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv alg-geom/9506022#LT24 (unknown). In AQGEM4XAKD/e1, unknown 3.3
History
- 2026-10-27: add by m2/v0.3.5
BVFTCSE3YA BVFTCSE3YA
| URI | m2://inv/BVFTCSE3YA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25301#9L8Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Divisor sum identities BVG1HV8XF4
| URI | m2://inv/BVG1HV8XF4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisor sum identities, Divisor sum identities (definition). Also Wikidata Q97367236
History
- 2026-11-02: add by m2/dev
Definition BVG22RW03H
| URI | m2://inv/BVG22RW03H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witt vector#11CA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Peter G. Bergmann BVG9H07QPG
| URI | m2://inv/BVG9H07QPG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#NBRM, Peter G. Bergmann (unknown)
History
- 2026-11-02: add by m2/dev
Examples BVGP5KWS7V
| URI | m2://inv/BVGP5KWS7V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brauer group#5MFF, Examples (example)
History
- 2026-11-02: add by m2/dev
Scaling, translation invariance, superadditivity, and monotonicity BVGSYT3187
| URI | m2://inv/BVGSYT3187 |
|---|---|
| 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.17519#0YDA, Scaling, translation invariance, superadditivity, and monotonicity (statement). In H2DNTQ5MKV/e1, proposition 3.9
History
- 2026-10-28: add by m2/v0.4.2
Reconstruction theorem BVGV8G9QSQ
| URI | m2://inv/BVGV8G9QSQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#EYFU, Reconstruction theorem (statement). In 7V2PVZS04C/e1, theorem 1.15
History
- 2026-10-31: add by m2/v0.5.6
BVGZ8CKB01 BVGZ8CKB01
| URI | m2://inv/BVGZ8CKB01 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12831#LZBQ (statement). In 7ZBQ8WGQVB/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
BVHFYCMPMC BVHFYCMPMC
| URI | m2://inv/BVHFYCMPMC |
|---|---|
| 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.06899#9XWD (statement). In 5Z2K9JGFSS/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
Medial pentagonal hexecontahedron BVHGJ4VEN3
| URI | m2://inv/BVHGJ4VEN3 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#Z5VP, Medial pentagonal hexecontahedron (object)
History
- 2026-11-02: add by m2/dev
Generalized Tube Lemma 2 BVHKHQYZY6
| URI | m2://inv/BVHKHQYZY6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tube lemma#VUS6, Generalized Tube Lemma 2 (statement)
History
- 2026-11-02: add by m2/dev
BVHKWY81R0 BVHKWY81R0
| URI | m2://inv/BVHKWY81R0 |
|---|---|
| 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 2102.09374#V92E (statement). In TGAHH1F8K5/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.6
Relation to other conjectures BVHMM38QZ6
| URI | m2://inv/BVHMM38QZ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thurston elliptization conjecture#IZCE, Relation to other conjectures (statement)
History
- 2026-11-02: add by m2/dev
BVHP9S9D9T BVHP9S9D9T
| URI | m2://inv/BVHP9S9D9T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04774#HS2S (definition). In DED1CA3JCB/e1, definition 5
History
- 2026-10-29: add by m2/v0.4.12
BVHVBP1NSV BVHVBP1NSV
| URI | m2://inv/BVHVBP1NSV |
|---|---|
| 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.12543#DWFU (statement). In 5Y2KARN1YC/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
Marie-France Vignéras BVHWDVTZG6
| URI | m2://inv/BVHWDVTZG6 |
|---|---|
| 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#2U8E, Marie-France Vignéras (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HR9I, Marie-France Vignéras (topic)
History
- 2026-11-02: add by m2/dev
Haruhi problem BVJ8Y5M6CS
| URI | m2://inv/BVJ8Y5M6CS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superpermutation#2YUR, Haruhi problem (unknown)
History
- 2026-11-02: add by m2/dev
Abdus Salam BVJS84VNDQ
| URI | m2://inv/BVJS84VNDQ |
|---|---|
| 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 Q28189, Abdus Salam (unknown). Also nLab Abdus Salam
History
- 2026-10-26: add by m2/dev
Lemma 2 BVJX4RA55A
| URI | m2://inv/BVJX4RA55A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zorn's lemma#KKXT, Lemma 2 (statement)
History
- 2026-11-02: add by m2/dev
Constructions BVK20YPW7H
| URI | m2://inv/BVK20YPW7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring (mathematics)#AG1P, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Chaitin's constant BVK3HC5TN7
| URI | m2://inv/BVK3HC5TN7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#D12X, Chaitin's constant (definition)
History
- 2026-11-02: add by m2/dev
Almarin Phillips BVK6YVQC2B
| URI | m2://inv/BVK6YVQC2B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#F5GJ, Almarin Phillips (unknown)
History
- 2026-11-02: add by m2/dev
Doug Butterworth BVK8M7GT77
| URI | m2://inv/BVK8M7GT77 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doug Butterworth, Doug Butterworth (topic). Also Wikidata Q126910693
History
- 2026-11-02: add by m2/dev
BVKHMG20JN BVKHMG20JN
| URI | m2://inv/BVKHMG20JN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-17 (exercise). In E9HS8K3A52, exercise, section 7.1.4
History
- 2026-11-01: add by m2/v0.6.13
BVKPWYYT12 BVKPWYYT12
| URI | m2://inv/BVKPWYYT12 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33015#PHRM (statement). In W6Y6NPK648/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
Symmetries BVKSYQ1KAJ
| URI | m2://inv/BVKSYQ1KAJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symplectic manifold#M16T, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
Vadim Yankov BVKV0A27C0
| URI | m2://inv/BVKV0A27C0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vadim Yankov, Vadim Yankov (topic). Also Wikidata Q4538114
History
- 2026-11-02: add by m2/dev
Axiomatic set theory BVKY30AN8B
| URI | m2://inv/BVKY30AN8B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#MHC5, Axiomatic set theory (definition)
History
- 2026-11-02: add by m2/dev
Hjalmar Mellin BVM1KS4VPN
| URI | m2://inv/BVM1KS4VPN |
|---|---|
| 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 Q155381, Hjalmar Mellin (unknown). Also ProofWiki Mathematician:Robert_Hjalmar_Mellin
- wikipedia: Wikipedia Hjalmar Mellin, Hjalmar Mellin (topic). Also Wikidata Q155381
History
- 2026-10-26: add by m2/dev
BVM7484C99 BVM7484C99
| URI | m2://inv/BVM7484C99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-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.23527#6307 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Half-size BVMJDAWFZ9
| URI | m2://inv/BVMJDAWFZ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07905#QOX8, Half-size (statement). In 88GEN3Z5VG/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.10
BVMQ0E8XR3 BVMQ0E8XR3
| URI | m2://inv/BVMQ0E8XR3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/frame-definability/second-order-definability.tex#prop:st (statement). In PKGMM3P5QY, prop, section 53.4
History
- 2026-11-01: add by m2/v0.6.13
Variations BVMQ0TPJ5C
| URI | m2://inv/BVMQ0TPJ5C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid's theorem#RSW7, Variations (statement)
History
- 2026-11-02: add by m2/dev
Multiclass classification BVMRJZ13E9
| URI | m2://inv/BVMRJZ13E9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiclass classification, Multiclass classification (definition). Also Wikidata Q6934605
History
- 2026-11-02: add by m2/dev
BVMT2WV3WS BVMT2WV3WS
| URI | m2://inv/BVMT2WV3WS |
|---|---|
| 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.20077#MTKV (statement). In W5XRKWDADE/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
Environmental statistics BVN09NF0W6
| URI | m2://inv/BVN09NF0W6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MPGN, Environmental statistics (definition)
History
- 2026-11-02: add by m2/dev
BVN223EJN2 BVN223EJN2
| URI | m2://inv/BVN223EJN2 |
|---|---|
| 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.36423#DV2B (statement). In Q5Z178SAHP/e1, theorem 6.2
History
- 2026-10-30: add by m2/v0.4.12
Formulation BVN5NTG3HK
| URI | m2://inv/BVN5NTG3HK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthocenter#ZF7R, Formulation (definition)
History
- 2026-11-02: add by m2/dev
BVN822SDS3 BVN822SDS3
| URI | m2://inv/BVN822SDS3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1709.01658#PKVR (example). In 90A5Q9HRQK/e1, example 3.3
History
- 2026-10-27: add by m2/v0.3.5
Eilenberg–Steenrod axioms BVN8F302V2
| URI | m2://inv/BVN8F302V2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Eilenberg–Steenrod axioms YHK51GHK2T |
Mentions
- wikidata: Wikidata Q5349493, Eilenberg–Steenrod axioms (concept). Also MathWorld Eilenberg-SteenrodAxioms
- wikipedia: Wikipedia Eilenberg–Steenrod axioms, Eilenberg–Steenrod axioms (statement). Also Wikidata Q5349493
History
- 2026-10-26: add by m2/dev
BVN9CMTBSW BVN9CMTBSW
| URI | m2://inv/BVN9CMTBSW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#MIXZ (definition). In 9DQKY7KGE8/e1, definition 6.8
History
- 2026-10-27: add by m2/v0.3.5
Spatial epidemiology BVNBER2E83
| URI | m2://inv/BVNBER2E83 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spatial epidemiology, Spatial epidemiology (definition). Also Wikidata Q7574064
History
- 2026-11-02: add by m2/dev
BVNCEEW7YH BVNCEEW7YH
| URI | m2://inv/BVNCEEW7YH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27694#SCVY (statement)
History
- 2026-11-01: add by m2/v0.6.15
branch point BVNJJ5G7NN
| URI | m2://inv/BVNJJ5G7NN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Branch point XP5JC1VXKZ |
Mentions
- wikidata: Wikidata Q2625091, branch point (unknown). Also EoM Branch_point, MathWorld BranchPoint
- wikipedia: Wikipedia Branch point, Branch point (definition). Also Wikidata Q2625091
History
- 2026-10-26: add by m2/dev
Uniformly local functional calculus BVNNA2G50K
| URI | m2://inv/BVNNA2G50K |
|---|---|
| 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.29147#96YE, Uniformly local functional calculus (statement)
History
- 2026-11-01: add by m2/v0.6.15
BVNNRKP3MJ BVNNRKP3MJ
| URI | m2://inv/BVNNRKP3MJ |
|---|---|
| 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#B4B5 (statement). In V7SN19J84T/e1, lemma 5.20
History
- 2026-10-28: add by m2/v0.4.2
BVNWVEMZ2Q BVNWVEMZ2Q
| URI | m2://inv/BVNWVEMZ2Q |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/inverses.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 79.1
History
- 2026-11-01: add by m2/v0.6.13
BVNYQMB1WK BVNYQMB1WK
| URI | m2://inv/BVNYQMB1WK |
|---|---|
| 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 2405.10580#KPZH (statement). In FXEJE0PWEP/e1, proposition 9.4
History
- 2026-10-27: add by m2/v0.3.5
BVP1ZH3R3D BVP1ZH3R3D
| URI | m2://inv/BVP1ZH3R3D |
|---|---|
| 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.31983#I904 (statement). In K06R03KX8Y/e1, theorem 3
History
- 2026-10-31: add by m2/v0.5.6
BVP22WP3AW BVP22WP3AW
| URI | m2://inv/BVP22WP3AW |
|---|---|
| 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.20588#YPDV (statement)
History
- 2026-11-02: add by m2/v0.6.18
BVP7PNPBKT BVP7PNPBKT
| URI | m2://inv/BVP7PNPBKT |
|---|---|
| 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 2411.16465#PCXX (statement). In 900P3XBZ5P/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
BVP84CSEBF BVP84CSEBF
| URI | m2://inv/BVP84CSEBF |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32181#UTRH (problem). In 8FKEQSPN7M/e1, problem 1.11
History
- 2026-10-31: add by m2/v0.5.6
BVP8A1SD7Q BVP8A1SD7Q
| URI | m2://inv/BVP8A1SD7Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03638#XB7S (statement). In H39AZG67B6/e1, lemma F.1
History
- 2026-10-29: add by m2/v0.4.12
Sneiberg extrapolation BVPB4JY2QF
| URI | m2://inv/BVPB4JY2QF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#LBT4, Sneiberg extrapolation (statement)
History
- 2026-11-01: add by m2/v0.6.15
BVPCY6XD6Z BVPCY6XD6Z
| URI | m2://inv/BVPCY6XD6Z |
|---|---|
| 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.23202#EMMH (definition)
History
- 2026-11-02: add by m2/v0.6.17
BVPJ5M759D BVPJ5M759D
| URI | m2://inv/BVPJ5M759D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/p-adic.tex#definition-5 (definition). In RZP28ERRZV, definition, section 33.4
History
- 2026-11-01: add by m2/v0.6.13
BVPX2DZFJ1 BVPX2DZFJ1
| URI | m2://inv/BVPX2DZFJ1 |
|---|---|
| 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 1002.0879#AEJL (definition). In M0SQY5EZN5/e1, definition 6.1.4
History
- 2026-10-27: add by m2/v0.3.5
Wheel factorization BVQ1GF0VXS
| URI | m2://inv/BVQ1GF0VXS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wheel factorization, Wheel factorization (definition). Also Wikidata Q7992010
History
- 2026-11-02: add by m2/dev
BVQ4ABZA3E BVQ4ABZA3E
| URI | m2://inv/BVQ4ABZA3E |
|---|---|
| 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 2511.07697#AG8L (statement). In 57P5P33HS3/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
Loop theorem BVQ4M55SZC
| URI | m2://inv/BVQ4M55SZC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loop theorem, Loop theorem (statement). Also Wikidata Q3822213
History
- 2026-11-02: add by m2/dev
Theorem BVQ822KP4D
| URI | m2://inv/BVQ822KP4D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point-finite collection#9HC7, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Mary Jo Ondrechen BVQ8JRBG85
| URI | m2://inv/BVQ8JRBG85 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ALQ2, Mary Jo Ondrechen (unknown)
History
- 2026-11-02: add by m2/dev
BVQ977HW7N BVQ977HW7N
| URI | m2://inv/BVQ977HW7N |
|---|---|
| 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 2102.09374#4JGW (statement). In TGAHH1F8K5/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.6
Demography BVQAWVN756
| URI | m2://inv/BVQAWVN756 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fields of application of statistics#R7JY, Demography (topic)
History
- 2026-11-02: add by m2/dev
BVQJKQYRYY BVQJKQYRYY
| URI | m2://inv/BVQJKQYRYY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_induction_exercises.ptx#exercise-5 (exercise). In QKM9DD2H56, exercise, section 3
History
- 2026-11-01: add by m2/v0.6.13
BVQKDB42RD BVQKDB42RD
| URI | m2://inv/BVQKDB42RD |
|---|---|
| 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.20647#NRRB (statement)
History
- 2026-11-02: add by m2/v0.6.18
Fibonacci sequence BVQKV9E8YC
| URI | m2://inv/BVQKV9E8YC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3.3/fibonacci-sequence, Fibonacci sequence (concept). In Y91XFCEVHQ, index, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
Radoslav Harman BVR0BYH3NS
| URI | m2://inv/BVR0BYH3NS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radoslav Harman, Radoslav Harman (topic). Also Wikidata Q26704584
History
- 2026-11-02: add by m2/dev
BVR4TAW13V BVR4TAW13V
| URI | m2://inv/BVR4TAW13V |
|---|---|
| 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.27898#Q2R8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
BVR4Z2RVST BVR4Z2RVST
| URI | m2://inv/BVR4Z2RVST |
|---|---|
| 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.02097#HEKL (statement). In DQSRCCAG6G/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
Generalizations BVR7TSH1SJ
| URI | m2://inv/BVR7TSH1SJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schoenflies problem#6M8S, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Comparison of Shannon's capacity to Hartley's law BVR8MQX7WV
| URI | m2://inv/BVR8MQX7WV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shannon–Hartley theorem#U4CA, Comparison of Shannon's capacity to Hartley's law (statement)
History
- 2026-11-02: add by m2/dev
Chapman et al. BVRJZ68DTN
| URI | m2://inv/BVRJZ68DTN |
|---|---|
| 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 2610.02495#8EKU, Chapman et al. (statement). In T4S7XVAJJC/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.12
Quantitative Differentiation BVRNXQD8CX
| URI | m2://inv/BVRNXQD8CX |
|---|---|
| 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#0822, Quantitative Differentiation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ilya Prigogine BVRXQ7HT0E
| URI | m2://inv/BVRXQ7HT0E |
|---|---|
| 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 Q183509, Ilya Prigogine (unknown). Also nLab Ilya Prigogine
History
- 2026-10-26: add by m2/dev
Normalized finite-difference error BVRZAJ04DV
| URI | m2://inv/BVRZAJ04DV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01843#8CWB, Normalized finite-difference error (statement). In EDG9ZFDSWK/e1, lemma A.3
History
- 2026-10-29: add by m2/v0.4.12
BVS4NR9R8V BVS4NR9R8V
| URI | m2://inv/BVS4NR9R8V |
|---|---|
| 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 2407.20385#RQDX (statement). In PZRSZ19KAH/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
Univariate normal approximation BVS5CGAEJ8
| URI | m2://inv/BVS5CGAEJ8 |
|---|---|
| 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.06372#T9VH, Univariate normal approximation (statement). In G3E1P350Z6/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
$\mathsf{FPRAS}$ BVSCG2XQNG
| URI | m2://inv/BVSCG2XQNG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06724#Q1R8, $\mathsf{FPRAS}$ (definition). In W5XG3PGVF1/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.10
Theorem BVSJWT1DWF
| URI | m2://inv/BVSJWT1DWF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct integral#PTO6, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Percy John Harding BVSM2A1Z4H
| URI | m2://inv/BVSM2A1Z4H |
|---|---|
| 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#LCOB, Percy John Harding (topic)
History
- 2026-11-02: add by m2/dev
Fernando de Helguero BVSNQFGVP0
| URI | m2://inv/BVSNQFGVP0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fernando de Helguero, Fernando de Helguero (topic). Also Wikidata Q43299941
History
- 2026-11-02: add by m2/dev
The case $(a,b)=(3,4)$ BVT1DFWNZ3
| URI | m2://inv/BVT1DFWNZ3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20567#RPBO, The case $(a,b)=(3,4)$ (example)
History
- 2026-11-02: add by m2/v0.6.18
BVT2JC13TD BVT2JC13TD
| URI | m2://inv/BVT2JC13TD |
|---|---|
| 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 1812.02599#YI3R (statement). In W41H3EDETZ/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.5
Annibale De Gasparis BVT54B2B4B
| URI | m2://inv/BVT54B2B4B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#76XV, Annibale De Gasparis (unknown)
History
- 2026-11-02: add by m2/dev
Theory of Sets BVT7RX4XRF
| URI | m2://inv/BVT7RX4XRF |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 03-02, 03Bxx |
| Sources | 1 |
| Outcome | out_of_scope (a book or a journal, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q62096480, Theory of Sets (topic)
History
- 2026-10-26: add by m2/dev
BVTAZKF6A6 BVTAZKF6A6
| URI | m2://inv/BVTAZKF6A6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13817#AG1Z (statement). In BMSAXTDV47/e1, proposition 2.12
History
- 2026-10-28: add by m2/v0.4.2
Biased random walk on a graph BVTFXB1KFJ
| URI | m2://inv/BVTFXB1KFJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biased random walk on a graph, Biased random walk on a graph (definition). Also Wikidata Q19892070
History
- 2026-11-02: add by m2/dev
BVTHMBVTY7 BVTHMBVTY7
| URI | m2://inv/BVTHMBVTY7 |
|---|---|
| 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.28009#9XCI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quadratic form (statistics) BVTHS9HKS4
| URI | m2://inv/BVTHS9HKS4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#402P, Quadratic form (statistics) (definition)
History
- 2026-11-02: add by m2/dev
BVTJHNDXKJ BVTJHNDXKJ
| URI | m2://inv/BVTJHNDXKJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24614#202Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
BVTNYBBVJ7 BVTNYBBVJ7
| URI | m2://inv/BVTNYBBVJ7 |
|---|---|
| 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.02042#BFNA (statement). In P3HWTYFDBX/e1, corollary 6.17
History
- 2026-10-29: add by m2/v0.4.12
normalized relative chains BVV1V91SNH
| URI | m2://inv/BVV1V91SNH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#2K93, normalized relative chains (definition). In PCAS8S14J6/e1, definition 3.14
History
- 2026-10-31: add by m2/v0.5.6
Ascon BVV7Z6J4X8
| URI | m2://inv/BVV7Z6J4X8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ascon (cipher), Ascon (definition). Also Wikidata Q116757386
History
- 2026-11-02: add by m2/dev
Properties BVV8CYF1V4
| URI | m2://inv/BVV8CYF1V4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflective subcategory#FQVT, Properties (statement)
History
- 2026-11-02: add by m2/dev
Example BVV9S9AB92
| URI | m2://inv/BVV9S9AB92 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set-valued function#AFXJ, Example (example)
History
- 2026-11-02: add by m2/dev
Golden section hypothesis BVVAQ5ERKZ
| URI | m2://inv/BVVAQ5ERKZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gustav Fechner#KZV1, Golden section hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Currier BVVJANYV4X
| URI | m2://inv/BVVJANYV4X |
|---|---|
| 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.08567#U78W, Currier (statement). In CMJE9V2BJ0/e1, theorem 4.7
History
- 2026-10-29: add by m2/v0.4.10
BVVMDSGDZ4 BVVMDSGDZ4
| URI | m2://inv/BVVMDSGDZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35858#77SS (statement). In R2K4HZN8RW/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
Procrustes analysis BVVW5BGTAR
| URI | m2://inv/BVVW5BGTAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Procrustes analysis, Procrustes analysis (definition). Also Wikidata Q2845240
History
- 2026-11-02: add by m2/dev
k-factor BVW19RCJG0
| URI | m2://inv/BVW19RCJG0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130377973, k-factor (unknown). Also MathWorld k-Factor
History
- 2026-10-26: add by m2/dev
BVW49XJJTQ BVW49XJJTQ
| URI | m2://inv/BVW49XJJTQ |
|---|---|
| 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 2403.01959#HCRT (statement). In 5YMNGJRC6Y/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Converse BVW9P9TH49
| URI | m2://inv/BVW9P9TH49 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed-subgroup theorem#2124, Converse (statement)
History
- 2026-11-02: add by m2/dev
Definition BVWAA97CT0
| URI | m2://inv/BVWAA97CT0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixture model#04BY, Definition (definition)
History
- 2026-11-02: add by m2/dev
Zipf–Mandelbrot law BVWDWC0MYK
| URI | m2://inv/BVWDWC0MYK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4OPO, Zipf–Mandelbrot law (statement)
History
- 2026-11-02: add by m2/dev
A comparison witness at one finite stage BVWKB1X5GB
| URI | m2://inv/BVWKB1X5GB |
|---|---|
| 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.11143#PC49, A comparison witness at one finite stage (statement). In 9CS15SV662/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.3
BVWQ7K6YR3 BVWQ7K6YR3
| URI | m2://inv/BVWQ7K6YR3 |
|---|---|
| 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.16235#SLJB (statement). In RNGNWGMX85/e1, lemma 3.16
History
- 2026-10-28: add by m2/v0.4.2
Quinnipiac University Polling Institute BVWXBT039M
| URI | m2://inv/BVWXBT039M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#DLTF, Quinnipiac University Polling Institute (definition)
History
- 2026-11-02: add by m2/dev
Jon Folkman BVWXWSJCNB
| URI | m2://inv/BVWXWSJCNB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#16AX, Jon Folkman (topic)
History
- 2026-11-02: add by m2/dev
Benedetto Castelli BVWYND2AWS
| URI | m2://inv/BVWYND2AWS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#JI5K, Benedetto Castelli (topic)
History
- 2026-11-02: add by m2/dev
BVX35Z4EJD BVX35Z4EJD
| URI | m2://inv/BVX35Z4EJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1607.01095#YFYP (statement). In W3T1ZAT3GC/e1, theorem 2.9
History
- 2026-10-27: add by m2/v0.3.5
BVX43TB1EX BVX43TB1EX
| URI | m2://inv/BVX43TB1EX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32903#T6WK (statement). In S8NB83KQX3/e1, theorem 10
History
- 2026-10-31: add by m2/v0.5.6
BVX6C223XJ BVX6C223XJ
| URI | m2://inv/BVX6C223XJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/verification.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 87.3
History
- 2026-11-01: add by m2/v0.6.13
continuum BVX6GXHE8F
| URI | m2://inv/BVX6GXHE8F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#MQAS, continuum (definition)
History
- 2026-11-02: add by m2/dev
William Lawrence Kocay BVXA06NBM5
| URI | m2://inv/BVXA06NBM5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PYDB, William Lawrence Kocay (unknown)
History
- 2026-11-02: add by m2/dev
type, of lists BVXQ0875KV
| URI | m2://inv/BVXQ0875KV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.7/type-of-lists, type, of lists (concept). In N54F33XE07, index, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
Hiroshi Iritani BVXSBP89B0
| URI | m2://inv/BVXSBP89B0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#D7SV, Hiroshi Iritani (unknown)
History
- 2026-11-02: add by m2/dev
BVXVWWHRJ4 BVXVWWHRJ4
| URI | m2://inv/BVXVWWHRJ4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-5 (proof). In E59CDZA4DP, proof, section 11.1.3
History
- 2026-11-01: add by m2/v0.6.13
Richard Nickl BVXYFPY0MW
| URI | m2://inv/BVXYFPY0MW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Nickl, Richard Nickl (topic). Also Wikidata Q47498773
History
- 2026-11-02: add by m2/dev
hierarchy problem BVY00GSR1N
| URI | m2://inv/BVY00GSR1N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q601556, hierarchy problem (unknown). Also nLab hierarchy problem
History
- 2026-10-26: add by m2/dev
Mapping class groups BVY9G6CQBX
| URI | m2://inv/BVY9G6CQBX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-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.19787#D7H4, Mapping class groups (statement). In A4VP56CT7B/e1, theorem 8.5
History
- 2026-10-28: add by m2/v0.4.2
BVY9N0QJW4 BVY9N0QJW4
| URI | m2://inv/BVY9N0QJW4 |
|---|---|
| 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.20716#7TCK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Diana Shelstad BVYHACNHH2
| URI | m2://inv/BVYHACNHH2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diana Shelstad, Diana Shelstad (topic). Also Wikidata Q1208881
History
- 2026-11-02: add by m2/dev
BVYKCX14WB BVYKCX14WB
| URI | m2://inv/BVYKCX14WB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#6GB8 (statement). In RK0ZMDJ23T/e1, lemma 3.4.12
History
- 2026-10-31: add by m2/v0.5.6
Applications BVYKQVPPR1
| URI | m2://inv/BVYKQVPPR1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual graph#GDM5, Applications (example)
History
- 2026-11-02: add by m2/dev
BVYTHFAWKF BVYTHFAWKF
| URI | m2://inv/BVYTHFAWKF |
|---|---|
| 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.36418#M5J2 (statement). In 7GBRPD97HY/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
BVZ0SGE4QY BVZ0SGE4QY
| URI | m2://inv/BVZ0SGE4QY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-17 (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
chromatic number BVZ0XMPMRF
| URI | m2://inv/BVZ0XMPMRF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.1/chromatic-number, chromatic number (concept). In Y91XFCEVHQ, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Notations BVZ1CFZ7HZ
| URI | m2://inv/BVZ1CFZ7HZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical biconditional#8QN2, Notations (definition)
History
- 2026-11-02: add by m2/dev
BVZ8YP86F1 BVZ8YP86F1
| URI | m2://inv/BVZ8YP86F1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-9 (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
Bound for Vector Field Taylor Remainder BVZGEC48K1
| URI | m2://inv/BVZGEC48K1 |
|---|---|
| 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.17604#W0ZS, Bound for Vector Field Taylor Remainder (statement). In CZNRSB168G/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Cauchy–Kowalevski theorem BVZPFJBA8T
| URI | m2://inv/BVZPFJBA8T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy problem#KN45, Cauchy–Kowalevski theorem (statement)
History
- 2026-11-02: add by m2/dev
BVZQVQ1TZG BVZQVQ1TZG
| URI | m2://inv/BVZQVQ1TZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.21971#PILX (statement). In R6KSZ9H8CY/e1, proposition 1.3
History
- 2026-11-02: add by m2/v0.6.18
BVZVBE6Z14 BVZVBE6Z14
| URI | m2://inv/BVZVBE6Z14 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-57 (exercise). In E9HS8K3A52, exercise, section 2.5.5
History
- 2026-11-01: add by m2/v0.6.13
Transversality theorem BVZX6ZTEZ6
| URI | m2://inv/BVZX6ZTEZ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transversality theorem, Transversality theorem (statement). Also Wikidata Q116677
History
- 2026-11-02: add by m2/dev