Inventory rows JB
The cards of the rows of the inventory whose ids start with JB. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Extensions JB0AWXRDEP
| URI | m2://inv/JB0AWXRDEP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least-squares adjustment#BWQF, Extensions (statement)
History
- 2026-11-02: add by m2/dev
List of integrals of inverse hyperbolic functions JB0DMFTS3Q
| URI | m2://inv/JB0DMFTS3Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of integrals#83L3, List of integrals of inverse hyperbolic functions (unknown)
- wikipedia: Wikipedia Lists of mathematics topics#I5SH, List of integrals of inverse hyperbolic functions (unknown)
History
- 2026-11-02: add by m2/dev
JB0EYTAJ3Z JB0EYTAJ3Z
| URI | m2://inv/JB0EYTAJ3Z |
|---|---|
| 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.15344#ASR6 (statement). In B9EX6K51RD/e1, corollary 2.25
History
- 2026-10-28: add by m2/v0.4.2
JB0JDQVV7D JB0JDQVV7D
| URI | m2://inv/JB0JDQVV7D |
|---|---|
| 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.01247#3699 (statement). In 6EVNCRZ118/e1, proposition 36
History
- 2026-10-29: add by m2/v0.4.12
Lusin's theorem JB0PA0HJVT
| URI | m2://inv/JB0PA0HJVT |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 4 |
| Outcome | open |
| Node | Lusin's theorem GZMAH9W2SK |
Mentions
- mathlib_1000: mathlib_1000 Q1361393, Luzin's theorem (statement). Also Wikidata Q1361393
- thousand_plus: thousand_plus Q1361393, Luzin's theorem (statement). Also Wikidata Q1361393, Wikipedia Luzin's theorem
- wikidata: Wikidata Q1361393, Lusin's theorem (statement). Also MathWorld LusinsTheorem
- wikipedia: Wikipedia Lusin's theorem, Lusin's theorem (statement). Also Wikidata Q1361393
History
- 2026-10-26: add by m2/dev
Stefanie Jegelka JB0QEYH16F
| URI | m2://inv/JB0QEYH16F |
|---|---|
| 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#WKM5, Stefanie Jegelka (unknown)
History
- 2026-11-02: add by m2/dev
Andrea M. Ghez JB0RW13PJX
| URI | m2://inv/JB0RW13PJX |
|---|---|
| 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#VZ5T, Andrea M. Ghez (unknown)
History
- 2026-11-02: add by m2/dev
Sinkhorn Outlier Energy JB0VD0RGGS
| URI | m2://inv/JB0VD0RGGS |
|---|---|
| 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.31470#TYZJ, Sinkhorn Outlier Energy (definition). In 4RS2WKVB7F/e1, definition 3.1
History
- 2026-10-31: add by m2/v0.5.6
Eikonal equation JB0WT628DK
| URI | m2://inv/JB0WT628DK |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 35F20 |
| Sources | 2 |
| Outcome | open |
| Node | Eikonal equation HGMX1QGTAZ |
Mentions
- wikidata: Wikidata Q1303846, Eikonal equation (topic)
- wikipedia: Wikipedia Eikonal equation, Eikonal equation (definition). Also Wikidata Q1303846
History
- 2026-10-26: add by m2/dev
Kernel bounds JB0YFCM5HQ
| URI | m2://inv/JB0YFCM5HQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08074#DEM4, Kernel bounds (statement). In ZRPYF750AV/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
JB10HE9M1N JB10HE9M1N
| URI | m2://inv/JB10HE9M1N |
|---|---|
| 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.36423#K992 (definition). In Q5Z178SAHP/e1, definition 4.17
History
- 2026-10-30: add by m2/v0.4.12
JB17A9YV58 JB17A9YV58
| URI | m2://inv/JB17A9YV58 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15535#8RCK (example). In 73A9KWZJRD/e1, example 7.3
History
- 2026-10-28: add by m2/v0.4.2
Variants JB18KAW6MD
| URI | m2://inv/JB18KAW6MD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank-maximal allocation#QH2P, Variants (statement)
History
- 2026-11-02: add by m2/dev
Reduct JB193BKWN6
| URI | m2://inv/JB193BKWN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#RH5G, Reduct (definition)
History
- 2026-11-02: add by m2/dev
Equal-Energy Fixed Point JB193NAGMX
| URI | m2://inv/JB193NAGMX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27120#ZBKO, Equal-Energy Fixed Point (statement)
History
- 2026-11-01: add by m2/v0.6.15
Householder matrix JB1GWEFEQW
| URI | m2://inv/JB1GWEFEQW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q43217907, Householder matrix (concept). Also MathWorld HouseholderMatrix
History
- 2026-10-26: add by m2/dev
JB1XH2Q8CX JB1XH2Q8CX
| URI | m2://inv/JB1XH2Q8CX |
|---|---|
| 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.33941#ZKW6 (statement). In 64YCRQCKZN/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
JB20RP9J5Q JB20RP9J5Q
| URI | m2://inv/JB20RP9J5Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-advPIE.ptx#example-7 (example). In Y91XFCEVHQ, example, section 2.6.2
History
- 2026-11-01: add by m2/v0.6.13
JB26802TEW JB26802TEW
| URI | m2://inv/JB26802TEW |
|---|---|
| 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.02484#WVJR (statement). In D1V0MQZTFQ/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.12
JB2721GBQ5 JB2721GBQ5
| URI | m2://inv/JB2721GBQ5 |
|---|---|
| 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.25524#AI64 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Relaxed variational gap JB28S4YAY9
| URI | m2://inv/JB28S4YAY9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#VOBC, Relaxed variational gap (statement). In NKXTXH59P1/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
JB297GKW6P JB297GKW6P
| URI | m2://inv/JB297GKW6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28880#D53F (statement)
History
- 2026-11-01: add by m2/v0.6.15
JB2R3DF9W1 JB2R3DF9W1
| URI | m2://inv/JB2R3DF9W1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#13XM (statement). In JWNYJVH8XG/e1, lemma 3.24
History
- 2026-10-29: add by m2/v0.4.10
Complete-linkage clustering JB2VT676E6
| URI | m2://inv/JB2VT676E6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete-linkage clustering, Complete-linkage clustering (definition). Also Wikidata Q5156437
History
- 2026-11-02: add by m2/dev
JB38Q58E56 JB38Q58E56
| URI | m2://inv/JB38Q58E56 |
|---|---|
| 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#81HI (statement). In 4WPYBTARS2/e1, lemma 5.7
History
- 2026-10-29: add by m2/v0.4.12
Riemann–von Mangoldt formula JB3D6QZBHD
| URI | m2://inv/JB3D6QZBHD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3748379, Riemann–von Mangoldt formula (statement). Also MathWorld Riemann-vonMangoldtFormula
- wikipedia: Wikipedia Riemann–von Mangoldt formula, Riemann–von Mangoldt formula (statement). Also Wikidata Q3748379
History
- 2026-10-26: add by m2/dev
Cocomparability graph JB3FZKKAT3
| URI | m2://inv/JB3FZKKAT3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparability graph#BOTL, Cocomparability graph (unknown)
History
- 2026-11-02: add by m2/dev
JB3GDCB7B1 JB3GDCB7B1
| URI | m2://inv/JB3GDCB7B1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-44 (proof). In N54F33XE07, proof, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
\myindex{Cauchy--Schwarz inequality} \footnote{ Sometimes it is called the \myindex{Cauchy--Bunyakovsky--Schwarz inequality}. \href{https://en.wikipedia.org/wiki/Hermann_Schwarz}{Karl Hermann Amandus Schwarz} (1843--1921) was a German mathematician and \href{https://en.wikipedia.org/wiki/Viktor_Bunyakovsky}{Viktor Yakovlevich Bunyakovsky} (1804--1889) was a Ukrainian mathematician. What we stated should really be called the Cauchy inequality, as Bunyakovsky and Schwarz provided proofs for infinite-dimensional versions.} JB3MVXSQQ9
| URI | m2://inv/JB3MVXSQQ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#lemma-1, \myindex{Cauchy--Schwarz inequality} \footnote{ Sometimes it is called the \myindex{Cauchy--Bunyakovsky--Schwarz inequality}. \href{https://en.wikipedia.org/wiki/Hermann_Schwarz}{Karl Hermann Amandus Schwarz} (1843--1921) was a German mathematician and \href{https://en.wikipedia.org/wiki/Viktor_Bunyakovsky}{Viktor Yakovlevich Bunyakovsky} (1804--1889) was a Ukrainian mathematician. What we stated should really be called the Cauchy inequality, as Bunyakovsky and Schwarz provided proofs for infinite-dimensional versions.} (statement). In E59CDZA4DP, lemma, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
tensor product JB41NZHMDC
| URI | m2://inv/JB41NZHMDC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#J4MP, tensor product (definition)
History
- 2026-11-02: add by m2/dev
JB43TGDH3F JB43TGDH3F
| URI | m2://inv/JB43TGDH3F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#eg:torus (example). In N54F33XE07, eg, section 7.7.2
History
- 2026-11-01: add by m2/v0.6.13
JB4CQMD9CY JB4CQMD9CY
| URI | m2://inv/JB4CQMD9CY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07280#O8V5 (statement). In 1FJKW4WGEN/e1, proposition 4.6
History
- 2026-10-29: add by m2/v0.4.10
The R Journal JB4JRCREB4
| URI | m2://inv/JB4JRCREB4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#K7WJ, The R Journal (unknown)
- wikipedia: Wikipedia List of statistics journals#ZR6M, The R Journal (unknown)
History
- 2026-11-02: add by m2/dev
Matrix Lie group JB4M38RCVJ
| URI | m2://inv/JB4M38RCVJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie group#NBAR, Matrix Lie group (unknown)
History
- 2026-11-02: add by m2/dev
JB4MMCGPK1 JB4MMCGPK1
| URI | m2://inv/JB4MMCGPK1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.07292#7FKX (statement). In PZ17NHGAKX/e1, lemma 21
History
- 2026-10-29: add by m2/v0.4.10
Weak latent density upper bound JB4RHX5PSX
| URI | m2://inv/JB4RHX5PSX |
|---|---|
| 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.20944#SHFK, Weak latent density upper bound (statement). In DRRKZR6CQC/e1, theorem 6
History
- 2026-10-27: add by m2/v0.4.2
JB50DHA3Z5 JB50DHA3Z5
| URI | m2://inv/JB50DHA3Z5 |
|---|---|
| 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 2609.25321#D7O0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
JB58K264DB JB58K264DB
| URI | m2://inv/JB58K264DB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/proving-things-quant.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 22.10
History
- 2026-11-01: add by m2/v0.6.13
JB5D04WGGB JB5D04WGGB
| URI | m2://inv/JB5D04WGGB |
|---|---|
| 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.33733#BH30 (statement). In QBAP8C82FG/e1, proposition 62
History
- 2026-10-30: add by m2/v0.4.12
Equivalent definitions JB5DE4VPEG
| URI | m2://inv/JB5DE4VPEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Esakia space#A1CF, Equivalent definitions (definition)
History
- 2026-11-02: add by m2/dev
JB5HC2R141 JB5HC2R141
| URI | m2://inv/JB5HC2R141 |
|---|---|
| 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.07122#DC9Q (statement). In W0ZHX9DHPV/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.10
Semi-structural, structural, and topological stability JB5KACQ54Q
| URI | m2://inv/JB5KACQ54Q |
|---|---|
| Kind | definition |
| 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 2610.04179#EBBE, Semi-structural, structural, and topological stability (definition). In D64RQ09KBP/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.12
Definition JB5PEZJCE8
| URI | m2://inv/JB5PEZJCE8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapley–Shubik power index#GEUV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties JB5XB6ZGY1
| URI | m2://inv/JB5XB6ZGY1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular 4-polytope#MTOQ, Properties (statement)
History
- 2026-11-02: add by m2/dev
JB61X806HQ JB61X806HQ
| URI | m2://inv/JB61X806HQ |
|---|---|
| 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.10086#1NF7 (statement). In NP9X9CAK19/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.10
Gift wrapping algorithm JB638Q836V
| URI | m2://inv/JB638Q836V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gift wrapping algorithm, Gift wrapping algorithm (definition). Also Wikidata Q2990379
History
- 2026-11-02: add by m2/dev
Joint compact LIL JB641SANKN
| URI | m2://inv/JB641SANKN |
|---|---|
| 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.13884#IIQE, Joint compact LIL (statement). In N2NQ3QJYTW/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.2
Testosterone JB65M5R6JN
| URI | m2://inv/JB65M5R6JN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#3CZ1, Testosterone (unknown)
History
- 2026-11-02: add by m2/dev
John H. Coates JB6GVX77TP
| URI | m2://inv/JB6GVX77TP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#J91P, John H. Coates (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7CCC, John H. Coates (topic)
History
- 2026-11-02: add by m2/dev
JB73V9RZ0F JB73V9RZ0F
| URI | m2://inv/JB73V9RZ0F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/top-more.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 101.5
History
- 2026-11-01: add by m2/v0.6.13
iiint JB74FQ17Z1
| URI | m2://inv/JB74FQ17Z1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#FH5I, iiint (definition)
History
- 2026-11-02: add by m2/dev
Example JB78PEPTT3
| URI | m2://inv/JB78PEPTT3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Repeated game#1DRL, Example (example)
History
- 2026-11-02: add by m2/dev
Counting criterion JB7BCBBQK0
| URI | m2://inv/JB7BCBBQK0 |
|---|---|
| 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.04271#S6BP, Counting criterion (statement). In WBXAW9G4JB/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
Cristina Parel JB7NSHHCV3
| URI | m2://inv/JB7NSHHCV3 |
|---|---|
| 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#DNZN, Cristina Parel (topic)
History
- 2026-11-02: add by m2/dev
JB7XVDX5KT JB7XVDX5KT
| URI | m2://inv/JB7XVDX5KT |
|---|---|
| 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.17940#KVH6 (statement). In MMW4J61SKS/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
JB8ANWS7MC JB8ANWS7MC
| URI | m2://inv/JB8ANWS7MC |
|---|---|
| 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.04317#46Q2 (statement). In CF1X73QQ11/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.12
JB8B5DRH1T JB8B5DRH1T
| URI | m2://inv/JB8B5DRH1T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08039#YR54 (statement). In Y1K8WE4MDP/e1, proposition 2.11
History
- 2026-10-29: add by m2/v0.4.10
Joel Siegel JB8DMMN09S
| URI | m2://inv/JB8DMMN09S |
|---|---|
| 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#B50B, Joel Siegel (unknown)
History
- 2026-11-02: add by m2/dev
JB8FDCX816 JB8FDCX816
| URI | m2://inv/JB8FDCX816 |
|---|---|
| Kind | counterexample |
| 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.16555#TI3F (counterexample). In WZA3H0WD16/e1, counterexample
History
- 2026-10-28: add by m2/v0.4.2
JB8PJRT468 JB8PJRT468
| URI | m2://inv/JB8PJRT468 |
|---|---|
| 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 2609.27752#3ORC (statement)
History
- 2026-11-01: add by m2/v0.6.15
18-Hazari JB8SEA9344
| URI | m2://inv/JB8SEA9344 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#4KHB, 18-Hazari (unknown)
History
- 2026-11-02: add by m2/dev
Example JB9AVHBV8B
| URI | m2://inv/JB9AVHBV8B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faulhaber's formula#SLN4, Example (example)
History
- 2026-11-02: add by m2/dev
Pearson Type III distribution JB9G2W5XZ8
| URI | m2://inv/JB9G2W5XZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#68HS, Pearson Type III distribution (definition)
History
- 2026-11-02: add by m2/dev
JB9NMJ26JZ JB9NMJ26JZ
| URI | m2://inv/JB9NMJ26JZ |
|---|---|
| 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.33552#0XZY (statement). In SRAS2DJJQH/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
JB9XX1RBZA JB9XX1RBZA
| URI | m2://inv/JB9XX1RBZA |
|---|---|
| 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.14450#6E4J (statement). In ZHTGQT07PE/e1, lemma 4.23
History
- 2026-10-28: add by m2/v0.4.2
Theorem JB9ZJPKBEP
| URI | m2://inv/JB9ZJPKBEP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal space#CKW4, Theorem (statement)
History
- 2026-11-02: add by m2/dev
JBA4SJ1JD5 JBA4SJ1JD5
| URI | m2://inv/JBA4SJ1JD5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22909#9VYI (statement)
History
- 2026-11-02: add by m2/v0.6.17
JBAMPS7DAK JBAMPS7DAK
| URI | m2://inv/JBAMPS7DAK |
|---|---|
| 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.26019#VVND (statement)
History
- 2026-11-01: add by m2/v0.6.15
Thurstone scale JBAXDKWS7J
| URI | m2://inv/JBAXDKWS7J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ATBQ, Thurstone scale (definition)
History
- 2026-11-02: add by m2/dev
Tetrad formalism JBAXRDRJKQ
| URI | m2://inv/JBAXRDRJKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrad formalism, Tetrad formalism (definition). Also Wikidata Q7706302
History
- 2026-11-02: add by m2/dev
Non-examples JBAY4YG1ET
| URI | m2://inv/JBAY4YG1ET |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semidirect product#ALMU, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
JBAY7NXDYP JBAY7NXDYP
| URI | m2://inv/JBAY7NXDYP |
|---|---|
| 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 2411.05198#BW3M (statement). In NJWY6HPFHG/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
JBB2MTRGXS JBB2MTRGXS
| URI | m2://inv/JBB2MTRGXS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.09319#Z45D (statement). In GMRT5GHBZS/e1, lemma C.7
History
- 2026-10-29: add by m2/v0.4.10
Topological divisor of zero JBB59KP39E
| URI | m2://inv/JBB59KP39E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological divisor of zero, Topological divisor of zero (definition). Also Wikidata Q2443467
History
- 2026-11-02: add by m2/dev
Shadow-fibre mixing JBB7X5FH9J
| URI | m2://inv/JBB7X5FH9J |
|---|---|
| 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.20414#9PBY, Shadow-fibre mixing (statement). In X2NNNW8CX5/e1, lemma 7.4
History
- 2026-10-27: add by m2/v0.4.2
JBB8CH7MRP JBB8CH7MRP
| URI | m2://inv/JBB8CH7MRP |
|---|---|
| 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 2609.20190#FRUP (example)
History
- 2026-11-02: add by m2/v0.6.18
clone product JBB8J38ZS8
| URI | m2://inv/JBB8J38ZS8 |
|---|---|
| Kind | definition |
| 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#149O, clone product (definition). In GW23NX78SB/e1, definition 2.18
History
- 2026-10-28: add by m2/v0.4.2
Uniform inverse-moment bound JBC21H286B
| URI | m2://inv/JBC21H286B |
|---|---|
| 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.05864#WIJH, Uniform inverse-moment bound (statement). In 31QPXWDZSH/e1, lemma A.4
History
- 2026-10-29: add by m2/v0.4.10
JBCGKAMN1Q JBCGKAMN1Q
| URI | m2://inv/JBCGKAMN1Q |
|---|---|
| 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#ARB9 (statement). In NSP90G5XCQ/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.12
James Hodgson JBCGWG5RGW
| URI | m2://inv/JBCGWG5RGW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Hodgson (mathematician), James Hodgson (topic). Also Wikidata Q15994516
History
- 2026-11-02: add by m2/dev
JBCVFTFEZT JBCVFTFEZT
| URI | m2://inv/JBCVFTFEZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#B0TN (statement). In M0SQY5EZN5/e1, lemma 4.6.9
History
- 2026-10-27: add by m2/v0.3.5
Example JBDBAVC0G3
| URI | m2://inv/JBDBAVC0G3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interpretation (model theory)#0FRH, Example (example)
History
- 2026-11-02: add by m2/dev
Energy solution JBDEA1G743
| URI | m2://inv/JBDEA1G743 |
|---|---|
| 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.21256#8W02, Energy solution (definition)
History
- 2026-11-02: add by m2/v0.6.18
JBDES79PEA JBDES79PEA
| URI | m2://inv/JBDES79PEA |
|---|---|
| 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 2603.21971#RG39 (statement). In R6KSZ9H8CY/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
Hua Luogeng JBDFJC6YEG
| URI | m2://inv/JBDFJC6YEG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#QZHZ, Hua Luogeng (topic)
History
- 2026-11-02: add by m2/dev
Subgradients of the Fenchel potential JBDVZT0JTV
| URI | m2://inv/JBDVZT0JTV |
|---|---|
| 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.28306#FBNL, Subgradients of the Fenchel potential (statement)
History
- 2026-11-01: add by m2/v0.6.15
JBE02QTBC1 JBE02QTBC1
| URI | m2://inv/JBE02QTBC1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14189#PTPK (statement). In 39VAB08YDJ/e1, lemma 4.11
History
- 2026-10-28: add by m2/v0.4.2
Construction JBE04V38G2
| URI | m2://inv/JBE04V38G2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhombic enneacontahedron#5676, Construction (definition)
History
- 2026-11-02: add by m2/dev
V-optimal histograms JBE1PAKJY6
| URI | m2://inv/JBE1PAKJY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5379, V-optimal histograms (definition)
History
- 2026-11-02: add by m2/dev
Point-set topology JBE282F7GT
| URI | m2://inv/JBE282F7GT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#NKFU, Point-set topology (definition)
History
- 2026-11-02: add by m2/dev
Definitions JBE4WN12T9
| URI | m2://inv/JBE4WN12T9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vacuous truth#LLM1, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Lindemann–Weierstrass theorem JBE7QGB2S3
| URI | m2://inv/JBE7QGB2S3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#E79V, Lindemann–Weierstrass theorem (statement)
History
- 2026-11-02: add by m2/dev
JBEAYWAAQ4 JBEAYWAAQ4
| URI | m2://inv/JBEAYWAAQ4 |
|---|---|
| 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#UMM5 (statement). In CRFDGFZHBF/e1, lemma 7.10
History
- 2026-10-28: add by m2/v0.4.3
JBEENC9QQQ JBEENC9QQQ
| URI | m2://inv/JBEENC9QQQ |
|---|---|
| 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 0910.4613#XPGQ (statement). In SYPZ9055PN/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
Supersingular K3 surface JBF1FN24ZQ
| URI | m2://inv/JBF1FN24ZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supersingular K3 surface, Supersingular K3 surface (definition). Also Wikidata Q7644140
History
- 2026-11-02: add by m2/dev
Naimark, Mark Aronovich JBF3MPTXW5
| URI | m2://inv/JBF3MPTXW5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#IC1O, Naimark, Mark Aronovich (unknown)
History
- 2026-11-02: add by m2/dev
Definition JBF54NSADS
| URI | m2://inv/JBF54NSADS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strip packing problem#R7LC, Definition (definition)
History
- 2026-11-02: add by m2/dev
JBF7EY39AE JBF7EY39AE
| URI | m2://inv/JBF7EY39AE |
|---|---|
| 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 2610.16404#UW22 (definition). In PQ7W037C2H/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
CHT forces almost-sure convergence JBF8GF8VAV
| URI | m2://inv/JBF8GF8VAV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 54-XX, 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.20683#8CKG, CHT forces almost-sure convergence (statement)
History
- 2026-11-02: add by m2/v0.6.18
CAP theorem JBFFYP4HCZ
| URI | m2://inv/JBFFYP4HCZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#MU7M, CAP theorem (statement)
History
- 2026-11-02: add by m2/dev
Choquet's theorem JBFXQGPCQE
| URI | m2://inv/JBFXQGPCQE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Choquet theory#LFVH, Choquet's theorem (statement)
History
- 2026-11-02: add by m2/dev
Vector calculus JBG5BCT1ZK
| URI | m2://inv/JBG5BCT1ZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formal systems#3OWO, Vector calculus (definition)
History
- 2026-11-02: add by m2/dev
Invariant subspace problem JBG5BZ1MQG
| URI | m2://inv/JBG5BZ1MQG |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#9XU5, Invariant subspace problem (conjecture)
History
- 2026-11-02: add by m2/dev
Formal definition JBG9MABVKV
| URI | m2://inv/JBG9MABVKV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-diversity#SDAN, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
JBGEXH4YAV JBGEXH4YAV
| URI | m2://inv/JBGEXH4YAV |
|---|---|
| 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.07927#1GX3 (statement). In GKM19DHQTM/e1, lemma 6.38
History
- 2026-10-29: add by m2/v0.4.10
Katz centrality JBGJ629PBH
| URI | m2://inv/JBGJ629PBH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Katz centrality, Katz centrality (definition). Also Wikidata Q6378571
History
- 2026-11-02: add by m2/dev
Dirichlet hyperbola method JBGSGB0QZM
| URI | m2://inv/JBGSGB0QZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#F0M6, Dirichlet hyperbola method (definition)
History
- 2026-11-02: add by m2/dev
Maxima JBH19B0EW8
| URI | m2://inv/JBH19B0EW8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#3YXB, Maxima (unknown)
- wikipedia: Wikipedia List of open-source software for mathematics#YEAO, Maxima (unknown)
History
- 2026-11-02: add by m2/dev
JBH2633XC1 JBH2633XC1
| URI | m2://inv/JBH2633XC1 |
|---|---|
| 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.17602#RIOF (statement). In BH62508WHJ/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Giulio Racah JBHCCMRBR8
| URI | m2://inv/JBHCCMRBR8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#XK7A, Giulio Racah (unknown)
History
- 2026-11-02: add by m2/dev
Schwarz integral formula JBHFYV1Y5W
| URI | m2://inv/JBHFYV1Y5W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwarz integral formula, Schwarz integral formula (statement). Also Wikidata Q4491936
History
- 2026-11-02: add by m2/dev
Vyjayanthi Chari JBHP7TJEW3
| URI | m2://inv/JBHP7TJEW3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vyjayanthi Chari, Vyjayanthi Chari (topic). Also Wikidata Q21822511
History
- 2026-11-02: add by m2/dev
John Truss JBJ09VZ6YW
| URI | m2://inv/JBJ09VZ6YW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Truss, John Truss (topic). Also Wikidata Q102135641
History
- 2026-11-02: add by m2/dev
Fock JBJ0CGED2P
| URI | m2://inv/JBJ0CGED2P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#D26S, Fock (definition)
History
- 2026-11-02: add by m2/dev
Rational comodule JBJG1ZGGVJ
| URI | m2://inv/JBJG1ZGGVJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comodule#CYUJ, Rational comodule (unknown)
History
- 2026-11-02: add by m2/dev
JBJG962Y01 JBJG962Y01
| URI | m2://inv/JBJG962Y01 |
|---|---|
| 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.05032#JBPG (statement). In DDNK8D4359/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Special cases JBJGKW76NS
| URI | m2://inv/JBJGKW76NS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncentral beta distribution#TK2M, Special cases (statement)
History
- 2026-11-02: add by m2/dev
JBJKBYS9QS JBJKBYS9QS
| URI | m2://inv/JBJKBYS9QS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24041#1HMP (statement)
History
- 2026-11-02: add by m2/v0.6.17
compound of ten tetrahedra JBJNZ8S56B
| URI | m2://inv/JBJNZ8S56B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q520271, compound of ten tetrahedra (unknown). Also MathWorld Tetrahedron10-Compound
- wikipedia: Wikipedia Compound of ten tetrahedra, Compound of ten tetrahedra (definition). Also Wikidata Q520271
History
- 2026-10-26: add by m2/dev
intuitionism JBJPHVVSAK
| URI | m2://inv/JBJPHVVSAK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#312M, intuitionism (definition)
History
- 2026-11-02: add by m2/dev
Descent from the next level JBJTJDYSJ4
| URI | m2://inv/JBJTJDYSJ4 |
|---|---|
| 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.05652#LRUX, Descent from the next level (statement). In 8BNPFYQDQX/e1, corollary 6.8
History
- 2026-10-29: add by m2/v0.4.10
JBKET7RRP9 JBKET7RRP9
| URI | m2://inv/JBKET7RRP9 |
|---|---|
| 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.20385#C8K0 (statement)
History
- 2026-11-02: add by m2/v0.6.18
JBKJPC7YXQ JBKJPC7YXQ
| URI | m2://inv/JBKJPC7YXQ |
|---|---|
| Kind | example |
| 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.08193#OQ2O (example). In 8XAKGH8S2D/e1, example 3.8
History
- 2026-10-29: add by m2/v0.4.10
JBKNBYQ6SR JBKNBYQ6SR
| URI | m2://inv/JBKNBYQ6SR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#defn-3 (definition). In E59CDZA4DP, defn, section 2.1.4
History
- 2026-11-01: add by m2/v0.6.13
Based on Theorem 8.6 JBKP3X1TKD
| URI | m2://inv/JBKP3X1TKD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16267#LOEQ, Based on Theorem 8.6 (statement). In 65GKPZ15VH/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
functor that reflects limits JBKPF5REGG
| URI | m2://inv/JBKPF5REGG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141066057, functor that reflects limits (unknown). Also nLab reflected limit
History
- 2026-10-26: add by m2/dev
Definition JBKS110SS1
| URI | m2://inv/JBKS110SS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolutely and completely monotonic functions and sequences#3ZK3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Validated numerics JBM0680DCE
| URI | m2://inv/JBM0680DCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#7O5K, Validated numerics (definition)
History
- 2026-11-02: add by m2/dev
Definitions JBM93HNNH4
| URI | m2://inv/JBM93HNNH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Definite matrix#AN86, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Tetracontagon JBMC1J8JDB
| URI | m2://inv/JBMC1J8JDB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#UC6Q, Tetracontagon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#BBMY, Tetracontagon (definition)
History
- 2026-11-02: add by m2/dev
Isabella Bashmakova JBMDZ2MRDY
| URI | m2://inv/JBMDZ2MRDY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isabella Bashmakova, Isabella Bashmakova (topic). Also Wikidata Q1673591
History
- 2026-11-02: add by m2/dev
JBMPE6J2XD JBMPE6J2XD
| URI | m2://inv/JBMPE6J2XD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2008.10035#A80S (statement). In 29EH04FH4B/e1, lemma 5.10
History
- 2026-10-27: add by m2/v0.3.5
Generalizations JBMR9FESJM
| URI | m2://inv/JBMR9FESJM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antiprism#PK9T, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
JBMVMKHRJG JBMVMKHRJG
| URI | m2://inv/JBMVMKHRJG |
|---|---|
| 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.21675#FV18 (statement). In TB1294GY5X/e1, theorem A
History
- 2026-10-27: add by m2/v0.4.2
Randomized control trial JBN03EVEH9
| URI | m2://inv/JBN03EVEH9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of psychological research methods#UL30, Randomized control trial (definition)
History
- 2026-11-02: add by m2/dev
JBN0XEFN8S JBN0XEFN8S
| URI | m2://inv/JBN0XEFN8S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03754#CPA4 (statement). In J1Z9P0H13V/e1, corollary 3
History
- 2026-10-29: add by m2/v0.4.12
JBN6W6CH95 JBN6W6CH95
| URI | m2://inv/JBN6W6CH95 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-54 (exercise). In E9HS8K3A52, exercise, section 6.4.4
History
- 2026-11-01: add by m2/v0.6.13
Triebel–Lizorkin space JBNCVZWAX5
| URI | m2://inv/JBNCVZWAX5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triebel–Lizorkin space, Triebel–Lizorkin space (definition). Also Wikidata Q7841428
History
- 2026-11-02: add by m2/dev
the normal endpoint criterion JBNEFQ13W4
| URI | m2://inv/JBNEFQ13W4 |
|---|---|
| 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#CQ6B, the normal endpoint criterion (statement)
History
- 2026-11-01: add by m2/v0.6.15
JBNKJSEMH1 JBNKJSEMH1
| URI | m2://inv/JBNKJSEMH1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Fréchet inequalities JBNN3138PE
| URI | m2://inv/JBNN3138PE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet inequalities, Fréchet inequalities (definition). Also Wikidata Q5506660
History
- 2026-11-02: add by m2/dev
Definition JBP4DXGG0Q
| URI | m2://inv/JBP4DXGG0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weil restriction#4T57, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sigeru Mizohata JBP616E6VW
| URI | m2://inv/JBP616E6VW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sigeru Mizohata, Sigeru Mizohata (topic). Also Wikidata Q11564508
History
- 2026-11-02: add by m2/dev
Courtier's reply JBP7RV3NP8
| URI | m2://inv/JBP7RV3NP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Courtier's reply, Courtier's reply (definition). Also Wikidata Q7727860
History
- 2026-11-02: add by m2/dev
JBPB9H8JGJ JBPB9H8JGJ
| URI | m2://inv/JBPB9H8JGJ |
|---|---|
| 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 2104.05191#VCBE (statement). In CCNH3FK8YZ/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Quotient metric space JBPH83XDQ8
| URI | m2://inv/JBPH83XDQ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric space#AJSU, Quotient metric space (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations of the pigeonhole principle JBPJBK9K03
| URI | m2://inv/JBPJBK9K03 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pigeonhole principle#QS1P, Generalizations of the pigeonhole principle (statement)
History
- 2026-11-02: add by m2/dev
Applications JBPQ63GRKX
| URI | m2://inv/JBPQ63GRKX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goldilocks principle#7A10, Applications (example)
History
- 2026-11-02: add by m2/dev
JBPTWADPA2 JBPTWADPA2
| URI | m2://inv/JBPTWADPA2 |
|---|---|
| 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.09810#2JYF (statement). In B6PCH930FV/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
Cuatro Cañadas JBQ0B0QDAV
| URI | m2://inv/JBQ0B0QDAV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#FNY9, Cuatro Cañadas (unknown)
History
- 2026-11-02: add by m2/dev
JBQ291VKRH JBQ291VKRH
| URI | m2://inv/JBQ291VKRH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:adjprop2 (statement). In N54F33XE07, cor, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
second-order JBQH1FPRPD
| URI | m2://inv/JBQH1FPRPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#88HZ, second-order (definition)
History
- 2026-11-02: add by m2/dev
function, bi-invertible JBQJ1PZEDG
| URI | m2://inv/JBQJ1PZEDG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3/function-bi-invertible, function, bi-invertible (concept). In N54F33XE07, index, section 3
History
- 2026-11-01: add by m2/v0.6.13
JBQPRDBATR JBQPRDBATR
| URI | m2://inv/JBQPRDBATR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40096#2FBW (statement). In XFE35F9NEV/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Cun-Quan Zhang JBQQM81BEG
| URI | m2://inv/JBQQM81BEG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cun-Quan Zhang, Cun-Quan Zhang (topic). Also Wikidata Q102162871
History
- 2026-11-02: add by m2/dev
JBQVEQ7MXP JBQVEQ7MXP
| URI | m2://inv/JBQVEQ7MXP |
|---|---|
| Kind | statement |
| 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#MC12 (statement). In HX63A1PH1W/e1, proposition 3.80
History
- 2026-10-28: add by m2/v0.4.3
JBQVMFWFRN JBQVMFWFRN
| URI | m2://inv/JBQVMFWFRN |
|---|---|
| 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.10902#IRFT (statement). In 96T1K6C3NZ/e1, proposition 8
History
- 2026-10-28: add by m2/v0.4.3
Emma Castelnuovo JBQXFPMWRT
| URI | m2://inv/JBQXFPMWRT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#9RCF, Emma Castelnuovo (topic)
History
- 2026-11-02: add by m2/dev
Distributions JBR1APXZB4
| URI | m2://inv/JBR1APXZB4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Distribution theory > Distributions, Distributions (unknown). Also Mathlib Distribution
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Distributions on $\R^d$ > definition of distributions, definition of distributions (unknown). Also Mathlib Distribution
History
- 2026-10-26: add by m2/dev
Timeline of probability and statistics JBR59QZPC4
| URI | m2://inv/JBR59QZPC4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#USGM, Timeline of probability and statistics (topic)
- wikipedia: Wikipedia Lists of statistics topics#Z0KA, Timeline of probability and statistics (topic)
History
- 2026-11-02: add by m2/dev
JBR8CZQWNA JBR8CZQWNA
| URI | m2://inv/JBR8CZQWNA |
|---|---|
| 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#UWSD (statement). In GW23NX78SB/e1, lemma 3.12
History
- 2026-10-28: add by m2/v0.4.2
JBRA3SA90S JBRA3SA90S
| URI | m2://inv/JBRA3SA90S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18698#EYPI (statement). In AVDZGC7976/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
JBRBTQ7AYK JBRBTQ7AYK
| URI | m2://inv/JBRBTQ7AYK |
|---|---|
| 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.03719#12VB (statement). In 8MDK189ZMB/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.12
projective JBRPJERKP5
| URI | m2://inv/JBRPJERKP5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#5Q84, projective (definition)
History
- 2026-11-02: add by m2/dev
Benjamin–Ono equation JBRX3V2TBD
| URI | m2://inv/JBRX3V2TBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benjamin–Ono equation, Benjamin–Ono equation (definition). Also Wikidata Q4889470
History
- 2026-11-02: add by m2/dev
International Slide Rule Museum JBS4CAVNH8
| URI | m2://inv/JBS4CAVNH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Slide Rule Museum, International Slide Rule Museum (definition). Also Wikidata Q125747119
History
- 2026-11-02: add by m2/dev
Max August Zorn JBS75RD8Q3
| URI | m2://inv/JBS75RD8Q3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Max August Zorn, Max August Zorn (topic). Also Wikidata Q58676
History
- 2026-11-02: add by m2/dev
Algorithms JBSA56G1Z2
| URI | m2://inv/JBSA56G1Z2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributed constraint optimization#2R0O, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
bottom JBSASGTN8P
| URI | m2://inv/JBSASGTN8P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#NPTP, bottom (definition)
History
- 2026-11-02: add by m2/dev
Double angle identities JBSFJS3HJM
| URI | m2://inv/JBSFJS3HJM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-17, Double angle identities (exercise). In E9HS8K3A52, exercise, section 6.2.2
History
- 2026-11-01: add by m2/v0.6.13
Erich Hecke JBSGD2K78K
| URI | m2://inv/JBSGD2K78K |
|---|---|
| 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#HRKZ, Erich Hecke (topic)
History
- 2026-11-02: add by m2/dev
JBSK51Z1V8 JBSK51Z1V8
| URI | m2://inv/JBSK51Z1V8 |
|---|---|
| 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.38417#IIKF (statement). In PQ0BN5S97Q/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
F26A graph JBSP44E8PA
| URI | m2://inv/JBSP44E8PA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5424189, F26A graph (unknown). Also House of Graphs 36342
- wikipedia: Wikipedia F26A graph, F26A graph (definition). Also Wikidata Q5424189
History
- 2026-10-26: add by m2/dev
Sylvester's determinant theorem JBSY1GPT8P
| URI | m2://inv/JBSY1GPT8P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#EXY4, Sylvester's determinant theorem (statement)
History
- 2026-11-02: add by m2/dev
Super-Poulet number JBSY290DDB
| URI | m2://inv/JBSY290DDB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#GOGO, Super-Poulet number (unknown)
History
- 2026-11-02: add by m2/dev
Valéria Neves Domingos Cavalcanti JBSY7HWBKN
| URI | m2://inv/JBSY7HWBKN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valéria Neves Domingos Cavalcanti, Valéria Neves Domingos Cavalcanti (topic). Also Wikidata Q102386851
History
- 2026-11-02: add by m2/dev
JBT09YM0NQ JBT09YM0NQ
| URI | m2://inv/JBT09YM0NQ |
|---|---|
| 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.17677#BWYY (statement). In 5E9G06XJKC/e1, lemma G.26
History
- 2026-10-28: add by m2/v0.4.2
Odd number theorem JBT2TQ8MK2
| URI | m2://inv/JBT2TQ8MK2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#HF1E, Odd number theorem (statement)
History
- 2026-11-02: add by m2/dev
Dual symmetric Grassmann-type formula JBT5YKTG1Z
| URI | m2://inv/JBT5YKTG1Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-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.06739#LSW9, Dual symmetric Grassmann-type formula (statement). In HA9B7PD0YV/e1, theorem 9
History
- 2026-10-29: add by m2/v0.4.10
JBTFX93Q43 JBTFX93Q43
| URI | m2://inv/JBTFX93Q43 |
|---|---|
| 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.23202#7JX9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definitions JBTWQ5P6ZS
| URI | m2://inv/JBTWQ5P6ZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sinc function#PFNR, Definitions (definition)
History
- 2026-11-02: add by m2/dev
JBTZ200EJ5 JBTZ200EJ5
| URI | m2://inv/JBTZ200EJ5 |
|---|---|
| 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.08193#JD6I (statement). In 8XAKGH8S2D/e1, proposition 4.14
History
- 2026-10-29: add by m2/v0.4.10
A uniform cut expansion JBVA1PWC1G
| URI | m2://inv/JBVA1PWC1G |
|---|---|
| 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.27641#SEGJ, A uniform cut expansion (statement)
History
- 2026-11-01: add by m2/v0.6.15
MRBAYES JBVDF04GZQ
| URI | m2://inv/JBVDF04GZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian inference in phylogeny#2SFT, MRBAYES (unknown)
History
- 2026-11-02: add by m2/dev
Phillip Colella JBVEJY8Z7B
| URI | m2://inv/JBVEJY8Z7B |
|---|---|
| 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#ML3I, Phillip Colella (topic)
History
- 2026-11-02: add by m2/dev
Rational principles JBVK6SHDM8
| URI | m2://inv/JBVK6SHDM8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pure inductive logic#HOF2, Rational principles (statement)
History
- 2026-11-02: add by m2/dev
Steiner travelling salesman problem JBVVQGK8WQ
| URI | m2://inv/JBVVQGK8WQ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steiner travelling salesman problem, Steiner travelling salesman problem (problem). Also Wikidata Q25344771
History
- 2026-11-02: add by m2/dev
Jean-Pierre Eckmann JBVW0BEVD1
| URI | m2://inv/JBVW0BEVD1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HAKW, Jean-Pierre Eckmann (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2H5S, Jean-Pierre Eckmann (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NUFI, Jean-Pierre Eckmann (topic)
History
- 2026-11-02: add by m2/dev
Periodic problems, geometric pass length JBVWYGKAF1
| URI | m2://inv/JBVWYGKAF1 |
|---|---|
| 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.12713#SHY5, Periodic problems, geometric pass length (statement). In F14A5HX20Q/e1, theorem 6.5
History
- 2026-10-28: add by m2/v0.4.2
JBW45TTCP1 JBW45TTCP1
| URI | m2://inv/JBW45TTCP1 |
|---|---|
| Kind | statement |
| 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 2610.20972#GLPB (statement). In 6SZE4MTXGZ/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.2
JBW4XY758Q JBW4XY758Q
| URI | m2://inv/JBW4XY758Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24917#NUGX (statement)
History
- 2026-11-01: add by m2/v0.6.15
JBW5J5BJE4 JBW5J5BJE4
| URI | m2://inv/JBW5J5BJE4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08776#OW69 (definition). In ZQ4M778EA7/e1, definition 2.7
History
- 2026-10-29: add by m2/v0.4.10
proof net JBW75D4BEA
| URI | m2://inv/JBW75D4BEA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3457091, proof net (unknown). Also nLab proof net
- wikipedia: Wikipedia Proof net, Proof net (definition). Also Wikidata Q3457091
History
- 2026-10-26: add by m2/dev
264 JBWCAQJSF4
| URI | m2://inv/JBWCAQJSF4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 264 (number), 264 (definition). Also Wikidata Q784757
History
- 2026-11-02: add by m2/dev
JBWD2SJV7Z JBWD2SJV7Z
| URI | m2://inv/JBWD2SJV7Z |
|---|---|
| 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.21274#00CI (statement)
History
- 2026-11-02: add by m2/v0.6.18
JBWG72VYG1 JBWG72VYG1
| URI | m2://inv/JBWG72VYG1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17737#AVH2 (statement). In 8SXY7Y68HV/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
Hotelling's T-squared distribution JBWGNJRX3P
| URI | m2://inv/JBWGNJRX3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#88NH, Hotelling's T-squared distribution (definition)
- wikipedia: Wikipedia List of probability distributions#JZKV, Hotelling's T-squared distribution (definition)
History
- 2026-11-02: add by m2/dev
OS-positivity under periodisation JBWGVGV116
| URI | m2://inv/JBWGVGV116 |
|---|---|
| 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.29671#JXV1, OS-positivity under periodisation (statement)
History
- 2026-11-01: add by m2/v0.6.15
JBWJWM9W18 JBWJWM9W18
| URI | m2://inv/JBWJWM9W18 |
|---|---|
| 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.37897#QXH1 (statement). In RBQ5FNCVNZ/e1, corollary E.5
History
- 2026-10-30: add by m2/v0.4.12
Francesco Tricomi JBWKB57GXG
| URI | m2://inv/JBWKB57GXG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#Y8KG, Francesco Tricomi (topic)
History
- 2026-11-02: add by m2/dev
Pandrosion JBWTCB5SFS
| URI | m2://inv/JBWTCB5SFS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#1I5S, Pandrosion (topic)
History
- 2026-11-02: add by m2/dev
\bf \((p,\beta)\)-H\"older smoothness JBWVVD5A4W
| URI | m2://inv/JBWVVD5A4W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02791#A7BP, \bf \((p,\beta)\)-H\"older smoothness (definition). In TT9BA4VMTW/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Neuroexcitability JBX0WD19MV
| URI | m2://inv/JBX0WD19MV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamical neuroscience#VBP0, Neuroexcitability (unknown)
History
- 2026-11-02: add by m2/dev
JBX1N6EDXZ JBX1N6EDXZ
| URI | m2://inv/JBX1N6EDXZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#HT3H (statement). In 9ZD87293QS/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.4.0
Dynamic-sized hash table JBX54412TB
| URI | m2://inv/JBX54412TB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hash table#3I14, Dynamic-sized hash table (unknown)
History
- 2026-11-02: add by m2/dev
Rate of the selected data JBXB4VAN2T
| URI | m2://inv/JBXB4VAN2T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#PNXM, Rate of the selected data (statement). In NKXTXH59P1/e1, lemma E.14
History
- 2026-10-29: add by m2/v0.4.10
Ipso jure JBXD25JHK2
| URI | m2://inv/JBXD25JHK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ipso jure, Ipso jure (definition). Also Wikidata Q139717
History
- 2026-11-02: add by m2/dev
Lagrange stream function JBXKNJ534G
| URI | m2://inv/JBXKNJ534G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#V0A8, Lagrange stream function (definition)
History
- 2026-11-02: add by m2/dev
Buffered probability of exceedance JBXNFWBAEA
| URI | m2://inv/JBXNFWBAEA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buffered probability of exceedance, Buffered probability of exceedance (definition). Also Wikidata Q120434742
History
- 2026-11-02: add by m2/dev
Faculty of Informatics and Statistics, University of Economics in Prague JBXS75EFAA
| URI | m2://inv/JBXS75EFAA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faculty of Informatics and Statistics, University of Economics in Prague, Faculty of Informatics and Statistics, University of Economics in Prague (definition). Also Wikidata Q5428994
History
- 2026-11-02: add by m2/dev
SWOT analysis (Marketing) JBXS865MQS
| URI | m2://inv/JBXS865MQS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#O9IH, SWOT analysis (Marketing) (unknown)
History
- 2026-11-02: add by m2/dev
The first recursion theorem JBXZ1040VN
| URI | m2://inv/JBXZ1040VN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene's recursion theorem#VXNP, The first recursion theorem (statement)
History
- 2026-11-02: add by m2/dev
Empirical median JBY19VNZ2Q
| URI | m2://inv/JBY19VNZ2Q |
|---|---|
| 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 2610.10519#LCYN, Empirical median (example). In 83MMH8VF1X/e1, example 3
History
- 2026-10-29: add by m2/v0.4.10
JBY1JMWHZG JBY1JMWHZG
| URI | m2://inv/JBY1JMWHZG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-6-2-volume.xml#Ex-6-2-Disks (example). In 907G4C4EJ1, example, section 6.2.2
History
- 2026-11-01: add by m2/v0.6.13
Conditional invariance under derivative reweighting JBY51XBGNY
| URI | m2://inv/JBY51XBGNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-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 2609.27962#BG5E, Conditional invariance under derivative reweighting (statement)
History
- 2026-11-01: add by m2/v0.6.15
JBY5W6X8DJ JBY5W6X8DJ
| URI | m2://inv/JBY5W6X8DJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26619#670A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stronger conjectures and related problems JBY69RZCGQ
| URI | m2://inv/JBY69RZCGQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cycle double cover#MSCS, Stronger conjectures and related problems (statement)
History
- 2026-11-02: add by m2/dev
Definition JBYB3QGB6K
| URI | m2://inv/JBYB3QGB6K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex convexity#3MGS, Definition (definition)
History
- 2026-11-02: add by m2/dev
JBYC0VM1RH JBYC0VM1RH
| URI | m2://inv/JBYC0VM1RH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section1-1.xml#definition-3 (definition). In 649HGZKE96, definition, section 1.1.2
History
- 2026-11-01: add by m2/v0.6.13
JBYG8T3NKQ JBYG8T3NKQ
| URI | m2://inv/JBYG8T3NKQ |
|---|---|
| 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.14692#0HZA (statement). In NE5EH5FXRV/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
Diagonal lemma JBYGGFTEVS
| URI | m2://inv/JBYGGFTEVS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#Q6Z2, Diagonal lemma (statement)
- wikipedia: Wikipedia List of lemmas#HPIE, Diagonal lemma (statement)
History
- 2026-11-02: add by m2/dev
Field homomorphism JBYKY2810G
| URI | m2://inv/JBYKY2810G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#OW5S, Field homomorphism (definition)
History
- 2026-11-02: add by m2/dev
Loretta Braxton JBYP3AHZ27
| URI | m2://inv/JBYP3AHZ27 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loretta Braxton, Loretta Braxton (topic). Also Wikidata Q12893592
History
- 2026-11-02: add by m2/dev
JBYQPH8XTW JBYQPH8XTW
| URI | m2://inv/JBYQPH8XTW |
|---|---|
| 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 2610.04179#YZ7D (statement). In D64RQ09KBP/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
Piece-wise polynomial approximation of log-concave distributions, Lemma 27 JBZ40J9DW3
| URI | m2://inv/JBZ40J9DW3 |
|---|---|
| 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.21033#6YR3, Piece-wise polynomial approximation of log-concave distributions, Lemma 27 (statement). In A8C1M9BSWH/e1, lemma E.1
History
- 2026-10-27: add by m2/v0.4.2
Schwinger effect JBZ4GAJAMA
| URI | m2://inv/JBZ4GAJAMA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q60519967, Schwinger effect (unknown). Also nLab Schwinger effect
History
- 2026-10-26: add by m2/dev
JBZD1KF9XD JBZD1KF9XD
| URI | m2://inv/JBZD1KF9XD |
|---|---|
| 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.26354#FBAY (statement)
History
- 2026-11-01: add by m2/v0.6.15
JBZD2TE4SK JBZD2TE4SK
| URI | m2://inv/JBZD2TE4SK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-8 (exercise). In VNMV985MXX, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Contact graph JBZDXE96NR
| URI | m2://inv/JBZDXE96NR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contact graph, Contact graph (definition). Also Wikidata Q26774052
History
- 2026-11-02: add by m2/dev
bicircular JBZFYHS2F1
| URI | m2://inv/JBZFYHS2F1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#TVL3, bicircular (definition)
History
- 2026-11-02: add by m2/dev
Applications JBZGCMMENK
| URI | m2://inv/JBZGCMMENK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternating planar algebra#J1BP, Applications (example)
History
- 2026-11-02: add by m2/dev
Identification of the seller's market limit JBZKPSWEAX
| URI | m2://inv/JBZKPSWEAX |
|---|---|
| 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.24011#DZJF, Identification of the seller's market limit (statement)
History
- 2026-11-02: add by m2/v0.6.17
Example JBZV6MDT6P
| URI | m2://inv/JBZV6MDT6P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trachtenberg system#10Q3, Example (example)
History
- 2026-11-02: add by m2/dev
Examples JBZYNH5ZQZ
| URI | m2://inv/JBZYNH5ZQZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Control function (econometrics)#MJMM, Examples (example)
History
- 2026-11-02: add by m2/dev