Inventory rows 90
The cards of the rows of the inventory whose ids start with 90. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Differences between Coase and Pacman conjectures 9006HFFY2P
| URI | m2://inv/9006HFFY2P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pacman conjecture#G0S5, Differences between Coase and Pacman conjectures (statement)
History
- 2026-11-02: add by m2/dev
9009MX2SRH 9009MX2SRH
| URI | m2://inv/9009MX2SRH |
|---|---|
| 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 2308.05715#Y3ZF (definition). In FC0SB9JFWH/e1, definition 5.8
History
- 2026-10-27: add by m2/v0.3.5
Definition 9009NWTT1D
| URI | m2://inv/9009NWTT1D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electric potential energy#T3XU, Definition (definition)
History
- 2026-11-02: add by m2/dev
900SJTQGS4 900SJTQGS4
| URI | m2://inv/900SJTQGS4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09704#LAPT (statement). In FNG4B47MRV/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Theorem 2 90113MNWM1
| URI | m2://inv/90113MNWM1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generic-case complexity#MB4P, Theorem 2 (statement)
History
- 2026-11-02: add by m2/dev
901237YR40 901237YR40
| URI | m2://inv/901237YR40 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#GYJL (statement). In XX1J2REXY2/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
90180MJZ9T 90180MJZ9T
| URI | m2://inv/90180MJZ9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-zariski.tex#definition-2 (definition). In RZP28ERRZV, definition, section 28.3
History
- 2026-11-01: add by m2/v0.6.13
9019A23SYH 9019A23SYH
| URI | m2://inv/9019A23SYH |
|---|---|
| Kind | example |
| 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 2504.14383#PUBF (example). In QD0X3XJS6T/e1, example 6.1
History
- 2026-10-27: add by m2/v0.3.5
901FVHF1Q7 901FVHF1Q7
| URI | m2://inv/901FVHF1Q7 |
|---|---|
| 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.07890#O6HO (statement). In 6F3GSDT2V1/e1, proposition 5.13
History
- 2026-10-29: add by m2/v0.4.10
Definition 901K55QF52
| URI | m2://inv/901K55QF52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signed measure#YKBV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications 901VHMJX6C
| URI | m2://inv/901VHMJX6C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Near-ring#HWOB, Applications (example)
History
- 2026-11-02: add by m2/dev
CAPICOM 901YZDBNPA
| URI | m2://inv/901YZDBNPA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CAPICOM, CAPICOM (definition). Also Wikidata Q986358
History
- 2026-11-02: add by m2/dev
Wilks' theorem 90220R60QN
| URI | m2://inv/90220R60QN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5GH7, Wilks' theorem (statement)
History
- 2026-11-02: add by m2/dev
Properties 902224VJ95
| URI | m2://inv/902224VJ95 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy-continuous function#1OI4, Properties (statement)
History
- 2026-11-02: add by m2/dev
Anchor losses 9027W631T8
| URI | m2://inv/9027W631T8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anchor losses, Anchor losses (definition). Also Wikidata Q127390585
History
- 2026-11-02: add by m2/dev
9028QH1HVR 9028QH1HVR
| URI | m2://inv/9028QH1HVR |
|---|---|
| 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.14318#Z705 (statement). In HA4SZZJ831/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
quarter 902AFMQWPP
| URI | m2://inv/902AFMQWPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1643308, quarter (definition). Also ProofWiki Definition:Time/Unit/Quarter-Year
History
- 2026-10-26: add by m2/dev
Dirichlet's ellipsoidal problem 902JGSNWS4
| URI | m2://inv/902JGSNWS4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#04PY, Dirichlet's ellipsoidal problem (unknown)
History
- 2026-11-02: add by m2/dev
902MZN41HP 902MZN41HP
| URI | m2://inv/902MZN41HP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#seqconvsubseqconv:prop (statement). In E59CDZA4DP, prop, section 10.3.2
History
- 2026-11-01: add by m2/v0.6.13
retract 902VH4S7EJ
| URI | m2://inv/902VH4S7EJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#I3KE, retract (definition)
History
- 2026-11-02: add by m2/dev
Uses 9030DC2WSF
| URI | m2://inv/9030DC2WSF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Left recursion#NLV2, Uses (example)
History
- 2026-11-02: add by m2/dev
ansatz 90351RV1DQ
| URI | m2://inv/90351RV1DQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q568954, ansatz (definition). Also MathWorld Ansatz, ProofWiki Definition:Ansatz
- wikipedia: Wikipedia Ansatz, Ansatz (definition). Also Wikidata Q568954
History
- 2026-10-26: add by m2/dev
903EH7TEJ8 903EH7TEJ8
| URI | m2://inv/903EH7TEJ8 |
|---|---|
| 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.15643#10AZ (statement). In 7QFBJCRPW1/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.2
Brouwer fixed-point theorem 903H5R5E0X
| URI | m2://inv/903H5R5E0X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lefschetz fixed-point theorem#5LII, Brouwer fixed-point theorem (statement)
History
- 2026-11-02: add by m2/dev
Barry Simon 903KKA1KDN
| URI | m2://inv/903KKA1KDN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q370126, Barry Simon (unknown). Also nLab Barry Simon, ProofWiki Mathematician:Barry_Martin_Simon
History
- 2026-10-26: add by m2/dev
903MNYRSKT 903MNYRSKT
| URI | m2://inv/903MNYRSKT |
|---|---|
| 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 2609.22642#YZJM (statement)
History
- 2026-11-02: add by m2/v0.6.17
Box–Cox distribution 903PT2PHNJ
| URI | m2://inv/903PT2PHNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6K1P, Box–Cox distribution (definition)
History
- 2026-11-02: add by m2/dev
Primal-gradient tightness under controlled cross derivatives 903R1GWZ8P
| URI | m2://inv/903R1GWZ8P |
|---|---|
| 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.30877#V9JC, Primal-gradient tightness under controlled cross derivatives (statement). In QKNE21ABF3/e1, corollary 2
History
- 2026-10-31: add by m2/v0.5.6
Applications 903RNJ1PMJ
| URI | m2://inv/903RNJ1PMJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higher-order singular value decomposition#VCRY, Applications (example)
History
- 2026-11-02: add by m2/dev
9042CG9GHQ 9042CG9GHQ
| URI | m2://inv/9042CG9GHQ |
|---|---|
| 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.33108#XIL3 (definition). In 5JK5N2RRMS/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
904675TD35 904675TD35
| URI | m2://inv/904675TD35 |
|---|---|
| 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.31343#HPUR (definition). In F5JCVWMH4Q/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
Vittorio Castellano 9047H11D44
| URI | m2://inv/9047H11D44 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vittorio Castellano, Vittorio Castellano (topic). Also Wikidata Q7937307
History
- 2026-11-02: add by m2/dev
Loriano Bonora 9048PQRG4H
| URI | m2://inv/9048PQRG4H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q60168208, Loriano Bonora (unknown). Also nLab Loriano Bonora
History
- 2026-10-26: add by m2/dev
Rule 110 9049JE4MBR
| URI | m2://inv/9049JE4MBR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1876486, Rule 110 (unknown). Also MathWorld Rule110
- wikipedia: Wikipedia Rule 110, Rule 110 (definition). Also Wikidata Q1876486
History
- 2026-10-26: add by m2/dev
Saalschütz's theorem 904EEH7RKY
| URI | m2://inv/904EEH7RKY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized hypergeometric function#JPQS, Saalschütz's theorem (statement)
History
- 2026-11-02: add by m2/dev
904HKYS41Q 904HKYS41Q
| URI | m2://inv/904HKYS41Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23804#BFEB (statement)
History
- 2026-11-02: add by m2/v0.6.17
optimization over the phase fraction 904MFMNFZ7
| URI | m2://inv/904MFMNFZ7 |
|---|---|
| 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 2210.06147#O94B, optimization over the phase fraction (statement). In 94RBNQA07A/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
Genetic operator 904WCXDMXC
| URI | m2://inv/904WCXDMXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genetic operator, Genetic operator (definition). Also Wikidata Q629399
History
- 2026-11-02: add by m2/dev
Maximal-LFSR Floquet phases 904Z093F17
| URI | m2://inv/904Z093F17 |
|---|---|
| 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#YWRP, Maximal-LFSR Floquet phases (statement). In 1QSV7EQE3T/e1, lemma S36
History
- 2026-10-28: add by m2/v0.4.2
904ZD9CSR2 904ZD9CSR2
| URI | m2://inv/904ZD9CSR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.01919#ZD20 (statement). In 4H727T2YAS/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
Examples 9058BVWT6C
| URI | m2://inv/9058BVWT6C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lehmer matrix#KU51, Examples (example)
History
- 2026-11-02: add by m2/dev
905A9C212K 905A9C212K
| URI | m2://inv/905A9C212K |
|---|---|
| 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.04809#RH8W (statement). In 2VHV0RNTNV/e1, lemma 8.12
History
- 2026-10-29: add by m2/v0.4.12
Kripke–Platek set theory with urelements 905E0ECPMH
| URI | m2://inv/905E0ECPMH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kripke–Platek set theory with urelements, Kripke–Platek set theory with urelements (definition). Also Wikidata Q6437113
History
- 2026-11-02: add by m2/dev
Definition 905HPYV5XH
| URI | m2://inv/905HPYV5XH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway triangle notation#RF5A, Definition (definition)
History
- 2026-11-02: add by m2/dev
Reduction to conductor one 905J4S634T
| URI | m2://inv/905J4S634T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#GRUG, Reduction to conductor one (statement). In 7NS75J7HAM/e1, lemma 6.4
History
- 2026-10-31: add by m2/v0.5.6
Ecological study 905JY59K19
| URI | m2://inv/905JY59K19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ecological study, Ecological study (definition). Also Wikidata Q295136
History
- 2026-11-02: add by m2/dev
Zaltzman, Andy 905VF8A229
| URI | m2://inv/905VF8A229 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#OHY2, Zaltzman, Andy (unknown)
History
- 2026-11-02: add by m2/dev
9063N5RDDQ 9063N5RDDQ
| URI | m2://inv/9063N5RDDQ |
|---|---|
| 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 2312.05005#LJKP (statement). In SMJMAQ2S3J/e1, lemma 7
History
- 2026-10-27: add by m2/v0.4.0
9065K0W4HP 9065K0W4HP
| URI | m2://inv/9065K0W4HP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/stokes.tex#prob:div1802 (exercise). In RZP28ERRZV, problem, section 46.6
History
- 2026-11-01: add by m2/v0.6.13
9069NGE6RB 9069NGE6RB
| URI | m2://inv/9069NGE6RB |
|---|---|
| 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#MXZF (statement). In R515NECVME/e1, lemma 7.1
History
- 2026-10-30: add by m2/v0.4.12
Identity map 906K3CK458
| URI | m2://inv/906K3CK458 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensors in curvilinear coordinates#QH9Z, Identity map (statement)
History
- 2026-11-02: add by m2/dev
Donna DeEtte Elbert 906PCFJPEE
| URI | m2://inv/906PCFJPEE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donna DeEtte Elbert, Donna DeEtte Elbert (topic). Also Wikidata Q114027427
History
- 2026-11-02: add by m2/dev
Herbert Hauptman 9072JR2C1F
| URI | m2://inv/9072JR2C1F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#3BMC, Herbert Hauptman (unknown)
History
- 2026-11-02: add by m2/dev
strong Kleene connectives 907BAF6V51
| URI | m2://inv/907BAF6V51 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#9VXY, strong Kleene connectives (definition)
History
- 2026-11-02: add by m2/dev
Multidimensional analytic propagation 907CCE3Q2D
| URI | m2://inv/907CCE3Q2D |
|---|---|
| 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.28937#JHGD, Multidimensional analytic propagation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Zero-order hold 907J9G1J2M
| URI | m2://inv/907J9G1J2M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero-order hold, Zero-order hold (definition). Also Wikidata Q2907060
History
- 2026-11-02: add by m2/dev
Statement 907JTZMJ0Z
| URI | m2://inv/907JTZMJ0Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lander, Parkin, and Selfridge conjecture#477R, Statement (statement)
History
- 2026-11-02: add by m2/dev
Individual mean reflection for the pure gap 907S55DSH2
| URI | m2://inv/907S55DSH2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#HD3H, Individual mean reflection for the pure gap (statement)
History
- 2026-11-01: add by m2/v0.6.15
907VQFAKGZ 907VQFAKGZ
| URI | m2://inv/907VQFAKGZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10928#ZKLO (statement). In 8M7BFVQYMM/e1, corollary 6.10
History
- 2026-10-28: add by m2/v0.4.3
Fixed-point calculation of norm gluing 907ZR1QD67
| URI | m2://inv/907ZR1QD67 |
|---|---|
| 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#GAQ5, Fixed-point calculation of norm gluing (statement). In 7PACGDW3N7/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.4.0
Obstruction size and variables 9080Y41D2A
| URI | m2://inv/9080Y41D2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01329#LFN2, Obstruction size and variables (statement). In 7XEVYJKJ5C/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
Heap 908139R47B
| URI | m2://inv/908139R47B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heap (mathematics), Heap (definition). Also Wikidata Q5691503
History
- 2026-11-02: add by m2/dev
908D9XSTT0 908D9XSTT0
| URI | m2://inv/908D9XSTT0 |
|---|---|
| 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.04046#GK4E (statement). In 3THDT8WNF7/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.12
Examples 908E8S296E
| URI | m2://inv/908E8S296E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serre's property FA#0LCW, Examples (example)
History
- 2026-11-02: add by m2/dev
matrix, identity 908TT6CK4P
| URI | m2://inv/908TT6CK4P |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/2.2.1/matrix-identity, matrix, identity (concept). In 649HGZKE96, index, section 2.2.1
History
- 2026-11-01: add by m2/v0.6.13
A priori probability 9095SNX2AY
| URI | m2://inv/9095SNX2AY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2562379, A priori probability (unknown). Also EoM A_priori_probability
History
- 2026-10-26: add by m2/dev
Jean D. Gibbons 9098CAG76Y
| URI | m2://inv/9098CAG76Y |
|---|---|
| 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#SRLZ, Jean D. Gibbons (topic)
History
- 2026-11-02: add by m2/dev
Examples 909H1M15AT
| URI | m2://inv/909H1M15AT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zappa–Szép product#QIKQ, Examples (example)
History
- 2026-11-02: add by m2/dev
C-theorem 909N4N8E60
| URI | m2://inv/909N4N8E60 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5005965, C-theorem (statement). Also Wikidata Q5005965
- thousand_plus: thousand_plus Q5005965, C-theorem (statement). Also Wikidata Q5005965, Wikipedia C-theorem
- wikipedia: Wikipedia C-theorem, C-theorem (statement). Also Wikidata Q5005965
History
- 2026-10-26: add by m2/dev
909XYYZVM1 909XYYZVM1
| URI | m2://inv/909XYYZVM1 |
|---|---|
| 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#BI6C (statement). In BDN507RN7J/e1, theorem A
History
- 2026-10-30: add by m2/v0.4.12
Eugene Paul Wigner 90A3X0WPXJ
| URI | m2://inv/90A3X0WPXJ |
|---|---|
| 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 Q155790, Eugene Paul Wigner (unknown). Also nLab Eugene Wigner
- wikipedia: Wikipedia Eugene Wigner, Eugene Wigner (topic). Also Wikidata Q155790
History
- 2026-10-26: add by m2/dev
90A5DYM357 90A5DYM357
| URI | m2://inv/90A5DYM357 |
|---|---|
| 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#EIKA (statement). In N2W0AH1KRF/e1, lemma B.1
History
- 2026-10-30: add by m2/v0.4.12
Adam Falkowski 90AMCYEPKQ
| URI | m2://inv/90AMCYEPKQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q97600233, Adam Falkowski (unknown). Also nLab Adam Falkowski
History
- 2026-10-26: add by m2/dev
Hurwitz's theorem 90AMZ852ZM
| URI | m2://inv/90AMZ852ZM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#9CP4, Hurwitz's theorem (statement)
History
- 2026-11-02: add by m2/dev
90ANYZBBRQ 90ANYZBBRQ
| URI | m2://inv/90ANYZBBRQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.14319#2M2N (statement). In V0S2EZ53GB/e1, corollary 2.18
History
- 2026-10-27: add by m2/v0.3.5
90B2KDY7D4 90B2KDY7D4
| URI | m2://inv/90B2KDY7D4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09129#4PHJ (definition). In Z1RZSF68XZ/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Tensor product of complexes 90B7PH2YZJ
| URI | m2://inv/90B7PH2YZJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor product of modules#164M, Tensor product of complexes (unknown)
History
- 2026-11-02: add by m2/dev
90BRYXPP8K 90BRYXPP8K
| URI | m2://inv/90BRYXPP8K |
|---|---|
| Kind | conjecture |
| 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 1806.05002#37DY (conjecture). In JBAQ7DTW7B/e1, conjecture 3.1
History
- 2026-10-27: add by m2/v0.3.5
90BVMFQBAQ 90BVMFQBAQ
| URI | m2://inv/90BVMFQBAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03422#A73N (statement). In SF88CM0957/e1, corollary 4.6
History
- 2026-10-29: add by m2/v0.4.12
Generalized temperature 90C1B946G7
| URI | m2://inv/90C1B946G7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Temperature#ZBTR, Generalized temperature (unknown)
History
- 2026-11-02: add by m2/dev
Joanna Masingila 90C7W07CD2
| URI | m2://inv/90C7W07CD2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joanna Masingila, Joanna Masingila (topic). Also Wikidata Q16946659
History
- 2026-11-02: add by m2/dev
90C9D4GZZG 90C9D4GZZG
| URI | m2://inv/90C9D4GZZG |
|---|---|
| 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 2301.04933#HRD5 (statement). In Q70CTMCJTP/e1, theorem 5.5
History
- 2026-10-27: add by m2/v0.3.5
Pentagram 90CDHD5MV4
| URI | m2://inv/90CDHD5MV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#D0R0, Pentagram (definition)
- wikipedia: Wikipedia List of mathematical shapes#PY2U, Pentagram (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#0EJL, Pentagram (definition)
History
- 2026-11-02: add by m2/dev
90CG1MT73E 90CG1MT73E
| URI | m2://inv/90CG1MT73E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/vectors.tex#example-1 (example). In RZP28ERRZV, example, section 77.3
History
- 2026-11-01: add by m2/v0.6.13
Formal definition 90CQPDEWDK
| URI | m2://inv/90CQPDEWDK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete cosine transform#6Z59, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
90CZ858X1K 90CZ858X1K
| URI | m2://inv/90CZ858X1K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#0JMA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dynamic encryption 90CZSE0J12
| URI | m2://inv/90CZSE0J12 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic encryption, Dynamic encryption (definition). Also Wikidata Q65046291
History
- 2026-11-02: add by m2/dev
S 90DMECGTD3
| URI | m2://inv/90DMECGTD3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#7COM, S (definition)
History
- 2026-11-02: add by m2/dev
90DMR2BE8S 90DMR2BE8S
| URI | m2://inv/90DMR2BE8S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_kitchensink_zero-one-matrices.ptx#prop_partitioncover (statement). In QKM9DD2H56, proposition, section 16.5
History
- 2026-11-01: add by m2/v0.6.13
90DQKDKHDQ 90DQKDKHDQ
| URI | m2://inv/90DQKDKHDQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.03909#UWO1 (statement). In WWFAVFGPQQ/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.0
Stable cohomotopy theory 90DSK81VGE
| URI | m2://inv/90DSK81VGE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cohomology theories#5O80, Stable cohomotopy theory (unknown)
History
- 2026-11-02: add by m2/dev
Moment map identity 90DYABZPF4
| URI | m2://inv/90DYABZPF4 |
|---|---|
| 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#SC7G, Moment map identity (statement). In J55JTTKG84/e1, proposition 4.8
History
- 2026-10-29: add by m2/v0.4.12
Empirical probability 90E9BN5F21
| URI | m2://inv/90E9BN5F21 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ONEZ, Empirical probability (definition)
History
- 2026-11-02: add by m2/dev
\textbf{Uniform-in-time moment bounds for ULD 90EJDHTX2Z
| URI | m2://inv/90EJDHTX2Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20713#E4TI, \textbf{Uniform-in-time moment bounds for ULD (statement)
History
- 2026-11-02: add by m2/v0.6.18
Warren Ambrose 90ERTDX8BZ
| URI | m2://inv/90ERTDX8BZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#V7EN, Warren Ambrose (topic)
History
- 2026-11-02: add by m2/dev
Average-case bounds 90F6VEAXXS
| URI | m2://inv/90F6VEAXXS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#2H5D, Average-case bounds (statement). In ZZER8ZBSCR/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.12
Testing of drugs 90FC6JNM7S
| URI | m2://inv/90FC6JNM7S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clinical trial#KX7Y, Testing of drugs (unknown)
History
- 2026-11-02: add by m2/dev
Lighthouse paradox 90FGXWDGZ0
| URI | m2://inv/90FGXWDGZ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lighthouse paradox, Lighthouse paradox (statement). Also Wikidata Q25344726
History
- 2026-11-02: add by m2/dev
90FRY21SZZ 90FRY21SZZ
| URI | m2://inv/90FRY21SZZ |
|---|---|
| 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 2111.08123#VUW0 (statement). In TAAB0QAKAG/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
WRPN Calculator 90FSMWDPPN
| URI | m2://inv/90FSMWDPPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#8VFH, WRPN Calculator (definition)
History
- 2026-11-02: add by m2/dev
Zermelo–Fraenkel axioms 90FW7PWX4J
| URI | m2://inv/90FW7PWX4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#CV5M, Zermelo–Fraenkel axioms (definition)
History
- 2026-11-02: add by m2/dev
transport, in unit type 90G1HTRYSD
| URI | m2://inv/90G1HTRYSD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.8/transport-in-unit-type, transport, in unit type (concept). In N54F33XE07, index, section 1.8
History
- 2026-11-01: add by m2/v0.6.13
Cohen algebra 90G6QV82XG
| URI | m2://inv/90G6QV82XG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohen algebra, Cohen algebra (definition). Also Wikidata Q18348203
History
- 2026-11-02: add by m2/dev
Definition 90GBARFGEC
| URI | m2://inv/90GBARFGEC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lifting scheme#BZ8C, Definition (definition)
History
- 2026-11-02: add by m2/dev
Kate Calder 90GKFAKMZR
| URI | m2://inv/90GKFAKMZR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kate Calder, Kate Calder (topic). Also Wikidata Q25999495
History
- 2026-11-02: add by m2/dev
90GT7TR4Q7 90GT7TR4Q7
| URI | m2://inv/90GT7TR4Q7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35691#QHGC (statement). In G7R61RPWE2/e1, lemma 4.9
History
- 2026-10-30: add by m2/v0.4.12
vertex-minimality 90H4DZQZAC
| URI | m2://inv/90H4DZQZAC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#YOVM, vertex-minimality (statement). In PCAS8S14J6/e1, theorem A.3
History
- 2026-10-31: add by m2/v0.5.6
90HG78SCY9 90HG78SCY9
| URI | m2://inv/90HG78SCY9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37271#R28E (statement). In 9WP2QGKMG8/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
90HVWTY4D2 90HVWTY4D2
| URI | m2://inv/90HVWTY4D2 |
|---|---|
| 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.28674#FZBY (statement)
History
- 2026-11-01: add by m2/v0.6.15
90JJP1R7HE 90JJP1R7HE
| URI | m2://inv/90JJP1R7HE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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 2512.16003#6JIZ (definition). In BJGS6ZCQ12/e1, definition 7.5
History
- 2026-10-27: add by m2/v0.3.6
90JWCDAGNS 90JWCDAGNS
| URI | m2://inv/90JWCDAGNS |
|---|---|
| Kind | definition |
| 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.06458#DGVE (definition). In 4X93XG8NMD/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Angela Mihai 90JZN075TQ
| URI | m2://inv/90JZN075TQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angela Mihai, Angela Mihai (topic). Also Wikidata Q87779518
History
- 2026-11-02: add by m2/dev
90JZTY438W 90JZTY438W
| URI | m2://inv/90JZTY438W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13076#AUU7 (statement). In K7GJA4WGV7/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
Examples 90K2SYMVDP
| URI | m2://inv/90K2SYMVDP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delicate prime#8ETO, Examples (example)
History
- 2026-11-02: add by m2/dev
Theorem 90KDSA8GKP
| URI | m2://inv/90KDSA8GKP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markushevich basis#PK9U, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Round constant 90KNN93R9E
| URI | m2://inv/90KNN93R9E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Round (cryptography)#YKJ5, Round constant (unknown)
History
- 2026-11-02: add by m2/dev
atriphtaloid 90KQE79MG6
| URI | m2://inv/90KQE79MG6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1846429, atriphtaloid (unknown). Also MathWorld Atriphtaloid
History
- 2026-10-26: add by m2/dev
90KSQXDQYM 90KSQXDQYM
| URI | m2://inv/90KSQXDQYM |
|---|---|
| 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#RV4F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Veeravalli S. Varadarajan 90KZRQP8DH
| URI | m2://inv/90KZRQP8DH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Veeravalli S. Varadarajan, Veeravalli S. Varadarajan (topic). Also Wikidata Q7918205
History
- 2026-11-02: add by m2/dev
Boolean delay equation 90M0YVK2NS
| URI | m2://inv/90M0YVK2NS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean delay equation, Boolean delay equation (definition). Also Wikidata Q4943355
History
- 2026-11-02: add by m2/dev
Representations 90M4VTGEZ2
| URI | m2://inv/90M4VTGEZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambert W function#CAUL, Representations (definition)
History
- 2026-11-02: add by m2/dev
Core finite-horizon bound 90MNZW8ECZ
| URI | m2://inv/90MNZW8ECZ |
|---|---|
| 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.35631#85BV, Core finite-horizon bound (statement). In 9NCX0S6MTP/e1, proposition D.8
History
- 2026-10-30: add by m2/v0.4.12
Harold Taylor 90N7JA3M59
| URI | m2://inv/90N7JA3M59 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harold Taylor (architectural historian), Harold Taylor (topic). Also Wikidata Q5661704
History
- 2026-11-02: add by m2/dev
90NJMDJY96 90NJMDJY96
| URI | m2://inv/90NJMDJY96 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.13734#IK7P (statement). In 7AXKHR4YB3/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.3.6
90NK282C4C 90NK282C4C
| URI | m2://inv/90NK282C4C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#865Y (definition). In 9DQKY7KGE8/e1, definition 7.5
History
- 2026-10-31: add by m2/v0.5.6
90NSEH20W0 90NSEH20W0
| URI | m2://inv/90NSEH20W0 |
|---|---|
| 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 2609.23528#2H2D (definition)
History
- 2026-11-02: add by m2/v0.6.17
neighbourhood 90PCM475KE
| URI | m2://inv/90PCM475KE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#I4TC, neighbourhood (definition)
History
- 2026-11-02: add by m2/dev
90PD9V2GMA 90PD9V2GMA
| URI | m2://inv/90PD9V2GMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#3QWL (statement)
History
- 2026-11-02: add by m2/v0.6.18
90PMPP8GVK 90PMPP8GVK
| URI | m2://inv/90PMPP8GVK |
|---|---|
| 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 2608.23797#DX77 (statement). In PZCA01JXVR/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
90PN81RTWQ 90PN81RTWQ
| URI | m2://inv/90PN81RTWQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-302 (exercise). In VNMV985MXX, exercise, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Theorem 90PND99Y5F
| URI | m2://inv/90PND99Y5F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cover's theorem#0XVR, Theorem (statement)
History
- 2026-11-02: add by m2/dev
$(\infty,1)$-category 90PV88Q9T1
| URI | m2://inv/90PV88Q9T1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2/infty-1-category, $(\infty,1)$-category (concept). In N54F33XE07, index, section 2
History
- 2026-11-01: add by m2/v0.6.13
Lightly compressible solitary waves 90PVQ5Z5N3
| URI | m2://inv/90PVQ5Z5N3 |
|---|---|
| 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.01883#J491, Lightly compressible solitary waves (statement). In CYV4P9TDV0/e1, theorem 3.7
History
- 2026-10-29: add by m2/v0.4.12
90PVWWVV9D 90PVWWVV9D
| URI | m2://inv/90PVWWVV9D |
|---|---|
| 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.17258#SG96 (statement). In F4M67ZVBF2/e1, corollary 2.7
History
- 2026-10-28: add by m2/v0.4.2
90QBV9A60T 90QBV9A60T
| URI | m2://inv/90QBV9A60T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#LOF1 (statement). In SD28S3K7BT/e1, theorem 31
History
- 2026-10-29: add by m2/v0.4.12
90QC0JXXDF 90QC0JXXDF
| URI | m2://inv/90QC0JXXDF |
|---|---|
| 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.18219#IS3Z (statement). In X1AGBB90EH/e1, lemma 7.12
History
- 2026-10-28: add by m2/v0.4.2
NX Nastran 90QF3MX90J
| URI | m2://inv/90QF3MX90J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nastran#VWAY, NX Nastran (unknown)
History
- 2026-11-02: add by m2/dev
90QSE5G400 90QSE5G400
| URI | m2://inv/90QSE5G400 |
|---|---|
| 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#LT5F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hole (topology) 90QV54CCAY
| URI | m2://inv/90QV54CCAY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hole#65EG, Hole (topology) (unknown)
History
- 2026-11-02: add by m2/dev
Epsilon number 90QV9H74EK
| URI | m2://inv/90QV9H74EK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epsilon number, Epsilon number (definition). Also Wikidata Q1403155
History
- 2026-11-02: add by m2/dev
90R1WST2FN 90R1WST2FN
| URI | m2://inv/90R1WST2FN |
|---|---|
| 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.28674#5MUN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conditional hard estimate 90R3KEJ3GW
| URI | m2://inv/90R3KEJ3GW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12456#R4XC, Conditional hard estimate (statement). In 5XPM4E03W6/e1, proposition 4.10
History
- 2026-10-28: add by m2/v0.4.2
Transversal (combinatorics) 90R4YNYX7Z
| URI | m2://inv/90R4YNYX7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#LCOD, Transversal (combinatorics) (definition)
History
- 2026-11-02: add by m2/dev
Pell primes 90R7A1NZ1N
| URI | m2://inv/90R7A1NZ1N |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#2ELV, Pell primes (conjecture)
History
- 2026-11-02: add by m2/dev
Bubble decomposition 90RH2CDCYS
| URI | m2://inv/90RH2CDCYS |
|---|---|
| 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.02714#TFAP, Bubble decomposition (statement). In R9AXCJWK8F/e1, theorem 20
History
- 2026-10-29: add by m2/v0.4.12
Nicholas Hunter Heck 90RK8P5J8R
| URI | m2://inv/90RK8P5J8R |
|---|---|
| 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#5W4Y, Nicholas Hunter Heck (unknown)
History
- 2026-11-02: add by m2/dev
Édouard Lucas 90RNZRJMC0
| URI | m2://inv/90RNZRJMC0 |
|---|---|
| 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 Q274377, Édouard Lucas (unknown). Also ProofWiki Mathematician:François_Édouard_Anatole_Lucas
- wikipedia: Wikipedia Édouard Lucas, Édouard Lucas (topic). Also Wikidata Q274377
History
- 2026-10-26: add by m2/dev
Shimura's reciprocity law 90S1A4ZFP7
| URI | m2://inv/90S1A4ZFP7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shimura's reciprocity law, Shimura's reciprocity law (statement). Also Wikidata Q7497057
History
- 2026-11-02: add by m2/dev
Fundamental functions of propositions 90SG2H7R2C
| URI | m2://inv/90SG2H7R2C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peano–Russell notation#VPBR, Fundamental functions of propositions (statement)
History
- 2026-11-02: add by m2/dev
90SGX78MAH 90SGX78MAH
| URI | m2://inv/90SGX78MAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#2OJ6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
90SKHRJ7HY 90SKHRJ7HY
| URI | m2://inv/90SKHRJ7HY |
|---|---|
| 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.08196#6BKO (statement). In 8QVWZ23N42/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
90SSYWS3KC 90SSYWS3KC
| URI | m2://inv/90SSYWS3KC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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.09422#93CN (statement). In MS7M2BJS9X/e1, lemma 4.12
History
- 2026-10-29: add by m2/v0.4.10
90TRP6D860 90TRP6D860
| URI | m2://inv/90TRP6D860 |
|---|---|
| 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.17442#AF4D (statement). In 6ADGJ51W1P/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
Igor Olshansky 90TZ0A9QCF
| URI | m2://inv/90TZ0A9QCF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#O5WA, Igor Olshansky (unknown)
History
- 2026-11-02: add by m2/dev
90V0JYN0K2 90V0JYN0K2
| URI | m2://inv/90V0JYN0K2 |
|---|---|
| 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 2610.20207#EKSZ (statement). In 1MPH7GCFJ2/e1, theorem C
History
- 2026-10-27: add by m2/v0.4.2
90VBFAAKW4 90VBFAAKW4
| URI | m2://inv/90VBFAAKW4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20385#G032 (statement). In 54HS9AHWPE/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.2
Synchrotron X-ray tomographic microscopy 90VK6NRT1P
| URI | m2://inv/90VK6NRT1P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tomography#EI9G, Synchrotron X-ray tomographic microscopy (unknown)
History
- 2026-11-02: add by m2/dev
Informal statement 90VP6M61GK
| URI | m2://inv/90VP6M61GK |
|---|---|
| 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.03306#Z6D8, Informal statement (statement). In CXQ7FKSKSB/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Hero of Alexandria 90VTCD4KNJ
| URI | m2://inv/90VTCD4KNJ |
|---|---|
| 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 Q161853, Hero of Alexandria (unknown). Also ProofWiki Mathematician:Heron_of_Alexandria
- wikipedia: Wikipedia Hero of Alexandria, Hero of Alexandria (topic). Also Wikidata Q161853
History
- 2026-10-26: add by m2/dev
90VYCXSG7K 90VYCXSG7K
| URI | m2://inv/90VYCXSG7K |
|---|---|
| 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.31269#6SG3 (statement). In ZPT9XCCAPQ/e1, lemma 3.3.1
History
- 2026-10-31: add by m2/v0.5.6
Expected Hamming distance between noisy and noiseless one-bit measurements 90W0A4T29M
| URI | m2://inv/90W0A4T29M |
|---|---|
| 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.11834#SH99, Expected Hamming distance between noisy and noiseless one-bit measurements (statement). In SMC03CWP4R/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.3
90W0NRXN7M 90W0NRXN7M
| URI | m2://inv/90W0NRXN7M |
|---|---|
| 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 2606.16311#3E8R (statement). In 3G0HCK0DVA/e1, lemma A.4
History
- 2026-10-27: add by m2/v0.3.5
90W2D1X7NB 90W2D1X7NB
| URI | m2://inv/90W2D1X7NB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-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.06747#MCZS (statement). In AB2WPR2FRR/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
90WM91GT67 90WM91GT67
| URI | m2://inv/90WM91GT67 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#example-8 (example). In E9HS8K3A52, example, section 7.2.2
History
- 2026-11-01: add by m2/v0.6.13
Definition 90WMW4FP3A
| URI | m2://inv/90WMW4FP3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric cone#Z0EL, Definition (definition)
History
- 2026-11-02: add by m2/dev
$L^2$-estimate for the elliptic projection 90WPHMT926
| URI | m2://inv/90WPHMT926 |
|---|---|
| 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.01504#0ZZG, $L^2$-estimate for the elliptic projection (statement). In JAVB10Q2YZ/e1, theorem 5.7
History
- 2026-10-29: add by m2/v0.4.12
90WZVPQJ08 90WZVPQJ08
| URI | m2://inv/90WZVPQJ08 |
|---|---|
| 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.20588#7ATV (definition)
History
- 2026-11-02: add by m2/v0.6.18
Hee Sik Kim 90X2PNK0XD
| URI | m2://inv/90X2PNK0XD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q87518273, Hee Sik Kim (unknown). Also ProofWiki Mathematician:Hee_Sik_Kim
History
- 2026-10-26: add by m2/dev
Extensionality for !!^{sentence}s 90X5BM2WTF
| URI | m2://inv/90X5BM2WTF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/extensionality.tex#cor:extensionality-sent, Extensionality for !!^{sentence}s (statement). In PKGMM3P5QY, cor, section 19.6
History
- 2026-11-01: add by m2/v0.6.13
90XA0QEV0V 90XA0QEV0V
| URI | m2://inv/90XA0QEV0V |
|---|---|
| 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.40156#B27W (statement). In PP8BEHWK33/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Algorithms for optimization 90XESFEQ72
| URI | m2://inv/90XESFEQ72 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical optimization#O34W, Algorithms for optimization (unknown)
History
- 2026-11-02: add by m2/dev
90XKWZ7ZX0 90XKWZ7ZX0
| URI | m2://inv/90XKWZ7ZX0 |
|---|---|
| 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.17589#GGON (statement). In GSTK4569X1/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
Global implicit function theorem 90XM4CB1HH
| URI | m2://inv/90XM4CB1HH |
|---|---|
| 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.01883#K4X8, Global implicit function theorem (statement). In CYV4P9TDV0/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
90XV3GD321 90XV3GD321
| URI | m2://inv/90XV3GD321 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.03909#NWGX (statement). In WWFAVFGPQQ/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.4.0
Sequences 90XXNEBDNF
| URI | m2://inv/90XXNEBDNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequences (book), Sequences (definition). Also Wikidata Q96405313
History
- 2026-11-02: add by m2/dev
Definition 90Y3KZ2Y06
| URI | m2://inv/90Y3KZ2Y06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sobol sequence#NGUD, Definition (definition)
History
- 2026-11-02: add by m2/dev
Removing the singularity does not make oversight keep pace 90YAAFY8TA
| URI | m2://inv/90YAAFY8TA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18445#SFNM, Removing the singularity does not make oversight keep pace (example). In X63FGXZP4F/e1, example 6.4
History
- 2026-10-28: add by m2/v0.4.2
90YCSFN3GM 90YCSFN3GM
| URI | m2://inv/90YCSFN3GM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.16102#SFR8 (statement). In 55QFMZQ5HM/e1, theorem 1.7
History
- 2026-10-27: add by m2/v0.3.6
Wu-Chung Hsiang 90YEMS1NZB
| URI | m2://inv/90YEMS1NZB |
|---|---|
| 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#H41E, Wu-Chung Hsiang (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#K2HM, Wu-Chung Hsiang (topic)
History
- 2026-11-02: add by m2/dev
Projection properties 90YJW8XK48
| URI | m2://inv/90YJW8XK48 |
|---|---|
| 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.22513#CVWI, Projection properties (statement)
History
- 2026-11-02: add by m2/v0.6.17
Catharina Stroppel 90YJZ31KAM
| URI | m2://inv/90YJZ31KAM |
|---|---|
| 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 Q6568683, Catharina Stroppel (unknown). Also nLab Catharina Stroppel
- wikipedia: Wikipedia Catharina Stroppel, Catharina Stroppel (topic). Also Wikidata Q6568683
History
- 2026-10-26: add by m2/dev
The (n!)-th composite number. 90YJZE68W5
| URI | m2://inv/90YJZE68W5 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100194489, The (n!)-th composite number. (object). Also OEIS A073167
History
- 2026-10-26: add by m2/dev
compactness in terms of filters 90YPGRGS24
| URI | m2://inv/90YPGRGS24 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > compactness in terms of filters, compactness in terms of filters (unknown). Also Mathlib IsCompact
History
- 2026-10-26: add by m2/dev
Great grand stellated 120-cell 90YSA17RA9
| URI | m2://inv/90YSA17RA9 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great grand stellated 120-cell, Great grand stellated 120-cell (object). Also Wikidata Q5600360
History
- 2026-11-02: add by m2/dev
Proposition 90YVNAJWQH
| URI | m2://inv/90YVNAJWQH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electronic mail game#82TF, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Strong recursive feasibility 90YVT28TDV
| URI | m2://inv/90YVT28TDV |
|---|---|
| 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 2303.11021#0275, Strong recursive feasibility (definition). In B2ZK4DF2PM/e1, definition 2
History
- 2026-10-27: add by m2/v0.4.0
Bibliography of E. T. Whittaker 90Z6SVQ99H
| URI | m2://inv/90Z6SVQ99H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bibliography of E. T. Whittaker, Bibliography of E. T. Whittaker (definition). Also Wikidata Q104861275
History
- 2026-11-02: add by m2/dev
Technique before formalism 90ZGS4DGZZ
| URI | m2://inv/90ZGS4DGZZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.14735#U9PC, Technique before formalism (statement). In XB5GPTZ6JF/e1, statement 4
History
- 2026-10-28: add by m2/v0.4.2