Inventory rows 55
The cards of the rows of the inventory whose ids start with 55. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Heikki Mannila 550023ZWEK
| URI | m2://inv/550023ZWEK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OAFP, Heikki Mannila (unknown)
History
- 2026-11-02: add by m2/dev
5504Y3J7HY 5504Y3J7HY
| URI | m2://inv/5504Y3J7HY |
|---|---|
| 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.39790#Q9M0 (statement). In C2C9GTQFYF/e1, corollary 3.6
History
- 2026-10-30: add by m2/v0.4.12
Kalman-Bucy filter 5509KTM787
| URI | m2://inv/5509KTM787 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kalman filter#JQ6R, Kalman-Bucy filter (unknown)
History
- 2026-11-02: add by m2/dev
Forced convection 550F66J0QW
| URI | m2://inv/550F66J0QW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forced convection, Forced convection (definition). Also Wikidata Q909313
History
- 2026-11-02: add by m2/dev
550KE42KWE 550KE42KWE
| URI | m2://inv/550KE42KWE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#7E39 (definition)
History
- 2026-11-02: add by m2/v0.6.18
550ZKBTM2K 550ZKBTM2K
| URI | m2://inv/550ZKBTM2K |
|---|---|
| Kind | example |
| 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.33124#GSR2 (example). In P27HYGQDAN/e1, example 32
History
- 2026-10-30: add by m2/v0.4.12
Arrow's theorem 5514SANRSR
| URI | m2://inv/5514SANRSR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analysis of Boolean functions#HPEE, Arrow's theorem (statement)
History
- 2026-11-02: add by m2/dev
5519YMHYTZ 5519YMHYTZ
| URI | m2://inv/5519YMHYTZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08610#X4MQ (statement). In CB2JWNS1E9/e1, fact 4.3
History
- 2026-10-29: add by m2/v0.4.10
55230236ZX 55230236ZX
| URI | m2://inv/55230236ZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21034#BZM1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
5523M6397Y 5523M6397Y
| URI | m2://inv/5523M6397Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#GTSI (statement). In 9B5TNEBJHV/e1, lemma 2.21
History
- 2026-10-29: add by m2/v0.4.10
5526WB046K 5526WB046K
| URI | m2://inv/5526WB046K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#V5UB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Joseph F. Traub 5527QVM8DH
| URI | m2://inv/5527QVM8DH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#586W, Joseph F. Traub (unknown)
History
- 2026-11-02: add by m2/dev
List of solvers for sparse matrix equations 552GZEFTHN
| URI | m2://inv/552GZEFTHN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparse matrix#8NUM, List of solvers for sparse matrix equations (unknown)
History
- 2026-11-02: add by m2/dev
552HFMXTYR 552HFMXTYR
| URI | m2://inv/552HFMXTYR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 51-XX, 52-XX, 53-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.03305#1IWU (statement). In WAJ5AZHF62/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.12
552JA67KF2 552JA67KF2
| URI | m2://inv/552JA67KF2 |
|---|---|
| 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.33573#6E1X (statement). In ZT1Q1XDQ1W/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
552RT63WV1 552RT63WV1
| URI | m2://inv/552RT63WV1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#6IFU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Biquaternion functions 552WAH6GWQ
| URI | m2://inv/552WAH6GWQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biquaternion functions, Biquaternion functions (definition). Also Wikidata Q135466970
History
- 2026-11-02: add by m2/dev
552Z9Y1Y9C 552Z9Y1Y9C
| URI | m2://inv/552Z9Y1Y9C |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28803#GXOI (example)
History
- 2026-11-01: add by m2/v0.6.15
Examples 5530938JTZ
| URI | m2://inv/5530938JTZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniformly connected space#3VKL, Examples (example)
History
- 2026-11-02: add by m2/dev
5530RM30AC 5530RM30AC
| URI | m2://inv/5530RM30AC |
|---|---|
| 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#LG00 (statement). In 9TR5E527P5/e1, proposition 6.22
History
- 2026-10-29: add by m2/v0.4.10
5538CXAKVG 5538CXAKVG
| URI | m2://inv/5538CXAKVG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-30 (exercise). In QKM9DD2H56, exercise, section 2
History
- 2026-11-01: add by m2/v0.6.13
Enumerative geometry 553FHP97WH
| URI | m2://inv/553FHP97WH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#OPD4, Enumerative geometry (definition)
History
- 2026-11-02: add by m2/dev
Monodromy theorem 553N2M9YGD
| URI | m2://inv/553N2M9YGD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-40, Monodromy theorem (statement). In VNMV985MXX, thm, section B
History
- 2026-11-01: add by m2/v0.6.13
553S1ZE382 553S1ZE382
| URI | m2://inv/553S1ZE382 |
|---|---|
| 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.11671#EVS3 (statement). In V06H8BAGEH/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.3
553ST1A3KY 553ST1A3KY
| URI | m2://inv/553ST1A3KY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.17066#W2TO (statement). In X2AEJAQEP8/e1, proposition 3.10
History
- 2026-10-27: add by m2/v0.3.5
Factor analysis of mixed data 553VT9VQ12
| URI | m2://inv/553VT9VQ12 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factor analysis of mixed data, Factor analysis of mixed data (definition). Also Wikidata Q17011585
History
- 2026-11-02: add by m2/dev
One crossing at a local minimum 553W7NCG3Y
| URI | m2://inv/553W7NCG3Y |
|---|---|
| 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.03763#9RVZ, One crossing at a local minimum (statement). In ARZ4X5PXXC/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.12
Demographics of China 553ZV4VEK5
| URI | m2://inv/553ZV4VEK5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of China, Demographics of China (definition). Also Wikidata Q1981379
History
- 2026-11-02: add by m2/dev
553ZYZBAM7 553ZYZBAM7
| URI | m2://inv/553ZYZBAM7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23004#Y4F8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
5540PBZEH1 5540PBZEH1
| URI | m2://inv/5540PBZEH1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-4.xml#exercise-9 (exercise). In 649HGZKE96, exercise, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
Haskell Curry 55430GZEDF
| URI | m2://inv/55430GZEDF |
|---|---|
| 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 Q92611, Haskell Curry (unknown). Also nLab Haskell Curry
- wikipedia: Wikipedia Haskell Curry, Haskell Curry (topic). Also Wikidata Q92611
History
- 2026-10-26: add by m2/dev
554ERSDCPY 554ERSDCPY
| URI | m2://inv/554ERSDCPY |
|---|---|
| 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 2410.10337#LXEL (statement). In RBBF0XNZ5E/e1, lemma 17
History
- 2026-10-27: add by m2/v0.3.5
554KHNJYKM 554KHNJYKM
| URI | m2://inv/554KHNJYKM |
|---|---|
| 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#G7O1 (statement). In HVGT9D84WV/e1, corollary 2.10
History
- 2026-10-27: add by m2/v0.3.5
Friedrich Bachmann 554KKPM79Q
| URI | m2://inv/554KKPM79Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedrich Bachmann, Friedrich Bachmann (topic). Also Wikidata Q1458304
History
- 2026-11-02: add by m2/dev
Tree sizes of all quasi-HKZ bases 554T2PM606
| URI | m2://inv/554T2PM606 |
|---|---|
| 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.15265#F7VN, Tree sizes of all quasi-HKZ bases (statement). In TCQ1JBR84Y/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Nick Day 554XPYNJBE
| URI | m2://inv/554XPYNJBE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nick Day (statistician), Nick Day (topic). Also Wikidata Q7027002
History
- 2026-11-02: add by m2/dev
James Henry Bramble 554YF6710R
| URI | m2://inv/554YF6710R |
|---|---|
| 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#4ZXL, James Henry Bramble (topic)
History
- 2026-11-02: add by m2/dev
5550P5QKJE 5550P5QKJE
| URI | m2://inv/5550P5QKJE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21536#7GRM (statement). In NBQK8HJSNY/e1, proposition 3
History
- 2026-10-27: add by m2/v0.4.2
Hamilton's rule 5557AV53QN
| URI | m2://inv/5557AV53QN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#XAPB, Hamilton's rule (definition)
History
- 2026-11-02: add by m2/dev
5557T36QF7 5557T36QF7
| URI | m2://inv/5557T36QF7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39890#0XEH (statement). In GGVQ3B9KJ6/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Principles 55584PKEZD
| URI | m2://inv/55584PKEZD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum field theory#F54M, Principles (statement)
History
- 2026-11-02: add by m2/dev
Applications 555AN1S0JS
| URI | m2://inv/555AN1S0JS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological derivative#N4WN, Applications (example)
History
- 2026-11-02: add by m2/dev
555EVFFN1Y 555EVFFN1Y
| URI | m2://inv/555EVFFN1Y |
|---|---|
| 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 2609.35858#0P3Z (statement). In R2K4HZN8RW/e1, corollary 4.3
History
- 2026-10-30: add by m2/v0.4.12
coupling constant 555EXJ21YA
| URI | m2://inv/555EXJ21YA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1193095, coupling constant (unknown). Also nLab coupling constant
History
- 2026-10-26: add by m2/dev
555H4RHPY0 555H4RHPY0
| URI | m2://inv/555H4RHPY0 |
|---|---|
| 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.12329#937S (statement). In ZJQB9W60T6/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
555KQHKF2T 555KQHKF2T
| URI | m2://inv/555KQHKF2T |
|---|---|
| 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.03288#V6MO (statement). In ZHP1MFSACN/e1, theorem 1.7
History
- 2026-10-29: add by m2/v0.4.12
Generalizations 555Q365VX4
| URI | m2://inv/555Q365VX4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Section (fiber bundle)#MWV5, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
555TDV7ZEF 555TDV7ZEF
| URI | m2://inv/555TDV7ZEF |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/basic-representable.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 29.3
History
- 2026-11-01: add by m2/v0.6.13
Definition 555ZTTTKAX
| URI | m2://inv/555ZTTTKAX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cisinski model structure#N4V9, Definition (definition)
History
- 2026-11-02: add by m2/dev
55641KMJ9Z 55641KMJ9Z
| URI | m2://inv/55641KMJ9Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#definition-5 (definition). In RZP28ERRZV, definition, section 89.3
History
- 2026-11-01: add by m2/v0.6.13
Table of mathematical symbols by introduction date 5568XWMXE4
| URI | m2://inv/5568XWMXE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Table of mathematical symbols by introduction date, Table of mathematical symbols by introduction date (definition). Also Wikidata Q7673229
History
- 2026-11-02: add by m2/dev
topological map 556D9HAGVT
| URI | m2://inv/556D9HAGVT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q573980, topological map (unknown). Also nLab topological map
History
- 2026-10-26: add by m2/dev
Boundary estimates 556PK2Q62D
| URI | m2://inv/556PK2Q62D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02531#NPYU, Boundary estimates (statement). In 44EQ0MZE8G/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.12
Strongly stationary points for MPBVC 556TE1M8C5
| URI | m2://inv/556TE1M8C5 |
|---|---|
| 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 2609.20368#OGV3, Strongly stationary points for MPBVC (definition)
History
- 2026-11-02: add by m2/v0.6.18
Fokino, Primorsky Krai 556VCGVZGB
| URI | m2://inv/556VCGVZGB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#B0VD, Fokino, Primorsky Krai (unknown)
History
- 2026-11-02: add by m2/dev
1 megameter 55737H562D
| URI | m2://inv/55737H562D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (length)#ONVM, 1 megameter (unknown)
History
- 2026-11-02: add by m2/dev
Reflected Pastur laws 5575VSY3YH
| URI | m2://inv/5575VSY3YH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#JC5W, Reflected Pastur laws (statement). In NKXTXH59P1/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Examples 557E6ZGJ5D
| URI | m2://inv/557E6ZGJ5D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dehn function#ELL5, Examples (example)
History
- 2026-11-02: add by m2/dev
Dice's coefficient 557HY39BA1
| URI | m2://inv/557HY39BA1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#XSXP, Dice's coefficient (definition)
History
- 2026-11-02: add by m2/dev
557J409EH6 557J409EH6
| URI | m2://inv/557J409EH6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.14045#9RFV (statement). In KZ71GXT2B0/e1, corollary 5.10
History
- 2026-10-28: add by m2/v0.4.2
Examples 557XJ0CV62
| URI | m2://inv/557XJ0CV62 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monomorphism#1AD1, Examples (example)
History
- 2026-11-02: add by m2/dev
557YPQRS95 557YPQRS95
| URI | m2://inv/557YPQRS95 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27078#4D7Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kleiman's theorem 557ZQCQW8E
| URI | m2://inv/557ZQCQW8E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleiman's theorem, Kleiman's theorem (statement). Also Wikidata Q55616087
History
- 2026-11-02: add by m2/dev
Applications 5588BA5JQE
| URI | m2://inv/5588BA5JQE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial derivative#T4B5, Applications (example)
History
- 2026-11-02: add by m2/dev
Feedforward Neural Network 558916Z57Y
| URI | m2://inv/558916Z57Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30279#93QH, Feedforward Neural Network (definition). In DPWKG7FD0H/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
5589R8894Y 5589R8894Y
| URI | m2://inv/5589R8894Y |
|---|---|
| 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.14135#LWJ5 (statement). In C304J64Q79/e1, corollary 9.2
History
- 2026-10-28: add by m2/v0.4.2
Willard Van Orman Quine 558EXPWBX3
| URI | m2://inv/558EXPWBX3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Willard Van Orman Quine, Willard Van Orman Quine (topic). Also Wikidata Q214969
History
- 2026-11-02: add by m2/dev
Strain 558MHKH12F
| URI | m2://inv/558MHKH12F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strain (mechanics), Strain (definition). Also Wikidata Q1990546
History
- 2026-11-02: add by m2/dev
Tachytrope 558PF5J4HW
| URI | m2://inv/558PF5J4HW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tachytrope, Tachytrope (definition). Also Wikidata Q7673885
History
- 2026-11-02: add by m2/dev
Project selection problem 558QGCNFVC
| URI | m2://inv/558QGCNFVC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Max-flow min-cut theorem#P8ZL, Project selection problem (unknown)
History
- 2026-11-02: add by m2/dev
Xiao-Li Meng 5598CY4V7G
| URI | m2://inv/5598CY4V7G |
|---|---|
| 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#E7J5, Xiao-Li Meng (topic)
History
- 2026-11-02: add by m2/dev
Statement of the lemma 559DY1GGE7
| URI | m2://inv/559DY1GGE7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forking lemma#ZJJE, Statement of the lemma (statement)
History
- 2026-11-02: add by m2/dev
Xu's genuineness theorem 559GAT520N
| URI | m2://inv/559GAT520N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13260#0ZV3, Xu's genuineness theorem (statement). In ZBQX9341RV/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
559NDT7XWJ 559NDT7XWJ
| URI | m2://inv/559NDT7XWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#defn-15 (definition). In E59CDZA4DP, defn, section 11.9.5
History
- 2026-11-01: add by m2/v0.6.13
559THVSNKR 559THVSNKR
| URI | m2://inv/559THVSNKR |
|---|---|
| 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.31604#ZW94 (statement). In GSN5YTQS2K/e1, proposition 3.30
History
- 2026-10-31: add by m2/v0.5.6
559VEP5H2K 559VEP5H2K
| URI | m2://inv/559VEP5H2K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.03601#XK41 (statement). In F7TDYCHCSE/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
559VY494K6 559VY494K6
| URI | m2://inv/559VY494K6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#905E (statement). In EVFX1R7ZDD/e1, theorem 12
History
- 2026-10-30: add by m2/v0.4.12
559YDB5C30 559YDB5C30
| URI | m2://inv/559YDB5C30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.01612#DLYD (statement). In A5KESSK05N/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
559Z4TRV58 559Z4TRV58
| URI | m2://inv/559Z4TRV58 |
|---|---|
| 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.10152#I6AB (statement). In KCJ53C7AXY/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Logistic map 55A0DH5KXT
| URI | m2://inv/55A0DH5KXT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#95BZ, Logistic map (definition)
History
- 2026-11-02: add by m2/dev
Hausdorff gap 55A2D7413B
| URI | m2://inv/55A2D7413B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Felix Hausdorff#DADO, Hausdorff gap (definition)
History
- 2026-11-02: add by m2/dev
Argument from consciousness 55A9C9EKVD
| URI | m2://inv/55A9C9EKVD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument from consciousness, Argument from consciousness (definition). Also Wikidata Q4789738
History
- 2026-11-02: add by m2/dev
Applications 55ARS0TRMW
| URI | m2://inv/55ARS0TRMW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero bias transform#3J2C, Applications (example)
History
- 2026-11-02: add by m2/dev
55ASCHN2XK 55ASCHN2XK
| URI | m2://inv/55ASCHN2XK |
|---|---|
| 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.01928#OHD5 (statement). In BSJRRHKGX0/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
Capacity criterion 55AW3C9HTQ
| URI | m2://inv/55AW3C9HTQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10557#SGPS, Capacity criterion (statement). In D2MXWDTHWS/e1, lemma 11
History
- 2026-10-29: add by m2/v0.4.10
Hintikka set 55AZ81KXBK
| URI | m2://inv/55AZ81KXBK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hintikka set, Hintikka set (definition). Also Wikidata Q9388531
History
- 2026-11-02: add by m2/dev
Cylindrical harmonics 55B3RR216Y
| URI | m2://inv/55B3RR216Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylindrical harmonics, Cylindrical harmonics (definition). Also Wikidata Q5199282
History
- 2026-11-02: add by m2/dev
55BMVVVQH4 55BMVVVQH4
| URI | m2://inv/55BMVVVQH4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.03672#8EM0 (definition). In EZZSZ1F071/e1, definition 1.19
History
- 2026-10-27: add by m2/v0.4.0
55BSZFANK4 55BSZFANK4
| URI | m2://inv/55BSZFANK4 |
|---|---|
| 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.35950#YH87 (statement). In BZN1G5W5FX/e1, corollary 12.2
History
- 2026-10-30: add by m2/v0.4.12
Enigma naval codes 55BTY472P3
| URI | m2://inv/55BTY472P3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptanalysis of the Enigma#50DZ, Enigma naval codes (unknown)
History
- 2026-11-02: add by m2/dev
55BWKJ1F1K 55BWKJ1F1K
| URI | m2://inv/55BWKJ1F1K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21929#DUT3 (statement). In 2PP4XRVS0J/e1, theorem 5.4
History
- 2026-10-27: add by m2/v0.4.2
D'Alembert's principle 55C3GQ5TZV
| URI | m2://inv/55C3GQ5TZV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrangian mechanics#VMJU, D'Alembert's principle (statement)
History
- 2026-11-02: add by m2/dev
55C4DF92Q9 55C4DF92Q9
| URI | m2://inv/55C4DF92Q9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35605#BCTD (statement). In X1KWTAA3M2/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
Lemma 55CBZNHARW
| URI | m2://inv/55CBZNHARW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension theory (algebra)#6NS6, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Donoho and Elad , Gribonval and Nielsen 55CP8TRFV2
| URI | m2://inv/55CP8TRFV2 |
|---|---|
| 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 0904.2051#UM9Q, Donoho and Elad , Gribonval and Nielsen (statement). In JYRVG8P8KC/e1, theorem 0
History
- 2026-10-27: add by m2/v0.3.5
Data science 55CT48WRV7
| URI | m2://inv/55CT48WRV7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data science, Data science (topic). Also Wikidata Q2374463
History
- 2026-11-02: add by m2/dev
power residue symbol 55CVD3AJW2
| URI | m2://inv/55CVD3AJW2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7236602, power residue symbol (unknown). Also EoM Power_residue
- wikipedia: Wikipedia Power residue symbol, Power residue symbol (definition). Also Wikidata Q7236602
History
- 2026-10-26: add by m2/dev
Free additive convolution 55DC0M34ZE
| URI | m2://inv/55DC0M34ZE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free convolution#0HP8, Free additive convolution (unknown)
History
- 2026-11-02: add by m2/dev
Ergodicity of the projected Markov chain 55DC2XRXKN
| URI | m2://inv/55DC2XRXKN |
|---|---|
| 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 2607.28185#K977, Ergodicity of the projected Markov chain (statement). In EG1XXNSTXX/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.5
55DJ2TJDCX 55DJ2TJDCX
| URI | m2://inv/55DJ2TJDCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2012.07638#EDZU (statement). In 3ND6VMANXP/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
55DR62MK4D 55DR62MK4D
| URI | m2://inv/55DR62MK4D |
|---|---|
| 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 2610.05986#01RM (statement). In N5ZM8MXJXH/e1, lemma 5.11
History
- 2026-10-29: add by m2/v0.4.10
Arf invariant of a knot 55DTBAFBXS
| URI | m2://inv/55DTBAFBXS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arf invariant of a knot, Arf invariant of a knot (definition). Also Wikidata Q4789137
History
- 2026-11-02: add by m2/dev
Lipót Fejér 55DWKNNMKS
| URI | m2://inv/55DWKNNMKS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lipót Fejér, Lipót Fejér (topic). Also Wikidata Q963663
History
- 2026-11-02: add by m2/dev
55E3GKEM46 55E3GKEM46
| URI | m2://inv/55E3GKEM46 |
|---|---|
| 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.02570#H0HU (statement). In 6JK30RQ1SX/e1, theorem 7.2
History
- 2026-10-29: add by m2/v0.4.12
Nakai conjecture 55E5QCKQWY
| URI | m2://inv/55E5QCKQWY |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#2K22, Nakai conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Rothberger space 55EAM2G40V
| URI | m2://inv/55EAM2G40V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rothberger space, Rothberger space (definition). Also Wikidata Q28454684
History
- 2026-11-02: add by m2/dev
Maurice Heins 55EJAT3BPQ
| URI | m2://inv/55EJAT3BPQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#T3L4, Maurice Heins (unknown)
History
- 2026-11-02: add by m2/dev
Mike Johnson 55EPKCSA0F
| URI | m2://inv/55EPKCSA0F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#HFUE, Mike Johnson (unknown)
History
- 2026-11-02: add by m2/dev
55ER09BGSV 55ER09BGSV
| URI | m2://inv/55ER09BGSV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11785#O0W1 (statement). In 2XSZDXZ52E/e1, corollary 2.10
History
- 2026-10-28: add by m2/v0.4.3
Borderline boost function regularity II 55ERY9Y2JK
| URI | m2://inv/55ERY9Y2JK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#N8CX, Borderline boost function regularity II (statement). In 9JHMTYGWFQ/e1, theorem 1.15
History
- 2026-10-27: add by m2/v0.3.6
55EW0K47HM 55EW0K47HM
| URI | m2://inv/55EW0K47HM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-66 (proof). In VNMV985MXX, proof, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Material conditional 55FCDH5AG7
| URI | m2://inv/55FCDH5AG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#7BW5, Material conditional (definition)
History
- 2026-11-02: add by m2/dev
55FDGZ3S23 55FDGZ3S23
| URI | m2://inv/55FDGZ3S23 |
|---|---|
| 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.25912#FDZZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
55FKMS38HD 55FKMS38HD
| URI | m2://inv/55FKMS38HD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24001#A3AP (statement)
History
- 2026-11-02: add by m2/v0.6.17
55FQ5932RG 55FQ5932RG
| URI | m2://inv/55FQ5932RG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31102#5UF4 (statement). In 7CADATJMAA/e1, corollary 3.1
History
- 2026-10-31: add by m2/v0.5.6
Joseph Plateau 55FT1H36QB
| URI | m2://inv/55FT1H36QB |
|---|---|
| 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 Q379993, Joseph Plateau (unknown). Also ProofWiki Mathematician:Joseph_Antoine_Ferdinand_Plateau
- wikipedia: Wikipedia Joseph Plateau, Joseph Plateau (topic). Also Wikidata Q379993
History
- 2026-10-26: add by m2/dev
Monotonicity 55FX1N2R4V
| URI | m2://inv/55FX1N2R4V |
|---|---|
| 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 2609.35325#78PX, Monotonicity (statement). In GHT5WXFA4E/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
G-set 55G1EY19H7
| URI | m2://inv/55G1EY19H7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q133868384, G-set (concept). Also MathWorld G-Set, nLab G-set
History
- 2026-10-26: add by m2/dev
55G2WNACAC 55G2WNACAC
| URI | m2://inv/55G2WNACAC |
|---|---|
| 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 2609.37197#8W3Y (definition). In 98ESNNP0CC/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
graph, bipartite, matching in 55GC7AH4Y8
| URI | m2://inv/55GC7AH4Y8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/14.2/graph-bipartite-matching-in, graph, bipartite, matching in (concept). In QKM9DD2H56, index, section 14.2
History
- 2026-11-01: add by m2/v0.6.13
55GCBY0BZ6 55GCBY0BZ6
| URI | m2://inv/55GCBY0BZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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 2609.25275#PB2K (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dorit S. Hochbaum 55GCHCT96B
| URI | m2://inv/55GCHCT96B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7DKT, Dorit S. Hochbaum (unknown)
History
- 2026-11-02: add by m2/dev
55GDSY8JK9 55GDSY8JK9
| URI | m2://inv/55GDSY8JK9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18270#CUC8 (statement). In CPDMYJ0NJV/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
argument of the maximum 55GG79JC6C
| URI | m2://inv/55GG79JC6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#2BAC, argument of the maximum (definition)
History
- 2026-11-02: add by m2/dev
Threshold graph 55GHAGBG3F
| URI | m2://inv/55GHAGBG3F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Threshold graph, Threshold graph (definition). Also Wikidata Q943345
History
- 2026-11-02: add by m2/dev
55GNDD752X 55GNDD752X
| URI | m2://inv/55GNDD752X |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32903#BNYF (conjecture). In S8NB83KQX3/e1, conjecture 1
History
- 2026-10-31: add by m2/v0.5.6
Examples 55GTRAMKZ0
| URI | m2://inv/55GTRAMKZ0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple ring#ADMI, Examples (example)
History
- 2026-11-02: add by m2/dev
lead 55HKHF0HEW
| URI | m2://inv/55HKHF0HEW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q708, lead (definition). Also ProofWiki Definition:Lead_(Chemical_Element)
History
- 2026-10-26: add by m2/dev
55HKN4P1ZZ 55HKN4P1ZZ
| URI | m2://inv/55HKN4P1ZZ |
|---|---|
| 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.38844#OFIU (definition). In PX8D91DQCX/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
55HNVQGYTQ 55HNVQGYTQ
| URI | m2://inv/55HNVQGYTQ |
|---|---|
| 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 2609.21680#V6QW (statement)
History
- 2026-11-02: add by m2/v0.6.18
Comparison of the transferred differentials by diagonal automorphisms 55HQNV46QM
| URI | m2://inv/55HQNV46QM |
|---|---|
| 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.21093#RQL4, Comparison of the transferred differentials by diagonal automorphisms (statement). In TBFPBPQV3G/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.4.2
E. T. Whittaker 55HQZYR0SP
| URI | m2://inv/55HQZYR0SP |
|---|---|
| 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#ND3Y, E. T. Whittaker (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VOL0, E. T. Whittaker (topic)
History
- 2026-11-02: add by m2/dev
55JA2YXWVJ 55JA2YXWVJ
| URI | m2://inv/55JA2YXWVJ |
|---|---|
| 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.04172#MIMA (statement). In 9Q1D1NMTTS/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
55JBP0HAXC 55JBP0HAXC
| URI | m2://inv/55JBP0HAXC |
|---|---|
| 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.22205#OGG4 (statement). In 7REABAAQED/e1, proposition
History
- 2026-10-27: add by m2/v0.4.0
Belief structure 55JC5T1C38
| URI | m2://inv/55JC5T1C38 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Belief structure, Belief structure (definition). Also Wikidata Q4882755
History
- 2026-11-02: add by m2/dev
AC method 55JWW23PNE
| URI | m2://inv/55JWW23PNE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorization#PZ7K, AC method (unknown)
History
- 2026-11-02: add by m2/dev
Ruth J. Williams 55K8DJJ1K9
| URI | m2://inv/55K8DJJ1K9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#A7LP, Ruth J. Williams (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#47J8, Ruth J. Williams (topic)
History
- 2026-11-02: add by m2/dev
55KC1HBE23 55KC1HBE23
| URI | m2://inv/55KC1HBE23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08776#25QT (statement). In ZQ4M778EA7/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.10
Howard Garland 55KE85RPC8
| URI | m2://inv/55KE85RPC8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Howard Garland, Howard Garland (topic). Also Wikidata Q15816056
History
- 2026-11-02: add by m2/dev
Integral transportation criterion 55KEADKK01
| URI | m2://inv/55KEADKK01 |
|---|---|
| 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.13580#EXQ6, Integral transportation criterion (statement). In KEQ57N9N7Z/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
55KQBBTNVH 55KQBBTNVH
| URI | m2://inv/55KQBBTNVH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-1.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Harmonic tensors 55KR9H6TAN
| URI | m2://inv/55KR9H6TAN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic tensors, Harmonic tensors (definition). Also Wikidata Q115826057
History
- 2026-11-02: add by m2/dev
Complex Hermitian observables 55M1VF1JQY
| URI | m2://inv/55M1VF1JQY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23098#D64H, Complex Hermitian observables (statement)
History
- 2026-11-02: add by m2/v0.6.17
General theorem about nested parallelograms 55M4PK0CKH
| URI | m2://inv/55M4PK0CKH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theorem of the gnomon#U5QC, General theorem about nested parallelograms (statement)
History
- 2026-11-02: add by m2/dev
55M8SB4GCJ 55M8SB4GCJ
| URI | m2://inv/55M8SB4GCJ |
|---|---|
| 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.14837#657U (statement). In J4P6HXMJCH/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
55MB61GATG 55MB61GATG
| URI | m2://inv/55MB61GATG |
|---|---|
| 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.18101#1DST (statement). In XXN6KKXPYF/e1, lemma 8.3
History
- 2026-10-28: add by m2/v0.4.2
Hayut 55MF3AMPK3
| URI | m2://inv/55MF3AMPK3 |
|---|---|
| Kind | problem |
| 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 2608.24190#BJUX, Hayut (problem). In DW7FVA587C/e1, problem 3.6
History
- 2026-10-27: add by m2/v0.3.5
Bienaymé–Chebyshev inequality 55MNYHEHXX
| URI | m2://inv/55MNYHEHXX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YDZX, Bienaymé–Chebyshev inequality (statement)
History
- 2026-11-02: add by m2/dev
Invariant extended Kalman filter 55MPE3YRB8
| URI | m2://inv/55MPE3YRB8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant extended Kalman filter, Invariant extended Kalman filter (definition). Also Wikidata Q6059511
History
- 2026-11-02: add by m2/dev
55MPZ1HD9G 55MPZ1HD9G
| URI | m2://inv/55MPZ1HD9G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06810#PR5L (statement). In 1NY2SA03XF/e1, proposition 3.14
History
- 2026-10-29: add by m2/v0.4.10
rigidity of unmarked bipartite terms 55MSMX6CCS
| URI | m2://inv/55MSMX6CCS |
|---|---|
| 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.22667#JJKU, rigidity of unmarked bipartite terms (statement)
History
- 2026-11-02: add by m2/v0.6.17
55N3GX7RPJ 55N3GX7RPJ
| URI | m2://inv/55N3GX7RPJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#513F (definition). In 3A4K47Y9F2/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.4.0
Albert Charles Schaeffer 55N9BNYBJ5
| URI | m2://inv/55N9BNYBJ5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albert Charles Schaeffer, Albert Charles Schaeffer (topic). Also Wikidata Q1341653
History
- 2026-11-02: add by m2/dev
Strömgren sphere 55NA209NEN
| URI | m2://inv/55NA209NEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strömgren sphere, Strömgren sphere (definition). Also Wikidata Q1504097
History
- 2026-11-02: add by m2/dev
55NJP7WR39 55NJP7WR39
| URI | m2://inv/55NJP7WR39 |
|---|---|
| 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.03628#96S1 (statement). In P8KT6JV9N1/e1, corollary 3.10
History
- 2026-10-29: add by m2/v0.4.12
$\kappa\to0$ limit 55NRK1HA5F
| URI | m2://inv/55NRK1HA5F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06873#Z224, $\kappa\to0$ limit (statement). In R8NHQ41GMX/e1, corollary 5.6
History
- 2026-10-29: add by m2/v0.4.10
Mordell conjecture 55NV2R01K7
| URI | m2://inv/55NV2R01K7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat's Last Theorem#W584, Mordell conjecture (statement)
History
- 2026-11-02: add by m2/dev
55NV85BS9N 55NV85BS9N
| URI | m2://inv/55NV85BS9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.20238#VFPO (statement). In V8CA0STSPB/e1, proposition 9
History
- 2026-10-27: add by m2/v0.3.5
Semantics 55NWGQG7H7
| URI | m2://inv/55NWGQG7H7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semantics, Semantics (topic). Also Wikidata Q39645
History
- 2026-11-02: add by m2/dev
55NZWAP7GF 55NZWAP7GF
| URI | m2://inv/55NZWAP7GF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-1.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Fatigue 55PEHDXAHY
| URI | m2://inv/55PEHDXAHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fatigue (material), Fatigue (definition). Also Wikidata Q507234
History
- 2026-11-02: add by m2/dev
Wild-quadratic critical functions 55PFXE2Y7W
| URI | m2://inv/55PFXE2Y7W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#QNFI, Wild-quadratic critical functions (statement). In 5BZQS1KY9A/e1, proposition 9.20
History
- 2026-10-29: add by m2/v0.4.10
55PPK1HY21 55PPK1HY21
| URI | m2://inv/55PPK1HY21 |
|---|---|
| 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.26813#6EV1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Chris Umans 55PSTN1JN2
| URI | m2://inv/55PSTN1JN2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#08I5, Chris Umans (unknown)
History
- 2026-11-02: add by m2/dev
55PXTWGVXZ 55PXTWGVXZ
| URI | m2://inv/55PXTWGVXZ |
|---|---|
| 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.18464#PCVD (statement). In VSTFM3ME25/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
55Q1C44D56 55Q1C44D56
| URI | m2://inv/55Q1C44D56 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23833#JJBA (statement)
History
- 2026-11-02: add by m2/v0.6.17
Grand potential 55QE4P13Q2
| URI | m2://inv/55QE4P13Q2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grand potential, Grand potential (definition). Also Wikidata Q902476
History
- 2026-11-02: add by m2/dev
Hamiltonian 55QNHHA59E
| URI | m2://inv/55QNHHA59E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#56TR, Hamiltonian (definition)
History
- 2026-11-02: add by m2/dev
Examples 55QS0TQ9FS
| URI | m2://inv/55QS0TQ9FS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-Gaussian distribution#UEGY, Examples (example)
History
- 2026-11-02: add by m2/dev
Hautus Lemma for observability 55QWDEAD8D
| URI | m2://inv/55QWDEAD8D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hautus lemma#028L, Hautus Lemma for observability (statement)
History
- 2026-11-02: add by m2/dev
Nakagami distribution 55R1AV8BYR
| URI | m2://inv/55R1AV8BYR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#VMWB, Nakagami distribution (definition)
History
- 2026-11-02: add by m2/dev
Quantum CSS code in the Lee metric 55RE651QZ9
| URI | m2://inv/55RE651QZ9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04834#OTO9, Quantum CSS code in the Lee metric (definition). In YZNK67K060/e1, definition 4.4
History
- 2026-10-29: add by m2/v0.4.12
Philip Kutzko 55RGD77EHG
| URI | m2://inv/55RGD77EHG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YDAL, Philip Kutzko (topic)
History
- 2026-11-02: add by m2/dev
55RQPXKTV7 55RQPXKTV7
| URI | m2://inv/55RQPXKTV7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37634#3KPP (statement). In NTWNXKDBKK/e1, proposition 2.8
History
- 2026-10-30: add by m2/v0.4.12
55RX44KAPS 55RX44KAPS
| URI | m2://inv/55RX44KAPS |
|---|---|
| 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.11056#1WW1 (statement). In 1NDB3SAG7K/e1, lemma 7.3
History
- 2026-10-28: add by m2/v0.4.3
Approximation of the data 55S0M555C9
| URI | m2://inv/55S0M555C9 |
|---|---|
| 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.13753#KTZF, Approximation of the data (statement). In AHM0PBKZZN/e1, lemma 4.10
History
- 2026-10-28: add by m2/v0.4.2
Reynolds analogy 55S1JZKV3H
| URI | m2://inv/55S1JZKV3H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reynolds analogy, Reynolds analogy (definition). Also Wikidata Q2076621
History
- 2026-11-02: add by m2/dev
Ed Kezirian 55S8FNJAXS
| URI | m2://inv/55S8FNJAXS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#WE77, Ed Kezirian (unknown)
History
- 2026-11-02: add by m2/dev
Properties 55SDQ9TCQ9
| URI | m2://inv/55SDQ9TCQ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moore–Penrose inverse#T0F5, Properties (statement)
History
- 2026-11-02: add by m2/dev
vacuum energy 55SHP0FKTT
| URI | m2://inv/55SHP0FKTT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1143773, vacuum energy (unknown). Also nLab vacuum energy
History
- 2026-10-26: add by m2/dev
Interactive local differential privacy 55SJFRW1FY
| URI | m2://inv/55SJFRW1FY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 62-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.22642#PWJV, Interactive local differential privacy (definition)
History
- 2026-11-02: add by m2/v0.6.17
Examples 55SJQTY212
| URI | m2://inv/55SJQTY212 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enumerative geometry#ZVXK, Examples (example)
History
- 2026-11-02: add by m2/dev
convex set 55SKC5CWJN
| URI | m2://inv/55SKC5CWJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 52Axx |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Convex set 02AS45T3H9 |
Mentions
- wikidata: Wikidata Q193657, convex set (topic). Also EoM Convex_set, MathWorld ConvexSet, nLab convex set
- wikipedia: Wikipedia Convex set, Convex set (definition). Also Wikidata Q193657
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Lei Ni 55T4JTXXZ2
| URI | m2://inv/55T4JTXXZ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lei Ni, Lei Ni (topic). Also Wikidata Q102195668
History
- 2026-11-02: add by m2/dev
55T5ZQ25MF 55T5ZQ25MF
| URI | m2://inv/55T5ZQ25MF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40355#FA6F (statement). In SBP98GWKC8/e1, theorem 6
History
- 2026-10-30: add by m2/v0.4.12
55T8B5PVWR 55T8B5PVWR
| URI | m2://inv/55T8B5PVWR |
|---|---|
| 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.35467#UK6S (statement). In FK89DQ9J4S/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
55TBFAYAG1 55TBFAYAG1
| URI | m2://inv/55TBFAYAG1 |
|---|---|
| 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 1912.02769#TJDI (statement). In JH7VQ2EC16/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.3.5
55TKGVPYHZ 55TKGVPYHZ
| URI | m2://inv/55TKGVPYHZ |
|---|---|
| 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 2108.10246#U7NU (statement). In XD0YT3XCW2/e1, lemma 2.13
History
- 2026-10-27: add by m2/v0.3.5
55TR1DT4X1 55TR1DT4X1
| URI | m2://inv/55TR1DT4X1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#6ZIG (statement). In V6EPE8XHAD/e1, lemma 8.2
History
- 2026-10-29: add by m2/v0.4.10
55TRAH6E3Z 55TRAH6E3Z
| URI | m2://inv/55TRAH6E3Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/integrate.tex#definition-1 (definition). In RZP28ERRZV, definition, section 31.1
History
- 2026-11-01: add by m2/v0.6.13
55TYGDY0S0 55TYGDY0S0
| URI | m2://inv/55TYGDY0S0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28742#6J4Y (definition)
History
- 2026-11-01: add by m2/v0.6.15
55V2QDRE8D 55V2QDRE8D
| URI | m2://inv/55V2QDRE8D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16989#6L43 (statement). In 4769XNDWYS/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Monotonicity above the order 55V5E38NQ2
| URI | m2://inv/55V5E38NQ2 |
|---|---|
| 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.09650#RHP3, Monotonicity above the order (statement). In 628KM8869P/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.10
55V6YANBV0 55V6YANBV0
| URI | m2://inv/55V6YANBV0 |
|---|---|
| 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.04252#L1CL (statement). In ZF0Z61VQ96/e1, corollary 6.3
History
- 2026-10-29: add by m2/v0.4.12
Masayasu Mimura 55VDZQKHD5
| URI | m2://inv/55VDZQKHD5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FJT8, Masayasu Mimura (unknown)
History
- 2026-11-02: add by m2/dev
55VME31TQW 55VME31TQW
| URI | m2://inv/55VME31TQW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.08081#7B91 (statement). In FJ8XVQ6F0T/e1, theorem 2.9
History
- 2026-10-27: add by m2/v0.4.0
Face-splitting product 55VR59H49P
| URI | m2://inv/55VR59H49P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Khatri–Rao product#B29N, Face-splitting product (unknown)
History
- 2026-11-02: add by m2/dev
55W0VJ0R79 55W0VJ0R79
| URI | m2://inv/55W0VJ0R79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#definition-3 (definition). In RZP28ERRZV, definition, section 100.3
History
- 2026-11-01: add by m2/v0.6.13
55W2MAVE7G 55W2MAVE7G
| URI | m2://inv/55W2MAVE7G |
|---|---|
| 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 2405.05684#0777 (statement). In 1PR73ECTZB/e1, proposition 31
History
- 2026-10-27: add by m2/v0.3.5
55W3W5N5F9 55W3W5N5F9
| URI | m2://inv/55W3W5N5F9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05696#KNFZ (statement). In MG81A9XJTQ/e1, lemma IV.5
History
- 2026-10-29: add by m2/v0.4.10
55WC8SGKJA 55WC8SGKJA
| URI | m2://inv/55WC8SGKJA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15926#XSJF (statement). In G0J92BSX4A/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
55WKKN14JY 55WKKN14JY
| URI | m2://inv/55WKKN14JY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30544#GBYH (statement). In CB35ZBBBPT/e1, proposition 2.3
History
- 2026-10-31: add by m2/v0.5.6
55WN5S91AS 55WN5S91AS
| URI | m2://inv/55WN5S91AS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05506#IR60 (statement). In FT53PMB1TE/e1, lemma 7.4.1
History
- 2026-10-29: add by m2/v0.4.10
Denis Auroux 55WPPVHFPV
| URI | m2://inv/55WPPVHFPV |
|---|---|
| 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#8EFJ, Denis Auroux (topic)
History
- 2026-11-02: add by m2/dev
Extensions 55WRVKTEQ4
| URI | m2://inv/55WRVKTEQ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dialectica interpretation#MVX0, Extensions (statement)
History
- 2026-11-02: add by m2/dev
55X1A1YJDQ 55X1A1YJDQ
| URI | m2://inv/55X1A1YJDQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2210.06147#2H2P (statement). In 94RBNQA07A/e1, proposition 2.32
History
- 2026-10-27: add by m2/v0.3.5
327 (number) 55X3EWF6Q8
| URI | m2://inv/55X3EWF6Q8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#1631, 327 (number) (unknown)
History
- 2026-11-02: add by m2/dev
The Sea Island Mathematical Manual 55XASRHJ44
| URI | m2://inv/55XASRHJ44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7762765, The Sea Island Mathematical Manual (unknown). Also ProofWiki Book:Liu_Hui/Haidao_Suanjing
- wikipedia: Wikipedia Haidao Suanjing, Haidao Suanjing (definition). Also Wikidata Q7762765
History
- 2026-10-26: add by m2/dev
Accumulated error 55XPKEMS7V
| URI | m2://inv/55XPKEMS7V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11120#FVQC, Accumulated error (statement). In KCY80F2YGP/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.3
Jean Giraud 55Y0D48CJN
| URI | m2://inv/55Y0D48CJN |
|---|---|
| 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#7LVT, Jean Giraud (topic)
History
- 2026-11-02: add by m2/dev
Jung's theorem 55Y0P2HGM9
| URI | m2://inv/55Y0P2HGM9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#H1X9, Jung's theorem (statement)
History
- 2026-11-02: add by m2/dev
Basic properties 55YAAJHM53
| URI | m2://inv/55YAAJHM53 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariance matrix#V3GB, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
55YDQ503RZ 55YDQ503RZ
| URI | m2://inv/55YDQ503RZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#LOO1 (statement). In Z7E16PFFCP/e1, lemma 4.11
History
- 2026-10-30: add by m2/v0.4.12
Definition (weight) 55YDTRHFFA
| URI | m2://inv/55YDTRHFFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally compact quantum group#9PV1, Definition (weight) (definition)
History
- 2026-11-02: add by m2/dev
55YKCCG3R8 55YKCCG3R8
| URI | m2://inv/55YKCCG3R8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22247#LPXU (statement). In SBNH1MWND8/e1, theorem 25
History
- 2026-10-27: add by m2/v0.4.0
55YQ6SJRA7 55YQ6SJRA7
| URI | m2://inv/55YQ6SJRA7 |
|---|---|
| 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.34311#5RMN (statement). In YYV9SHAPCZ/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
55YRQEJT8G 55YRQEJT8G
| URI | m2://inv/55YRQEJT8G |
|---|---|
| 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#BMJ5 (statement). In S1KHNS8XQM/e1, lemma 12.1
History
- 2026-10-28: add by m2/v0.4.2
Dona Strauss 55YTMNQRES
| URI | m2://inv/55YTMNQRES |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3WI6, Dona Strauss (topic)
History
- 2026-11-02: add by m2/dev
55YVWYHRNW 55YVWYHRNW
| URI | m2://inv/55YVWYHRNW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14080#ZD8J (statement). In 1DRD5FAJ4C/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
Sofya Yanovskaya 55YW4VJRXX
| URI | m2://inv/55YW4VJRXX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#0QJT, Sofya Yanovskaya (unknown)
History
- 2026-11-02: add by m2/dev
Exact Hausdorff error 55Z0TWC330
| URI | m2://inv/55Z0TWC330 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11814#NYZ6, Exact Hausdorff error (statement). In MXG9FV78NP/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.3
55Z7E2P9ME 55Z7E2P9ME
| URI | m2://inv/55Z7E2P9ME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#TAWR (statement). In 9B0X8YPF3P/e1, corollary 6.11
History
- 2026-10-28: add by m2/v0.4.2
55ZF5GYVTW 55ZF5GYVTW
| URI | m2://inv/55ZF5GYVTW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.08594#EM41 (statement). In FEE70SSD96/e1, lemma 6.8
History
- 2026-10-29: add by m2/v0.4.10
Definition 55ZK3MXKXW
| URI | m2://inv/55ZK3MXKXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bures metric#HOQ3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Joseph Burn 55ZM1BB5P9
| URI | m2://inv/55ZM1BB5P9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#TS0S, Joseph Burn (unknown)
History
- 2026-11-02: add by m2/dev
Sandip Trivedi 55ZMVVGFJQ
| URI | m2://inv/55ZMVVGFJQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#7QWI, Sandip Trivedi (unknown)
History
- 2026-11-02: add by m2/dev
The Tribes and the States 55ZPPA3RRP
| URI | m2://inv/55ZPPA3RRP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William James Sidis#ISBF, The Tribes and the States (unknown)
History
- 2026-11-02: add by m2/dev
Cox ring 55ZT9K2Z80
| URI | m2://inv/55ZT9K2Z80 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#WLWT, Cox ring (definition)
History
- 2026-11-02: add by m2/dev
minimum, local 55ZX4P85E6
| URI | m2://inv/55ZX4P85E6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/3.3.1/minimum-local, minimum, local (concept). In 907G4C4EJ1, index, section 3.3.1
History
- 2026-11-01: add by m2/v0.6.13