Inventory rows 1B
The cards of the rows of the inventory whose ids start with 1B. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Filtered equivariance of a feed-forward network 1B02SKMSFB
| URI | m2://inv/1B02SKMSFB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25987#PLSS, Filtered equivariance of a feed-forward network (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 1B04CM8QJQ
| URI | m2://inv/1B04CM8QJQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subordinator (mathematics)#IULX, Examples (example)
History
- 2026-11-02: add by m2/dev
quantum tunneling 1B084V36D2
| URI | m2://inv/1B084V36D2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q175751, quantum tunneling (unknown). Also nLab quantum tunneling
- wikipedia: Wikipedia Quantum tunnelling, Quantum tunnelling (definition). Also Wikidata Q175751
History
- 2026-10-26: add by m2/dev
M. D. Chow 1B090M0RKQ
| URI | m2://inv/1B090M0RKQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M. D. Chow, M. D. Chow (topic). Also Wikidata Q10753508
History
- 2026-11-02: add by m2/dev
Maximilian Herzberger 1B0BW7FQ91
| URI | m2://inv/1B0BW7FQ91 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#4TI2, Maximilian Herzberger (topic)
History
- 2026-11-02: add by m2/dev
1B0PPDHZ8H 1B0PPDHZ8H
| URI | m2://inv/1B0PPDHZ8H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20178#42EE (statement). In Z53NCTCEXE/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
1B0V6YHZK5 1B0V6YHZK5
| URI | m2://inv/1B0V6YHZK5 |
|---|---|
| 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.33679#5ZCR (statement). In 3N9E9T6AF5/e1, lemma 2.9
History
- 2026-10-30: add by m2/v0.4.12
1B0V79HWQK 1B0V79HWQK
| URI | m2://inv/1B0V79HWQK |
|---|---|
| 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.09548#XQQM (definition). In 6D6C14KFGJ/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.0
1B0VVPWREY 1B0VVPWREY
| URI | m2://inv/1B0VVPWREY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.07461#H0MF (statement). In GAG532VMPF/e1, lemma 4.2.2
History
- 2026-10-27: add by m2/v0.3.5
1B106EE71J 1B106EE71J
| URI | m2://inv/1B106EE71J |
|---|---|
| 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 2409.03730#PEY0 (statement). In ADEX39KM1T/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.0
1B1A10P3P8 1B1A10P3P8
| URI | m2://inv/1B1A10P3P8 |
|---|---|
| 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.06810#718V (statement). In 1NY2SA03XF/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
1B1B8YSAQC 1B1B8YSAQC
| URI | m2://inv/1B1B8YSAQC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#Q0UE (statement)
History
- 2026-11-02: add by m2/v0.6.17
1B1F5NF5PK 1B1F5NF5PK
| URI | m2://inv/1B1F5NF5PK |
|---|---|
| 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.27152#2RO1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
1B1XF6WJPR 1B1XF6WJPR
| URI | m2://inv/1B1XF6WJPR |
|---|---|
| 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#6FZP (statement)
History
- 2026-11-01: add by m2/v0.6.15
spherical sector 1B1YQ7XZPP
| URI | m2://inv/1B1YQ7XZPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1304927, spherical sector (unknown). Also MathWorld SphericalSector
- wikipedia: Wikipedia Spherical sector, Spherical sector (definition). Also Wikidata Q1304927
History
- 2026-10-26: add by m2/dev
1B1ZYMRS4F 1B1ZYMRS4F
| URI | m2://inv/1B1ZYMRS4F |
|---|---|
| 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.21645#XT3Y (statement)
History
- 2026-11-02: add by m2/v0.6.18
1B2HX1SXR1 1B2HX1SXR1
| URI | m2://inv/1B2HX1SXR1 |
|---|---|
| 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 2412.01742#C2OO (statement). In GYH7R98PPA/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Simplicial localization 1B2QYFBD09
| URI | m2://inv/1B2QYFBD09 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#UM33, Simplicial localization (definition)
History
- 2026-11-02: add by m2/dev
Tadahisa Funaki 1B2YETXMN1
| URI | m2://inv/1B2YETXMN1 |
|---|---|
| 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#2LX6, Tadahisa Funaki (unknown)
History
- 2026-11-02: add by m2/dev
1B2YHTXYGT 1B2YHTXYGT
| URI | m2://inv/1B2YHTXYGT |
|---|---|
| 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#L9AK (statement). In Q5Z178SAHP/e1, lemma 3.8
History
- 2026-10-30: add by m2/v0.4.12
CDF-based nonparametric confidence interval 1B31EMTGHM
| URI | m2://inv/1B31EMTGHM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CDF-based nonparametric confidence interval, CDF-based nonparametric confidence interval (definition). Also Wikidata Q5009921
History
- 2026-11-02: add by m2/dev
1B3AN6XJ05 1B3AN6XJ05
| URI | m2://inv/1B3AN6XJ05 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.28254#73SQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
1B3DYDE44E 1B3DYDE44E
| URI | m2://inv/1B3DYDE44E |
|---|---|
| Kind | example |
| 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#ACRA (example). In 8QVWZ23N42/e1, example 3.7
History
- 2026-10-29: add by m2/v0.4.10
1B3RT4P3SS 1B3RT4P3SS
| URI | m2://inv/1B3RT4P3SS |
|---|---|
| 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 2609.24041#65AW (statement)
History
- 2026-11-02: add by m2/v0.6.17
1B3ZW8F98P 1B3ZW8F98P
| URI | m2://inv/1B3ZW8F98P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14741#LLV8 (statement). In RK1VPWWX9E/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Definition 1B41GCSGA6
| URI | m2://inv/1B41GCSGA6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Building (mathematics)#E53T, Definition (definition)
History
- 2026-11-02: add by m2/dev
1B470963CM 1B470963CM
| URI | m2://inv/1B470963CM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Lewy's example 1B47PW22CX
| URI | m2://inv/1B47PW22CX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lewy's example, Lewy's example (definition). Also Wikidata Q814880
History
- 2026-11-02: add by m2/dev
concept 1B48Z03T6R
| URI | m2://inv/1B48Z03T6R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#0RXS, concept (definition)
History
- 2026-11-02: add by m2/dev
Verifiability of site identity 1B49E2SQ1R
| URI | m2://inv/1B49E2SQ1R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-D Secure#EI9Q, Verifiability of site identity (statement)
History
- 2026-11-02: add by m2/dev
1B49SHJZ6E 1B49SHJZ6E
| URI | m2://inv/1B49SHJZ6E |
|---|---|
| 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.10840#PUDE (statement). In JSJQEPY71E/e1, corollary A.3
History
- 2026-10-28: add by m2/v0.4.3
1B4BFZCKXX 1B4BFZCKXX
| URI | m2://inv/1B4BFZCKXX |
|---|---|
| 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.19854#IZNM (statement). In D50WST4CG3/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Egyptian fraction 1B4P1ZBXW8
| URI | m2://inv/1B4P1ZBXW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#2HXI, Egyptian fraction (definition)
History
- 2026-11-02: add by m2/dev
1B4SVCV2MD 1B4SVCV2MD
| URI | m2://inv/1B4SVCV2MD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#thm:stable-images (statement). In N54F33XE07, thm, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
Clyde Martin 1B4X1XNNGE
| URI | m2://inv/1B4X1XNNGE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#T0U4, Clyde Martin (unknown)
History
- 2026-11-02: add by m2/dev
Root discriminant 1B4XB8F1CS
| URI | m2://inv/1B4XB8F1CS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discriminant of an algebraic number field#ZHMU, Root discriminant (unknown)
History
- 2026-11-02: add by m2/dev
easy 1B5290E3XV
| URI | m2://inv/1B5290E3XV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-43, easy (exercise). In E9HS8K3A52, exercise, section 10.4.4
History
- 2026-11-01: add by m2/v0.6.13
axiom, unstable octahedral 1B57FYZHJH
| URI | m2://inv/1B57FYZHJH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.9/axiom-unstable-octahedral, axiom, unstable octahedral (concept). In N54F33XE07, index, section 3.9
History
- 2026-11-01: add by m2/v0.6.13
Sharon Lohr 1B5DBD29GB
| URI | m2://inv/1B5DBD29GB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sharon Lohr, Sharon Lohr (topic). Also Wikidata Q66115703
History
- 2026-11-02: add by m2/dev
Applications 1B5J7GRP82
| URI | m2://inv/1B5J7GRP82 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Authority distribution#93QM, Applications (example)
History
- 2026-11-02: add by m2/dev
Hyperbolic location--scale families 1B5M9VZY8V
| URI | m2://inv/1B5M9VZY8V |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#YGC5, Hyperbolic location--scale families (example). In FTPW1SZ8D3/e1, example 5.9
History
- 2026-10-30: add by m2/v0.4.12
function composition 1B5TBWVAD2
| URI | m2://inv/1B5TBWVAD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#LH7F, function composition (definition)
History
- 2026-11-02: add by m2/dev
verbal subgroups 1B5V0ZEKSD
| URI | m2://inv/1B5V0ZEKSD |
|---|---|
| Kind | example |
| 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.31289#5Y4A, verbal subgroups (example). In CPDM7J0CC0/e1, example 2.4
History
- 2026-10-31: add by m2/v0.5.6
Grzegorz Rempala 1B5WK3BC4S
| URI | m2://inv/1B5WK3BC4S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grzegorz Rempala, Grzegorz Rempala (topic). Also Wikidata Q29646721
History
- 2026-11-02: add by m2/dev
1B5YMK01FG 1B5YMK01FG
| URI | m2://inv/1B5YMK01FG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/measure-space.tex#example-4 (example). In RZP28ERRZV, example, section 67.7
History
- 2026-11-01: add by m2/v0.6.13
1B6DXEATBD 1B6DXEATBD
| URI | m2://inv/1B6DXEATBD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38556#QUK5 (statement). In GC2H0HS7ZM/e1, lemma 6.7
History
- 2026-10-30: add by m2/v0.4.12
Even function 1B6J9MG4ZB
| URI | m2://inv/1B6J9MG4ZB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Even and odd functions#9BG9, Even function (unknown)
History
- 2026-11-02: add by m2/dev
Adiabatic quantum computation 1B6KM9D040
| URI | m2://inv/1B6KM9D040 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adiabatic quantum computation, Adiabatic quantum computation (definition). Also Wikidata Q4682635
History
- 2026-11-02: add by m2/dev
Toronto function 1B6VB9V10N
| URI | m2://inv/1B6VB9V10N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7826587, Toronto function (unknown). Also MathWorld TorontoFunction
- wikipedia: Wikipedia Toronto function, Toronto function (definition). Also Wikidata Q7826587
History
- 2026-10-26: add by m2/dev
Definition 1B6WBARSAD
| URI | m2://inv/1B6WBARSAD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector area#75TG, Definition (definition)
History
- 2026-11-02: add by m2/dev
1B6Z26S4F9 1B6Z26S4F9
| URI | m2://inv/1B6Z26S4F9 |
|---|---|
| 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 2507.13548#DEAC (statement). In 4NVVK50D1P/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.3.5
1B79SREPX4 1B79SREPX4
| URI | m2://inv/1B79SREPX4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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 2507.20176#L6QB (definition). In CX4WDA2KAR/e1, definition 2.13
History
- 2026-10-27: add by m2/v0.3.5
Geodesic convexity of both inverse terms 1B7DYAWG5Y
| URI | m2://inv/1B7DYAWG5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-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.15180#VDRX, Geodesic convexity of both inverse terms (statement). In AMRWRJDNKJ/e1, corollary 5.7
History
- 2026-10-28: add by m2/v0.4.2
Definition 1B7GGKNYJK
| URI | m2://inv/1B7GGKNYJK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy extension property#ORHS, Definition (definition)
History
- 2026-11-02: add by m2/dev
André-Marie Ampère 1B7JY3HTMD
| URI | m2://inv/1B7JY3HTMD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#MILX, André-Marie Ampère (unknown)
History
- 2026-11-02: add by m2/dev
Signature-based latent-position identifiability 1B7KNKKQJH
| URI | m2://inv/1B7KNKKQJH |
|---|---|
| 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 2607.01358#3LWR, Signature-based latent-position identifiability (definition). In H808CYZ7YM/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Definition 1B7NRS2E84
| URI | m2://inv/1B7NRS2E84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact-open topology#UZCI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Cubohemioctacron 1B7R0R84C9
| URI | m2://inv/1B7R0R84C9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubohemioctahedron#HEMJ, Cubohemioctacron (unknown)
History
- 2026-11-02: add by m2/dev
Belarus 1B7TXKTKXT
| URI | m2://inv/1B7TXKTKXT |
|---|---|
| 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 Q184, Belarus (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Belarus
History
- 2026-10-26: add by m2/dev
Sum of the limiting weights 1B7VV37VK0
| URI | m2://inv/1B7VV37VK0 |
|---|---|
| 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.02531#7413, Sum of the limiting weights (statement). In 44EQ0MZE8G/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
Representations 1B7WNRD8TF
| URI | m2://inv/1B7WNRD8TF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cellular algebra#J6V8, Representations (definition)
History
- 2026-11-02: add by m2/dev
1B869CF8MG 1B869CF8MG
| URI | m2://inv/1B869CF8MG |
|---|---|
| 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#D80D (statement)
History
- 2026-11-01: add by m2/v0.6.15
1B87XEXH6V 1B87XEXH6V
| URI | m2://inv/1B87XEXH6V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreQuantification.tex#thm:nm odd implies n or m odd (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
conjugate variables 1B8CNTT6R6
| URI | m2://inv/1B8CNTT6R6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugate variables (thermodynamics)#5UOT, conjugate variables (definition)
History
- 2026-11-02: add by m2/dev
Properties 1B8KFH8WGM
| URI | m2://inv/1B8KFH8WGM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Displaced Poisson distribution#G8WM, Properties (statement)
History
- 2026-11-02: add by m2/dev
1B8T5H0Z8Z 1B8T5H0Z8Z
| URI | m2://inv/1B8T5H0Z8Z |
|---|---|
| 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 2610.05486#MD00 (definition). In 5Z46AK2XTC/e1, definition B.2
History
- 2026-10-29: add by m2/v0.4.10
1B97E6TMSW 1B97E6TMSW
| URI | m2://inv/1B97E6TMSW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31607#91W8 (statement). In H9X9WZ17TT/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
Rolle's theorem 1B9869M6HJ
| URI | m2://inv/1B9869M6HJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#LO5Z, Rolle's theorem (statement)
- wikipedia: Wikipedia List of calculus topics#Z9IO, Rolle's theorem (statement)
History
- 2026-11-02: add by m2/dev
1B9GGEZCQ8 1B9GGEZCQ8
| URI | m2://inv/1B9GGEZCQ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07673#KQJQ (statement). In 37B1MPV8GX/e1, proposition 8.6
History
- 2026-10-29: add by m2/v0.4.10
1B9N64BYCG 1B9N64BYCG
| URI | m2://inv/1B9N64BYCG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#Q940 (definition). In 1A01NFHBGA/e1, definition 2.17
History
- 2026-10-28: add by m2/v0.4.3
1B9RA5AWX5 1B9RA5AWX5
| URI | m2://inv/1B9RA5AWX5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/zariski.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 29.6
History
- 2026-11-01: add by m2/v0.6.13
successor 1B9SPEBH30
| URI | m2://inv/1B9SPEBH30 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.3/successor, successor (concept). In N54F33XE07, index, section 8.3
History
- 2026-11-01: add by m2/v0.6.13
1B9TE8QJMS 1B9TE8QJMS
| URI | m2://inv/1B9TE8QJMS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#example-1 (example). In E59CDZA4DP, example, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
1B9TFWJ6W9 1B9TFWJ6W9
| URI | m2://inv/1B9TFWJ6W9 |
|---|---|
| Kind | problem |
| 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.39169#XNSW (problem). In ANHWXYPQFX/e1, problem 4.6
History
- 2026-10-30: add by m2/v0.4.12
Pointed mapping objects and reduced objects 1B9XRYJ9CF
| URI | m2://inv/1B9XRYJ9CF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#PGGZ, Pointed mapping objects and reduced objects (statement). In G3D1YR20BJ/e1, corollary 3.23
History
- 2026-10-29: add by m2/v0.4.12
1BAAB7AEQ7 1BAAB7AEQ7
| URI | m2://inv/1BAAB7AEQ7 |
|---|---|
| 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.31102#XXF6 (statement). In 7CADATJMAA/e1, theorem 5.1
History
- 2026-10-31: add by m2/v0.5.6
1BAB32TNY5 1BAB32TNY5
| URI | m2://inv/1BAB32TNY5 |
|---|---|
| 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#CFP4 (statement). In W9A0Z2NBMA/e1, proposition 35
History
- 2026-10-29: add by m2/v0.4.12
1BAGTM1JDR 1BAGTM1JDR
| URI | m2://inv/1BAGTM1JDR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-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.13100#8ZGF (statement). In CC6S1HVK0T/e1, proposition 5.42
History
- 2026-10-28: add by m2/v0.4.2
Properties 1BB18SWARZ
| URI | m2://inv/1BB18SWARZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gelfond–Schneider constant#I49O, Properties (statement)
History
- 2026-11-02: add by m2/dev
1BB73SEPKY 1BB73SEPKY
| URI | m2://inv/1BB73SEPKY |
|---|---|
| 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.26180#HGPO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algorithms 1BBENK93GV
| URI | m2://inv/1BBENK93GV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Public-key cryptography#5EYZ, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
1BBJ6G1BKV 1BBJ6G1BKV
| URI | m2://inv/1BBJ6G1BKV |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#KC0G (unknown). In QNBFHFZ3H0/e1, unknown 79
History
- 2026-10-28: add by m2/v0.4.2
Example 1BBP75V869
| URI | m2://inv/1BBP75V869 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Competitive regret#SUF9, Example (example)
History
- 2026-11-02: add by m2/dev
The lemma 1BBRMNK987
| URI | m2://inv/1BBRMNK987 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kronecker's lemma#BBFD, The lemma (statement)
History
- 2026-11-02: add by m2/dev
1BBSCQA1JV 1BBSCQA1JV
| URI | m2://inv/1BBSCQA1JV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#2DCL (example). In WD2NCBV9F0/e1, example 14.15
History
- 2026-10-27: add by m2/v0.3.5
1BBWGTN859 1BBWGTN859
| URI | m2://inv/1BBWGTN859 |
|---|---|
| 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 2609.39615#37DG (definition). In RNXRAZYR3S/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
1BBY7NCGS1 1BBY7NCGS1
| URI | m2://inv/1BBY7NCGS1 |
|---|---|
| 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.34339#0927 (statement). In 9WFSTGMQ4E/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
1BC4QCW02Z 1BC4QCW02Z
| URI | m2://inv/1BC4QCW02Z |
|---|---|
| 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.36517#K12W (statement). In TCS929FB1B/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
Feit's theorem 1BC4R67AFA
| URI | m2://inv/1BC4R67AFA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent set of characters#TT1W, Feit's theorem (statement)
History
- 2026-11-02: add by m2/dev
Caleb Andrew Stewart 1BC60NF8QB
| URI | m2://inv/1BC60NF8QB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caleb Andrew Stewart, Caleb Andrew Stewart (topic). Also Wikidata Q56545769
History
- 2026-11-02: add by m2/dev
Regularity of the free boundary at triple junctions 1BC8SD32CK
| URI | m2://inv/1BC8SD32CK |
|---|---|
| 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#COBJ, Regularity of the free boundary at triple junctions (statement). In CPDMYJ0NJV/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Oswald Teichmüller 1BCGFC4HYB
| URI | m2://inv/1BCGFC4HYB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#HBY5, Oswald Teichmüller (unknown)
History
- 2026-11-02: add by m2/dev
cut, Dedekind 1BCHHZR3XS
| URI | m2://inv/1BCHHZR3XS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.17/cut-dedekind, cut, Dedekind (concept). In QKM9DD2H56, index, section B.17
History
- 2026-11-01: add by m2/v0.6.13
Non-adjacent Gaps Are Euclidean 1BCJWARK6P
| URI | m2://inv/1BCJWARK6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02495#DI9J, Non-adjacent Gaps Are Euclidean (statement). In T4S7XVAJJC/e1, corollary 10.5
History
- 2026-10-29: add by m2/v0.4.12
Objection to the axiom of infinity 1BCK3TQG6X
| URI | m2://inv/1BCK3TQG6X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Controversy over Cantor's theory#5B7H, Objection to the axiom of infinity (statement)
History
- 2026-11-02: add by m2/dev
Eckmann–Hilton duality 1BCKQ3EMF8
| URI | m2://inv/1BCKQ3EMF8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#8E16, Eckmann–Hilton duality (definition)
History
- 2026-11-02: add by m2/dev
Kim Plofker 1BCMK3EC93
| URI | m2://inv/1BCMK3EC93 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kim Plofker, Kim Plofker (topic). Also Wikidata Q1741562
History
- 2026-11-02: add by m2/dev
local 1BD1XVTDX5
| URI | m2://inv/1BD1XVTDX5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#JEYV, local (definition)
History
- 2026-11-02: add by m2/dev
Hirosi Ooguri 1BD70QRBAB
| URI | m2://inv/1BD70QRBAB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#BNYB, Hirosi Ooguri (unknown)
History
- 2026-11-02: add by m2/dev
Definition 1BD9T42D8P
| URI | m2://inv/1BD9T42D8P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liénard equation#HMBO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Clipping (computer graphics) 1BDCQ6AHEQ
| URI | m2://inv/1BDCQ6AHEQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#NBIK, Clipping (computer graphics) (unknown)
History
- 2026-11-02: add by m2/dev
1BDEM1BS3C 1BDEM1BS3C
| URI | m2://inv/1BDEM1BS3C |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27961#A2CI (unknown)
History
- 2026-11-01: add by m2/v0.6.15
The dot product is the ``only'' inner form 1BDEQH1V1C
| URI | m2://inv/1BDEQH1V1C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#example-5, The dot product is the ``only'' inner form (example). In RZP28ERRZV, example, section 60.3
History
- 2026-11-01: add by m2/v0.6.13
Definition 1BDPK255VM
| URI | m2://inv/1BDPK255VM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-value (statistics)#FUIN, Definition (definition)
History
- 2026-11-02: add by m2/dev
epitrochoid 1BDRF8NHTA
| URI | m2://inv/1BDRF8NHTA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1088210, epitrochoid (unknown). Also MathWorld Epitrochoid
- wikipedia: Wikipedia Epitrochoid, Epitrochoid (definition). Also Wikidata Q1088210
History
- 2026-10-26: add by m2/dev
1BE37K4X8Y 1BE37K4X8Y
| URI | m2://inv/1BE37K4X8Y |
|---|---|
| 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 2401.13523#1ZBH (statement). In DDA62XQTWW/e1, lemma 4.12
History
- 2026-10-27: add by m2/v0.3.5
Carl Gustav Jakob Jacobi 1BE6WWBH77
| URI | m2://inv/1BE6WWBH77 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#Q6IY, Carl Gustav Jakob Jacobi (topic)
History
- 2026-11-02: add by m2/dev
Forum Geometricorum 1BE9VJ7RRE
| URI | m2://inv/1BE9VJ7RRE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forum Geometricorum, Forum Geometricorum (definition). Also Wikidata Q1439208
History
- 2026-11-02: add by m2/dev
1BE9VVF7B1 1BE9VVF7B1
| URI | m2://inv/1BE9VVF7B1 |
|---|---|
| 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.15744#F07R (statement). In NV3PBZGBB7/e1, proposition 6.8
History
- 2026-10-28: add by m2/v0.4.2
Amenable group 1BEAEQYEFH
| URI | m2://inv/1BEAEQYEFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#JB0Y, Amenable group (definition)
- wikipedia: Wikipedia List of functional analysis topics#V7O7, Amenable group (definition)
- wikipedia: Wikipedia List of harmonic analysis topics#QAUL, Amenable group (definition)
- wikipedia: Wikipedia List of integration and measure theory topics#NANZ, Amenable group (definition)
History
- 2026-11-02: add by m2/dev
1BEBYHD0E8 1BEBYHD0E8
| URI | m2://inv/1BEBYHD0E8 |
|---|---|
| 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 2607.00323#WP89 (statement). In BPRFEQY7W4/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.3.6
1BEDC424EA 1BEDC424EA
| URI | m2://inv/1BEDC424EA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#lem:coh-hprop (statement). In N54F33XE07, lem, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Zhang-Zhong-Zhu inequality and Lipschitz continuity of harmonic maps 1BEFTYX8P5
| URI | m2://inv/1BEFTYX8P5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04317#JQP7, Zhang-Zhong-Zhu inequality and Lipschitz continuity of harmonic maps (statement). In 49V3ANDZTY/e1, theorem 6.18
History
- 2026-10-27: add by m2/v0.3.5
Strong and weak localization 1BEHGV4WRN
| URI | m2://inv/1BEHGV4WRN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18992#N59B, Strong and weak localization (definition). In S7PNTM0GZC/e1, definition 1.5
History
- 2026-10-28: add by m2/v0.4.2
(Wilczyński, 2007) 1BEMRBTE20
| URI | m2://inv/1BEMRBTE20 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann series theorem#SKC9, (Wilczyński, 2007) (statement)
History
- 2026-11-02: add by m2/dev
Asymptotic rank-preservation ordering 1BER6X30GF
| URI | m2://inv/1BER6X30GF |
|---|---|
| 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.16680#AV62, Asymptotic rank-preservation ordering (statement). In H29YHXQZV6/e1, corollary 23
History
- 2026-10-28: add by m2/v0.4.2
Smith graph 1BETPBWDZ0
| URI | m2://inv/1BETPBWDZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smith graph, Smith graph (definition). Also Wikidata Q85801675
History
- 2026-11-02: add by m2/dev
1BEZ5H2PF5 1BEZ5H2PF5
| URI | m2://inv/1BEZ5H2PF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#WCR1 (statement). In X47RYAZF8P/e1, corollary 10.4
History
- 2026-10-28: add by m2/v0.4.2
Applications 1BF3R3PH6M
| URI | m2://inv/1BF3R3PH6M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theory of functional connections#SEN8, Applications (example)
History
- 2026-11-02: add by m2/dev
1BFB36GJ51 1BFB36GJ51
| URI | m2://inv/1BFB36GJ51 |
|---|---|
| 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.25656#250G (definition)
History
- 2026-11-01: add by m2/v0.6.15
1BFGXK6GMJ 1BFGXK6GMJ
| URI | m2://inv/1BFGXK6GMJ |
|---|---|
| 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.12479#PY21 (statement). In WE001PR75Z/e1, proposition 20
History
- 2026-10-28: add by m2/v0.4.2
Fractional PDE form 1BFPXYKY5Q
| URI | m2://inv/1BFPXYKY5Q |
|---|---|
| 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.10188#ST04, Fractional PDE form (statement). In S608Z3ZBP6/e1, corollary 1.3
History
- 2026-10-29: add by m2/v0.4.10
1BFTNWHQ2P 1BFTNWHQ2P
| URI | m2://inv/1BFTNWHQ2P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07240#6ONF (statement). In D0F1GK5AHW/e1, theorem 1.14
History
- 2026-10-29: add by m2/v0.4.10
Conteo de Población y Vivienda 1BG0S1D14V
| URI | m2://inv/1BG0S1D14V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conteo de Población y Vivienda, Conteo de Población y Vivienda (definition). Also Wikidata Q5165136
History
- 2026-11-02: add by m2/dev
Branch prediction analysis 1BG3NS9XW3
| URI | m2://inv/1BG3NS9XW3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA cryptosystem#KZ1B, Branch prediction analysis (unknown)
History
- 2026-11-02: add by m2/dev
1BG70QSAR6 1BG70QSAR6
| URI | m2://inv/1BG70QSAR6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#K65T (statement). In VN084GGZGK/e1, corollary 5.28
History
- 2026-10-28: add by m2/v0.4.3
1BG85JB16B 1BG85JB16B
| URI | m2://inv/1BG85JB16B |
|---|---|
| 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 2609.33300#RX58 (statement). In AWF7ZHK4EM/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Edwin James George Pitman 1BGJYY5FVN
| URI | m2://inv/1BGJYY5FVN |
|---|---|
| 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 Q1294714, Edwin James George Pitman (unknown). Also ProofWiki Mathematician:Edwin_James_George_Pitman
- wikipedia: Wikipedia E. J. G. Pitman, E. J. G. Pitman (topic). Also Wikidata Q1294714
History
- 2026-10-26: add by m2/dev
wallpaper group 1BGSMQ51SV
| URI | m2://inv/1BGSMQ51SV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q906867, wallpaper group (unknown). Also MathWorld WallpaperGroups, nLab wallpaper group
- wikipedia: Wikipedia Wallpaper group, Wallpaper group (definition). Also Wikidata Q906867
History
- 2026-10-26: add by m2/dev
Properties 1BGZY6E0Q5
| URI | m2://inv/1BGZY6E0Q5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square#7R80, Properties (statement)
History
- 2026-11-02: add by m2/dev
Nil-Coxeter algebra 1BH9MFBMDB
| URI | m2://inv/1BH9MFBMDB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nil-Coxeter algebra, Nil-Coxeter algebra (definition). Also Wikidata Q7036771
History
- 2026-11-02: add by m2/dev
ABL Rank-One Reduction 1BHAE4F6TD
| URI | m2://inv/1BHAE4F6TD |
|---|---|
| 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.27120#R10X, ABL Rank-One Reduction (statement)
History
- 2026-11-01: add by m2/v0.6.15
1BHB144KSH 1BHB144KSH
| URI | m2://inv/1BHB144KSH |
|---|---|
| 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.06343#UYA3 (statement). In R8176XJ535/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
Stationarity estimate 1BHCAAC89M
| URI | m2://inv/1BHCAAC89M |
|---|---|
| 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.39736#ZF32, Stationarity estimate (statement). In BB1XJ47PVW/e1, lemma 24
History
- 2026-10-30: add by m2/v0.4.12
Osserman conjecture 1BHMYEVGSQ
| URI | m2://inv/1BHMYEVGSQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Osserman manifold#KLAS, Osserman conjecture (statement)
History
- 2026-11-02: add by m2/dev
Gδ set 1BHS6ZD438
| URI | m2://inv/1BHS6ZD438 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#RWOC, Gδ set (definition)
History
- 2026-11-02: add by m2/dev
Hypercomplex number 1BHTRHA60T
| URI | m2://inv/1BHTRHA60T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#B5T3, Hypercomplex number (definition)
History
- 2026-11-02: add by m2/dev
1BHWTVY4AF 1BHWTVY4AF
| URI | m2://inv/1BHWTVY4AF |
|---|---|
| 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.27518#K0LM (statement)
History
- 2026-11-01: add by m2/v0.6.15
1BHXRFC479 1BHXRFC479
| URI | m2://inv/1BHXRFC479 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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.38970#HPYF (definition). In VE6WBAMDSA/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
11-cell 1BJ3XQPGGV
| URI | m2://inv/1BJ3XQPGGV |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4547222, 11-cell (unknown). Also MathWorld 11-Cell
- wikipedia: Wikipedia 11-cell, 11-cell (object). Also Wikidata Q4547222
History
- 2026-10-26: add by m2/dev
Official statistics 1BJ4DBQGY9
| URI | m2://inv/1BJ4DBQGY9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Official statistics, Official statistics (definition). Also Wikidata Q7079603
History
- 2026-11-02: add by m2/dev
1BJBJZH8N9 1BJBJZH8N9
| URI | m2://inv/1BJBJZH8N9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#definition-3 (definition). In RZP28ERRZV, definition, section 60.1.3
History
- 2026-11-01: add by m2/v0.6.13
Geometrization; Hamilton--Perelman 1BJSJG4FDF
| URI | m2://inv/1BJSJG4FDF |
|---|---|
| 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.13897#MZUH, Geometrization; Hamilton--Perelman (statement). In HJ0J4R06ZM/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Chung Laung Liu 1BK199N9W3
| URI | m2://inv/1BK199N9W3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FWFB, Chung Laung Liu (unknown)
History
- 2026-11-02: add by m2/dev
Michael O. Rabin 1BK3GYM45K
| URI | m2://inv/1BK3GYM45K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael O. Rabin, Michael O. Rabin (topic). Also Wikidata Q357965
History
- 2026-11-02: add by m2/dev
1BK3QY92K1 1BK3QY92K1
| URI | m2://inv/1BK3QY92K1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-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 2403.16388#5ZOE (example). In HH4ADHZ8XD/e1, example 2.5
History
- 2026-10-27: add by m2/v0.4.0
Encoding of finite sequences 1BK3XDX006
| URI | m2://inv/1BK3XDX006 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#45EQ, Encoding of finite sequences (definition). In WD2NCBV9F0/e1, definition 5.9
History
- 2026-10-27: add by m2/v0.3.5
1BK7TK2C7Z 1BK7TK2C7Z
| URI | m2://inv/1BK7TK2C7Z |
|---|---|
| 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.24192#0G1I (statement)
History
- 2026-11-01: add by m2/v0.6.15
1BK7Z004AE 1BK7Z004AE
| URI | m2://inv/1BK7Z004AE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2105.13129#XTXQ (example). In J5Z1JD5VKR/e1, example 2.2
History
- 2026-10-27: add by m2/v0.4.0
1BKC2RKXW7 1BKC2RKXW7
| URI | m2://inv/1BKC2RKXW7 |
|---|---|
| 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.23424#VVWX (statement)
History
- 2026-11-02: add by m2/v0.6.17
1BKVCXYJRW 1BKVCXYJRW
| URI | m2://inv/1BKVCXYJRW |
|---|---|
| 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#MT4V (statement). In M0SQY5EZN5/e1, corollary 5.3.3
History
- 2026-10-27: add by m2/v0.3.5
1BM0T527H2 1BM0T527H2
| URI | m2://inv/1BM0T527H2 |
|---|---|
| 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 2610.07092#9EIW (statement). In JWNYJVH8XG/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
Infrared divergence 1BM1NNS52D
| URI | m2://inv/1BM1NNS52D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#VUUQ, Infrared divergence (unknown)
History
- 2026-11-02: add by m2/dev
Euler's theorem 1BMEAM686M
| URI | m2://inv/1BMEAM686M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8JZF, Euler's theorem (statement)
History
- 2026-11-02: add by m2/dev
Example 1BMKN9CX1C
| URI | m2://inv/1BMKN9CX1C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial correlation#T87R, Example (example)
History
- 2026-11-02: add by m2/dev
2-category 1BN0A5SWW7
| URI | m2://inv/1BN0A5SWW7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#HZXF, 2-category (definition)
History
- 2026-11-02: add by m2/dev
Nielsen realization problem 1BN4FWG2K0
| URI | m2://inv/1BN4FWG2K0 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ZVOP, Nielsen realization problem (problem)
History
- 2026-11-02: add by m2/dev
universal, property, of $\Sn^1$ 1BN9KZPBX6
| URI | m2://inv/1BN9KZPBX6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.2/universal-property-of-sn-1, universal, property, of $\Sn^1$ (concept). In N54F33XE07, index, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Gustave Solomon 1BNK486YZW
| URI | m2://inv/1BNK486YZW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#AYST, Gustave Solomon (topic)
History
- 2026-11-02: add by m2/dev
Definition 1BNPV9BE70
| URI | m2://inv/1BNPV9BE70 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex random variable#Z0SU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bitmap textures 1BP05236WN
| URI | m2://inv/1BP05236WN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#IDMM, Bitmap textures (unknown)
History
- 2026-11-02: add by m2/dev
1BP20KMZG8 1BP20KMZG8
| URI | m2://inv/1BP20KMZG8 |
|---|---|
| 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 2506.07061#KUS3 (statement). In G2PA4KAGRP/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.3.6
Clifford William Mendel 1BP82H5RG6
| URI | m2://inv/1BP82H5RG6 |
|---|---|
| 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#K105, Clifford William Mendel (unknown)
History
- 2026-11-02: add by m2/dev
\texttt{Entropy exponential convergence by constrained log-Sobolev inequality 1BPN6G6K0P
| URI | m2://inv/1BPN6G6K0P |
|---|---|
| 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.06343#UW9T, \texttt{Entropy exponential convergence by constrained log-Sobolev inequality (statement). In R8176XJ535/e1, theorem 1.10
History
- 2026-10-29: add by m2/v0.4.10
1BPSMVS14D 1BPSMVS14D
| URI | m2://inv/1BPSMVS14D |
|---|---|
| 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.18219#71T8 (statement). In X1AGBB90EH/e1, lemma 5.8
History
- 2026-10-28: add by m2/v0.4.2
Thurston's hyperbolization theorem for Haken manifolds 1BQ4RXZHJX
| URI | m2://inv/1BQ4RXZHJX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-manifold#UN8W, Thurston's hyperbolization theorem for Haken manifolds (statement)
History
- 2026-11-02: add by m2/dev
Compatible metrics for the mixed model 1BQ58WG0WS
| URI | m2://inv/1BQ58WG0WS |
|---|---|
| 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.03298#FOKO, Compatible metrics for the mixed model (statement). In 9SBZP218SM/e1, proposition 9.4
History
- 2026-10-29: add by m2/v0.4.12
Ostrich effect 1BQ5C4N4HH
| URI | m2://inv/1BQ5C4N4HH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#DZ86, Ostrich effect (unknown)
History
- 2026-11-02: add by m2/dev
Law of the weak excluded middle 1BQ7ACFGDN
| URI | m2://inv/1BQ7ACFGDN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of excluded middle#AS5S, Law of the weak excluded middle (statement)
History
- 2026-11-02: add by m2/dev
Statement 1BQ86MVAJP
| URI | m2://inv/1BQ86MVAJP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Muirhead's inequality#U0CY, Statement (statement)
History
- 2026-11-02: add by m2/dev
Examples 1BQRYJJXC3
| URI | m2://inv/1BQRYJJXC3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric monoidal category#J9U1, Examples (example)
History
- 2026-11-02: add by m2/dev
Substitution maps 1BQS5KD9RT
| URI | m2://inv/1BQS5KD9RT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10745#VAL7, Substitution maps (definition). In 5MJ4NJ5ZCV/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.3
1BQYQ0F5YQ 1BQYQ0F5YQ
| URI | m2://inv/1BQYQ0F5YQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#prop:sat-quant (statement). In PKGMM3P5QY, prop, section 19.4
History
- 2026-11-01: add by m2/v0.6.13
1BR2ME8V4P 1BR2ME8V4P
| URI | m2://inv/1BR2ME8V4P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38556#BNH8 (statement). In GC2H0HS7ZM/e1, lemma 3.13
History
- 2026-10-30: add by m2/v0.4.12
1BR2TQCZRC 1BR2TQCZRC
| URI | m2://inv/1BR2TQCZRC |
|---|---|
| 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.15472#OR2B (statement). In 5Z3FH46YSY/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Sobolev space \`a la Korevaar-Schoen 1BR35SAX43
| URI | m2://inv/1BR35SAX43 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04317#QJSC, Sobolev space \`a la Korevaar-Schoen (definition). In 49V3ANDZTY/e1, definition 6.2
History
- 2026-10-27: add by m2/v0.3.5
1BR864NJDK 1BR864NJDK
| URI | m2://inv/1BR864NJDK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.10058#ON2O (statement). In YQKKA47GS9/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
Hopf lemma 1BRA59Q4R1
| URI | m2://inv/1BRA59Q4R1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#94WH, Hopf lemma (statement)
History
- 2026-11-02: add by m2/dev
Applications 1BRDAFGJD5
| URI | m2://inv/1BRDAFGJD5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Log-t distribution#8C40, Applications (example)
History
- 2026-11-02: add by m2/dev
Ulrike Meier Yang 1BREP8DDV1
| URI | m2://inv/1BREP8DDV1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ulrike Meier Yang, Ulrike Meier Yang (topic). Also Wikidata Q102196885
History
- 2026-11-02: add by m2/dev
Ernie Zeigler 1BRGSDY2XR
| URI | m2://inv/1BRGSDY2XR |
|---|---|
| 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#D943, Ernie Zeigler (unknown)
History
- 2026-11-02: add by m2/dev
1BRK7WBGKR 1BRK7WBGKR
| URI | m2://inv/1BRK7WBGKR |
|---|---|
| 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.20466#G6AQ (statement). In M4ZVJWM8YA/e1, lemma 4.30
History
- 2026-10-27: add by m2/v0.4.2
1BRM2B56RY 1BRM2B56RY
| URI | m2://inv/1BRM2B56RY |
|---|---|
| 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.11965#3G12 (statement). In 48QX0QD0XR/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.3
Uniform consistency of signature distances 1BRNE87ZHS
| URI | m2://inv/1BRNE87ZHS |
|---|---|
| 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 2607.01358#D3M1, Uniform consistency of signature distances (statement). In H808CYZ7YM/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.3.5
The endpoint estimate 1BRP6X3F38
| URI | m2://inv/1BRP6X3F38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32387#TR0X, The endpoint estimate (statement). In 294BQKZEDQ/e1, theorem 1.3
History
- 2026-10-31: add by m2/v0.5.6
1BRVA9W6BN 1BRVA9W6BN
| URI | m2://inv/1BRVA9W6BN |
|---|---|
| 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.11082#6HMS (statement). In GFPFFN0BXV/e1, lemma 11
History
- 2026-10-28: add by m2/v0.4.3
1BRZS95C57 1BRZS95C57
| URI | m2://inv/1BRZS95C57 |
|---|---|
| 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.26191#PI4C (statement)
History
- 2026-11-01: add by m2/v0.6.15
1BS4KX47VJ 1BS4KX47VJ
| URI | m2://inv/1BS4KX47VJ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/sigma1-completeness.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 30.3
History
- 2026-11-01: add by m2/v0.6.13
the dynamic decomposition structure is flat, and its counting degenerates 1BSDCVVVCP
| URI | m2://inv/1BSDCVVVCP |
|---|---|
| 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.05617#MK2S, the dynamic decomposition structure is flat, and its counting degenerates (statement). In 5JP3JTYAXK/e1, proposition 9.10
History
- 2026-10-29: add by m2/v0.4.10
One terminating series for each Hermite \(A\)-component 1BSEYE0WQW
| URI | m2://inv/1BSEYE0WQW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22027#W7H5, One terminating series for each Hermite \(A\)-component (statement)
History
- 2026-11-02: add by m2/v0.6.17
Katrina Barron 1BSM17P12H
| URI | m2://inv/1BSM17P12H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Katrina Barron, Katrina Barron (topic). Also Wikidata Q102150148
History
- 2026-11-02: add by m2/dev
Bounded overlap 1BSZTE2HTM
| URI | m2://inv/1BSZTE2HTM |
|---|---|
| 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 2609.31216#RSWZ, Bounded overlap (statement). In M9CSGRSRB3/e1, proposition 2.6
History
- 2026-10-31: add by m2/v0.5.6
Rankine scale 1BT12N2KDK
| URI | m2://inv/1BT12N2KDK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q207488, Rankine scale (definition). Also ProofWiki Definition:Rankine
History
- 2026-10-26: add by m2/dev
Seifert surface 1BT1SMDTTD
| URI | m2://inv/1BT1SMDTTD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Seifert surface K866ND3WF7 |
Mentions
- wikidata: Wikidata Q1554293, Seifert surface (concept). Also MathWorld SeifertSurface, nLab Seifert surface
- wikipedia: Wikipedia Seifert surface, Seifert surface (definition). Also Wikidata Q1554293
History
- 2026-10-26: add by m2/dev
Controlled distributions 1BT9DQH06N
| URI | m2://inv/1BT9DQH06N |
|---|---|
| Kind | definition |
| 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.21552#MTJS, Controlled distributions (definition)
History
- 2026-11-02: add by m2/v0.6.18
Entropy and Random Horseshoe 1BTA7P5FYT
| URI | m2://inv/1BTA7P5FYT |
|---|---|
| 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#KWWQ, Entropy and Random Horseshoe (statement). In 1P8D88DKG5/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
A regular starting quadrature 1BTADAPCME
| URI | m2://inv/1BTADAPCME |
|---|---|
| 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.15421#3PJB, A regular starting quadrature (statement). In 3RBKH0DA74/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
John Dee 1BTE8DR8B4
| URI | m2://inv/1BTE8DR8B4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#73F1, John Dee (unknown)
History
- 2026-11-02: add by m2/dev
1BTMYPXEM5 1BTMYPXEM5
| URI | m2://inv/1BTMYPXEM5 |
|---|---|
| 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 2609.24041#3Y6V (statement)
History
- 2026-11-02: add by m2/v0.6.17
1BTS5G5GWR 1BTS5G5GWR
| URI | m2://inv/1BTS5G5GWR |
|---|---|
| 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.09171#PNIB (statement). In 5ZPSZFE08Q/e1, theorem 1.8
History
- 2026-10-29: add by m2/v0.4.10
1BTTRCH9C3 1BTTRCH9C3
| URI | m2://inv/1BTTRCH9C3 |
|---|---|
| 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 2602.07485#RZ88 (definition). In 8KAC1E81JQ/e1, definition 9
History
- 2026-10-27: add by m2/v0.3.5
1BTVFY5BCT 1BTVFY5BCT
| URI | m2://inv/1BTVFY5BCT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19787#EMUG (statement). In A4VP56CT7B/e1, lemma 8.4
History
- 2026-10-28: add by m2/v0.4.2
1BTW3C9EVS 1BTW3C9EVS
| URI | m2://inv/1BTW3C9EVS |
|---|---|
| Kind | statement |
| 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 2609.33584#RLY6 (statement). In 3HFBAWQCA1/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Uses 1BV11WN256
| URI | m2://inv/1BV11WN256 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hohmann transfer orbit#MCWZ, Uses (example)
History
- 2026-11-02: add by m2/dev
1BV2WHYVXX 1BV2WHYVXX
| URI | m2://inv/1BV2WHYVXX |
|---|---|
| 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.20119#R7WU (statement)
History
- 2026-11-02: add by m2/v0.6.18
1BV495PQT8 1BV495PQT8
| URI | m2://inv/1BV495PQT8 |
|---|---|
| Kind | statement |
| 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#NT7Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications 1BV59Q9DVR
| URI | m2://inv/1BV59Q9DVR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peridynamics#OZRL, Applications (example)
History
- 2026-11-02: add by m2/dev
Definition 1BV5BQ2E88
| URI | m2://inv/1BV5BQ2E88 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virtual displacement#0KLD, Definition (definition)
History
- 2026-11-02: add by m2/dev
Multiparty communication complexity 1BV6YJXB8H
| URI | m2://inv/1BV6YJXB8H |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 68Q17 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6934835, Multiparty communication complexity (topic)
- wikipedia: Wikipedia Multiparty communication complexity, Multiparty communication complexity (definition). Also Wikidata Q6934835
History
- 2026-10-26: add by m2/dev
Exponential distribution 1BV99CBDFM
| URI | m2://inv/1BV99CBDFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WM2R, Exponential distribution (definition)
- wikipedia: Wikipedia List of exponential topics#9VMQ, Exponential distribution (definition)
History
- 2026-11-02: add by m2/dev
7-cube 1BVD69G1EW
| URI | m2://inv/1BVD69G1EW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#QXCJ, 7-cube (object)
History
- 2026-11-02: add by m2/dev
Properties 1BVH80G4CY
| URI | m2://inv/1BVH80G4CY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yang–Mills moduli space#ANK7, Properties (statement)
History
- 2026-11-02: add by m2/dev
Arthur W. Conway 1BVM1W3H67
| URI | m2://inv/1BVM1W3H67 |
|---|---|
| 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#5RI5, Arthur W. Conway (topic)
History
- 2026-11-02: add by m2/dev
1BVQGNNDGP 1BVQGNNDGP
| URI | m2://inv/1BVQGNNDGP |
|---|---|
| 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.24043#IWJB (statement)
History
- 2026-11-02: add by m2/v0.6.17
Confinement 1BVVGE1GE4
| URI | m2://inv/1BVVGE1GE4 |
|---|---|
| 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.06490#7RWX, Confinement (statement). In NKXTXH59P1/e1, lemma F.8
History
- 2026-10-29: add by m2/v0.4.10
1BVX0DNNM9 1BVX0DNNM9
| URI | m2://inv/1BVX0DNNM9 |
|---|---|
| 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.03384#FGVU (statement). In J55JTTKG84/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.12
secant 1BVYNZ70DC
| URI | m2://inv/1BVYNZ70DC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1467935, secant (definition). Also EoM Secant, MathWorld Secant, ProofWiki Definition:Secant_Function
History
- 2026-10-26: add by m2/dev
1BVZWCEC80 1BVZWCEC80
| URI | m2://inv/1BVZWCEC80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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.09422#BYC9 (statement). In MS7M2BJS9X/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.10
1BW2K9WA21 1BW2K9WA21
| URI | m2://inv/1BW2K9WA21 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35180#I8B2 (problem). In ZA34B1CR9M/e1, problem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Maciej Zworski 1BW4CSD47S
| URI | m2://inv/1BW4CSD47S |
|---|---|
| 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 Q4027104, Maciej Zworski (unknown). Also nLab Maciej Zworski
- wikipedia: Wikipedia Maciej Zworski, Maciej Zworski (topic). Also Wikidata Q4027104
History
- 2026-10-26: add by m2/dev
Representation 1BW4E8HJQE
| URI | m2://inv/1BW4E8HJQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point process#HDF3, Representation (definition)
History
- 2026-11-02: add by m2/dev
1BW4GZJQXZ 1BW4GZJQXZ
| URI | m2://inv/1BW4GZJQXZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-1 (exercise). In E59CDZA4DP, exercise, section 1.1.4
History
- 2026-11-01: add by m2/v0.6.13
1BW634782G 1BW634782G
| URI | m2://inv/1BW634782G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/frobenius.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 13.4
History
- 2026-11-01: add by m2/v0.6.13
EWMA 1BW6PWPC66
| URI | m2://inv/1BW6PWPC66 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moving average#BOX6, EWMA (unknown)
History
- 2026-11-02: add by m2/dev
Inherited eigenvectors 1BW6RB6KEX
| URI | m2://inv/1BW6RB6KEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14310#BPTA, Inherited eigenvectors (statement). In 8GSG7024NW/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Product reduction 1BW6TP7AEN
| URI | m2://inv/1BW6TP7AEN |
|---|---|
| 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#BQM6, Product reduction (statement)
History
- 2026-11-01: add by m2/v0.6.15
1BW7RK6NSV 1BW7RK6NSV
| URI | m2://inv/1BW7RK6NSV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05506#D21G (statement). In FT53PMB1TE/e1, lemma 2.3.12
History
- 2026-10-29: add by m2/v0.4.10
icosagon 1BWA1K59SN
| URI | m2://inv/1BWA1K59SN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q215609, icosagon (unknown). Also MathWorld TrigonometryAnglesPi20
- wikipedia: Wikipedia Icosagon, Icosagon (definition). Also Wikidata Q215609
History
- 2026-10-26: add by m2/dev
Quatre-Vingt 1BWJ0EYVMS
| URI | m2://inv/1BWJ0EYVMS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vigesimal#H1AO, Quatre-Vingt (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations 1BWR6A8VW8
| URI | m2://inv/1BWR6A8VW8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel–Cantelli lemma#CUQC, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
1BX1AQKFJH 1BX1AQKFJH
| URI | m2://inv/1BX1AQKFJH |
|---|---|
| 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 math/9802134#DZW1 (statement). In 235B1J1ETB/e1, fact 1.16
History
- 2026-10-27: add by m2/v0.3.5
1BX6R2PSKJ 1BX6R2PSKJ
| URI | m2://inv/1BX6R2PSKJ |
|---|---|
| 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.36068#QG6J (statement). In CKNAB8QY5B/e1, proposition 14
History
- 2026-10-30: add by m2/v0.4.12
Relative entropy identity 1BX9ZWSYSG
| URI | m2://inv/1BX9ZWSYSG |
|---|---|
| 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.04894#4EA4, Relative entropy identity (statement). In AZZ35SDENN/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
1BXK1YM3B3 1BXK1YM3B3
| URI | m2://inv/1BXK1YM3B3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.07461#HQHE (statement). In GAG532VMPF/e1, lemma 7.2.9
History
- 2026-10-27: add by m2/v0.3.5
hypercharge 1BXP3AX8EK
| URI | m2://inv/1BXP3AX8EK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1194002, hypercharge (unknown). Also nLab hypercharge
History
- 2026-10-26: add by m2/dev
Special unitary group 1BXTP2R3EZ
| URI | m2://inv/1BXTP2R3EZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#4GNQ, Special unitary group (definition)
History
- 2026-11-02: add by m2/dev
Agnar Höskuldsson 1BXXDFVTJW
| URI | m2://inv/1BXXDFVTJW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Agnar Höskuldsson, Agnar Höskuldsson (topic). Also Wikidata Q17305593
History
- 2026-11-02: add by m2/dev
Canonical factorizations 1BXZ0DW8N0
| URI | m2://inv/1BXZ0DW8N0 |
|---|---|
| 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#1MWL, Canonical factorizations (statement). In Q5Z178SAHP/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
1BY0HGWM86 1BY0HGWM86
| URI | m2://inv/1BY0HGWM86 |
|---|---|
| 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 math/9801068#GOR5 (statement). In PMMWXCJVAZ/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.3.5
1BY1N8BWRZ 1BY1N8BWRZ
| URI | m2://inv/1BY1N8BWRZ |
|---|---|
| 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#884R (statement). In MBHJA0HT06/e1, proposition 6.2
History
- 2026-10-30: add by m2/v0.4.12
Courcelle's theorem 1BY7H6SJ7K
| URI | m2://inv/1BY7H6SJ7K |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5178114, Courcelle's theorem (statement). Also Wikidata Q5178114
- thousand_plus: thousand_plus Q5178114, Courcelle's theorem (statement). Also Wikidata Q5178114, Wikipedia Courcelle's theorem
- wikipedia: Wikipedia Courcelle's theorem, Courcelle's theorem (statement). Also Wikidata Q5178114
History
- 2026-10-26: add by m2/dev
Skin in the Game 1BYEXTX7M8
| URI | m2://inv/1BYEXTX7M8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skin in the Game (book), Skin in the Game (definition). Also Wikidata Q53024047
History
- 2026-11-02: add by m2/dev
Haxell 1BYHXC4458
| URI | m2://inv/1BYHXC4458 |
|---|---|
| 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.35766#ZTQT, Haxell (statement). In 6638EFW1NG/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
Chebyshev's inequality 1BYMKS9HGY
| URI | m2://inv/1BYMKS9HGY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard deviation#3NF3, Chebyshev's inequality (statement)
History
- 2026-11-02: add by m2/dev
Balbis 1BYYQC64HA
| URI | m2://inv/1BYYQC64HA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#YK81, Balbis (definition)
- wikipedia: Wikipedia List of mathematical shapes#HX9R, Balbis (definition)
History
- 2026-11-02: add by m2/dev
Gluing identity 1BYZE3M95W
| URI | m2://inv/1BYZE3M95W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19669#QDI5, Gluing identity (statement). In 1QPAA94Q76/e1, lemma 36
History
- 2026-10-28: add by m2/v0.4.2
1BZ6H3E0VN 1BZ6H3E0VN
| URI | m2://inv/1BZ6H3E0VN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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.11800#JUV6 (statement). In 8TSZ2E32K3/e1, corollary 5.5
History
- 2026-10-28: add by m2/v0.4.3
1BZBNHFZDP 1BZBNHFZDP
| URI | m2://inv/1BZBNHFZDP |
|---|---|
| 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.20466#RKRG (statement). In M4ZVJWM8YA/e1, lemma 5.28
History
- 2026-10-27: add by m2/v0.4.2
1BZG0MTD46 1BZG0MTD46
| URI | m2://inv/1BZG0MTD46 |
|---|---|
| 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.30663#KV1V (statement). In 3JZDKWS8NK/e1, lemma 6.1
History
- 2026-10-31: add by m2/v0.5.6
Main result for \algoname 1BZSAW6ZC8
| URI | m2://inv/1BZSAW6ZC8 |
|---|---|
| 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 2108.05533#59R5, Main result for \algoname (statement). In 14DZA4M2C6/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.5