Inventory rows BH
The cards of the rows of the inventory whose ids start with BH. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
BH00WHMTVN BH00WHMTVN
| URI | m2://inv/BH00WHMTVN |
|---|---|
| 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#8OT8 (statement). In NE5EH5FXRV/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
BH01T20B86 BH01T20B86
| URI | m2://inv/BH01T20B86 |
|---|---|
| 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#OZBK (statement). In 8XAKGH8S2D/e1, proposition 4.20
History
- 2026-10-29: add by m2/v0.4.10
BH02QN10Q2 BH02QN10Q2
| URI | m2://inv/BH02QN10Q2 |
|---|---|
| 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#9CLM (statement). In CEKW9CNVVW/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
Definition BH03RGY15D
| URI | m2://inv/BH03RGY15D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factor analysis#T0ET, Definition (definition)
History
- 2026-11-02: add by m2/dev
BH0446WSDV BH0446WSDV
| URI | m2://inv/BH0446WSDV |
|---|---|
| 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.18084#ILB3 (statement). In PKPT8NY665/e1, lemma 1.4
History
- 2026-10-28: add by m2/v0.4.2
Biot-Savart law BH04FG8DM1
| URI | m2://inv/BH04FG8DM1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q171340, Biot-Savart law (statement). Also ProofWiki Biot-Savart_Law
- wikipedia: Wikipedia Biot–Savart law, Biot–Savart law (statement). Also Wikidata Q171340
History
- 2026-10-26: add by m2/dev
BH0C4585M2 BH0C4585M2
| URI | m2://inv/BH0C4585M2 |
|---|---|
| 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 1103.1038#EEHS (statement). In T9VMNNPS0H/e1, corollary 5.3
History
- 2026-10-27: add by m2/v0.3.6
Abraham Silvers BH0D8TH4FX
| URI | m2://inv/BH0D8TH4FX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abraham Silvers, Abraham Silvers (topic). Also Wikidata Q4669180
History
- 2026-11-02: add by m2/dev
BH0KWQG24B BH0KWQG24B
| URI | m2://inv/BH0KWQG24B |
|---|---|
| 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.08382#8JY4 (statement). In GYMGDQS25R/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
BH0NXB96Y9 BH0NXB96Y9
| URI | m2://inv/BH0NXB96Y9 |
|---|---|
| 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.21403#XNSQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
BH0S5FSE5W BH0S5FSE5W
| URI | m2://inv/BH0S5FSE5W |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20656#M1ZR (example)
History
- 2026-11-02: add by m2/v0.6.18
codimension-one constructibility BH0Y3JPCVK
| URI | m2://inv/BH0Y3JPCVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#O9IM, codimension-one constructibility (statement). In PCAS8S14J6/e1, corollary 3.13
History
- 2026-10-31: add by m2/v0.5.6
Bruno Buchberger BH12RQ3RSW
| URI | m2://inv/BH12RQ3RSW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bruno Buchberger, Bruno Buchberger (topic). Also Wikidata Q78978
History
- 2026-11-02: add by m2/dev
Factorization of the design matrix BH1BR3ZH8R
| URI | m2://inv/BH1BR3ZH8R |
|---|---|
| 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.14695#2CBL, Factorization of the design matrix (statement). In T15EJSPCNG/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
BH1CCEAYBX BH1CCEAYBX
| URI | m2://inv/BH1CCEAYBX |
|---|---|
| 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.25985#MDIS (statement)
History
- 2026-11-01: add by m2/v0.6.15
BH1E8MC9KX BH1E8MC9KX
| URI | m2://inv/BH1E8MC9KX |
|---|---|
| Kind | example |
| 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.06488#B535 (example). In XG3BJ2QXXP/e1, example 5.7
History
- 2026-10-29: add by m2/v0.4.10
Asymptotic stability in the large BH1HB9F28Q
| URI | m2://inv/BH1HB9F28Q |
|---|---|
| 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.10949#G3K7, Asymptotic stability in the large (definition). In ANP2XNAH91/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.3
Statement of the theorem BH1WPG9Y54
| URI | m2://inv/BH1WPG9Y54 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cramér's decomposition theorem#SO13, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
The ultrafilter lemma BH21K1RXRD
| URI | m2://inv/BH21K1RXRD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultrafilter on a set#ZWG1, The ultrafilter lemma (statement)
History
- 2026-11-02: add by m2/dev
BH21NG79JX BH21NG79JX
| URI | m2://inv/BH21NG79JX |
|---|---|
| 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 2309.15424#WAH4 (statement). In NXYZ1EAWKN/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Leonid Positselski BH2DATD8FT
| URI | m2://inv/BH2DATD8FT |
|---|---|
| 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 Q20739510, Leonid Positselski (unknown). Also nLab Leonid Positselski
History
- 2026-10-26: add by m2/dev
BH2K517J1N BH2K517J1N
| URI | m2://inv/BH2K517J1N |
|---|---|
| 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.20368#J120 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Kazimierz Bartel BH2MD98FHW
| URI | m2://inv/BH2MD98FHW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kazimierz Bartel, Kazimierz Bartel (topic). Also Wikidata Q622307
History
- 2026-11-02: add by m2/dev
Decidability of $\Lang_0$ BH2QJ6C45D
| URI | m2://inv/BH2QJ6C45D |
|---|---|
| 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.21565#U4K9, Decidability of $\Lang_0$ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples BH2R2YMYN9
| URI | m2://inv/BH2R2YMYN9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bailey pair#5PO5, Examples (example)
History
- 2026-11-02: add by m2/dev
Cocompact group action BH2WVESJFH
| URI | m2://inv/BH2WVESJFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cocompact group action, Cocompact group action (definition). Also Wikidata Q5139805
History
- 2026-11-02: add by m2/dev
Gauss congruence BH2YX3EKZB
| URI | m2://inv/BH2YX3EKZB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#4INH, Gauss congruence (definition)
History
- 2026-11-02: add by m2/dev
Deanna Needell BH2Z3P49SP
| URI | m2://inv/BH2Z3P49SP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deanna Needell, Deanna Needell (topic). Also Wikidata Q29268511
History
- 2026-11-02: add by m2/dev
BH2Z57VGNK BH2Z57VGNK
| URI | m2://inv/BH2Z57VGNK |
|---|---|
| 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.21972#XCYF (statement)
History
- 2026-11-02: add by m2/v0.6.17
Implicit function theorem BH32PDEPQP
| URI | m2://inv/BH32PDEPQP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse function theorem#D2MW, Implicit function theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition BH33G7DAZ5
| URI | m2://inv/BH33G7DAZ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean algebras canonically defined#SS2J, Definition (definition)
History
- 2026-11-02: add by m2/dev
BH3758NFC8 BH3758NFC8
| URI | m2://inv/BH3758NFC8 |
|---|---|
| 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.06886#2UYC (statement). In M7E747AYBP/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Yang Hui BH3AGTNNQZ
| URI | m2://inv/BH3AGTNNQZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#BFI6, Yang Hui (topic)
History
- 2026-11-02: add by m2/dev
BH3G03YAGR BH3G03YAGR
| URI | m2://inv/BH3G03YAGR |
|---|---|
| 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.23685#L4C5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
BH3TRVVKG2 BH3TRVVKG2
| URI | m2://inv/BH3TRVVKG2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#XUBY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Jacobi/Leibniz identity BH3XTDYT1V
| URI | m2://inv/BH3XTDYT1V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > Jacobi/Leibniz identity, Jacobi/Leibniz identity (unknown). Also Mathlib VectorField.leibniz_identity_mlieBracket
History
- 2026-10-26: add by m2/dev
Euclid's lemma BH42QS9V7C
| URI | m2://inv/BH42QS9V7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#SRMH, Euclid's lemma (definition)
History
- 2026-11-02: add by m2/dev
Healthcare in Nauru BH44EKJ2WY
| URI | m2://inv/BH44EKJ2WY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nauru#6FV5, Healthcare in Nauru (unknown)
History
- 2026-11-02: add by m2/dev
BH44TVT78H BH44TVT78H
| URI | m2://inv/BH44TVT78H |
|---|---|
| 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.07064#EDEA (statement). In GPK6W5XQM3/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
Jacobsthal sum BH46JQAXZZ
| URI | m2://inv/BH46JQAXZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobsthal sum, Jacobsthal sum (definition). Also Wikidata Q6119829
History
- 2026-11-02: add by m2/dev
BH48ZMNBD6 BH48ZMNBD6
| URI | m2://inv/BH48ZMNBD6 |
|---|---|
| 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.34876#2PDB (statement). In XXQAW3ZBDF/e1, corollary 1.3
History
- 2026-10-30: add by m2/v0.4.12
Definition BH4S9DK8YD
| URI | m2://inv/BH4S9DK8YD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral radius#K9IF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Lens--sector equivalence BH4V7GBMN3
| URI | m2://inv/BH4V7GBMN3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25027#7WHH, Lens--sector equivalence (statement)
History
- 2026-11-01: add by m2/v0.6.15
BH50GAX05Z BH50GAX05Z
| URI | m2://inv/BH50GAX05Z |
|---|---|
| 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.27518#2KLN (statement)
History
- 2026-11-01: add by m2/v0.6.15
BH52X6PKAR BH52X6PKAR
| URI | m2://inv/BH52X6PKAR |
|---|---|
| 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 2610.20899#CFNK (statement). In BSMDFADA39/e1, corollary B
History
- 2026-10-27: add by m2/v0.4.2
Qin Jiushao BH560SYAJ4
| URI | m2://inv/BH560SYAJ4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#GW9T, Qin Jiushao (topic)
History
- 2026-11-02: add by m2/dev
Applications BH565DS06K
| URI | m2://inv/BH565DS06K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time–frequency analysis#TUU5, Applications (example)
History
- 2026-11-02: add by m2/dev
Beilinson–Lichtenbaum conjecture BH57CNHK21
| URI | m2://inv/BH57CNHK21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norm residue isomorphism theorem#CW9G, Beilinson–Lichtenbaum conjecture (statement)
History
- 2026-11-02: add by m2/dev
Angus Maddison statistics of the ten largest economies by GDP (PPP) BH57HT2P81
| URI | m2://inv/BH57HT2P81 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries by largest historical GDP#N1YR, Angus Maddison statistics of the ten largest economies by GDP (PPP) (unknown)
History
- 2026-11-02: add by m2/dev
Erica Flapan BH58PWQKS9
| URI | m2://inv/BH58PWQKS9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erica Flapan, Erica Flapan (topic). Also Wikidata Q5387879
History
- 2026-11-02: add by m2/dev
BH5XDQ8W1K BH5XDQ8W1K
| URI | m2://inv/BH5XDQ8W1K |
|---|---|
| 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 1709.00677#9L2U (statement). In G83TVA8HYR/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
BH616M2N2F BH616M2N2F
| URI | m2://inv/BH616M2N2F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.15099#SRUP (statement). In PF5JJ9DS8Q/e1, proposition 3.1.1
History
- 2026-10-28: add by m2/v0.4.2
BH67CVS6T5 BH67CVS6T5
| URI | m2://inv/BH67CVS6T5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28514#SYQK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Optimal radix choice BH6YAKKQ6Y
| URI | m2://inv/BH6YAKKQ6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal radix choice, Optimal radix choice (definition). Also Wikidata Q7281405
History
- 2026-11-02: add by m2/dev
BH6YHV1CX8 BH6YHV1CX8
| URI | m2://inv/BH6YHV1CX8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 95.6
History
- 2026-11-01: add by m2/v0.6.13
Book of Lemmas BH6ZN14WQF
| URI | m2://inv/BH6ZN14WQF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Book of Lemmas, Book of Lemmas (statement). Also Wikidata Q997754
History
- 2026-11-02: add by m2/dev
BH745Q8YQ9 BH745Q8YQ9
| URI | m2://inv/BH745Q8YQ9 |
|---|---|
| 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.33866#FUZO (statement). In Y3MSGX6472/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
BH79S6D7DE BH79S6D7DE
| URI | m2://inv/BH79S6D7DE |
|---|---|
| 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 2610.04431#9JV9 (statement). In 3PSAWXCCJ8/e1, theorem 18
History
- 2026-10-29: add by m2/v0.4.12
MDS matrix BH7PZGF5D9
| URI | m2://inv/BH7PZGF5D9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MDS matrix, MDS matrix (definition). Also Wikidata Q6715197
History
- 2026-11-02: add by m2/dev
Principal stretch BH7Q2VPC8C
| URI | m2://inv/BH7Q2VPC8C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite strain theory#C1SK, Principal stretch (unknown)
History
- 2026-11-02: add by m2/dev
R Foundation for Statistical Computing BH7V49X0G3
| URI | m2://inv/BH7V49X0G3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R Foundation for Statistical Computing, R Foundation for Statistical Computing (definition). Also Wikidata Q111430684
History
- 2026-11-02: add by m2/dev
Shiing-Shen Chern BH7ZNRKM2A
| URI | m2://inv/BH7ZNRKM2A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#HXYB, Shiing-Shen Chern (topic)
History
- 2026-11-02: add by m2/dev
BH84BB07MM BH84BB07MM
| URI | m2://inv/BH84BB07MM |
|---|---|
| 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.38396#8TIE (statement). In FGNNVKQR1Z/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Eden's conjecture BH8ABCXG82
| URI | m2://inv/BH8ABCXG82 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eden's conjecture, Eden's conjecture (statement). Also Wikidata Q65075831
History
- 2026-11-02: add by m2/dev
BH8B61FJRG BH8B61FJRG
| URI | m2://inv/BH8B61FJRG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-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.30821#BGDX (example). In 1MZ9XBPTFQ/e1, example 2
History
- 2026-10-31: add by m2/v0.5.6
Hata BH8EBQTM05
| URI | m2://inv/BH8EBQTM05 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 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.21611#GV5Q, Hata (conjecture)
History
- 2026-11-02: add by m2/v0.6.18
BH8GSNGPT5 BH8GSNGPT5
| URI | m2://inv/BH8GSNGPT5 |
|---|---|
| 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 2212.00617#YY0M (statement). In K7505G10SS/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Construction BH8HG4QMRZ
| URI | m2://inv/BH8HG4QMRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emery Molyneux#AY6P, Construction (definition)
History
- 2026-11-02: add by m2/dev
Applications BH8JF490QM
| URI | m2://inv/BH8JF490QM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trapezoid#T2M4, Applications (example)
History
- 2026-11-02: add by m2/dev
Trace invariants BH8VHV9M7W
| URI | m2://inv/BH8VHV9M7W |
|---|---|
| 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 2609.21765#MXXD, Trace invariants (definition)
History
- 2026-11-02: add by m2/v0.6.18
Tommy Bonnesen BH8W7XYTYE
| URI | m2://inv/BH8W7XYTYE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tommy Bonnesen, Tommy Bonnesen (topic). Also Wikidata Q2440936
History
- 2026-11-02: add by m2/dev
Ionescu-Tulcea theorem BH8WK8Q12A
| URI | m2://inv/BH8WK8Q12A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#44AB, Ionescu-Tulcea theorem (statement)
History
- 2026-11-02: add by m2/dev
Modern social statistics of Native Americans BH95A7XZN2
| URI | m2://inv/BH95A7XZN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modern social statistics of Native Americans, Modern social statistics of Native Americans (definition). Also Wikidata Q6889077
History
- 2026-11-02: add by m2/dev
BH9N52A347 BH9N52A347
| URI | m2://inv/BH9N52A347 |
|---|---|
| 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.01328#6P4A (definition). In GNY2MTPWW6/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Jens Marklof BH9QJKA42W
| URI | m2://inv/BH9QJKA42W |
|---|---|
| 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#4NWD, Jens Marklof (topic)
- wikipedia: Wikipedia List of German mathematicians#8O8S, Jens Marklof (topic)
History
- 2026-11-02: add by m2/dev
Oscillation theory BH9QK9BJYV
| URI | m2://inv/BH9QK9BJYV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#5PFU, Oscillation theory (definition)
History
- 2026-11-02: add by m2/dev
Matching exponential rate of the finite converse BH9R52WFZW
| URI | m2://inv/BH9R52WFZW |
|---|---|
| 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.30808#O3K5, Matching exponential rate of the finite converse (statement). In 4JCFPV48VG/e1, corollary 4.8
History
- 2026-10-31: add by m2/v0.5.6
Cole Prize BH9RCV7SKE
| URI | m2://inv/BH9RCV7SKE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q375668, Cole Prize (unknown). Also MathWorld ColePrize
- wikipedia: Wikipedia Cole Prize, Cole Prize (definition). Also Wikidata Q375668
History
- 2026-10-26: add by m2/dev
Asymptotic distribution: Wilks’ theorem BH9VBZKF5Q
| URI | m2://inv/BH9VBZKF5Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Likelihood-ratio test#NK0A, Asymptotic distribution: Wilks’ theorem (statement)
History
- 2026-11-02: add by m2/dev
Peter M. Bentler BHA2383ESE
| URI | m2://inv/BHA2383ESE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter M. Bentler, Peter M. Bentler (topic). Also Wikidata Q17385643
History
- 2026-11-02: add by m2/dev
Whipple BHA54B9J33
| URI | m2://inv/BHA54B9J33 |
|---|---|
| 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.02912#DBZL, Whipple (statement). In 2GP3PK3A0C/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.12
Implementation BHA8BV616K
| URI | m2://inv/BHA8BV616K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional logistic regression#HD7J, Implementation (definition)
History
- 2026-11-02: add by m2/dev
BHACVRHNDR BHACVRHNDR
| URI | m2://inv/BHACVRHNDR |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/proofs/proof-by-contradiction.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 44.11
History
- 2026-11-01: add by m2/v0.6.13
BHAD5NHJTF BHAD5NHJTF
| URI | m2://inv/BHAD5NHJTF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33651#D5M3 (statement). In 69DBD2HKGK/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
semisimple BHAJQSKCV1
| URI | m2://inv/BHAJQSKCV1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#UFES, semisimple (definition)
History
- 2026-11-02: add by m2/dev
Gpg4win BHAPJ6YK68
| URI | m2://inv/BHAPJ6YK68 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gpg4win, Gpg4win (definition). Also Wikidata Q1502224
History
- 2026-11-02: add by m2/dev
Definition BHAQ5Z2ADX
| URI | m2://inv/BHAQ5Z2ADX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local cohomology#MUMI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Saturated model BHAV3V0VK7
| URI | m2://inv/BHAV3V0VK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#TNCM, Saturated model (definition)
History
- 2026-11-02: add by m2/dev
Width limit of the smeared field BHAVR70J2W
| URI | m2://inv/BHAVR70J2W |
|---|---|
| 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.00453#5ZV5, Width limit of the smeared field (statement). In ESPJMBH2R2/e1, lemma 7.5
History
- 2026-10-30: add by m2/v0.4.12
BHAZAGKJ8S BHAZAGKJ8S
| URI | m2://inv/BHAZAGKJ8S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31389#HTMK (statement). In YS0YFQEYE1/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
BHBGWMG8FZ BHBGWMG8FZ
| URI | m2://inv/BHBGWMG8FZ |
|---|---|
| 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.08042#MI46 (statement). In SSEDAYK3CQ/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.10
Maximum principle and its applications BHBNB9H2NZ
| URI | m2://inv/BHBNB9H2NZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louis Nirenberg#LY38, Maximum principle and its applications (statement)
History
- 2026-11-02: add by m2/dev
Wike's law of low odd primes BHBZ32EDVW
| URI | m2://inv/BHBZ32EDVW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ACWP, Wike's law of low odd primes (statement)
History
- 2026-11-02: add by m2/dev
BHC2574VH8 BHC2574VH8
| URI | m2://inv/BHC2574VH8 |
|---|---|
| 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 2509.21444#8T8V (statement). In CTVPA2FQT1/e1, corollary 5.1
History
- 2026-10-27: add by m2/v0.4.0
BHC4S0DB9K BHC4S0DB9K
| URI | m2://inv/BHC4S0DB9K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40028#PUML (definition). In N8TDKGGC7S/e1, definition 2.1
- arxiv: arXiv 2609.40029#HGIV (definition). In 71C8YHM5A1/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Nonprobability sampling BHC5CT9FZA
| URI | m2://inv/BHC5CT9FZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AYIR, Nonprobability sampling (definition)
History
- 2026-11-02: add by m2/dev
BHCAECMA3P BHCAECMA3P
| URI | m2://inv/BHCAECMA3P |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21532#W2F2 (example)
History
- 2026-11-02: add by m2/v0.6.18
Rhode Island Math League BHCCM17JDH
| URI | m2://inv/BHCCM17JDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhode Island Math League, Rhode Island Math League (definition). Also Wikidata Q7320935
History
- 2026-11-02: add by m2/dev
weighted mean BHCK27R5QY
| URI | m2://inv/BHCK27R5QY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q729113, weighted mean (definition). Also MathWorld WeightedMean, ProofWiki Definition:Weighted_Mean
- wikipedia: Wikipedia Weighted arithmetic mean, Weighted arithmetic mean (definition). Also Wikidata Q729113
History
- 2026-10-26: add by m2/dev
BHCSP5T0W8 BHCSP5T0W8
| URI | m2://inv/BHCSP5T0W8 |
|---|---|
| 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#891C (statement). In 5YB65RB13X/e1, proposition 1.1
History
- 2026-10-29: add by m2/v0.4.10
BHDF6MV5MB BHDF6MV5MB
| URI | m2://inv/BHDF6MV5MB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24131#Z4JT (statement)
History
- 2026-11-02: add by m2/v0.6.17
Scientific law BHDFMN83F1
| URI | m2://inv/BHDFMN83F1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific law, Scientific law (statement). Also Wikidata Q408891
History
- 2026-11-02: add by m2/dev
BHDGWB8CGE BHDGWB8CGE
| URI | m2://inv/BHDGWB8CGE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36725#4DBW (statement). In AR26SZ8JGN/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Alexander Shapiro BHDKP3W8QC
| URI | m2://inv/BHDKP3W8QC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Shapiro, Alexander Shapiro (topic). Also Wikidata Q83802152
History
- 2026-11-02: add by m2/dev
Equivalence of three conjectures BHDKZFWQHB
| URI | m2://inv/BHDKZFWQHB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27204#FVGT, Equivalence of three conjectures (statement)
History
- 2026-11-01: add by m2/v0.6.15
module spectrum BHDS9SD2JT
| URI | m2://inv/BHDS9SD2JT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q85786018, module spectrum (unknown). Also nLab module spectrum
- wikipedia: Wikipedia Module spectrum, Module spectrum (definition). Also Wikidata Q85786018
History
- 2026-10-26: add by m2/dev
arrangement graph BHDSW06TH4
| URI | m2://inv/BHDSW06TH4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137187267, arrangement graph (unknown). Also MathWorld ArrangementGraph
History
- 2026-10-26: add by m2/dev
BHE169YMA2 BHE169YMA2
| URI | m2://inv/BHE169YMA2 |
|---|---|
| Kind | example |
| 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.03688#CJ6S (example). In HMWJQY9NAP/e1, example 3
History
- 2026-10-29: add by m2/v0.4.12
BHE8HT69G2 BHE8HT69G2
| URI | m2://inv/BHE8HT69G2 |
|---|---|
| Kind | example |
| 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 2503.22636#I5FU (example). In 2X2A6MT0QD/e1, example 2.12
History
- 2026-10-27: add by m2/v0.3.5
Pessimistic induction BHECYN8V2G
| URI | m2://inv/BHECYN8V2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pessimistic induction, Pessimistic induction (definition). Also Wikidata Q3739234
History
- 2026-11-02: add by m2/dev
Six-Fours-les-Plages BHEG9G4DET
| URI | m2://inv/BHEG9G4DET |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#V8ME, Six-Fours-les-Plages (unknown)
History
- 2026-11-02: add by m2/dev
Diverticulitis BHEHPZAGQD
| URI | m2://inv/BHEHPZAGQD |
|---|---|
| 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#PUR4, Diverticulitis (unknown)
History
- 2026-11-02: add by m2/dev
BHEMGJ6YJ7 BHEMGJ6YJ7
| URI | m2://inv/BHEMGJ6YJ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#thm:contr (statement). In E59CDZA4DP, thm, section 4.6.1
History
- 2026-11-01: add by m2/v0.6.13
BHENT2PKXP BHENT2PKXP
| URI | m2://inv/BHENT2PKXP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24739#LGPV (statement)
History
- 2026-11-01: add by m2/v0.6.15
BHEPTWJR97 BHEPTWJR97
| URI | m2://inv/BHEPTWJR97 |
|---|---|
| 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.02489#OLBQ (statement). In ZCJDWDR16Z/e1, theorem 5.5
History
- 2026-10-29: add by m2/v0.4.12
BHERQMHMDH BHERQMHMDH
| URI | m2://inv/BHERQMHMDH |
|---|---|
| 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.28597#ZHFL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dirichlet's unit theorem BHF3Z4GG12
| URI | m2://inv/BHF3Z4GG12 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic number theory#K0C9, Dirichlet's unit theorem (statement)
History
- 2026-11-02: add by m2/dev
Algorithm \(\SampleTotal\ BHF4THRGYK
| URI | m2://inv/BHF4THRGYK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08664#0GMK, Algorithm \(\SampleTotal\ (definition). In 1YY0P4ZS0T/e1, definition 47
History
- 2026-10-29: add by m2/v0.4.10
Holomorphic maps of controlled degree BHFNSP6VDW
| URI | m2://inv/BHFNSP6VDW |
|---|---|
| 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.32001#2E7D, Holomorphic maps of controlled degree (statement). In 5FZGDECW2R/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
BHFVWXKHYN BHFVWXKHYN
| URI | m2://inv/BHFVWXKHYN |
|---|---|
| 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.36113#3XYD (statement). In FSGSVD0XYH/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Self-dual third-order algebraic equation BHFWEV32BA
| URI | m2://inv/BHFWEV32BA |
|---|---|
| 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.31189#SH80, Self-dual third-order algebraic equation (statement). In 2D061MTT04/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
Sandwich dynamics BHFXFJ4CJN
| URI | m2://inv/BHFXFJ4CJN |
|---|---|
| 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.36098#83R7, Sandwich dynamics (statement). In NRP62VNE58/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
George C. Papanicolaou BHG068VYEK
| URI | m2://inv/BHG068VYEK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PKPK, George C. Papanicolaou (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#U8OM, George C. Papanicolaou (topic)
History
- 2026-11-02: add by m2/dev
Sender Keys BHG1RF0467
| URI | m2://inv/BHG1RF0467 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sender Keys, Sender Keys (definition). Also Wikidata Q135916000
History
- 2026-11-02: add by m2/dev
Extremal Problems For Finite Sets BHG5E7BCM5
| URI | m2://inv/BHG5E7BCM5 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extremal Problems For Finite Sets, Extremal Problems For Finite Sets (problem). Also Wikidata Q97354634
History
- 2026-11-02: add by m2/dev
Determinant solution selected by the PBF BHGBX9ZQFN
| URI | m2://inv/BHGBX9ZQFN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-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.26066#20N7, Determinant solution selected by the PBF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Susanne Teschl BHGFF01DS9
| URI | m2://inv/BHGFF01DS9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susanne Teschl, Susanne Teschl (topic). Also Wikidata Q2369532
History
- 2026-11-02: add by m2/dev
Algorithm BHGGVVM904
| URI | m2://inv/BHGGVVM904 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pollard's rho algorithm#WDC1, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Crypto phone BHGVHBRYC8
| URI | m2://inv/BHGVHBRYC8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#ZOHR, Crypto phone (unknown)
History
- 2026-11-02: add by m2/dev
weighted signed counting BHH48ACXG2
| URI | m2://inv/BHH48ACXG2 |
|---|---|
| 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.28649#7MN8, weighted signed counting (statement)
History
- 2026-11-01: add by m2/v0.6.15
BHHHHF4J3K BHHHHF4J3K
| URI | m2://inv/BHHHHF4J3K |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-8 (proof). In N54F33XE07, proof, section B.2.3
History
- 2026-11-01: add by m2/v0.6.13
BHHHME3GKH BHHHME3GKH
| URI | m2://inv/BHHHME3GKH |
|---|---|
| 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.26401#C6O2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
BHHNHE6ZNT BHHNHE6ZNT
| URI | m2://inv/BHHNHE6ZNT |
|---|---|
| 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.20513#MYBK (statement)
History
- 2026-11-02: add by m2/v0.6.18
BHHNVJYCGE BHHNVJYCGE
| URI | m2://inv/BHHNVJYCGE |
|---|---|
| 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#ZLRO (statement). In CY1FE8W1ZW/e1, lemma 0.244
History
- 2026-10-27: add by m2/v0.4.0
Wolfgang Rindler BHHTQ0KXBK
| URI | m2://inv/BHHTQ0KXBK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#4AIA, Wolfgang Rindler (unknown)
History
- 2026-11-02: add by m2/dev
Principal coordinates in the loading frame BHHY5DSNQA
| URI | m2://inv/BHHY5DSNQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20550#WAWN, Principal coordinates in the loading frame (statement)
History
- 2026-11-02: add by m2/v0.6.18
BHJ0S8TPGD BHJ0S8TPGD
| URI | m2://inv/BHJ0S8TPGD |
|---|---|
| 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.27049#6E62 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Zariski geometry BHJ2V9RYJY
| URI | m2://inv/BHJ2V9RYJY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#ORMK, Zariski geometry (definition)
History
- 2026-11-02: add by m2/dev
BHJ8DM99QM BHJ8DM99QM
| URI | m2://inv/BHJ8DM99QM |
|---|---|
| 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 0907.5545#0O8W (statement). In K3GWCTV5YE/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
BHJAKYZ89C BHJAKYZ89C
| URI | m2://inv/BHJAKYZ89C |
|---|---|
| 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 2602.03909#ZWY5 (statement). In WWFAVFGPQQ/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.0
Tetrahedral-square tiling honeycomb BHJKQV4Y73
| URI | m2://inv/BHJKQV4Y73 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrahedral-square tiling honeycomb, Tetrahedral-square tiling honeycomb (definition). Also Wikidata Q17078546
History
- 2026-11-02: add by m2/dev
Sergei Mikhailovitch Voronin BHJW7H2K02
| URI | m2://inv/BHJW7H2K02 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergei Mikhailovitch Voronin, Sergei Mikhailovitch Voronin (topic). Also Wikidata Q1453353
History
- 2026-11-02: add by m2/dev
BHK1AYFJYJ BHK1AYFJYJ
| URI | m2://inv/BHK1AYFJYJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24001#WO91 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Sylvester cyclotomic number BHK6JYA99T
| URI | m2://inv/BHK6JYA99T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after James Joseph Sylvester#NP20, Sylvester cyclotomic number (unknown)
History
- 2026-11-02: add by m2/dev
Application BHK71RV8XQ
| URI | m2://inv/BHK71RV8XQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knudsen number#HTAV, Application (example)
History
- 2026-11-02: add by m2/dev
Newlander–Niremberg theorem BHK7ZCGHDM
| URI | m2://inv/BHK7ZCGHDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#MKOG, Newlander–Niremberg theorem (definition)
History
- 2026-11-02: add by m2/dev
Incomplete comparison BHKB0YH2QN
| URI | m2://inv/BHKB0YH2QN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#0GNW, Incomplete comparison (definition)
History
- 2026-11-02: add by m2/dev
Stanley, Julian C. Jr. BHKCMR7B60
| URI | m2://inv/BHKCMR7B60 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#P3R4, Stanley, Julian C. Jr. (unknown)
History
- 2026-11-02: add by m2/dev
M. G. Krein BHKF2N8RF4
| URI | m2://inv/BHKF2N8RF4 |
|---|---|
| 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#I261, M. G. Krein (topic)
History
- 2026-11-02: add by m2/dev
BHKG4CDHSG BHKG4CDHSG
| URI | m2://inv/BHKG4CDHSG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06488#C59L (statement). In XG3BJ2QXXP/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.10
Quantitative perimeter consistency BHKG67Q21W
| URI | m2://inv/BHKG67Q21W |
|---|---|
| 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.05064#8OG3, Quantitative perimeter consistency (statement). In 11SW7NAN7M/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
The $1$-form $dz$ BHKQ4B7Y5J
| URI | m2://inv/BHKQ4B7Y5J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/forms.tex#example-1, The $1$-form $dz$ (example). In RZP28ERRZV, example, section 84.2
History
- 2026-11-01: add by m2/v0.6.13
BHKQAKM5AJ BHKQAKM5AJ
| URI | m2://inv/BHKQAKM5AJ |
|---|---|
| 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.20568#99Z6 (statement). In BCD0ATARNZ/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.4.2
Van H. Vu BHKR6X5PYM
| URI | m2://inv/BHKR6X5PYM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van H. Vu, Van H. Vu (topic). Also Wikidata Q1315961
History
- 2026-11-02: add by m2/dev
Examples BHKV65YPWT
| URI | m2://inv/BHKV65YPWT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Description logic#W047, Examples (example)
History
- 2026-11-02: add by m2/dev
BHKYGHETBP BHKYGHETBP
| URI | m2://inv/BHKYGHETBP |
|---|---|
| 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.16941#56DJ (statement). In T96MPYB0KT/e1, theorem 3.9
History
- 2026-10-28: add by m2/v0.4.2
BHKYJAENR3 BHKYJAENR3
| URI | m2://inv/BHKYJAENR3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#proof-19 (proof). In E59CDZA4DP, proof, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
Mirifici logarithmorum canonis descriptio BHM0DY6Q85
| URI | m2://inv/BHM0DY6Q85 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q107644956, Mirifici logarithmorum canonis descriptio (unknown). Also ProofWiki Book:John_Napier/Mirifici_Logarithmorum_Canonis_Descriptio
- wikipedia: Wikipedia Mirifici Logarithmorum Canonis Descriptio, Mirifici Logarithmorum Canonis Descriptio (definition). Also Wikidata Q107644956
History
- 2026-10-26: add by m2/dev
BHM4E8QDXH BHM4E8QDXH
| URI | m2://inv/BHM4E8QDXH |
|---|---|
| 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.18017#3ATL (statement). In EBSQEQYECS/e1, theorem 0.1
History
- 2026-10-28: add by m2/v0.4.2
Whitney theorem BHM5VQJHWE
| URI | m2://inv/BHM5VQJHWE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph isomorphism#WIX5, Whitney theorem (statement)
History
- 2026-11-02: add by m2/dev
BHMAMK10MZ BHMAMK10MZ
| URI | m2://inv/BHMAMK10MZ |
|---|---|
| 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.33829#7W33 (statement). In S34H2JTJHH/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
torsion BHMC7SCVRS
| URI | m2://inv/BHMC7SCVRS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#S3JO, torsion (definition)
History
- 2026-11-02: add by m2/dev
BHMDHWD65T BHMDHWD65T
| URI | m2://inv/BHMDHWD65T |
|---|---|
| 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 2609.28669#JY4P (definition)
History
- 2026-11-01: add by m2/v0.6.15
BHMGCESKWV BHMGCESKWV
| URI | m2://inv/BHMGCESKWV |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
A dedicated packed program for $\pi(n)$ BHMK615SAS
| URI | m2://inv/BHMK615SAS |
|---|---|
| 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.13365#BH2D, A dedicated packed program for $\pi(n)$ (statement). In YMBTSX10FF/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.2
BHMW1MT66Q BHMW1MT66Q
| URI | m2://inv/BHMW1MT66Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 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 2505.04593#BCTV (statement). In PEXJPV3NP8/e1, theorem 4.10
History
- 2026-10-27: add by m2/v0.3.5
BHMZ5JQTPZ BHMZ5JQTPZ
| URI | m2://inv/BHMZ5JQTPZ |
|---|---|
| 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.26398#QJLN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formal definition BHN214Q467
| URI | m2://inv/BHN214Q467 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Counter machine#CFEI, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Cosmological perturbation theory BHN81SJR54
| URI | m2://inv/BHN81SJR54 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmological perturbation theory, Cosmological perturbation theory (topic). Also Wikidata Q3526841
History
- 2026-11-02: add by m2/dev
BHNBX25KG8 BHNBX25KG8
| URI | m2://inv/BHNBX25KG8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08052#BKAS (statement). In 672XAVEQ34/e1, proposition 6.4
History
- 2026-10-29: add by m2/v0.4.10
Testing hypotheses suggested by the data BHNS2SV9Q9
| URI | m2://inv/BHNS2SV9Q9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TVN2, Testing hypotheses suggested by the data (definition)
History
- 2026-11-02: add by m2/dev
Applications BHNT2S7JEV
| URI | m2://inv/BHNT2S7JEV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irreducible fraction#YQ8B, Applications (example)
History
- 2026-11-02: add by m2/dev
BHNYYTZ9HE BHNYYTZ9HE
| URI | m2://inv/BHNYYTZ9HE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#8G8U (definition). In 9DQKY7KGE8/e1, definition 1.6
History
- 2026-10-27: add by m2/v0.3.5
BHP617N7YE BHP617N7YE
| URI | m2://inv/BHP617N7YE |
|---|---|
| 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.31861#TTUB (statement). In G36R6T327W/e1, lemma 7
History
- 2026-10-31: add by m2/v0.5.6
Absoluteness BHP787HF9A
| URI | m2://inv/BHP787HF9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absoluteness (logic), Absoluteness (definition). Also Wikidata Q4669873
History
- 2026-11-02: add by m2/dev
Increments of the cumulative process in permuton coordinates BHPBQNBMEQ
| URI | m2://inv/BHPBQNBMEQ |
|---|---|
| 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.14616#48P1, Increments of the cumulative process in permuton coordinates (statement). In 17ACAG0N9C/e1, corollary 8.11
History
- 2026-10-28: add by m2/v0.4.2
BHPBW2CTQ5 BHPBW2CTQ5
| URI | m2://inv/BHPBW2CTQ5 |
|---|---|
| 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.03674#9IZA (statement). In GAGZ2K7VMC/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.12
BHPBY410W5 BHPBY410W5
| URI | m2://inv/BHPBY410W5 |
|---|---|
| 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.38844#ILU4 (statement). In PX8D91DQCX/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
Picard group BHPJC8WS8R
| URI | m2://inv/BHPJC8WS8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#HBII, Picard group (definition)
History
- 2026-11-02: add by m2/dev
Lawrie Brown BHPKT9BSJ7
| URI | m2://inv/BHPKT9BSJ7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6FJ3, Lawrie Brown (topic)
History
- 2026-11-02: add by m2/dev
BHPQMVYFNT BHPQMVYFNT
| URI | m2://inv/BHPQMVYFNT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-18 (exercise). In E59CDZA4DP, exercise, section 7.2.5
History
- 2026-11-01: add by m2/v0.6.13
Properties BHPW0DJEBT
| URI | m2://inv/BHPW0DJEBT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean function#C698, Properties (statement)
History
- 2026-11-02: add by m2/dev
1 000 000 000 000 000 000 000 000 000 BHQ0NDCJ5Y
| URI | m2://inv/BHQ0NDCJ5Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (numbers)#86KS, 1 000 000 000 000 000 000 000 000 000 (unknown)
History
- 2026-11-02: add by m2/dev
Fixed-point theorems in infinite-dimensional spaces BHQ3XYT3VZ
| URI | m2://inv/BHQ3XYT3VZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#QYK5, Fixed-point theorems in infinite-dimensional spaces (statement)
History
- 2026-11-02: add by m2/dev
Ore BHQ4EQY2MB
| URI | m2://inv/BHQ4EQY2MB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#JBG0, Ore (definition)
History
- 2026-11-02: add by m2/dev
BHQERATBZ2 BHQERATBZ2
| URI | m2://inv/BHQERATBZ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2610.07240#YB74 (statement). In D0F1GK5AHW/e1, lemma B.2
History
- 2026-10-29: add by m2/v0.4.10
Enrico Fermi BHQFRX9JG8
| URI | m2://inv/BHQFRX9JG8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SNMK, Enrico Fermi (unknown)
History
- 2026-11-02: add by m2/dev
Uniform radial kernel summation BHQH2P1AGJ
| URI | m2://inv/BHQH2P1AGJ |
|---|---|
| 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.37704#JO3T, Uniform radial kernel summation (statement). In HGTFJ325A4/e1, lemma 6.8
History
- 2026-10-30: add by m2/v0.4.12
FKT algorithm BHQNMZMN2B
| URI | m2://inv/BHQNMZMN2B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graph theory topics#XFBJ, FKT algorithm (definition)
History
- 2026-11-02: add by m2/dev
Applications BHR22REZ55
| URI | m2://inv/BHR22REZ55 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia White noise analysis#O7E8, Applications (example)
History
- 2026-11-02: add by m2/dev
S-FSPS BHR240JKVF
| URI | m2://inv/BHR240JKVF |
|---|---|
| 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.28306#2ZPH, S-FSPS (definition)
History
- 2026-11-01: add by m2/v0.6.15
Free version of E. Milman's comparison BHR2HP6FHF
| URI | m2://inv/BHR2HP6FHF |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-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.22109#XHGM, Free version of E. Milman's comparison (conjecture). In MZ60NP20BH/e1, conjecture 3
History
- 2026-10-27: add by m2/v0.4.0
Serre–Swan theorem BHR42BVNWG
| URI | m2://inv/BHR42BVNWG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 13-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7455422, Swan's theorem (statement). Also Wikidata Q7455422
- thousand_plus: thousand_plus Q7455422, Swan's theorem (statement). Also Wikidata Q7455422, Wikipedia Swan's theorem
- wikipedia: Wikipedia Serre–Swan theorem, Serre–Swan theorem (statement). Also Wikidata Q7455422
History
- 2026-10-26: add by m2/dev
Bounds for a Maximizing Checkpoint Set BHR70VXSQ3
| URI | m2://inv/BHR70VXSQ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26873#QD99, Bounds for a Maximizing Checkpoint Set (statement)
History
- 2026-11-01: add by m2/v0.6.15
BHRDYC25K2 BHRDYC25K2
| URI | m2://inv/BHRDYC25K2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/induction/inductive-definitions.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 44.1
History
- 2026-11-01: add by m2/v0.6.13
Artin BHRKPFNM4J
| URI | m2://inv/BHRKPFNM4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#9VAV, Artin (definition)
History
- 2026-11-02: add by m2/dev
Artstein's theorem BHRX0ZEXMA
| URI | m2://inv/BHRX0ZEXMA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5FAP, Artstein's theorem (statement)
History
- 2026-11-02: add by m2/dev
palindromic number BHS62FG6KZ
| URI | m2://inv/BHS62FG6KZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q754831, palindromic number (unknown). Also MathWorld PalindromicNumber, OEIS A002113
- wikipedia: Wikipedia Palindromic number, Palindromic number (definition). Also Wikidata Q754831
History
- 2026-10-26: add by m2/dev
BHS7VPX3TZ BHS7VPX3TZ
| URI | m2://inv/BHS7VPX3TZ |
|---|---|
| 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#CK74 (statement). In XJ59TDP4HA/e1, theorem 3.15
History
- 2026-10-28: add by m2/v0.4.2
BHS98T0A33 BHS98T0A33
| URI | m2://inv/BHS98T0A33 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34852#V0V5 (statement). In TZXEMCBK5V/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
Algorithms BHSEW7AQST
| URI | m2://inv/BHSEW7AQST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrange's four-square theorem#EGW4, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Liu Hui's algorithm BHSFCHP3HV
| URI | m2://inv/BHSFCHP3HV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#G72E, Liu Hui's algorithm (definition)
History
- 2026-11-02: add by m2/dev
BHSJ3R258X BHSJ3R258X
| URI | m2://inv/BHSJ3R258X |
|---|---|
| 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.14914#CXS8 (statement). In CHC3T113Y4/e1, proposition 4.12
History
- 2026-10-28: add by m2/v0.4.2
Statement BHSYZSP44Q
| URI | m2://inv/BHSYZSP44Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartier isomorphism#FWUG, Statement (statement)
History
- 2026-11-02: add by m2/dev
BHSZJZ48MA BHSZJZ48MA
| URI | m2://inv/BHSZJZ48MA |
|---|---|
| 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#IE24 (definition). In W4TYN4PGE8/e1, definition 2.19
History
- 2026-10-27: add by m2/v0.3.5
Linda Williams Pickle BHTC9X0MJG
| URI | m2://inv/BHTC9X0MJG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linda Williams Pickle, Linda Williams Pickle (topic). Also Wikidata Q102214071
History
- 2026-11-02: add by m2/dev
singly even number BHTEEM3FKA
| URI | m2://inv/BHTEEM3FKA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q135752622, singly even number (unknown). Also MathWorld SinglyEvenNumber, OEIS A016825
History
- 2026-10-26: add by m2/dev
BHTEMYNPSV BHTEMYNPSV
| URI | m2://inv/BHTEMYNPSV |
|---|---|
| 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.13229#JEVD (statement). In 4WN20N5Z57/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Projective connections and accessory spaces BHTGEA8QEB
| URI | m2://inv/BHTGEA8QEB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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.17116#1JKS, Projective connections and accessory spaces (definition). In A02X6MX28Y/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Poincaré residue BHTSGDC0PR
| URI | m2://inv/BHTSGDC0PR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Henri Poincaré#M8L1, Poincaré residue (definition)
History
- 2026-11-02: add by m2/dev
Craig Gentry BHTSRS79H7
| URI | m2://inv/BHTSRS79H7 |
|---|---|
| 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#EVBJ, Craig Gentry (unknown)
History
- 2026-11-02: add by m2/dev
Formulas BHV10XBC6P
| URI | m2://inv/BHV10XBC6P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean line segment length#ASUI, Formulas (statement)
History
- 2026-11-02: add by m2/dev
BHV2FD7DPD BHV2FD7DPD
| URI | m2://inv/BHV2FD7DPD |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#proof-2 (proof). In RZP28ERRZV, proof, section 66.5
History
- 2026-11-01: add by m2/v0.6.13
Applications BHV8F7NN69
| URI | m2://inv/BHV8F7NN69 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stefan problem#8JSN, Applications (example)
History
- 2026-11-02: add by m2/dev
BHVF5PP3TE BHVF5PP3TE
| URI | m2://inv/BHVF5PP3TE |
|---|---|
| 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 2610.13715#9IQ3 (statement). In FAVGZDVJS9/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
Solving for $g_{(2,1),(2,1)}^{(3,2,1)}$ BHW0F086ZD
| URI | m2://inv/BHW0F086ZD |
|---|---|
| Kind | example |
| 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#AAMS, Solving for $g_{(2,1),(2,1)}^{(3,2,1)}$ (example). In 9S7HGSEX6Q/e1, example 7.8
History
- 2026-10-28: add by m2/v0.4.2
Equilibration of dynamics BHW3FHBH4Z
| URI | m2://inv/BHW3FHBH4Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17815#0ZEF, Equilibration of dynamics (statement). In GJ7N2EWACX/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
BHW5TCH839 BHW5TCH839
| URI | m2://inv/BHW5TCH839 |
|---|---|
| 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 2609.29022#61T1 (definition)
History
- 2026-11-01: add by m2/v0.6.15
BHW86WR7JK BHW86WR7JK
| URI | m2://inv/BHW86WR7JK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11478#JMXO (statement). In R81S9R1XNR/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.3
BHW9RAQV82 BHW9RAQV82
| URI | m2://inv/BHW9RAQV82 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-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 2405.14678#N46S (example). In 9ZSNSJRJ5N/e1, example 49
History
- 2026-10-27: add by m2/v0.4.2
Socrates BHWC3F1JGA
| URI | m2://inv/BHWC3F1JGA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#ZFLJ, Socrates (unknown)
History
- 2026-11-02: add by m2/dev
BHWE3YZ427 BHWE3YZ427
| URI | m2://inv/BHWE3YZ427 |
|---|---|
| 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.14741#23R2 (statement). In RK1VPWWX9E/e1, lemma 4.11
History
- 2026-10-28: add by m2/v0.4.2
Weak solution BHWF0B9ZCX
| URI | m2://inv/BHWF0B9ZCX |
|---|---|
| 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 2610.08434#UKZB, Weak solution (definition). In VN8087G2FC/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Morse-causal admissibility of the Lorentzian region BHWJRZR1K5
| URI | m2://inv/BHWJRZR1K5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27136#D7K4, Morse-causal admissibility of the Lorentzian region (statement)
History
- 2026-11-01: add by m2/v0.6.15
Just-world fallacy BHWMPCFERP
| URI | m2://inv/BHWMPCFERP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#6UBT, Just-world fallacy (definition)
History
- 2026-11-02: add by m2/dev
BHX1MMQ2JA BHX1MMQ2JA
| URI | m2://inv/BHX1MMQ2JA |
|---|---|
| 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.25104#N92Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties BHX1Z7QENF
| URI | m2://inv/BHX1Z7QENF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Support vector machine#ZIZ3, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples BHX3HEBDCF
| URI | m2://inv/BHX3HEBDCF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parametric surface#6BA6, Examples (example)
History
- 2026-11-02: add by m2/dev
Euler--Maruyama error for one layer BHX3MG21C5
| URI | m2://inv/BHX3MG21C5 |
|---|---|
| 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.34831#GKV5, Euler--Maruyama error for one layer (statement). In YF36GM7X5Y/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Blue sky catastrophe BHX6QWSSRG
| URI | m2://inv/BHX6QWSSRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blue sky catastrophe, Blue sky catastrophe (definition). Also Wikidata Q4217237
History
- 2026-11-02: add by m2/dev
BHX81GK9JF BHX81GK9JF
| URI | m2://inv/BHX81GK9JF |
|---|---|
| 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.09201#HSMF (statement). In JQFPH09JG8/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
Shepp, Lawrence BHX93T25EG
| URI | m2://inv/BHX93T25EG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#G1MS, Shepp, Lawrence (unknown)
History
- 2026-11-02: add by m2/dev
Hexagram BHXA3GQ6QT
| URI | m2://inv/BHXA3GQ6QT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#00L8, Hexagram (definition)
History
- 2026-11-02: add by m2/dev
Inequality statement BHXDV1N0CP
| URI | m2://inv/BHXDV1N0CP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial sum variance inequality#7EZQ, Inequality statement (statement)
History
- 2026-11-02: add by m2/dev
BHXHFYAQTH BHXHFYAQTH
| URI | m2://inv/BHXHFYAQTH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-1-5-3.xml#act-1-5-3 (exercise). In 907G4C4EJ1, activity, section 1.5.3
History
- 2026-11-01: add by m2/v0.6.13
Examples BHXN0KJP4K
| URI | m2://inv/BHXN0KJP4K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy principal value#KRXP, Examples (example)
History
- 2026-11-02: add by m2/dev
Fuzzy associative matrix BHXVXX8TTC
| URI | m2://inv/BHXVXX8TTC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#6PJU, Fuzzy associative matrix (definition)
History
- 2026-11-02: add by m2/dev
BHXXRZPQVP BHXXRZPQVP
| URI | m2://inv/BHXXRZPQVP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/infinite/card-sb.tex#Closureprops (statement). In PKGMM3P5QY, lem, section 79.5
History
- 2026-11-01: add by m2/v0.6.13
Tame constraint on finite monodromy BHY5C10S6S
| URI | m2://inv/BHY5C10S6S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.04099#BLHA, Tame constraint on finite monodromy (statement). In QPJ6FWG5HD/e1, proposition 2.49
History
- 2026-10-29: add by m2/v0.4.12
BHYDYVN7MW BHYDYVN7MW
| URI | m2://inv/BHYDYVN7MW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2508.21045#I1RK (statement). In CGA36VE1C5/e1, corollary 1.0.1
History
- 2026-10-27: add by m2/v0.3.6
BHYE06W7WF BHYE06W7WF
| URI | m2://inv/BHYE06W7WF |
|---|---|
| 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.03661#N3R7 (statement). In ESDKTYDHC8/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.12
Properties BHYF5J2EGY
| URI | m2://inv/BHYF5J2EGY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unique factorization domain#BUBU, Properties (statement)
History
- 2026-11-02: add by m2/dev
Cole--Hopf recursion BHYFTWH4MC
| URI | m2://inv/BHYFTWH4MC |
|---|---|
| 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.18350#DIFB, Cole--Hopf recursion (statement). In A20E8FZS21/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
BHYTQY6E3N BHYTQY6E3N
| URI | m2://inv/BHYTQY6E3N |
|---|---|
| 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.16235#2MYZ (statement). In RNGNWGMX85/e1, fact 3.4
History
- 2026-10-28: add by m2/v0.4.2
Hardy--Littlewood--Chowla BHZ7W4HJRG
| URI | m2://inv/BHZ7W4HJRG |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20242#17MV, Hardy--Littlewood--Chowla (conjecture). In TAX627CRH2/e1, conjecture 1.1
History
- 2026-10-27: add by m2/v0.4.2
Properties BHZHX32ZWF
| URI | m2://inv/BHZHX32ZWF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-frame#WYQG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Stability of the Gibbs sampler BHZJGY48KJ
| URI | m2://inv/BHZJGY48KJ |
|---|---|
| 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.36016#Z73H, Stability of the Gibbs sampler (statement). In NAM9ZMPHZ9/e1, corollary B.10
History
- 2026-10-30: add by m2/v0.4.12
BHZPETC2BY BHZPETC2BY
| URI | m2://inv/BHZPETC2BY |
|---|---|
| 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 2610.01946#MMN0 (definition). In NB1Z31FMXN/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Subfield of an algebra BHZRKH8G7W
| URI | m2://inv/BHZRKH8G7W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subfield of an algebra, Subfield of an algebra (definition). Also Wikidata Q55643396
History
- 2026-11-02: add by m2/dev