Inventory rows BP
The cards of the rows of the inventory whose ids start with BP. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Regressor BP01AZQM9B
| URI | m2://inv/BP01AZQM9B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dependent and independent variables#FBPI, Regressor (unknown)
History
- 2026-11-02: add by m2/dev
BP01G0PXTK BP01G0PXTK
| URI | m2://inv/BP01G0PXTK |
|---|---|
| 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.23338#RHP3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Conditional ReCAP reliability BP0D1J5HMF
| URI | m2://inv/BP0D1J5HMF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09510#V9KW, Conditional ReCAP reliability (statement). In JR1HE83H93/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
BP0MJ5BH2B BP0MJ5BH2B
| URI | m2://inv/BP0MJ5BH2B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26723#JKHH (statement)
History
- 2026-11-01: add by m2/v0.6.15
BP0RTHGTYY BP0RTHGTYY
| URI | m2://inv/BP0RTHGTYY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31907#TZY6 (statement). In 6B2PCEGCYZ/e1, lemma 3.10
History
- 2026-10-31: add by m2/v0.5.6
Statement BP0RZ7VCWT
| URI | m2://inv/BP0RZ7VCWT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kantorovich theorem#ZMIK, Statement (statement)
History
- 2026-11-02: add by m2/dev
torsion group BP0VX7F8GG
| URI | m2://inv/BP0VX7F8GG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 3568695) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#STSI, torsion group (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Multilinear multiplication BP0ZBNTMBB
| URI | m2://inv/BP0ZBNTMBB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multilinear multiplication, Multilinear multiplication (definition). Also Wikidata Q30590463
History
- 2026-11-02: add by m2/dev
Positivity in dimensions five through seven BP10GCY47P
| URI | m2://inv/BP10GCY47P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05421#ONZ0, Positivity in dimensions five through seven (statement). In 4R1MMSAAVK/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
1 BP1226TQR9
| URI | m2://inv/BP1226TQR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q199, 1 (statement). Also MathWorld 1, ProofWiki 1
- wikipedia: Wikipedia 1, 1 (definition). Also Wikidata Q199
History
- 2026-10-26: add by m2/dev
BP18VPQ319 BP18VPQ319
| URI | m2://inv/BP18VPQ319 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#YRIP (proof). In WJD9YPGGYH/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Semantic interpretation of the selector BP19CYS39B
| URI | m2://inv/BP19CYS39B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27641#H3H7, Semantic interpretation of the selector (statement)
History
- 2026-11-01: add by m2/v0.6.15
BP1AZM05WQ BP1AZM05WQ
| URI | m2://inv/BP1AZM05WQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30527#DJ60 (definition). In E3WQDZY388/e1, definition 2.3
History
- 2026-10-31: add by m2/v0.5.6
Grigorchuk group BP1B13X6TC
| URI | m2://inv/BP1B13X6TC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grigorchuk group, Grigorchuk group (definition). Also Wikidata Q5609013
History
- 2026-11-02: add by m2/dev
BP1EH8WM52 BP1EH8WM52
| URI | m2://inv/BP1EH8WM52 |
|---|---|
| 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#7DBR (statement). In 7ZBQ8WGQVB/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Theorem (Uspensky) BP1M80G6YA
| URI | m2://inv/BP1M80G6YA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real-root isolation#QJ7J, Theorem (Uspensky) (statement)
History
- 2026-11-02: add by m2/dev
BP1MRDBN4D BP1MRDBN4D
| URI | m2://inv/BP1MRDBN4D |
|---|---|
| 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.25038#H5YM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fσ set BP1MXXR2GJ
| URI | m2://inv/BP1MXXR2GJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | F-sigma set 8MGC7M64GW |
Mentions
- wikidata: Wikidata Q4392123, Fσ set (definition). Also MathWorld F-SigmaSet, ProofWiki Definition:F-Sigma_Set
- wikipedia: Wikipedia Fσ set, Fσ set (definition). Also Wikidata Q4392123
History
- 2026-10-26: add by m2/dev
BP1SMCH78A BP1SMCH78A
| URI | m2://inv/BP1SMCH78A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-68 (exercise). In VNMV985MXX, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
BP22EQSGXX BP22EQSGXX
| URI | m2://inv/BP22EQSGXX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-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 2408.01345#KHHY (statement). In PT5PBPCS3P/e1, lemma 2.12
History
- 2026-10-27: add by m2/v0.3.5
Bochner's tube theorem BP2CJ1SFX1
| URI | m2://inv/BP2CJ1SFX1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q107535899, Bochner's tube theorem (statement). Also Wikidata Q107535899
- thousand_plus: thousand_plus Q107535899, Bochner's tube theorem (statement). Also Wikidata Q107535899, Wikipedia Bochner's tube theorem
- wikipedia: Wikipedia Bochner's tube theorem, Bochner's tube theorem (statement). Also Wikidata Q107535899
History
- 2026-10-26: add by m2/dev
1 458 BP2NZ1KJKV
| URI | m2://inv/BP2NZ1KJKV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1000 (number)#ZCGA, 1 458 (unknown)
History
- 2026-11-02: add by m2/dev
BP2Q9APT94 BP2Q9APT94
| URI | m2://inv/BP2Q9APT94 |
|---|---|
| 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.34283#G6J3 (statement). In DF1S2FHKJE/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
BP2XNFQ141 BP2XNFQ141
| URI | m2://inv/BP2XNFQ141 |
|---|---|
| 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.39505#R3IT (statement). In WAXS6FS388/e1, proposition 2.6
History
- 2026-10-30: add by m2/v0.4.12
BP2XXSPH01 BP2XXSPH01
| URI | m2://inv/BP2XXSPH01 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/basics.tex#ex-3 (example). In PKGMM3P5QY, ex, section 82.3
History
- 2026-11-01: add by m2/v0.6.13
Theorem (de Wilde 1978) BP2Y8254XQ
| URI | m2://inv/BP2Y8254XQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet space#RGNZ, Theorem (de Wilde 1978) (statement)
- wikipedia: Wikipedia Webbed space#VI7K, Theorem (de Wilde 1978) (statement)
History
- 2026-11-02: add by m2/dev
BP3K4ZQRM4 BP3K4ZQRM4
| URI | m2://inv/BP3K4ZQRM4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.25468#4B56 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Simulation governance BP3KZQBADB
| URI | m2://inv/BP3KZQBADB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simulation governance, Simulation governance (definition). Also Wikidata Q48727814
History
- 2026-11-02: add by m2/dev
Cyclic category BP3RZ4T20W
| URI | m2://inv/BP3RZ4T20W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic category, Cyclic category (definition). Also Wikidata Q5198206
History
- 2026-11-02: add by m2/dev
Novi, Michigan BP4684WD9T
| URI | m2://inv/BP4684WD9T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#OABT, Novi, Michigan (unknown)
History
- 2026-11-02: add by m2/dev
Coleman Collins BP48X35NWE
| URI | m2://inv/BP48X35NWE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#K5C3, Coleman Collins (unknown)
History
- 2026-11-02: add by m2/dev
BP4957GP4K BP4957GP4K
| URI | m2://inv/BP4957GP4K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-44 (exercise). In E59CDZA4DP, exercise, section 2.4.4
History
- 2026-11-01: add by m2/v0.6.13
Xiaonan Ma BP4ERVK68N
| URI | m2://inv/BP4ERVK68N |
|---|---|
| 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#S96P, Xiaonan Ma (unknown)
History
- 2026-11-02: add by m2/dev
Feng \& Jech BP4K07BJ18
| URI | m2://inv/BP4K07BJ18 |
|---|---|
| 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.17547#B69G, Feng \& Jech (statement). In XJ59TDP4HA/e1, fact 2.14
History
- 2026-10-28: add by m2/v0.4.2
Pullback Box metric BP4VT4CTEA
| URI | m2://inv/BP4VT4CTEA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#7GGD, Pullback Box metric (definition)
History
- 2026-11-01: add by m2/v0.6.15
Amanda Montejano BP54BAT833
| URI | m2://inv/BP54BAT833 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amanda Montejano, Amanda Montejano (topic). Also Wikidata Q102560936
History
- 2026-11-02: add by m2/dev
R. Carter BP56ARDZC7
| URI | m2://inv/BP56ARDZC7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#E4L4, R. Carter (unknown)
History
- 2026-11-02: add by m2/dev
BP58J567E9 BP58J567E9
| URI | m2://inv/BP58J567E9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#7IRH (statement). In V6EPE8XHAD/e1, proposition 2.9
History
- 2026-10-29: add by m2/v0.4.10
Symmetries BP59JR40FY
| URI | m2://inv/BP59JR40FY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyiamond#4I8H, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
Genetic epidemiology BP5AW8JM9M
| URI | m2://inv/BP5AW8JM9M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genetic epidemiology, Genetic epidemiology (topic). Also Wikidata Q5532897
History
- 2026-11-02: add by m2/dev
Tukey lambda distribution BP5EYM8GZC
| URI | m2://inv/BP5EYM8GZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#E7LU, Tukey lambda distribution (definition)
History
- 2026-11-02: add by m2/dev
The ceiling BP5M0KXAW5
| URI | m2://inv/BP5M0KXAW5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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 2609.27765#1UX1, The ceiling (statement)
History
- 2026-11-01: add by m2/v0.6.15
relative QTA for finite posets BP5MX1J9N1
| URI | m2://inv/BP5MX1J9N1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.15099#23AW, relative QTA for finite posets (statement). In PF5JJ9DS8Q/e1, theorem 6.2.1
History
- 2026-10-28: add by m2/v0.4.2
BP5V858J5E BP5V858J5E
| URI | m2://inv/BP5V858J5E |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17737#L55H (example). In 8SXY7Y68HV/e1, example 7.1
History
- 2026-10-28: add by m2/v0.4.2
BP5ZJ41HTT BP5ZJ41HTT
| URI | m2://inv/BP5ZJ41HTT |
|---|---|
| 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 2609.37313#0CUS (statement). In Z1F6SXQ6XW/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Constructive nonstandard analysis BP617RAC6N
| URI | m2://inv/BP617RAC6N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructive nonstandard analysis, Constructive nonstandard analysis (definition). Also Wikidata Q5164494
History
- 2026-11-02: add by m2/dev
Morley's problem BP62Q6633W
| URI | m2://inv/BP62Q6633W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectrum of a theory#FJG9, Morley's problem (unknown)
History
- 2026-11-02: add by m2/dev
BP6E099G9X BP6E099G9X
| URI | m2://inv/BP6E099G9X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#example-19 (example). In E59CDZA4DP, example, section 10.5.6
History
- 2026-11-01: add by m2/v0.6.13
Algorithm BP6FRFHPSD
| URI | m2://inv/BP6FRFHPSD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic mode decomposition#QGEE, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
BP6JG64G5D BP6JG64G5D
| URI | m2://inv/BP6JG64G5D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#B6LF (definition). In A1GWWGRXPA/e1, definition 1.4
History
- 2026-10-27: add by m2/v0.4.2
Enumeration BP6KGAGHDY
| URI | m2://inv/BP6KGAGHDY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2023 Pakistani census#8R4A, Enumeration (definition)
History
- 2026-11-02: add by m2/dev
BP6MK6AEXA BP6MK6AEXA
| URI | m2://inv/BP6MK6AEXA |
|---|---|
| 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 dg-ga/9612010#40R7 (statement). In CM39SWC4A6/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.4.0
BP6N0JQPZX BP6N0JQPZX
| URI | m2://inv/BP6N0JQPZX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-planar.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
Chemical reaction network theory BP6RXA8KRQ
| URI | m2://inv/BP6RXA8KRQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chemical reaction network theory, Chemical reaction network theory (topic). Also Wikidata Q1069192
History
- 2026-11-02: add by m2/dev
BP6WVTPZ71 BP6WVTPZ71
| URI | m2://inv/BP6WVTPZ71 |
|---|---|
| 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 2606.26962#IXV3 (statement). In XB93QX7DAA/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
BP6Y4QBYXW BP6Y4QBYXW
| URI | m2://inv/BP6Y4QBYXW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20025#TORM (statement). In 4W1WR4JB89/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.4.2
Oscar Zariski BP6Y9WNGY4
| URI | m2://inv/BP6Y9WNGY4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#JE23, Oscar Zariski (topic)
History
- 2026-11-02: add by m2/dev
BP6YTWHBGA BP6YTWHBGA
| URI | m2://inv/BP6YTWHBGA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2509.04068#WVJC (statement). In Y7TVAQE9PF/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
BP765R0Y6M BP765R0Y6M
| URI | m2://inv/BP765R0Y6M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.17751#XTD7 (definition). In J39X0NB31S/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Properties BP77X007NJ
| URI | m2://inv/BP77X007NJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler angles#AOGO, Properties (statement)
History
- 2026-11-02: add by m2/dev
$V_\Delta^p \left(I \right)$ space BP78P5YZ0G
| URI | m2://inv/BP78P5YZ0G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15460#O2C9, $V_\Delta^p \left(I \right)$ space (definition). In T2Z3D2VQ9B/e1, definition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Pappus of Alexandria BP7B3AY9H2
| URI | m2://inv/BP7B3AY9H2 |
|---|---|
| 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 Q211783, Pappus of Alexandria (unknown). Also ProofWiki Mathematician:Pappus_of_Alexandria
- wikipedia: Wikipedia Pappus of Alexandria, Pappus of Alexandria (topic). Also Wikidata Q211783
History
- 2026-10-26: add by m2/dev
Definition BP7F99NXYQ
| URI | m2://inv/BP7F99NXYQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive polynomial#S2B0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Hurwitz surface BP7J9XCRR4
| URI | m2://inv/BP7J9XCRR4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#HTX6, Hurwitz surface (definition)
- wikipedia: Wikipedia List of curves#3YZ5, Hurwitz surface (definition)
History
- 2026-11-02: add by m2/dev
Salomo Sachs BP7KP68RA4
| URI | m2://inv/BP7KP68RA4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Salomo Sachs, Salomo Sachs (topic). Also Wikidata Q1001072
History
- 2026-11-02: add by m2/dev
Michael Kogan BP807HC1XH
| URI | m2://inv/BP807HC1XH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#TAXP, Michael Kogan (unknown)
History
- 2026-11-02: add by m2/dev
Nishimori floor BP81KEJREN
| URI | m2://inv/BP81KEJREN |
|---|---|
| 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.37479#LGGY, Nishimori floor (statement). In P3RTT99C41/e1, proposition 9.11
History
- 2026-10-30: add by m2/v0.4.12
BP88QC9G5N BP88QC9G5N
| URI | m2://inv/BP88QC9G5N |
|---|---|
| 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.04264#PNJ4 (statement). In 5YRJ4HGY4N/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.12
Generalizations BP88Y0K1S4
| URI | m2://inv/BP88Y0K1S4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moving frame#1NXB, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
BP8JHS0ADJ BP8JHS0ADJ
| URI | m2://inv/BP8JHS0ADJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/long-exact.tex#example-1 (example). In RZP28ERRZV, example, section 54.1
History
- 2026-11-01: add by m2/v0.6.13
BP8N7PWABJ BP8N7PWABJ
| URI | m2://inv/BP8N7PWABJ |
|---|---|
| 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.20225#7NQG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Veech group BP8NA8F32E
| URI | m2://inv/BP8NA8F32E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Translation surface#HGXO, Veech group (unknown)
History
- 2026-11-02: add by m2/dev
Root datum BP8P6Z3YQG
| URI | m2://inv/BP8P6Z3YQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root datum, Root datum (definition). Also Wikidata Q7366574
History
- 2026-11-02: add by m2/dev
Examples BP8QS2Z5R3
| URI | m2://inv/BP8QS2Z5R3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur functor#PSHJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Volume Unique Key BP8XWED0F8
| URI | m2://inv/BP8XWED0F8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Advanced Access Content System#O38Z, Volume Unique Key (unknown)
History
- 2026-11-02: add by m2/dev
Challenging BP90T9PEFB
| URI | m2://inv/BP90T9PEFB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-28, Challenging (exercise). In E59CDZA4DP, exercise, section 5.3.4
History
- 2026-11-01: add by m2/v0.6.13
BP97HPQEZ6 BP97HPQEZ6
| URI | m2://inv/BP97HPQEZ6 |
|---|---|
| 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.13939#IG2Q (statement). In T0NQ0Q9WVD/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
BP98NYN5SE BP98NYN5SE
| URI | m2://inv/BP98NYN5SE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22170#811L (statement). In 74MMMHHPW5/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.4.0
BP99S3KNF9 BP99S3KNF9
| URI | m2://inv/BP99S3KNF9 |
|---|---|
| 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 1709.01658#OVDT (statement). In 90A5Q9HRQK/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
object of a category BP9B6HCXG4
| URI | m2://inv/BP9B6HCXG4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10340026, object of a category (unknown). Also MathWorld Object, nLab object
History
- 2026-10-26: add by m2/dev
Haberman, Steven BP9CCD22SR
| URI | m2://inv/BP9CCD22SR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#Y1M5, Haberman, Steven (unknown)
History
- 2026-11-02: add by m2/dev
BP9E6ARZJ9 BP9E6ARZJ9
| URI | m2://inv/BP9E6ARZJ9 |
|---|---|
| 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.14240#GZ2S (definition). In HGQCBDDMQJ/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
BP9MDMJEBQ BP9MDMJEBQ
| URI | m2://inv/BP9MDMJEBQ |
|---|---|
| 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#DPRI (statement). In CMJE9V2BJ0/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
BP9QDWDB2C BP9QDWDB2C
| URI | m2://inv/BP9QDWDB2C |
|---|---|
| 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.02295#4370 (statement). In PEBD9ZMA1W/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
Linearization BP9Z6KTRT2
| URI | m2://inv/BP9Z6KTRT2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linearization, Linearization (definition). Also Wikidata Q1520713
History
- 2026-11-02: add by m2/dev
BPA1JR1Y10 BPA1JR1Y10
| URI | m2://inv/BPA1JR1Y10 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26114#C51H (definition)
History
- 2026-11-01: add by m2/v0.6.15
BPA3BM9001 BPA3BM9001
| URI | m2://inv/BPA3BM9001 |
|---|---|
| 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.14741#BREU (statement). In RK1VPWWX9E/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
The Start of the Tail BPA3JVD4AB
| URI | m2://inv/BPA3JVD4AB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13222#9Q5H, The Start of the Tail (statement). In Z6WA2R0J50/e1, theorem 2.30
History
- 2026-10-28: add by m2/v0.4.2
BPA497JMNZ BPA497JMNZ
| URI | m2://inv/BPA497JMNZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.07352#X2AU (definition). In 3VPC1GGZ3E/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.5
BPACJ0Y751 BPACJ0Y751
| URI | m2://inv/BPACJ0Y751 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31365#VLX5 (statement). In 19GENJ3NCP/e1, theorem 6.3
History
- 2026-10-31: add by m2/v0.5.6
BPANQA0NGW BPANQA0NGW
| URI | m2://inv/BPANQA0NGW |
|---|---|
| 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.39948#FYY8 (statement). In 6R7CBG955V/e1, proposition 3.4
History
- 2026-10-30: add by m2/v0.4.12
Single-linkage clustering BPAQ0BNP9B
| URI | m2://inv/BPAQ0BNP9B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IOSS, Single-linkage clustering (definition)
History
- 2026-11-02: add by m2/dev
BPAT0DKHG0 BPAT0DKHG0
| URI | m2://inv/BPAT0DKHG0 |
|---|---|
| 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 2211.13105#YDZU (statement). In 5ACPY6CEDV/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.3.5
BPAYGGNPYK BPAYGGNPYK
| URI | m2://inv/BPAYGGNPYK |
|---|---|
| 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 2610.15698#T96K (statement). In 69GJX04N6M/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
algebraic congruence BPB32AR92F
| URI | m2://inv/BPB32AR92F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12175576, algebraic congruence (unknown). Also MathWorld AlgebraicCongruence
History
- 2026-10-26: add by m2/dev
reciprocal function BPB3C1XAFZ
| URI | m2://inv/BPB3C1XAFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#S8SI, reciprocal function (definition)
History
- 2026-11-02: add by m2/dev
BPB5DZ0TJ1 BPB5DZ0TJ1
| URI | m2://inv/BPB5DZ0TJ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/minimization-representable.tex#lem:trichotomy (statement). In PKGMM3P5QY, lem, section 29.10
History
- 2026-11-01: add by m2/v0.6.13
BPB5G1HY4E BPB5G1HY4E
| URI | m2://inv/BPB5G1HY4E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-60 (exercise). In E59CDZA4DP, exercise, section 1.7.3
History
- 2026-11-01: add by m2/v0.6.13
Definition BPBAVHPB76
| URI | m2://inv/BPBAVHPB76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carlitz exponential#GQBS, Definition (definition)
History
- 2026-11-02: add by m2/dev
closed subgroup BPBCERGJFD
| URI | m2://inv/BPBCERGJFD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78497118, closed subgroup (unknown). Also MathWorld ClosedSubgroup
History
- 2026-10-26: add by m2/dev
BPBDZ7JV43 BPBDZ7JV43
| URI | m2://inv/BPBDZ7JV43 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05232#0GUD (conjecture). In DA3VN96YX2/e1, conjecture 1.9
History
- 2026-10-29: add by m2/v0.4.10
Singular moduli BPBED8V3R3
| URI | m2://inv/BPBED8V3R3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex multiplication#Y6H8, Singular moduli (unknown)
History
- 2026-11-02: add by m2/dev
BPBW29BE1F BPBW29BE1F
| URI | m2://inv/BPBW29BE1F |
|---|---|
| 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.22074#M9AL (statement). In F3BKXXPR3K/e1, theorem 3.50
History
- 2026-10-27: add by m2/v0.4.2
BPC9GJMBN1 BPC9GJMBN1
| URI | m2://inv/BPC9GJMBN1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#PSHM (statement). In V6EPE8XHAD/e1, lemma 7.5
History
- 2026-10-29: add by m2/v0.4.10
Surender Kumar Malik BPCBHFBF6E
| URI | m2://inv/BPCBHFBF6E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surender Kumar Malik, Surender Kumar Malik (topic). Also Wikidata Q16015306
History
- 2026-11-02: add by m2/dev
Applications BPCH65J1YQ
| URI | m2://inv/BPCH65J1YQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arc-length method#KAEI, Applications (example)
History
- 2026-11-02: add by m2/dev
Constructions in hyperbolic geometry BPCJ2QA1HQ
| URI | m2://inv/BPCJ2QA1HQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructions in hyperbolic geometry, Constructions in hyperbolic geometry (definition). Also Wikidata Q60747031
History
- 2026-11-02: add by m2/dev
BPCN3ZB242 BPCN3ZB242
| URI | m2://inv/BPCN3ZB242 |
|---|---|
| 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.35030#JCHJ (statement). In DPT4P2BTEW/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
BPCNX25RWF BPCNX25RWF
| URI | m2://inv/BPCNX25RWF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28195#QGOH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition BPCVS5E1BP
| URI | m2://inv/BPCVS5E1BP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-open map#282H, Definition (definition)
History
- 2026-11-02: add by m2/dev
BPD4GQM1S1 BPD4GQM1S1
| URI | m2://inv/BPD4GQM1S1 |
|---|---|
| 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 2310.13621#ZA3T (statement). In DG0EZ1BPV5/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.3.5
nomogram BPD4HSFTZ3
| URI | m2://inv/BPD4HSFTZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q721129, nomogram (unknown). Also MathWorld Nomogram
- wikipedia: Wikipedia Nomogram, Nomogram (definition). Also Wikidata Q721129
History
- 2026-10-26: add by m2/dev
Engquist–Majda absorbing boundary condition BPD98KCY0R
| URI | m2://inv/BPD98KCY0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Engquist–Majda absorbing boundary condition, Engquist–Majda absorbing boundary condition (definition). Also Wikidata Q138545480
History
- 2026-11-02: add by m2/dev
Coordinate geometry BPDE6FFYR4
| URI | m2://inv/BPDE6FFYR4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#NSFY, Coordinate geometry (definition)
History
- 2026-11-02: add by m2/dev
BPDEPVAHMP BPDEPVAHMP
| URI | m2://inv/BPDEPVAHMP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31243#YVQW (statement). In E8FP48FJMZ/e1, corollary 5.2
History
- 2026-10-31: add by m2/v0.5.6
Sequential analysis BPDJCKSM0P
| URI | m2://inv/BPDJCKSM0P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequential analysis, Sequential analysis (definition). Also Wikidata Q195771
History
- 2026-11-02: add by m2/dev
Conditional flatness of the invariant benchmark BPDMJG5SZF
| URI | m2://inv/BPDMJG5SZF |
|---|---|
| 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.27200#HR0P, Conditional flatness of the invariant benchmark (statement)
History
- 2026-11-01: add by m2/v0.6.15
BPDPVWZJ2W BPDPVWZJ2W
| URI | m2://inv/BPDPVWZJ2W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2302.06336#YOGV (statement). In CCRSWBXWXW/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
Definitions BPDY4QZGRX
| URI | m2://inv/BPDY4QZGRX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum Markov semigroup#ZZIZ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Diffuse reflection BPE507XBAJ
| URI | m2://inv/BPE507XBAJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#OCGQ, Diffuse reflection (unknown)
History
- 2026-11-02: add by m2/dev
Applications BPE5KWWPW8
| URI | m2://inv/BPE5KWWPW8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heat equation#CPUQ, Applications (example)
History
- 2026-11-02: add by m2/dev
Quantum annealing BPE8SWJVVA
| URI | m2://inv/BPE8SWJVVA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum annealing, Quantum annealing (definition). Also Wikidata Q938141
History
- 2026-11-02: add by m2/dev
Reid, Nancy BPEDFY2ZAR
| URI | m2://inv/BPEDFY2ZAR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#YGI0, Reid, Nancy (unknown)
History
- 2026-11-02: add by m2/dev
Naccache–Stern knapsack cryptosystem BPEQ6W0E8V
| URI | m2://inv/BPEQ6W0E8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Naccache–Stern knapsack cryptosystem, Naccache–Stern knapsack cryptosystem (definition). Also Wikidata Q6957077
History
- 2026-11-02: add by m2/dev
Applications BPESREF5T8
| URI | m2://inv/BPESREF5T8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rarefied gas dynamics#7YH6, Applications (example)
History
- 2026-11-02: add by m2/dev
Closed graph theorem BPEVDVFM6A
| URI | m2://inv/BPEVDVFM6A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ursescu theorem#VP0F, Closed graph theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition BPF59YEYPT
| URI | m2://inv/BPF59YEYPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological vector space#KSGC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Componentwise cases in singular dimension one BPF9MTF1AQ
| URI | m2://inv/BPF9MTF1AQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07528#99DJ, Componentwise cases in singular dimension one (statement). In WVX0T502A1/e1, corollary 5.6
History
- 2026-10-29: add by m2/v0.4.10
BPFDM1KH6V BPFDM1KH6V
| URI | m2://inv/BPFDM1KH6V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13518#9SVX (statement). In 613TY6V089/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
BPFHH8GBTS BPFHH8GBTS
| URI | m2://inv/BPFHH8GBTS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10581#NG7E (example). In 6V42A71SPC/e1, example 3
History
- 2026-10-29: add by m2/v0.4.10
BPFJ2E8ZRJ BPFJ2E8ZRJ
| URI | m2://inv/BPFJ2E8ZRJ |
|---|---|
| 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.21715#MRD8 (statement). In QW0SV5D6MQ/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.4.2
K. B. Reid BPFNAVXTQE
| URI | m2://inv/BPFNAVXTQE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HNBH, K. B. Reid (unknown)
History
- 2026-11-02: add by m2/dev
BPFX13SM7Z BPFX13SM7Z
| URI | m2://inv/BPFX13SM7Z |
|---|---|
| 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.15217#4Z9Q (statement). In G70Q2FB591/e1, proposition 2.16
History
- 2026-10-28: add by m2/v0.4.2
BPFX5PZQ3X BPFX5PZQ3X
| URI | m2://inv/BPFX5PZQ3X |
|---|---|
| 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.13888#8NMW (statement). In XJWYBPS14M/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Heisenberg Lie algebra BPFX8ZMCS2
| URI | m2://inv/BPFX8ZMCS2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heisenberg group#38OO, Heisenberg Lie algebra (unknown)
History
- 2026-11-02: add by m2/dev
Results BPG1RWW4RQ
| URI | m2://inv/BPG1RWW4RQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector-valued Hahn–Banach theorems#8OXB, Results (statement)
History
- 2026-11-02: add by m2/dev
Tarski's theory of truth BPG8BCYDX4
| URI | m2://inv/BPG8BCYDX4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semantic theory of truth#ZWSB, Tarski's theory of truth (unknown)
History
- 2026-11-02: add by m2/dev
Paul Davies BPG8WYCJ50
| URI | m2://inv/BPG8WYCJ50 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#38I3, Paul Davies (unknown)
History
- 2026-11-02: add by m2/dev
Ring of mixed characteristic BPG98G2P1E
| URI | m2://inv/BPG98G2P1E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring of mixed characteristic, Ring of mixed characteristic (definition). Also Wikidata Q7334809
History
- 2026-11-02: add by m2/dev
Definition BPGBPHH7GZ
| URI | m2://inv/BPGBPHH7GZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Souček space#CGBL, Definition (definition)
History
- 2026-11-02: add by m2/dev
BPGM5EFZBM BPGM5EFZBM
| URI | m2://inv/BPGM5EFZBM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.00162#6WAK (statement). In HVGT9D84WV/e1, fact 1.25
History
- 2026-10-27: add by m2/v0.3.5
BPGPR52AGR BPGPR52AGR
| URI | m2://inv/BPGPR52AGR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07370#TI9P (statement). In Q94QXG67CK/e1, lemma VI.2
History
- 2026-10-29: add by m2/v0.4.10
Optical vortex BPGYYW1J5Y
| URI | m2://inv/BPGYYW1J5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optical vortex, Optical vortex (definition). Also Wikidata Q2077002
History
- 2026-11-02: add by m2/dev
Fibonacci Quarterly BPGZGS9DMJ
| URI | m2://inv/BPGZGS9DMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibonacci Quarterly, Fibonacci Quarterly (definition). Also Wikidata Q3071299
History
- 2026-11-02: add by m2/dev
Definition BPH4TFGSTT
| URI | m2://inv/BPH4TFGSTT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex logarithm#0P82, Definition (definition)
History
- 2026-11-02: add by m2/dev
Gödel Lecture BPH878CMYA
| URI | m2://inv/BPH878CMYA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel Lecture, Gödel Lecture (definition). Also Wikidata Q109547090
History
- 2026-11-02: add by m2/dev
Marie-Louise Michelsohn BPH9J8AVK5
| URI | m2://inv/BPH9J8AVK5 |
|---|---|
| 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 Q16105699 (unknown). Also nLab Marie-Louise Michelsohn
- wikipedia: Wikipedia Marie-Louise Michelsohn, Marie-Louise Michelsohn (topic). Also Wikidata Q16105699
History
- 2026-10-26: add by m2/dev
Construction BPHCT4830S
| URI | m2://inv/BPHCT4830S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chern class#51CL, Construction (definition)
History
- 2026-11-02: add by m2/dev
subjunctive possibility BPHKCJYTD3
| URI | m2://inv/BPHKCJYTD3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7631437, subjunctive possibility (unknown). Also MathWorld Alethic
- wikipedia: Wikipedia Subjunctive possibility, Subjunctive possibility (definition). Also Wikidata Q7631437
History
- 2026-10-26: add by m2/dev
Why minimum exclusion is sufficient BPHNMPG2KK
| URI | m2://inv/BPHNMPG2KK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#1H3J, Why minimum exclusion is sufficient (statement)
History
- 2026-11-01: add by m2/v0.6.15
BPHTZVZPNX BPHTZVZPNX
| URI | m2://inv/BPHTZVZPNX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 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.28742#OQGA (example)
History
- 2026-11-01: add by m2/v0.6.15
Asymptotic RPS BPHZ75ZSH4
| URI | m2://inv/BPHZ75ZSH4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23350#L6S6, Asymptotic RPS (definition)
History
- 2026-11-02: add by m2/v0.6.17
Rose Peltesohn BPJ0EAG6RH
| URI | m2://inv/BPJ0EAG6RH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#XQDS, Rose Peltesohn (topic)
History
- 2026-11-02: add by m2/dev
Steven Brams BPJ0ET00MG
| URI | m2://inv/BPJ0ET00MG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RB67, Steven Brams (unknown)
History
- 2026-11-02: add by m2/dev
dependent typing BPJMP9D8BD
| URI | m2://inv/BPJMP9D8BD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56232424, dependent typing (unknown). Also nLab dependent type theory
History
- 2026-10-26: add by m2/dev
Applications BPJZ8270BT
| URI | m2://inv/BPJZ8270BT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conchospiral#W8R7, Applications (example)
History
- 2026-11-02: add by m2/dev
Fundamental theorem of calculus BPK7TQ611B
| URI | m2://inv/BPK7TQ611B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#7MP4, Fundamental theorem of calculus (statement)
- wikipedia: Wikipedia List of calculus topics#CO27, Fundamental theorem of calculus (statement)
History
- 2026-11-02: add by m2/dev
Bob Oliver BPKDB41WWF
| URI | m2://inv/BPKDB41WWF |
|---|---|
| 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#KK47, Bob Oliver (unknown)
History
- 2026-11-02: add by m2/dev
Boris Aronov BPKP0FH6NM
| URI | m2://inv/BPKP0FH6NM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#F9ZQ, Boris Aronov (unknown)
History
- 2026-11-02: add by m2/dev
Gelfond–Schneider constant BPKQ33ZZWP
| URI | m2://inv/BPKQ33ZZWP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q307889, Gelfond–Schneider constant (concept). Also OEIS A007507, ProofWiki Definition:Gelfond-Schneider_Constant
- wikipedia: Wikipedia Gelfond–Schneider constant, Gelfond–Schneider constant (definition). Also Wikidata Q307889
History
- 2026-10-26: add by m2/dev
Depth-$H$ substitution into the two-layer argument BPKT3ED5BA
| URI | m2://inv/BPKT3ED5BA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#XN2Q, Depth-$H$ substitution into the two-layer argument (statement). In 6FY8BVP1F3/e1, proposition K.23
History
- 2026-10-29: add by m2/v0.4.12
Classical solution BPKTZBRCRV
| URI | m2://inv/BPKTZBRCRV |
|---|---|
| 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.39409#JJ8X, Classical solution (statement). In CQ0Z7QA0A5/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Lemma BPKVMDANR2
| URI | m2://inv/BPKVMDANR2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck spectral sequence#4QML, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Padding oracle attack BPKVZVBQQW
| URI | m2://inv/BPKVZVBQQW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Padding oracle attack, Padding oracle attack (definition). Also Wikidata Q7123320
History
- 2026-11-02: add by m2/dev
Formula BPM01035RD
| URI | m2://inv/BPM01035RD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rossmo's formula#7T1N, Formula (statement)
History
- 2026-11-02: add by m2/dev
Hydrodynamica BPM59HRPC4
| URI | m2://inv/BPM59HRPC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hydrodynamica, Hydrodynamica (definition). Also Wikidata Q16928507
History
- 2026-11-02: add by m2/dev
Kendall BPM9HHFVP8
| URI | m2://inv/BPM9HHFVP8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#4R6W, Kendall (unknown)
History
- 2026-11-02: add by m2/dev
Janusz Brzozowski BPMK442F0S
| URI | m2://inv/BPMK442F0S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Janusz Brzozowski (computer scientist), Janusz Brzozowski (topic). Also Wikidata Q6155997
History
- 2026-11-02: add by m2/dev
Orientational analysis BPMMW0ANES
| URI | m2://inv/BPMMW0ANES |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimensional analysis#G6QI, Orientational analysis (unknown)
History
- 2026-11-02: add by m2/dev
Lattice theory BPMQ9JY0BX
| URI | m2://inv/BPMQ9JY0BX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#JJKH, Lattice theory (definition)
History
- 2026-11-02: add by m2/dev
BPMVWCSPPN BPMVWCSPPN
| URI | m2://inv/BPMVWCSPPN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#8ZKL (statement). In TC5QA4AB4Z/e1, proposition 3.37
History
- 2026-10-30: add by m2/v0.4.12
BPN0HNZJC8 BPN0HNZJC8
| URI | m2://inv/BPN0HNZJC8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11968#KQ7Y (statement). In X6E7P2ACAS/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.3
BPN3ZEDHSV BPN3ZEDHSV
| URI | m2://inv/BPN3ZEDHSV |
|---|---|
| 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.32088#69C7 (statement). In 7781ARDE06/e1, theorem 1.4
History
- 2026-10-31: add by m2/v0.5.6
BPN6H3XQGA BPN6H3XQGA
| URI | m2://inv/BPN6H3XQGA |
|---|---|
| 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 2108.09796#4BGK (statement). In NAA7WFQN20/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Anna Karenina principle BPN946TAQ4
| URI | m2://inv/BPN946TAQ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anna Karenina principle, Anna Karenina principle (statement). Also Wikidata Q558984
History
- 2026-11-02: add by m2/dev
perfection of a ring BPNKWBJWXP
| URI | m2://inv/BPNKWBJWXP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Number theory > perfection of a ring, perfection of a ring (unknown). Also Mathlib Perfection
History
- 2026-10-26: add by m2/dev
Fuzzy opens of \(\Sier^n\ BPNMJJFDS0
| URI | m2://inv/BPNMJJFDS0 |
|---|---|
| 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 2609.23281#27C5, Fuzzy opens of \(\Sier^n\ (statement)
History
- 2026-11-02: add by m2/v0.6.17
BPNP3A0J49 BPNP3A0J49
| URI | m2://inv/BPNP3A0J49 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37747#65QS (statement). In GEYDNVZEP7/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
BPNPBWTT82 BPNPBWTT82
| URI | m2://inv/BPNPBWTT82 |
|---|---|
| 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 2303.14022#2Y8V (statement). In NSYR6W27FP/e1, proposition 6.14
History
- 2026-10-27: add by m2/v0.3.5
fifth power BPNXKZYE1S
| URI | m2://inv/BPNXKZYE1S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10549775, fifth power (definition). Also OEIS A000584, ProofWiki Definition:Fifth_Power
- wikipedia: Wikipedia Fifth power (algebra), Fifth power (definition). Also Wikidata Q10549775
History
- 2026-10-26: add by m2/dev
Properties BPNY2REQS9
| URI | m2://inv/BPNY2REQS9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Three-twist knot#1N0D, Properties (statement)
History
- 2026-11-02: add by m2/dev
BPP0VCTYEN BPP0VCTYEN
| URI | m2://inv/BPP0VCTYEN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37578#G8XB (example). In D7NDCWSDJE/e1, example 2
History
- 2026-10-30: add by m2/v0.4.12
Domain BPP1H8Z9YP
| URI | m2://inv/BPP1H8Z9YP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Domain (ring theory), Domain (definition). Also Wikidata Q2851442
History
- 2026-11-02: add by m2/dev
Corollary BPP409MGSE
| URI | m2://inv/BPP409MGSE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete topological vector space#K2F7, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Expansion 1.6a BPP4JFKAZZ
| URI | m2://inv/BPP4JFKAZZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08500#UXDS, Expansion 1.6a (statement). In ZPCYW4N0EH/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.10
BPP6VCKC8V BPP6VCKC8V
| URI | m2://inv/BPP6VCKC8V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34852#O88L (statement). In TZXEMCBK5V/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
winding number BPPEVGXNZ3
| URI | m2://inv/BPPEVGXNZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#TICD, winding number (definition)
History
- 2026-11-02: add by m2/dev
Properties BPPHCZBXN1
| URI | m2://inv/BPPHCZBXN1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur–Merlin protocol#GBH6, Properties (statement)
History
- 2026-11-02: add by m2/dev
Bounded-Lipschitz control of moving half-spaces BPPSA5PAKQ
| URI | m2://inv/BPPSA5PAKQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29658#X06O, Bounded-Lipschitz control of moving half-spaces (statement)
History
- 2026-11-01: add by m2/v0.6.15
BPPXZZS9SX BPPXZZS9SX
| URI | m2://inv/BPPXZZS9SX |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RP (complexity)#1K17 (problem)
History
- 2026-11-02: add by m2/dev
BPPYAC9PD7 BPPYAC9PD7
| URI | m2://inv/BPPYAC9PD7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37893#2E9U (statement). In 8H0KHK7AMN/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Kariya's theorem BPQ29CX3CF
| URI | m2://inv/BPQ29CX3CF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feuerbach hyperbola#JG4I, Kariya's theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition BPQ29MKKG2
| URI | m2://inv/BPQ29MKKG2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S-matrix#MW3Z, Definition (definition)
History
- 2026-11-02: add by m2/dev
One-step variation of the flat-direction gradient BPQ402K71F
| URI | m2://inv/BPQ402K71F |
|---|---|
| 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.30957#UMZC, One-step variation of the flat-direction gradient (statement). In P5YB6R0RK3/e1, lemma C.8
History
- 2026-10-31: add by m2/v0.5.6
Moore plane BPQ45CEGE3
| URI | m2://inv/BPQ45CEGE3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#B682, Moore plane (unknown)
History
- 2026-11-02: add by m2/dev
Hadamard Product BPQ5A1SWE0
| URI | m2://inv/BPQ5A1SWE0 |
|---|---|
| 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#0KNR, Hadamard Product (definition). In W5XG3PGVF1/e1, definition 1.7
History
- 2026-10-29: add by m2/v0.4.10
BPQBN3S4A1 BPQBN3S4A1
| URI | m2://inv/BPQBN3S4A1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/excision.tex#example-3 (example). In RZP28ERRZV, example, section 53.3
History
- 2026-11-01: add by m2/v0.6.13
BPQDR4SQB3 BPQDR4SQB3
| URI | m2://inv/BPQDR4SQB3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19360#EKRQ (statement). In MFCW5CY96C/e1, lemma 23
History
- 2026-10-28: add by m2/v0.4.2
Linear programming BPQE6QPZ6W
| URI | m2://inv/BPQE6QPZ6W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#5YXK, Linear programming (definition)
History
- 2026-11-02: add by m2/dev
Witting configuration BPQEA1BTR1
| URI | m2://inv/BPQEA1BTR1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witting polytope#DNSL, Witting configuration (unknown)
History
- 2026-11-02: add by m2/dev
BPQJH03EZX BPQJH03EZX
| URI | m2://inv/BPQJH03EZX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#AI54 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Éléments de géométrie algébrique BPQNYFF5HY
| URI | m2://inv/BPQNYFF5HY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Éléments de géométrie algébrique, Éléments de géométrie algébrique (definition). Also Wikidata Q274808
History
- 2026-11-02: add by m2/dev
Conley–Zehnder theorem BPR3Q24KN9
| URI | m2://inv/BPR3Q24KN9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 37-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5161245, Conley–Zehnder theorem (statement). Also Wikidata Q5161245
- thousand_plus: thousand_plus Q5161245, Conley–Zehnder theorem (statement). Also Wikidata Q5161245, Wikipedia Conley–Zehnder theorem
- wikipedia: Wikipedia Conley–Zehnder theorem, Conley–Zehnder theorem (statement). Also Wikidata Q5161245
History
- 2026-10-26: add by m2/dev
Radical ring BPR64GE84S
| URI | m2://inv/BPR64GE84S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobson radical#47X7, Radical ring (unknown)
History
- 2026-11-02: add by m2/dev
BPRBADW2HS BPRBADW2HS
| URI | m2://inv/BPRBADW2HS |
|---|---|
| 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.23942#C57C (statement)
History
- 2026-11-02: add by m2/v0.6.17
BPRE3DC5E9 BPRE3DC5E9
| URI | m2://inv/BPRE3DC5E9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#19XC (statement). In TC5QA4AB4Z/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
BPRJ59PENR BPRJ59PENR
| URI | m2://inv/BPRJ59PENR |
|---|---|
| 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 2509.21444#G4IK (statement). In CTVPA2FQT1/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.0
Henry McKean BPRW365DSH
| URI | m2://inv/BPRW365DSH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#O29G, Henry McKean (topic)
History
- 2026-11-02: add by m2/dev
Right-censored observation BPS8ZEKDZS
| URI | m2://inv/BPS8ZEKDZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19921#W202, Right-censored observation (statement)
History
- 2026-11-02: add by m2/v0.6.18
BPSABAG8K7 BPSABAG8K7
| URI | m2://inv/BPSABAG8K7 |
|---|---|
| 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.35095#3N8R (statement). In MM3XTWS35F/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
BPSMR4HJ7N BPSMR4HJ7N
| URI | m2://inv/BPSMR4HJ7N |
|---|---|
| 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.31607#2C9P (statement). In H9X9WZ17TT/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
Fieller's theorem BPSQPSEN2F
| URI | m2://inv/BPSQPSEN2F |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 62-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5447238, Fieller's theorem (statement). Also Wikidata Q5447238
- thousand_plus: thousand_plus Q5447238, Fieller's theorem (statement). Also Wikidata Q5447238, Wikipedia Fieller's theorem
- wikipedia: Wikipedia Fieller's theorem, Fieller's theorem (statement). Also Wikidata Q5447238
History
- 2026-10-26: add by m2/dev
BPST4RFZBM BPST4RFZBM
| URI | m2://inv/BPST4RFZBM |
|---|---|
| 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.05506#W5P4 (statement). In FT53PMB1TE/e1, lemma 7.4.3
History
- 2026-10-29: add by m2/v0.4.10
\thmref{thm:Hochs cohomo main BPSW2V9J02
| URI | m2://inv/BPSW2V9J02 |
|---|---|
| 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.30018#IPMG, \thmref{thm:Hochs cohomo main (statement)
History
- 2026-11-01: add by m2/v0.6.15
BPSZJG9VQH BPSZJG9VQH
| URI | m2://inv/BPSZJG9VQH |
|---|---|
| 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 2011.07352#7ZEG (statement). In 3VPC1GGZ3E/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
Area identity BPT11T5864
| URI | m2://inv/BPT11T5864 |
|---|---|
| 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.30561#GK4A, Area identity (statement). In EHQBEXHF9W/e1, proposition 2.2
History
- 2026-10-31: add by m2/v0.5.6
Masaki Kashiwara BPT9033JV4
| URI | m2://inv/BPT9033JV4 |
|---|---|
| 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 Q375000, Masaki Kashiwara (unknown). Also nLab Masaki Kashiwara
- wikipedia: Wikipedia Masaki Kashiwara, Masaki Kashiwara (topic). Also Wikidata Q375000
History
- 2026-10-26: add by m2/dev
BPTGQC1HBB BPTGQC1HBB
| URI | m2://inv/BPTGQC1HBB |
|---|---|
| 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.08288#13JM (statement). In CHVWYJM7RM/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
BPTM8VJCQ0 BPTM8VJCQ0
| URI | m2://inv/BPTM8VJCQ0 |
|---|---|
| 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.23350#P4EE (statement)
History
- 2026-11-02: add by m2/v0.6.17
Cauchy–Frobenius lemma BPTQRSV64S
| URI | m2://inv/BPTQRSV64S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#S100, Cauchy–Frobenius lemma (statement)
History
- 2026-11-02: add by m2/dev
Dov Dori BPTSZC9ZK3
| URI | m2://inv/BPTSZC9ZK3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZADV, Dov Dori (unknown)
History
- 2026-11-02: add by m2/dev
Tolleson BPTX2A1JE4
| URI | m2://inv/BPTX2A1JE4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#B9C2, Tolleson (unknown)
History
- 2026-11-02: add by m2/dev
Characterization BPTX3CBAQ1
| URI | m2://inv/BPTX3CBAQ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Log-t distribution#HW2O, Characterization (statement)
History
- 2026-11-02: add by m2/dev
Number of observation times BPTYMEBGAG
| URI | m2://inv/BPTYMEBGAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10017#TSQQ, Number of observation times (statement). In CJRBKR4JKT/e1, corollary 7.13
History
- 2026-10-29: add by m2/v0.4.10
Definition BPV16R27WM
| URI | m2://inv/BPV16R27WM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier series#32QX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties BPVGARXE6C
| URI | m2://inv/BPVGARXE6C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stufe (algebra)#9SCK, Properties (statement)
History
- 2026-11-02: add by m2/dev
BPVN8HZXYE BPVN8HZXYE
| URI | m2://inv/BPVN8HZXYE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05365#YCSI (statement). In BKPSH4CD9K/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.10
Construction BPVRC1QV5R
| URI | m2://inv/BPVRC1QV5R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fujisaki–Okamoto transformation#HPOU, Construction (definition)
History
- 2026-11-02: add by m2/dev
multiset BPVS1X8NMQ
| URI | m2://inv/BPVS1X8NMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q864377, multiset (unknown). Also MathWorld Collection, MathWorld Multiset, nLab multiset
- wikipedia: Wikipedia Multiset, Multiset (definition). Also Wikidata Q864377
History
- 2026-10-26: add by m2/dev
Applications BPVYBWQMG9
| URI | m2://inv/BPVYBWQMG9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective vector field#KIXB, Applications (example)
History
- 2026-11-02: add by m2/dev
BPVZ79CS5C BPVZ79CS5C
| URI | m2://inv/BPVZ79CS5C |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hanoi graph#MUYE (problem)
History
- 2026-11-02: add by m2/dev
Neil J. Calkin BPVZRNASCK
| URI | m2://inv/BPVZRNASCK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neil J. Calkin, Neil J. Calkin (topic). Also Wikidata Q28944095
History
- 2026-11-02: add by m2/dev
BPW4P8TH5J BPW4P8TH5J
| URI | m2://inv/BPW4P8TH5J |
|---|---|
| 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#BMQF (statement). In V97F4YZ8B0/e1, theorem 4.7
History
- 2026-10-28: add by m2/v0.4.2
Theorem BPWFNHXTJP
| URI | m2://inv/BPWFNHXTJP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel functional calculus#F6YH, Theorem (statement)
History
- 2026-11-02: add by m2/dev
branch cut BPWK5WC0BM
| URI | m2://inv/BPWK5WC0BM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex plane#MKIB, branch cut (definition)
History
- 2026-11-02: add by m2/dev
additive category BPWTZQMFQ4
| URI | m2://inv/BPWTZQMFQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Additive category B2VP96NJSK |
Mentions
- wikidata: Wikidata Q4681343, additive category (definition). Also MathWorld AdditiveCategory, nLab additive category, ProofWiki Definition:Additive_Category
- wikipedia: Wikipedia Additive category, Additive category (definition). Also Wikidata Q4681343
History
- 2026-10-26: add by m2/dev
BPX5QJJHA9 BPX5QJJHA9
| URI | m2://inv/BPX5QJJHA9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09596#E1BQ (statement). In HXFA55BREZ/e1, proposition 5.14
History
- 2026-10-29: add by m2/v0.4.10
Cauchy-Schwarz Inequality BPX66ZMCJE
| URI | m2://inv/BPX66ZMCJE |
|---|---|
| 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.16886#FASV, Cauchy-Schwarz Inequality (statement). In Y8QQAH7VCF/e1, lemma C.3
History
- 2026-10-28: add by m2/v0.4.2
BPX6P8FGAW BPX6P8FGAW
| URI | m2://inv/BPX6P8FGAW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.19468#ZMP2 (definition). In EY54F2SX08/e1, definition 5.2
History
- 2026-10-27: add by m2/v0.3.5
Kelvin–Voigt material BPX9Y49AAZ
| URI | m2://inv/BPX9Y49AAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kelvin–Voigt material, Kelvin–Voigt material (definition). Also Wikidata Q3048149
History
- 2026-11-02: add by m2/dev
BPXAZTHPD3 BPXAZTHPD3
| URI | m2://inv/BPXAZTHPD3 |
|---|---|
| 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.33771#6N98 (statement). In ZXQA7QH0H0/e1, lemma 4.7
History
- 2026-10-30: add by m2/v0.4.12
Properties BPXB8ZBVCP
| URI | m2://inv/BPXB8ZBVCP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Countably compact space#AIE2, Properties (statement)
History
- 2026-11-02: add by m2/dev
BPXMDNWSKX BPXMDNWSKX
| URI | m2://inv/BPXMDNWSKX |
|---|---|
| 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.02141#PPTW (statement). In 5AB8YPS19N/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.12
BPY2TAGQMN BPY2TAGQMN
| URI | m2://inv/BPY2TAGQMN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1009.2043#ECNQ (definition). In 7DCNHRBK5A/e1, definition 7.1
History
- 2026-10-27: add by m2/v0.3.5
BPYBDY39F7 BPYBDY39F7
| URI | m2://inv/BPYBDY39F7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39776#VOUQ (statement). In Y6GZV15AJC/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
BPYBS2TXF7 BPYBS2TXF7
| URI | m2://inv/BPYBS2TXF7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.28337#U990 (definition). In 7ZJFWBTBKM/e1, definition 3.2.4
History
- 2026-10-27: add by m2/v0.3.6
Bitruncated tesseractic honeycomb BPYJ24XVYA
| URI | m2://inv/BPYJ24XVYA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bitruncated tesseractic honeycomb, Bitruncated tesseractic honeycomb (definition). Also Wikidata Q17003305
History
- 2026-11-02: add by m2/dev
Matt Blaze BPYRTNC33M
| URI | m2://inv/BPYRTNC33M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#UXHW, Matt Blaze (unknown)
History
- 2026-11-02: add by m2/dev
BPYSCP0Q97 BPYSCP0Q97
| URI | m2://inv/BPYSCP0Q97 |
|---|---|
| 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.17897#MD14 (statement). In G116A4SMS4/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
General DPP BPYT5P0GK6
| URI | m2://inv/BPYT5P0GK6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20556#6F2G, General DPP (definition)
History
- 2026-11-02: add by m2/v0.6.18
BPYVA9JDGC BPYVA9JDGC
| URI | m2://inv/BPYVA9JDGC |
|---|---|
| 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 2011.08789#3QJV (statement). In 43AGRMP7T3/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
Reduced convolution class BPYVG29CS8
| URI | m2://inv/BPYVG29CS8 |
|---|---|
| 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 2509.05577#3BBL, Reduced convolution class (statement). In EFWBREMZAP/e1, proposition 2.10
History
- 2026-10-27: add by m2/v0.3.5
Thurston–Bennequin number BPYZ6832T7
| URI | m2://inv/BPYZ6832T7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#7F6W, Thurston–Bennequin number (definition)
History
- 2026-11-02: add by m2/dev
BPZAXQKN4N BPZAXQKN4N
| URI | m2://inv/BPZAXQKN4N |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10365#NQ3U (example). In PRVQPSBVHK/e1, example 1
History
- 2026-10-29: add by m2/v0.4.10
BPZCRAZZN5 BPZCRAZZN5
| URI | m2://inv/BPZCRAZZN5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12736#EU9E (statement). In 5350Q52F6P/e1, proposition 7.5
History
- 2026-10-28: add by m2/v0.4.2
axiomatic freedom BPZD3DE1HN
| URI | m2://inv/BPZD3DE1HN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/axiomatic-freedom, axiomatic freedom (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
BPZF3MMYZ6 BPZF3MMYZ6
| URI | m2://inv/BPZF3MMYZ6 |
|---|---|
| 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.37425#SDXU (statement). In E02TSC01RN/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Group law BPZG0QB8Q1
| URI | m2://inv/BPZG0QB8Q1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobian curve#68LJ, Group law (statement)
History
- 2026-11-02: add by m2/dev
Measure of intersections of cube envelopes BPZH2CE7YM
| URI | m2://inv/BPZH2CE7YM |
|---|---|
| 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#PWQ9, Measure of intersections of cube envelopes (statement). In G3E1P350Z6/e1, lemma D.3
History
- 2026-10-29: add by m2/v0.4.10
BPZNQJQZFK BPZNQJQZFK
| URI | m2://inv/BPZNQJQZFK |
|---|---|
| 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.07673#J4A0 (statement). In 37B1MPV8GX/e1, corollary 4.4
History
- 2026-10-29: add by m2/v0.4.10