Inventory rows HB
The cards of the rows of the inventory whose ids start with HB. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Sasakian manifold HB02CB761Q
| URI | m2://inv/HB02CB761Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#WPWY, Sasakian manifold (definition)
- wikipedia: Wikipedia List of manifolds#NA3Q, Sasakian manifold (definition)
History
- 2026-11-02: add by m2/dev
Atom HB02VFHNWS
| URI | m2://inv/HB02VFHNWS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atom (measure theory), Atom (definition). Also Wikidata Q681650
History
- 2026-11-02: add by m2/dev
HB03JC6Q99 HB03JC6Q99
| URI | m2://inv/HB03JC6Q99 |
|---|---|
| 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 1008.4946#HNVP (statement). In R4ZM6Q4SHH/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
Well-Posedness and $L^2$-Stability HB04CT9ZJ6
| URI | m2://inv/HB04CT9ZJ6 |
|---|---|
| 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.18419#4GAA, Well-Posedness and $L^2$-Stability (statement). In 7Q26JWKD7E/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
Null HB07GNFFNX
| URI | m2://inv/HB07GNFFNX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Null (mathematics), Null (definition). Also Wikidata Q16999388
History
- 2026-11-02: add by m2/dev
Properties HB09MB9N38
| URI | m2://inv/HB09MB9N38 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frege system#XF0G, Properties (statement)
History
- 2026-11-02: add by m2/dev
HB0D6V16Q7 HB0D6V16Q7
| URI | m2://inv/HB0D6V16Q7 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#KA9B (unknown). In QNBFHFZ3H0/e1, unknown 47
History
- 2026-10-28: add by m2/v0.4.2
Gerhard Huisken HB0EWWMC98
| URI | m2://inv/HB0EWWMC98 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gerhard Huisken, Gerhard Huisken (topic). Also Wikidata Q13522555
History
- 2026-11-02: add by m2/dev
HB0KSCFMN3 HB0KSCFMN3
| URI | m2://inv/HB0KSCFMN3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2605.16669#OMGZ (statement). In 1463YCCRP5/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.4.0
outer billiard HB0QDSWF00
| URI | m2://inv/HB0QDSWF00 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#ACIW, outer billiard (unknown)
History
- 2026-11-02: add by m2/dev
Chloroform HB0Y71AAXC
| URI | m2://inv/HB0Y71AAXC |
|---|---|
| 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#RG4F, Chloroform (unknown)
History
- 2026-11-02: add by m2/dev
HB10RZCFQA HB10RZCFQA
| URI | m2://inv/HB10RZCFQA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#W1XN (definition). In Q5Z178SAHP/e1, definition 3.7
History
- 2026-10-30: add by m2/v0.4.12
Separation of sample complexity HB1AZ9MRW4
| URI | m2://inv/HB1AZ9MRW4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40271#DU06, Separation of sample complexity (statement). In 9MXMRKFKDW/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
first Chang graph HB1B82C56A
| URI | m2://inv/HB1B82C56A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3401710, first Chang graph (unknown). Also House of Graphs 6624
History
- 2026-10-26: add by m2/dev
HB1J1YX16P HB1J1YX16P
| URI | m2://inv/HB1J1YX16P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.03461#5YK8 (statement). In XJVZSGCX5V/e1, proposition 8
History
- 2026-10-27: add by m2/v0.3.5
HB1NJTMZN9 HB1NJTMZN9
| URI | m2://inv/HB1NJTMZN9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-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 2609.29683#478D (statement)
History
- 2026-11-01: add by m2/v0.6.15
Károly Bezdek HB1RXX11MM
| URI | m2://inv/HB1RXX11MM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GEJT, Károly Bezdek (topic)
History
- 2026-11-02: add by m2/dev
Emily E. Witt HB1SM7CM8B
| URI | m2://inv/HB1SM7CM8B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emily E. Witt, Emily E. Witt (topic). Also Wikidata Q102378536
History
- 2026-11-02: add by m2/dev
HB1SYH1XRS HB1SYH1XRS
| URI | m2://inv/HB1SYH1XRS |
|---|---|
| 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 0810.0962#RDP1 (statement). In 80YMRN5KS9/e1, corollary 19
History
- 2026-10-27: add by m2/v0.3.5
HB1TTJBXB6 HB1TTJBXB6
| URI | m2://inv/HB1TTJBXB6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#example-6 (example). In E59CDZA4DP, example, section 9.2.2
History
- 2026-11-01: add by m2/v0.6.13
Ambiguous case HB24XRGFXC
| URI | m2://inv/HB24XRGFXC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of sines#RRYD, Ambiguous case (unknown)
History
- 2026-11-02: add by m2/dev
HB257T7P4N HB257T7P4N
| URI | m2://inv/HB257T7P4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cohomology.tex#definition-5 (definition). In RZP28ERRZV, definition, section 51.8
History
- 2026-11-01: add by m2/v0.6.13
HB2ABZH27W HB2ABZH27W
| URI | m2://inv/HB2ABZH27W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.06152#IL0T (statement). In HH35K7S17H/e1, proposition 3.10
History
- 2026-10-29: add by m2/v0.4.10
Algorithms HB2B9QZ0NG
| URI | m2://inv/HB2B9QZ0NG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer programming#IY5U, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Critical flow HB2HXP0W48
| URI | m2://inv/HB2HXP0W48 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Froude number#S5Z0, Critical flow (unknown)
History
- 2026-11-02: add by m2/dev
György Elekes HB2JX7QZJ7
| URI | m2://inv/HB2JX7QZJ7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#D07H, György Elekes (topic)
History
- 2026-11-02: add by m2/dev
Sturm's theorem HB2PWTJXJY
| URI | m2://inv/HB2PWTJXJY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#GI9E, Sturm's theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications HB2QVEKSHF
| URI | m2://inv/HB2QVEKSHF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigidity (K-theory)#TUSL, Applications (example)
History
- 2026-11-02: add by m2/dev
Cameron Gordon HB2S6GA3F4
| URI | m2://inv/HB2S6GA3F4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#P1LW, Cameron Gordon (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FZTK, Cameron Gordon (topic)
History
- 2026-11-02: add by m2/dev
Extensions HB2VXWJ4FN
| URI | m2://inv/HB2VXWJ4FN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plate notation#BFFH, Extensions (statement)
History
- 2026-11-02: add by m2/dev
HB2WE0EPKX HB2WE0EPKX
| URI | m2://inv/HB2WE0EPKX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03520#EGHB (statement). In CSRZ9CWK69/e1, proposition 9.3
History
- 2026-10-29: add by m2/v0.4.12
HB2X4QSTWC HB2X4QSTWC
| URI | m2://inv/HB2X4QSTWC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#Y2GI (statement). In 43TBS9P2PX/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Eleonor Harboure HB2ZV8H3SQ
| URI | m2://inv/HB2ZV8H3SQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eleonor Harboure, Eleonor Harboure (topic). Also Wikidata Q102244024
History
- 2026-11-02: add by m2/dev
A compactly supported $C^\infty$ activation breaks the weak criterion HB31554ZKE
| URI | m2://inv/HB31554ZKE |
|---|---|
| Kind | example |
| 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.04357#NCMH, A compactly supported $C^\infty$ activation breaks the weak criterion (example). In 6FY8BVP1F3/e1, example E.4
History
- 2026-10-29: add by m2/v0.4.12
Clément Mouhot HB34Q68C0Q
| URI | m2://inv/HB34Q68C0Q |
|---|---|
| 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#TZQC, Clément Mouhot (unknown)
History
- 2026-11-02: add by m2/dev
Statement HB36CMR4MW
| URI | m2://inv/HB36CMR4MW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel's completeness theorem#KQBY, Statement (statement)
History
- 2026-11-02: add by m2/dev
HB36FV262Z HB36FV262Z
| URI | m2://inv/HB36FV262Z |
|---|---|
| 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.24878#FWOY (statement)
History
- 2026-11-01: add by m2/v0.6.15
HB3A02MVNH HB3A02MVNH
| URI | m2://inv/HB3A02MVNH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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 math/9902147#E59T (statement). In 7CK21JGM5A/e1, lemma 5.9
History
- 2026-10-27: add by m2/v0.4.2
HB3B9G4M03 HB3B9G4M03
| URI | m2://inv/HB3B9G4M03 |
|---|---|
| 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.30018#4DMC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties HB3FGH1WM4
| URI | m2://inv/HB3FGH1WM4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub disphenoid#OJ4E, Properties (statement)
History
- 2026-11-02: add by m2/dev
HB3G56B8YH HB3G56B8YH
| URI | m2://inv/HB3G56B8YH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25801#WCGP (example)
History
- 2026-11-01: add by m2/v0.6.15
Oleg Marichev HB3H5Y0Z4C
| URI | m2://inv/HB3H5Y0Z4C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oleg Marichev, Oleg Marichev (topic). Also Wikidata Q1796816
History
- 2026-11-02: add by m2/dev
HB3Q4T6KDT HB3Q4T6KDT
| URI | m2://inv/HB3Q4T6KDT |
|---|---|
| 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 2604.23212#MF2I (statement). In 4X12V9RS0D/e1, lemma H.2
History
- 2026-10-27: add by m2/v0.3.5
HB3VXSE2Y2 HB3VXSE2Y2
| URI | m2://inv/HB3VXSE2Y2 |
|---|---|
| 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.10029#4BPY (statement). In K7EAM152B0/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Transfer to weak properness HB41WFEDS5
| URI | m2://inv/HB41WFEDS5 |
|---|---|
| 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.18907#7OWQ, Transfer to weak properness (statement). In 4SSZ4PF2P2/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
HB470M882K HB470M882K
| URI | m2://inv/HB470M882K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.00806#OBBD (statement). In SBN06J39DG/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Hirsch conjecture HB4B2XXN0E
| URI | m2://inv/HB4B2XXN0E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures#A63V, Hirsch conjecture (statement)
History
- 2026-11-02: add by m2/dev
HB4HFV53VW HB4HFV53VW
| URI | m2://inv/HB4HFV53VW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#L8MB (definition). In WD2NCBV9F0/e1, definition 10.14
History
- 2026-10-27: add by m2/v0.3.5
HB4MP4RH11 HB4MP4RH11
| URI | m2://inv/HB4MP4RH11 |
|---|---|
| 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.02993#Z41U (statement). In TJH58FRGEN/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
HB4MQYEDX5 HB4MQYEDX5
| URI | m2://inv/HB4MQYEDX5 |
|---|---|
| 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.19311#4L8K (statement). In 3MFD6RSV41/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
American Mathematics Contest HB4YC6N6JR
| URI | m2://inv/HB4YC6N6JR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#O3V3, American Mathematics Contest (definition)
History
- 2026-11-02: add by m2/dev
HB4Z0VGNR9 HB4Z0VGNR9
| URI | m2://inv/HB4Z0VGNR9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.01742#MOTL (example). In GYH7R98PPA/e1, example 2.3
History
- 2026-10-27: add by m2/v0.3.5
HB52Z8SX63 HB52Z8SX63
| URI | m2://inv/HB52Z8SX63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/proj-var.tex#definition-10 (definition). In RZP28ERRZV, definition, section 23.4
History
- 2026-11-01: add by m2/v0.6.13
LSH HB5844W2W0
| URI | m2://inv/HB5844W2W0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LSH (hash function), LSH (definition). Also Wikidata Q96416976
History
- 2026-11-02: add by m2/dev
Ehrenfried Walther von Tschirnhaus HB5P7NFBZ7
| URI | m2://inv/HB5P7NFBZ7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#KCMI, Ehrenfried Walther von Tschirnhaus (topic)
History
- 2026-11-02: add by m2/dev
odd-order theorem HB5VJ38DEC
| URI | m2://inv/HB5VJ38DEC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u5/odd-order-theorem, odd-order theorem (concept). In N54F33XE07, index, section u1.u5
History
- 2026-11-01: add by m2/v0.6.13
HB6E933X9E HB6E933X9E
| URI | m2://inv/HB6E933X9E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12736#D9LI (statement). In 5350Q52F6P/e1, corollary 2.1
History
- 2026-10-28: add by m2/v0.4.2
Al-Kindi HB6FQ0E6NV
| URI | m2://inv/HB6FQ0E6NV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q179759, Al-Kindi (unknown). Also ProofWiki Mathematician:Al-Kindi
- wikipedia: Wikipedia Al-Kindi, Al-Kindi (topic). Also Wikidata Q179759
History
- 2026-10-26: add by m2/dev
Algorithms HB6G1C0NS0
| URI | m2://inv/HB6G1C0NS0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bipolar orientation#HLOV, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Core subspace orthogonal to the cusp attachments HB6HANM7YZ
| URI | m2://inv/HB6HANM7YZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25925#1QQ0, Core subspace orthogonal to the cusp attachments (definition)
History
- 2026-11-01: add by m2/v0.6.15
HB7095CWDZ HB7095CWDZ
| URI | m2://inv/HB7095CWDZ |
|---|---|
| Kind | problem |
| 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.28010#YQTC (problem)
History
- 2026-11-01: add by m2/v0.6.15
Secant variety HB710XN867
| URI | m2://inv/HB710XN867 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secant variety, Secant variety (definition). Also Wikidata Q7442863
History
- 2026-11-02: add by m2/dev
HB71EVNR7V HB71EVNR7V
| URI | m2://inv/HB71EVNR7V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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.37520#PDYY (statement). In BDN507RN7J/e1, proposition 2.2.7
History
- 2026-10-30: add by m2/v0.4.12
restate=lemCideals, label=lem:c-ideals HB73NNHZC7
| URI | m2://inv/HB73NNHZC7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07927#ET9E, restate=lemCideals, label=lem:c-ideals (statement). In GKM19DHQTM/e1, lemma 6.15
History
- 2026-10-29: add by m2/v0.4.10
Open Problems HB75JPH85F
| URI | m2://inv/HB75JPH85F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph coloring game#Q204, Open Problems (statement)
History
- 2026-11-02: add by m2/dev
HB76W1B6NX HB76W1B6NX
| URI | m2://inv/HB76W1B6NX |
|---|---|
| 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 2012.05048#AXD2 (statement). In NY9HW1E6DY/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
HB7KZGTBZ3 HB7KZGTBZ3
| URI | m2://inv/HB7KZGTBZ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#5NSV (statement). In G02N9D40B9/e1, theorem D
History
- 2026-10-29: add by m2/v0.4.10
HB7MDQAYHA HB7MDQAYHA
| URI | m2://inv/HB7MDQAYHA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1912.02769#7UUZ (statement). In JH7VQ2EC16/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
subobject HB7PPDQ3Y5
| URI | m2://inv/HB7PPDQ3Y5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#PN30, subobject (definition)
History
- 2026-11-02: add by m2/dev
Transport of the marked tetrahedra HB7QT329BJ
| URI | m2://inv/HB7QT329BJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.11652#O52E, Transport of the marked tetrahedra (statement). In VEXM27M8Q1/e1, lemma 4.14
History
- 2026-10-28: add by m2/v0.4.3
Finite-sample stability of SOE thresholding HB7S79KYAV
| URI | m2://inv/HB7S79KYAV |
|---|---|
| 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.31470#TGMZ, Finite-sample stability of SOE thresholding (statement). In 4RS2WKVB7F/e1, theorem 3.4
History
- 2026-10-31: add by m2/v0.5.6
Variance formula HB8DR121SB
| URI | m2://inv/HB8DR121SB |
|---|---|
| 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.25301#UJI8, Variance formula (statement)
History
- 2026-11-01: add by m2/v0.6.15
HB8FQEF575 HB8FQEF575
| URI | m2://inv/HB8FQEF575 |
|---|---|
| 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 2112.14455#8TJ8 (statement). In VDE5R8HBS1/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
HB8GCWE46J HB8GCWE46J
| URI | m2://inv/HB8GCWE46J |
|---|---|
| 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.03272#WGM0 (statement). In H9ZC46G7BX/e1, proposition 4.8
History
- 2026-10-29: add by m2/v0.4.12
Examples HB8MDWV5D2
| URI | m2://inv/HB8MDWV5D2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius group#GKXC, Examples (example)
History
- 2026-11-02: add by m2/dev
Muller–Schupp theorem HB8N6Y1JFH
| URI | m2://inv/HB8N6Y1JFH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Muller–Schupp theorem, Muller–Schupp theorem (statement). Also Wikidata Q43069350
History
- 2026-11-02: add by m2/dev
Vacuous truth HB8S26A4XC
| URI | m2://inv/HB8S26A4XC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vacuous truth, Vacuous truth (definition). Also Wikidata Q1096079
History
- 2026-11-02: add by m2/dev
HB8T9D04Z6 HB8T9D04Z6
| URI | m2://inv/HB8T9D04Z6 |
|---|---|
| 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#EBK3 (statement). In PF5JJ9DS8Q/e1, proposition 5.5.1
History
- 2026-10-28: add by m2/v0.4.2
Interval estimation HB8XDWNCT3
| URI | m2://inv/HB8XDWNCT3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval estimation, Interval estimation (definition). Also Wikidata Q3300636
History
- 2026-11-02: add by m2/dev
Climograph HB952VDH65
| URI | m2://inv/HB952VDH65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0EO7, Climograph (definition)
History
- 2026-11-02: add by m2/dev
Strength of a graph HB99AEPR9Y
| URI | m2://inv/HB99AEPR9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strength of a graph, Strength of a graph (definition). Also Wikidata Q7623247
History
- 2026-11-02: add by m2/dev
Rehuel Lobatto HB9K3YYH2Q
| URI | m2://inv/HB9K3YYH2Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rehuel Lobatto, Rehuel Lobatto (topic). Also Wikidata Q7309857
History
- 2026-11-02: add by m2/dev
associative algebra HB9KFXJNQ9
| URI | m2://inv/HB9KFXJNQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 16-XX |
| Sources | 2 |
| Outcome | open |
| Node | Associative algebra 3CTW1P4HBP |
Mentions
- wikidata: Wikidata Q744960, associative algebra (topic)
- wikipedia: Wikipedia Associative algebra, Associative algebra (definition). Also Wikidata Q744960
History
- 2026-10-26: add by m2/dev
HB9NDP6S78 HB9NDP6S78
| URI | m2://inv/HB9NDP6S78 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.14956#L6GS (statement). In T8BQ6HHZYT/e1, proposition 5.8
History
- 2026-10-27: add by m2/v0.3.5
British Armed Forces HB9PH8B6D9
| URI | m2://inv/HB9PH8B6D9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#JB8S, British Armed Forces (unknown)
History
- 2026-11-02: add by m2/dev
Theory HB9PRA38F3
| URI | m2://inv/HB9PRA38F3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theory (mathematical logic), Theory (definition). Also Wikidata Q10859910
History
- 2026-11-02: add by m2/dev
Variants HB9S6YEVH3
| URI | m2://inv/HB9S6YEVH3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proportional division#TH0V, Variants (statement)
History
- 2026-11-02: add by m2/dev
Crenel function HBA2A8NWHP
| URI | m2://inv/HBA2A8NWHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crenel function, Crenel function (definition). Also Wikidata Q17006013
History
- 2026-11-02: add by m2/dev
Icosienneagon HBA2JABHXB
| URI | m2://inv/HBA2JABHXB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#2AH3, Icosienneagon (topic)
History
- 2026-11-02: add by m2/dev
HBA6Y4KT5C HBA6Y4KT5C
| URI | m2://inv/HBA6Y4KT5C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22082#BL1Q (statement). In 7PACGDW3N7/e1, proposition 14.4
History
- 2026-10-27: add by m2/v0.4.0
HBA7AG95YZ HBA7AG95YZ
| URI | m2://inv/HBA7AG95YZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#H5GU (statement). In 3A4K47Y9F2/e1, lemma 6.17
History
- 2026-10-27: add by m2/v0.4.0
Gyration HBA7MDB5RN
| URI | m2://inv/HBA7MDB5RN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gyration, Gyration (definition). Also Wikidata Q5625393
History
- 2026-11-02: add by m2/dev
HBA8N9MCQY HBA8N9MCQY
| URI | m2://inv/HBA8N9MCQY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/forms.tex#definition-6 (definition). In RZP28ERRZV, definition, section 43.7
History
- 2026-11-01: add by m2/v0.6.13
Examples HBAHB2WFWM
| URI | m2://inv/HBAHB2WFWM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal scheme#0WS2, Examples (example)
History
- 2026-11-02: add by m2/dev
Lévy distribution HBAK20QEWH
| URI | m2://inv/HBAK20QEWH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#IMDZ, Lévy distribution (definition)
History
- 2026-11-02: add by m2/dev
M. C. Frank Chang HBAMWBHJCS
| URI | m2://inv/HBAMWBHJCS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#GSHP, M. C. Frank Chang (unknown)
History
- 2026-11-02: add by m2/dev
HBAW1KKSEH HBAW1KKSEH
| URI | m2://inv/HBAW1KKSEH |
|---|---|
| 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 2401.15490#3SPR (statement). In AAY60GVERS/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
Examples HBB221RK2D
| URI | m2://inv/HBB221RK2D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Handle decompositions of 3-manifolds#DF80, Examples (example)
History
- 2026-11-02: add by m2/dev
HBB93CJBYM HBB93CJBYM
| URI | m2://inv/HBB93CJBYM |
|---|---|
| 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.32104#3W24 (statement). In YRJSYFXNM8/e1, theorem 3.2
History
- 2026-10-31: add by m2/v0.5.6
HBBC026EHH HBBC026EHH
| URI | m2://inv/HBBC026EHH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21929#P0MT (statement). In 2PP4XRVS0J/e1, corollary 9.5
History
- 2026-10-27: add by m2/v0.4.2
Sztrem, Edward Szturm de HBBH6W45DW
| URI | m2://inv/HBBH6W45DW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#C6Q0, Sztrem, Edward Szturm de (unknown)
History
- 2026-11-02: add by m2/dev
Nassif Ghoussoub HBBMDPQTHC
| URI | m2://inv/HBBMDPQTHC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nassif Ghoussoub, Nassif Ghoussoub (topic). Also Wikidata Q6967658
History
- 2026-11-02: add by m2/dev
Linking number HBBW5413BQ
| URI | m2://inv/HBBW5413BQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#V0IE, Linking number (definition)
History
- 2026-11-02: add by m2/dev
Characterizations of the exponential function HBC2EK5B4C
| URI | m2://inv/HBC2EK5B4C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characterizations of the exponential function, Characterizations of the exponential function (definition). Also Wikidata Q5073783
History
- 2026-11-02: add by m2/dev
Formula HBC4Q374N7
| URI | m2://inv/HBC4Q374N7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanton number#V4SK, Formula (statement)
History
- 2026-11-02: add by m2/dev
Example HBCDV2Z97Y
| URI | m2://inv/HBCDV2Z97Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lee distance#4NYA, Example (example)
History
- 2026-11-02: add by m2/dev
HBCFD52B9B HBCFD52B9B
| URI | m2://inv/HBCFD52B9B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#definition-2 (definition). In P1C114YBXG, definition, section C
History
- 2026-11-01: add by m2/v0.6.13
Alexander Lubotzky HBCRRWM0PZ
| URI | m2://inv/HBCRRWM0PZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Lubotzky, Alexander Lubotzky (topic). Also Wikidata Q132095
History
- 2026-11-02: add by m2/dev
linklessly embeddable graph HBCTNEGS37
| URI | m2://inv/HBCTNEGS37 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130456813, linklessly embeddable graph (unknown). Also MathWorld LinklesslyEmbeddableGraph
History
- 2026-10-26: add by m2/dev
Gamma-limit for a fixed finite sectorial junction HBCV22C2RE
| URI | m2://inv/HBCV22C2RE |
|---|---|
| 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.20215#KY27, Gamma-limit for a fixed finite sectorial junction (statement)
History
- 2026-11-02: add by m2/v0.6.18
Instant Insanity HBCYAQAFFG
| URI | m2://inv/HBCYAQAFFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Instant Insanity, Instant Insanity (definition). Also Wikidata Q19862728
History
- 2026-11-02: add by m2/dev
HBCYTMCT8H HBCYTMCT8H
| URI | m2://inv/HBCYTMCT8H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-57 (exercise). In E59CDZA4DP, exercise, section 4.5.6
History
- 2026-11-01: add by m2/v0.6.13
Tangent vector and gradient in the flat direction HBD3C1X5FY
| URI | m2://inv/HBD3C1X5FY |
|---|---|
| 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.30957#KEAZ, Tangent vector and gradient in the flat direction (statement). In P5YB6R0RK3/e1, lemma D.9
History
- 2026-10-31: add by m2/v0.5.6
Riemannian Descent Lemma HBDDMASX9P
| URI | m2://inv/HBDDMASX9P |
|---|---|
| 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.32997#B24B, Riemannian Descent Lemma (statement). In N380GY9A9N/e1, lemma 2.6
History
- 2026-10-31: add by m2/v0.5.6
Engset calculation HBDGJQVNMQ
| URI | m2://inv/HBDGJQVNMQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#A5JO, Engset calculation (statement)
History
- 2026-11-02: add by m2/dev
HBDMCB6D5Y HBDMCB6D5Y
| URI | m2://inv/HBDMCB6D5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#JJID (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
Vitale Giordano HBDPXYYBHY
| URI | m2://inv/HBDPXYYBHY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#2UI1, Vitale Giordano (unknown)
- wikipedia: Wikipedia List of Italian mathematicians#ELZ7, Vitale Giordano (unknown)
History
- 2026-11-02: add by m2/dev
HBDRN09E85 HBDRN09E85
| URI | m2://inv/HBDRN09E85 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/examples.tex#prop-6 (statement). In PKGMM3P5QY, prop, section 3.20
History
- 2026-11-01: add by m2/v0.6.13
HBDZDPMAS3 HBDZDPMAS3
| URI | m2://inv/HBDZDPMAS3 |
|---|---|
| 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.03011#BIQV (statement). In VE8FB6K8EN/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.12
Generalizations HBE01SHMTF
| URI | m2://inv/HBE01SHMTF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AdS/CFT correspondence#M4BW, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
HBE5Z2596H HBE5Z2596H
| URI | m2://inv/HBE5Z2596H |
|---|---|
| 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.32338#6WFV (statement). In HVY45JQRNK/e1, lemma 2.32
History
- 2026-10-31: add by m2/v0.5.6
HBEQE49YFH HBEQE49YFH
| URI | m2://inv/HBEQE49YFH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19333#OD3G (statement). In 5Y3HF693YB/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
Lissajous knot HBERZGZSDX
| URI | m2://inv/HBERZGZSDX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#OBX8, Lissajous knot (definition)
History
- 2026-11-02: add by m2/dev
HBEV8E8MT4 HBEV8E8MT4
| URI | m2://inv/HBEV8E8MT4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.07061#2RVZ (statement). In S988ZVA1QE/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.6
diagonal argument HBFD0D2C7W
| URI | m2://inv/HBFD0D2C7W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#K9GE, diagonal argument (definition)
History
- 2026-11-02: add by m2/dev
HBFGM7NGYW HBFGM7NGYW
| URI | m2://inv/HBFGM7NGYW |
|---|---|
| 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.10248#L739 (statement). In TMV74X2725/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
Theorem HBFH9MKR1W
| URI | m2://inv/HBFH9MKR1W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surjection of Fréchet spaces#NNU6, Theorem (statement)
History
- 2026-11-02: add by m2/dev
HBFNPXCNQS HBFNPXCNQS
| URI | m2://inv/HBFNPXCNQS |
|---|---|
| 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 2311.01874#KIYA (statement). In A4TR95VGX2/e1, proposition 10
History
- 2026-10-27: add by m2/v0.3.5
HBFP9CDXBK HBFP9CDXBK
| URI | m2://inv/HBFP9CDXBK |
|---|---|
| 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.36423#B505 (statement). In Q5Z178SAHP/e1, theorem 6.1
History
- 2026-10-30: add by m2/v0.4.12
Gauss's original conjectures HBFQDBV3E2
| URI | m2://inv/HBFQDBV3E2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Class number problem#Y3EX, Gauss's original conjectures (statement)
History
- 2026-11-02: add by m2/dev
HBFZW35E3V HBFZW35E3V
| URI | m2://inv/HBFZW35E3V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25703#O1HI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Murray Gell-Mann HBG1STN484
| URI | m2://inv/HBG1STN484 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TGIY, Murray Gell-Mann (unknown)
History
- 2026-11-02: add by m2/dev
Second variation HBG2VRWHP9
| URI | m2://inv/HBG2VRWHP9 |
|---|---|
| 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.03384#D86C, Second variation (statement). In J55JTTKG84/e1, proposition 4.18
History
- 2026-10-29: add by m2/v0.4.12
HBG6ZEN5YH HBG6ZEN5YH
| URI | m2://inv/HBG6ZEN5YH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.05179#SQL0 (statement). In 9EMCPF1F2T/e1, proposition 56
History
- 2026-10-29: add by m2/v0.4.10
Pauli–Lubanski pseudovector HBGA9WE90M
| URI | m2://inv/HBGA9WE90M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pauli–Lubanski pseudovector, Pauli–Lubanski pseudovector (definition). Also Wikidata Q13596609
History
- 2026-11-02: add by m2/dev
HBGF6EMMAQ HBGF6EMMAQ
| URI | m2://inv/HBGF6EMMAQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/classing.tex#generalinfinitycharacter (statement). In PKGMM3P5QY, thm, section 70.2
History
- 2026-11-01: add by m2/v0.6.13
HBGV4T29QR HBGV4T29QR
| URI | m2://inv/HBGV4T29QR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23093#ICCX (statement)
History
- 2026-11-02: add by m2/v0.6.17
Colombeau algebra HBH0GC58VS
| URI | m2://inv/HBH0GC58VS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Colombeau algebra XGQT4WEVGG |
Mentions
- wikidata: Wikidata Q5147873, Colombeau algebra (unknown). Also nLab Colombeau algebra
- wikipedia: Wikipedia Colombeau algebra, Colombeau algebra (definition). Also Wikidata Q5147873
History
- 2026-10-26: add by m2/dev
Knizhnik–Zamolodchikov equations HBH3645FTE
| URI | m2://inv/HBH3645FTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#K9UT, Knizhnik–Zamolodchikov equations (definition)
History
- 2026-11-02: add by m2/dev
Conjunction fallacy HBH84FM8QG
| URI | m2://inv/HBH84FM8QG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#7XFL, Conjunction fallacy (definition)
History
- 2026-11-02: add by m2/dev
Lemniscate HBHJ0M391R
| URI | m2://inv/HBHJ0M391R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#4AXI, Lemniscate (definition)
History
- 2026-11-02: add by m2/dev
HBHVSTX5QR HBHVSTX5QR
| URI | m2://inv/HBHVSTX5QR |
|---|---|
| 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.10840#M3WY (statement). In JSJQEPY71E/e1, corollary 5.4
History
- 2026-10-28: add by m2/v0.4.3
HBHZMV0SCV HBHZMV0SCV
| URI | m2://inv/HBHZMV0SCV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#thm:0<1 (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13
HBJ12FZTV9 HBJ12FZTV9
| URI | m2://inv/HBJ12FZTV9 |
|---|---|
| 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.25100#VM8V (statement)
History
- 2026-11-01: add by m2/v0.6.15
Route-counting height function HBJ6D9VQFR
| URI | m2://inv/HBJ6D9VQFR |
|---|---|
| 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.20656#CRXX, Route-counting height function (statement)
History
- 2026-11-02: add by m2/v0.6.18
Arens–Fort space HBJ8MCSXJV
| URI | m2://inv/HBJ8MCSXJV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#53BR, Arens–Fort space (definition)
History
- 2026-11-02: add by m2/dev
physical system HBJ9SM1J9Q
| URI | m2://inv/HBJ9SM1J9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1454986, physical system (definition). Also ProofWiki Definition:Physical_System
History
- 2026-10-26: add by m2/dev
Local spectral weights HBJFCCQZGB
| URI | m2://inv/HBJFCCQZGB |
|---|---|
| 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.16351#B9JO, Local spectral weights (statement). In 1QSV7EQE3T/e1, lemma S13
History
- 2026-10-28: add by m2/v0.4.2
final HBJH4JHBCW
| URI | m2://inv/HBJH4JHBCW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#OYHL, final (definition)
History
- 2026-11-02: add by m2/dev
Formal statement HBJHYZBANN
| URI | m2://inv/HBJHYZBANN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Codazzi equations#K96R, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Monodromy matrix HBJW0GQ2ZH
| URI | m2://inv/HBJW0GQ2ZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monodromy matrix, Monodromy matrix (definition). Also Wikidata Q6901559
History
- 2026-11-02: add by m2/dev
Statement HBJWVPB1EH
| URI | m2://inv/HBJWVPB1EH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milnor conjecture (K-theory)#T4U5, Statement (statement)
History
- 2026-11-02: add by m2/dev
HBK1DYXR7H HBK1DYXR7H
| URI | m2://inv/HBK1DYXR7H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05696#E6F4 (example). In MG81A9XJTQ/e1, example VI.1
History
- 2026-10-29: add by m2/v0.4.10
Earth tide HBK6V5WQHP
| URI | m2://inv/HBK6V5WQHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Earth tide, Earth tide (definition). Also Wikidata Q1349211
History
- 2026-11-02: add by m2/dev
HBKD6ZTFJA HBKD6ZTFJA
| URI | m2://inv/HBKD6ZTFJA |
|---|---|
| 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.07644#BADD (statement). In TFAN2DR6FD/e1, lemma 12
History
- 2026-10-27: add by m2/v0.3.5
HBKEEYY8AA HBKEEYY8AA
| URI | m2://inv/HBKEEYY8AA |
|---|---|
| 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.23327#CRY2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
HBKHBQAZT5 HBKHBQAZT5
| URI | m2://inv/HBKHBQAZT5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28014#3FF2 (definition)
History
- 2026-11-01: add by m2/v0.6.15
The Weekly News HBKNBEBCYK
| URI | m2://inv/HBKNBEBCYK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#6MMR, The Weekly News (unknown)
History
- 2026-11-02: add by m2/dev
HBKNK3H9GZ HBKNK3H9GZ
| URI | m2://inv/HBKNK3H9GZ |
|---|---|
| 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.00247#9OJ6 (statement). In ZAM4S2XS9F/e1, proposition A.4
History
- 2026-10-30: add by m2/v0.4.12
paraconsistent logic HBKNSW0X0A
| URI | m2://inv/HBKNSW0X0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#JU6N, paraconsistent logic (definition)
History
- 2026-11-02: add by m2/dev
HBKPRR26AE HBKPRR26AE
| URI | m2://inv/HBKPRR26AE |
|---|---|
| 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.16193#HIIO (statement). In 1Q0A9HSTVP/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Finite outer bounds HBM04XVT3D
| URI | m2://inv/HBM04XVT3D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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.28220#48NP, Finite outer bounds (statement)
History
- 2026-11-01: add by m2/v0.6.15
HBM34GJGS6 HBM34GJGS6
| URI | m2://inv/HBM34GJGS6 |
|---|---|
| Kind | problem |
| 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 1911.06467#EQ6J (problem). In G35G1NJKBX/e1, problem 7.1
History
- 2026-10-27: add by m2/v0.3.5
HBM7060769 HBM7060769
| URI | m2://inv/HBM7060769 |
|---|---|
| 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.21491#WA8X (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications HBM8A2VPGX
| URI | m2://inv/HBM8A2VPGX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ariadne's thread (logic)#RGKH, Applications (example)
History
- 2026-11-02: add by m2/dev
fundamental theorem of arithmetic HBMAAY5VXD
| URI | m2://inv/HBMAAY5VXD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#WK41, fundamental theorem of arithmetic (definition)
History
- 2026-11-02: add by m2/dev
Definitions HBMDXQJNZH
| URI | m2://inv/HBMDXQJNZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudorandom generator theorem#XDFV, Definitions (definition)
History
- 2026-11-02: add by m2/dev
HBMENPRMA1 HBMENPRMA1
| URI | m2://inv/HBMENPRMA1 |
|---|---|
| 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#K1XE (statement). In CHC3T113Y4/e1, corollary 5.5
History
- 2026-10-28: add by m2/v0.4.2
Wiener's theorem HBMSW0FN8M
| URI | m2://inv/HBMSW0FN8M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener's attack#TE7J, Wiener's theorem (statement)
History
- 2026-11-02: add by m2/dev
Smearing retransformation HBMW0GMHY6
| URI | m2://inv/HBMW0GMHY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8L1D, Smearing retransformation (definition)
History
- 2026-11-02: add by m2/dev
Coherent topology HBMW9H3V17
| URI | m2://inv/HBMW9H3V17 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent topology, Coherent topology (definition). Also Wikidata Q3532109
History
- 2026-11-02: add by m2/dev
HBN3RDS4FH HBN3RDS4FH
| URI | m2://inv/HBN3RDS4FH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#defn-2 (definition). In E59CDZA4DP, defn, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
HBNBGSA0GD HBNBGSA0GD
| URI | m2://inv/HBNBGSA0GD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.20238#2Y4I (example). In V8CA0STSPB/e1, example 4
History
- 2026-10-27: add by m2/v0.3.5
Smoothed $\tau$-variation and $\tau$-weight measure HBNFDA1561
| URI | m2://inv/HBNFDA1561 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24451#7OQG, Smoothed $\tau$-variation and $\tau$-weight measure (definition)
History
- 2026-11-01: add by m2/v0.6.15
Examples HBNKGDCZJA
| URI | m2://inv/HBNKGDCZJA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-locally simply connected#Q25N, Examples (example)
History
- 2026-11-02: add by m2/dev
HBNSVX16Q3 HBNSVX16Q3
| URI | m2://inv/HBNSVX16Q3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00409#SYBO (statement). In YQT2APQPWD/e1, corollary 5.4
History
- 2026-10-30: add by m2/v0.4.12
Kepler Input Catalog HBPBJP88H4
| URI | m2://inv/HBPBJP88H4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#HALP, Kepler Input Catalog (unknown)
History
- 2026-11-02: add by m2/dev
HBPGK5HK1H HBPGK5HK1H
| URI | m2://inv/HBPGK5HK1H |
|---|---|
| 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#AWSB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Variants HBPTEJ0K9R
| URI | m2://inv/HBPTEJ0K9R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monoidal functor#IXOM, Variants (statement)
History
- 2026-11-02: add by m2/dev
HBPV12GZ6T HBPV12GZ6T
| URI | m2://inv/HBPV12GZ6T |
|---|---|
| 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 2108.03672#B9BZ (statement). In EZZSZ1F071/e1, lemma 4.21
History
- 2026-10-27: add by m2/v0.4.0
HBPWBQJV3P HBPWBQJV3P
| URI | m2://inv/HBPWBQJV3P |
|---|---|
| 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.17411#UEES (statement). In 73QW05MWQB/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
Lower density HBPXPBN4HY
| URI | m2://inv/HBPXPBN4HY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural density#7R2X, Lower density (unknown)
History
- 2026-11-02: add by m2/dev
Ω-conjecture HBPYMPW451
| URI | m2://inv/HBPYMPW451 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ω-logic#PRD2, Ω-conjecture (unknown)
History
- 2026-11-02: add by m2/dev
Opinion polling for the 2009 Greek parliamentary election HBQA8ZYEJT
| URI | m2://inv/HBQA8ZYEJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opinion polling for the 2009 Greek parliamentary election, Opinion polling for the 2009 Greek parliamentary election (definition). Also Wikidata Q106091801
History
- 2026-11-02: add by m2/dev
HBQB7GAVEF HBQB7GAVEF
| URI | m2://inv/HBQB7GAVEF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#HLKA (definition). In M0SQY5EZN5/e1, definition 2.3.2
History
- 2026-10-27: add by m2/v0.3.5
HBQDHFD034 HBQDHFD034
| URI | m2://inv/HBQDHFD034 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32860#QDZE (statement). In H71AJ341B3/e1, proposition 5.5
History
- 2026-10-31: add by m2/v0.5.6
List of set theory topics HBQSY3WPZW
| URI | m2://inv/HBQSY3WPZW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of set theory topics, List of set theory topics (topic). Also Wikidata Q6638184
History
- 2026-11-02: add by m2/dev
HBQYY8Q0N6 HBQYY8Q0N6
| URI | m2://inv/HBQYY8Q0N6 |
|---|---|
| Kind | definition |
| 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 2011.08789#O8YZ (definition). In 43AGRMP7T3/e1, definition 1.9
History
- 2026-10-27: add by m2/v0.3.5
HBR3DKHWZK HBR3DKHWZK
| URI | m2://inv/HBR3DKHWZK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#ex:funext-from-interval (exercise). In N54F33XE07, ex, section 5.13
History
- 2026-11-01: add by m2/v0.6.13
\text{Local error HBREBDMNEP
| URI | m2://inv/HBREBDMNEP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33406#AORX, \text{Local error (statement). In B23TX8G4E4/e1, corollary 4.1
History
- 2026-10-30: add by m2/v0.4.12
function, codomain of HBREX5GDTG
| URI | m2://inv/HBREX5GDTG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.2/function-codomain-of, function, codomain of (concept). In N54F33XE07, index, section A.2
History
- 2026-11-01: add by m2/v0.6.13
HBRQ73XRVF HBRQ73XRVF
| URI | m2://inv/HBRQ73XRVF |
|---|---|
| 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.08288#M7WH (statement). In CHVWYJM7RM/e1, lemma 4.9
History
- 2026-10-29: add by m2/v0.4.10
HBRQFEWAYY HBRQFEWAYY
| URI | m2://inv/HBRQFEWAYY |
|---|---|
| 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 2608.24606#LMRK (statement). In VFV3FFB7Q7/e1, corollary 2
History
- 2026-10-27: add by m2/v0.3.5
HBRT7BVB0C HBRT7BVB0C
| URI | m2://inv/HBRT7BVB0C |
|---|---|
| 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.15416#LA50 (statement). In W9JJQYHQ7J/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
phase space HBRWNTMQ7J
| URI | m2://inv/HBRWNTMQ7J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Phase space CPEC2NW2KF |
Mentions
- wikidata: Wikidata Q62542, phase space (unknown). Also MathWorld PhaseSpace, nLab phase space
- wikipedia: Wikipedia Phase space, Phase space (definition). Also Wikidata Q62542
History
- 2026-10-26: add by m2/dev
Slice-ribbon conjecture HBRXZWND49
| URI | m2://inv/HBRXZWND49 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ribbon knot#1JXG, Slice-ribbon conjecture (statement)
History
- 2026-11-02: add by m2/dev
Vietoris–Rips complex HBS2383Q66
| URI | m2://inv/HBS2383Q66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vietoris–Rips complex, Vietoris–Rips complex (definition). Also Wikidata Q7928689
History
- 2026-11-02: add by m2/dev
Thomson scattering HBSAAXTNYX
| URI | m2://inv/HBSAAXTNYX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomson scattering, Thomson scattering (definition). Also Wikidata Q1477639
History
- 2026-11-02: add by m2/dev
HBSAHQKDVG HBSAHQKDVG
| URI | m2://inv/HBSAHQKDVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20025#AH00 (statement). In 4W1WR4JB89/e1, proposition 2.11
History
- 2026-10-27: add by m2/v0.4.2
Alfred Kempe HBSF0TJG1Z
| URI | m2://inv/HBSF0TJG1Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#BJT6, Alfred Kempe (topic)
History
- 2026-11-02: add by m2/dev
Scott topology HBSFW0X71K
| URI | m2://inv/HBSFW0X71K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#4BZB, Scott topology (definition)
- wikipedia: Wikipedia List of order theory topics#S8HD, Scott topology (definition)
- wikipedia: Wikipedia List of general topology topics#1WLH, Scott topology (definition)
History
- 2026-11-02: add by m2/dev
co-referential HBSGEBKBB0
| URI | m2://inv/HBSGEBKBB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#59Y7, co-referential (definition)
History
- 2026-11-02: add by m2/dev
HBSGZPQENJ HBSGZPQENJ
| URI | m2://inv/HBSGZPQENJ |
|---|---|
| Kind | definition |
| 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 2203.16333#W5FM (definition). In GV2GPKN1F6/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
basis, standard HBSNA7JWN3
| URI | m2://inv/HBSNA7JWN3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/3.2.2/basis-standard, basis, standard (concept). In 649HGZKE96, index, section 3.2.2
History
- 2026-11-01: add by m2/v0.6.13
Nash–Kuiper theorem ( embedding theorem) HBSXJTW0EE
| URI | m2://inv/HBSXJTW0EE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nash embedding theorems#3H6E, Nash–Kuiper theorem ( embedding theorem) (statement)
History
- 2026-11-02: add by m2/dev
HBSZEP0XWR HBSZEP0XWR
| URI | m2://inv/HBSZEP0XWR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36309#Z9CW (definition). In FAJ10EJMYE/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
HBT2G6VVTD HBT2G6VVTD
| URI | m2://inv/HBT2G6VVTD |
|---|---|
| Kind | definition |
| 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 1509.00950#U89P (definition). In MDZFW5GACV/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
Spectral Certificates HBT6QS59JQ
| URI | m2://inv/HBT6QS59JQ |
|---|---|
| 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.30105#KV4W, Spectral Certificates (statement)
History
- 2026-11-01: add by m2/v0.6.15
HBTA5W9BZH HBTA5W9BZH
| URI | m2://inv/HBTA5W9BZH |
|---|---|
| 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 2211.14629#9JU9 (statement). In AX7TZJ5PP9/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Koskivirta--Wedhorn, Theorem 5.1.4 HBTJ3EXDRY
| URI | m2://inv/HBTJ3EXDRY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33808#MY1P, Koskivirta--Wedhorn, Theorem 5.1.4 (statement). In 328KGRNN0W/e1, theorem 4.4
History
- 2026-10-30: add by m2/v0.4.12
Higher integrability $\partial_t f, \nabla^2_\xi f$ HBTJ4SYZQZ
| URI | m2://inv/HBTJ4SYZQZ |
|---|---|
| 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.08434#CA47, Higher integrability $\partial_t f, \nabla^2_\xi f$ (statement). In VN8087G2FC/e1, proposition 8.9
History
- 2026-10-29: add by m2/v0.4.10
Voskhod, Moscow Oblast HBTTVY66RB
| URI | m2://inv/HBTTVY66RB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#QMTR, Voskhod, Moscow Oblast (unknown)
History
- 2026-11-02: add by m2/dev
Centered cap oscillation HBV12QD88D
| URI | m2://inv/HBV12QD88D |
|---|---|
| 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.12387#SBZJ, Centered cap oscillation (statement). In 3Z0PRE77SY/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Variants HBV39JHBWD
| URI | m2://inv/HBV39JHBWD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finagle's law#OGVW, Variants (statement)
History
- 2026-11-02: add by m2/dev
HBV3RS7MPZ HBV3RS7MPZ
| URI | m2://inv/HBV3RS7MPZ |
|---|---|
| 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.40203#SPKF (statement). In ECH66J4Y43/e1, proposition B.1
History
- 2026-10-30: add by m2/v0.4.12
II. Betweenness (Order) Axioms HBV6EN7WV3
| URI | m2://inv/HBV6EN7WV3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's axioms#6OH2, II. Betweenness (Order) Axioms (statement)
History
- 2026-11-02: add by m2/dev
Maeve McCarthy HBV9GKRF1W
| URI | m2://inv/HBV9GKRF1W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maeve McCarthy, Maeve McCarthy (topic). Also Wikidata Q57078151
History
- 2026-11-02: add by m2/dev
HBVAAJVKMR HBVAAJVKMR
| URI | m2://inv/HBVAAJVKMR |
|---|---|
| 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.24584#K4H2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
uniserial HBVCW53WN4
| URI | m2://inv/HBVCW53WN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#SLII, uniserial (definition)
History
- 2026-11-02: add by m2/dev
Rung 5 HBVF97P6NN
| URI | m2://inv/HBVF97P6NN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27766#MD9W, Rung 5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
HBVFTDRX3P HBVFTDRX3P
| URI | m2://inv/HBVFTDRX3P |
|---|---|
| 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.39269#3DD9 (statement). In HS4X20TX33/e1, fact 0.6
History
- 2026-10-30: add by m2/v0.4.12
Bryant Tuckerman HBVFTT4KX7
| URI | m2://inv/HBVFTT4KX7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bryant Tuckerman, Bryant Tuckerman (topic). Also Wikidata Q838473
History
- 2026-11-02: add by m2/dev
HBVGQYKNE6 HBVGQYKNE6
| URI | m2://inv/HBVGQYKNE6 |
|---|---|
| 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 2306.08237#AFYV (statement). In E22A2MFR4Y/e1, theorem 2.13
History
- 2026-10-27: add by m2/v0.3.6
595 (number) HBVH2VR767
| URI | m2://inv/HBVH2VR767 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#W415, 595 (number) (unknown)
History
- 2026-11-02: add by m2/dev
HBVQ7MVKV1 HBVQ7MVKV1
| URI | m2://inv/HBVQ7MVKV1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-109 (exercise). In E9HS8K3A52, exercise, section 5.9.1
History
- 2026-11-01: add by m2/v0.6.13
label=thm:axiomatisation-simple,restate=thmAxiomSimp HBVR4RNHTJ
| URI | m2://inv/HBVR4RNHTJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07927#4ABZ, label=thm:axiomatisation-simple,restate=thmAxiomSimp (statement). In GKM19DHQTM/e1, theorem 3.7
History
- 2026-10-29: add by m2/v0.4.10
Mathematical Proceedings of the Cambridge Philosophical Society HBVSF4ZFWS
| URI | m2://inv/HBVSF4ZFWS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical Proceedings of the Cambridge Philosophical Society, Mathematical Proceedings of the Cambridge Philosophical Society (definition). Also Wikidata Q6786838
History
- 2026-11-02: add by m2/dev
Almost surely constant HBVV8K99MS
| URI | m2://inv/HBVV8K99MS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degenerate distribution#B0P4, Almost surely constant (unknown)
History
- 2026-11-02: add by m2/dev
HBVZB18TGT HBVZB18TGT
| URI | m2://inv/HBVZB18TGT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#R2VY (statement). In X765ZXXVC3/e1, lemma 2.18
History
- 2026-10-29: add by m2/v0.4.12
Landau distribution HBWK44E9Q6
| URI | m2://inv/HBWK44E9Q6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landau distribution, Landau distribution (definition). Also Wikidata Q3258337
History
- 2026-11-02: add by m2/dev
HBWNGC9SAR HBWNGC9SAR
| URI | m2://inv/HBWNGC9SAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#DO8O (statement). In ATSYBWEMMP/e1, proposition 8.4
History
- 2026-10-29: add by m2/v0.4.10
Generalizations HBWX614RJA
| URI | m2://inv/HBWX614RJA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternating-direction implicit method#TIJP, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
HBX6JWC0FT HBX6JWC0FT
| URI | m2://inv/HBX6JWC0FT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24610#5VB0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Compound of twelve pentagonal prisms HBXQ6RTRVR
| URI | m2://inv/HBXQ6RTRVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of twelve pentagonal prisms, Compound of twelve pentagonal prisms (definition). Also Wikidata Q5156898
History
- 2026-11-02: add by m2/dev
Fechner's paradox HBXSEGZZ84
| URI | m2://inv/HBXSEGZZ84 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gustav Fechner#1JUX, Fechner's paradox (statement)
History
- 2026-11-02: add by m2/dev
Boustrophedon transform HBXXG6YCTN
| URI | m2://inv/HBXXG6YCTN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#8PY4, Boustrophedon transform (definition)
History
- 2026-11-02: add by m2/dev
Möbius geometry HBXY4SFBEK
| URI | m2://inv/HBXY4SFBEK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius geometry, Möbius geometry (topic). Also Wikidata Q140502042
History
- 2026-11-02: add by m2/dev
HBXYP7035R HBXYP7035R
| URI | m2://inv/HBXYP7035R |
|---|---|
| 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.29326#FGUQ (statement). In 3F83V6VKKA/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.6
cotangent bundle HBY02F0NRW
| URI | m2://inv/HBY02F0NRW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1142143, cotangent bundle (unknown). Also MathWorld CotangentBundle, nLab cotangent bundle
- wikipedia: Wikipedia Cotangent bundle, Cotangent bundle (definition). Also Wikidata Q1142143
History
- 2026-10-26: add by m2/dev
HBY3VTX6QH HBY3VTX6QH
| URI | m2://inv/HBY3VTX6QH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15926#IVLV (statement). In G0J92BSX4A/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Approximately finite-dimensional C*-algebra HBYE6M8RJT
| URI | m2://inv/HBYE6M8RJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximately finite-dimensional C*-algebra, Approximately finite-dimensional C*-algebra (definition). Also Wikidata Q291562
History
- 2026-11-02: add by m2/dev
HBYJM49004 HBYJM49004
| URI | m2://inv/HBYJM49004 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-13 (exercise). In E9HS8K3A52, exercise, section 5.2.3
History
- 2026-11-01: add by m2/v0.6.13
HBYK0VSB41 HBYK0VSB41
| URI | m2://inv/HBYK0VSB41 |
|---|---|
| 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 2012.05048#8S8T (statement). In NY9HW1E6DY/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
HBYSC1J9JG HBYSC1J9JG
| URI | m2://inv/HBYSC1J9JG |
|---|---|
| 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.29552#CI70 (statement)
History
- 2026-11-01: add by m2/v0.6.15
HBYT29RFCP HBYT29RFCP
| URI | m2://inv/HBYT29RFCP |
|---|---|
| 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.28336#8PSH (statement)
History
- 2026-11-01: add by m2/v0.6.15
HBYYPRMFV3 HBYYPRMFV3
| URI | m2://inv/HBYYPRMFV3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14985#BP15 (statement). In DGXJW3SCBR/e1, proposition 32
History
- 2026-10-28: add by m2/v0.4.2
Problem-solving circles HBZ69600WW
| URI | m2://inv/HBZ69600WW |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Math circle#JIS5, Problem-solving circles (problem)
History
- 2026-11-02: add by m2/dev
HBZ8RGT853 HBZ8RGT853
| URI | m2://inv/HBZ8RGT853 |
|---|---|
| Kind | definition |
| 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.40138#6DBU (definition). In R60HR493TS/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
HBZCQ82MHN HBZCQ82MHN
| URI | m2://inv/HBZCQ82MHN |
|---|---|
| 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 2504.18390#6JCP (example). In A1E8BB0QHC/e1, example 2.2
History
- 2026-10-27: add by m2/v0.3.5
Harry Levy HBZJ4AES6E
| URI | m2://inv/HBZJ4AES6E |
|---|---|
| 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#CUXZ, Harry Levy (unknown)
History
- 2026-11-02: add by m2/dev
Shortest common supersequence problem HBZN5TY6T2
| URI | m2://inv/HBZN5TY6T2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#4SHG, Shortest common supersequence problem (definition)
History
- 2026-11-02: add by m2/dev
HBZZ4JW9A4 HBZZ4JW9A4
| URI | m2://inv/HBZZ4JW9A4 |
|---|---|
| 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.24878#6IZ2 (statement)
History
- 2026-11-01: add by m2/v0.6.15