Inventory rows ZB
The cards of the rows of the inventory whose ids start with ZB. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
N.I. Lobachevsky Institute of Mathematics and Mechanics ZB0HCESB6N
| URI | m2://inv/ZB0HCESB6N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N.I. Lobachevsky Institute of Mathematics and Mechanics, N.I. Lobachevsky Institute of Mathematics and Mechanics (definition). Also Wikidata Q19823090
History
- 2026-11-02: add by m2/dev
Troels Harmark ZB0MY0YZH6
| URI | m2://inv/ZB0MY0YZH6 |
|---|---|
| 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 Q84053832, Troels Harmark (unknown). Also nLab Troels Harmark
History
- 2026-10-26: add by m2/dev
Maksym Radziwill ZB0PQ8NEN5
| URI | m2://inv/ZB0PQ8NEN5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maksym Radziwill, Maksym Radziwill (topic). Also Wikidata Q27061958
History
- 2026-11-02: add by m2/dev
Chaikin's corner-cutting ZB0PTNNW71
| URI | m2://inv/ZB0PTNNW71 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subdivision surface#BRWK, Chaikin's corner-cutting (unknown)
History
- 2026-11-02: add by m2/dev
ZB0RD8ZMZA ZB0RD8ZMZA
| URI | m2://inv/ZB0RD8ZMZA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32903#QKXU (statement). In S8NB83KQX3/e1, lemma 10
History
- 2026-10-31: add by m2/v0.5.6
{Norm of $a+b\sqrt[3] 2+c \sqrt[3] 4$} ZB0XY18PES
| URI | m2://inv/ZB0XY18PES |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/norm-trace.tex#example-2, {Norm of $a+b\sqrt[3] 2+c \sqrt[3] 4$} (example). In RZP28ERRZV, example, section 15.1
History
- 2026-11-01: add by m2/v0.6.13
ZB0Y3WJ78T ZB0Y3WJ78T
| URI | m2://inv/ZB0Y3WJ78T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-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.08837#ANGZ (statement). In KBH265QSBT/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
L-balance theorem ZB1DK8DBHG
| URI | m2://inv/ZB1DK8DBHG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#XI4D, L-balance theorem (statement)
History
- 2026-11-02: add by m2/dev
Unconditional collision bound ZB1P6BTKAB
| URI | m2://inv/ZB1P6BTKAB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08280#O74R, Unconditional collision bound (statement). In EGADPYP7R3/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
ZB1VBS5M44 ZB1VBS5M44
| URI | m2://inv/ZB1VBS5M44 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 11N13 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114706388 (topic)
History
- 2026-10-26: add by m2/dev
ZB1WG8S5S4 ZB1WG8S5S4
| URI | m2://inv/ZB1WG8S5S4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/excision.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 53.3
History
- 2026-11-01: add by m2/v0.6.13
Critical-set counts ZB21B5R5QH
| URI | m2://inv/ZB21B5R5QH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19953#UD4U, Critical-set counts (statement). In CHPJWBREES/e1, corollary 3.5
History
- 2026-10-28: add by m2/v0.4.2
ZB22SM7WMP ZB22SM7WMP
| URI | m2://inv/ZB22SM7WMP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#NW5M (definition). In M0SQY5EZN5/e1, definition 1.1.10
History
- 2026-10-27: add by m2/v0.3.5
Applications ZB24NJDXZV
| URI | m2://inv/ZB24NJDXZV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cursed equilibrium#AXQ7, Applications (example)
History
- 2026-11-02: add by m2/dev
Example ZB24YF14B6
| URI | m2://inv/ZB24YF14B6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transition-rate matrix#1KLX, Example (example)
History
- 2026-11-02: add by m2/dev
Definition of criterion ZB275DXXE0
| URI | m2://inv/ZB275DXXE0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Criterion-referenced test#IRY0, Definition of criterion (definition)
History
- 2026-11-02: add by m2/dev
ZB2B2R1DZX ZB2B2R1DZX
| URI | m2://inv/ZB2B2R1DZX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/unique-readability.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 22.2
History
- 2026-11-01: add by m2/v0.6.13
ZB2C9Y3TFR ZB2C9Y3TFR
| URI | m2://inv/ZB2C9Y3TFR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13972#OABZ (statement). In S1KHNS8XQM/e1, theorem 9.2
History
- 2026-10-28: add by m2/v0.4.2
ZB2H33SWYC ZB2H33SWYC
| URI | m2://inv/ZB2H33SWYC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-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.14278#EQW0 (statement). In RTE2C0PH4S/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
dual graph ZB2MZA81H1
| URI | m2://inv/ZB2MZA81H1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#34C9, dual graph (definition). In JXTG8KP95P/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Discrete geometry ZB2NA9MMVC
| URI | m2://inv/ZB2NA9MMVC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#EUL2, Discrete geometry (definition)
History
- 2026-11-02: add by m2/dev
ZB2P3EQZ3M ZB2P3EQZ3M
| URI | m2://inv/ZB2P3EQZ3M |
|---|---|
| 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 2405.10747#DGH1 (statement). In X0PS03QCG0/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
ZB2S32G1VR ZB2S32G1VR
| URI | m2://inv/ZB2S32G1VR |
|---|---|
| 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 2506.21337#JHR4 (statement). In EPZN0JTG2Z/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
ZB2WH50SDV ZB2WH50SDV
| URI | m2://inv/ZB2WH50SDV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20522#QVZO (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definitions ZB2XFBC11H
| URI | m2://inv/ZB2XFBC11H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trapezoid#9J1S, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Full-order structure ZB2YRHB91H
| URI | m2://inv/ZB2YRHB91H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20270#S5ED, Full-order structure (statement). In GV0QGZH67P/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.4.2
Applications ZB307BZKSJ
| URI | m2://inv/ZB307BZKSJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaniadakis logistic distribution#6B8K, Applications (example)
History
- 2026-11-02: add by m2/dev
ZB34B312SW ZB34B312SW
| URI | m2://inv/ZB34B312SW |
|---|---|
| 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.20702#K5J1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
linear combination ZB36GKKFHX
| URI | m2://inv/ZB36GKKFHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#7A0M, linear combination (definition)
History
- 2026-11-02: add by m2/dev
ZB383BJS6D ZB383BJS6D
| URI | m2://inv/ZB383BJS6D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28495#P26S (definition)
History
- 2026-11-01: add by m2/v0.6.15
ZB3AM17DW8 ZB3AM17DW8
| URI | m2://inv/ZB3AM17DW8 |
|---|---|
| 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 2407.04161#URO6 (statement). In JBZJ7NPQ4G/e1, proposition 6.6
History
- 2026-10-27: add by m2/v0.4.0
ZB3BQMF6AA ZB3BQMF6AA
| URI | m2://inv/ZB3BQMF6AA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23040#WJDO (statement)
History
- 2026-11-02: add by m2/v0.6.17
ZB3DB1K9PF ZB3DB1K9PF
| URI | m2://inv/ZB3DB1K9PF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02017#VVW1 (statement). In F6C80AEXC1/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.12
ZB3GYT6GRW ZB3GYT6GRW
| URI | m2://inv/ZB3GYT6GRW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.00162#JSUI (statement). In HVGT9D84WV/e1, corollary 3.7
History
- 2026-10-27: add by m2/v0.3.5
ZB3PW6P4ZB ZB3PW6P4ZB
| URI | m2://inv/ZB3PW6P4ZB |
|---|---|
| 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 2310.14879#F3QF (statement). In 3VZ55B2N0D/e1, lemma 5.23
History
- 2026-10-27: add by m2/v0.4.0
Geometric lemma ZB3RJZWYRC
| URI | m2://inv/ZB3RJZWYRC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18797#6N6Z, Geometric lemma (statement). In HVZW77G66Z/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Properties ZB3SB78BTA
| URI | m2://inv/ZB3SB78BTA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anti-diagonal matrix#LWJ9, Properties (statement)
History
- 2026-11-02: add by m2/dev
Stefano da San Gregorio ZB45AM460K
| URI | m2://inv/ZB45AM460K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stefano da San Gregorio, Stefano da San Gregorio (topic). Also Wikidata Q21209072
History
- 2026-11-02: add by m2/dev
Definition ZB47TJHSX9
| URI | m2://inv/ZB47TJHSX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational point#ZEXZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZB4AC5VNW2 ZB4AC5VNW2
| URI | m2://inv/ZB4AC5VNW2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14189#B3TP (statement). In 39VAB08YDJ/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
ZB4CVA97H5 ZB4CVA97H5
| URI | m2://inv/ZB4CVA97H5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19010#1PIK (definition). In 6315NJBYJM/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.2
ZB4D2NH57J ZB4D2NH57J
| URI | m2://inv/ZB4D2NH57J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16386#QK2P (statement). In RAF0BFY3Z3/e1, theorem 6.3
History
- 2026-10-28: add by m2/v0.4.2
ZB4D9VSKCP ZB4D9VSKCP
| URI | m2://inv/ZB4D9VSKCP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-207 (exercise). In VNMV985MXX, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
Peng Yee Lee ZB4EFDZ6P3
| URI | m2://inv/ZB4EFDZ6P3 |
|---|---|
| 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#4XI2, Peng Yee Lee (topic)
History
- 2026-11-02: add by m2/dev
Fundamental identity I ZB4HNEQ0MC
| URI | m2://inv/ZB4HNEQ0MC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic Jordan algebra#8QU3, Fundamental identity I (statement)
History
- 2026-11-02: add by m2/dev
Jörg Bewersdorff ZB4JM4MVWJ
| URI | m2://inv/ZB4JM4MVWJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jörg Bewersdorff, Jörg Bewersdorff (topic). Also Wikidata Q89025
History
- 2026-11-02: add by m2/dev
Applications ZB4N8N1CF8
| URI | m2://inv/ZB4N8N1CF8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Langevin dynamics#ZZ26, Applications (example)
History
- 2026-11-02: add by m2/dev
ZB4PDT1Q6Z ZB4PDT1Q6Z
| URI | m2://inv/ZB4PDT1Q6Z |
|---|---|
| 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 2102.12931#GY3G (statement). In PQHTR84RAJ/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.0
ZB4SGVR9QG ZB4SGVR9QG
| URI | m2://inv/ZB4SGVR9QG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.21092#3P7C (statement). In AGJE43FTF8/e1, proposition 4.22
History
- 2026-10-27: add by m2/v0.4.2
Jorge Stolfi ZB54YB8FHY
| URI | m2://inv/ZB54YB8FHY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JP68, Jorge Stolfi (unknown)
History
- 2026-11-02: add by m2/dev
Properties ZB5CRTDPQP
| URI | m2://inv/ZB5CRTDPQP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitney umbrella#LUXE, Properties (statement)
History
- 2026-11-02: add by m2/dev
ZB5DFYN6R1 ZB5DFYN6R1
| URI | m2://inv/ZB5DFYN6R1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24212#QYPM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Borel–Moore homology ZB5DP1BK6W
| URI | m2://inv/ZB5DP1BK6W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#LLEP, Borel–Moore homology (definition)
History
- 2026-11-02: add by m2/dev
ZB5FWK22TP ZB5FWK22TP
| URI | m2://inv/ZB5FWK22TP |
|---|---|
| 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 1909.03896#ZMAB (statement). In CX9RVPQVBM/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Formal definition ZB5R8VN7V0
| URI | m2://inv/ZB5R8VN7V0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monoidal category#8C3E, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
ZB5XAYK7ZG ZB5XAYK7ZG
| URI | m2://inv/ZB5XAYK7ZG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/proofs-in-K.tex#prop-4 (statement). In PKGMM3P5QY, prop, section 50.8
History
- 2026-11-01: add by m2/v0.6.13
ZB62K6NKA9 ZB62K6NKA9
| URI | m2://inv/ZB62K6NKA9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04325#HA9M (statement). In 42XHT97E64/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.12
Carath\'eodory ZB67BN7HR8
| URI | m2://inv/ZB67BN7HR8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.26270#Z1N1, Carath\'eodory (statement)
History
- 2026-11-01: add by m2/v0.6.15
Diminish of distribution ZB68JRS3CQ
| URI | m2://inv/ZB68JRS3CQ |
|---|---|
| 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 2401.14638#X46A, Diminish of distribution (statement). In 2XC2MZFWPP/e1, lemma 3.11
History
- 2026-10-27: add by m2/v0.3.5
ZB6EJJDD3R ZB6EJJDD3R
| URI | m2://inv/ZB6EJJDD3R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.07352#UCYU (statement). In 3VPC1GGZ3E/e1, theorem 4.13
History
- 2026-10-27: add by m2/v0.3.5
ZB6MVES1C5 ZB6MVES1C5
| URI | m2://inv/ZB6MVES1C5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.16669#5OA0 (statement). In 1463YCCRP5/e1, proposition 6.2
History
- 2026-10-27: add by m2/v0.4.0
Extensions of the principle ZB6SPYMHK5
| URI | m2://inv/ZB6SPYMHK5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birman–Schwinger principle#11NZ, Extensions of the principle (statement)
History
- 2026-11-02: add by m2/dev
ZB6Z1Y2G6B ZB6Z1Y2G6B
| URI | m2://inv/ZB6Z1Y2G6B |
|---|---|
| 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#1BLZ (statement). In 1P8D88DKG5/e1, lemma 8.7
History
- 2026-10-27: add by m2/v0.3.5
Applications ZB706GNBT1
| URI | m2://inv/ZB706GNBT1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangulation#V22E, Applications (example)
History
- 2026-11-02: add by m2/dev
ZB71EHBR1A ZB71EHBR1A
| URI | m2://inv/ZB71EHBR1A |
|---|---|
| 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.32946#0KGO (statement). In 6AEBXNK614/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
ZB74B8S6CN ZB74B8S6CN
| URI | m2://inv/ZB74B8S6CN |
|---|---|
| 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.14154#JREY (statement). In 8X6PXX2TRA/e1, lemma 3.11
History
- 2026-10-28: add by m2/v0.4.2
Diaconescu's theorem ZB75BJHK8N
| URI | m2://inv/ZB75BJHK8N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ONDV, Diaconescu's theorem (statement)
History
- 2026-11-02: add by m2/dev
resolvent ZB765HS8RV
| URI | m2://inv/ZB765HS8RV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#UPBP, resolvent (definition)
History
- 2026-11-02: add by m2/dev
Generalizations ZB78K2RTBP
| URI | m2://inv/ZB78K2RTBP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit group#OFZT, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Example ZB7CDP9MRN
| URI | m2://inv/ZB7CDP9MRN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Finetti's theorem#3OSR, Example (example)
History
- 2026-11-02: add by m2/dev
Examples ZB7CPZAX6K
| URI | m2://inv/ZB7CPZAX6K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Provability logic#VNTJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples ZB7DSPW4XT
| URI | m2://inv/ZB7DSPW4XT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sigmoid function#HQV6, Examples (example)
History
- 2026-11-02: add by m2/dev
Nikolai Durov ZB7JAFAQ08
| URI | m2://inv/ZB7JAFAQ08 |
|---|---|
| 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 Q7035781, Nikolai Durov (unknown). Also nLab Nikolai Durov
History
- 2026-10-26: add by m2/dev
Prismatic compound of prisms ZB7KBVR69V
| URI | m2://inv/ZB7KBVR69V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#3HZ6, Prismatic compound of prisms (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#2PN5, Prismatic compound of prisms (definition)
History
- 2026-11-02: add by m2/dev
Security parameter ZB7N8N8WJX
| URI | m2://inv/ZB7N8N8WJX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Security parameter, Security parameter (definition). Also Wikidata Q7445058
History
- 2026-11-02: add by m2/dev
Definition ZB7SW8AA0G
| URI | m2://inv/ZB7SW8AA0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#FKIU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Conservation law for the mean curvature equation ZB7WPRSJPN
| URI | m2://inv/ZB7WPRSJPN |
|---|---|
| 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.14652#GCE1, Conservation law for the mean curvature equation (statement). In A50CHJ6Q4V/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
ℓ-adic sheaf ZB7Y89WECJ
| URI | m2://inv/ZB7Y89WECJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ℓ-adic sheaf, ℓ-adic sheaf (definition). Also Wikidata Q65066754
History
- 2026-11-02: add by m2/dev
ZB80ZA4G21 ZB80ZA4G21
| URI | m2://inv/ZB80ZA4G21 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19658#36N8 (statement). In G00EYA9DXG/e1, corollary 4.4
History
- 2026-10-28: add by m2/v0.4.2
ZB8FS184XM ZB8FS184XM
| URI | m2://inv/ZB8FS184XM |
|---|---|
| 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#0TQM (statement). In 4NVVK50D1P/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.3.5
Primary Mathematics World Contest ZB8KY15FS9
| URI | m2://inv/ZB8KY15FS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#KIAY, Primary Mathematics World Contest (definition)
History
- 2026-11-02: add by m2/dev
ZB8Y11T98Q ZB8Y11T98Q
| URI | m2://inv/ZB8Y11T98Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04046#9KVY (definition). In 3THDT8WNF7/e1, definition 5
History
- 2026-10-29: add by m2/v0.4.12
ZB93BDHC0F ZB93BDHC0F
| URI | m2://inv/ZB93BDHC0F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01433#PXA5 (statement). In 160PQ7F1AS/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.12
ZB95M4JSBY ZB95M4JSBY
| URI | m2://inv/ZB95M4JSBY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.15812#VCSX (statement). In GAAZD3SGPN/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Tsirelson's bound ZB98GK4NSR
| URI | m2://inv/ZB98GK4NSR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tsirelson's bound, Tsirelson's bound (definition). Also Wikidata Q56324150
History
- 2026-11-02: add by m2/dev
Shatunovsky, Samuil Osipovich ZB9EKRW82J
| URI | m2://inv/ZB9EKRW82J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#DTPE, Shatunovsky, Samuil Osipovich (unknown)
History
- 2026-11-02: add by m2/dev
Littlewood circa 1930 ZB9JP9W4W6
| URI | m2://inv/ZB9JP9W4W6 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15809#ZB66, Littlewood circa 1930 (conjecture). In 6GBT11XKAF/e1, conjecture 1.1
History
- 2026-10-28: add by m2/v0.4.2
length contraction ZB9N3PW2WZ
| URI | m2://inv/ZB9N3PW2WZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q836595, length contraction (definition). Also ProofWiki Definition:Lorentz-Fitzgerald_Contraction
- wikipedia: Wikipedia Length contraction, Length contraction (definition). Also Wikidata Q836595
History
- 2026-10-26: add by m2/dev
ZB9RW1Z9FC ZB9RW1Z9FC
| URI | m2://inv/ZB9RW1Z9FC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12912#JTLK (definition). In PDKBKKJ4BV/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
ZB9S49CCCY ZB9S49CCCY
| URI | m2://inv/ZB9S49CCCY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1407.0548#XFEA (statement). In 3EAQ15QTJC/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
irreducible ZB9ZEDZ6YT
| URI | m2://inv/ZB9ZEDZ6YT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#60AF, irreducible (definition)
History
- 2026-11-02: add by m2/dev
ZBA0M1BKXM ZBA0M1BKXM
| URI | m2://inv/ZBA0M1BKXM |
|---|---|
| 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.30090#S3IC (statement)
History
- 2026-11-01: add by m2/v0.6.15
self-loop ZBA91AGESB
| URI | m2://inv/ZBA91AGESB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#U88T, self-loop (definition)
History
- 2026-11-02: add by m2/dev
ZBA93GT0XK ZBA93GT0XK
| URI | m2://inv/ZBA93GT0XK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-40 (exercise). In E59CDZA4DP, exercise, section 5.4.3
History
- 2026-11-01: add by m2/v0.6.13
ZBAPJ2B427 ZBAPJ2B427
| URI | m2://inv/ZBAPJ2B427 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-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 1904.08413#2TZ0 (example). In X88HPQ0W8C/e1, example 2.37
History
- 2026-10-27: add by m2/v0.3.5
Komlós–Major–Tusnády approximation ZBAT2QY2ZF
| URI | m2://inv/ZBAT2QY2ZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Komlós–Major–Tusnády approximation, Komlós–Major–Tusnády approximation (definition). Also Wikidata Q6428375
History
- 2026-11-02: add by m2/dev
ZBAVKQWFW8 ZBAVKQWFW8
| URI | m2://inv/ZBAVKQWFW8 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#QNJ4 (unknown). In R2XC1SC9NZ/e1, unknown 32
History
- 2026-10-27: add by m2/v0.3.5
ZBAWTZZJY4 ZBAWTZZJY4
| URI | m2://inv/ZBAWTZZJY4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09561#09C2 (statement). In WDV5E2CVTR/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
Examples ZBB9GSQJA8
| URI | m2://inv/ZBB9GSQJA8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grundy number#J8TD, Examples (example)
History
- 2026-11-02: add by m2/dev
Botswops ZBBCRTSCDG
| URI | m2://inv/ZBBCRTSCDG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topswops#93BG, Botswops (unknown)
History
- 2026-11-02: add by m2/dev
Examples ZBBEXJPAXK
| URI | m2://inv/ZBBEXJPAXK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oriented matroid#JEP4, Examples (example)
History
- 2026-11-02: add by m2/dev
Jointly Measurable Representatives ZBBQX5E78P
| URI | m2://inv/ZBBQX5E78P |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-28: add by m2/v0.4.2
Lens ZBBT1FMAE6
| URI | m2://inv/ZBBT1FMAE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lens, Lens (definition). Also Wikidata Q768575
History
- 2026-11-02: add by m2/dev
Flip propagation ZBBW4N527D
| URI | m2://inv/ZBBW4N527D |
|---|---|
| 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.25543#BYIF, Flip propagation (statement)
History
- 2026-11-01: add by m2/v0.6.15
562 (number) ZBBWPC68R6
| URI | m2://inv/ZBBWPC68R6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#GT6N, 562 (number) (unknown)
History
- 2026-11-02: add by m2/dev
ZBC3JKS0VS ZBC3JKS0VS
| URI | m2://inv/ZBC3JKS0VS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#problem-2 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Counting indices used by repairs ZBC5W3TKA1
| URI | m2://inv/ZBC5W3TKA1 |
|---|---|
| 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.26873#PW3G, Counting indices used by repairs (statement)
History
- 2026-11-01: add by m2/v0.6.15
univalence axiom ZBC7BR1AGW
| URI | m2://inv/ZBC7BR1AGW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.8/univalence-axiom, univalence axiom (concept). In N54F33XE07, index, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
ZBC7RAZRDB ZBC7RAZRDB
| URI | m2://inv/ZBC7RAZRDB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#6NTQ (example). In 9DQKY7KGE8/e1, example A.4
History
- 2026-10-31: add by m2/v0.5.6
Bourgain--Demeter ZBC94TFFVF
| URI | m2://inv/ZBC94TFFVF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26619#JGXT, Bourgain--Demeter (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZBC9MSJK3N ZBC9MSJK3N
| URI | m2://inv/ZBC9MSJK3N |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-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 2311.00585#B9L8 (problem). In 332PQD90SW/e1, problem 2.6
History
- 2026-10-27: add by m2/v0.3.5
Wolstenholme number ZBCAB3BS9T
| URI | m2://inv/ZBCAB3BS9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15401575, Wolstenholme number (object). Also MathWorld WolstenholmeNumber, OEIS A007406
- wikipedia: Wikipedia Wolstenholme number, Wolstenholme number (definition). Also Wikidata Q15401575
History
- 2026-10-26: add by m2/dev
ACORN ZBCBJJAMTZ
| URI | m2://inv/ZBCBJJAMTZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ACORN (random number generator), ACORN (definition). Also Wikidata Q65119510
History
- 2026-11-02: add by m2/dev
ABACABA pattern ZBCBW0JR1V
| URI | m2://inv/ZBCBW0JR1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ABACABA pattern, ABACABA pattern (definition). Also Wikidata Q48969138
History
- 2026-11-02: add by m2/dev
Icosipentagon ZBCC1HZZ3V
| URI | m2://inv/ZBCC1HZZ3V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#3FP3, Icosipentagon (topic)
History
- 2026-11-02: add by m2/dev
Pi formulas ZBCE4BSRZK
| URI | m2://inv/ZBCE4BSRZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heegner number#ZDQ5, Pi formulas (statement)
History
- 2026-11-02: add by m2/dev
Clarence F. Stephens ZBCFZ8WR2K
| URI | m2://inv/ZBCFZ8WR2K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clarence F. Stephens, Clarence F. Stephens (topic). Also Wikidata Q5126517
History
- 2026-11-02: add by m2/dev
Quantum levitation ZBCGDC0NTY
| URI | m2://inv/ZBCGDC0NTY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Casimir effect#3IP4, Quantum levitation (unknown)
History
- 2026-11-02: add by m2/dev
Vanya Mirzoyan ZBCGY6AEPW
| URI | m2://inv/ZBCGY6AEPW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vanya Mirzoyan, Vanya Mirzoyan (topic). Also Wikidata Q24053945
History
- 2026-11-02: add by m2/dev
plane ZBCQPHM9NC
| URI | m2://inv/ZBCQPHM9NC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Euclidean plane 0XW7V9ZZ05 |
Mentions
- wikidata: Wikidata Q17285, plane (definition). Also MathWorld Plane, ProofWiki Definition:Plane
- wikipedia: Wikipedia Euclidean plane, Euclidean plane (definition). Also Wikidata Q17285
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
ZBCVRVJFSG ZBCVRVJFSG
| URI | m2://inv/ZBCVRVJFSG |
|---|---|
| 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.03358#SMLU (statement). In KCXEY7HJ8V/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
ZBCWT19Y1T ZBCWT19Y1T
| URI | m2://inv/ZBCWT19Y1T |
|---|---|
| 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.38138#ZY7L (statement). In G97FA99ZEF/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Function class ZBD1GE14DC
| URI | m2://inv/ZBD1GE14DC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21461#4XWL, Function class (definition). In DWQANBV7B7/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.2
Examples ZBD6JMCFET
| URI | m2://inv/ZBD6JMCFET |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector-valued Hahn–Banach theorems#TTGN, Examples (example)
History
- 2026-11-02: add by m2/dev
Newton polynomial ZBD7PGJX2J
| URI | m2://inv/ZBD7PGJX2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#R2WL, Newton polynomial (definition)
History
- 2026-11-02: add by m2/dev
Alan Weinstein ZBD9DADART
| URI | m2://inv/ZBD9DADART |
|---|---|
| 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 Q381300, Alan Weinstein (unknown). Also nLab Alan Weinstein
- wikipedia: Wikipedia Alan Weinstein, Alan Weinstein (topic). Also Wikidata Q381300
History
- 2026-10-26: add by m2/dev
L. E. J. Brouwer ZBDBS9QB5H
| URI | m2://inv/ZBDBS9QB5H |
|---|---|
| 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#BGDH, L. E. J. Brouwer (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#EUP3, L. E. J. Brouwer (topic)
History
- 2026-11-02: add by m2/dev
ZBDE8XY2SF ZBDE8XY2SF
| URI | m2://inv/ZBDE8XY2SF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#thm:prodprimes (statement). In P1C114YBXG, theorem, section C
History
- 2026-11-01: add by m2/v0.6.13
Wigner–Eckart theorem ZBDQXXCQB8
| URI | m2://inv/ZBDQXXCQB8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#CVED, Wigner–Eckart theorem (statement)
History
- 2026-11-02: add by m2/dev
ZBDTF8NA31 ZBDTF8NA31
| URI | m2://inv/ZBDTF8NA31 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-recurrence.ptx#exercise-8 (exercise). In Y91XFCEVHQ, exercise, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Numerical Electromagnetics Code ZBDZ4QQPXY
| URI | m2://inv/ZBDZ4QQPXY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#9MPD, Numerical Electromagnetics Code (unknown)
History
- 2026-11-02: add by m2/dev
ZBE2DKQ1QC ZBE2DKQ1QC
| URI | m2://inv/ZBE2DKQ1QC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#TSL9 (statement). In V5PVKDKGGG/e1, corollary 2.5
History
- 2026-10-28: add by m2/v0.4.2
Ernst Julius Amberg ZBE5XGAGVF
| URI | m2://inv/ZBE5XGAGVF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernst Julius Amberg, Ernst Julius Amberg (topic). Also Wikidata Q37726061
History
- 2026-11-02: add by m2/dev
ZBEC3BS1DF ZBEC3BS1DF
| URI | m2://inv/ZBEC3BS1DF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22326#2INS (statement). In EAABRG99V8/e1, proposition 5.10
History
- 2026-10-27: add by m2/v0.4.0
Lemma ZBEDKNB5WX
| URI | m2://inv/ZBEDKNB5WX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central limit theorem#2ISE, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Field extension ZBEG3E54YB
| URI | m2://inv/ZBEG3E54YB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#15MX, Field extension (definition)
History
- 2026-11-02: add by m2/dev
ZBEP6EETS1 ZBEP6EETS1
| URI | m2://inv/ZBEP6EETS1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-16 (exercise). In VNMV985MXX, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Least full tail ZBEZXT3QVJ
| URI | m2://inv/ZBEZXT3QVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15262#0J9T, Least full tail (statement). In C44HVXWYRF/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
rank-one edge divisibility ZBF94XB43A
| URI | m2://inv/ZBF94XB43A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02743#QVD9, rank-one edge divisibility (statement). In GQH4ZPDWET/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Ataullah Rashidi ZBFE4XTBF7
| URI | m2://inv/ZBFE4XTBF7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#37Q8, Ataullah Rashidi (unknown)
History
- 2026-11-02: add by m2/dev
ZBFJD86NTE ZBFJD86NTE
| URI | m2://inv/ZBFJD86NTE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07530#FDVU (definition). In C7QZ0VPBC8/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
ZBFMS94QG8 ZBFMS94QG8
| URI | m2://inv/ZBFMS94QG8 |
|---|---|
| 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 2512.21427#S8K2 (statement). In G9XD78ZCAS/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.3.5
Growth of Topological Insulators ZBFPDK0G8N
| URI | m2://inv/ZBFPDK0G8N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological insulator#J6PP, Growth of Topological Insulators (unknown)
History
- 2026-11-02: add by m2/dev
Definition ZBFPJ5Z592
| URI | m2://inv/ZBFPJ5Z592 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermal conductivity and resistivity#8H2N, Definition (definition)
History
- 2026-11-02: add by m2/dev
Dorothy M. Gilford ZBFQBTPN0F
| URI | m2://inv/ZBFQBTPN0F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#TBQX, Dorothy M. Gilford (topic)
History
- 2026-11-02: add by m2/dev
ZBFRW3C622 ZBFRW3C622
| URI | m2://inv/ZBFRW3C622 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/arithmetization/cauchy.tex#def:CauchySequence (definition). In PKGMM3P5QY, defn, section 78.1
History
- 2026-11-01: add by m2/v0.6.13
Laplace transform of the limiting density ZBFXCYFVN1
| URI | m2://inv/ZBFXCYFVN1 |
|---|---|
| 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#ASCX, Laplace transform of the limiting density (statement)
History
- 2026-11-02: add by m2/v0.6.17
synthetic division ZBG1403TJ7
| URI | m2://inv/ZBG1403TJ7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7662748, synthetic division (concept). Also MathWorld SyntheticDivision
- wikipedia: Wikipedia Synthetic division, Synthetic division (definition). Also Wikidata Q7662748
History
- 2026-10-26: add by m2/dev
Results ZBG2V5EQ20
| URI | m2://inv/ZBG2V5EQ20 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach measure#CEMM, Results (statement)
History
- 2026-11-02: add by m2/dev
MyMaths ZBG47SCHQJ
| URI | m2://inv/ZBG47SCHQJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MyMaths, MyMaths (definition). Also Wikidata Q6944840
History
- 2026-11-02: add by m2/dev
Examples ZBG689HN9C
| URI | m2://inv/ZBG689HN9C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient rule#Q49V, Examples (example)
History
- 2026-11-02: add by m2/dev
Kuznyechik ZBG7Z1JZK3
| URI | m2://inv/ZBG7Z1JZK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptosystems#7ONG, Kuznyechik (definition)
History
- 2026-11-02: add by m2/dev
Critical-point normal form ZBG8KPTCGE
| URI | m2://inv/ZBG8KPTCGE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25027#ISE5, Critical-point normal form (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hemi-icosahedron ZBGG3FV7WS
| URI | m2://inv/ZBGG3FV7WS |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hemi-icosahedron, Hemi-icosahedron (object). Also Wikidata Q3893218
History
- 2026-11-02: add by m2/dev
List of algebraic topology topics ZBGGNW5VQA
| URI | m2://inv/ZBGGNW5VQA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#IE6G, List of algebraic topology topics (topic)
History
- 2026-11-02: add by m2/dev
atan2 ZBGTCBH5TV
| URI | m2://inv/ZBGTCBH5TV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.4.2/atan2, atan2 (concept). In E9HS8K3A52, index, section 6.4.2
History
- 2026-11-01: add by m2/v0.6.13
ZBGV3HA237 ZBGV3HA237
| URI | m2://inv/ZBGV3HA237 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.09700#Q5JC (statement). In XCSQ27P0XW/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.0
G/G/1 queue ZBH9RS1WSF
| URI | m2://inv/ZBH9RS1WSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G/G/1 queue, G/G/1 queue (definition). Also Wikidata Q17015140
History
- 2026-11-02: add by m2/dev
ZBH9X24NXN ZBH9X24NXN
| URI | m2://inv/ZBH9X24NXN |
|---|---|
| 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#4GOY (statement). In 3N9E9T6AF5/e1, lemma 6.3
History
- 2026-10-30: add by m2/v0.4.12
ZBHB96M4RJ ZBHB96M4RJ
| URI | m2://inv/ZBHB96M4RJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:category (definition). In N54F33XE07, defn, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Law ZBHGEFH4AX
| URI | m2://inv/ZBHGEFH4AX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonality#S6EZ, Law (statement)
History
- 2026-11-02: add by m2/dev
Schmidt decomposition ZBHWMQ5N5E
| URI | m2://inv/ZBHWMQ5N5E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schmidt decomposition, Schmidt decomposition (definition). Also Wikidata Q2246292
History
- 2026-11-02: add by m2/dev
ZBHZBFPQAQ ZBHZBFPQAQ
| URI | m2://inv/ZBHZBFPQAQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#example-11 (example). In E9HS8K3A52, example, section 9.3.3
History
- 2026-11-01: add by m2/v0.6.13
ZBJ5061GGK ZBJ5061GGK
| URI | m2://inv/ZBJ5061GGK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08323#1U28 (definition). In FR51ART4NF/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Examples ZBJ6FXVK22
| URI | m2://inv/ZBJ6FXVK22 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational monoid#YVQI, Examples (example)
History
- 2026-11-02: add by m2/dev
Counterexample ZBJHVF67EB
| URI | m2://inv/ZBJHVF67EB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Counterexample, Counterexample (definition). Also Wikidata Q596077
History
- 2026-11-02: add by m2/dev
The cap and the pair term ZBJNB8TZWH
| URI | m2://inv/ZBJNB8TZWH |
|---|---|
| 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.25120#WF3R, The cap and the pair term (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZBJQZ5CC90 ZBJQZ5CC90
| URI | m2://inv/ZBJQZ5CC90 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-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.20558#PXCH (definition). In 46370P3Y9S/e1, definition 4.12
History
- 2026-10-27: add by m2/v0.4.2
ZBJW3DQ7H9 ZBJW3DQ7H9
| URI | m2://inv/ZBJW3DQ7H9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04835#ZZ0W (statement). In P6PHR4W23S/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.12
Properties ZBJWA3PBRN
| URI | m2://inv/ZBJWA3PBRN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feuerbach point#XSDN, Properties (statement)
History
- 2026-11-02: add by m2/dev
Rajagopalan Parthasarathy ZBKEBG70CN
| URI | m2://inv/ZBKEBG70CN |
|---|---|
| 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#9CG8, Rajagopalan Parthasarathy (topic)
History
- 2026-11-02: add by m2/dev
Properties ZBKK1G4TZ9
| URI | m2://inv/ZBKK1G4TZ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schrödinger equation#6QOZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
List of things named after Jakob Bernoulli ZBKRNM3EQN
| URI | m2://inv/ZBKRNM3EQN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#GN74, List of things named after Jakob Bernoulli (unknown)
History
- 2026-11-02: add by m2/dev
Data reduction ZBKSNMSBW0
| URI | m2://inv/ZBKSNMSBW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3IXV, Data reduction (definition)
History
- 2026-11-02: add by m2/dev
Properties and applications ZBKTJRN2ZC
| URI | m2://inv/ZBKTJRN2ZC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological insulator#ML14, Properties and applications (statement)
History
- 2026-11-02: add by m2/dev
Control chart ZBKWRJ8CDT
| URI | m2://inv/ZBKWRJ8CDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Control chart, Control chart (definition). Also Wikidata Q1369242
History
- 2026-11-02: add by m2/dev
ZBM0RQRCRQ ZBM0RQRCRQ
| URI | m2://inv/ZBM0RQRCRQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21534#2CIS (statement)
History
- 2026-11-02: add by m2/v0.6.18
Theorem (Plotkin bound) ZBMNCPPYNM
| URI | m2://inv/ZBMNCPPYNM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plotkin bound#CTI2, Theorem (Plotkin bound) (statement)
History
- 2026-11-02: add by m2/dev
ZBMSK4RGZ9 ZBMSK4RGZ9
| URI | m2://inv/ZBMSK4RGZ9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14847#K3DX (definition). In 2RC8WXQ9ET/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Related theorems ZBMZXDJQYD
| URI | m2://inv/ZBMZXDJQYD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet's approximation theorem#SZD0, Related theorems (statement)
History
- 2026-11-02: add by m2/dev
Ernest S. Croot III ZBN150K857
| URI | m2://inv/ZBN150K857 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernest S. Croot III, Ernest S. Croot III (topic). Also Wikidata Q5393777
History
- 2026-11-02: add by m2/dev
grouplike ZBN273E4MF
| URI | m2://inv/ZBN273E4MF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#HT8J, grouplike (definition)
History
- 2026-11-02: add by m2/dev
Stefaan Vaes ZBN3GFPVM7
| URI | m2://inv/ZBN3GFPVM7 |
|---|---|
| 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#VWQ5, Stefaan Vaes (topic)
History
- 2026-11-02: add by m2/dev
Fischer group Fi24 ZBN4NRPP3V
| URI | m2://inv/ZBN4NRPP3V |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fischer group Fi24, Fischer group Fi24 (object). Also Wikidata Q5454436
History
- 2026-11-02: add by m2/dev
Van Houtum distribution ZBNP7JZ3KC
| URI | m2://inv/ZBNP7JZ3KC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van Houtum distribution, Van Houtum distribution (definition). Also Wikidata Q7913434
History
- 2026-11-02: add by m2/dev
ZBNPM29PKV ZBNPM29PKV
| URI | m2://inv/ZBNPM29PKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08385#224T (statement). In D979582ST2/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
Open questions ZBNR7HDXGW
| URI | m2://inv/ZBNR7HDXGW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Period (number theory)#0QWM, Open questions (statement)
History
- 2026-11-02: add by m2/dev
ZBNZZNH1XS ZBNZZNH1XS
| URI | m2://inv/ZBNZZNH1XS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 3.6
History
- 2026-11-01: add by m2/v0.6.13
Approximation by conditioning on a bounded region ZBPJCE0A07
| URI | m2://inv/ZBPJCE0A07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06372#V2UQ, Approximation by conditioning on a bounded region (statement). In G3E1P350Z6/e1, lemma 7.21
History
- 2026-10-29: add by m2/v0.4.10
degree of the cone ZBPKNGTCT5
| URI | m2://inv/ZBPKNGTCT5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26286#3P86, degree of the cone (statement)
History
- 2026-11-01: add by m2/v0.6.15
perspective axis ZBPPZWCCS1
| URI | m2://inv/ZBPPZWCCS1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93503421, perspective axis (unknown). Also MathWorld PerspectiveAxis, MathWorld Perspectrix
History
- 2026-10-26: add by m2/dev
ZBPVM4ABBC ZBPVM4ABBC
| URI | m2://inv/ZBPVM4ABBC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-24 (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
John Benedetto ZBPWP5PDY4
| URI | m2://inv/ZBPWP5PDY4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Benedetto, John Benedetto (topic). Also Wikidata Q6221505
History
- 2026-11-02: add by m2/dev
recursive set ZBPYPPA7TR
| URI | m2://inv/ZBPYPPA7TR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Computable set PPGD5KW8JC |
Mentions
- wikidata: Wikidata Q877945, recursive set (unknown). Also MathWorld RecursiveSet, nLab recursive set
- wikipedia: Wikipedia Computable set, Computable set (definition). Also Wikidata Q877945
History
- 2026-10-26: add by m2/dev
ZBQ37P9GJS ZBQ37P9GJS
| URI | m2://inv/ZBQ37P9GJS |
|---|---|
| Kind | definition |
| 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.12480#KM8N (definition). In 585QYGX4X6/e1, definition 28
History
- 2026-10-28: add by m2/v0.4.2
Qlik ZBQ4SJB6BC
| URI | m2://inv/ZBQ4SJB6BC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Qlik, Qlik (definition). Also Wikidata Q923062
History
- 2026-11-02: add by m2/dev
ZBQ4XQ6RZE ZBQ4XQ6RZE
| URI | m2://inv/ZBQ4XQ6RZE |
|---|---|
| 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 2108.03672#R4NY (statement). In EZZSZ1F071/e1, lemma 3.22
History
- 2026-10-27: add by m2/v0.4.0
Bezoutic ZBQ7Y5J73C
| URI | m2://inv/ZBQ7Y5J73C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#2VTG, Bezoutic (definition)
History
- 2026-11-02: add by m2/dev
Examples ZBQCZC8SDD
| URI | m2://inv/ZBQCZC8SDD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delta-ring#JWT3, Examples (example)
History
- 2026-11-02: add by m2/dev
ZBQEZCAEK5 ZBQEZCAEK5
| URI | m2://inv/ZBQEZCAEK5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#0097 (statement). In ABS9M47F4K/e1, lemma 3.36
History
- 2026-10-27: add by m2/v0.3.6
Pythagorean cup ZBQF22Y762
| URI | m2://inv/ZBQF22Y762 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Pythagoras#3A9M, Pythagorean cup (unknown)
History
- 2026-11-02: add by m2/dev
Mandelbrot set ZBR0094N8F
| URI | m2://inv/ZBR0094N8F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of chaotic maps#BFDG, Mandelbrot set (topic)
History
- 2026-11-02: add by m2/dev
Uniform isomorphism ZBRCFCRJDJ
| URI | m2://inv/ZBRCFCRJDJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform isomorphism, Uniform isomorphism (definition). Also Wikidata Q2789884
History
- 2026-11-02: add by m2/dev
ZBRFK6AFG5 ZBRFK6AFG5
| URI | m2://inv/ZBRFK6AFG5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12188#565J (statement). In 52HWCGK5QJ/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
ZBRG7WR8VV ZBRG7WR8VV
| URI | m2://inv/ZBRG7WR8VV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises1-4.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Ring learning with errors signature ZBRGWE0APQ
| URI | m2://inv/ZBRGWE0APQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring learning with errors signature, Ring learning with errors signature (definition). Also Wikidata Q22908326
History
- 2026-11-02: add by m2/dev
Uses ZBRHQMQN7Z
| URI | m2://inv/ZBRHQMQN7Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhombic triacontahedron#VZ62, Uses (example)
History
- 2026-11-02: add by m2/dev
ZBRRFSSKVS ZBRRFSSKVS
| URI | m2://inv/ZBRRFSSKVS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:eg:set (example). In N54F33XE07, eg, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
ZBRVSPWH1N ZBRVSPWH1N
| URI | m2://inv/ZBRVSPWH1N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/EquivalenceRelations.tex#problem-4 (exercise). In P1C114YBXG, problem, section A
History
- 2026-11-01: add by m2/v0.6.13
Local hidden-variable theory ZBRZFTNS6Y
| URI | m2://inv/ZBRZFTNS6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local hidden-variable theory, Local hidden-variable theory (definition). Also Wikidata Q17098572
History
- 2026-11-02: add by m2/dev
Nearly everywhere ZBS4CWT2R3
| URI | m2://inv/ZBS4CWT2R3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar set (potential theory)#W621, Nearly everywhere (unknown)
History
- 2026-11-02: add by m2/dev
sum of three perfect cubes ZBS8EM1NGK
| URI | m2://inv/ZBS8EM1NGK |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#SBBN, sum of three perfect cubes (conjecture)
History
- 2026-11-02: add by m2/dev
ZBSAFS0DHJ ZBSAFS0DHJ
| URI | m2://inv/ZBSAFS0DHJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28677#45K2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZBSE2AZ8BA ZBSE2AZ8BA
| URI | m2://inv/ZBSE2AZ8BA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-4 (exercise). In E9HS8K3A52, exercise, section 10.1.6
History
- 2026-11-01: add by m2/v0.6.13
Grigori Shtern ZBSMHW4NCV
| URI | m2://inv/ZBSMHW4NCV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#OE1P, Grigori Shtern (unknown)
History
- 2026-11-02: add by m2/dev
ZBSMVRWK92 ZBSMVRWK92
| URI | m2://inv/ZBSMVRWK92 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30310#4403 (statement). In 31XSBAFMEQ/e1, lemma 3
History
- 2026-10-31: add by m2/v0.5.6
Aleksandr Korkin ZBSQ2WYWR2
| URI | m2://inv/ZBSQ2WYWR2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#GI20, Aleksandr Korkin (topic)
History
- 2026-11-02: add by m2/dev
Statement ZBSSH83YRA
| URI | m2://inv/ZBSSH83YRA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental normality test#JG7C, Statement (statement)
History
- 2026-11-02: add by m2/dev
ZBST94GKW6 ZBST94GKW6
| URI | m2://inv/ZBST94GKW6 |
|---|---|
| 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.12489#7Q5U (statement). In FDWFVD08SE/e1, corollary 2.22
History
- 2026-10-28: add by m2/v0.4.2
Examples of degrees ZBSYJPVEY8
| URI | m2://inv/ZBSYJPVEY8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/bezout.tex#example-5, Examples of degrees (example). In RZP28ERRZV, example, section 20.4
History
- 2026-11-01: add by m2/v0.6.13
Properties ZBT080SYTB
| URI | m2://inv/ZBT080SYTB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krasnoselskii genus#L4HO, Properties (statement)
History
- 2026-11-02: add by m2/dev
ZBT31EDP2T ZBT31EDP2T
| URI | m2://inv/ZBT31EDP2T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-5.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
ZBTD5971SZ ZBTD5971SZ
| URI | m2://inv/ZBTD5971SZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#PKXT (definition). In W4TYN4PGE8/e1, definition 2.20
History
- 2026-10-27: add by m2/v0.3.5
Single marker endomorphism ZBTFKJ8PMA
| URI | m2://inv/ZBTFKJ8PMA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24449#R3TH, Single marker endomorphism (definition)
History
- 2026-11-01: add by m2/v0.6.15
Application ZBTX763T1E
| URI | m2://inv/ZBTX763T1E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermite reduction#WM3W, Application (example)
History
- 2026-11-02: add by m2/dev
ZBV0W0G2BD ZBV0W0G2BD
| URI | m2://inv/ZBV0W0G2BD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#LERW (definition). In A1GWWGRXPA/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.4.2
ZBV55ZYCDE ZBV55ZYCDE
| URI | m2://inv/ZBV55ZYCDE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise:contL2close (exercise). In E59CDZA4DP, exercise, section 1.8.7
History
- 2026-11-01: add by m2/v0.6.13
ZBVATCGHF4 ZBVATCGHF4
| URI | m2://inv/ZBVATCGHF4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#SAN8 (statement). In TX0H26X4VX/e1, proposition 7.5
History
- 2026-10-29: add by m2/v0.4.12
Differential algebraic geometry ZBVN2YPVRF
| URI | m2://inv/ZBVN2YPVRF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential algebraic geometry, Differential algebraic geometry (definition). Also Wikidata Q5275330
History
- 2026-11-02: add by m2/dev
Post's theorem ZBW2YA0ZT0
| URI | m2://inv/ZBW2YA0ZT0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#OMY1, Post's theorem (statement)
History
- 2026-11-02: add by m2/dev
ZBW8VW7GNS ZBW8VW7GNS
| URI | m2://inv/ZBW8VW7GNS |
|---|---|
| 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 1512.06981#8317 (statement). In X923ZEY423/e1, lemma 1.7.1
History
- 2026-10-27: add by m2/v0.3.5
conic section ZBWB4FDVXB
| URI | m2://inv/ZBWB4FDVXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Conic section 00HJCMC2CD |
Mentions
- wikidata: Wikidata Q124255, conic section (definition). Also MathWorld ConicSection, nLab conic section, ProofWiki Definition:Conic_Section
- wikipedia: Wikipedia Conic section, Conic section (definition). Also Wikidata Q124255
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
ZBWH7Z6RX0 ZBWH7Z6RX0
| URI | m2://inv/ZBWH7Z6RX0 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/circuits.tex#proof-4 (proof). In RZP28ERRZV, proof, section 75.4
History
- 2026-11-01: add by m2/v0.6.13
Hilbert's sixth problem ZBWS11R460
| URI | m2://inv/ZBWS11R460 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10370880, Hilbert's sixth problem (problem). Also nLab Hilbert's sixth problem
- wikipedia: Wikipedia Hilbert's sixth problem, Hilbert's sixth problem (conjecture). Also Wikidata Q10370880
History
- 2026-10-26: add by m2/dev
Finite metric spaces in the Gromov--Hausdorff space, \mycite{Theorem 2.1}{INT ZBWT0121V6
| URI | m2://inv/ZBWT0121V6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17400#ML5A, Finite metric spaces in the Gromov--Hausdorff space, \mycite{Theorem 2.1}{INT (statement). In 8VDXGR4SVD/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
ZBX0277WJ1 ZBX0277WJ1
| URI | m2://inv/ZBX0277WJ1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#6H56 (definition). In X765ZXXVC3/e1, definition 5.5
History
- 2026-10-29: add by m2/v0.4.12
ZBX1KYNWYH ZBX1KYNWYH
| URI | m2://inv/ZBX1KYNWYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15525#UEV9 (statement). In EFDRME13PT/e1, proposition 8.9
History
- 2026-10-28: add by m2/v0.4.2
ZBX3XZ5RJQ ZBX3XZ5RJQ
| URI | m2://inv/ZBX3XZ5RJQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19861#AAAW (statement). In 5ZPQ60TM6J/e1, proposition 8
History
- 2026-10-28: add by m2/v0.4.2
ZBX479J0EZ ZBX479J0EZ
| URI | m2://inv/ZBX479J0EZ |
|---|---|
| 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.06707#KRFX (statement). In 9TR5E527P5/e1, theorem 6.6
History
- 2026-10-29: add by m2/v0.4.10
contrast transfer function ZBX80SY65D
| URI | m2://inv/ZBX80SY65D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optical transfer function#U9K4, contrast transfer function (definition)
History
- 2026-11-02: add by m2/dev
Distribution ensemble ZBX8YBZ4TK
| URI | m2://inv/ZBX8YBZ4TK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distribution ensemble, Distribution ensemble (definition). Also Wikidata Q5283194
History
- 2026-11-02: add by m2/dev
ZBXC14KJJB ZBXC14KJJB
| URI | m2://inv/ZBXC14KJJB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-63 (exercise). In E9HS8K3A52, exercise, section 7.4.5
History
- 2026-11-01: add by m2/v0.6.13
Quadratic form and polar form ZBXMWYCDRT
| URI | m2://inv/ZBXMWYCDRT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15815#TXDU, Quadratic form and polar form (definition). In 9C75CTY5C3/e1, definition 5.2
History
- 2026-10-28: add by m2/v0.4.2
fundamental theorem of Galois theory ZBXYAWS6VX
| URI | m2://inv/ZBXYAWS6VX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Fundamental theorem of Galois theory 0T1Q8D0FW8 |
Mentions
- arxiv: arXiv 2610.18154#NC98, Fundamental theorem of Galois theory (statement). In 4W7ARR1DAR/e1, fact B.1
- wikidata: Wikidata Q766522, fundamental theorem of Galois theory (statement). Also ProofWiki Fundamental_Theorem_of_Galois_Theory
- wikipedia: Wikipedia Fundamental theorem of Galois theory, Fundamental theorem of Galois theory (statement). Also Wikidata Q766522
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
- 2026-10-31: merge by m2/v0.5.6
Alessandrini--Sigalotti ZBY68MXRW3
| URI | m2://inv/ZBY68MXRW3 |
|---|---|
| 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#0FTI, Alessandrini--Sigalotti (statement). In X1AGBB90EH/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
unitary element ZBY6CAMDS8
| URI | m2://inv/ZBY6CAMDS8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q104841236, unitary element (concept). Also MathWorld UnitaryElement
- wikipedia: Wikipedia Unitary element, Unitary element (definition). Also Wikidata Q104841236
History
- 2026-10-26: add by m2/dev
Example ZBYG1DRVXK
| URI | m2://inv/ZBYG1DRVXK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bondy's theorem#O5U8, Example (example)
History
- 2026-11-02: add by m2/dev
ZBYG8WF2E1 ZBYG8WF2E1
| URI | m2://inv/ZBYG8WF2E1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1907.01440#4J2N (definition). In QDRYC6WJJ7/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Miriam Yevick ZBYRV9CV54
| URI | m2://inv/ZBYRV9CV54 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miriam Yevick, Miriam Yevick (topic). Also Wikidata Q102193851
History
- 2026-11-02: add by m2/dev
Anne Bennett Prize ZBYVWXC0JB
| URI | m2://inv/ZBYVWXC0JB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anne Bennett Prize, Anne Bennett Prize (definition). Also Wikidata Q66180621
History
- 2026-11-02: add by m2/dev
Stata ZBYW9DZ19C
| URI | m2://inv/ZBYW9DZ19C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#RW0C, Stata (definition)
History
- 2026-11-02: add by m2/dev
Extensions ZBYWPY2EF2
| URI | m2://inv/ZBYWPY2EF2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwarz triangle function#PQDZ, Extensions (statement)
History
- 2026-11-02: add by m2/dev
ZBZ2T6ENNY ZBZ2T6ENNY
| URI | m2://inv/ZBZ2T6ENNY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_networkflow_exercises.ptx#exercise-6 (exercise). In QKM9DD2H56, exercise, section 13
History
- 2026-11-01: add by m2/v0.6.13
ZBZM6C2PWR ZBZM6C2PWR
| URI | m2://inv/ZBZM6C2PWR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21414#BYGI (statement)
History
- 2026-11-02: add by m2/v0.6.18
Magnetic effective-velocity entropy ZBZNEDCPK4
| URI | m2://inv/ZBZNEDCPK4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13248#9BL2, Magnetic effective-velocity entropy (statement). In MGMC5SREP3/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
ZBZQR1AQSG ZBZQR1AQSG
| URI | m2://inv/ZBZQR1AQSG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/introduction/undecidability.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 29.2
History
- 2026-11-01: add by m2/v0.6.13
ZBZZTK9H37 ZBZZTK9H37
| URI | m2://inv/ZBZZTK9H37 |
|---|---|
| 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.23128#SBDG (statement)
History
- 2026-11-02: add by m2/v0.6.17