Inventory rows C0
The cards of the rows of the inventory whose ids start with C0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Dihedral group C006W0NPSN
| URI | m2://inv/C006W0NPSN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of small groups#6DLA, Dihedral group (definition)
History
- 2026-11-02: add by m2/dev
Superfunction C007YEE6Q5
| URI | m2://inv/C007YEE6Q5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superfunction, Superfunction (definition). Also Wikidata Q17083884
History
- 2026-11-02: add by m2/dev
C00D98K54D C00D98K54D
| URI | m2://inv/C00D98K54D |
|---|---|
| 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.21475#P1X0 (statement). In TTRSZVT4VX/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.4.2
Arithmetices principia, nova methodo exposita C00FQDZY6M
| URI | m2://inv/C00FQDZY6M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetices principia, nova methodo exposita, Arithmetices principia, nova methodo exposita (definition). Also Wikidata Q28458050
History
- 2026-11-02: add by m2/dev
Dual bundle C00NRJMA5K
| URI | m2://inv/C00NRJMA5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#JZMO, Dual bundle (definition)
History
- 2026-11-02: add by m2/dev
Legendre's identity C00R7AK0XP
| URI | m2://inv/C00R7AK0XP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sieve theory#GN2C, Legendre's identity (statement)
History
- 2026-11-02: add by m2/dev
Wayne B. Nelson C00W3DX0RD
| URI | m2://inv/C00W3DX0RD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#9Y3I, Wayne B. Nelson (topic)
History
- 2026-11-02: add by m2/dev
Alexander Zinoviev C00X7XVZG9
| URI | m2://inv/C00X7XVZG9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#1DHB, Alexander Zinoviev (topic)
History
- 2026-11-02: add by m2/dev
topological division ring C00YZG7AH0
| URI | m2://inv/C00YZG7AH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q119143608, topological division ring (definition). Also ProofWiki Definition:Topological_Division_Ring
History
- 2026-10-26: add by m2/dev
Chakravala method C01636Q3QK
| URI | m2://inv/C01636Q3QK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chakravala method, Chakravala method (definition). Also Wikidata Q3099784
History
- 2026-11-02: add by m2/dev
Kummer's theorem (z = −1) C01B3S0WF2
| URI | m2://inv/C01B3S0WF2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypergeometric function#AZMO, Kummer's theorem (z = −1) (statement)
History
- 2026-11-02: add by m2/dev
Coordinate free formula for the instantaneous rotation vector C01J0BD9H3
| URI | m2://inv/C01J0BD9H3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigid body#TMIC, Coordinate free formula for the instantaneous rotation vector (statement)
History
- 2026-11-02: add by m2/dev
Comparison of statistical packages C01P5H39DC
| URI | m2://inv/C01P5H39DC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparison of statistical packages, Comparison of statistical packages (definition). Also Wikidata Q2990332
History
- 2026-11-02: add by m2/dev
Superelement C01Z7860VE
| URI | m2://inv/C01Z7860VE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#O2SL, Superelement (definition)
History
- 2026-11-02: add by m2/dev
C025CYGFZT C025CYGFZT
| URI | m2://inv/C025CYGFZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08357#427S (statement). In R9GRCAWHG0/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
C025WJFGWD C025WJFGWD
| URI | m2://inv/C025WJFGWD |
|---|---|
| Kind | definition |
| 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 1809.06512#BPQP (definition). In RY2X22P6XW/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Applications C028WDZCSR
| URI | m2://inv/C028WDZCSR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropy#DAEU, Applications (example)
History
- 2026-11-02: add by m2/dev
Joan Feigenbaum C02CS9D2E4
| URI | m2://inv/C02CS9D2E4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RMHD, Joan Feigenbaum (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NY49, Joan Feigenbaum (topic)
History
- 2026-11-02: add by m2/dev
Logarithmically concave function C02F625MFB
| URI | m2://inv/C02F625MFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmically concave function, Logarithmically concave function (definition). Also Wikidata Q12351850
History
- 2026-11-02: add by m2/dev
Markov replacement C02FAA5XQ1
| URI | m2://inv/C02FAA5XQ1 |
|---|---|
| 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 2609.25915#42UD, Markov replacement (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications C02J8WHREF
| URI | m2://inv/C02J8WHREF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convolution power#HAXL, Applications (example)
History
- 2026-11-02: add by m2/dev
Ball contracts preserve connectivity C02MZD9RJN
| URI | m2://inv/C02MZD9RJN |
|---|---|
| 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.19912#RTPG, Ball contracts preserve connectivity (statement)
History
- 2026-11-02: add by m2/v0.6.18
conditioning C02PY0DSD4
| URI | m2://inv/C02PY0DSD4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Solving systems of linear inequalities > conditioning, conditioning (unknown)
History
- 2026-10-26: add by m2/dev
C02S1808GR C02S1808GR
| URI | m2://inv/C02S1808GR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.04068#RA3Q (statement). In Y7TVAQE9PF/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.3.5
Poincaré coordinates C037GEQ5V1
| URI | m2://inv/C037GEQ5V1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coordinate systems for the hyperbolic plane#3V53, Poincaré coordinates (unknown)
History
- 2026-11-02: add by m2/dev
Chrysippus C03HT0885T
| URI | m2://inv/C03HT0885T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#WB0S, Chrysippus (topic)
History
- 2026-11-02: add by m2/dev
Alan Weinstein C03JQKKYCH
| URI | m2://inv/C03JQKKYCH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#AXTQ, Alan Weinstein (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#K2TU, Alan Weinstein (topic)
History
- 2026-11-02: add by m2/dev
finitely generated object C03W0DAHFP
| URI | m2://inv/C03W0DAHFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5450412, finitely generated object (unknown). Also nLab finitely generated object
- wikipedia: Wikipedia Finitely generated object, Finitely generated object (definition). Also Wikidata Q5450412
History
- 2026-10-26: add by m2/dev
Concentration of commutators C040RW33H7
| URI | m2://inv/C040RW33H7 |
|---|---|
| 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.17129#H3R3, Concentration of commutators (statement). In TCZWAMNYCV/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2
global element C049GR8KS8
| URI | m2://inv/C049GR8KS8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5570834, global element (unknown). Also nLab global element
- wikipedia: Wikipedia Global element, Global element (definition). Also Wikidata Q5570834
History
- 2026-10-26: add by m2/dev
Probability of the AMP good events C04BSP87FQ
| URI | m2://inv/C04BSP87FQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09882#1K95, Probability of the AMP good events (statement). In 7XV6T4N79V/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
C04DM0RJRP C04DM0RJRP
| URI | m2://inv/C04DM0RJRP |
|---|---|
| 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#1BLN (statement)
History
- 2026-11-01: add by m2/v0.6.15
C04ES24T6F C04ES24T6F
| URI | m2://inv/C04ES24T6F |
|---|---|
| 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.11693#LSM3 (statement). In F8QNPNTBTZ/e1, lemma C.4
History
- 2026-10-28: add by m2/v0.4.3
Local law C04FKMQ78G
| URI | m2://inv/C04FKMQ78G |
|---|---|
| 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#L2LK, Local law (statement)
History
- 2026-11-01: add by m2/v0.6.15
C04HFY71G3 C04HFY71G3
| URI | m2://inv/C04HFY71G3 |
|---|---|
| Kind | example |
| 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.38267#FTLT (example). In 518V871EKW/e1, example 3.15
History
- 2026-10-30: add by m2/v0.4.12
Rank-one coefficients C04HXRJACN
| URI | m2://inv/C04HXRJACN |
|---|---|
| Kind | conjecture |
| 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.27335#TT4I, Rank-one coefficients (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Variants C04NXKZCZK
| URI | m2://inv/C04NXKZCZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean shortest path#EYT6, Variants (statement)
History
- 2026-11-02: add by m2/dev
C04R49PBRE C04R49PBRE
| URI | m2://inv/C04R49PBRE |
|---|---|
| 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.02199#UF7J (statement). In A8Q52DFW6S/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
C04V04Z81R C04V04Z81R
| URI | m2://inv/C04V04Z81R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.3835#9AAB (statement). In V4J1J8YC7V/e1, proposition 8
History
- 2026-10-27: add by m2/v0.3.5
C04Y3795E2 C04Y3795E2
| URI | m2://inv/C04Y3795E2 |
|---|---|
| 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.12691#PKNH (statement). In YVQKT91MYN/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
C059KD7KGZ C059KD7KGZ
| URI | m2://inv/C059KD7KGZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0908.3266#QEMZ (statement). In B0W6PMDN3N/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
C05H1G9C4N C05H1G9C4N
| URI | m2://inv/C05H1G9C4N |
|---|---|
| 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 1009.3308#E38G (statement). In KGBKNQB52Z/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
Waldhausen's theorem C05J5DC3V3
| URI | m2://inv/C05J5DC3V3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#GVBM, Waldhausen's theorem (definition)
History
- 2026-11-02: add by m2/dev
Projective transformation C05K4WH4BA
| URI | m2://inv/C05K4WH4BA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#ZC1Y, Projective transformation (definition)
History
- 2026-11-02: add by m2/dev
C05R175NT9 C05R175NT9
| URI | m2://inv/C05R175NT9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#example-8 (example). In E59CDZA4DP, example, section 4.2.1
History
- 2026-11-01: add by m2/v0.6.13
Implementations C0629378ZG
| URI | m2://inv/C0629378ZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oblivious pseudorandom function#RPN7, Implementations (definition)
History
- 2026-11-02: add by m2/dev
finite fibers C068063N0K
| URI | m2://inv/C068063N0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#Z9PW, finite fibers (definition)
History
- 2026-11-02: add by m2/dev
Macaulay2 C06C6ZKBP6
| URI | m2://inv/C06C6ZKBP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Macaulay2, Macaulay2 (definition). Also Wikidata Q6722751
History
- 2026-11-02: add by m2/dev
Francesco Gerbaldi C06CN1CWYK
| URI | m2://inv/C06CN1CWYK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DA53, Francesco Gerbaldi (topic)
History
- 2026-11-02: add by m2/dev
Definition C06HQCHHB6
| URI | m2://inv/C06HQCHHB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact convergence#5I4Z, Definition (definition)
History
- 2026-11-02: add by m2/dev
Half Rock, Missouri C06NRVW1AD
| URI | m2://inv/C06NRVW1AD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#VPB3, Half Rock, Missouri (unknown)
History
- 2026-11-02: add by m2/dev
Green's theorem C06S58ZSPC
| URI | m2://inv/C06S58ZSPC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#2FDP, Green's theorem (statement)
- wikipedia: Wikipedia List of multivariable calculus topics#09IE, Green's theorem (statement)
History
- 2026-11-02: add by m2/dev
Global existence of weak solutions C072155N3C
| URI | m2://inv/C072155N3C |
|---|---|
| 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.18797#J7OC, Global existence of weak solutions (statement). In HVZW77G66Z/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
C073AZRNGX C073AZRNGX
| URI | m2://inv/C073AZRNGX |
|---|---|
| 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 2109.12716#UQCC (statement). In 6X76XBE3HV/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.3.5
Steve Simpson C0744KK00M
| URI | m2://inv/C0744KK00M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steve Simpson (mathematician), Steve Simpson (topic). Also Wikidata Q1308030
History
- 2026-11-02: add by m2/dev
Raster image processor C076KSZK4T
| URI | m2://inv/C076KSZK4T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#4E43, Raster image processor (unknown)
History
- 2026-11-02: add by m2/dev
strong monad C078S9RHFP
| URI | m2://inv/C078S9RHFP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7624569, strong monad (unknown). Also nLab strong monad
History
- 2026-10-26: add by m2/dev
Some relevant theorems C07C6KQW3Y
| URI | m2://inv/C07C6KQW3Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring theory#ZR3F, Some relevant theorems (statement)
History
- 2026-11-02: add by m2/dev
C07E6G0HMP C07E6G0HMP
| URI | m2://inv/C07E6G0HMP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05396#5HLP (statement). In WMVRX5GV9P/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
Examples C07RBR0860
| URI | m2://inv/C07RBR0860 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Refinable function#DVE5, Examples (example)
History
- 2026-11-02: add by m2/dev
false dilemma C07VGG6010
| URI | m2://inv/C07VGG6010 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#9EPS, false dilemma (definition)
History
- 2026-11-02: add by m2/dev
C07XZM5JN3 C07XZM5JN3
| URI | m2://inv/C07XZM5JN3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29759#0151 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tibor Radó C088CX24EQ
| URI | m2://inv/C088CX24EQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UOS8, Tibor Radó (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2008, Tibor Radó (topic)
History
- 2026-11-02: add by m2/dev
C08GZANKY4 C08GZANKY4
| URI | m2://inv/C08GZANKY4 |
|---|---|
| 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.26386#TKSE (statement)
History
- 2026-11-01: add by m2/v0.6.15
C08KREK7Q9 C08KREK7Q9
| URI | m2://inv/C08KREK7Q9 |
|---|---|
| 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.20409#UVQC (statement)
History
- 2026-11-02: add by m2/v0.6.18
Ehrhart polynomial C08MC8BHGW
| URI | m2://inv/C08MC8BHGW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ehrhart polynomial, Ehrhart polynomial (object). Also Wikidata Q5348622
History
- 2026-11-02: add by m2/dev
AdS/CFT correspondence C08N3AXZEX
| URI | m2://inv/C08N3AXZEX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q543413, AdS/CFT correspondence (unknown). Also nLab AdS-CFT correspondence
- wikipedia: Wikipedia AdS/CFT correspondence, AdS/CFT correspondence (definition). Also Wikidata Q543413
History
- 2026-10-26: add by m2/dev
C08QB1DVNA C08QB1DVNA
| URI | m2://inv/C08QB1DVNA |
|---|---|
| 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.01656#6E62 (statement). In AHGQZ89DY0/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
Averaged non-escape in small-discriminant families C08RVPQD3H
| URI | m2://inv/C08RVPQD3H |
|---|---|
| Kind | problem |
| 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.33027#AZGQ, Averaged non-escape in small-discriminant families (problem). In E2AF84709B/e1, problem 47
History
- 2026-10-31: add by m2/v0.5.6
Automatic sequence C08STWG219
| URI | m2://inv/C08STWG219 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automatic sequence, Automatic sequence (definition). Also Wikidata Q3503236
History
- 2026-11-02: add by m2/dev
108 Mile Ranch C08TNF5EDJ
| URI | m2://inv/C08TNF5EDJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#3R9F, 108 Mile Ranch (unknown)
History
- 2026-11-02: add by m2/dev
Properties C08WXQFNGP
| URI | m2://inv/C08WXQFNGP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the cue heading names a section and not one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient group#5FC5, Properties (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Example C08ZQ56S7J
| URI | m2://inv/C08ZQ56S7J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia No-hair theorem#OL2X, Example (example)
History
- 2026-11-02: add by m2/dev
C094E3ZYGN C094E3ZYGN
| URI | m2://inv/C094E3ZYGN |
|---|---|
| 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 2205.15106#XY7H (statement). In N3ZQJ2G8SS/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
C094RKXAZA C094RKXAZA
| URI | m2://inv/C094RKXAZA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33941#3N12 (definition). In 64YCRQCKZN/e1, definition 4.6
History
- 2026-10-30: add by m2/v0.4.12
P-hacking C098VY16GG
| URI | m2://inv/C098VY16GG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#7T5T, P-hacking (definition)
History
- 2026-11-02: add by m2/dev
Rationality theorem C09AKW7HFC
| URI | m2://inv/C09AKW7HFC |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1139524, Rationality theorem (statement). Also Wikidata Q1139524
- thousand_plus: thousand_plus Q1139524, Rationality theorem (statement). Also Wikidata Q1139524, Wikipedia Rationality theorem
History
- 2026-10-26: add by m2/dev
Holomorphic extension of the regularized anisotropic Epstein zeta function C09BETSYX9
| URI | m2://inv/C09BETSYX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28282#6866, Holomorphic extension of the regularized anisotropic Epstein zeta function (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition C09EN8DK40
| URI | m2://inv/C09EN8DK40 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chaitin's constant#KFBC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Wall's theorem on h-cobordisms C09J00Z87F
| URI | m2://inv/C09J00Z87F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wall theorems#MRGR, Wall's theorem on h-cobordisms (statement)
History
- 2026-11-02: add by m2/dev
Differential analyser C09MW2KTG5
| URI | m2://inv/C09MW2KTG5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential analyser, Differential analyser (definition). Also Wikidata Q953377
History
- 2026-11-02: add by m2/dev
Functorial interpretation of fundamental groups C09QEKYXDW
| URI | m2://inv/C09QEKYXDW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#thm:fundgrp_functor, Functorial interpretation of fundamental groups (statement). In RZP28ERRZV, theorem, section 98.6
History
- 2026-11-01: add by m2/v0.6.13
$T$ is a functor with a scalar action C09ZQBETSM
| URI | m2://inv/C09ZQBETSM |
|---|---|
| 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 2609.26270#4GVC, $T$ is a functor with a scalar action (statement)
History
- 2026-11-01: add by m2/v0.6.15
rhombic hexecontahedron C0A2SQ02XB
| URI | m2://inv/C0A2SQ02XB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18390248, rhombic hexecontahedron (object). Also MathWorld RhombicHexecontahedron
- wikipedia: Wikipedia Rhombic hexecontahedron, Rhombic hexecontahedron (definition). Also Wikidata Q18390248
History
- 2026-10-26: add by m2/dev
The negative introspection axiom C0A3QZCKFT
| URI | m2://inv/C0A3QZCKFT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epistemic modal logic#U26A, The negative introspection axiom (statement)
History
- 2026-11-02: add by m2/dev
Convex hull C0AAG8FKHD
| URI | m2://inv/C0AAG8FKHD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#NM1G, Convex hull (definition)
History
- 2026-11-02: add by m2/dev
April Casburn C0ACT57MN1
| URI | m2://inv/C0ACT57MN1 |
|---|---|
| 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#7U0A, April Casburn (unknown)
History
- 2026-11-02: add by m2/dev
C0AD5P7VJS C0AD5P7VJS
| URI | m2://inv/C0AD5P7VJS |
|---|---|
| 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.27114#QP2I (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mauchly, John C0AJR9DWVV
| URI | m2://inv/C0AJR9DWVV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#SFVX, Mauchly, John (unknown)
History
- 2026-11-02: add by m2/dev
357 (number) C0ANCZX5DE
| URI | m2://inv/C0ANCZX5DE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#5TJH, 357 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Representation C0ANK03E8M
| URI | m2://inv/C0ANK03E8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Łukasiewicz–Moisil algebra#A8HZ, Representation (definition)
History
- 2026-11-02: add by m2/dev
Properties C0ATEF0YEN
| URI | m2://inv/C0ATEF0YEN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-interior point#BXMM, Properties (statement)
History
- 2026-11-02: add by m2/dev
C0ATTHSHEM C0ATTHSHEM
| URI | m2://inv/C0ATTHSHEM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-94 (exercise). In E9HS8K3A52, exercise, section 4.6.1
History
- 2026-11-01: add by m2/v0.6.13
Variational correctness of the NFOSLS loss for the quasilinear case C0B4AAEWFT
| URI | m2://inv/C0B4AAEWFT |
|---|---|
| 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.19296#9XX9, Variational correctness of the NFOSLS loss for the quasilinear case (statement). In WFR2WNW8NB/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.2
Billiard, Lynne C0B725VJS6
| URI | m2://inv/C0B725VJS6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#FQX9, Billiard, Lynne (topic)
History
- 2026-11-02: add by m2/dev
Roth's theorem C0BFXNM74V
| URI | m2://inv/C0BFXNM74V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Additive combinatorics > Roth's theorem, Roth's theorem (unknown). Also Mathlib roth_3ap_theorem_nat
History
- 2026-10-26: add by m2/dev
C0BJWYE0YG C0BJWYE0YG
| URI | m2://inv/C0BJWYE0YG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25742#JRZH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Certified bipartite lemma C0BR79VFW4
| URI | m2://inv/C0BR79VFW4 |
|---|---|
| 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.21388#4O4Q, Certified bipartite lemma (statement)
History
- 2026-11-02: add by m2/v0.6.18
C0BSPPFCRV C0BSPPFCRV
| URI | m2://inv/C0BSPPFCRV |
|---|---|
| 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 2411.13671#NQ7A (statement). In PN02WN5AA6/e1, proposition 6
History
- 2026-10-27: add by m2/v0.3.5
C0BSZNGXCF C0BSZNGXCF
| URI | m2://inv/C0BSZNGXCF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.10337#BV75 (definition). In RBBF0XNZ5E/e1, definition 8
History
- 2026-10-27: add by m2/v0.3.5
C0BYGC9Y5D C0BYGC9Y5D
| URI | m2://inv/C0BYGC9Y5D |
|---|---|
| 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 2411.16655#JHF5 (statement). In EJHAXRV685/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
C0C30GTASB C0C30GTASB
| URI | m2://inv/C0C30GTASB |
|---|---|
| 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 2609.20018#7JHM (statement)
History
- 2026-11-02: add by m2/v0.6.18
C0CDH9DVSF C0CDH9DVSF
| URI | m2://inv/C0CDH9DVSF |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#VEZQ (unknown). In QNBFHFZ3H0/e1, unknown 84
History
- 2026-10-28: add by m2/v0.4.2
Notation C0CECNGCZ9
| URI | m2://inv/C0CECNGCZ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-adic number#96JJ, Notation (definition)
History
- 2026-11-02: add by m2/dev
C0CJDQD2R0 C0CJDQD2R0
| URI | m2://inv/C0CJDQD2R0 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-30: add by m2/v0.4.12
C0CK798BM2 C0CK798BM2
| URI | m2://inv/C0CK798BM2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25100#V6R1 (definition)
History
- 2026-11-01: add by m2/v0.6.15
C0CSHH6KBE C0CSHH6KBE
| URI | m2://inv/C0CSHH6KBE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.35632#5XS1 (statement). In Q74G3BVZAQ/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Construction C0CVMYJ9AC
| URI | m2://inv/C0CVMYJ9AC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongated pentagonal bipyramid#9MW4, Construction (definition)
History
- 2026-11-02: add by m2/dev
Pakistan Mathematical Society C0D3G2N0B7
| URI | m2://inv/C0D3G2N0B7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#VYTR, Pakistan Mathematical Society (unknown)
History
- 2026-11-02: add by m2/dev
C0D457PWQ1 C0D457PWQ1
| URI | m2://inv/C0D457PWQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#IM4W (statement). In RBQ5FNCVNZ/e1, proposition 10.2
History
- 2026-10-30: add by m2/v0.4.12
Cauchy integral formula C0D84XJZ3Q
| URI | m2://inv/C0D84XJZ3Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-4, Cauchy integral formula (statement). In VNMV985MXX, thm, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
C0D938E40Q C0D938E40Q
| URI | m2://inv/C0D938E40Q |
|---|---|
| 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.27114#US3Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stål Aanderaa C0DED6WZWF
| URI | m2://inv/C0DED6WZWF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stål Aanderaa, Stål Aanderaa (topic). Also Wikidata Q7629924
History
- 2026-11-02: add by m2/dev
Greenwald-Stiglitz theorem C0DEQ4RMCG
| URI | m2://inv/C0DEQ4RMCG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greenwald-Stiglitz theorem, Greenwald-Stiglitz theorem (statement). Also Wikidata Q140421642
History
- 2026-11-02: add by m2/dev
Definition C0DHPFX5G0
| URI | m2://inv/C0DHPFX5G0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duncan's new multiple range test#SWOC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Frank Valente C0DPN74KQW
| URI | m2://inv/C0DPN74KQW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank Valente, Frank Valente (topic). Also Wikidata Q56762118
History
- 2026-11-02: add by m2/dev
Zeeman conjecture C0DQAC1861
| URI | m2://inv/C0DQAC1861 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zeeman conjecture, Zeeman conjecture (conjecture). Also Wikidata Q8068451
History
- 2026-11-02: add by m2/dev
C0DS93194D C0DS93194D
| URI | m2://inv/C0DS93194D |
|---|---|
| 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.33771#LMGT (statement). In ZXQA7QH0H0/e1, lemma 3.16
History
- 2026-10-30: add by m2/v0.4.12
C0EAAQ00HM C0EAAQ00HM
| URI | m2://inv/C0EAAQ00HM |
|---|---|
| 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.35460#0HB2 (statement). In R515NECVME/e1, theorem Theorem
History
- 2026-10-30: add by m2/v0.4.12
Hajós's theorem C0EKPAEQ71
| URI | m2://inv/C0EKPAEQ71 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1177508, Rédei's theorem (statement). Also Wikidata Q1177508
- thousand_plus: thousand_plus Q1177508, Rédei's theorem (statement). Also Wikidata Q1177508, Wikipedia Rédei's theorem
- wikipedia: Wikipedia Hajós's theorem, Hajós's theorem (statement). Also Wikidata Q1177508
History
- 2026-10-26: add by m2/dev
Lutfullah Muhandis C0ESGRCCNB
| URI | m2://inv/C0ESGRCCNB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lutfullah Muhandis, Lutfullah Muhandis (topic). Also Wikidata Q118875137
History
- 2026-11-02: add by m2/dev
tensor product of graphs C0ETYMJACT
| URI | m2://inv/C0ETYMJACT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15994781, tensor product of graphs (unknown). Also MathWorld GraphCategoricalProduct
History
- 2026-10-26: add by m2/dev
C0EY3GB3E3 C0EY3GB3E3
| URI | m2://inv/C0EY3GB3E3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.36884#W8RV (definition). In Z7E16PFFCP/e1, definition 4.6
History
- 2026-10-30: add by m2/v0.4.12
Jacques Distler C0EZMFYP7M
| URI | m2://inv/C0EZMFYP7M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#Z13C, Jacques Distler (unknown)
History
- 2026-11-02: add by m2/dev
Mostly Harmless Econometrics C0F42CGDMZ
| URI | m2://inv/C0F42CGDMZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mostly Harmless Econometrics, Mostly Harmless Econometrics (definition). Also Wikidata Q136659293
History
- 2026-11-02: add by m2/dev
Properties C0FE4CPEFF
| URI | m2://inv/C0FE4CPEFF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distinguished space#GJLB, Properties (statement)
History
- 2026-11-02: add by m2/dev
C0FJTAP1BN C0FJTAP1BN
| URI | m2://inv/C0FJTAP1BN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2610.00109#1G75 (statement). In FS8J84KFX2/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
C0FKH99G09 C0FKH99G09
| URI | m2://inv/C0FKH99G09 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19658#CYQ3 (statement). In G00EYA9DXG/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
C0FPJB7ZS4 C0FPJB7ZS4
| URI | m2://inv/C0FPJB7ZS4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35030#9K0T (statement). In DPT4P2BTEW/e1, proposition 10.1
History
- 2026-10-30: add by m2/v0.4.12
C0FRGYFZ4E C0FRGYFZ4E
| URI | m2://inv/C0FRGYFZ4E |
|---|---|
| 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.39539#TK2L (statement). In GVR218P3ZR/e1, proposition 10.0.3
History
- 2026-10-30: add by m2/v0.4.12
Generalizations C0G0ER0W1N
| URI | m2://inv/C0G0ER0W1N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirac measure#URTU, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
C0G3ZCG6TX C0G3ZCG6TX
| URI | m2://inv/C0G3ZCG6TX |
|---|---|
| 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.27301#PVKT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algorithms for solving systems of linear equations C0G4TNSYEC
| URI | m2://inv/C0G4TNSYEC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System of linear equations#YE2Y, Algorithms for solving systems of linear equations (unknown)
History
- 2026-11-02: add by m2/dev
Examples C0G5NG8V5J
| URI | m2://inv/C0G5NG8V5J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally integrable function#BE0N, Examples (example)
History
- 2026-11-02: add by m2/dev
Disquisitiones Arithmeticae C0GJFFP4NC
| URI | m2://inv/C0GJFFP4NC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#Y9FP, Disquisitiones Arithmeticae (definition)
History
- 2026-11-02: add by m2/dev
Doug Stinson C0GKC5MYM7
| URI | m2://inv/C0GKC5MYM7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QJ2T, Doug Stinson (topic)
History
- 2026-11-02: add by m2/dev
ARQ C0GKV8JH6K
| URI | m2://inv/C0GKV8JH6K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#1PFV, ARQ (unknown)
History
- 2026-11-02: add by m2/dev
C0GM3E46KA C0GM3E46KA
| URI | m2://inv/C0GM3E46KA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#2HRV (definition). In 1QSCT53ZED/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.4.0
List of geometric topology topics C0GP4X7AA0
| URI | m2://inv/C0GP4X7AA0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#JEPN, List of geometric topology topics (topic)
- wikipedia: Wikipedia Lists of mathematics topics#OYHL, List of geometric topology topics (topic)
History
- 2026-11-02: add by m2/dev
Train track C0GXGZCFX8
| URI | m2://inv/C0GXGZCFX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Train track (mathematics), Train track (definition). Also Wikidata Q7832909
History
- 2026-11-02: add by m2/dev
Batchelor's theorem C0H0F2V2WK
| URI | m2://inv/C0H0F2V2WK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supermanifold#X5P4, Batchelor's theorem (statement)
History
- 2026-11-02: add by m2/dev
C0H6BKETPK C0H6BKETPK
| URI | m2://inv/C0H6BKETPK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.19709#12BC (definition). In 57PQWSSZMY/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
309 (number) C0HAN7P3R8
| URI | m2://inv/C0HAN7P3R8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#8E07, 309 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Zero: The Biography of a Dangerous Idea C0HVVPPDH0
| URI | m2://inv/C0HVVPPDH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero: The Biography of a Dangerous Idea, Zero: The Biography of a Dangerous Idea (definition). Also Wikidata Q21079201
History
- 2026-11-02: add by m2/dev
Conjectures C0J1XX5979
| URI | m2://inv/C0J1XX5979 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Langlands program#SIPN, Conjectures (statement)
History
- 2026-11-02: add by m2/dev
C0J5GHG08V C0J5GHG08V
| URI | m2://inv/C0J5GHG08V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#VK8C (statement)
History
- 2026-11-02: add by m2/v0.6.17
Børge Jessen C0J6CKBNK0
| URI | m2://inv/C0J6CKBNK0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Børge Jessen, Børge Jessen (topic). Also Wikidata Q453826
History
- 2026-11-02: add by m2/dev
C0J9NRA69B C0J9NRA69B
| URI | m2://inv/C0J9NRA69B |
|---|---|
| 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.17691#0WSV (statement). In AT8VD3XB8M/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
C0JC9DV1PK C0JC9DV1PK
| URI | m2://inv/C0JC9DV1PK |
|---|---|
| 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.01197#NZDU (statement). In WDWDY0VP18/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.12
Bordism categories with real structures C0JCD9CZV6
| URI | m2://inv/C0JCD9CZV6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#VFP8, Bordism categories with real structures (example). In 9DQKY7KGE8/e1, example B.29
History
- 2026-10-31: add by m2/v0.5.6
Township 1, Harper County, Kansas C0JHD38HCW
| URI | m2://inv/C0JHD38HCW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#VXG5, Township 1, Harper County, Kansas (unknown)
History
- 2026-11-02: add by m2/dev
C0K3DGPMFN C0K3DGPMFN
| URI | m2://inv/C0K3DGPMFN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28374#MADD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Limit (mathematics) C0K3TQSY6N
| URI | m2://inv/C0K3TQSY6N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#M3M2, Limit (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
Katharine Ott C0K7SZ2WBJ
| URI | m2://inv/C0K7SZ2WBJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Katharine Ott, Katharine Ott (topic). Also Wikidata Q102368291
History
- 2026-11-02: add by m2/dev
Hermann Lotze C0K8TVYM0R
| URI | m2://inv/C0K8TVYM0R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermann Lotze, Hermann Lotze (topic). Also Wikidata Q57684
History
- 2026-11-02: add by m2/dev
C0KBJ0EC9Q C0KBJ0EC9Q
| URI | m2://inv/C0KBJ0EC9Q |
|---|---|
| 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#2Y0A (statement). In AAY60GVERS/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.3.5
C0KCP25V1Z C0KCP25V1Z
| URI | m2://inv/C0KCP25V1Z |
|---|---|
| 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 2605.30679#1J4E (statement). In Z31GMHMG7B/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Unweighted $C^{(1,3)}$ Hawking singularity theorem, version 1 C0KQK4RCNQ
| URI | m2://inv/C0KQK4RCNQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11911#ATTJ, Unweighted $C^{(1,3)}$ Hawking singularity theorem, version 1 (statement). In 5BYE5NYB89/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.3
Conjugate-permutable subgroup C0KZP7JD1T
| URI | m2://inv/C0KZP7JD1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugate-permutable subgroup, Conjugate-permutable subgroup (definition). Also Wikidata Q5161148
History
- 2026-11-02: add by m2/dev
Equivalent norm C0M12H2D4G
| URI | m2://inv/C0M12H2D4G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norm (mathematics)#42VN, Equivalent norm (unknown)
History
- 2026-11-02: add by m2/dev
Functional equation (L-function) C0M5Z0K4JB
| URI | m2://inv/C0M5Z0K4JB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#LUBA, Functional equation (L-function) (definition)
History
- 2026-11-02: add by m2/dev
Generalizations C0M7GKBT1J
| URI | m2://inv/C0M7GKBT1J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneous relation#SR21, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Hellmuth Kneser C0MDNY477C
| URI | m2://inv/C0MDNY477C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hellmuth Kneser, Hellmuth Kneser (topic). Also Wikidata Q77517
History
- 2026-11-02: add by m2/dev
Jennifer D. Parker C0MHE3G2GB
| URI | m2://inv/C0MHE3G2GB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jennifer D. Parker, Jennifer D. Parker (topic). Also Wikidata Q60444864
History
- 2026-11-02: add by m2/dev
Properties C0MTRV2RC5
| URI | m2://inv/C0MTRV2RC5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy#GS23, Properties (statement)
History
- 2026-11-02: add by m2/dev
C0N9XRJ3NE C0N9XRJ3NE
| URI | m2://inv/C0N9XRJ3NE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#I0AQ (statement). In F3BKXXPR3K/e1, lemma 4.23
History
- 2026-10-27: add by m2/v0.4.2
Kapitza's pendulum C0NBAF3GXY
| URI | m2://inv/C0NBAF3GXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kapitza's pendulum, Kapitza's pendulum (definition). Also Wikidata Q4286430
History
- 2026-11-02: add by m2/dev
Ekeland's variational principle C0NENHNNEQ
| URI | m2://inv/C0NENHNNEQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ekeland's variational principle#0WDR, Ekeland's variational principle (statement)
History
- 2026-11-02: add by m2/dev
C0NFZJFWD9 C0NFZJFWD9
| URI | m2://inv/C0NFZJFWD9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#KGAK (statement). In 7V2PVZS04C/e1, proposition 6.5
History
- 2026-10-31: add by m2/v0.5.6
weight C0NGC7KW8V
| URI | m2://inv/C0NGC7KW8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7979858, weight (unknown). Also MathWorld LieAlgebraWeight, nLab weight (in representation theory)
- wikipedia: Wikipedia Weight (representation theory), Weight (definition). Also Wikidata Q7979858
History
- 2026-10-26: add by m2/dev
C0NM98TCCP C0NM98TCCP
| URI | m2://inv/C0NM98TCCP |
|---|---|
| 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.40251#G4BE (statement). In 9J7TJYKGYX/e1, proposition 6.5
History
- 2026-10-30: add by m2/v0.4.12
C0NQGZ7PKV C0NQGZ7PKV
| URI | m2://inv/C0NQGZ7PKV |
|---|---|
| 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.36033#IEXS (statement). In N2W0AH1KRF/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
Peter Orno C0NTDNR9ZV
| URI | m2://inv/C0NTDNR9ZV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Orno, Peter Orno (topic). Also Wikidata Q7176233
History
- 2026-11-02: add by m2/dev
étale morphism C0NYJWWWFB
| URI | m2://inv/C0NYJWWWFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Étale morphism H84VHC8PX2 |
Mentions
- wikidata: Wikidata Q8078428, étale morphism (unknown). Also nLab étale map
- wikipedia: Wikipedia Étale morphism, Étale morphism (definition). Also Wikidata Q8078428
History
- 2026-10-26: add by m2/dev
Definition C0NYM8VCN0
| URI | m2://inv/C0NYM8VCN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal grammar#TWSI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Statement C0P33TZ2V0
| URI | m2://inv/C0P33TZ2V0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bhatia–Davis inequality#4CMW, Statement (statement)
History
- 2026-11-02: add by m2/dev
C0P5MGKC42 C0P5MGKC42
| URI | m2://inv/C0P5MGKC42 |
|---|---|
| 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.28518#3UC9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
C0P9T5BBKG C0P9T5BBKG
| URI | m2://inv/C0P9T5BBKG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.39317#H4YF (definition). In QM1T8JDK4A/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
C0PC2F1577 C0PC2F1577
| URI | m2://inv/C0PC2F1577 |
|---|---|
| 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.31604#EBUN (statement). In GSN5YTQS2K/e1, lemma 2.17
History
- 2026-10-31: add by m2/v0.5.6
Ri Jong-yol C0PF5BF3XV
| URI | m2://inv/C0PF5BF3XV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ri Jong-yol, Ri Jong-yol (topic). Also Wikidata Q127349031
History
- 2026-11-02: add by m2/dev
Schmidt's quadratic-form count C0PFTAJJMD
| URI | m2://inv/C0PFTAJJMD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15815#AZLM, Schmidt's quadratic-form count (statement). In 9C75CTY5C3/e1, proposition 5.10
History
- 2026-10-28: add by m2/v0.4.2
Properties C0PMX043BB
| URI | m2://inv/C0PMX043BB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rayleigh distribution#CZHB, Properties (statement)
History
- 2026-11-02: add by m2/dev
Public key fingerprint C0PNB98YQA
| URI | m2://inv/C0PNB98YQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Public key fingerprint, Public key fingerprint (definition). Also Wikidata Q6578920
History
- 2026-11-02: add by m2/dev
Sloppy versus strict identity in ellipsis C0PXRNGVQD
| URI | m2://inv/C0PXRNGVQD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free variables and bound variables#H5IR, Sloppy versus strict identity in ellipsis (statement)
History
- 2026-11-02: add by m2/dev
Lorentz oscillator model C0PY7A3Q8R
| URI | m2://inv/C0PY7A3Q8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorentz oscillator model, Lorentz oscillator model (definition). Also Wikidata Q1870025
History
- 2026-11-02: add by m2/dev
Gabriella Tarantello C0Q1SQHD5M
| URI | m2://inv/C0Q1SQHD5M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gabriella Tarantello, Gabriella Tarantello (topic). Also Wikidata Q25969609
History
- 2026-11-02: add by m2/dev
C0Q34HKBAQ C0Q34HKBAQ
| URI | m2://inv/C0Q34HKBAQ |
|---|---|
| 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.19845#JGC1 (statement). In A8Y7B1MD91/e1, lemma B.3
History
- 2026-10-28: add by m2/v0.4.2
C0Q7DK8BFC C0Q7DK8BFC
| URI | m2://inv/C0Q7DK8BFC |
|---|---|
| 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.24845#AO5U (statement)
History
- 2026-11-01: add by m2/v0.6.15
Effort function C0Q9P636HE
| URI | m2://inv/C0Q9P636HE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11604#KLBL, Effort function (definition). In P1J9MCFE7N/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.3
K-nearest neighbors algorithm C0QCSHVCBG
| URI | m2://inv/C0QCSHVCBG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-nearest neighbors algorithm, K-nearest neighbors algorithm (definition). Also Wikidata Q1071612
History
- 2026-11-02: add by m2/dev
Stability C0R3XKWSKD
| URI | m2://inv/C0R3XKWSKD |
|---|---|
| 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.19273#C7SE, Stability (statement). In T3BY4TXYT4/e1, theorem A.3
History
- 2026-10-28: add by m2/v0.4.2
Properties C0R4WST59N
| URI | m2://inv/C0R4WST59N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit inferior and limit superior#EPZ7, Properties (statement)
History
- 2026-11-02: add by m2/dev
C0R5VY4ADH C0R5VY4ADH
| URI | m2://inv/C0R5VY4ADH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.04502#JZF2 (statement). In BT6E9BXXF3/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
C0RCFBDSJA C0RCFBDSJA
| URI | m2://inv/C0RCFBDSJA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-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.18512#7DS9 (statement). In 11JNM66Z09/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Max Noether's theorem on curves C0RGJJTS10
| URI | m2://inv/C0RGJJTS10 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Max Noether's theorem on curves, Max Noether's theorem on curves (statement). Also Wikidata Q48970607
History
- 2026-11-02: add by m2/dev
C0RH17DEDV C0RH17DEDV
| URI | m2://inv/C0RH17DEDV |
|---|---|
| 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.25133#EDWR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem (Pettis, 1938) C0RQE13A3D
| URI | m2://inv/C0RQE13A3D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weakly measurable function#Y6U0, Theorem (Pettis, 1938) (statement)
History
- 2026-11-02: add by m2/dev
Diane Maclagan C0S03ZP7HS
| URI | m2://inv/C0S03ZP7HS |
|---|---|
| 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 Q56223008, Diane Maclagan (unknown). Also nLab Diane Maclagan
- wikipedia: Wikipedia Diane Maclagan, Diane Maclagan (topic). Also Wikidata Q56223008
History
- 2026-10-26: add by m2/dev
C0SCWBZKFN C0SCWBZKFN
| URI | m2://inv/C0SCWBZKFN |
|---|---|
| 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.03062#7K8D (statement). In 5H7985A5SD/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.12
C0SE1ANDBD C0SE1ANDBD
| URI | m2://inv/C0SE1ANDBD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-28 (exercise). In VNMV985MXX, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
C0T8G3M6FT C0T8G3M6FT
| URI | m2://inv/C0T8G3M6FT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21670#ZME3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
exchange C0TJKGJAYY
| URI | m2://inv/C0TJKGJAYY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#FH55, exchange (definition)
History
- 2026-11-02: add by m2/dev
C0TMD482WP C0TMD482WP
| URI | m2://inv/C0TMD482WP |
|---|---|
| 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.18358#5BDN (statement). In SPZ446XNDW/e1, corollary 6.1
History
- 2026-10-28: add by m2/v0.4.2
C0TMQYD682 C0TMQYD682
| URI | m2://inv/C0TMQYD682 |
|---|---|
| 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.06544#Y7K8 (statement). In VCRB27RMN6/e1, proposition 11.1
History
- 2026-10-29: add by m2/v0.4.10
Generalizations C0TW5QB7A5
| URI | m2://inv/C0TW5QB7A5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean triple#KTA9, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Frisch–Waugh–Lovell theorem C0VBRNE999
| URI | m2://inv/C0VBRNE999 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DG9K, Frisch–Waugh–Lovell theorem (statement)
History
- 2026-11-02: add by m2/dev
Weighted variance on the actual trajectory C0VCMB7WEB
| URI | m2://inv/C0VCMB7WEB |
|---|---|
| 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.15202#D9M2, Weighted variance on the actual trajectory (statement). In X1FPG0KYBM/e1, corollary W.4
History
- 2026-10-28: add by m2/v0.4.2
C0VJ7E98XE C0VJ7E98XE
| URI | m2://inv/C0VJ7E98XE |
|---|---|
| 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.39706#VR6Q (statement). In 79Y8JJMKP4/e1, lemma 7.2
History
- 2026-10-30: add by m2/v0.4.12
Richard Schelp C0VM4Y02WW
| URI | m2://inv/C0VM4Y02WW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KD8U, Richard Schelp (topic)
History
- 2026-11-02: add by m2/dev
Dershowitz–Manna ordering C0VYH0NGR4
| URI | m2://inv/C0VYH0NGR4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dershowitz–Manna ordering, Dershowitz–Manna ordering (definition). Also Wikidata Q17008947
History
- 2026-11-02: add by m2/dev
Applications C0W2D6ARC9
| URI | m2://inv/C0W2D6ARC9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial decomposition#3U5C, Applications (example)
History
- 2026-11-02: add by m2/dev
Open problems C0W4BHGY13
| URI | m2://inv/C0W4BHGY13 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fine grained complexity#FLI2, Open problems (statement)
History
- 2026-11-02: add by m2/dev
C0W5K393WJ C0W5K393WJ
| URI | m2://inv/C0W5K393WJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24023#LOU7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
C0W8BYE7P3 C0W8BYE7P3
| URI | m2://inv/C0W8BYE7P3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#1X84 (statement). In H21X3FHNYJ/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.4.2
Common mode failure C0WFGJKX7V
| URI | m2://inv/C0WFGJKX7V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0JMY, Common mode failure (definition)
History
- 2026-11-02: add by m2/dev
CDF-based nonparametric confidence interval C0WPFB7J48
| URI | m2://inv/C0WPFB7J48 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1F5A, CDF-based nonparametric confidence interval (definition)
History
- 2026-11-02: add by m2/dev
Dual problem C0X2WQ1MQP
| URI | m2://inv/C0X2WQ1MQP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duality (optimization)#DFBK, Dual problem (unknown)
History
- 2026-11-02: add by m2/dev
Rule of succession C0X4T6FYP5
| URI | m2://inv/C0X4T6FYP5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#K8JW, Rule of succession (definition)
- wikipedia: Wikipedia List of statistics articles#NX7U, Rule of succession (definition)
- wikipedia: Wikipedia List of probability topics#4V72, Rule of succession (definition)
History
- 2026-11-02: add by m2/dev
C0X62VTH3W C0X62VTH3W
| URI | m2://inv/C0X62VTH3W |
|---|---|
| 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.09594#IQUA (statement). In TVE5WK2MH8/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
C0XDKH1402 C0XDKH1402
| URI | m2://inv/C0XDKH1402 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#9RMY (statement). In X9WFC1D9ZS/e1, proposition 58
History
- 2026-10-27: add by m2/v0.4.2
Torricelli's equation C0XHSSVEQW
| URI | m2://inv/C0XHSSVEQW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torricelli's equation, Torricelli's equation (definition). Also Wikidata Q2670060
History
- 2026-11-02: add by m2/dev
C0XQ7JXYJR C0XQ7JXYJR
| URI | m2://inv/C0XQ7JXYJR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18673#P2CZ (example). In 7ZFD9XRKA1/e1, example 2.28
History
- 2026-10-28: add by m2/v0.4.2
Labourie C0Y6W26AQ5
| URI | m2://inv/C0Y6W26AQ5 |
|---|---|
| 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 2609.32300#8N45, Labourie (statement). In VNE8N0D2FB/e1, theorem 5.6
History
- 2026-10-31: add by m2/v0.5.6
Sphere packing in a sphere C0YAFD9H1H
| URI | m2://inv/C0YAFD9H1H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sphere packing in a sphere, Sphere packing in a sphere (definition). Also Wikidata Q17078332
History
- 2026-11-02: add by m2/dev
Properties C0YBFRQVD6
| URI | m2://inv/C0YBFRQVD6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta negative binomial distribution#GG1R, Properties (statement)
History
- 2026-11-02: add by m2/dev
C0YDSBAE7G C0YDSBAE7G
| URI | m2://inv/C0YDSBAE7G |
|---|---|
| Kind | example |
| 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 2508.01642#RWIN (example). In CD9T8ZFES1/e1, example 2.3.2
History
- 2026-10-27: add by m2/v0.3.6
Properties C0YMHJFEYS
| URI | m2://inv/C0YMHJFEYS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Segre class#QE0P, Properties (statement)
History
- 2026-11-02: add by m2/dev
C0YNR4FA3K C0YNR4FA3K
| URI | m2://inv/C0YNR4FA3K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06045#180M (statement). In SVKM0852RJ/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.10
C0YTYTRCC5 C0YTYTRCC5
| URI | m2://inv/C0YTYTRCC5 |
|---|---|
| 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.23605#D42K (statement)
History
- 2026-11-02: add by m2/v0.6.17
C0ZDG9TBP5 C0ZDG9TBP5
| URI | m2://inv/C0ZDG9TBP5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38030#FBQ3 (statement). In XYYEJN00D8/e1, proposition 2.12
History
- 2026-10-30: add by m2/v0.4.12
Axiom 5 C0ZEDZ18PB
| URI | m2://inv/C0ZEDZ18PB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Construction of the real numbers#7AYN, Axiom 5 (statement)
History
- 2026-11-02: add by m2/dev
C0ZFZ11AYH C0ZFZ11AYH
| URI | m2://inv/C0ZFZ11AYH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroCardinality.tex#definition-2 (definition). In P1C114YBXG, definition, section D
History
- 2026-11-01: add by m2/v0.6.13
Rank-one attained refit risk on the plateau C0ZGGV0G37
| URI | m2://inv/C0ZGGV0G37 |
|---|---|
| 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.39408#P0Q8, Rank-one attained refit risk on the plateau (statement). In T8E6F01RTM/e1, theorem U.8
History
- 2026-10-30: add by m2/v0.4.12