Inventory rows K9
The cards of the rows of the inventory whose ids start with K9. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Inverted bell curve K9019NJ5ZZ
| URI | m2://inv/K9019NJ5ZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverted bell curve, Inverted bell curve (definition). Also Wikidata Q18351986
History
- 2026-11-02: add by m2/dev
June Huh K9084M13EB
| URI | m2://inv/K9084M13EB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia June Huh, June Huh (topic). Also Wikidata Q32538394
History
- 2026-11-02: add by m2/dev
K90AXZJ6C9 K90AXZJ6C9
| URI | m2://inv/K90AXZJ6C9 |
|---|---|
| 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.14985#95OU (statement). In DGXJW3SCBR/e1, proposition 49
History
- 2026-10-28: add by m2/v0.4.2
K90CGND349 K90CGND349
| URI | m2://inv/K90CGND349 |
|---|---|
| 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.32599#K14H (statement). In E1Y93JNBJA/e1, proposition 1.15
History
- 2026-10-31: add by m2/v0.5.6
Charlotte Scott K90FE8NGCA
| URI | m2://inv/K90FE8NGCA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charlotte Scott, Charlotte Scott (topic). Also Wikidata Q452086
History
- 2026-11-02: add by m2/dev
Sally Elizabeth Carlson K90J4AZDQH
| URI | m2://inv/K90J4AZDQH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sally Elizabeth Carlson, Sally Elizabeth Carlson (topic). Also Wikidata Q43301941
History
- 2026-11-02: add by m2/dev
K90MJTTDS8 K90MJTTDS8
| URI | m2://inv/K90MJTTDS8 |
|---|---|
| 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 2604.02255#4K59 (statement). In 14NGZPH8B9/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
Energy-dissipation identity K90PCBKR5E
| URI | m2://inv/K90PCBKR5E |
|---|---|
| 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#JBBB, Energy-dissipation identity (statement)
History
- 2026-11-01: add by m2/v0.6.15
K914ZEKCG9 K914ZEKCG9
| URI | m2://inv/K914ZEKCG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2510.05499#KUO7 (statement). In WRMNCC8VBC/e1, lemma 33
History
- 2026-10-27: add by m2/v0.3.6
K916BR0PCC K916BR0PCC
| URI | m2://inv/K916BR0PCC |
|---|---|
| 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.10576#U3A5 (statement). In N3ZA5MDZBW/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
K918XA35Q7 K918XA35Q7
| URI | m2://inv/K918XA35Q7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.02019#0OGW (definition). In PD607VXPY3/e1, definition 19
History
- 2026-10-27: add by m2/v0.3.5
K91B8ZMESA K91B8ZMESA
| URI | m2://inv/K91B8ZMESA |
|---|---|
| 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.21298#FSVN (statement). In AXWM2MBYXV/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.2
loop space, iterated K91K71RCYJ
| URI | m2://inv/K91K71RCYJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7/loop-space-iterated, loop space, iterated (concept). In N54F33XE07, index, section 7
History
- 2026-11-01: add by m2/v0.6.13
Main principles K91S8D4HNM
| URI | m2://inv/K91S8D4HNM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feature selection#FT98, Main principles (statement)
History
- 2026-11-02: add by m2/dev
K91W7K8W05 K91W7K8W05
| URI | m2://inv/K91W7K8W05 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_addtops-genfun.ptx#example-4 (example). In Y91XFCEVHQ, example, section 6.1.2
History
- 2026-11-01: add by m2/v0.6.13
Khabibullin's conjecture on integral inequalities K925FN1WS3
| URI | m2://inv/K925FN1WS3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Khabibullin's conjecture on integral inequalities, Khabibullin's conjecture on integral inequalities (statement). Also Wikidata Q16253127
History
- 2026-11-02: add by m2/dev
K927W2VSPD K927W2VSPD
| URI | m2://inv/K927W2VSPD |
|---|---|
| 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.34675#9XWI (statement). In C93BAXKJVD/e1, theorem 2.3
History
- 2026-10-30: add by m2/v0.4.12
Small $t$ lower bound K9287TNFE6
| URI | m2://inv/K9287TNFE6 |
|---|---|
| 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.04135#W0WE, Small $t$ lower bound (statement). In 587PWJ6W5D/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
K92HEXQE05 K92HEXQE05
| URI | m2://inv/K92HEXQE05 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-28: add by m2/v0.4.2
Oscar Bruno K92MZ2A44Q
| URI | m2://inv/K92MZ2A44Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oscar Bruno, Oscar Bruno (topic). Also Wikidata Q17505048
History
- 2026-11-02: add by m2/dev
Use K92NSWRDEE
| URI | m2://inv/K92NSWRDEE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-time password#A0HJ, Use (example)
History
- 2026-11-02: add by m2/dev
K92SVMF7SG K92SVMF7SG
| URI | m2://inv/K92SVMF7SG |
|---|---|
| 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.25595#O2HI (statement)
History
- 2026-11-01: add by m2/v0.6.15
K93J48B3GE K93J48B3GE
| URI | m2://inv/K93J48B3GE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.10058#LEUS (statement). In YQKKA47GS9/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
K93P554MWG K93P554MWG
| URI | m2://inv/K93P554MWG |
|---|---|
| Kind | definition |
| 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.22528#PFSI (definition)
History
- 2026-11-02: add by m2/v0.6.17
Extension K93TRY88BK
| URI | m2://inv/K93TRY88BK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Danskin's theorem#ZWQ5, Extension (statement)
History
- 2026-11-02: add by m2/dev
Nonlinear optics K93VXR8PGN
| URI | m2://inv/K93VXR8PGN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear optics, Nonlinear optics (topic). Also Wikidata Q756033
History
- 2026-11-02: add by m2/dev
lax natural transformation K943ZS2NXS
| URI | m2://inv/K943ZS2NXS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25304046, lax natural transformation (concept). Also nLab lax natural transformation
History
- 2026-10-26: add by m2/dev
K946FH39PQ K946FH39PQ
| URI | m2://inv/K946FH39PQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 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.10930#56P5 (definition). In HX63A1PH1W/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.3
K94ENRC26H K94ENRC26H
| URI | m2://inv/K94ENRC26H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-42 (exercise). In E9HS8K3A52, exercise, section 10.4.3
History
- 2026-11-01: add by m2/v0.6.13
Formula for primes K94H2YKGNK
| URI | m2://inv/K94H2YKGNK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#MAEC, Formula for primes (statement)
History
- 2026-11-02: add by m2/dev
Cartan–Kähler theorem K94NJD0MZE
| URI | m2://inv/K94NJD0MZE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#GYU2, Cartan–Kähler theorem (statement)
History
- 2026-11-02: add by m2/dev
Converse invariant factorization theorem K94RD3TZ9D
| URI | m2://inv/K94RD3TZ9D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.29348#ZFFM, Converse invariant factorization theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
K94VY6YZK7 K94VY6YZK7
| URI | m2://inv/K94VY6YZK7 |
|---|---|
| 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.23872#ZP6T (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties K94WE9PNMW
| URI | m2://inv/K94WE9PNMW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix similarity#S7W1, Properties (statement)
History
- 2026-11-02: add by m2/dev
Steiner–Lehmus theorem K950Q0H9RT
| URI | m2://inv/K950Q0H9RT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#FQM5, Steiner–Lehmus theorem (statement)
History
- 2026-11-02: add by m2/dev
K95JH4VV8B K95JH4VV8B
| URI | m2://inv/K95JH4VV8B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#example-9 (example). In E59CDZA4DP, example, section 11.9.5
History
- 2026-11-01: add by m2/v0.6.13
K95TCMXET2 K95TCMXET2
| URI | m2://inv/K95TCMXET2 |
|---|---|
| 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 2406.01499#GHK6 (statement). In B32K3KBEKC/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Statement K95ZTC5TE6
| URI | m2://inv/K95ZTC5TE6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overspill#RSGN, Statement (statement)
History
- 2026-11-02: add by m2/dev
K968TSGGGW K968TSGGGW
| URI | m2://inv/K968TSGGGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39531#QM07 (statement). In SN9RSTHQ07/e1, lemma H.6
History
- 2026-10-30: add by m2/v0.4.12
Jacobian variety K96CESWFKM
| URI | m2://inv/K96CESWFKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#HW95, Jacobian variety (definition)
History
- 2026-11-02: add by m2/dev
Barry C. Arnold K96EDAENZ2
| URI | m2://inv/K96EDAENZ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barry C. Arnold, Barry C. Arnold (topic). Also Wikidata Q88013601
History
- 2026-11-02: add by m2/dev
K96HCGXJHV K96HCGXJHV
| URI | m2://inv/K96HCGXJHV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19545#6JW2 (statement). In MKNMVBEYK2/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Methods K96YZY0X52
| URI | m2://inv/K96YZY0X52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vital statistics (government records)#ZZS6, Methods (definition)
History
- 2026-11-02: add by m2/dev
BEAR and LION ciphers K970CD80CN
| URI | m2://inv/K970CD80CN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BEAR and LION ciphers, BEAR and LION ciphers (definition). Also Wikidata Q4835404
History
- 2026-11-02: add by m2/dev
K976PE3XKQ K976PE3XKQ
| URI | m2://inv/K976PE3XKQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-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.21768#EIUB (statement). In VD53W58DS1/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.2
Mittag-Leffler function K977N956PA
| URI | m2://inv/K977N956PA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#G4AO, Mittag-Leffler function (definition)
History
- 2026-11-02: add by m2/dev
Regularity of the conjugate K9797BG0Z0
| URI | m2://inv/K9797BG0Z0 |
|---|---|
| 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.14562#4AGN, Regularity of the conjugate (statement). In G4XMZ452QE/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Definition K97A2FHWVF
| URI | m2://inv/K97A2FHWVF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigidity matroid#O3WU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Generalizations K97PEXRKRY
| URI | m2://inv/K97PEXRKRY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifford algebra#LJXQ, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Bruck–Ryser–Chowla theorem K97Q4W0GR6
| URI | m2://inv/K97Q4W0GR6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UPMH, Bruck–Ryser–Chowla theorem (statement)
History
- 2026-11-02: add by m2/dev
Gorakh Prasad K97Y8Q4XA4
| URI | m2://inv/K97Y8Q4XA4 |
|---|---|
| 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#4L4Q, Gorakh Prasad (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UEMC, Gorakh Prasad (unknown)
History
- 2026-11-02: add by m2/dev
Arne Beurling K9801522KC
| URI | m2://inv/K9801522KC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arne Beurling, Arne Beurling (topic). Also Wikidata Q692166
History
- 2026-11-02: add by m2/dev
K988TA2EMY K988TA2EMY
| URI | m2://inv/K988TA2EMY |
|---|---|
| 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.07890#S49E (statement). In 6F3GSDT2V1/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.10
Fock space K989ARQABW
| URI | m2://inv/K989ARQABW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of vector spaces in mathematics#PAE4, Fock space (definition)
History
- 2026-11-02: add by m2/dev
Coxeter group K989SP3DHR
| URI | m2://inv/K989SP3DHR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Coxeter group G6FND7X69J |
Mentions
- wikidata: Wikidata Q7874246, Coxeter group (concept). Also MathWorld CoxeterGroup, nLab Coxeter group
- wikipedia: Wikipedia Coxeter group, Coxeter group (definition). Also Wikidata Q7874246
History
- 2026-10-26: add by m2/dev
K98CZDM22S K98CZDM22S
| URI | m2://inv/K98CZDM22S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21945#IKGS (statement). In 371P9QASSJ/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.4.2
K98DQMMVVN K98DQMMVVN
| URI | m2://inv/K98DQMMVVN |
|---|---|
| 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 2204.13401#RV61 (definition). In B8MJT0GGW8/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.0
K98FR6MC4X K98FR6MC4X
| URI | m2://inv/K98FR6MC4X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-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.38013#7TZB (statement). In DQ6P0P6N78/e1, proposition 1.2
History
- 2026-10-30: add by m2/v0.4.12
Definition K98H346VMN
| URI | m2://inv/K98H346VMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral probability metric#H0C0, Definition (definition)
History
- 2026-11-02: add by m2/dev
K98WZRC0DV K98WZRC0DV
| URI | m2://inv/K98WZRC0DV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38793#RYB5 (statement). In T2N92YSY5R/e1, proposition 4.18
History
- 2026-10-30: add by m2/v0.4.12
James reduced product K990P0BNXB
| URI | m2://inv/K990P0BNXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James reduced product, James reduced product (definition). Also Wikidata Q16979721
History
- 2026-11-02: add by m2/dev
Erdős–Anning theorem K99E7XGV7V
| URI | m2://inv/K99E7XGV7V |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 52-XX |
| Sources | 4 |
| Outcome | open |
| Node | Erdős–Anning theorem G4C8V6K4VW |
Mentions
- mathlib_1000: mathlib_1000 Q3526982, Erdős–Anning theorem (statement). Also Wikidata Q3526982
- thousand_plus: thousand_plus Q3526982, Erdős–Anning theorem (statement). Also Wikidata Q3526982, Wikipedia Erdős–Anning theorem
- wikidata: Wikidata Q3526982, Erdős–Anning theorem (statement). Also MathWorld Erdos-AnningTheorem
- wikipedia: Wikipedia Erdős–Anning theorem, Erdős–Anning theorem (statement). Also Wikidata Q3526982
History
- 2026-10-26: add by m2/dev
Faustina Pignatelli K99NV29KPY
| URI | m2://inv/K99NV29KPY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faustina Pignatelli, Faustina Pignatelli (topic). Also Wikidata Q4511484
History
- 2026-11-02: add by m2/dev
K99QDZ195S K99QDZ195S
| URI | m2://inv/K99QDZ195S |
|---|---|
| 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 1907.01440#YUP5 (statement). In QDRYC6WJJ7/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
Möbius bundle K99YMM5K30
| URI | m2://inv/K99YMM5K30 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fiber bundle#YXKB, Möbius bundle (unknown)
History
- 2026-11-02: add by m2/dev
nonary K9A1BJY9EH
| URI | m2://inv/K9A1BJY9EH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#UD61, nonary (definition)
History
- 2026-11-02: add by m2/dev
K9AA4BFDDT K9AA4BFDDT
| URI | m2://inv/K9AA4BFDDT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.27872#4PUZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Central compactification K9ADFDA4J7
| URI | m2://inv/K9ADFDA4J7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12434#EIEV, Central compactification (statement). In YCRZC9SDCE/e1, lemma 13.1
History
- 2026-10-28: add by m2/v0.4.2
Properties K9AJ12JZE6
| URI | m2://inv/K9AJ12JZE6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intensity (measure theory)#3X6H, Properties (statement)
History
- 2026-11-02: add by m2/dev
Applications K9AMNCV8SZ
| URI | m2://inv/K9AMNCV8SZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy type theory#GREM, Applications (example)
History
- 2026-11-02: add by m2/dev
K9AT5F0DZX K9AT5F0DZX
| URI | m2://inv/K9AT5F0DZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37124#T75D (statement). In 2QF1YG9DD0/e1, lemma 3.16
History
- 2026-10-30: add by m2/v0.4.12
K9B0Q3196H K9B0Q3196H
| URI | m2://inv/K9B0Q3196H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05314#BZT4 (statement). In PA3B6C0WY7/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
K9BH0667VS K9BH0667VS
| URI | m2://inv/K9BH0667VS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17516#B1W8 (statement). In Z16NBNM4AK/e1, fact 2.4
History
- 2026-10-28: add by m2/v0.4.2
Construction K9BPRG8P1V
| URI | m2://inv/K9BPRG8P1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypercube graph#8FY4, Construction (definition)
History
- 2026-11-02: add by m2/dev
Ooguri–Vafa metric K9BQ86FPNE
| URI | m2://inv/K9BQ86FPNE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ooguri–Vafa metric, Ooguri–Vafa metric (definition). Also Wikidata Q133784520
History
- 2026-11-02: add by m2/dev
K9BSKA5Y40 K9BSKA5Y40
| URI | m2://inv/K9BSKA5Y40 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#example-19 (example). In E9HS8K3A52, example, section 4.9
History
- 2026-11-01: add by m2/v0.6.13
Information-based complexity K9C1N4TRYY
| URI | m2://inv/K9C1N4TRYY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information-based complexity, Information-based complexity (definition). Also Wikidata Q6030626
History
- 2026-11-02: add by m2/dev
heptagonal pyramidal number K9C4QNG0Q0
| URI | m2://inv/K9C4QNG0Q0 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q606977, heptagonal pyramidal number (object). Also OEIS A002413
History
- 2026-10-26: add by m2/dev
K9CCD5KVVM K9CCD5KVVM
| URI | m2://inv/K9CCD5KVVM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-137 (exercise). In VNMV985MXX, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
CDMA 1X WIN K9CEN8JFNR
| URI | m2://inv/K9CEN8JFNR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CDMA2000#GKV1, CDMA 1X WIN (unknown)
History
- 2026-11-02: add by m2/dev
K9CFA8A06D K9CFA8A06D
| URI | m2://inv/K9CFA8A06D |
|---|---|
| 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.31331#OXMP (statement). In TWB64HRHWZ/e1, lemma 10
History
- 2026-10-31: add by m2/v0.5.6
K9CKTCQ3SZ K9CKTCQ3SZ
| URI | m2://inv/K9CKTCQ3SZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#0OLW (statement). In GW23NX78SB/e1, lemma 3.16
History
- 2026-10-28: add by m2/v0.4.2
List of things named after Emmy Noether K9CQZNBDG9
| URI | m2://inv/K9CQZNBDG9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Emmy Noether, List of things named after Emmy Noether (topic). Also Wikidata Q24962345
History
- 2026-11-02: add by m2/dev
K9CTAC453B K9CTAC453B
| URI | m2://inv/K9CTAC453B |
|---|---|
| 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.11481#AT09 (statement). In 8XHK5ZCX7H/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.3
Colton--Glover--Hughes--Sandberg K9D0W3KZHH
| URI | m2://inv/K9D0W3KZHH |
|---|---|
| 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.01596#GTRX, Colton--Glover--Hughes--Sandberg (statement). In 40VTEP7WH8/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.12
Man-in-the-disk K9D1FGEDT9
| URI | m2://inv/K9D1FGEDT9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disk encryption#ELF3, Man-in-the-disk (unknown)
History
- 2026-11-02: add by m2/dev
K9DJW61T8S K9DJW61T8S
| URI | m2://inv/K9DJW61T8S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#DQYD (statement). In WAXS6FS388/e1, lemma 2.18
History
- 2026-10-30: add by m2/v0.4.12
Critical moment order K9DK90C1MF
| URI | m2://inv/K9DK90C1MF |
|---|---|
| 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.12740#69W6, Critical moment order (statement). In HKYRZSZPEC/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
K9DPRK87TG K9DPRK87TG
| URI | m2://inv/K9DPRK87TG |
|---|---|
| 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.11481#AJ8N (statement). In 8XHK5ZCX7H/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.3
Simple example K9DPZSTEE9
| URI | m2://inv/K9DPZSTEE9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex random variable#MKMU, Simple example (example)
History
- 2026-11-02: add by m2/dev
K9DZ3MRXDN K9DZ3MRXDN
| URI | m2://inv/K9DZ3MRXDN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-advPIE.ptx#investigation-3 (exercise). In Y91XFCEVHQ, investigation, section 2.6.2
History
- 2026-11-01: add by m2/v0.6.13
Vanishing relative module K9E3CDSN4W
| URI | m2://inv/K9E3CDSN4W |
|---|---|
| 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.28160#R3FA, Vanishing relative module (statement)
History
- 2026-11-01: add by m2/v0.6.15
Eléna Wexler-Kreindler K9E6AR1G1E
| URI | m2://inv/K9E6AR1G1E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ER0Z, Eléna Wexler-Kreindler (topic)
History
- 2026-11-02: add by m2/dev
Posterior Analytics K9ECCZ0K4P
| URI | m2://inv/K9ECCZ0K4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Posterior Analytics, Posterior Analytics (definition). Also Wikidata Q485206
History
- 2026-11-02: add by m2/dev
K9EQBJ48TG K9EQBJ48TG
| URI | m2://inv/K9EQBJ48TG |
|---|---|
| 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.25896#4N9M (statement)
History
- 2026-11-01: add by m2/v0.6.15
K9ER6AVXWS K9ER6AVXWS
| URI | m2://inv/K9ER6AVXWS |
|---|---|
| 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.21724#WZP6 (statement). In EDDJCSBMXN/e1, lemma 7.5
History
- 2026-10-27: add by m2/v0.4.2
Navin M. Singhi K9EXFGE9WB
| URI | m2://inv/K9EXFGE9WB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XKOL, Navin M. Singhi (topic)
History
- 2026-11-02: add by m2/dev
K9F3ASJQY9 K9F3ASJQY9
| URI | m2://inv/K9F3ASJQY9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#prop-6 (statement). In E59CDZA4DP, prop, section 8.4.2
History
- 2026-11-01: add by m2/v0.6.13
Bixid (programming language) K9F4D6HH5G
| URI | m2://inv/K9F4D6HH5G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bidirectional transformation#X6ND, Bixid (programming language) (unknown)
History
- 2026-11-02: add by m2/dev
Euclidean norm K9F67AN9GZ
| URI | m2://inv/K9F67AN9GZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20076640, Euclidean norm (unknown). Also MathWorld L2-Norm
History
- 2026-10-26: add by m2/dev
Portable, Extensible Toolkit for Scientific Computation K9FGK6XG9R
| URI | m2://inv/K9FGK6XG9R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Portable, Extensible Toolkit for Scientific Computation, Portable, Extensible Toolkit for Scientific Computation (definition). Also Wikidata Q4047262
History
- 2026-11-02: add by m2/dev
Base point freeness K9FP5JWHMD
| URI | m2://inv/K9FP5JWHMD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ample line bundle#4XB4, Base point freeness (unknown)
History
- 2026-11-02: add by m2/dev
K9FSF7B5B3 K9FSF7B5B3
| URI | m2://inv/K9FSF7B5B3 |
|---|---|
| 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.00789#LX4I (statement). In 4WPYBTARS2/e1, proposition 4.8
History
- 2026-10-29: add by m2/v0.4.12
Related-key attack K9G3E18ACX
| URI | m2://inv/K9G3E18ACX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Related-key attack, Related-key attack (definition). Also Wikidata Q515265
History
- 2026-11-02: add by m2/dev
K9GBWHKN9C K9GBWHKN9C
| URI | m2://inv/K9GBWHKN9C |
|---|---|
| Kind | example |
| 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#VKB1 (example). In 3VZ55B2N0D/e1, example 6.11
History
- 2026-10-27: add by m2/v0.4.0
K9GDJTQZES K9GDJTQZES
| URI | m2://inv/K9GDJTQZES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00584#5XRY (statement). In 3CRSR95BNA/e1, theorem 5.6
History
- 2026-10-30: add by m2/v0.4.12
Finite-type operational bracket K9GXPQR398
| URI | m2://inv/K9GXPQR398 |
|---|---|
| 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.09472#8792, Finite-type operational bracket (statement). In 35925M9GJW/e1, corollary B.2
History
- 2026-10-29: add by m2/v0.4.10
R v Adams K9GZCSTGFW
| URI | m2://inv/K9GZCSTGFW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R v Adams, R v Adams (definition). Also Wikidata Q7278236
History
- 2026-11-02: add by m2/dev
K9GZZ4NFQ4 K9GZZ4NFQ4
| URI | m2://inv/K9GZZ4NFQ4 |
|---|---|
| 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.24412#EDPS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition K9H29KF2MX
| URI | m2://inv/K9H29KF2MX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Class kappa function#2WVU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Harold F. Dodge K9H2BTMWFR
| URI | m2://inv/K9H2BTMWFR |
|---|---|
| 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#9MJ1, Harold F. Dodge (topic)
History
- 2026-11-02: add by m2/dev
K9H7VJBWCK K9H7VJBWCK
| URI | m2://inv/K9H7VJBWCK |
|---|---|
| Kind | definition |
| 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#PX08 (definition). In F6C80AEXC1/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.12
K9HD4DKCZS K9HD4DKCZS
| URI | m2://inv/K9HD4DKCZS |
|---|---|
| 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 2403.08723#1QEG (statement). In HGE2NCQW29/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.3.5
Law of large numbers for Pettis-integrable random variables K9HJXDAWCB
| URI | m2://inv/K9HJXDAWCB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pettis integral#K9AN, Law of large numbers for Pettis-integrable random variables (statement)
History
- 2026-11-02: add by m2/dev
Portmanteau test K9HPKMGZ3P
| URI | m2://inv/K9HPKMGZ3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Portmanteau test, Portmanteau test (definition). Also Wikidata Q2069557
History
- 2026-11-02: add by m2/dev
real numbers, Dedekind K9HRQSHZQW
| URI | m2://inv/K9HRQSHZQW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.4/real-numbers-dedekind, real numbers, Dedekind (concept). In N54F33XE07, index, section B.4
History
- 2026-11-01: add by m2/v0.6.13
computer-assisted K9HSH0B677
| URI | m2://inv/K9HSH0B677 |
|---|---|
| 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.03856#SFRC, computer-assisted (statement). In HTBRYNPHSJ/e1, theorem 8.2
History
- 2026-10-29: add by m2/v0.4.12
Equivalential calculus K9J76RNZB0
| URI | m2://inv/K9J76RNZB0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axiomatic systems in logic#VA7Y, Equivalential calculus (unknown)
History
- 2026-11-02: add by m2/dev
Z-transform K9J7REKQSM
| URI | m2://inv/K9J7REKQSM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9XLQ, Z-transform (definition)
- wikipedia: Wikipedia List of transforms#MYSB, Z-transform (definition)
History
- 2026-11-02: add by m2/dev
Distributive laws K9J8ZN86EX
| URI | m2://inv/K9J8ZN86EX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional formula#AWI7, Distributive laws (statement)
History
- 2026-11-02: add by m2/dev
Zorn's lemma K9JC0KTRD5
| URI | m2://inv/K9JC0KTRD5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zorn's lemma#K4RG, Zorn's lemma (statement)
History
- 2026-11-02: add by m2/dev
K9JFJDM4E1 K9JFJDM4E1
| URI | m2://inv/K9JFJDM4E1 |
|---|---|
| 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.06724#OHFR (statement). In W5XG3PGVF1/e1, lemma C.4
History
- 2026-10-29: add by m2/v0.4.10
K9JMVGDAH9 K9JMVGDAH9
| URI | m2://inv/K9JMVGDAH9 |
|---|---|
| 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.24078#NO5Y (statement)
History
- 2026-11-02: add by m2/v0.6.17
K9JZNKAT00 K9JZNKAT00
| URI | m2://inv/K9JZNKAT00 |
|---|---|
| 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.29393#OZXE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Giuseppe Peano K9K7C9E6C7
| URI | m2://inv/K9K7C9E6C7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#MKO0, Giuseppe Peano (topic)
History
- 2026-11-02: add by m2/dev
K9KBHAFXWX K9KBHAFXWX
| URI | m2://inv/K9KBHAFXWX |
|---|---|
| Kind | example |
| 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.23145#6HQ1 (example)
History
- 2026-11-02: add by m2/v0.6.17
Posterior averaging bound K9KECRTZCZ
| URI | m2://inv/K9KECRTZCZ |
|---|---|
| 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.05333#VIV4, Posterior averaging bound (statement). In N37WKFTR7Q/e1, lemma H.2
History
- 2026-10-29: add by m2/v0.4.10
K9KFATHBF0 K9KFATHBF0
| URI | m2://inv/K9KFATHBF0 |
|---|---|
| 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.36389#DKU2 (statement). In N1S169J2MV/e1, proposition 7
History
- 2026-10-30: add by m2/v0.4.12
undetermined coefficients, for second-order systems K9KGVVPM14
| URI | m2://inv/K9KGVVPM14 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.6.3/undetermined-coefficients-for-second-order-systems, undetermined coefficients, for second-order systems (concept). In E9HS8K3A52, index, section 10.6.3
History
- 2026-11-01: add by m2/v0.6.13
Paracomplete logic K9KHPCS6PS
| URI | m2://inv/K9KHPCS6PS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paraconsistent logic#3HWZ, Paracomplete logic (unknown)
History
- 2026-11-02: add by m2/dev
K9KHSKQ6V6 K9KHSKQ6V6
| URI | m2://inv/K9KHSKQ6V6 |
|---|---|
| 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.12736#D3UV (statement). In 5350Q52F6P/e1, lemma 8.4
History
- 2026-10-28: add by m2/v0.4.2
Precise formulation of the conjecture K9KMP6EQZG
| URI | m2://inv/K9KMP6EQZG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel conjecture#KS9J, Precise formulation of the conjecture (statement)
History
- 2026-11-02: add by m2/dev
coequalizer K9KPENYX8R
| URI | m2://inv/K9KPENYX8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Coequalizer DVSTWGVCSZ |
Mentions
- wikidata: Wikidata Q5140810, coequalizer (unknown). Also MathWorld Coequalizer, nLab coequalizer
- wikipedia: Wikipedia Coequalizer, Coequalizer (definition). Also Wikidata Q5140810
History
- 2026-10-26: add by m2/dev
Approximate supremum over an essential argmax set K9KVEMJA0F
| URI | m2://inv/K9KVEMJA0F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 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.27918#K1PS, Approximate supremum over an essential argmax set (definition)
History
- 2026-11-01: add by m2/v0.6.15
K9M3EKRK73 K9M3EKRK73
| URI | m2://inv/K9M3EKRK73 |
|---|---|
| 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.37237#POEI (statement). In GBY82BZCNA/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Richard Thomas K9M5AP3M6J
| URI | m2://inv/K9M5AP3M6J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QCGU, Richard Thomas (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#F43F, Richard Thomas (topic)
History
- 2026-11-02: add by m2/dev
1 terameter K9M6MWN817
| URI | m2://inv/K9M6MWN817 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (length)#YQ5X, 1 terameter (unknown)
History
- 2026-11-02: add by m2/dev
K9M8Q97AYJ K9M8Q97AYJ
| URI | m2://inv/K9M8Q97AYJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_intro.ptx#corollary-1 (statement). In QKM9DD2H56, corollary, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
K9MCJVVWCG K9MCJVVWCG
| URI | m2://inv/K9MCJVVWCG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2609.34845#FBKM (statement). In SBZNH932ZV/e1, theorem 7.6
History
- 2026-10-30: add by m2/v0.4.12
K9MFF23M6J K9MFF23M6J
| URI | m2://inv/K9MFF23M6J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17139#TGR5 (statement). In AQWX60Z563/e1, lemma 4.11
History
- 2026-10-28: add by m2/v0.4.2
K9MFSWNA76 K9MFSWNA76
| URI | m2://inv/K9MFSWNA76 |
|---|---|
| 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.32077#UOOW (statement). In WYXQDSQR9B/e1, lemma 1.7
History
- 2026-10-31: add by m2/v0.5.6
The St. Petersburg paradox K9MHGTA007
| URI | m2://inv/K9MHGTA007 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expected utility hypothesis#OJMS, The St. Petersburg paradox (statement)
History
- 2026-11-02: add by m2/dev
K9MNW1AA7C K9MNW1AA7C
| URI | m2://inv/K9MNW1AA7C |
|---|---|
| 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 2601.01000#6BLP (statement). In RYFV9HGWWZ/e1, lemma 25
History
- 2026-10-27: add by m2/v0.3.5
Zimbabwe National Statistics Agency K9MQ62ZHAY
| URI | m2://inv/K9MQ62ZHAY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zimbabwe National Statistics Agency, Zimbabwe National Statistics Agency (definition). Also Wikidata Q28003639
History
- 2026-11-02: add by m2/dev
Judith Goldberg K9MSC7H3RR
| URI | m2://inv/K9MSC7H3RR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Judith Goldberg, Judith Goldberg (topic). Also Wikidata Q48328661
History
- 2026-11-02: add by m2/dev
K9MSK0363N K9MSK0363N
| URI | m2://inv/K9MSK0363N |
|---|---|
| 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.03497#M76H (statement). In RRNHC0CAC9/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
K9MT4KWXRB K9MT4KWXRB
| URI | m2://inv/K9MT4KWXRB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30760#QLGF (definition). In MMVNRRE7N0/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
K9MYC99TS9 K9MYC99TS9
| URI | m2://inv/K9MYC99TS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#defn:card (definition). In N54F33XE07, defn, section C.2
History
- 2026-11-01: add by m2/v0.6.13
K9MZCKMHWA K9MZCKMHWA
| URI | m2://inv/K9MZCKMHWA |
|---|---|
| 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 2208.04502#5Q5B (statement). In BT6E9BXXF3/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.3.5
Yuri Mikhailovich Smirnov K9N0VQS1CB
| URI | m2://inv/K9N0VQS1CB |
|---|---|
| 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#QDUR, Yuri Mikhailovich Smirnov (topic)
History
- 2026-11-02: add by m2/dev
Sudden approximation K9N0XX8KM1
| URI | m2://inv/K9N0XX8KM1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adiabatic theorem#7ROW, Sudden approximation (unknown)
History
- 2026-11-02: add by m2/dev
Static type checking K9N21R3RXG
| URI | m2://inv/K9N21R3RXG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type system#YB6O, Static type checking (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations K9N6XSRPJZ
| URI | m2://inv/K9N6XSRPJZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indiscernibles#IDM3, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Karl Menger K9N7AVXMAC
| URI | m2://inv/K9N7AVXMAC |
|---|---|
| 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#4FUO, Karl Menger (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#H1B2, Karl Menger (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NRF0, Karl Menger (topic)
History
- 2026-11-02: add by m2/dev
Hat matrix K9N7P8C01F
| URI | m2://inv/K9N7P8C01F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3MS8, Hat matrix (definition)
History
- 2026-11-02: add by m2/dev
K9NK0XPZ6X K9NK0XPZ6X
| URI | m2://inv/K9NK0XPZ6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2307.02473#87UI (statement). In RGXMK94YW1/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Classical Sampling Theorem (CST K9NM0GR40C
| URI | m2://inv/K9NM0GR40C |
|---|---|
| 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.25472#DUO7, Classical Sampling Theorem (CST (statement)
History
- 2026-11-01: add by m2/v0.6.15
K9NPA6HVKG K9NPA6HVKG
| URI | m2://inv/K9NPA6HVKG |
|---|---|
| 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#V51N (definition)
History
- 2026-11-02: add by m2/v0.6.18
K9NRQ8A200 K9NRQ8A200
| URI | m2://inv/K9NRQ8A200 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2105.03252#YUAA (statement). In 2E47BDDDR4/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
K9NSAC2GS5 K9NSAC2GS5
| URI | m2://inv/K9NSAC2GS5 |
|---|---|
| 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 math/0312342#MEYJ (statement). In K811ERNKV5/e1, theorem B.1
History
- 2026-10-27: add by m2/v0.3.5
K9NSP2S133 K9NSP2S133
| URI | m2://inv/K9NSP2S133 |
|---|---|
| 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 2311.16205#JT94 (statement). In 3GE9PS9AH0/e1, proposition 1.2.4
History
- 2026-10-27: add by m2/v0.3.5
Indeterminacy of the population directions K9NVRGNB3D
| URI | m2://inv/K9NVRGNB3D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20550#DLW9, Indeterminacy of the population directions (statement)
History
- 2026-11-02: add by m2/v0.6.18
K9P0JDMV7Z K9P0JDMV7Z
| URI | m2://inv/K9P0JDMV7Z |
|---|---|
| Kind | definition |
| 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.13707#515X (definition). In 3564GWRNSF/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Methods K9P3H9EWD2
| URI | m2://inv/K9P3H9EWD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistics#GK3U, Methods (definition)
History
- 2026-11-02: add by m2/dev
K9P6CN0ZP4 K9P6CN0ZP4
| URI | m2://inv/K9P6CN0ZP4 |
|---|---|
| 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.39449#SVW7 (statement). In GWC70X14RG/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
Constructions K9P6Q5TW2M
| URI | m2://inv/K9P6Q5TW2M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform polytope#HJMO, Constructions (definition)
History
- 2026-11-02: add by m2/dev
K9P7R53A3G K9P7R53A3G
| URI | m2://inv/K9P7R53A3G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31127#7F8Y (definition). In NS3RZ26JC7/e1, definition 2
History
- 2026-10-31: add by m2/v0.5.6
geometric topology K9P8CGZK01
| URI | m2://inv/K9P8CGZK01 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1939186, geometric topology (topic). Also ProofWiki Definition:Geometric_Topology
- wikipedia: Wikipedia Geometric topology, Geometric topology (topic). Also Wikidata Q1939186
History
- 2026-10-26: add by m2/dev
Generalizations K9PXMC6RST
| URI | m2://inv/K9PXMC6RST |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twelvefold way#HH0Y, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Mémoires de l'Académie (Royale) des Sciences de l'Institut (Imperial) de France K9Q4HBMPJB
| URI | m2://inv/K9Q4HBMPJB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q51503259, Mémoires de l'Académie (Royale) des Sciences de l'Institut (Imperial) de France (unknown). Also ProofWiki Book:Journal/Mémoires_de_l'Académie_(Royale)_des_Sciences_de_l'Institut_(Imperial)_de_France
History
- 2026-10-26: add by m2/dev
K9Q9FYKXT3 K9Q9FYKXT3
| URI | m2://inv/K9Q9FYKXT3 |
|---|---|
| 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 2502.02777#RI9Z (definition). In D8T5GDXERW/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
integers K9QFXG5WBB
| URI | m2://inv/K9QFXG5WBB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.3.1/integers, integers (concept). In Y91XFCEVHQ, index, section 1.3.1
History
- 2026-11-01: add by m2/v0.6.13
Susan Friedlander K9R1KWBP39
| URI | m2://inv/K9R1KWBP39 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7ITP, Susan Friedlander (topic)
History
- 2026-11-02: add by m2/dev
Cheung–Marks theorem K9R27M6GQG
| URI | m2://inv/K9R27M6GQG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cheung–Marks theorem, Cheung–Marks theorem (statement). Also Wikidata Q5094271
History
- 2026-11-02: add by m2/dev
Properties K9R2K9HC9C
| URI | m2://inv/K9R2K9HC9C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero divisor#RUJW, Properties (statement)
History
- 2026-11-02: add by m2/dev
Bertrand's conjecture K9R2XZB6BH
| URI | m2://inv/K9R2XZB6BH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four exponentials conjecture#56K3, Bertrand's conjecture (statement)
History
- 2026-11-02: add by m2/dev
K9R3N3K3WB K9R3N3K3WB
| URI | m2://inv/K9R3N3K3WB |
|---|---|
| Kind | example |
| 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 2206.11809#1S5V (example). In YQXYSNW78V/e1, example 20
History
- 2026-10-27: add by m2/v0.3.5
St\u{a}nic\u{a}'s Binomial Bounds K9R3QQ3FY4
| URI | m2://inv/K9R3QQ3FY4 |
|---|---|
| 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.07671#ITUF, St\u{a}nic\u{a}'s Binomial Bounds (statement). In XHHBGCVG90/e1, lemma 5.1.1
History
- 2026-10-29: add by m2/v0.4.10
K9R5S4F3W9 K9R5S4F3W9
| URI | m2://inv/K9R5S4F3W9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.02901#91DN (statement). In NSP90G5XCQ/e1, theorem 3.9
History
- 2026-10-29: add by m2/v0.4.12
Tilt function K9R9EGAE9P
| URI | m2://inv/K9R9EGAE9P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09596#YF03, Tilt function (definition). In HXFA55BREZ/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
K9RJRPFQBV K9RJRPFQBV
| URI | m2://inv/K9RJRPFQBV |
|---|---|
| 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 2105.03715#GNQY (statement). In H3FWT3Z0J4/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
K9RMNTXATC K9RMNTXATC
| URI | m2://inv/K9RMNTXATC |
|---|---|
| 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.06669#MQ8L (statement). In YXD3950ZXR/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
maximum modulus principle K9S337CQGX
| URI | m2://inv/K9S337CQGX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/1.5/maximum-modulus-principle, maximum modulus principle (concept). In E59CDZA4DP, index, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
Sum of singularities K9S4Y46QR4
| URI | m2://inv/K9S4Y46QR4 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33442#68DA, Sum of singularities (unknown). In EWY5YPMKA3/e1, unknown 5
History
- 2026-10-30: add by m2/v0.4.12
Harald Niederreiter K9S6VHWEBJ
| URI | m2://inv/K9S6VHWEBJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8MSW, Harald Niederreiter (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RUQ0, Harald Niederreiter (topic)
History
- 2026-11-02: add by m2/dev
Vitali's covering theorem for the Hausdorff measure K9SA7MCNH1
| URI | m2://inv/K9SA7MCNH1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vitali covering lemma#P2PN, Vitali's covering theorem for the Hausdorff measure (statement)
History
- 2026-11-02: add by m2/dev
K9SCZ4ZCNR K9SCZ4ZCNR
| URI | m2://inv/K9SCZ4ZCNR |
|---|---|
| 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.18324#QH5G (statement). In C0EG2EY0M4/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
weird number K9SJ8TPFG4
| URI | m2://inv/K9SJ8TPFG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2145900, weird number (unknown). Also MathWorld WeirdNumber, OEIS A006037
- wikipedia: Wikipedia Weird number, Weird number (definition). Also Wikidata Q2145900
History
- 2026-10-26: add by m2/dev
K9SJTQDT27 K9SJTQDT27
| URI | m2://inv/K9SJTQDT27 |
|---|---|
| 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.17408#P8H5 (statement). In QR8H4M1X4N/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Guido Caldarelli K9SMFDZN26
| URI | m2://inv/K9SMFDZN26 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UMH4, Guido Caldarelli (unknown)
History
- 2026-11-02: add by m2/dev
Definition and properties K9SRKZG28C
| URI | m2://inv/K9SRKZG28C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation code#SLD5, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
K9SWASQBQB K9SWASQBQB
| URI | m2://inv/K9SWASQBQB |
|---|---|
| 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.06300#Y5LO (statement). In 751KSRS7WT/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.10
K9T0QFY3FZ K9T0QFY3FZ
| URI | m2://inv/K9T0QFY3FZ |
|---|---|
| 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.13850#7DIA (statement). In KJY735KSMF/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
Straight skeleton K9T6JX545V
| URI | m2://inv/K9T6JX545V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straight skeleton, Straight skeleton (definition). Also Wikidata Q7621092
History
- 2026-11-02: add by m2/dev
K9TAS4G3MD K9TAS4G3MD
| URI | m2://inv/K9TAS4G3MD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21060#SQEU (statement)
History
- 2026-11-02: add by m2/v0.6.18
accessibility K9THQN3FAX
| URI | m2://inv/K9THQN3FAX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/accessibility, accessibility (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Projected pair-versus-one-source residual K9TNPTXFWW
| URI | m2://inv/K9TNPTXFWW |
|---|---|
| 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.21301#B9LA, Projected pair-versus-one-source residual (statement). In W7GCDXAK1K/e1, proposition 7
History
- 2026-10-27: add by m2/v0.4.2
Quadrirectified 8-cubic honeycomb K9TNQ5E71D
| URI | m2://inv/K9TNQ5E71D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 8-cubic honeycomb#88R3, Quadrirectified 8-cubic honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
Ursescu theorem K9TPJTSSW1
| URI | m2://inv/K9TPJTSSW1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ursescu theorem, Ursescu theorem (statement). Also Wikidata Q96413064
History
- 2026-11-02: add by m2/dev
Poincaré–Hopf theorem K9TRF6N6WN
| URI | m2://inv/K9TRF6N6WN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#FP2R, Poincaré–Hopf theorem (statement)
- wikipedia: Wikipedia List of things named after Henri Poincaré#3HZI, Poincaré–Hopf theorem (statement)
History
- 2026-11-02: add by m2/dev
indefinite integral, evaluate K9TTCGJ9J6
| URI | m2://inv/K9TTCGJ9J6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/5.3.2/indefinite-integral-evaluate, indefinite integral, evaluate (concept). In 907G4C4EJ1, index, section 5.3.2
History
- 2026-11-01: add by m2/v0.6.13
Uniform Clayton coefficient bounds K9TVM685S9
| URI | m2://inv/K9TVM685S9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29658#ZRWY, Uniform Clayton coefficient bounds (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fundamental theorem of topos theory K9V7BETZQB
| URI | m2://inv/K9V7BETZQB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#ORNH, Fundamental theorem of topos theory (statement)
History
- 2026-11-02: add by m2/dev
Signed counting under NA K9V9NJFG7Q
| URI | m2://inv/K9V9NJFG7Q |
|---|---|
| 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.30525#JWXK, Signed counting under NA (statement). In CHEZQEACQG/e1, lemma 5.2
History
- 2026-10-31: add by m2/v0.5.6
\probname{Colorability K9VCR272M1
| URI | m2://inv/K9VCR272M1 |
|---|---|
| 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 2609.38436#XFQN, \probname{Colorability (problem). In 702AF3E4AF/e1, problem 4.10
History
- 2026-10-30: add by m2/v0.4.12
Remark K9VDZ6PPPQ
| URI | m2://inv/K9VDZ6PPPQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adele ring#OZWX, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Svetlana Roudenko K9VHXXYM8F
| URI | m2://inv/K9VHXXYM8F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Svetlana Roudenko, Svetlana Roudenko (topic). Also Wikidata Q66941939
History
- 2026-11-02: add by m2/dev
Hypergraph product code K9VJ24ES50
| URI | m2://inv/K9VJ24ES50 |
|---|---|
| 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#QQAN, Hypergraph product code (definition). In YZNK67K060/e1, definition 7.9
History
- 2026-10-29: add by m2/v0.4.12
K9VRNFKTRN K9VRNFKTRN
| URI | m2://inv/K9VRNFKTRN |
|---|---|
| Kind | example |
| 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#66J1 (example). In 46370P3Y9S/e1, example 3.13
History
- 2026-10-27: add by m2/v0.4.2
K9W18CCG74 K9W18CCG74
| URI | m2://inv/K9W18CCG74 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19812#VJBO (statement). In ZS89RH18QM/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
K9W497H5CT K9W497H5CT
| URI | m2://inv/K9W497H5CT |
|---|---|
| Kind | example |
| 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 1903.07030#0VA0 (example). In 9H45HQE7AZ/e1, example 3.25
History
- 2026-10-27: add by m2/v0.3.5
Laplace operators in differential geometry K9W5D55MYR
| URI | m2://inv/K9W5D55MYR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laplace operators in differential geometry, Laplace operators in differential geometry (definition). Also Wikidata Q2513431
History
- 2026-11-02: add by m2/dev
K9WDX52ZCF K9WDX52ZCF
| URI | m2://inv/K9WDX52ZCF |
|---|---|
| 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.09390#FIJE (statement). In 7SSKW778T8/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.10
Radical form K9WE6B13J8
| URI | m2://inv/K9WE6B13J8 |
|---|---|
| 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.17589#77EA, Radical form (conjecture). In GSTK4569X1/e1, conjecture 5.4
History
- 2026-10-28: add by m2/v0.4.2
Γ-space K9WJ9Q5DG4
| URI | m2://inv/K9WJ9Q5DG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Γ-space, Γ-space (definition). Also Wikidata Q30589879
History
- 2026-11-02: add by m2/dev
K9WNEXFSBW K9WNEXFSBW
| URI | m2://inv/K9WNEXFSBW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04874#QS0U (statement). In X365951S4Q/e1, corollary 3.6
History
- 2026-10-29: add by m2/v0.4.12
K9WQ63GE10 K9WQ63GE10
| URI | m2://inv/K9WQ63GE10 |
|---|---|
| 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.15700#0MJJ (statement). In S95MSZ7MDR/e1, lemma 3.17
History
- 2026-10-28: add by m2/v0.4.2
K9X0QVQMZ9 K9X0QVQMZ9
| URI | m2://inv/K9X0QVQMZ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#3CXK (statement). In 3A4K47Y9F2/e1, lemma 4.26
History
- 2026-10-27: add by m2/v0.4.0
Paul Bernays K9X13XS6FT
| URI | m2://inv/K9X13XS6FT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#8XTP, Paul Bernays (topic)
History
- 2026-11-02: add by m2/dev
K9X31FN862 K9X31FN862
| URI | m2://inv/K9X31FN862 |
|---|---|
| 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.11823#SBWM (statement). In YNQHA63Z2B/e1, lemma 9.1
History
- 2026-10-28: add by m2/v0.4.3
Special case K9XDC18YBB
| URI | m2://inv/K9XDC18YBB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bipolar theorem#5CJC, Special case (statement)
History
- 2026-11-02: add by m2/dev
Deduction Theorem K9XMBKJZBY
| URI | m2://inv/K9XMBKJZBY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/deduction-theorem.tex#thm:deduction-thm, Deduction Theorem (statement). In PKGMM3P5QY, thm, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
K9XRSBG7HM K9XRSBG7HM
| URI | m2://inv/K9XRSBG7HM |
|---|---|
| Kind | definition |
| 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#GPZ8 (definition). In 9DQKY7KGE8/e1, definition 6.29
History
- 2026-10-27: add by m2/v0.3.5
K9XRVFRNDQ K9XRVFRNDQ
| URI | m2://inv/K9XRVFRNDQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-8 (proof). In N54F33XE07, proof, section C.1.3
History
- 2026-11-01: add by m2/v0.6.13
K9XS60Y3Q1 K9XS60Y3Q1
| URI | m2://inv/K9XS60Y3Q1 |
|---|---|
| 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.20568#0C9W (statement)
History
- 2026-11-02: add by m2/v0.6.18
range of a linear map K9XSSC3X8A
| URI | m2://inv/K9XSSC3X8A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > range of a linear map, range of a linear map (unknown). Also Mathlib LinearMap.range
History
- 2026-10-26: add by m2/dev
CWC mode K9Y305RKCF
| URI | m2://inv/K9Y305RKCF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CWC mode, CWC mode (definition). Also Wikidata Q5014834
History
- 2026-11-02: add by m2/dev
K9Y4Q59TDN K9Y4Q59TDN
| URI | m2://inv/K9Y4Q59TDN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-4.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
!!^{derivability} K9Y6G27AXQ
| URI | m2://inv/K9Y6G27AXQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#defn-2, !!^{derivability} (definition). In PKGMM3P5QY, defn, section 17.5
History
- 2026-11-01: add by m2/v0.6.13
K9Y7CVCBVZ K9Y7CVCBVZ
| URI | m2://inv/K9Y7CVCBVZ |
|---|---|
| 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.12131#HR0I (statement). In NYT07WF46A/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
K9YFXW95CY K9YFXW95CY
| URI | m2://inv/K9YFXW95CY |
|---|---|
| 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 2609.25957#CID3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
K9YHA41SSW K9YHA41SSW
| URI | m2://inv/K9YHA41SSW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#FNKW (example). In RK0ZMDJ23T/e1, example 1.2.3
History
- 2026-10-31: add by m2/v0.5.6
Bracket ring K9YHAW8YWB
| URI | m2://inv/K9YHAW8YWB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bracket ring, Bracket ring (definition). Also Wikidata Q4953691
History
- 2026-11-02: add by m2/dev
Multivariate kernel density estimation K9YQDCW8WW
| URI | m2://inv/K9YQDCW8WW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate kernel density estimation, Multivariate kernel density estimation (definition). Also Wikidata Q6935135
History
- 2026-11-02: add by m2/dev
Identifiability of $A$ for known $(D,\Sigma)$ K9YXGM34FS
| URI | m2://inv/K9YXGM34FS |
|---|---|
| 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.07341#GKJ1, Identifiability of $A$ for known $(D,\Sigma)$ (statement). In 6KFS1X0MZR/e1, corollary 5
History
- 2026-10-29: add by m2/v0.4.10
K9Z4Y8QZR9 K9Z4Y8QZR9
| URI | m2://inv/K9Z4Y8QZR9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 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 2505.05539#46RP (statement). In 8SVVEVGMNE/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.3.5
Example K9ZBV244HY
| URI | m2://inv/K9ZBV244HY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banburismus#L1UD, Example (example)
History
- 2026-11-02: add by m2/dev
Fritz Joachim Weyl K9ZCTQJCAM
| URI | m2://inv/K9ZCTQJCAM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fritz Joachim Weyl, Fritz Joachim Weyl (topic). Also Wikidata Q5504939
History
- 2026-11-02: add by m2/dev
Multipliers of a uniform twist K9ZD3EXCTM
| URI | m2://inv/K9ZD3EXCTM |
|---|---|
| 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#VVQ9, Multipliers of a uniform twist (statement). In CHPJWBREES/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
K9ZNM1A3A7 K9ZNM1A3A7
| URI | m2://inv/K9ZNM1A3A7 |
|---|---|
| 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.31604#0RIH (definition). In GSN5YTQS2K/e1, definition 1.5
History
- 2026-10-31: add by m2/v0.5.6
K9ZR34REWQ K9ZR34REWQ
| URI | m2://inv/K9ZR34REWQ |
|---|---|
| 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.06466#OE5H (statement). In 6W451V3N75/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10