Inventory rows KB
The cards of the rows of the inventory whose ids start with KB. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
KB06Y7KW2X KB06Y7KW2X
| URI | m2://inv/KB06Y7KW2X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32557#6XMB (definition). In 7MSKC957WD/e1, definition 3.1
History
- 2026-10-31: add by m2/v0.5.6
Willard Libby KB07BD53B1
| URI | m2://inv/KB07BD53B1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#7TCX, Willard Libby (unknown)
History
- 2026-11-02: add by m2/dev
Siu's semicontinuity theorem KB09FM5CA9
| URI | m2://inv/KB09FM5CA9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7532192, Siu's semicontinuity theorem (statement). Also Wikidata Q7532192
- thousand_plus: thousand_plus Q7532192, Siu's semicontinuity theorem (statement). Also Wikidata Q7532192, Wikipedia Siu's semicontinuity theorem
- wikipedia: Wikipedia Siu's semicontinuity theorem, Siu's semicontinuity theorem (statement). Also Wikidata Q7532192
History
- 2026-10-26: add by m2/dev
KB0AR4GE5P KB0AR4GE5P
| URI | m2://inv/KB0AR4GE5P |
|---|---|
| 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.36922#PRIP (statement). In BMHWE5QTTR/e1, proposition 4.8
History
- 2026-10-30: add by m2/v0.4.12
KB0RBPDC6R KB0RBPDC6R
| URI | m2://inv/KB0RBPDC6R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27730#GAK5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Euler and Glaisher's theorem KB0SKSVT3Y
| URI | m2://inv/KB0SKSVT3Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partition function (number theory)#4XZU, Euler and Glaisher's theorem (statement)
History
- 2026-11-02: add by m2/dev
Resolvent jump and Plancherel formula KB0ZY7QMJ3
| URI | m2://inv/KB0ZY7QMJ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25925#QSK0, Resolvent jump and Plancherel formula (statement)
History
- 2026-11-01: add by m2/v0.6.15
KB10AFXNYW KB10AFXNYW
| URI | m2://inv/KB10AFXNYW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31327#BDGT (definition). In F605BQ3AYX/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
KB16Q4N16V KB16Q4N16V
| URI | m2://inv/KB16Q4N16V |
|---|---|
| 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.33900#5S32 (statement). In 119MT2DD89/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
Friedberg–Muchnik theorem below C KB1E8H1QF6
| URI | m2://inv/KB1E8H1QF6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedberg–Muchnik theorem#I9IV, Friedberg–Muchnik theorem below C (statement)
History
- 2026-11-02: add by m2/dev
KB1KWTC27Y KB1KWTC27Y
| URI | m2://inv/KB1KWTC27Y |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 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 2504.07573#BVNU (example). In 78X5SKJX8J/e1, example A.1
History
- 2026-10-27: add by m2/v0.3.5
KB22GK556S KB22GK556S
| URI | m2://inv/KB22GK556S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/lebesgue-int.tex#example-1 (example). In RZP28ERRZV, example, section 65.1
History
- 2026-11-01: add by m2/v0.6.13
KB249NE998 KB249NE998
| URI | m2://inv/KB249NE998 |
|---|---|
| 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.22296#5OA6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Compound gamma distribution KB25EM4WAX
| URI | m2://inv/KB25EM4WAX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta prime distribution#480O, Compound gamma distribution (unknown)
History
- 2026-11-02: add by m2/dev
KB2D0X7AK1 KB2D0X7AK1
| URI | m2://inv/KB2D0X7AK1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#example-18 (example). In E9HS8K3A52, example, section 10.9.1
History
- 2026-11-01: add by m2/v0.6.13
Inverse function theorem KB2GZKQZV3
| URI | m2://inv/KB2GZKQZV3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#thm-1, Inverse function theorem (statement). In E59CDZA4DP, thm, section 3.4.1
History
- 2026-11-01: add by m2/v0.6.13
Sectoriality from sampled displacement bounds KB2HV0VG99
| URI | m2://inv/KB2HV0VG99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#KH2P, Sectoriality from sampled displacement bounds (statement)
History
- 2026-11-01: add by m2/v0.6.15
KB2M7S4CJP KB2M7S4CJP
| URI | m2://inv/KB2M7S4CJP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20740#15L8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
KB2Q2SH9BM KB2Q2SH9BM
| URI | m2://inv/KB2Q2SH9BM |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24449#ZR0D (problem)
History
- 2026-11-01: add by m2/v0.6.15
Prisoner's Dilemma (Psychology) KB2QZPF48C
| URI | m2://inv/KB2QZPF48C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prisoner's dilemma#6AQA, Prisoner's Dilemma (Psychology) (unknown)
History
- 2026-11-02: add by m2/dev
KB2YJ2CZSV KB2YJ2CZSV
| URI | m2://inv/KB2YJ2CZSV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.16491#S86M (definition). In P9J6P06Y40/e1, definition 4.16
History
- 2026-10-27: add by m2/v0.3.5
Harmonic mean KB313M09RK
| URI | m2://inv/KB313M09RK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#ZRDT, Harmonic mean (definition)
History
- 2026-11-02: add by m2/dev
linear order KB353W5PRG
| URI | m2://inv/KB353W5PRG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2.1/linear-order, linear order (concept). In N54F33XE07, index, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
Ogden's lemma KB397DFBFX
| URI | m2://inv/KB397DFBFX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ogden's lemma#TDQ9, Ogden's lemma (statement)
History
- 2026-11-02: add by m2/dev
KB399A5CST KB399A5CST
| URI | m2://inv/KB399A5CST |
|---|---|
| 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.01924#J2DO (statement). In CB89152EQW/e1, theorem 0.3
History
- 2026-10-29: add by m2/v0.4.12
CLA--LASSO identity under general constraints KB3KA4H3V0
| URI | m2://inv/KB3KA4H3V0 |
|---|---|
| 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.25704#ISMY, CLA--LASSO identity under general constraints (statement)
History
- 2026-11-01: add by m2/v0.6.15
First proposition in the palimpsest KB40VTE691
| URI | m2://inv/KB40VTE691 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Method of Mechanical Theorems#UECH, First proposition in the palimpsest (statement)
History
- 2026-11-02: add by m2/dev
KB462Z7YQ2 KB462Z7YQ2
| URI | m2://inv/KB462Z7YQ2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#BWWE (definition). In M0SQY5EZN5/e1, definition 2.2.3
History
- 2026-10-27: add by m2/v0.3.5
Constantin Corduneanu KB49T1WRXV
| URI | m2://inv/KB49T1WRXV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constantin Corduneanu, Constantin Corduneanu (topic). Also Wikidata Q12725484
History
- 2026-11-02: add by m2/dev
5-demicubic honeycomb KB4BBPND4F
| URI | m2://inv/KB4BBPND4F |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#OF9N, 5-demicubic honeycomb (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#N7L9, 5-demicubic honeycomb (object)
History
- 2026-11-02: add by m2/dev
KB4QCM5GFB KB4QCM5GFB
| URI | m2://inv/KB4QCM5GFB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37337#1UU3 (statement). In 813JGZV08G/e1, lemma D.3
History
- 2026-10-30: add by m2/v0.4.12
KB4W3H0SZV KB4W3H0SZV
| URI | m2://inv/KB4W3H0SZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-1-4-derivative-fxn.xml#D-derivative-defn-x (definition). In 907G4C4EJ1, definition, section 1.4.2
History
- 2026-11-01: add by m2/v0.6.13
KB4W8MXGGT KB4W8MXGGT
| URI | m2://inv/KB4W8MXGGT |
|---|---|
| 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.01946#9IWD (statement). In NB1Z31FMXN/e1, lemma 2.11
History
- 2026-10-29: add by m2/v0.4.12
Canadian Mathematical Society KB54EVEKD0
| URI | m2://inv/KB54EVEKD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#D5FK, Canadian Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
KB56GMTY0P KB56GMTY0P
| URI | m2://inv/KB56GMTY0P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14236#AOJE (statement). In XEQD21EBTT/e1, corollary 4.13
History
- 2026-10-28: add by m2/v0.4.2
Lemma KB5TMEDJK0
| URI | m2://inv/KB5TMEDJK0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proofs of convergence of random variables#70GT, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Ardem Patapoutian KB6600MSHQ
| URI | m2://inv/KB6600MSHQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#4IAX, Ardem Patapoutian (unknown)
History
- 2026-11-02: add by m2/dev
KB6GAPR1MD KB6GAPR1MD
| URI | m2://inv/KB6GAPR1MD |
|---|---|
| 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.24353#OSIT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem KB6GH7510X
| URI | m2://inv/KB6GH7510X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inner product space#T3C2, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Fuchs KB6PE5ZYN3
| URI | m2://inv/KB6PE5ZYN3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17547#8G6L, Fuchs (statement). In XJ59TDP4HA/e1, fact 2.2
History
- 2026-10-28: add by m2/v0.4.2
KB7CS9WN6Y KB7CS9WN6Y
| URI | m2://inv/KB7CS9WN6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38436#L4LR (statement). In 702AF3E4AF/e1, theorem 4.9
History
- 2026-10-30: add by m2/v0.4.12
Example KB7J5SDC7Q
| URI | m2://inv/KB7J5SDC7Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dickson's lemma#NPQE, Example (example)
History
- 2026-11-02: add by m2/dev
KB7JXXW6WY KB7JXXW6WY
| URI | m2://inv/KB7JXXW6WY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 89.6
History
- 2026-11-01: add by m2/v0.6.13
KB7KC0JJC6 KB7KC0JJC6
| URI | m2://inv/KB7KC0JJC6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14555#JGKF (statement). In NHW0VEJ09F/e1, proposition 3.10
History
- 2026-10-28: add by m2/v0.4.2
Examples KB7PF6R6SW
| URI | m2://inv/KB7PF6R6SW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Micromagnetics#EFZZ, Examples (example)
History
- 2026-11-02: add by m2/dev
KB7QDT42AQ KB7QDT42AQ
| URI | m2://inv/KB7QDT42AQ |
|---|---|
| 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.20273#3UA2 (statement). In AEGHDSD5S7/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.4.2
An Application for PPM KB81VG78QH
| URI | m2://inv/KB81VG78QH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10927#OUKH, An Application for PPM (example). In DHEJP3YATV/e1, example 38
History
- 2026-10-28: add by m2/v0.4.3
Examples KB831V2882
| URI | m2://inv/KB831V2882 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Densely defined operator#78S0, Examples (example)
History
- 2026-11-02: add by m2/dev
Formulas KB84PRZEBJ
| URI | m2://inv/KB84PRZEBJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line coordinates#151B, Formulas (statement)
History
- 2026-11-02: add by m2/dev
discrete, space KB85GDC3EM
| URI | m2://inv/KB85GDC3EM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u8/discrete-space, discrete, space (concept). In N54F33XE07, index, section u1.u8
History
- 2026-11-01: add by m2/v0.6.13
Quantitative quasisymmetry of contact diffeomorphisms KB87T6A91X
| URI | m2://inv/KB87T6A91X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28014#P5IM, Quantitative quasisymmetry of contact diffeomorphisms (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorems about relations KB8AJTB0RE
| URI | m2://inv/KB8AJTB0RE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relation (mathematics)#R14T, Theorems about relations (statement)
History
- 2026-11-02: add by m2/dev
Commensurability KB8GWFVPQA
| URI | m2://inv/KB8GWFVPQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commensurability (mathematics), Commensurability (definition). Also Wikidata Q1091134
History
- 2026-11-02: add by m2/dev
Henry Veatch KB8MBDZ62Y
| URI | m2://inv/KB8MBDZ62Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry Veatch, Henry Veatch (topic). Also Wikidata Q5717655
History
- 2026-11-02: add by m2/dev
KB8MH9V3RK KB8MH9V3RK
| URI | m2://inv/KB8MH9V3RK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03756#PO9T (statement). In 2381M4GBTT/e1, theorem 11.1
History
- 2026-10-29: add by m2/v0.4.12
KB90DB7WP0 KB90DB7WP0
| URI | m2://inv/KB90DB7WP0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-1 (exercise). In E59CDZA4DP, exercise, section 5.1.6
History
- 2026-11-01: add by m2/v0.6.13
KB9AEJW7G3 KB9AEJW7G3
| URI | m2://inv/KB9AEJW7G3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#IC5A (statement). In 68AE571S4P/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
KB9DWW85Y8 KB9DWW85Y8
| URI | m2://inv/KB9DWW85Y8 |
|---|---|
| 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.31294#E51I (definition). In 6GK9EJMWY4/e1, definition 3.7
History
- 2026-10-31: add by m2/v0.5.6
infinite loop space KB9MEQ9RDH
| URI | m2://inv/KB9MEQ9RDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#34W3, infinite loop space (definition)
History
- 2026-11-02: add by m2/dev
Goursat's lemma, c.f. KB9R2MRBTV
| URI | m2://inv/KB9R2MRBTV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06108#JCHB, Goursat's lemma, c.f. (statement). In D3WKY1PW64/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
KB9RH9P7BE KB9RH9P7BE
| URI | m2://inv/KB9RH9P7BE |
|---|---|
| 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.06440#2S8U (statement). In 5YB65RB13X/e1, corollary 2.1
History
- 2026-10-29: add by m2/v0.4.10
Variants KB9SQETEKW
| URI | m2://inv/KB9SQETEKW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sard's theorem#ECFQ, Variants (statement)
History
- 2026-11-02: add by m2/dev
Patrick Michael Grundy KB9SYZ56CZ
| URI | m2://inv/KB9SYZ56CZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patrick Michael Grundy, Patrick Michael Grundy (topic). Also Wikidata Q3897737
History
- 2026-11-02: add by m2/dev
KBA3HY97D3 KBA3HY97D3
| URI | m2://inv/KBA3HY97D3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#AKQJ (definition). In PG0B4PH9YH/e1, definition 3.14
History
- 2026-10-27: add by m2/v0.4.2
Bernhard Keller KBA49695QR
| URI | m2://inv/KBA49695QR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18222410, Bernhard Keller (unknown). Also nLab Bernhard Keller
- wikipedia: Wikipedia Bernhard Keller, Bernhard Keller (topic). Also Wikidata Q18222410
History
- 2026-10-26: add by m2/dev
KBA4SQNW05 KBA4SQNW05
| URI | m2://inv/KBA4SQNW05 |
|---|---|
| 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.20237#F4DM (statement)
History
- 2026-11-02: add by m2/v0.6.18
Victor Kolyvagin KBA94VA5T0
| URI | m2://inv/KBA94VA5T0 |
|---|---|
| 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#CD7O, Victor Kolyvagin (topic)
History
- 2026-11-02: add by m2/dev
Laplace transform KBAAEM3H25
| URI | m2://inv/KBAAEM3H25 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#EPS3, Laplace transform (definition)
- wikipedia: Wikipedia List of Fourier analysis topics#RU33, Laplace transform (definition)
History
- 2026-11-02: add by m2/dev
Hamilton–Jacobi equation KBABMR8DM8
| URI | m2://inv/KBABMR8DM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partial differential equation topics#J2GO, Hamilton–Jacobi equation (definition)
History
- 2026-11-02: add by m2/dev
KBAC5EGY0Q KBAC5EGY0Q
| URI | m2://inv/KBAC5EGY0Q |
|---|---|
| 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 2412.14956#XDNM (statement). In T8BQ6HHZYT/e1, proposition 5.9
History
- 2026-10-27: add by m2/v0.3.5
KBADYS8JYR KBADYS8JYR
| URI | m2://inv/KBADYS8JYR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#CSYS (statement)
History
- 2026-11-01: add by m2/v0.6.15
KBAJPK37X0 KBAJPK37X0
| URI | m2://inv/KBAJPK37X0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#2MC5 (definition). In 3A4K47Y9F2/e1, definition 4.7
History
- 2026-10-27: add by m2/v0.4.0
KBAJRW2JDB KBAJRW2JDB
| URI | m2://inv/KBAJRW2JDB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21680#7SU9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Wilcoxon signed-rank test KBAQ76V187
| URI | m2://inv/KBAQ76V187 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#S0U9, Wilcoxon signed-rank test (definition)
History
- 2026-11-02: add by m2/dev
Negative-index metamaterial KBB1DNTZYQ
| URI | m2://inv/KBB1DNTZYQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negative-index metamaterial, Negative-index metamaterial (definition). Also Wikidata Q3300028
History
- 2026-11-02: add by m2/dev
KBB6AWQ364 KBB6AWQ364
| URI | m2://inv/KBB6AWQ364 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.00813#XH9T (statement). In ADKTJTBR9Z/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
Combinatorics and dynamical systems KBB6MCXA96
| URI | m2://inv/KBB6MCXA96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorics and dynamical systems, Combinatorics and dynamical systems (definition). Also Wikidata Q5150832
History
- 2026-11-02: add by m2/dev
KBBKX1C3XK KBBKX1C3XK
| URI | m2://inv/KBBKX1C3XK |
|---|---|
| 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.21975#RYG2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
linearity of series KBBRY7Q6K0
| URI | m2://inv/KBBRY7Q6K0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.5.3/linearity-of-series, linearity of series (concept). In E59CDZA4DP, index, section 10.5.3
History
- 2026-11-01: add by m2/v0.6.13
Spaces and mappings KBBSPTV2RE
| URI | m2://inv/KBBSPTV2RE |
|---|---|
| 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.22513#JSZT, Spaces and mappings (definition)
History
- 2026-11-02: add by m2/v0.6.17
Kato–Rellich KBBTA0VXDW
| URI | m2://inv/KBBTA0VXDW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#CCI2, Kato–Rellich (definition)
History
- 2026-11-02: add by m2/dev
KBBXPFFFM9 KBBXPFFFM9
| URI | m2://inv/KBBXPFFFM9 |
|---|---|
| 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.32937#SCMR (statement). In RB0SJRQP6X/e1, lemma 6.1
History
- 2026-10-31: add by m2/v0.5.6
Statistical association football predictions KBC7RBE11M
| URI | m2://inv/KBC7RBE11M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical association football predictions, Statistical association football predictions (definition). Also Wikidata Q3408856
History
- 2026-11-02: add by m2/dev
KBCCBJNBVN KBCCBJNBVN
| URI | m2://inv/KBCCBJNBVN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-numbth.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
small complex icosidodecahedron KBCFD8M31Q
| URI | m2://inv/KBCFD8M31Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7543031, small complex icosidodecahedron (object). Also MathWorld SmallComplexIcosidodecahedron
- wikipedia: Wikipedia Small complex icosidodecahedron, Small complex icosidodecahedron (definition). Also Wikidata Q7543031
History
- 2026-10-26: add by m2/dev
KBD01Z4R0K KBD01Z4R0K
| URI | m2://inv/KBD01Z4R0K |
|---|---|
| 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.23634#KFZ5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
KBD7VHRS0V KBD7VHRS0V
| URI | m2://inv/KBD7VHRS0V |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lychrel number#8O8C (problem)
History
- 2026-11-02: add by m2/dev
Construction KBD9BHJPXE
| URI | m2://inv/KBD9BHJPXE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongated triangular orthobicupola#YIPR, Construction (definition)
History
- 2026-11-02: add by m2/dev
KBDEGQHHQB KBDEGQHHQB
| URI | m2://inv/KBDEGQHHQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.04068#GENN (statement). In Y7TVAQE9PF/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Ecological fallacy KBDFFR49KQ
| URI | m2://inv/KBDFFR49KQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ecological fallacy, Ecological fallacy (definition). Also Wikidata Q295150
History
- 2026-11-02: add by m2/dev
Likelihood principle KBDJFM84FY
| URI | m2://inv/KBDJFM84FY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Likelihood principle, Likelihood principle (statement). Also Wikidata Q13200161
History
- 2026-11-02: add by m2/dev
KBDSG1B31Y KBDSG1B31Y
| URI | m2://inv/KBDSG1B31Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise:proofoflinpropparti (exercise). In E59CDZA4DP, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
KBDVKKD2H0 KBDVKKD2H0
| URI | m2://inv/KBDVKKD2H0 |
|---|---|
| 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.35442#WPWW (statement). In C6R0DAA279/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
Gini impurity KBDY72ZEC1
| URI | m2://inv/KBDY72ZEC1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decision tree learning#A66G, Gini impurity (unknown)
History
- 2026-11-02: add by m2/dev
Esscher transform KBE0VDYVFR
| URI | m2://inv/KBE0VDYVFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Esscher transform, Esscher transform (definition). Also Wikidata Q5399418
History
- 2026-11-02: add by m2/dev
indiscrete category KBE2E47E2G
| URI | m2://inv/KBE2E47E2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25098934, indiscrete category (unknown). Also nLab indiscrete category
- wikipedia: Wikipedia Indiscrete category, Indiscrete category (definition). Also Wikidata Q25098934
History
- 2026-10-26: add by m2/dev
Definition KBE3H0HNKD
| URI | m2://inv/KBE3H0HNKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dickman function#9O02, Definition (definition)
History
- 2026-11-02: add by m2/dev
Coulomb's law KBEB48GSKP
| URI | m2://inv/KBEB48GSKP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formulae involving π#85XZ, Coulomb's law (statement)
History
- 2026-11-02: add by m2/dev
KBECEAMX4J KBECEAMX4J
| URI | m2://inv/KBECEAMX4J |
|---|---|
| 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 2204.04820#TY98 (statement). In 9EJ71MW89B/e1, corollary 2.6
History
- 2026-10-27: add by m2/v0.3.5
Isomorphism theorem KBEDCR54F9
| URI | m2://inv/KBEDCR54F9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#8Y6M, Isomorphism theorem (statement)
History
- 2026-11-02: add by m2/dev
range KBEG4PHXMV
| URI | m2://inv/KBEG4PHXMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1165839, range (unknown). Also MathWorld StatisticalRange
- wikipedia: Wikipedia Range (statistics), Range (definition). Also Wikidata Q1165839
History
- 2026-10-26: add by m2/dev
Bessel's inequality KBEJ647X3Z
| URI | m2://inv/KBEJ647X3Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#1DGF, Bessel's inequality (statement)
History
- 2026-11-02: add by m2/dev
KBERVTX4SQ KBERVTX4SQ
| URI | m2://inv/KBERVTX4SQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19088#80J5 (statement). In 90QTB4CC31/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Abel–Plana formula KBF3X9PHN0
| URI | m2://inv/KBF3X9PHN0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indefinite sum#9WE1, Abel–Plana formula (statement)
History
- 2026-11-02: add by m2/dev
Antecedent variable KBF6W8PG1A
| URI | m2://inv/KBF6W8PG1A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NJG0, Antecedent variable (definition)
History
- 2026-11-02: add by m2/dev
Fixed-\(c\) Poisson QMLE at and below the unit root KBF7X6HQK7
| URI | m2://inv/KBF7X6HQK7 |
|---|---|
| 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.19421#NEIM, Fixed-\(c\) Poisson QMLE at and below the unit root (statement). In 3S1VFGYWQE/e1, theorem 6
History
- 2026-10-28: add by m2/v0.4.2
KBFBMMFM6A KBFBMMFM6A
| URI | m2://inv/KBFBMMFM6A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15525#DPAT (definition). In EFDRME13PT/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
Covariance fluctuations before stationarity KBFZVBKT0E
| URI | m2://inv/KBFZVBKT0E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06308#G1KN, Covariance fluctuations before stationarity (statement). In HTWSDDAWGS/e1, lemma D.8
History
- 2026-10-29: add by m2/v0.4.10
KBG0RPHVQS KBG0RPHVQS
| URI | m2://inv/KBG0RPHVQS |
|---|---|
| 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 2303.14022#1LXQ (statement). In NSYR6W27FP/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
KBG5C171HX KBG5C171HX
| URI | m2://inv/KBG5C171HX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.08413#7UIB (example). In X88HPQ0W8C/e1, example 2.8
History
- 2026-10-27: add by m2/v0.3.5
2609 (number) KBG67HH65N
| URI | m2://inv/KBG67HH65N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2000 (number)#XZOV, 2609 (number) (unknown)
History
- 2026-11-02: add by m2/dev
KBG7SB930K KBG7SB930K
| URI | m2://inv/KBG7SB930K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#problem-6 (exercise). In P1C114YBXG, problem, section C
History
- 2026-11-01: add by m2/v0.6.13
Aristocrat Cipher KBGC97TVYV
| URI | m2://inv/KBGC97TVYV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aristocrat Cipher, Aristocrat Cipher (definition). Also Wikidata Q130575684
History
- 2026-11-02: add by m2/dev
Legendre chi function KBGJNFCWK6
| URI | m2://inv/KBGJNFCWK6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1452853, Legendre chi function (concept). Also MathWorld LegendresChi-Function
- wikipedia: Wikipedia Legendre chi function, Legendre chi function (definition). Also Wikidata Q1452853
History
- 2026-10-26: add by m2/dev
KBGZY0WFZA KBGZY0WFZA
| URI | m2://inv/KBGZY0WFZA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#91GD (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples KBH512EQK8
| URI | m2://inv/KBH512EQK8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent set of characters#XWQQ, Examples (example)
History
- 2026-11-02: add by m2/dev
Yuri Matiyasevich KBH8EA4W7B
| URI | m2://inv/KBH8EA4W7B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q707119, Yuri Matiyasevich (unknown). Also nLab Yuri Matiyasevich, ProofWiki Mathematician:Yuri_Vladimirovich_Matiyasevich
- wikipedia: Wikipedia Yuri Matiyasevich, Yuri Matiyasevich (topic). Also Wikidata Q707119
History
- 2026-10-26: add by m2/dev
Matthew Hastings KBHDR12R2C
| URI | m2://inv/KBHDR12R2C |
|---|---|
| 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#775K, Matthew Hastings (unknown)
History
- 2026-11-02: add by m2/dev
KBHGKJSZJB KBHGKJSZJB
| URI | m2://inv/KBHGKJSZJB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06645#06HD (statement). In 79H1DEK4M9/e1, theorem 5.4
History
- 2026-10-29: add by m2/v0.4.10
KBHJRQF942 KBHJRQF942
| URI | m2://inv/KBHJRQF942 |
|---|---|
| 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 2412.14956#3X6M (statement). In T8BQ6HHZYT/e1, corollary 5.7
History
- 2026-10-27: add by m2/v0.3.5
KBHS601H83 KBHS601H83
| URI | m2://inv/KBHS601H83 |
|---|---|
| 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.27689#4OX6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Maximum-bandwidth smoothing KBJ05R7A55
| URI | m2://inv/KBJ05R7A55 |
|---|---|
| Kind | problem |
| 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.23350#6703, Maximum-bandwidth smoothing (problem)
History
- 2026-11-02: add by m2/v0.6.17
The conjecture KBJ7MT0X2Y
| URI | m2://inv/KBJ7MT0X2Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ryser's conjecture#T7TX, The conjecture (statement)
History
- 2026-11-02: add by m2/dev
KBJH53G8W9 KBJH53G8W9
| URI | m2://inv/KBJH53G8W9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/sol-and-set-theory/comparing-sets.tex#prop-5 (statement). In PKGMM3P5QY, prop, section 66.4
History
- 2026-11-01: add by m2/v0.6.13
John Joseph Rochefort KBJMV4XZRF
| URI | m2://inv/KBJMV4XZRF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#CF8H, John Joseph Rochefort (unknown)
History
- 2026-11-02: add by m2/dev
Lebesgue measure KBJRQ38Z80
| URI | m2://inv/KBJRQ38Z80 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lebesgue measure 2Z2QVWZ262 |
Mentions
- wikidata: Wikidata Q827230, Lebesgue measure (concept). Also EoM Lebesgue_measure, MathWorld LebesgueMeasure, nLab Lebesgue measure, ProofWiki Definition:Lebesgue_Measure
- wikipedia: Wikipedia Lebesgue measure, Lebesgue measure (definition). Also Wikidata Q827230
History
- 2026-10-26: add by m2/dev
KBJX4Z1S7W KBJX4Z1S7W
| URI | m2://inv/KBJX4Z1S7W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.07718#WWET (statement). In CEKW9CNVVW/e1, corollary 7.5
History
- 2026-10-29: add by m2/v0.4.10
KBJX7BC6VY KBJX7BC6VY
| URI | m2://inv/KBJX7BC6VY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23004#ABR6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties KBK0Z64TTB
| URI | m2://inv/KBK0Z64TTB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Groupoid algebra#4DFT, Properties (statement)
History
- 2026-11-02: add by m2/dev
Kaplansky's trick KBK2S7C8K4
| URI | m2://inv/KBK2S7C8K4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.09544#NA0N, Kaplansky's trick (statement). In DYBM6Q2K6R/e1, proposition B.8
History
- 2026-10-29: add by m2/v0.4.10
KBK46KSP6F KBK46KSP6F
| URI | m2://inv/KBK46KSP6F |
|---|---|
| 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 1003.1817#KPHA (statement). In VCPT7BK80E/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Bruhat decomposition KBK6RVN06Y
| URI | m2://inv/KBK6RVN06Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Bruhat decomposition T91E86D0RH |
Mentions
- wikidata: Wikidata Q4978699, Bruhat decomposition (concept). Also EoM Bruhat_decomposition, nLab Bruhat decomposition
- wikipedia: Wikipedia Bruhat decomposition, Bruhat decomposition (definition). Also Wikidata Q4978699
History
- 2026-10-26: add by m2/dev
Time semicontinuity KBK9MEBWS2
| URI | m2://inv/KBK9MEBWS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#J4DB, Time semicontinuity (statement). In KM3Q791JY0/e1, lemma 2.31
History
- 2026-10-27: add by m2/v0.4.2
List of linear algebra references KBKEAKKYRW
| URI | m2://inv/KBKEAKKYRW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear algebra#23TL, List of linear algebra references (unknown)
History
- 2026-11-02: add by m2/dev
KBKEFDRA83 KBKEFDRA83
| URI | m2://inv/KBKEFDRA83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07812#SKCX (statement). In PVX8WBBXW5/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
KBKX8NJMVN KBKX8NJMVN
| URI | m2://inv/KBKX8NJMVN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/three-valued-logics/kleene.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 42.4
History
- 2026-11-01: add by m2/v0.6.13
KBKYVVC0TA KBKYVVC0TA
| URI | m2://inv/KBKYVVC0TA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30961#43R5 (statement). In FFG2DDWEVB/e1, theorem 1.5
History
- 2026-10-31: add by m2/v0.5.6
KBM3EAYJ53 KBM3EAYJ53
| URI | m2://inv/KBM3EAYJ53 |
|---|---|
| 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.11210#E3HV (statement). In CRFDGFZHBF/e1, lemma 9.4
History
- 2026-10-28: add by m2/v0.4.3
KBM7T8X71X KBM7T8X71X
| URI | m2://inv/KBM7T8X71X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#23I8 (example). In WD2NCBV9F0/e1, example 7.3
History
- 2026-10-27: add by m2/v0.3.5
Lulu smoothing KBMB90JZ12
| URI | m2://inv/KBMB90JZ12 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lulu smoothing, Lulu smoothing (definition). Also Wikidata Q6702945
History
- 2026-11-02: add by m2/dev
Pál Medgyessy KBMFQ9RWBV
| URI | m2://inv/KBMFQ9RWBV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pál Medgyessy, Pál Medgyessy (topic). Also Wikidata Q16521758
History
- 2026-11-02: add by m2/dev
KBMFYMX2WF KBMFYMX2WF
| URI | m2://inv/KBMFYMX2WF |
|---|---|
| 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 1011.5443#F0SV (statement). In VQ0K2GV62A/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Founders of statistics KBMH6B884X
| URI | m2://inv/KBMH6B884X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Founders of statistics, Founders of statistics (definition). Also Wikidata Q5474617
History
- 2026-11-02: add by m2/dev
KBMS0WNHHH KBMS0WNHHH
| URI | m2://inv/KBMS0WNHHH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38815#Q83H (statement). In 2CEETN5YTZ/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Binomial sum variance inequality KBMTCV4AVF
| URI | m2://inv/KBMTCV4AVF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial sum variance inequality, Binomial sum variance inequality (statement). Also Wikidata Q25111134
History
- 2026-11-02: add by m2/dev
KBMTXM9K5D KBMTXM9K5D
| URI | m2://inv/KBMTXM9K5D |
|---|---|
| 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.28020#LSS6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
multiplicative inverse KBMV0RDXRA
| URI | m2://inv/KBMV0RDXRA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q216906, multiplicative inverse (unknown). Also MathWorld MultiplicativeInverse
- wikipedia: Wikipedia Multiplicative inverse, Multiplicative inverse (definition). Also Wikidata Q216906
History
- 2026-10-26: add by m2/dev
KBMVRPV036 KBMVRPV036
| URI | m2://inv/KBMVRPV036 |
|---|---|
| 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.25823#42UI (statement)
History
- 2026-11-01: add by m2/v0.6.15
\ac{aacf} \ac{islr} is not type-based controllable KBN2RR1D5Z
| URI | m2://inv/KBN2RR1D5Z |
|---|---|
| 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.21653#W1R7, \ac{aacf} \ac{islr} is not type-based controllable (statement). In 266RE655Z2/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.2
KBN7HHPS3W KBN7HHPS3W
| URI | m2://inv/KBN7HHPS3W |
|---|---|
| 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.12357#TZUB (statement). In 1F26AF81XP/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.2
Set Partitions KBN7R762T1
| URI | m2://inv/KBN7R762T1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#E49Y, Set Partitions (definition). In 7V3HG30ZGW/e1, definition A.1
History
- 2026-10-27: add by m2/v0.4.0
Algorithm KBNJRZCMCX
| URI | m2://inv/KBNJRZCMCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gram–Schmidt process#L3CQ, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
KBNKWQG6ZT KBNKWQG6ZT
| URI | m2://inv/KBNKWQG6ZT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-5.xml#exercise-9 (exercise). In 649HGZKE96, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
KBNPZARHTD KBNPZARHTD
| URI | m2://inv/KBNPZARHTD |
|---|---|
| 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#C8YN (statement). In 3A4K47Y9F2/e1, theorem 6.4
History
- 2026-10-27: add by m2/v0.4.0
types KBNTM0F8MH
| URI | m2://inv/KBNTM0F8MH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#WN48, types (definition)
History
- 2026-11-02: add by m2/dev
KBPA0QDE1P KBPA0QDE1P
| URI | m2://inv/KBPA0QDE1P |
|---|---|
| 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.16731#222D (statement). In D68KBZQ4Q6/e1, theorem 5.14
History
- 2026-10-28: add by m2/v0.4.2
Generalizations KBPGS48T3A
| URI | m2://inv/KBPGS48T3A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski problem for polytopes#KKV8, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Example KBPKHSZBH5
| URI | m2://inv/KBPKHSZBH5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P versus NP problem#APTV, Example (example)
History
- 2026-11-02: add by m2/dev
KBPMNNBVMK KBPMNNBVMK
| URI | m2://inv/KBPMNNBVMK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13613#H0BD (statement). In 3HCT4TQ5PM/e1, corollary 6.2
History
- 2026-10-28: add by m2/v0.4.2
regulus KBPQAYWYKT
| URI | m2://inv/KBPQAYWYKT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#KZMQ, regulus (definition)
History
- 2026-11-02: add by m2/dev
Classification KBQ1VWSMTF
| URI | m2://inv/KBQ1VWSMTF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13892#KI2K, Classification (statement). In HV9KKEBBDD/e1, theorem V.5
History
- 2026-10-28: add by m2/v0.4.2
KBQ6KA7E44 KBQ6KA7E44
| URI | m2://inv/KBQ6KA7E44 |
|---|---|
| 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#E5YF (definition). In HX63A1PH1W/e1, definition 3.53
History
- 2026-10-28: add by m2/v0.4.3
Applications KBQ9KYQ53Q
| URI | m2://inv/KBQ9KYQ53Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Machine learning#I4NW, Applications (example)
History
- 2026-11-02: add by m2/dev
KBQCCBR3FY KBQCCBR3FY
| URI | m2://inv/KBQCCBR3FY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2610.10147#A996 (statement). In WZWGAG2FSN/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Sufficient Decrease / Descent Lemma KBQDYW2TRA
| URI | m2://inv/KBQDYW2TRA |
|---|---|
| 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.00738#13M9, Sufficient Decrease / Descent Lemma (statement). In 4TF7XCXPZ2/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
Vanish at infinity KBQE9WHFFK
| URI | m2://inv/KBQE9WHFFK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vanish at infinity, Vanish at infinity (definition). Also Wikidata Q7914952
History
- 2026-11-02: add by m2/dev
KBQGZA9B9Q KBQGZA9B9Q
| URI | m2://inv/KBQGZA9B9Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.01612#S7IX (statement). In A5KESSK05N/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
KBQH6WMACV KBQH6WMACV
| URI | m2://inv/KBQH6WMACV |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19787#Y58S (problem). In A4VP56CT7B/e1, problem 7.9
History
- 2026-10-28: add by m2/v0.4.2
Applications KBQPE1JCC3
| URI | m2://inv/KBQPE1JCC3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representer theorem#LEEG, Applications (example)
History
- 2026-11-02: add by m2/dev
\bf Adaptive block-Krylov lifting KBQW5ETX4H
| URI | m2://inv/KBQW5ETX4H |
|---|---|
| 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.02791#GFOP, \bf Adaptive block-Krylov lifting (statement). In TT9BA4VMTW/e1, lemma E.16
History
- 2026-10-29: add by m2/v0.4.12
KBQZ2NCM99 KBQZ2NCM99
| URI | m2://inv/KBQZ2NCM99 |
|---|---|
| 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.35030#UOZ7 (statement). In DPT4P2BTEW/e1, lemma 6.4
History
- 2026-10-30: add by m2/v0.4.12
Ehresmann's theorem KBR1WYV65Y
| URI | m2://inv/KBR1WYV65Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 4 |
| Outcome | open |
| Node | Ehresmann's fibration theorem 7CJ3P443NQ |
Mentions
- mathlib_1000: mathlib_1000 Q867141, Ehresmann's theorem (statement). Also Wikidata Q867141
- thousand_plus: thousand_plus Q867141, Ehresmann's theorem (statement). Also Wikidata Q867141, Wikipedia Ehresmann's theorem
- wikidata: Wikidata Q867141, Ehresmann's theorem (statement). Also nLab Ehresmann's theorem
- wikipedia: Wikipedia Ehresmann's lemma, Ehresmann's lemma (statement). Also Wikidata Q867141
History
- 2026-10-26: add by m2/dev
KBR3SZET82 KBR3SZET82
| URI | m2://inv/KBR3SZET82 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25854#C3PY (statement)
History
- 2026-11-01: add by m2/v0.6.15
KBR70NH8XV KBR70NH8XV
| URI | m2://inv/KBR70NH8XV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20299#KF3J (statement). In P7T0W5D3W3/e1, theorem
History
- 2026-10-27: add by m2/v0.4.2
KBR71P0X01 KBR71P0X01
| URI | m2://inv/KBR71P0X01 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12983#Z268 (statement). In M6TFZ6E060/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Properties KBRAK3FQMB
| URI | m2://inv/KBRAK3FQMB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sigma-ring#K9CD, Properties (statement)
History
- 2026-11-02: add by m2/dev
Uncountability of the continuum KBRE1P3XER
| URI | m2://inv/KBRE1P3XER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#F4R9, Uncountability of the continuum (definition)
History
- 2026-11-02: add by m2/dev
2 22 honeycomb KBRGA5PCGT
| URI | m2://inv/KBRGA5PCGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2 22 honeycomb, 2 22 honeycomb (definition). Also Wikidata Q4633283
History
- 2026-11-02: add by m2/dev
KBRGXD3W03 KBRGXD3W03
| URI | m2://inv/KBRGXD3W03 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11056#4V4W (statement). In 1NDB3SAG7K/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.3
parallelism KBRN5ZZR32
| URI | m2://inv/KBRN5ZZR32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q53875, parallelism (unknown). Also Mathlib AffineSubspace.Parallel, MathWorld Parallel
- wikipedia: Wikipedia Parallel (geometry), Parallel (definition). Also Wikidata Q53875
History
- 2026-10-26: add by m2/dev
Walter Hayman KBRVA3XMD2
| URI | m2://inv/KBRVA3XMD2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PSUM, Walter Hayman (topic)
History
- 2026-11-02: add by m2/dev
Federico Rodriguez Hertz KBRWPB4NBP
| URI | m2://inv/KBRWPB4NBP |
|---|---|
| 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#2YZG, Federico Rodriguez Hertz (topic)
History
- 2026-11-02: add by m2/dev
KBRXKQV209 KBRXKQV209
| URI | m2://inv/KBRXKQV209 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#proof-8 (proof). In E59CDZA4DP, proof, section 7.2.3
History
- 2026-11-01: add by m2/v0.6.13
Raftery, Adrian KBRZ29A1S9
| URI | m2://inv/KBRZ29A1S9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#OKSW, Raftery, Adrian (unknown)
History
- 2026-11-02: add by m2/dev
constraint-level commutation KBSAHS1AYC
| URI | m2://inv/KBSAHS1AYC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22355#MOO7, constraint-level commutation (statement)
History
- 2026-11-02: add by m2/v0.6.17
Theorem (Stokes' theorem for chains) KBSC9PATS6
| URI | m2://inv/KBSC9PATS6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Stokes theorem#3KLT, Theorem (Stokes' theorem for chains) (statement)
History
- 2026-11-02: add by m2/dev
Sequential two weight \(T1\) theorem KBSGQ244J9
| URI | m2://inv/KBSGQ244J9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20531#ZBWQ, Sequential two weight \(T1\) theorem (statement)
History
- 2026-11-02: add by m2/v0.6.18
snub KBSGWZE1XV
| URI | m2://inv/KBSGWZE1XV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18378865, snub (concept). Also MathWorld Snubification
- wikipedia: Wikipedia Snub (geometry), Snub (object). Also Wikidata Q18378865
History
- 2026-10-26: add by m2/dev
Directed separation on a large subfamily KBSHGJKKV6
| URI | m2://inv/KBSHGJKKV6 |
|---|---|
| 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.31782#VXBC, Directed separation on a large subfamily (statement). In YAYP5VZ94H/e1, corollary 3.3
History
- 2026-10-31: add by m2/v0.5.6
Jaime Carbonell KBSJDDJC1F
| URI | m2://inv/KBSJDDJC1F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6FA0, Jaime Carbonell (unknown)
History
- 2026-11-02: add by m2/dev
KBSQNHR7EM KBSQNHR7EM
| URI | m2://inv/KBSQNHR7EM |
|---|---|
| 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 2411.05198#H384 (definition). In NJWY6HPFHG/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
KBT8ZSC74J KBT8ZSC74J
| URI | m2://inv/KBT8ZSC74J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#UPY3 (statement). In 9S7HGSEX6Q/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
Pragmatic clinical trial KBTAS4XW7K
| URI | m2://inv/KBTAS4XW7K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pragmatic clinical trial, Pragmatic clinical trial (definition). Also Wikidata Q48996431
History
- 2026-11-02: add by m2/dev
Complete information KBTCMZXSWR
| URI | m2://inv/KBTCMZXSWR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete information, Complete information (definition). Also Wikidata Q574010
History
- 2026-11-02: add by m2/dev
KBTE9991A9 KBTE9991A9
| URI | m2://inv/KBTE9991A9 |
|---|---|
| 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#DP9P (statement). In 3A4K47Y9F2/e1, lemma 3.12
History
- 2026-10-27: add by m2/v0.4.0
KBTEE1XPY0 KBTEE1XPY0
| URI | m2://inv/KBTEE1XPY0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01928#EG6T (statement). In BSJRRHKGX0/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
Ricker wavelet KBTHHMVFJ6
| URI | m2://inv/KBTHHMVFJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ricker wavelet, Ricker wavelet (definition). Also Wikidata Q1019202
History
- 2026-11-02: add by m2/dev
Steve MacEachern KBTKN3C64J
| URI | m2://inv/KBTKN3C64J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steve MacEachern, Steve MacEachern (topic). Also Wikidata Q100950083
History
- 2026-11-02: add by m2/dev
KBTWNWQ7MQ KBTWNWQ7MQ
| URI | m2://inv/KBTWNWQ7MQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.20176#EWQS (statement). In CX4WDA2KAR/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
KBTXDFW7JE KBTXDFW7JE
| URI | m2://inv/KBTXDFW7JE |
|---|---|
| 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 2508.17135#ABUB (example). In 74MXJ2RX4B/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
Pierre Sikivie KBTXYXF7A9
| URI | m2://inv/KBTXYXF7A9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q24565714, Pierre Sikivie (unknown). Also nLab Pierre Sikivie
History
- 2026-10-26: add by m2/dev
KBV35W51NR KBV35W51NR
| URI | m2://inv/KBV35W51NR |
|---|---|
| Kind | definition |
| 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.11905#51KT (definition). In QQFXT31CA5/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.3
KBVM91E571 KBVM91E571
| URI | m2://inv/KBVM91E571 |
|---|---|
| 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.39782#LFOU (statement). In JF4188WVV0/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Noether's second theorem KBVV8EFS5X
| URI | m2://inv/KBVV8EFS5X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noether's second theorem#MIQM, Noether's second theorem (statement)
History
- 2026-11-02: add by m2/dev
KBW550GZF8 KBW550GZF8
| URI | m2://inv/KBW550GZF8 |
|---|---|
| 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.05471#UWIU (statement). In WDWF9WKNK1/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
Sufficient $\lambda$ for a given relative error KBW64AZ0JS
| URI | m2://inv/KBW64AZ0JS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39992#T00A, Sufficient $\lambda$ for a given relative error (statement). In WF64CGYVK1/e1, corollary S8
History
- 2026-10-30: add by m2/v0.4.12
Toida's conjecture KBWYBFKXCP
| URI | m2://inv/KBWYBFKXCP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toida's conjecture, Toida's conjecture (statement). Also Wikidata Q7813341
History
- 2026-11-02: add by m2/dev
KBX7W5FJMN KBX7W5FJMN
| URI | m2://inv/KBX7W5FJMN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#WUDP (definition). In W4TYN4PGE8/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.3.5
KBXG4RTVKC KBXG4RTVKC
| URI | m2://inv/KBXG4RTVKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15454#WRU0 (statement). In RGQZVNXWM5/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
KBXR6P9AE1 KBXR6P9AE1
| URI | m2://inv/KBXR6P9AE1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#CD2K (statement). In CY1FE8W1ZW/e1, lemma
History
- 2026-10-27: add by m2/v0.3.5
Probit KBXZ76XH76
| URI | m2://inv/KBXZ76XH76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probit, Probit (definition). Also Wikidata Q3117995
History
- 2026-11-02: add by m2/dev
Half-integral points KBY4C59SPR
| URI | m2://inv/KBY4C59SPR |
|---|---|
| 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 2609.38228#7KAC, Half-integral points (statement). In 9YAE8FNQST/e1, corollary 5.5
History
- 2026-10-30: add by m2/v0.4.12
KBY5WGA6FB KBY5WGA6FB
| URI | m2://inv/KBY5WGA6FB |
|---|---|
| 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 2609.21914#50R7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
multiple integral KBY8NW1PDG
| URI | m2://inv/KBY8NW1PDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Multiple integral FE1ZZJ8QW2 |
Mentions
- wikidata: Wikidata Q844937, multiple integral (unknown). Also EoM Multiple_integral, MathWorld MultipleIntegral
- wikipedia: Wikipedia Multiple integral, Multiple integral (definition). Also Wikidata Q844937
History
- 2026-10-26: add by m2/dev
Barnes integral KBY9CDYXYC
| URI | m2://inv/KBY9CDYXYC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barnes integral, Barnes integral (definition). Also Wikidata Q4201931
History
- 2026-11-02: add by m2/dev
Cramer's paradox KBYEC356KH
| URI | m2://inv/KBYEC356KH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3363319, Cramer's paradox (concept). Also MathWorld Cramer-EulerParadox
- wikipedia: Wikipedia Cramer's paradox, Cramer's paradox (statement). Also Wikidata Q3363319
History
- 2026-10-26: add by m2/dev
IDE Research Centre @ Institut Darul Ehsan (IDE) KBYPZZEFYN
| URI | m2://inv/KBYPZZEFYN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#SYXZ, IDE Research Centre @ Institut Darul Ehsan (IDE) (unknown)
History
- 2026-11-02: add by m2/dev
KBYSKXV85B KBYSKXV85B
| URI | m2://inv/KBYSKXV85B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14502#Y0OQ (statement). In 6BVBMTYXNZ/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
Lindenbaum algebra KBYX1CDXM6
| URI | m2://inv/KBYX1CDXM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#LBJS, Lindenbaum algebra (definition)
History
- 2026-11-02: add by m2/dev
order KBZ6EM1G9N
| URI | m2://inv/KBZ6EM1G9N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Ordinary differential equations > order, order (unknown)
History
- 2026-10-26: add by m2/dev
Orthogonal polarity KBZE02ZP7W
| URI | m2://inv/KBZE02ZP7W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric bilinear form#TFBH, Orthogonal polarity (unknown)
History
- 2026-11-02: add by m2/dev
KBZE9GPNW4 KBZE9GPNW4
| URI | m2://inv/KBZE9GPNW4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#S8M4 (statement). In 9TR5E527P5/e1, theorem 1.12
History
- 2026-10-29: add by m2/v0.4.10
Poisson binomial distribution KBZMP6J58E
| URI | m2://inv/KBZMP6J58E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson binomial distribution, Poisson binomial distribution (definition). Also Wikidata Q3258231
History
- 2026-11-02: add by m2/dev
Bulirsch–Stoer algorithm KBZQZS6274
| URI | m2://inv/KBZQZS6274 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4996463, Bulirsch–Stoer algorithm (unknown). Also MathWorld Bulirsch-StoerAlgorithm
- wikipedia: Wikipedia Bulirsch–Stoer algorithm, Bulirsch–Stoer algorithm (definition). Also Wikidata Q4996463
History
- 2026-10-26: add by m2/dev
Alona Ben-Tal KBZSJTRN9Z
| URI | m2://inv/KBZSJTRN9Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alona Ben-Tal, Alona Ben-Tal (topic). Also Wikidata Q92999652
History
- 2026-11-02: add by m2/dev