Inventory rows 8V
The cards of the rows of the inventory whose ids start with 8V. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Intersection principle 8V03DTMK10
| URI | m2://inv/8V03DTMK10 |
|---|---|
| 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.09557#SBEG, Intersection principle (statement). In VHC7FQVPCZ/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Jacobus Naveros 8V052J0M14
| URI | m2://inv/8V052J0M14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobus Naveros, Jacobus Naveros (definition). Also Wikidata Q6119883
History
- 2026-11-02: add by m2/dev
Non-separability of the window-to-velocity map 8V0C062SEA
| URI | m2://inv/8V0C062SEA |
|---|---|
| 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.02637#IVPP, Non-separability of the window-to-velocity map (statement). In 5Z2H5XJ6EM/e1, lemma S3.6
History
- 2026-10-29: add by m2/v0.4.12
8V0QJ1Y2YW 8V0QJ1Y2YW
| URI | m2://inv/8V0QJ1Y2YW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15434#Y7EM (statement). In PWF23QSGDX/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Euler's second law 8V0S018SVV
| URI | m2://inv/8V0S018SVV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#NVVT, Euler's second law (statement)
History
- 2026-11-02: add by m2/dev
Rabbits are not especially partial to carrots 8V12PBC1MQ
| URI | m2://inv/8V12PBC1MQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#0QNT, Rabbits are not especially partial to carrots (unknown)
History
- 2026-11-02: add by m2/dev
Scale 8V1B79NVN0
| URI | m2://inv/8V1B79NVN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scale (ratio), Scale (definition). Also Wikidata Q10858537
History
- 2026-11-02: add by m2/dev
8V1BY8VPMD 8V1BY8VPMD
| URI | m2://inv/8V1BY8VPMD |
|---|---|
| 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.12810#79W9 (statement). In DR35633CPN/e1, lemma 7.4
History
- 2026-10-28: add by m2/v0.4.2
8V1D6Z0GVM 8V1D6Z0GVM
| URI | m2://inv/8V1D6Z0GVM |
|---|---|
| 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 2606.00589#RDWH (statement). In C8JAGP8VCQ/e1, lemma 9.8
History
- 2026-10-27: add by m2/v0.3.5
Logic of relatives 8V1FZV27HW
| URI | m2://inv/8V1FZV27HW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Sanders Peirce#VVFT, Logic of relatives (unknown)
History
- 2026-11-02: add by m2/dev
Steiner surfaces 8V1GACB3VK
| URI | m2://inv/8V1GACB3VK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2340608, Steiner surfaces (concept). Also MathWorld SteinerSurface
History
- 2026-10-26: add by m2/dev
Rhetoric 8V1PZYKQ9G
| URI | m2://inv/8V1PZYKQ9G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhetoric, Rhetoric (definition). Also Wikidata Q81009
History
- 2026-11-02: add by m2/dev
Derived set (mathematics) 8V1XWTBMC1
| URI | m2://inv/8V1XWTBMC1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#U3IO, Derived set (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
8V1ZWGDRFV 8V1ZWGDRFV
| URI | m2://inv/8V1ZWGDRFV |
|---|---|
| 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.39747#5LSZ (statement). In 9H2KJ3W3JX/e1, theorem 20
History
- 2026-10-30: add by m2/v0.4.12
primality test 8V217AAQXJ
| URI | m2://inv/8V217AAQXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Primality test 0EGJZHZ02C |
Mentions
- wikidata: Wikidata Q829546, primality test (unknown). Also MathWorld PrimalityTest
- wikipedia: Wikipedia Primality test, Primality test (definition). Also Wikidata Q829546
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
unmixed 8V23JB02FY
| URI | m2://inv/8V23JB02FY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#5ADC, unmixed (definition)
History
- 2026-11-02: add by m2/dev
8V277XNMSD 8V277XNMSD
| URI | m2://inv/8V277XNMSD |
|---|---|
| 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.06038#VQ8C (statement). In 4TJGTZWJVK/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Skew normal distribution 8V2DG9PMS6
| URI | m2://inv/8V2DG9PMS6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#1AGD, Skew normal distribution (definition)
History
- 2026-11-02: add by m2/dev
Fixed point 8V2PWAN64Z
| URI | m2://inv/8V2PWAN64Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#WSRP, Fixed point (definition)
History
- 2026-11-02: add by m2/dev
8V30YFQRRB 8V30YFQRRB
| URI | m2://inv/8V30YFQRRB |
|---|---|
| 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 2210.02997#NZA4 (statement). In KEXVYV0SNS/e1, proposition 12
History
- 2026-10-27: add by m2/v0.3.5
Volker Strassen 8V34WVW24M
| URI | m2://inv/8V34WVW24M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volker Strassen, Volker Strassen (topic). Also Wikidata Q65212
History
- 2026-11-02: add by m2/dev
8V3D38MS0J 8V3D38MS0J
| URI | m2://inv/8V3D38MS0J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/excision.tex#lem:rel_contractible (statement). In RZP28ERRZV, lemma, section 53.2
History
- 2026-11-01: add by m2/v0.6.13
Properties 8V3SGRAH2M
| URI | m2://inv/8V3SGRAH2M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre rational functions#EG5E, Properties (statement)
History
- 2026-11-02: add by m2/dev
8V48DJYXB9 8V48DJYXB9
| URI | m2://inv/8V48DJYXB9 |
|---|---|
| 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.09086#O31V (statement). In JPC86V77CH/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
8V4FABZZ9F 8V4FABZZ9F
| URI | m2://inv/8V4FABZZ9F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29450#CCPM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pure qubit state 8V4P9A8F2R
| URI | m2://inv/8V4P9A8F2R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Qubit#HNGB, Pure qubit state (unknown)
History
- 2026-11-02: add by m2/dev
8V500TEJSG 8V500TEJSG
| URI | m2://inv/8V500TEJSG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.07285#WKHP (statement). In S284XRA4WK/e1, proposition D.3
History
- 2026-10-29: add by m2/v0.4.10
8V59D2FENF 8V59D2FENF
| URI | m2://inv/8V59D2FENF |
|---|---|
| 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.33050#JE9L (statement). In VDSBMQ0G9W/e1, lemma 6.4
History
- 2026-10-30: add by m2/v0.4.12
8V5CV4XDNH 8V5CV4XDNH
| URI | m2://inv/8V5CV4XDNH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/propositions-as-types/normalization.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 60.4
History
- 2026-11-01: add by m2/v0.6.13
Configurations Refute the Sharp Power Law 8V5GSJZWX0
| URI | m2://inv/8V5GSJZWX0 |
|---|---|
| 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#592D, Configurations Refute the Sharp Power Law (statement). In Z6WA2R0J50/e1, corollary 6.7
History
- 2026-10-28: add by m2/v0.4.2
8V5H4R0K6V 8V5H4R0K6V
| URI | m2://inv/8V5H4R0K6V |
|---|---|
| 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.20528#70PE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Rainflow-counting algorithm 8V5NZ429XB
| URI | m2://inv/8V5NZ429XB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#56FW, Rainflow-counting algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Lambert's cosine law 8V5WAVGVY7
| URI | m2://inv/8V5WAVGVY7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planck's law#SV3W, Lambert's cosine law (statement)
History
- 2026-11-02: add by m2/dev
type, unit 8V5WQVDWWP
| URI | m2://inv/8V5WQVDWWP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.15/type-unit, type, unit (concept). In N54F33XE07, index, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
8V64DB1VG2 8V64DB1VG2
| URI | m2://inv/8V64DB1VG2 |
|---|---|
| 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 2306.07511#BPU9 (statement). In 652CJVBF7C/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.6
8V669CKE2C 8V669CKE2C
| URI | m2://inv/8V669CKE2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#defn:ishae (definition). In N54F33XE07, defn, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Arjen Lenstra 8V66T8E5DB
| URI | m2://inv/8V66T8E5DB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BIUW, Arjen Lenstra (topic)
History
- 2026-11-02: add by m2/dev
Brennan conjecture 8V6FXHV459
| URI | m2://inv/8V6FXHV459 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#4YIG, Brennan conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Generalizations 8V6KKK8Y62
| URI | m2://inv/8V6KKK8Y62 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walsh–Lebesgue theorem#RNTX, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Well-ordering theorem 8V6WJV5H66
| URI | m2://inv/8V6WJV5H66 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#76Q2, Well-ordering theorem (statement)
History
- 2026-11-02: add by m2/dev
Definitions 8V6Y8NYP75
| URI | m2://inv/8V6Y8NYP75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute neighborhood retract#0QD6, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Donald McIntosh 8V71XFV5GZ
| URI | m2://inv/8V71XFV5GZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donald McIntosh (mathematician), Donald McIntosh (topic). Also Wikidata Q5294841
History
- 2026-11-02: add by m2/dev
8V734BMZDF 8V734BMZDF
| URI | m2://inv/8V734BMZDF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-39 (exercise). In E59CDZA4DP, exercise, section 1.4.4
History
- 2026-11-01: add by m2/v0.6.13
8V73TY57SD 8V73TY57SD
| URI | m2://inv/8V73TY57SD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01433#Y0TX (definition). In 160PQ7F1AS/e1, definition 4.3
History
- 2026-10-29: add by m2/v0.4.12
8V764PJERZ 8V764PJERZ
| URI | m2://inv/8V764PJERZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#UQX8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
8V774BJT2A 8V774BJT2A
| URI | m2://inv/8V774BJT2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20899#1DGT (statement). In BSMDFADA39/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.4.2
Examples 8V77NKG19E
| URI | m2://inv/8V77NKG19E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Network-based diffusion analysis#LWYA, Examples (example)
History
- 2026-11-02: add by m2/dev
Computation 8V79MQ6834
| URI | m2://inv/8V79MQ6834 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Determinant#VMS3, Computation (definition)
History
- 2026-11-02: add by m2/dev
Applications 8V7TFQQQ0J
| URI | m2://inv/8V7TFQQQ0J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Psychological projection#EUYF, Applications (example)
History
- 2026-11-02: add by m2/dev
8V7WMQTR6J 8V7WMQTR6J
| URI | m2://inv/8V7WMQTR6J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.07642#IKK1 (statement). In 27HQYN07NQ/e1, proposition 2
History
- 2026-10-27: add by m2/v0.4.2
8V7XQW41R5 8V7XQW41R5
| URI | m2://inv/8V7XQW41R5 |
|---|---|
| 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.04645#ZQER (statement). In YMZ6XP5542/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
8V84Z67M7C 8V84Z67M7C
| URI | m2://inv/8V84Z67M7C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#ZD6Q (statement). In GW23NX78SB/e1, lemma 3.13
History
- 2026-10-28: add by m2/v0.4.2
8V88KG2KHC 8V88KG2KHC
| URI | m2://inv/8V88KG2KHC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32077#0N7U (definition). In WYXQDSQR9B/e1, definition 2.4
History
- 2026-10-31: add by m2/v0.5.6
Definition 8V8DBTEGGV
| URI | m2://inv/8V8DBTEGGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heilbronn triangle problem#YFBP, Definition (definition)
History
- 2026-11-02: add by m2/dev
8V8H1P0T3W 8V8H1P0T3W
| URI | m2://inv/8V8H1P0T3W |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#LQAF (unknown). In R2XC1SC9NZ/e1, unknown 14
History
- 2026-10-27: add by m2/v0.3.5
disc 8V8JT8F658
| URI | m2://inv/8V8JT8F658 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.6/disc, disc (concept). In N54F33XE07, index, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
Applications 8V8KRNMPWM
| URI | m2://inv/8V8KRNMPWM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector multiplication#7UGT, Applications (example)
History
- 2026-11-02: add by m2/dev
8V8RRF3KGK 8V8RRF3KGK
| URI | m2://inv/8V8RRF3KGK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.08944#QQR5 (statement). In D8QFZG5R1D/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.3.6
Topologies 8V8TJHW4R7
| URI | m2://inv/8V8TJHW4R7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#L7D5, Topologies (topic)
History
- 2026-11-02: add by m2/dev
Bansal--Huang--Lee 8V8WFQSJ2B
| URI | m2://inv/8V8WFQSJ2B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01071#VSCP, Bansal--Huang--Lee (statement). In X1YF62ZFB6/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.12
8V905S9HFZ 8V905S9HFZ
| URI | m2://inv/8V905S9HFZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20170#PCGA (statement)
History
- 2026-11-02: add by m2/v0.6.18
pointwise, operations on functions 8V96NV1EAK
| URI | m2://inv/8V96NV1EAK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.9/pointwise-operations-on-functions, pointwise, operations on functions (concept). In N54F33XE07, index, section 1.9
History
- 2026-11-01: add by m2/v0.6.13
8V9EGF6EFD 8V9EGF6EFD
| URI | m2://inv/8V9EGF6EFD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26058#7X65 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Metric variables and auxiliary equation 8V9ERC9BEZ
| URI | m2://inv/8V9ERC9BEZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-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.18788#TFLO, Metric variables and auxiliary equation (definition). In KFEASG3ZHS/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
8V9NAJXJPE 8V9NAJXJPE
| URI | m2://inv/8V9NAJXJPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#Q7VQ (statement). In J7ZX3WWRQP/e1, proposition 3.15
History
- 2026-10-28: add by m2/v0.4.2
inscribed triangle 8V9PWPYYZ4
| URI | m2://inv/8V9PWPYYZ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18762468, inscribed triangle (unknown). Also MathWorld InscribedTriangle
History
- 2026-10-26: add by m2/dev
Reciprocals of an OGF (special case of the powers formula) 8V9Z3MBCCG
| URI | m2://inv/8V9Z3MBCCG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generating function transformation#O6CO, Reciprocals of an OGF (special case of the powers formula) (statement)
History
- 2026-11-02: add by m2/dev
regular language 8VA3ZKVAK4
| URI | m2://inv/8VA3ZKVAK4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Formal languages > regular language, regular language (unknown). Also Mathlib Language.IsRegular
History
- 2026-10-26: add by m2/dev
Axiom 3 8VACRXQW5J
| URI | m2://inv/8VACRXQW5J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Huzita–Hatori axioms#Z0HN, Axiom 3 (statement)
History
- 2026-11-02: add by m2/dev
Hypsicles 8VAF87M090
| URI | m2://inv/8VAF87M090 |
|---|---|
| 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 Q929483, Hypsicles (unknown). Also ProofWiki Mathematician:Hypsicles_of_Alexandria
- wikipedia: Wikipedia Hypsicles, Hypsicles (topic). Also Wikidata Q929483
History
- 2026-10-26: add by m2/dev
8VAFWXN552 8VAFWXN552
| URI | m2://inv/8VAFWXN552 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30482#DFAT (statement). In KWB9M5YH9G/e1, theorem 2.10
History
- 2026-10-31: add by m2/v0.5.6
complementary angles 8VAGH33GMC
| URI | m2://inv/8VAGH33GMC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q864413, complementary angles (unknown). Also MathWorld ComplementaryAngles
History
- 2026-10-26: add by m2/dev
Alfréd Rényi 8VAGNQKAC6
| URI | m2://inv/8VAGNQKAC6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#YMXC, Alfréd Rényi (topic)
History
- 2026-11-02: add by m2/dev
8VAHPJDJE9 8VAHPJDJE9
| URI | m2://inv/8VAHPJDJE9 |
|---|---|
| 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 2307.02473#OEHE (statement). In RGXMK94YW1/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.3.5
Theorem 8VAPEAPABR
| URI | m2://inv/8VAPEAPABR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension theory (algebra)#SZ4J, Theorem (statement)
History
- 2026-11-02: add by m2/dev
measure-theoretic entropy 8VAQKPKRP1
| URI | m2://inv/8VAQKPKRP1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20180528, measure-theoretic entropy (unknown). Also EoM Metric_entropy, MathWorld MetricEntropy
History
- 2026-10-26: add by m2/dev
8VASC618TB 8VASC618TB
| URI | m2://inv/8VASC618TB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.10925#XNLD (statement). In 9604WYX0BW/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.3
8VB2N13RN8 8VB2N13RN8
| URI | m2://inv/8VB2N13RN8 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
Ernst Eduard Wiltheiss 8VB9181ZXG
| URI | m2://inv/8VB9181ZXG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#OLN0, Ernst Eduard Wiltheiss (unknown)
History
- 2026-11-02: add by m2/dev
Borel 8VB9EW1S4V
| URI | m2://inv/8VB9EW1S4V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#OCPX, Borel (definition)
History
- 2026-11-02: add by m2/dev
impossible cube 8VBB09WT7A
| URI | m2://inv/8VBB09WT7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1464984, impossible cube (unknown). Also MathWorld FreemishCrate
- wikipedia: Wikipedia Impossible cube, Impossible cube (definition). Also Wikidata Q1464984
History
- 2026-10-26: add by m2/dev
8VBQFQ51RQ 8VBQFQ51RQ
| URI | m2://inv/8VBQFQ51RQ |
|---|---|
| Kind | definition |
| 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.35323#FSAR (definition). In 5CKPXBWSCX/e1, definition 1.1
History
- 2026-10-30: add by m2/v0.4.12
8VBQSBMFEP 8VBQSBMFEP
| URI | m2://inv/8VBQSBMFEP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#3TPC (statement). In Q5Z178SAHP/e1, lemma 3.9
History
- 2026-10-30: add by m2/v0.4.12
Cipher system 8VBRNA8QK4
| URI | m2://inv/8VBRNA8QK4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#SY8E, Cipher system (unknown)
History
- 2026-11-02: add by m2/dev
Spin frame 8VBVXJJH5Q
| URI | m2://inv/8VBVXJJH5Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spin structure#NA5L, Spin frame (unknown)
History
- 2026-11-02: add by m2/dev
Babylonian geometry 8VBX3Q5BTV
| URI | m2://inv/8VBX3Q5BTV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Babylonian mathematics#L9ZJ, Babylonian geometry (unknown)
History
- 2026-11-02: add by m2/dev
chromatic number 8VBXSJQZ63
| URI | m2://inv/8VBXSJQZ63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Chromatic number 0C5M7AM6FH |
Mentions
- wikidata: Wikidata Q3879388, chromatic number (definition). Also MathWorld ChromaticNumber, ProofWiki Definition:Chromatic_Number
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Transport and sub-Gaussian concentration for an ASL-TAP extension 8VC2AZ7G34
| URI | m2://inv/8VC2AZ7G34 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30590#KYVR, Transport and sub-Gaussian concentration for an ASL-TAP extension (statement). In WYE2JVEZBT/e1, theorem 3.13
History
- 2026-10-31: add by m2/v0.5.6
theory of integral domains 8VC36T6HDX
| URI | m2://inv/8VC36T6HDX |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 13G05 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114705004, theory of integral domains (topic)
History
- 2026-10-26: add by m2/dev
finite presentation 8VC6XY00T9
| URI | m2://inv/8VC6XY00T9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#T9M8, finite presentation (definition)
History
- 2026-11-02: add by m2/dev
Malabika Pramanik 8VC9JF2E0E
| URI | m2://inv/8VC9JF2E0E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Malabika Pramanik, Malabika Pramanik (topic). Also Wikidata Q30153765
History
- 2026-11-02: add by m2/dev
Mutation covariance 8VCHKF0SRC
| URI | m2://inv/8VCHKF0SRC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04189#WWSU, Mutation covariance (statement). In 1KRZ5ACTKE/e1, proposition 7.2
History
- 2026-10-29: add by m2/v0.4.12
8VCJGRT5YV 8VCJGRT5YV
| URI | m2://inv/8VCJGRT5YV |
|---|---|
| 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 2012.05048#UW47 (statement). In NY9HW1E6DY/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.3.5
8VCP70RVHA 8VCP70RVHA
| URI | m2://inv/8VCP70RVHA |
|---|---|
| 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.18277#ZK6T (statement). In YFRNY7S92A/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Gabriele Manfredi 8VCPA129DB
| URI | m2://inv/8VCPA129DB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#4Z0Z, Gabriele Manfredi (topic)
- wikipedia: Wikipedia List of Italian mathematicians#Q5DR, Gabriele Manfredi (topic)
History
- 2026-11-02: add by m2/dev
Ring of sets 8VCRPMC45Y
| URI | m2://inv/8VCRPMC45Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring of sets, Ring of sets (definition). Also Wikidata Q2064647
History
- 2026-11-02: add by m2/dev
Navya-Nyāya 8VCT4S9A14
| URI | m2://inv/8VCT4S9A14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Navya-Nyāya, Navya-Nyāya (definition). Also Wikidata Q3630544
History
- 2026-11-02: add by m2/dev
8VCV8TQK86 8VCV8TQK86
| URI | m2://inv/8VCV8TQK86 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.11470#DPNA (statement). In G1E3KERT6K/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.6
8VD13H0D86 8VD13H0D86
| URI | m2://inv/8VD13H0D86 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2004.12552#4F2T (statement). In TWPE10CZ1S/e1, corollary 5.9
History
- 2026-10-27: add by m2/v0.3.5
8VD86SWVJN 8VD86SWVJN
| URI | m2://inv/8VD86SWVJN |
|---|---|
| Kind | example |
| 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 2504.14383#48JF (example). In QD0X3XJS6T/e1, example 5.8
History
- 2026-10-27: add by m2/v0.3.5
8VDEH3BFY5 8VDEH3BFY5
| URI | m2://inv/8VDEH3BFY5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.11021#P3EP (statement). In R0SSJZYVTJ/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.3
Properties 8VDMGM5F6D
| URI | m2://inv/8VDMGM5F6D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centralizer and normalizer#MDW9, Properties (statement)
History
- 2026-11-02: add by m2/dev
Closability, Voiculescu 8VDQH876DB
| URI | m2://inv/8VDQH876DB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22109#P6W1, Closability, Voiculescu (statement). In MZ60NP20BH/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.4.0
Jan Berry 8VDS43B1BA
| URI | m2://inv/8VDS43B1BA |
|---|---|
| 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#9RY2, Jan Berry (unknown)
History
- 2026-11-02: add by m2/dev
Definition 8VE273JQNZ
| URI | m2://inv/8VE273JQNZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering space#BAUR, Definition (definition)
History
- 2026-11-02: add by m2/dev
8VEA42H4HV 8VEA42H4HV
| URI | m2://inv/8VEA42H4HV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#30U7 (definition). In X38P26DK6S/e1, definition 3.7
History
- 2026-10-27: add by m2/v0.4.0
Sergei Scherbov 8VECMMSQJ1
| URI | m2://inv/8VECMMSQJ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergei Scherbov, Sergei Scherbov (topic). Also Wikidata Q16145734
History
- 2026-11-02: add by m2/dev
8VED4ATNFJ 8VED4ATNFJ
| URI | m2://inv/8VED4ATNFJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16267#VEAA (statement). In 65GKPZ15VH/e1, theorem 3.13
History
- 2026-10-28: add by m2/v0.4.2
8VEKFK5EE1 8VEKFK5EE1
| URI | m2://inv/8VEKFK5EE1 |
|---|---|
| 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#TZOZ (statement). In PEBD9ZMA1W/e1, proposition A.4
History
- 2026-10-29: add by m2/v0.4.12
a valuation with algebraically closed residue field and $A$ in the decomposition group 8VEM3E5NYN
| URI | m2://inv/8VEM3E5NYN |
|---|---|
| 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.07508#31Q9, a valuation with algebraically closed residue field and $A$ in the decomposition group (statement). In TPA3E67MKK/e1, lemma 7.3
History
- 2026-10-29: add by m2/v0.4.10
8VET1KC95Z 8VET1KC95Z
| URI | m2://inv/8VET1KC95Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.33512#8BI6 (definition). In WYHZMYZT31/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
8VET6CZEV3 8VET6CZEV3
| URI | m2://inv/8VET6CZEV3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20817#6VG8 (definition). In M1YRBSZT4H/e1, definition 5
History
- 2026-10-27: add by m2/v0.4.2
Corollary 8VEXNKFEDR
| URI | m2://inv/8VEXNKFEDR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Komlós–Major–Tusnády approximation#A86P, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Extensions 8VFKRKDGCY
| URI | m2://inv/8VFKRKDGCY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard error#DAYF, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Definition 8VFKWG2JZ6
| URI | m2://inv/8VFKWG2JZ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slope#E6U4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Range (statistics) 8VFM4NA58X
| URI | m2://inv/8VFM4NA58X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#O9P9, Range (statistics) (definition)
History
- 2026-11-02: add by m2/dev
8VFQRREXMN 8VFQRREXMN
| URI | m2://inv/8VFQRREXMN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40282#V508 (statement). In P86RWY99S2/e1, theorem C
History
- 2026-10-30: add by m2/v0.4.12
Duplication and elimination matrices 8VFX7DSTP5
| URI | m2://inv/8VFX7DSTP5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duplication and elimination matrices, Duplication and elimination matrices (definition). Also Wikidata Q5316014
History
- 2026-11-02: add by m2/dev
8VFYCY2SG5 8VFYCY2SG5
| URI | m2://inv/8VFYCY2SG5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04527#4KCJ (statement). In Z9ZXAC6TZQ/e1, proposition 6
History
- 2026-10-29: add by m2/v0.4.12
8VFYWRG5BC 8VFYWRG5BC
| URI | m2://inv/8VFYWRG5BC |
|---|---|
| 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.26357#UFCP (statement)
History
- 2026-11-01: add by m2/v0.6.15
ODE 8VG7XGJN32
| URI | m2://inv/8VG7XGJN32 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.9/ode, ODE (concept). In E9HS8K3A52, index, section 6.9
History
- 2026-11-01: add by m2/v0.6.13
subtype 8VG9SC0XN4
| URI | m2://inv/8VG9SC0XN4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/subtype, subtype (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
8VGA396XCT 8VGA396XCT
| URI | m2://inv/8VGA396XCT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10372#P186 (statement). In P77W283VXT/e1, corollary 3.3
History
- 2026-10-29: add by m2/v0.4.10
Definition 8VGBHRSJFB
| URI | m2://inv/8VGBHRSJFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noetherian topological space#L1IB, Definition (definition)
History
- 2026-11-02: add by m2/dev
8VGFRV929K 8VGFRV929K
| URI | m2://inv/8VGFRV929K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#C31W (statement). In GWNT8HEZG1/e1, proposition 3.17
History
- 2026-10-27: add by m2/v0.3.6
Enriqueta González Baz 8VGGSF0SCH
| URI | m2://inv/8VGGSF0SCH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enriqueta González Baz, Enriqueta González Baz (topic). Also Wikidata Q48342312
History
- 2026-11-02: add by m2/dev
Dicyclic group 8VGWVHBD29
| URI | m2://inv/8VGWVHBD29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of small groups#0WPR, Dicyclic group (definition)
History
- 2026-11-02: add by m2/dev
``functoriality'' of functions in type theory 8VGX0X5PA6
| URI | m2://inv/8VGX0X5PA6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.2/functoriality-of-functions-in-type-theory, ``functoriality'' of functions in type theory (concept). In N54F33XE07, index, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Hall's Marriage Theorem 8VGYNNAP8W
| URI | m2://inv/8VGYNNAP8W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.6/hall-s-marriage-theorem, Hall's Marriage Theorem (concept). In Y91XFCEVHQ, index, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
Definition 8VGZVBZHX8
| URI | m2://inv/8VGZVBZHX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negative log predictive density#WE8O, Definition (definition)
History
- 2026-11-02: add by m2/dev
FO(LFP) 8VH29NYC00
| URI | m2://inv/8VH29NYC00 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fixed-point logic#8DPD, FO(LFP) (unknown)
History
- 2026-11-02: add by m2/dev
Length one 8VH2KM59D8
| URI | m2://inv/8VH2KM59D8 |
|---|---|
| Kind | example |
| 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.04214#FDLM, Length one (example). In HWY7AQ4KT2/e1, example 5.3
History
- 2026-10-29: add by m2/v0.4.12
8VH3P2DKEQ 8VH3P2DKEQ
| URI | m2://inv/8VH3P2DKEQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22847#0920 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Lori E. Dodd 8VH4WM4VZZ
| URI | m2://inv/8VH4WM4VZZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#JKNZ, Lori E. Dodd (topic)
History
- 2026-11-02: add by m2/dev
8VHC8VDYH0 8VHC8VDYH0
| URI | m2://inv/8VHC8VDYH0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#A9ZN (statement). In F5STMSPR6X/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.12
8VHJA9KFRW 8VHJA9KFRW
| URI | m2://inv/8VHJA9KFRW |
|---|---|
| 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.32977#62Q9 (statement). In 4KT9TK3MG4/e1, lemma E.4
History
- 2026-10-31: add by m2/v0.5.6
Adversarial queueing network 8VHJBGYV5R
| URI | m2://inv/8VHJBGYV5R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adversarial queueing network, Adversarial queueing network (definition). Also Wikidata Q17003308
History
- 2026-11-02: add by m2/dev
8VHKAD5BWG 8VHKAD5BWG
| URI | m2://inv/8VHKAD5BWG |
|---|---|
| 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 1009.3308#TXJ3 (statement). In KGBKNQB52Z/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Chained inversion 8VHPCHC63F
| URI | m2://inv/8VHPCHC63F |
|---|---|
| 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.38668#H0D7, Chained inversion (statement). In VB1EZ9K6YW/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
8VHXYT0SVE 8VHXYT0SVE
| URI | m2://inv/8VHXYT0SVE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.22394#91QY (definition)
History
- 2026-11-02: add by m2/v0.6.17
Transverse extension with variable source 8VHZDPCM87
| URI | m2://inv/8VHZDPCM87 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00490#L4PS, Transverse extension with variable source (statement). In PZJDV6SJ9E/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
8VJ6BX6C6K 8VJ6BX6C6K
| URI | m2://inv/8VJ6BX6C6K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1809.06512#XXDL (statement). In RY2X22P6XW/e1, theorem 9
History
- 2026-10-27: add by m2/v0.3.5
8VJ78J8VA8 8VJ78J8VA8
| URI | m2://inv/8VJ78J8VA8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36811#M522 (statement). In ZQDX8E43SQ/e1, proposition 6.3
History
- 2026-10-30: add by m2/v0.4.12
Effective backward boundary 8VJEBXCSD4
| URI | m2://inv/8VJEBXCSD4 |
|---|---|
| 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.27120#WFE6, Effective backward boundary (definition)
History
- 2026-11-01: add by m2/v0.6.15
8VJKPMCNZG 8VJKPMCNZG
| URI | m2://inv/8VJKPMCNZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23941#XLQK (statement)
History
- 2026-11-02: add by m2/v0.6.17
ASL 8VJMA2RB42
| URI | m2://inv/8VJMA2RB42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#2D8E, ASL (definition)
History
- 2026-11-02: add by m2/dev
Peter Higgs 8VK1H6M396
| URI | m2://inv/8VK1H6M396 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q192112, Peter Higgs (unknown). Also nLab Peter Higgs
History
- 2026-10-26: add by m2/dev
Terminology 8VK7YS3R67
| URI | m2://inv/8VK7YS3R67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory#QM88, Terminology (definition)
History
- 2026-11-02: add by m2/dev
930 (number) 8VKCBS6PN6
| URI | m2://inv/8VKCBS6PN6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 900 (number)#CCS5, 930 (number) (unknown)
History
- 2026-11-02: add by m2/dev
No-trade theorem 8VKDC0P85A
| URI | m2://inv/8VKDC0P85A |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7042801, No-trade theorem (statement). Also Wikidata Q7042801
- thousand_plus: thousand_plus Q7042801, No-trade theorem (statement). Also Wikidata Q7042801, Wikipedia No-trade theorem
- wikipedia: Wikipedia No-trade theorem, No-trade theorem (statement). Also Wikidata Q7042801
History
- 2026-10-26: add by m2/dev
8VKEFGHTR4 8VKEFGHTR4
| URI | m2://inv/8VKEFGHTR4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04901#A4X8 (statement). In XBWHYW36TP/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
Mabel Dymond Peel 8VKFF1DQRY
| URI | m2://inv/8VKFF1DQRY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mabel Dymond Peel, Mabel Dymond Peel (topic). Also Wikidata Q127874877
History
- 2026-11-02: add by m2/dev
Generating set 8VKKFVY1VD
| URI | m2://inv/8VKKFVY1VD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#HEZW, Generating set (definition)
History
- 2026-11-02: add by m2/dev
8VKKK6SGSR 8VKKK6SGSR
| URI | m2://inv/8VKKK6SGSR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#defn:surreals (definition). In N54F33XE07, defn, section B.6
History
- 2026-11-01: add by m2/v0.6.13
\textbf{Algebraic structure of $\{T_\tau:\tau \in \ell_1\}$ 8VKVPJP4Y6
| URI | m2://inv/8VKVPJP4Y6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14266#E1A8, \textbf{Algebraic structure of $\{T_\tau:\tau \in \ell_1\}$ (statement). In 7R33E8515R/e1, theorem 2.5
History
- 2026-10-28: add by m2/v0.4.2
Soundness theorem 8VKX7XTF9G
| URI | m2://inv/8VKX7XTF9G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#U0A0, Soundness theorem (definition)
History
- 2026-11-02: add by m2/dev
8VKZ9PPEN1 8VKZ9PPEN1
| URI | m2://inv/8VKZ9PPEN1 |
|---|---|
| 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.36594#SWGP (statement). In 8JDQ9FWFRK/e1, theorem 6
History
- 2026-10-30: add by m2/v0.4.12
8VMAF1ZE0P 8VMAF1ZE0P
| URI | m2://inv/8VMAF1ZE0P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-32 (exercise). In E9HS8K3A52, exercise, section 8.4.1
History
- 2026-11-01: add by m2/v0.6.13
successor function 8VMFNAT1P5
| URI | m2://inv/8VMFNAT1P5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#W3C6, successor function (definition)
History
- 2026-11-02: add by m2/dev
Representations 8VMY1T2YEM
| URI | m2://inv/8VMY1T2YEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic Hermite spline#WUS2, Representations (definition)
History
- 2026-11-02: add by m2/dev
8VN13DAK9X 8VN13DAK9X
| URI | m2://inv/8VN13DAK9X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.16003#K4QX (statement). In BJGS6ZCQ12/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.3.6
connected reduction 8VN2BQJGDC
| URI | m2://inv/8VN2BQJGDC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26286#TWR9, connected reduction (statement)
History
- 2026-11-01: add by m2/v0.6.15
8VNQDE0KB2 8VNQDE0KB2
| URI | m2://inv/8VNQDE0KB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20593#G42P (statement). In 7GMD8J4200/e1, theorem 22
History
- 2026-10-27: add by m2/v0.4.2
The coarse bridge trial 8VP0Q997ZR
| URI | m2://inv/8VP0Q997ZR |
|---|---|
| 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.11330#4NZF, The coarse bridge trial (statement). In Z73GKA9WDB/e1, lemma C.8
History
- 2026-10-28: add by m2/v0.4.3
8VP6H43PC7 8VP6H43PC7
| URI | m2://inv/8VP6H43PC7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-5.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
8VP7RX3F6J 8VP7RX3F6J
| URI | m2://inv/8VP7RX3F6J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.16795#XUB6 (definition). In P6AM09F3S8/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.6
Municipal Bond Arbitrage 8VP9A0E1M5
| URI | m2://inv/8VP9A0E1M5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arbitrage#X9XV, Municipal Bond Arbitrage (unknown)
History
- 2026-11-02: add by m2/dev
function extensionality 8VPBPPNK8C
| URI | m2://inv/8VPBPPNK8C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.5/function-extensionality, function extensionality (concept). In N54F33XE07, index, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
Bogomolny equation 8VPCSRD7AW
| URI | m2://inv/8VPCSRD7AW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16963296, Bogomolny equation (unknown). Also nLab Bogomolny equation
- wikipedia: Wikipedia Bogomolny equations, Bogomolny equations (definition). Also Wikidata Q16963296
History
- 2026-10-26: add by m2/dev
Laplacian vector field 8VPFBQT0V0
| URI | m2://inv/8VPFBQT0V0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laplacian vector field, Laplacian vector field (definition). Also Wikidata Q25098516
History
- 2026-11-02: add by m2/dev
Andrzej Pliś 8VPFFZ76TK
| URI | m2://inv/8VPFFZ76TK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LGST, Andrzej Pliś (topic)
History
- 2026-11-02: add by m2/dev
8VPM038Q26 8VPM038Q26
| URI | m2://inv/8VPM038Q26 |
|---|---|
| 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#FMVG (statement). In 74MMMHHPW5/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.0
Examples 8VPM4HE7T3
| URI | m2://inv/8VPM4HE7T3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tile tracking#XRU1, Examples (example)
History
- 2026-11-02: add by m2/dev
Generative artificial intelligence 8VPQX3K7RM
| URI | m2://inv/8VPQX3K7RM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of steganography techniques#ZSG4, Generative artificial intelligence (unknown)
History
- 2026-11-02: add by m2/dev
8VPR3XYQDZ 8VPR3XYQDZ
| URI | m2://inv/8VPR3XYQDZ |
|---|---|
| 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.27114#P4NV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Common-coefficient rare-refresh checkerboard 8VPWWXVKBP
| URI | m2://inv/8VPWWXVKBP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10860#Z4ZT, Common-coefficient rare-refresh checkerboard (statement). In PBYNV2WF2H/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.3
8VQ3DK2SFV 8VQ3DK2SFV
| URI | m2://inv/8VQ3DK2SFV |
|---|---|
| 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 2510.12502#4V7T (statement). In 3A4K47Y9F2/e1, lemma 3.15
History
- 2026-10-27: add by m2/v0.4.0
Ptolemy's theorem 8VQ5YM6DHM
| URI | m2://inv/8VQ5YM6DHM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean theorem#ZYVK, Ptolemy's theorem (statement)
History
- 2026-11-02: add by m2/dev
Philosophy of probability 8VQ8V2PJQQ
| URI | m2://inv/8VQ8V2PJQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#O0YN, Philosophy of probability (definition)
History
- 2026-11-02: add by m2/dev
June Morita 8VQEAARMT0
| URI | m2://inv/8VQEAARMT0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#XE4R, June Morita (topic)
History
- 2026-11-02: add by m2/dev
8VQEH80GQE 8VQEH80GQE
| URI | m2://inv/8VQEH80GQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.25897#1AMP (statement)
History
- 2026-11-01: add by m2/v0.6.15
8VQN3JZJQS 8VQN3JZJQS
| URI | m2://inv/8VQN3JZJQS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#UU75 (definition)
History
- 2026-11-01: add by m2/v0.6.15
8VQP4882DM 8VQP4882DM
| URI | m2://inv/8VQP4882DM |
|---|---|
| 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.04876#JUI6 (statement). In 2TNAKVC0YP/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
8VQRB4AGTV 8VQRB4AGTV
| URI | m2://inv/8VQRB4AGTV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#ex:double-No-recursion (exercise). In N54F33XE07, ex, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Wrapped Lévy distribution 8VQW51Q7FB
| URI | m2://inv/8VQW51Q7FB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wrapped Lévy distribution, Wrapped Lévy distribution (definition). Also Wikidata Q8037601
History
- 2026-11-02: add by m2/dev
8VR6WFKSZQ 8VR6WFKSZQ
| URI | m2://inv/8VR6WFKSZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.16491#ERN1 (statement). In P9J6P06Y40/e1, theorem 6.11
History
- 2026-10-27: add by m2/v0.3.5
Robert Gompf 8VR8BCRCZY
| URI | m2://inv/8VR8BCRCZY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BGFY, Robert Gompf (topic)
History
- 2026-11-02: add by m2/dev
*{Definition 2.2.2 8VRMV3AXCD
| URI | m2://inv/8VRMV3AXCD |
|---|---|
| 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.23341#EUM1, *{Definition 2.2.2 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Term graph rewriting 8VRN1WQD93
| URI | m2://inv/8VRN1WQD93 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph rewriting#9MGS, Term graph rewriting (unknown)
History
- 2026-11-02: add by m2/dev
The $L$-dcpo case of Jia's question 8VRS6GN8X1
| URI | m2://inv/8VRS6GN8X1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02642#8XHC, The $L$-dcpo case of Jia's question (statement). In VMWV58VWKN/e1, corollary 5.4
History
- 2026-10-29: add by m2/v0.4.12
8VRXWTM605 8VRXWTM605
| URI | m2://inv/8VRXWTM605 |
|---|---|
| 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.09672#H1YS (statement). In TXBXCPP0QH/e1, lemma 20
History
- 2026-10-29: add by m2/v0.4.10
Cassini and Catalan identities 8VRZDXJERA
| URI | m2://inv/8VRZDXJERA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#P02D, Cassini and Catalan identities (definition)
History
- 2026-11-02: add by m2/dev
Michel Chasles 8VRZWDJVY2
| URI | m2://inv/8VRZWDJVY2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#CXTW, Michel Chasles (topic)
History
- 2026-11-02: add by m2/dev
8VS4VPJE0Y 8VS4VPJE0Y
| URI | m2://inv/8VS4VPJE0Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28824#Q5SR (statement)
History
- 2026-11-01: add by m2/v0.6.15
natural numbers, encoded as a $\w$-type 8VSC3FRC04
| URI | m2://inv/8VSC3FRC04 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.5/natural-numbers-encoded-as-a-w-type, natural numbers, encoded as a $\w$-type (concept). In N54F33XE07, index, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
8VSCVKYXDR 8VSCVKYXDR
| URI | m2://inv/8VSCVKYXDR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08196#0WSD (statement). In 8QVWZ23N42/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.10
8VSHD84C7D 8VSHD84C7D
| URI | m2://inv/8VSHD84C7D |
|---|---|
| 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.08956#VYY7 (statement). In DEE631KR3A/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
Weighted smoothly embedded hypersurfaces 8VSM572P9H
| URI | m2://inv/8VSM572P9H |
|---|---|
| Kind | example |
| 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.04833#RTNE, Weighted smoothly embedded hypersurfaces (example). In AKB3CNDA0F/e1, example 3.41
History
- 2026-10-29: add by m2/v0.4.12
8VSR8AP82Q 8VSR8AP82Q
| URI | m2://inv/8VSR8AP82Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#IVUT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stone duality 8VSWFEECHF
| URI | m2://inv/8VSWFEECHF |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7619060, The duality theorem (statement). Also Wikidata Q7619060
- thousand_plus: thousand_plus Q7619060, The duality theorem (statement). Also Wikidata Q7619060
- wikidata: Wikidata Q7619060, Stone duality (concept). Also nLab Stone duality
- wikipedia: Wikipedia Stone duality, Stone duality (definition). Also Wikidata Q7619060
History
- 2026-10-26: add by m2/dev
Exact criterion under purity and geometric irreducibility 8VT00H8CCV
| URI | m2://inv/8VT00H8CCV |
|---|---|
| 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.33162#VWY2, Exact criterion under purity and geometric irreducibility (statement). In RPC7VG3KHQ/e1, corollary 9.7
History
- 2026-10-30: add by m2/v0.4.12
8VT2SX3DKM 8VT2SX3DKM
| URI | m2://inv/8VT2SX3DKM |
|---|---|
| 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.01268#DJ97 (statement). In 80Q4X3WT8W/e1, corollary 2.1
History
- 2026-10-29: add by m2/v0.4.12
Properties 8VT7TRTKDA
| URI | m2://inv/8VT7TRTKDA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BTZ black hole#60AN, Properties (statement)
History
- 2026-11-02: add by m2/dev
8VT8ZNKZAA 8VT8ZNKZAA
| URI | m2://inv/8VT8ZNKZAA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#ZB47 (definition). In JXTG8KP95P/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
8VT9MTEZ0S 8VT9MTEZ0S
| URI | m2://inv/8VT9MTEZ0S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/more-soundness.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 55.8
History
- 2026-11-01: add by m2/v0.6.13
The rational field 8VTBPMS1Z1
| URI | m2://inv/8VTBPMS1Z1 |
|---|---|
| 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.17137#X5YS, The rational field (example). In GKHSE92M91/e1, example 12
History
- 2026-10-28: add by m2/v0.4.2
8VTGHFH982 8VTGHFH982
| URI | m2://inv/8VTGHFH982 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05715#KIQP (statement). In FC0SB9JFWH/e1, lemma 5.12
History
- 2026-10-27: add by m2/v0.3.5
Legendre's conjecture 8VTK58K62A
| URI | m2://inv/8VTK58K62A |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#ZI1T, Legendre's conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Leibniz's gap 8VTPMF8JWQ
| URI | m2://inv/8VTPMF8JWQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz#0JNC, Leibniz's gap (unknown)
History
- 2026-11-02: add by m2/dev
8VTXD627Q9 8VTXD627Q9
| URI | m2://inv/8VTXD627Q9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04673#27XV (statement). In KKC0CT44FJ/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
Construction 8VV6W8A7FY
| URI | m2://inv/8VV6W8A7FY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principia Mathematica#5456, Construction (definition)
History
- 2026-11-02: add by m2/dev
UFD 8VV8ANW1P6
| URI | m2://inv/8VV8ANW1P6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#YAS6, UFD (definition)
History
- 2026-11-02: add by m2/dev
8VV96E9FB4 8VV96E9FB4
| URI | m2://inv/8VV96E9FB4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39615#J6GM (statement). In RNXRAZYR3S/e1, corollary 4.2
History
- 2026-10-30: add by m2/v0.4.12
8VV9J5HVCN 8VV9J5HVCN
| URI | m2://inv/8VV9J5HVCN |
|---|---|
| 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.20590#3U11 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Richard Alan Wentworth 8VVGNSVTFV
| URI | m2://inv/8VVGNSVTFV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Alan Wentworth, Richard Alan Wentworth (topic). Also Wikidata Q21825575
History
- 2026-11-02: add by m2/dev
Overgroups of $\PSU(3,q)$ 8VVNBEBB3Y
| URI | m2://inv/8VVNBEBB3Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#JGI2, Overgroups of $\PSU(3,q)$ (statement). In 9NVKKW8HDH/e1, theorem 2.48
History
- 2026-10-28: add by m2/v0.4.2
Theorem 8VW24GRW0N
| URI | m2://inv/8VW24GRW0N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential forms on a Riemann surface#TJEZ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Private synthetic data in the cube: a lower bound 8VW4ZVDP1C
| URI | m2://inv/8VW4ZVDP1C |
|---|---|
| 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 2204.09167#V3NC, Private synthetic data in the cube: a lower bound (statement). In S1MENYEAG5/e1, corollary 9.4
History
- 2026-10-27: add by m2/v0.3.5
Covering 8VW78Q0GAA
| URI | m2://inv/8VW78Q0GAA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#MP5Q, Covering (definition)
History
- 2026-11-02: add by m2/dev
Curve orientation 8VW8S6DJXM
| URI | m2://inv/8VW8S6DJXM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#JIWZ, Curve orientation (definition)
History
- 2026-11-02: add by m2/dev
8VWA0ANSG3 8VWA0ANSG3
| URI | m2://inv/8VWA0ANSG3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#FATE (statement). In E7W2HDNEKJ/e1, theorem 6.37
History
- 2026-10-30: add by m2/v0.4.12
\sum 8VWCWC7FWN
| URI | m2://inv/8VWCWC7FWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#A2KS, \sum (definition)
History
- 2026-11-02: add by m2/dev
8VWEB1XSNR 8VWEB1XSNR
| URI | m2://inv/8VWEB1XSNR |
|---|---|
| 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.38051#R8XE (statement). In 81CGKD8RTP/e1, corollary 5
History
- 2026-10-30: add by m2/v0.4.12
Illusion of transparency 8VWEQCE6CS
| URI | m2://inv/8VWEQCE6CS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#JAUJ, Illusion of transparency (unknown)
History
- 2026-11-02: add by m2/dev
8VWG9ZZZW4 8VWG9ZZZW4
| URI | m2://inv/8VWG9ZZZW4 |
|---|---|
| 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.33050#HSOU (statement). In VDSBMQ0G9W/e1, theorem B
History
- 2026-10-30: add by m2/v0.4.12
Examples 8VWKBAM6QB
| URI | m2://inv/8VWKBAM6QB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan decomposition#GHK3, Examples (example)
History
- 2026-11-02: add by m2/dev
8VWN4MHGKH 8VWN4MHGKH
| URI | m2://inv/8VWN4MHGKH |
|---|---|
| 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.37846#GPGH (statement). In DCA0M1EE4A/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
8VWQFRYT4G 8VWQFRYT4G
| URI | m2://inv/8VWQFRYT4G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroQuantification.tex#problem-8 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Applications 8VWSAVVHRV
| URI | m2://inv/8VWSAVVHRV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lanczos algorithm#PJ0A, Applications (example)
History
- 2026-11-02: add by m2/dev
Mittag-Leffler theorem 8VWT0K6KM7
| URI | m2://inv/8VWT0K6KM7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/mittag-leffler-theorem, Mittag-Leffler theorem (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
8VWWC71DTX 8VWWC71DTX
| URI | m2://inv/8VWWC71DTX |
|---|---|
| Kind | example |
| 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.37967#8OV7 (example). In BR2E3CXQE0/e1, example 6.3
History
- 2026-10-30: add by m2/v0.4.12
Verlet integration 8VXF4R5M1B
| URI | m2://inv/8VXF4R5M1B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#UDMA, Verlet integration (definition)
History
- 2026-11-02: add by m2/dev
8VXYG5H1TX 8VXYG5H1TX
| URI | m2://inv/8VXYG5H1TX |
|---|---|
| Kind | example |
| 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 2404.18690#2HZ6 (example). In MDCJJJRQ2X/e1, example 4.3
History
- 2026-10-27: add by m2/v0.3.5
The Annals of Applied Statistics 8VY79WT2SS
| URI | m2://inv/8VY79WT2SS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Annals of Applied Statistics, The Annals of Applied Statistics (definition). Also Wikidata Q7713848
History
- 2026-11-02: add by m2/dev
The homology groups of the figure eight 8VYMVAC1EE
| URI | m2://inv/8VYMVAC1EE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/long-exact.tex#proposition-1, The homology groups of the figure eight (statement). In RZP28ERRZV, proposition, section 54.3
History
- 2026-11-01: add by m2/v0.6.13
John R. Womersley 8VYVPN21Q7
| URI | m2://inv/8VYVPN21Q7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John R. Womersley, John R. Womersley (topic). Also Wikidata Q6254052
History
- 2026-11-02: add by m2/dev
Principle of axonometry 8VYWJ16VK8
| URI | m2://inv/8VYWJ16VK8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axonometry#JY5O, Principle of axonometry (statement)
History
- 2026-11-02: add by m2/dev
Definition 8VZ3FTTT9T
| URI | m2://inv/8VZ3FTTT9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outermorphism#AMFG, Definition (definition)
History
- 2026-11-02: add by m2/dev
8VZ9GQZ91B 8VZ9GQZ91B
| URI | m2://inv/8VZ9GQZ91B |
|---|---|
| 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.33643#5WHE (statement). In G8Y8XD02EC/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
8VZNZ0RG3V 8VZNZ0RG3V
| URI | m2://inv/8VZNZ0RG3V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#KR6I (statement). In CGA36VE1C5/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.6
Eckmann--Hilton argument 8VZQZTRWV2
| URI | m2://inv/8VZQZTRWV2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/eckmann-hilton-argument, Eckmann--Hilton argument (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
One-way function 8VZT3J8Q5K
| URI | m2://inv/8VZT3J8Q5K |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#AS3M, One-way function (conjecture)
History
- 2026-11-02: add by m2/dev
Pohlke's theorem 8VZVE3SWAS
| URI | m2://inv/8VZVE3SWAS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3984032, Pohlke's theorem (statement). Also EoM Pohlke-Schwarz_theorem, MathWorld PohlkesTheorem
History
- 2026-10-26: add by m2/dev