Inventory rows 81
The cards of the rows of the inventory whose ids start with 81. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
81006V2ET1 81006V2ET1
| URI | m2://inv/81006V2ET1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06463#M56J (example). In 3WWY9K1K9V/e1, example 1
History
- 2026-10-29: add by m2/v0.4.10
Gaussian orbital 81026MTT8E
| URI | m2://inv/81026MTT8E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#FJV7, Gaussian orbital (unknown)
History
- 2026-11-02: add by m2/dev
810547KYKF 810547KYKF
| URI | m2://inv/810547KYKF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#XDQA (definition). In M0SQY5EZN5/e1, definition 2.2.8
History
- 2026-10-27: add by m2/v0.3.5
8109BGG0RE 8109BGG0RE
| URI | m2://inv/8109BGG0RE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34081#3JT9 (statement). In 3RVGEKGX46/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
810C5XN0EN 810C5XN0EN
| URI | m2://inv/810C5XN0EN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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.37520#5RPB (statement). In BDN507RN7J/e1, corollary 2.1.9
History
- 2026-10-30: add by m2/v0.4.12
Hashiwokakero 810C8WJSGR
| URI | m2://inv/810C8WJSGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hashiwokakero, Hashiwokakero (definition). Also Wikidata Q673276
History
- 2026-11-02: add by m2/dev
Truncated 24-cell honeycomb 810FA67Y7C
| URI | m2://inv/810FA67Y7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#3EZ7, Truncated 24-cell honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#4474, Truncated 24-cell honeycomb (definition)
History
- 2026-11-02: add by m2/dev
Ulrike Tillmann 810H5AKNZF
| URI | m2://inv/810H5AKNZF |
|---|---|
| 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 Q92006, Ulrike Tillmann (unknown). Also nLab Ulrike Tillmann
- wikipedia: Wikipedia Ulrike Tillmann, Ulrike Tillmann (topic). Also Wikidata Q92006
History
- 2026-10-26: add by m2/dev
810HDRKBJN 810HDRKBJN
| URI | m2://inv/810HDRKBJN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22557#BYK7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Extension by precomposed term 810HQGV1XC
| URI | m2://inv/810HQGV1XC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#ECBK, Extension by precomposed term (statement). In CPYWHRTPKC/e1, lemma 6.45
History
- 2026-10-27: add by m2/v0.4.2
Erdős–Ginzburg–Ziv theorem 810K4KW6D8
| URI | m2://inv/810K4KW6D8 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#U6QP, Erdős–Ginzburg–Ziv theorem (problem)
- wikipedia: Wikipedia List of number theory topics#UF4J, Erdős–Ginzburg–Ziv theorem (problem)
History
- 2026-11-02: add by m2/dev
810KVPG1K6 810KVPG1K6
| URI | m2://inv/810KVPG1K6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#ME3D (example)
History
- 2026-11-01: add by m2/v0.6.15
not-and 8111QVK8DS
| URI | m2://inv/8111QVK8DS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#T4LX, not-and (definition)
History
- 2026-11-02: add by m2/dev
8112QH6JM4 8112QH6JM4
| URI | m2://inv/8112QH6JM4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04325#A2Q8 (statement). In 42XHT97E64/e1, corollary 6.5
History
- 2026-10-29: add by m2/v0.4.12
8113CSYCYK 8113CSYCYK
| URI | m2://inv/8113CSYCYK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-conc.ptx#exercise-19 (exercise). In Y91XFCEVHQ, exercise, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
Ostriches do not stick their heads in the sand 8119DBMMCA
| URI | m2://inv/8119DBMMCA |
|---|---|
| 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#L46H, Ostriches do not stick their heads in the sand (unknown)
History
- 2026-11-02: add by m2/dev
811AWC3VGW 811AWC3VGW
| URI | m2://inv/811AWC3VGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.01473#9VJU (statement). In ABS9M47F4K/e1, corollary 3.18
History
- 2026-10-27: add by m2/v0.3.6
Harry Harman 811AWFWYWB
| URI | m2://inv/811AWFWYWB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harry Harman, Harry Harman (topic). Also Wikidata Q59630011
History
- 2026-11-02: add by m2/dev
John's $U$ at proportional $p/\nu$, Gaussian case 811B8RB2HZ
| URI | m2://inv/811B8RB2HZ |
|---|---|
| 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.37762#P1N1, John's $U$ at proportional $p/\nu$, Gaussian case (statement). In 6YPMRQHMR5/e1, theorem 13
History
- 2026-10-30: add by m2/v0.4.12
Isoptic 811DMX2QGY
| URI | m2://inv/811DMX2QGY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#6IAD, Isoptic (definition)
- wikipedia: Wikipedia List of curves#T2HH, Isoptic (definition)
History
- 2026-11-02: add by m2/dev
811E3EFHJQ 811E3EFHJQ
| URI | m2://inv/811E3EFHJQ |
|---|---|
| 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 2410.22045#4V13 (statement). In 81TAX528PQ/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Russell, Bertrand 811E9G9VQ1
| URI | m2://inv/811E9G9VQ1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u1/russell-bertrand, Russell, Bertrand (concept). In N54F33XE07, index, section u1.u1
History
- 2026-11-01: add by m2/v0.6.13
811G51VQG3 811G51VQG3
| URI | m2://inv/811G51VQG3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27823#RZPO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mordell–Lang conjecture 811MBD6MKF
| URI | m2://inv/811MBD6MKF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#QE99, Mordell–Lang conjecture (definition)
History
- 2026-11-02: add by m2/dev
811NBNZ74Z 811NBNZ74Z
| URI | m2://inv/811NBNZ74Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#5Q3V (definition)
History
- 2026-11-01: add by m2/v0.6.15
Consistency of the tail forward states 811QV6D27F
| URI | m2://inv/811QV6D27F |
|---|---|
| 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.10484#CYPQ, Consistency of the tail forward states (statement). In 5B4AX4SF88/e1, proposition 4.8
History
- 2026-10-29: add by m2/v0.4.10
Regular-graph pair bound 811RQTVXT3
| URI | m2://inv/811RQTVXT3 |
|---|---|
| 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.38993#H6RN, Regular-graph pair bound (statement). In AFKQK866Y1/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
Incomplete Bessel functions 811ZJMVHN2
| URI | m2://inv/811ZJMVHN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incomplete Bessel functions, Incomplete Bessel functions (definition). Also Wikidata Q85769219
History
- 2026-11-02: add by m2/dev
twisted 8122QES0R8
| URI | m2://inv/8122QES0R8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#6IK1, twisted (definition)
History
- 2026-11-02: add by m2/dev
Andor Kertész 81273ZVNAZ
| URI | m2://inv/81273ZVNAZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andor Kertész (mathematician), Andor Kertész (topic). Also Wikidata Q15441552
History
- 2026-11-02: add by m2/dev
Friedrich Hirzebruch 8127CZWZ2H
| URI | m2://inv/8127CZWZ2H |
|---|---|
| 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 Q61753, Friedrich Hirzebruch (unknown). Also nLab Friedrich Hirzebruch
- wikipedia: Wikipedia Friedrich Hirzebruch, Friedrich Hirzebruch (topic). Also Wikidata Q61753
History
- 2026-10-26: add by m2/dev
8129DW1DFZ 8129DW1DFZ
| URI | m2://inv/8129DW1DFZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33771#PWWB (statement). In ZXQA7QH0H0/e1, lemma 2.9
History
- 2026-10-30: add by m2/v0.4.12
Crooks fluctuation theorem 812A2Q0RVQ
| URI | m2://inv/812A2Q0RVQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#W8XM, Crooks fluctuation theorem (statement)
History
- 2026-11-02: add by m2/dev
812DJ89TJ0 812DJ89TJ0
| URI | m2://inv/812DJ89TJ0 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-3 (proof). In VNMV985MXX, proof, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
812X74VAB5 812X74VAB5
| URI | m2://inv/812X74VAB5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#MNQH (statement). In 67GE5M1GGD/e1, corollary 4.6
History
- 2026-10-30: add by m2/v0.4.12
812YBPA3TN 812YBPA3TN
| URI | m2://inv/812YBPA3TN |
|---|---|
| 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 2310.11101#W1J1 (statement). In YBBKTP4E70/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.3.5
812ZV6HSMA 812ZV6HSMA
| URI | m2://inv/812ZV6HSMA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_probability_discrete-random-variables.ptx#example-1 (example). In QKM9DD2H56, example, section 10.4
History
- 2026-11-01: add by m2/v0.6.13
81302R3RWP 81302R3RWP
| URI | m2://inv/81302R3RWP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05512#ZN8C (statement). In 2F0KX51XKM/e1, proposition 8
History
- 2026-10-29: add by m2/v0.4.10
dihedral angle 8132PFDS1P
| URI | m2://inv/8132PFDS1P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Dihedral angle 05HN08ZSRJ |
Mentions
- wikidata: Wikidata Q911907, dihedral angle (unknown). Also MathWorld DihedralAngle
- wikipedia: Wikipedia Dihedral angle, Dihedral angle (definition). Also Wikidata Q911907
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Richard Swineshead 813CQF00JT
| URI | m2://inv/813CQF00JT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Swineshead, Richard Swineshead (topic). Also Wikidata Q967356
History
- 2026-11-02: add by m2/dev
Dímun 813G8NQTPY
| URI | m2://inv/813G8NQTPY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#W8C1, Dímun (unknown)
History
- 2026-11-02: add by m2/dev
813H7DPQ4H 813H7DPQ4H
| URI | m2://inv/813H7DPQ4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.35577#UJWG (statement). In 4F8QRV05BV/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
Daniel J. Bernstein 813QZFBWVV
| URI | m2://inv/813QZFBWVV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HDCM, Daniel J. Bernstein (topic)
History
- 2026-11-02: add by m2/dev
813SNX7C9W 813SNX7C9W
| URI | m2://inv/813SNX7C9W |
|---|---|
| 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.10469#3NU0 (statement). In Q39BEKW6D9/e1, theorem 2.17
History
- 2026-10-29: add by m2/v0.4.10
813YAHG0PR 813YAHG0PR
| URI | m2://inv/813YAHG0PR |
|---|---|
| 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.26471#J1IX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorems 81409400TW
| URI | m2://inv/81409400TW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has the flag citation-needed (WP9.2)) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylow theorems#U2Z8, Theorems (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
81430GFJ20 81430GFJ20
| URI | m2://inv/81430GFJ20 |
|---|---|
| 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.27628#MMTC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cartier duality 8143FCZZX1
| URI | m2://inv/8143FCZZX1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28455141, Cartier duality (concept). Also nLab Cartier duality
- wikipedia: Wikipedia Cartier duality, Cartier duality (definition). Also Wikidata Q28455141
History
- 2026-10-26: add by m2/dev
8145DVAFXF 8145DVAFXF
| URI | m2://inv/8145DVAFXF |
|---|---|
| Kind | conjecture |
| 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.25100#V59G (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
814809T2GY 814809T2GY
| URI | m2://inv/814809T2GY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#problem-2 (exercise). In P1C114YBXG, problem, section H
History
- 2026-11-01: add by m2/v0.6.13
8149CE59AH 8149CE59AH
| URI | m2://inv/8149CE59AH |
|---|---|
| Kind | definition |
| 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.18219#N8FB (definition). In X1AGBB90EH/e1, definition 5.7
History
- 2026-10-28: add by m2/v0.4.2
814DWXHV9M 814DWXHV9M
| URI | m2://inv/814DWXHV9M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17871#NFH7 (statement). In H17E7PBG1M/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
814H5FQ1WM 814H5FQ1WM
| URI | m2://inv/814H5FQ1WM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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 2309.17091#TL9O (definition). In N0JJM098W2/e1, definition 5
History
- 2026-10-27: add by m2/v0.4.0
814JH32EX2 814JH32EX2
| URI | m2://inv/814JH32EX2 |
|---|---|
| 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.09735#9QY6 (statement). In C518KB563H/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Generic smoothness 8150ANEJ9W
| URI | m2://inv/8150ANEJ9W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smooth scheme#C3HM, Generic smoothness (unknown)
History
- 2026-11-02: add by m2/dev
Density bound 81530BHKHY
| URI | m2://inv/81530BHKHY |
|---|---|
| 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.40288#U58E, Density bound (statement). In 2VZJRGSAEP/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Grand 600-cell 815F1EN4T2
| URI | m2://inv/815F1EN4T2 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grand 600-cell, Grand 600-cell (object). Also Wikidata Q5594223
History
- 2026-11-02: add by m2/dev
815MP8VX32 815MP8VX32
| URI | m2://inv/815MP8VX32 |
|---|---|
| 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 2303.00676#GMF2 (statement). In 5351H04TJY/e1, theorem
History
- 2026-10-27: add by m2/v0.4.0
Category of graded vector spaces 815S5KAZB6
| URI | m2://inv/815S5KAZB6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graded vector space#RHNI, Category of graded vector spaces (unknown)
History
- 2026-11-02: add by m2/dev
Introductio in analysin infinitorum 815ZX8M03M
| URI | m2://inv/815ZX8M03M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Introductio in analysin infinitorum, Introductio in analysin infinitorum (definition). Also Wikidata Q534087
History
- 2026-11-02: add by m2/dev
816961KXRR 816961KXRR
| URI | m2://inv/816961KXRR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37252#1LEV (statement). In E3EK0ESPA7/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Menger characterization theorem 816A9FTXKZ
| URI | m2://inv/816A9FTXKZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance geometry#JMTO, Menger characterization theorem (statement)
History
- 2026-11-02: add by m2/dev
Tangential polygon 816Q7B8C5D
| URI | m2://inv/816Q7B8C5D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#4QVU, Tangential polygon (definition)
History
- 2026-11-02: add by m2/dev
Word relations 816VVVDEXK
| URI | m2://inv/816VVVDEXK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38975#CWJ9, Word relations (statement). In D2247CRPPE/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Characterizations 816XABR581
| URI | m2://inv/816XABR581 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nuclear operator#BLSQ, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Probability bounds analysis 816XC3SKMW
| URI | m2://inv/816XC3SKMW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BQFQ, Probability bounds analysis (definition)
- wikipedia: Wikipedia List of probability topics#NYBY, Probability bounds analysis (definition)
History
- 2026-11-02: add by m2/dev
List of publications in statistics 817DE5KBSE
| URI | m2://inv/817DE5KBSE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in statistics, List of publications in statistics (topic). Also Wikidata Q6623912
History
- 2026-11-02: add by m2/dev
817ECK7PDA 817ECK7PDA
| URI | m2://inv/817ECK7PDA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36313#A9ZW (statement). In Z5SP3NW41S/e1, fact 4.1
History
- 2026-10-30: add by m2/v0.4.12
817MG352ZY 817MG352ZY
| URI | m2://inv/817MG352ZY |
|---|---|
| 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.19882#8S05 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Tsallis statistics 817NWZ4FNJ
| URI | m2://inv/817NWZ4FNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tsallis statistics, Tsallis statistics (definition). Also Wikidata Q7849339
History
- 2026-11-02: add by m2/dev
817QSBE3ZE 817QSBE3ZE
| URI | m2://inv/817QSBE3ZE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32860#3W9T (statement). In H71AJ341B3/e1, proposition 3.3
History
- 2026-10-31: add by m2/v0.5.6
German Ageing Survey 817VE1SS7F
| URI | m2://inv/817VE1SS7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia German Ageing Survey, German Ageing Survey (definition). Also Wikidata Q1204584
History
- 2026-11-02: add by m2/dev
Lebesgue dominated convergence theorem 817VZ876DH
| URI | m2://inv/817VZ876DH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#BMUM, Lebesgue dominated convergence theorem (definition)
History
- 2026-11-02: add by m2/dev
Space $C_0(\G)$ 8180CJZE40
| URI | m2://inv/8180CJZE40 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.12380#2MW0, Space $C_0(\G)$ (definition). In M6MQPEDQ8N/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
8182WHF7DM 8182WHF7DM
| URI | m2://inv/8182WHF7DM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/abelian.tex#example-1 (example). In RZP28ERRZV, example, section 35.1
History
- 2026-11-01: add by m2/v0.6.13
Definition 8183MTMHKR
| URI | m2://inv/8183MTMHKR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical conjunction#05BW, Definition (definition)
History
- 2026-11-02: add by m2/dev
First-price sealed-bid auction 818810ZCCJ
| URI | m2://inv/818810ZCCJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First-price sealed-bid auction, First-price sealed-bid auction (definition). Also Wikidata Q1362360
History
- 2026-11-02: add by m2/dev
Anthony Joseph Tromba 818CSQXX49
| URI | m2://inv/818CSQXX49 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YQE8, Anthony Joseph Tromba (unknown)
History
- 2026-11-02: add by m2/dev
Applications 818ER30BM9
| URI | m2://inv/818ER30BM9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Böttcher's equation#29PV, Applications (example)
History
- 2026-11-02: add by m2/dev
Nicole Berline 818S0EPJMG
| URI | m2://inv/818S0EPJMG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1YYI, Nicole Berline (unknown)
History
- 2026-11-02: add by m2/dev
Properties 818STGGBP8
| URI | m2://inv/818STGGBP8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divided differences#6HZ5, Properties (statement)
History
- 2026-11-02: add by m2/dev
George James Lidstone 819C4CVVXG
| URI | m2://inv/819C4CVVXG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George James Lidstone, George James Lidstone (topic). Also Wikidata Q5541066
History
- 2026-11-02: add by m2/dev
shape of the nonlinear density on the bridges 819CBEDVR7
| URI | m2://inv/819CBEDVR7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22413#2DLX, shape of the nonlinear density on the bridges (statement)
History
- 2026-11-02: add by m2/v0.6.17
Rijndael S-box 819CGJW91T
| URI | m2://inv/819CGJW91T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rijndael S-box, Rijndael S-box (definition). Also Wikidata Q3943308
History
- 2026-11-02: add by m2/dev
819GNYZA6F 819GNYZA6F
| URI | m2://inv/819GNYZA6F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-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.04694#HQM8 (statement). In W9A0Z2NBMA/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.12
Floyd's triangle 819TT6S7DM
| URI | m2://inv/819TT6S7DM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#BBB6, Floyd's triangle (definition)
History
- 2026-11-02: add by m2/dev
81A5WYXM48 81A5WYXM48
| URI | m2://inv/81A5WYXM48 |
|---|---|
| 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.18744#9AE0 (statement). In AE07JDH5D3/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
81A8NAATHD 81A8NAATHD
| URI | m2://inv/81A8NAATHD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21507#7YRN (statement). In 879ZDHVK7N/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.4.2
Algorithms 81ABQE2A7Q
| URI | m2://inv/81ABQE2A7Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-negative matrix factorization#3LPA, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
81AKH8R4NX 81AKH8R4NX
| URI | m2://inv/81AKH8R4NX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#TV9X (statement). In 99CQPHSSYF/e1, fact \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
Uniqueness after patching the stopped equations 81ANEF94KY
| URI | m2://inv/81ANEF94KY |
|---|---|
| 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.28985#SXL7, Uniqueness after patching the stopped equations (statement)
History
- 2026-11-01: add by m2/v0.6.15
Clarkson's inequalities 81ARYJ5ED2
| URI | m2://inv/81ARYJ5ED2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#0WXT, Clarkson's inequalities (definition)
History
- 2026-11-02: add by m2/dev
André Lichnerowicz 81B8QX7AWM
| URI | m2://inv/81B8QX7AWM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#91Y2, André Lichnerowicz (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LR0D, André Lichnerowicz (topic)
History
- 2026-11-02: add by m2/dev
Symplectic geometry 81BDN158SV
| URI | m2://inv/81BDN158SV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#P9XG, Symplectic geometry (definition)
History
- 2026-11-02: add by m2/dev
81BFFHX5ZW 81BFFHX5ZW
| URI | m2://inv/81BFFHX5ZW |
|---|---|
| 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.23871#FGZ1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
81BFHPDTPG 81BFHPDTPG
| URI | m2://inv/81BFHPDTPG |
|---|---|
| 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.17677#AWPP (statement). In 5E9G06XJKC/e1, lemma G.32
History
- 2026-10-28: add by m2/v0.4.2
81BGQZZD9X 81BGQZZD9X
| URI | m2://inv/81BGQZZD9X |
|---|---|
| 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 2508.17181#1QXU (statement). In 2QR18WK8KH/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.6
Example 81BH0Z99HB
| URI | m2://inv/81BH0Z99HB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimensional regularization#ZYF6, Example (example)
History
- 2026-11-02: add by m2/dev
John Todd 81BV5H6XYX
| URI | m2://inv/81BV5H6XYX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HW19, John Todd (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IJYH, John Todd (unknown)
History
- 2026-11-02: add by m2/dev
1892 Costa Rican census 81BYFDTG0B
| URI | m2://inv/81BYFDTG0B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1892 Costa Rican census, 1892 Costa Rican census (definition). Also Wikidata Q100151959
History
- 2026-11-02: add by m2/dev
Examples 81CGYQT93F
| URI | m2://inv/81CGYQT93F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square-free element#LJ13, Examples (example)
History
- 2026-11-02: add by m2/dev
81CWTGQJ69 81CWTGQJ69
| URI | m2://inv/81CWTGQJ69 |
|---|---|
| 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 1612.08394#RLJH (statement). In 1P8D88DKG5/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
Electric-field integral equation 81CY1K2EEP
| URI | m2://inv/81CY1K2EEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electric-field integral equation, Electric-field integral equation (definition). Also Wikidata Q5357276
History
- 2026-11-02: add by m2/dev
Signal.group 81D3DM60DY
| URI | m2://inv/81D3DM60DY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signal (software)#2FSG, Signal.group (unknown)
History
- 2026-11-02: add by m2/dev
generalized Archimedean spiral 81D4EM2JEF
| URI | m2://inv/81D4EM2JEF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12785077, generalized Archimedean spiral (unknown). Also MathWorld ArchimedeanSpiral
History
- 2026-10-26: add by m2/dev
Chennas Narayanan Namboodiripad 81DA2NTX2W
| URI | m2://inv/81DA2NTX2W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chennas Narayanan Namboodiripad, Chennas Narayanan Namboodiripad (topic). Also Wikidata Q5091498
History
- 2026-11-02: add by m2/dev
81DT6CBVGH 81DT6CBVGH
| URI | m2://inv/81DT6CBVGH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.07697#6L49 (statement). In 57P5P33HS3/e1, lemma 14
History
- 2026-10-27: add by m2/v0.3.5
81DT6MJSV6 81DT6MJSV6
| URI | m2://inv/81DT6MJSV6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24206#KFH0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
81DWTZ3ZNN 81DWTZ3ZNN
| URI | m2://inv/81DWTZ3ZNN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#CT7Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
81E0DM4F54 81E0DM4F54
| URI | m2://inv/81E0DM4F54 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-7-4-1.xml#act-7-4-1 (exercise). In 907G4C4EJ1, activity, section 7.4.2
History
- 2026-11-01: add by m2/v0.6.13
81E0M7DH6C 81E0M7DH6C
| URI | m2://inv/81E0M7DH6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#QH47 (statement). In TX0H26X4VX/e1, lemma 7.8
History
- 2026-10-29: add by m2/v0.4.12
socle 81EE20RT6A
| URI | m2://inv/81EE20RT6A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#8LZF, socle (definition)
History
- 2026-11-02: add by m2/dev
81EE9Q539X 81EE9Q539X
| URI | m2://inv/81EE9Q539X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#011X (statement). In 7V2PVZS04C/e1, proposition 2.12
History
- 2026-10-31: add by m2/v0.5.6
81EKK6FKAE 81EKK6FKAE
| URI | m2://inv/81EKK6FKAE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10902#1LBC (statement). In 96T1K6C3NZ/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.3
Tree-graded space 81EKSNQ9D6
| URI | m2://inv/81EKSNQ9D6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tree-graded space, Tree-graded space (definition). Also Wikidata Q7837504
History
- 2026-11-02: add by m2/dev
Fundamental theorem of algebra 81EN2Y9117
| URI | m2://inv/81EN2Y9117 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl Friedrich Gauss#9RTM, Fundamental theorem of algebra (statement)
History
- 2026-11-02: add by m2/dev
81ER1NN02N 81ER1NN02N
| URI | m2://inv/81ER1NN02N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#X3PS (statement). In P3RTT99C41/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
List of mathematics reference tables 81ERHBJXWJ
| URI | m2://inv/81ERHBJXWJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics reference tables, List of mathematics reference tables (topic). Also Wikidata Q6627371
History
- 2026-11-02: add by m2/dev
81EWPX0TEQ 81EWPX0TEQ
| URI | m2://inv/81EWPX0TEQ |
|---|---|
| Kind | conjecture |
| 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.16245#SPZW (conjecture). In 60CQJN845D/e1, conjecture 3
History
- 2026-10-28: add by m2/v0.4.2
Pointed $C^\infty$ (Cheeger--Gromov) convergence 81F4GETT0F
| URI | m2://inv/81F4GETT0F |
|---|---|
| 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 2610.19273#74Q2, Pointed $C^\infty$ (Cheeger--Gromov) convergence (definition). In T3BY4TXYT4/e1, definition 1.7
History
- 2026-10-28: add by m2/v0.4.2
\bf Convergence of penalized solutions. 81FD9VVPEE
| URI | m2://inv/81FD9VVPEE |
|---|---|
| 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.29747#J88H, \bf Convergence of penalized solutions. (statement)
History
- 2026-11-01: add by m2/v0.6.15
Euclid Speidell 81FF5V9QQ5
| URI | m2://inv/81FF5V9QQ5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid Speidell, Euclid Speidell (topic). Also Wikidata Q95998967
History
- 2026-11-02: add by m2/dev
81FRVK6G2F 81FRVK6G2F
| URI | m2://inv/81FRVK6G2F |
|---|---|
| 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 1311.6044#N29A (statement). In W4FFB6SVZD/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
Richard Statman 81FWW2A07R
| URI | m2://inv/81FWW2A07R |
|---|---|
| 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 Q7329230, Richard Statman (unknown). Also nLab Richard Statman
History
- 2026-10-26: add by m2/dev
81FXD05C04 81FXD05C04
| URI | m2://inv/81FXD05C04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19861#XRZ2 (statement). In 5ZPQ60TM6J/e1, proposition 31
History
- 2026-10-28: add by m2/v0.4.2
81FZVW5GAH 81FZVW5GAH
| URI | m2://inv/81FZVW5GAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30097#PGQE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Variations 81GMQ92399
| URI | m2://inv/81GMQ92399 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequent#DY3U, Variations (statement)
History
- 2026-11-02: add by m2/dev
Harmonic form 81GMXCCAYM
| URI | m2://inv/81GMXCCAYM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13892#SPEK, Harmonic form (statement). In HV9KKEBBDD/e1, theorem V.2
History
- 2026-10-28: add by m2/v0.4.2
Statement of the theorem 81GRW2KC32
| URI | m2://inv/81GRW2KC32 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Focal subgroup theorem#S6VX, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
81GRWJATGW 81GRWJATGW
| URI | m2://inv/81GRWJATGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26134#INY4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gangeśa Upādhyāya 81H1EEETVM
| URI | m2://inv/81H1EEETVM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of teachers of Nyaya#PYNA, Gangeśa Upādhyāya (topic)
History
- 2026-11-02: add by m2/dev
J. Horn 81HCS8M9XR
| URI | m2://inv/81HCS8M9XR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#IB3Z, J. Horn (topic)
History
- 2026-11-02: add by m2/dev
Fatou's lemma 81HEMGB063
| URI | m2://inv/81HEMGB063 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-46, Fatou's lemma (statement). In VNMV985MXX, thm, section E.1
History
- 2026-11-01: add by m2/v0.6.13
Value theory 81HGJK6X5H
| URI | m2://inv/81HGJK6X5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Value theory, Value theory (definition). Also Wikidata Q186531
History
- 2026-11-02: add by m2/dev
81HHY099MT 81HHY099MT
| URI | m2://inv/81HHY099MT |
|---|---|
| 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.01276#NSX1 (statement). In 7JJPPMS2DN/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.12
Veronica Bowman 81HJ80DG9E
| URI | m2://inv/81HJ80DG9E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Veronica Bowman, Veronica Bowman (topic). Also Wikidata Q115047890
History
- 2026-11-02: add by m2/dev
Elimination of all factor errors into the guard 81HQ6SA7R4
| URI | m2://inv/81HQ6SA7R4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27641#LAVY, Elimination of all factor errors into the guard (statement)
History
- 2026-11-01: add by m2/v0.6.15
The gaps are harmonic 81HQV33X3J
| URI | m2://inv/81HQV33X3J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-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.06944#SVQT, The gaps are harmonic (statement). In 1HSWBXDXWV/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
81HW124G76 81HW124G76
| URI | m2://inv/81HW124G76 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18536#PI0K (statement). In JM5KKNKK1J/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
81J8H4SZ17 81J8H4SZ17
| URI | m2://inv/81J8H4SZ17 |
|---|---|
| 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.12908#9ZHA (statement). In TNC658NVMQ/e1, lemma 8.4
History
- 2026-10-28: add by m2/v0.4.2
A stepsize fixed before sampling 81JG6M28FG
| URI | m2://inv/81JG6M28FG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09356#7TXA, A stepsize fixed before sampling (statement). In 3VVGPXWH6R/e1, corollary C.18
History
- 2026-10-29: add by m2/v0.4.10
Derived conifold trace comparison 81JKV1RD2X
| URI | m2://inv/81JKV1RD2X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.27799#F4HS, Derived conifold trace comparison (statement)
History
- 2026-11-01: add by m2/v0.6.15
Proposition 1 81JRYXGYEX
| URI | m2://inv/81JRYXGYEX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discontinuities of monotone functions#1CX6, Proposition 1 (statement)
History
- 2026-11-02: add by m2/dev
Barbara Kruger 81JV8J5W23
| URI | m2://inv/81JV8J5W23 |
|---|---|
| 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#CGJP, Barbara Kruger (unknown)
History
- 2026-11-02: add by m2/dev
guarantee 81JVKHPSWR
| URI | m2://inv/81JVKHPSWR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00902#ITFR, guarantee (statement). In 1BYMXTH5MW/e1, proposition 9.4
History
- 2026-10-29: add by m2/v0.4.12
7-orthoplex 81K1WYWQPK
| URI | m2://inv/81K1WYWQPK |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#TI03, 7-orthoplex (object)
History
- 2026-11-02: add by m2/dev
81K6N5ZVEW 81K6N5ZVEW
| URI | m2://inv/81K6N5ZVEW |
|---|---|
| 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.25717#PJAR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Authentication and Key Agreement 81KTJ413Y3
| URI | m2://inv/81KTJ413Y3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Authentication and Key Agreement, Authentication and Key Agreement (definition). Also Wikidata Q4652161
History
- 2026-11-02: add by m2/dev
Iterative proportional fitting 81KYZC5ZKF
| URI | m2://inv/81KYZC5ZKF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MAN6, Iterative proportional fitting (definition)
History
- 2026-11-02: add by m2/dev
81M8N22YM6 81M8N22YM6
| URI | m2://inv/81M8N22YM6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book preliminaries.tex#ex:prod-via-bool (exercise). In N54F33XE07, ex, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
Applications 81MADYA5TP
| URI | m2://inv/81MADYA5TP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multidimensional transform#KF2P, Applications (example)
History
- 2026-11-02: add by m2/dev
81MC9PF2BW 81MC9PF2BW
| URI | m2://inv/81MC9PF2BW |
|---|---|
| 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.01912#T3UB (statement). In CTE1C9KYPY/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.12
Turán sieve 81MVBG2D76
| URI | m2://inv/81MVBG2D76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turán sieve, Turán sieve (definition). Also Wikidata Q7856598
History
- 2026-11-02: add by m2/dev
Shielding at logarithmic scales 81MWTZVEP4
| URI | m2://inv/81MWTZVEP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03683#XSG7, Shielding at logarithmic scales (statement). In 14AMXF6X2V/e1, corollary 5.10
History
- 2026-10-29: add by m2/v0.4.12
Examples 81N2V20Z34
| URI | m2://inv/81N2V20Z34 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hölder condition#WGGQ, Examples (example)
History
- 2026-11-02: add by m2/dev
Louis Poinsot 81N4WAPEZ3
| URI | m2://inv/81N4WAPEZ3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#CYWO, Louis Poinsot (topic)
History
- 2026-11-02: add by m2/dev
Dorian Shainin 81NDEG4E1K
| URI | m2://inv/81NDEG4E1K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dorian Shainin, Dorian Shainin (topic). Also Wikidata Q710275
History
- 2026-11-02: add by m2/dev
81NGP3JK52 81NGP3JK52
| URI | m2://inv/81NGP3JK52 |
|---|---|
| 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 2409.20170#J4PU (statement). In QXJP79APHN/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
Fermat's little theorem 81NH71X0G8
| URI | m2://inv/81NH71X0G8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#L4ND, Fermat's little theorem (statement)
History
- 2026-11-02: add by m2/dev
Artin–Rees lemma 81NS3M357R
| URI | m2://inv/81NS3M357R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin–Rees lemma, Artin–Rees lemma (statement). Also Wikidata Q3229329
History
- 2026-11-02: add by m2/dev
List of types of functions 81NV27BTBR
| URI | m2://inv/81NV27BTBR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions, List of types of functions (topic). Also Wikidata Q12802481
History
- 2026-11-02: add by m2/dev
Residual-Based Iteration Complexity 81P2S4RFAN
| URI | m2://inv/81P2S4RFAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10927#FQN8, Residual-Based Iteration Complexity (statement). In DHEJP3YATV/e1, corollary 33
History
- 2026-10-28: add by m2/v0.4.3
Notation 81PKP5WG2G
| URI | m2://inv/81PKP5WG2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Revenue equivalence#5Y2Y, Notation (definition)
History
- 2026-11-02: add by m2/dev
\bf{Simple Bound 81Q0S0N1Z2
| URI | m2://inv/81Q0S0N1Z2 |
|---|---|
| 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 2610.03661#2J4Z, \bf{Simple Bound (statement). In ESDKTYDHC8/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
Eran Tromer 81QCGRA9T9
| URI | m2://inv/81QCGRA9T9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eran Tromer, Eran Tromer (topic). Also Wikidata Q130981643
History
- 2026-11-02: add by m2/dev
Uniform Boundedness of $T$ and $T'$ 81QEHDD4Z5
| URI | m2://inv/81QEHDD4Z5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17883#53FO, Uniform Boundedness of $T$ and $T'$ (statement). In 9WSJV2WY2S/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
81QSKRK0W8 81QSKRK0W8
| URI | m2://inv/81QSKRK0W8 |
|---|---|
| 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.10365#VYVE (statement). In PRVQPSBVHK/e1, corollary 7
History
- 2026-10-29: add by m2/v0.4.10
Italy 81QVGFDRTE
| URI | m2://inv/81QVGFDRTE |
|---|---|
| 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 Q38, Italy (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Italy
History
- 2026-10-26: add by m2/dev
Properties 81R3DFAQVG
| URI | m2://inv/81R3DFAQVG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sublinear function#O6BX, Properties (statement)
History
- 2026-11-02: add by m2/dev
81RFSM0AY1 81RFSM0AY1
| URI | m2://inv/81RFSM0AY1 |
|---|---|
| Kind | statement |
| 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 2610.12819#G5TD (statement). In JW8S0XEMWG/e1, corollary 3.3
History
- 2026-10-28: add by m2/v0.4.2
set-quotient 81RG80HF9T
| URI | m2://inv/81RG80HF9T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.3/set-quotient, set-quotient (concept). In N54F33XE07, index, section C.1.3
History
- 2026-11-01: add by m2/v0.6.13
Support vector machine 81RGP3ZYTC
| URI | m2://inv/81RGP3ZYTC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MX6L, Support vector machine (definition)
History
- 2026-11-02: add by m2/dev
81RNMQH9A9 81RNMQH9A9
| URI | m2://inv/81RNMQH9A9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#ex:prop-ord (exercise). In N54F33XE07, ex, section C.5
History
- 2026-11-01: add by m2/v0.6.13
81RQ6A30CK 81RQ6A30CK
| URI | m2://inv/81RQ6A30CK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#Y9L3 (statement). In M0SQY5EZN5/e1, lemma 4.6.7
History
- 2026-10-27: add by m2/v0.3.5
Soft cell 81RRB7TGKX
| URI | m2://inv/81RRB7TGKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Soft cell, Soft cell (definition). Also Wikidata Q130348267
History
- 2026-11-02: add by m2/dev
Implementations 81RRRETXS2
| URI | m2://inv/81RRRETXS2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theil–Sen estimator#0PMC, Implementations (definition)
History
- 2026-11-02: add by m2/dev
81RY3RYNGF 81RY3RYNGF
| URI | m2://inv/81RY3RYNGF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.13464#30FT (statement). In JPYGC2R3FC/e1, proposition 2.6
History
- 2026-10-27: add by m2/v0.3.6
81SDX99FJ5 81SDX99FJ5
| URI | m2://inv/81SDX99FJ5 |
|---|---|
| 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.20316#YN9E (statement). In YRJS76169Z/e1, lemma 7.3
History
- 2026-10-27: add by m2/v0.4.2
continuously differentiable 81ST2N8M3Z
| URI | m2://inv/81ST2N8M3Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/11.6/continuously-differentiable, continuously differentiable (concept). In E59CDZA4DP, index, section 11.6
History
- 2026-11-01: add by m2/v0.6.13
81T3J3PKK8 81T3J3PKK8
| URI | m2://inv/81T3J3PKK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.40017#VEWC (statement). In MBHJA0HT06/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Bourgain--Demeter 81T4ZW5XFP
| URI | m2://inv/81T4ZW5XFP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26619#RN1Z, Bourgain--Demeter (statement)
History
- 2026-11-01: add by m2/v0.6.15
81T7A3NESG 81T7A3NESG
| URI | m2://inv/81T7A3NESG |
|---|---|
| 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 2506.16491#KFLY (definition). In P9J6P06Y40/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
A generalization 81THH6CHFS
| URI | m2://inv/81THH6CHFS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pushforward measure#5QV5, A generalization (statement)
History
- 2026-11-02: add by m2/dev
81TJAXH40G 81TJAXH40G
| URI | m2://inv/81TJAXH40G |
|---|---|
| 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 2608.24424#RY5M (statement). In RQHGZ4AA5T/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.6
Base20 81TWHBM3TF
| URI | m2://inv/81TWHBM3TF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vigesimal#1T45, Base20 (unknown)
History
- 2026-11-02: add by m2/dev
Definitions 81TYA07AZH
| URI | m2://inv/81TYA07AZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nielsen transformation#LH63, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Statement 81V0PZW58Y
| URI | m2://inv/81V0PZW58Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect graph theorem#3HLT, Statement (statement)
History
- 2026-11-02: add by m2/dev
Practical number 81V3FZ77TE
| URI | m2://inv/81V3FZ77TE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#OOGQ, Practical number (definition)
History
- 2026-11-02: add by m2/dev
Lindström quantifier 81V4FW03XW
| URI | m2://inv/81V4FW03XW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindström quantifier, Lindström quantifier (definition). Also Wikidata Q6552938
History
- 2026-11-02: add by m2/dev
Properties 81V9FJSZ9V
| URI | m2://inv/81V9FJSZ9V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler–Jacobi pseudoprime#DNU1, Properties (statement)
History
- 2026-11-02: add by m2/dev
81VCWDMJJ6 81VCWDMJJ6
| URI | m2://inv/81VCWDMJJ6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#example-4 (example). In E59CDZA4DP, example, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
Structured program theorem 81VCX3S9DR
| URI | m2://inv/81VCX3S9DR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ET9M, Structured program theorem (statement)
History
- 2026-11-02: add by m2/dev
81VE8JNSZ5 81VE8JNSZ5
| URI | m2://inv/81VE8JNSZ5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-34 (exercise). In E9HS8K3A52, exercise, section 10.3.1
History
- 2026-11-01: add by m2/v0.6.13
81VK1BJW6B 81VK1BJW6B
| URI | m2://inv/81VK1BJW6B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18483#AFNC (statement). In FF4HDVF1DC/e1, theorem 7.5
History
- 2026-10-28: add by m2/v0.4.2
Sign differences of adjacent faces 81VM4T7PJS
| URI | m2://inv/81VM4T7PJS |
|---|---|
| Kind | definition |
| 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.14502#HFQP, Sign differences of adjacent faces (definition). In 6BVBMTYXNZ/e1, definition 3.5
History
- 2026-10-28: add by m2/v0.4.2
81VQP41KD1 81VQP41KD1
| URI | m2://inv/81VQP41KD1 |
|---|---|
| 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 2112.14455#PO27 (statement). In VDE5R8HBS1/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
81VSASMNQ5 81VSASMNQ5
| URI | m2://inv/81VSASMNQ5 |
|---|---|
| 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 2509.10268#VRYG (statement). In YR15TN4V4F/e1, lemma S1
History
- 2026-10-27: add by m2/v0.3.5
Statistical Society of Canada 81VWDBD0C5
| URI | m2://inv/81VWDBD0C5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of academic statistical associations#BFES, Statistical Society of Canada (topic)
History
- 2026-11-02: add by m2/dev
A central bag 81W3YRN1M9
| URI | m2://inv/81W3YRN1M9 |
|---|---|
| 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.04660#X0MF, A central bag (statement). In 8ABKBS4H0N/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Korselt's criterion 81WC3FPN67
| URI | m2://inv/81WC3FPN67 |
|---|---|
| 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.02550#RARN, Korselt's criterion (statement). In H154EDZR62/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
Etheridge, Alison 81WCH9H55C
| URI | m2://inv/81WCH9H55C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#PWBC, Etheridge, Alison (topic)
History
- 2026-11-02: add by m2/dev
81WQK55K0P 81WQK55K0P
| URI | m2://inv/81WQK55K0P |
|---|---|
| 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 2303.17308#9X8Q (statement). In 6N0T1S0BQG/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
81WRRH5VCZ 81WRRH5VCZ
| URI | m2://inv/81WRRH5VCZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2105.13129#D346 (definition). In J5Z1JD5VKR/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.4.0
Measurability of the homology process 81WSTHG0Q7
| URI | m2://inv/81WSTHG0Q7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.27851#N0P9, Measurability of the homology process (statement)
History
- 2026-11-01: add by m2/v0.6.15
negative real number 81WW4BH86G
| URI | m2://inv/81WW4BH86G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q200227, negative real number (unknown). Also MathWorld Negative
- wikipedia: Wikipedia Negative number, Negative number (definition). Also Wikidata Q200227
History
- 2026-10-26: add by m2/dev
81WX5AF031 81WX5AF031
| URI | m2://inv/81WX5AF031 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.00412#NSAA (definition). In APD8GE0E4F/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Piotr Indyk 81X1H0E97X
| URI | m2://inv/81X1H0E97X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CDE5, Piotr Indyk (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WQE7, Piotr Indyk (unknown)
History
- 2026-11-02: add by m2/dev
81X8RKH6V8 81X8RKH6V8
| URI | m2://inv/81X8RKH6V8 |
|---|---|
| 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.27253#P5JC (statement)
History
- 2026-11-01: add by m2/v0.6.15
81XGZJ7RN2 81XGZJ7RN2
| URI | m2://inv/81XGZJ7RN2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2508.16102#912A (statement). In 55QFMZQ5HM/e1, proposition 2.13
History
- 2026-10-27: add by m2/v0.3.6
81XNSW6QP0 81XNSW6QP0
| URI | m2://inv/81XNSW6QP0 |
|---|---|
| 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.14681#WNMG (statement). In 459W0NBS5Q/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
the intermediate fields of $L/K$ for $G=\Z/p^n$ 81XSEBJ0SW
| URI | m2://inv/81XSEBJ0SW |
|---|---|
| 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.09298#N2EO, the intermediate fields of $L/K$ for $G=\Z/p^n$ (statement). In 1SPQ4J3AWY/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.10
Bézout's identity 81XSTJYXNF
| URI | m2://inv/81XSTJYXNF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Bézout's identity 0DQVHMYAGA |
Mentions
- mathlib_100: mathlib_100 60, Bezout’s Theorem (statement). Also Mathlib Nat.gcd_eq_gcd_ab
- mathlib_1000: mathlib_1000 Q513028, Bézout's identity (statement). Also Mathlib Nat.gcd_eq_gcd_ab, Wikidata Q513028
- wikidata: Wikidata Q513028, Bézout's identity (statement). Also MathWorld BezoutsIdentity
- wikipedia: Wikipedia Bézout's identity, Bézout's identity (statement). Also Wikidata Q513028
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Challenging 81XV00KTFT
| URI | m2://inv/81XV00KTFT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-66, Challenging (exercise). In E59CDZA4DP, exercise, section 10.5.7
History
- 2026-11-01: add by m2/v0.6.13
81XXDKFCW7 81XXDKFCW7
| URI | m2://inv/81XXDKFCW7 |
|---|---|
| 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.18797#77AV (statement). In HVZW77G66Z/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
81XYCFK29M 81XYCFK29M
| URI | m2://inv/81XYCFK29M |
|---|---|
| Kind | example |
| 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 2206.11471#XRSN (example). In 8387H919D5/e1, example 3
History
- 2026-10-27: add by m2/v0.3.5
Dirichlet-Cannings-Gillespie 81Y2DQEVPV
| URI | m2://inv/81Y2DQEVPV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02669#WQQL, Dirichlet-Cannings-Gillespie (example). In NSBSWH6XB4/e1, example 2.1
History
- 2026-10-29: add by m2/v0.4.12
Statement of the laws 81YF63D2PB
| URI | m2://inv/81YF63D2PB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arcsine laws (Wiener process)#X9G7, Statement of the laws (statement)
History
- 2026-11-02: add by m2/dev
Generalizations 81YH1CC693
| URI | m2://inv/81YH1CC693 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pontryagin class#GLXJ, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
81YHX9MNRE 81YHX9MNRE
| URI | m2://inv/81YHX9MNRE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29188#0EI4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
81YNB9G04N 81YNB9G04N
| URI | m2://inv/81YNB9G04N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30519#D6HH (definition). In GQQZNRYK15/e1, definition 3.1
History
- 2026-10-31: add by m2/v0.5.6
limaçon 81YPP53GDT
| URI | m2://inv/81YPP53GDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#DF97, limaçon (definition)
History
- 2026-11-02: add by m2/dev
Vladimir Zakalyukin 81YQFJCHVB
| URI | m2://inv/81YQFJCHVB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vladimir Zakalyukin, Vladimir Zakalyukin (topic). Also Wikidata Q14475936
History
- 2026-11-02: add by m2/dev
Paul Baum 81YWXNAB8Q
| URI | m2://inv/81YWXNAB8Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Baum (mathematician), Paul Baum (topic). Also Wikidata Q7149269
History
- 2026-11-02: add by m2/dev
Unconstrained free energy 81Z0BA759B
| URI | m2://inv/81Z0BA759B |
|---|---|
| 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.19356#XBNU, Unconstrained free energy (statement). In 2B5QA28NCX/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Properties 81Z1QK3RM6
| URI | m2://inv/81Z1QK3RM6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibration#ZK8H, Properties (statement)
History
- 2026-11-02: add by m2/dev
81ZD4QMKWF 81ZD4QMKWF
| URI | m2://inv/81ZD4QMKWF |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential poset#E5F6 (problem)
History
- 2026-11-02: add by m2/dev
81ZDNK2WNT 81ZDNK2WNT
| URI | m2://inv/81ZDNK2WNT |
|---|---|
| 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.18270#5JAA (statement). In CPDMYJ0NJV/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.2
81ZE7H10SE 81ZE7H10SE
| URI | m2://inv/81ZE7H10SE |
|---|---|
| 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.01888#GHUI (statement). In A89G9GMPC9/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Guillaume le Roberger de Vausenville 81ZFNYX3EY
| URI | m2://inv/81ZFNYX3EY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guillaume le Roberger de Vausenville, Guillaume le Roberger de Vausenville (topic). Also Wikidata Q18945515
History
- 2026-11-02: add by m2/dev
Sreenivasa Rao Jammalamadaka 81ZMNZZ7GB
| URI | m2://inv/81ZMNZZ7GB |
|---|---|
| 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#FW5B, Sreenivasa Rao Jammalamadaka (topic)
History
- 2026-11-02: add by m2/dev
81ZNVSJZAK 81ZNVSJZAK
| URI | m2://inv/81ZNVSJZAK |
|---|---|
| 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 2108.03672#2MED (definition). In EZZSZ1F071/e1, definition 0.6
History
- 2026-10-27: add by m2/v0.4.0
81ZR0HBMA9 81ZR0HBMA9
| URI | m2://inv/81ZR0HBMA9 |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.21337#1VRJ (statement). In EPZN0JTG2Z/e1, lemma 24
History
- 2026-10-27: add by m2/v0.3.5
Variants 81ZY1NE4MJ
| URI | m2://inv/81ZY1NE4MJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantile regression#711B, Variants (statement)
History
- 2026-11-02: add by m2/dev