Inventory rows C6
The cards of the rows of the inventory whose ids start with C6. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Siemion Fajtlowicz C6012P18PG
| URI | m2://inv/C6012P18PG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#M0G4, Siemion Fajtlowicz (unknown)
History
- 2026-11-02: add by m2/dev
Nonparametric skew C60CP48AJ6
| URI | m2://inv/C60CP48AJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MAI8, Nonparametric skew (definition)
History
- 2026-11-02: add by m2/dev
Example C60DZKEFFT
| URI | m2://inv/C60DZKEFFT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Revenue equivalence#K7MX, Example (example)
History
- 2026-11-02: add by m2/dev
\probname{MaxCut C60TMJS8FM
| URI | m2://inv/C60TMJS8FM |
|---|---|
| Kind | problem |
| 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.38436#DWRA, \probname{MaxCut (problem). In 702AF3E4AF/e1, problem 6.3
History
- 2026-10-30: add by m2/v0.4.12
C60WJXJ9NB C60WJXJ9NB
| URI | m2://inv/C60WJXJ9NB |
|---|---|
| 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#TIUA (statement)
History
- 2026-11-01: add by m2/v0.6.15
idempotent C60XNDJYK3
| URI | m2://inv/C60XNDJYK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#TQ0Q, idempotent (definition)
History
- 2026-11-02: add by m2/dev
Properties of the Extended Envelope C60YAYJVR1
| URI | m2://inv/C60YAYJVR1 |
|---|---|
| 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.33946#9U4Q, Properties of the Extended Envelope (statement). In T61D8EZH24/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
Analytic grammar C610Z7MZDR
| URI | m2://inv/C610Z7MZDR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal grammar#M8J8, Analytic grammar (unknown)
History
- 2026-11-02: add by m2/dev
Verdier localization C6147M87VC
| URI | m2://inv/C6147M87VC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#7UUT, Verdier localization (definition)
History
- 2026-11-02: add by m2/dev
C61520K8SN C61520K8SN
| URI | m2://inv/C61520K8SN |
|---|---|
| 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.28265#ZHJ2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications C6172KFTTN
| URI | m2://inv/C6172KFTTN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structure constants#UOJ5, Applications (example)
History
- 2026-11-02: add by m2/dev
Admissible deformations $\adm_j(T),\adm_j(C,T)$ and $\Delta_j|T|_\tau(A)$ C61P6108ES
| URI | m2://inv/C61P6108ES |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24451#M5DE, Admissible deformations $\adm_j(T),\adm_j(C,T)$ and $\Delta_j|T|_\tau(A)$ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Coleman–Oort conjecture C6201XS2ZB
| URI | m2://inv/C6201XS2ZB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia André–Oort conjecture#NM1C, Coleman–Oort conjecture (statement)
History
- 2026-11-02: add by m2/dev
ind-scheme C6207YABEQ
| URI | m2://inv/C6207YABEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#SLUL, ind-scheme (definition)
History
- 2026-11-02: add by m2/dev
C620EB6PGM C620EB6PGM
| URI | m2://inv/C620EB6PGM |
|---|---|
| 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.26455#P3QF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Covariance of radial perturbations C620HMSDWE
| URI | m2://inv/C620HMSDWE |
|---|---|
| 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.32710#I5QD, Covariance of radial perturbations (statement). In KVYG6R7CGJ/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
C62EWQFE1J C62EWQFE1J
| URI | m2://inv/C62EWQFE1J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX, 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 2609.30262#F9OF (definition). In FWA5QW6FCF/e1, definition 6.2
History
- 2026-10-31: add by m2/v0.5.6
Definition C62EXAD7EE
| URI | m2://inv/C62EXAD7EE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph algebra#UGEU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Antonio Ambrosetti C62T6FFAD7
| URI | m2://inv/C62T6FFAD7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antonio Ambrosetti, Antonio Ambrosetti (topic). Also Wikidata Q3619171
History
- 2026-11-02: add by m2/dev
C62Y1WYRVP C62Y1WYRVP
| URI | m2://inv/C62Y1WYRVP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/swapsum.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 70.1
History
- 2026-11-01: add by m2/v0.6.13
C639JCJ30T C639JCJ30T
| URI | m2://inv/C639JCJ30T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-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.20131#SYMI (definition). In 29D4TTE3J2/e1, definition 6.3
History
- 2026-10-27: add by m2/v0.4.2
Examples C63C5K1SND
| URI | m2://inv/C63C5K1SND |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuratowski convergence#GBVU, Examples (example)
History
- 2026-11-02: add by m2/dev
Scale C63EB3WF9V
| URI | m2://inv/C63EB3WF9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scale (analytical tool), Scale (definition). Also Wikidata Q25203999
History
- 2026-11-02: add by m2/dev
C63FT607N0 C63FT607N0
| URI | m2://inv/C63FT607N0 |
|---|---|
| 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.02669#2OPH (statement). In NSBSWH6XB4/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
C63WT1J98C C63WT1J98C
| URI | m2://inv/C63WT1J98C |
|---|---|
| Kind | definition |
| 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.01251#7XKQ (definition). In CZ2247RGQ4/e1, definition 3.1.5
History
- 2026-10-29: add by m2/v0.4.12
Stability C63YK1JC5V
| URI | m2://inv/C63YK1JC5V |
|---|---|
| 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.20910#X1GW, Stability (statement). In CETHKW9EBV/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.4.2
Marty Golubitsky C643PNSW30
| URI | m2://inv/C643PNSW30 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marty Golubitsky, Marty Golubitsky (topic). Also Wikidata Q15410754
History
- 2026-11-02: add by m2/dev
C64DCFKGEK C64DCFKGEK
| URI | m2://inv/C64DCFKGEK |
|---|---|
| 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.33015#JVFI (definition). In W6Y6NPK648/e1, definition 5.4
History
- 2026-10-27: add by m2/v0.3.5
Theorem (C. Ursescu) C64DHA3F9S
| URI | m2://inv/C64DHA3F9S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete metric space#U72K, Theorem (C. Ursescu) (statement)
History
- 2026-11-02: add by m2/dev
C64GP6YP20 C64GP6YP20
| URI | m2://inv/C64GP6YP20 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10925#O5KP (statement). In 9604WYX0BW/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.3
C64JS9JS8Y C64JS9JS8Y
| URI | m2://inv/C64JS9JS8Y |
|---|---|
| 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.24553#L3D4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Let generalization C64KX48M3Y
| URI | m2://inv/C64KX48M3Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hindley–Milner type system#3IY7, Let generalization (unknown)
History
- 2026-11-02: add by m2/dev
Douglas Anderton C64VK8Y3P3
| URI | m2://inv/C64VK8Y3P3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#Y447, Douglas Anderton (unknown)
History
- 2026-11-02: add by m2/dev
Agreement forest C6536YAGDD
| URI | m2://inv/C6536YAGDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Agreement forest, Agreement forest (definition). Also Wikidata Q25109624
History
- 2026-11-02: add by m2/dev
Escape from oversmoothing C656NN3SWT
| URI | m2://inv/C656NN3SWT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.28185#EAUX, Escape from oversmoothing (definition). In EG1XXNSTXX/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Standard-setting study C658F69F51
| URI | m2://inv/C658F69F51 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard-setting study, Standard-setting study (definition). Also Wikidata Q7598155
History
- 2026-11-02: add by m2/dev
Richardson's theorem C65D51S417
| URI | m2://inv/C65D51S417 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1249069, Richardson's theorem (statement). Also Wikidata Q1249069
- thousand_plus: thousand_plus Q1249069, Richardson's theorem (statement). Also Wikidata Q1249069, Wikipedia Richardson's theorem
- wikidata: Wikidata Q1249069, Richardson's theorem (statement). Also MathWorld RichardsonsTheorem
- wikipedia: Wikipedia Richardson's theorem, Richardson's theorem (statement). Also Wikidata Q1249069
History
- 2026-10-26: add by m2/dev
C65FYHKX1N C65FYHKX1N
| URI | m2://inv/C65FYHKX1N |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07122#1FC4 (example). In W0ZHX9DHPV/e1, example 15
History
- 2026-10-29: add by m2/v0.4.10
C65HXW80QH C65HXW80QH
| URI | m2://inv/C65HXW80QH |
|---|---|
| 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 math/9802134#BRSO (statement). In 235B1J1ETB/e1, lemma 1.3
History
- 2026-10-27: add by m2/v0.3.5
Example C65R3VPG6P
| URI | m2://inv/C65R3VPG6P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero stability#2X6Y, Example (example)
History
- 2026-11-02: add by m2/dev
Euler class C660D2XDJD
| URI | m2://inv/C660D2XDJD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Euler class BJX6QS0ANT |
Mentions
- wikidata: Wikidata Q2193452, Euler class (unknown). Also nLab Euler class
- wikipedia: Wikipedia Euler class, Euler class (definition). Also Wikidata Q2193452
History
- 2026-10-26: add by m2/dev
place C660SY95BR
| URI | m2://inv/C660SY95BR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#U5JW, place (definition)
History
- 2026-11-02: add by m2/dev
C662ZW4N2R C662ZW4N2R
| URI | m2://inv/C662ZW4N2R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22924#TCQS (statement)
History
- 2026-11-02: add by m2/v0.6.17
Fourier transform as an integral C665DCZMGQ
| URI | m2://inv/C665DCZMGQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Fourier analysis > Fourier transform as an integral, Fourier transform as an integral (unknown). Also Mathlib Real.fourier_eq
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Fourier analysis > Fourier transform on $\mathrm{L}^1(\R^d)$, Fourier transform on $\mathrm{L}^1(\R^d)$ (unknown). Also Mathlib Real.fourier_eq
History
- 2026-10-26: add by m2/dev
Lamé curve C666R20CGG
| URI | m2://inv/C666R20CGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#1Z0Q, Lamé curve (definition)
- wikipedia: Wikipedia List of curves#RFUG, Lamé curve (definition)
History
- 2026-11-02: add by m2/dev
axiom, of separation C667CC87WV
| URI | m2://inv/C667CC87WV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/axiom-of-separation, axiom, of separation (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
C66FSWQBV7 C66FSWQBV7
| URI | m2://inv/C66FSWQBV7 |
|---|---|
| Kind | statement |
| 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#RCVN (statement). In 9DQKY7KGE8/e1, proposition 6.32
History
- 2026-10-27: add by m2/v0.3.5
SuanShu C66JV5XQWX
| URI | m2://inv/C66JV5XQWX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#YIXK, SuanShu (unknown)
History
- 2026-11-02: add by m2/dev
C66P2PTMSA C66P2PTMSA
| URI | m2://inv/C66P2PTMSA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.28141#SZ33 (statement)
History
- 2026-11-01: add by m2/v0.6.15
C66VBBJQW5 C66VBBJQW5
| URI | m2://inv/C66VBBJQW5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0806.0033#OCZ3 (definition). In RV34HVZMB3/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Affine evolution C66ZTCCFM6
| URI | m2://inv/C66ZTCCFM6 |
|---|---|
| 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.16248#ICNM, Affine evolution (statement). In TP61DYMBMK/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
C672SD4C5M C672SD4C5M
| URI | m2://inv/C672SD4C5M |
|---|---|
| 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-53 (exercise). In E9HS8K3A52, exercise, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
C674E8EMYZ C674E8EMYZ
| URI | m2://inv/C674E8EMYZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-15 (proof). In VNMV985MXX, proof, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
Uncertain data C676ZMDES0
| URI | m2://inv/C676ZMDES0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uncertain data, Uncertain data (definition). Also Wikidata Q7882489
History
- 2026-11-02: add by m2/dev
John Maynard Keynes C677YV6A9D
| URI | m2://inv/C677YV6A9D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#A45D, John Maynard Keynes (unknown)
History
- 2026-11-02: add by m2/dev
Pauli group C67FX20V9V
| URI | m2://inv/C67FX20V9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pauli group, Pauli group (definition). Also Wikidata Q7154882
History
- 2026-11-02: add by m2/dev
Non-examples C67GJVSWT0
| URI | m2://inv/C67GJVSWT0 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maschke's theorem#0U4U, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
C67MQM1JDF C67MQM1JDF
| URI | m2://inv/C67MQM1JDF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-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.21090#WU62 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Algorithm C67S28CHWD
| URI | m2://inv/C67S28CHWD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bregman method#X6TQ, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Erdős–Hajnal conjecture C67V7QP1AJ
| URI | m2://inv/C67V7QP1AJ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#8GKZ, Erdős–Hajnal conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Z-buffering C681DCJXAN
| URI | m2://inv/C681DCJXAN |
|---|---|
| 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#76AL, Z-buffering (unknown)
History
- 2026-11-02: add by m2/dev
C682R1QK4M C682R1QK4M
| URI | m2://inv/C682R1QK4M |
|---|---|
| Kind | definition |
| 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.09162#VC71 (definition). In TAPS8P2VYS/e1, definition 1.7
History
- 2026-10-29: add by m2/v0.4.10
Gauss norm C6857DFK5Q
| URI | m2://inv/C6857DFK5Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restricted power series#LULP, Gauss norm (unknown)
History
- 2026-11-02: add by m2/dev
Levi decomposition C689KCRWZA
| URI | m2://inv/C689KCRWZA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 22-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6535568, Levi's theorem (statement). Also Wikidata Q6535568
- thousand_plus: thousand_plus Q6535568, Levi's theorem (statement). Also Wikidata Q6535568, Wikipedia Levi's theorem
- wikipedia: Wikipedia Levi decomposition, Levi decomposition (definition). Also Wikidata Q6535568
History
- 2026-10-26: add by m2/dev
C68KVNETA9 C68KVNETA9
| URI | m2://inv/C68KVNETA9 |
|---|---|
| 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.26180#20LR (statement)
History
- 2026-11-01: add by m2/v0.6.15
focal C68MPQH764
| URI | m2://inv/C68MPQH764 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinal point (optics)#DYFI, focal (definition)
- wikipedia: Wikipedia Cardinal point (optics)#K95O, Afocal (definition)
History
- 2026-11-02: add by m2/dev
C68SGSG67A C68SGSG67A
| URI | m2://inv/C68SGSG67A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31907#I011 (statement). In 6B2PCEGCYZ/e1, proposition 5.14
History
- 2026-10-31: add by m2/v0.5.6
Recovery error C68X6661ET
| URI | m2://inv/C68X6661ET |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10519#UIE8, Recovery error (definition). In 83MMH8VF1X/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.10
Markov kernel; (Aliprantis and Border, 2006, Definition 19.11 C68Y9RBESK
| URI | m2://inv/C68Y9RBESK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28181#234A, Markov kernel; (Aliprantis and Border, 2006, Definition 19.11 (definition)
History
- 2026-11-01: add by m2/v0.6.15
The lexical hypothesis C699KCVDXN
| URI | m2://inv/C699KCVDXN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francis Galton#FJIH, The lexical hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Jens Eisert C69PNY3P69
| URI | m2://inv/C69PNY3P69 |
|---|---|
| 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 Q6179652, Jens Eisert (unknown). Also nLab Jens Eisert
History
- 2026-10-26: add by m2/dev
Quinze de Novembro C69PR80W3Z
| URI | m2://inv/C69PR80W3Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#NHDA, Quinze de Novembro (unknown)
History
- 2026-11-02: add by m2/dev
C6A26H0FSD C6A26H0FSD
| URI | m2://inv/C6A26H0FSD |
|---|---|
| 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 0904.0817#Y49F (statement). In 569FZDANV3/e1, lemma 1.10
History
- 2026-10-27: add by m2/v0.3.5
C6A74PEWTW C6A74PEWTW
| URI | m2://inv/C6A74PEWTW |
|---|---|
| Kind | definition |
| 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#XEQ9 (definition). In BDN507RN7J/e1, definition 3.1.16
History
- 2026-10-30: add by m2/v0.4.12
C6AP0FZM2J C6AP0FZM2J
| URI | m2://inv/C6AP0FZM2J |
|---|---|
| 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.32599#VPEB (statement). In E1Y93JNBJA/e1, lemma 3.6
History
- 2026-10-31: add by m2/v0.5.6
Involute C6ATEPVAKT
| URI | m2://inv/C6ATEPVAKT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#6Q36, Involute (definition)
- wikipedia: Wikipedia List of curves#AS70, Involute (definition)
History
- 2026-11-02: add by m2/dev
Examples C6AX6BRQKB
| URI | m2://inv/C6AX6BRQKB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Verbal subgroup#TZCG, Examples (example)
History
- 2026-11-02: add by m2/dev
Armin B. Cremers C6AZ15WSHK
| URI | m2://inv/C6AZ15WSHK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#AXYW, Armin B. Cremers (unknown)
History
- 2026-11-02: add by m2/dev
Hilbert modular variety C6BM4FP2N7
| URI | m2://inv/C6BM4FP2N7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert modular variety, Hilbert modular variety (definition). Also Wikidata Q4360731
History
- 2026-11-02: add by m2/dev
Alessandro Padoa C6BMPV5T1A
| URI | m2://inv/C6BMPV5T1A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#DB83, Alessandro Padoa (topic)
History
- 2026-11-02: add by m2/dev
C6BTR8KWS3 C6BTR8KWS3
| URI | m2://inv/C6BTR8KWS3 |
|---|---|
| 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.29262#UYM5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Support restriction C6BXNVWCNS
| URI | m2://inv/C6BXNVWCNS |
|---|---|
| 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.15262#CSWF, Support restriction (statement). In C44HVXWYRF/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
CIR model C6BXRF4WN0
| URI | m2://inv/C6BXRF4WN0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05864#D679, CIR model (definition). In 31QPXWDZSH/e1, definition 1.3
History
- 2026-10-29: add by m2/v0.4.10
Terminology C6C21AZ36E
| URI | m2://inv/C6C21AZ36E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant of a binary form#ZRCA, Terminology (definition)
History
- 2026-11-02: add by m2/dev
C6CCK62GA9 C6CCK62GA9
| URI | m2://inv/C6CCK62GA9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05730#DCCT (statement). In KWX3Q669ES/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.10
C6CG5EVDJS C6CG5EVDJS
| URI | m2://inv/C6CG5EVDJS |
|---|---|
| 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 2201.03058#SUOE (statement). In STV2W9WA1K/e1, theorem 0.1
History
- 2026-10-27: add by m2/v0.4.0
C6CKH908H0 C6CKH908H0
| URI | m2://inv/C6CKH908H0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.20170#FMRL (definition). In QXJP79APHN/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Peter Armitage C6CKPS37MV
| URI | m2://inv/C6CKPS37MV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Armitage (statistician), Peter Armitage (topic). Also Wikidata Q3376433
History
- 2026-11-02: add by m2/dev
C6CXV1HTB2 C6CXV1HTB2
| URI | m2://inv/C6CXV1HTB2 |
|---|---|
| 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.35361#VE42 (statement). In E4PGMSEQTS/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Roberta Frances Johnson C6CZAKS7G9
| URI | m2://inv/C6CZAKS7G9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roberta Frances Johnson, Roberta Frances Johnson (topic). Also Wikidata Q102198394
History
- 2026-11-02: add by m2/dev
algebraic number C6CZWVT1Z2
| URI | m2://inv/C6CZWVT1Z2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/7.4.1/algebraic-number, algebraic number (concept). In E59CDZA4DP, index, section 7.4.1
History
- 2026-11-01: add by m2/v0.6.13
Definition C6D4H5YPZA
| URI | m2://inv/C6D4H5YPZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laver table#3CFQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Ana Cannas da Silva C6DBFMGHGR
| URI | m2://inv/C6DBFMGHGR |
|---|---|
| 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 Q6563512, Ana Cannas da Silva (unknown). Also nLab Ana Cannas da Silva
- wikipedia: Wikipedia Ana Cannas da Silva, Ana Cannas da Silva (topic). Also Wikidata Q6563512
History
- 2026-10-26: add by m2/dev
Finite-cap strict physical gap C6DBN174GY
| URI | m2://inv/C6DBN174GY |
|---|---|
| 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.00291#X4ND, Finite-cap strict physical gap (statement). In JXCHERE2AF/e1, corollary 7
History
- 2026-10-27: add by m2/v0.3.5
C6DP3JP045 C6DP3JP045
| URI | m2://inv/C6DP3JP045 |
|---|---|
| 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.02213#7VAB (statement). In 43B5W08GMR/e1, proposition 8.1
History
- 2026-10-29: add by m2/v0.4.12
Andriy Oberemko C6DPTAB497
| URI | m2://inv/C6DPTAB497 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#TTQQ, Andriy Oberemko (unknown)
History
- 2026-11-02: add by m2/dev
Examples C6E1MZMX0Q
| URI | m2://inv/C6E1MZMX0Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Fourier series#P8SA, Examples (example)
History
- 2026-11-02: add by m2/dev
C6E1P40VV2 C6E1P40VV2
| URI | m2://inv/C6E1P40VV2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22078#9OTV (statement). In NRF7379N9J/e1, corollary 3.6
History
- 2026-10-27: add by m2/v0.4.0
XXTEA C6EBKQPEF4
| URI | m2://inv/C6EBKQPEF4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia XXTEA, XXTEA (definition). Also Wikidata Q4021631
History
- 2026-11-02: add by m2/dev
C6ECA2Y08Q C6ECA2Y08Q
| URI | m2://inv/C6ECA2Y08Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#R53W (statement)
History
- 2026-11-01: add by m2/v0.6.15
C6EMYBRXA8 C6EMYBRXA8
| URI | m2://inv/C6EMYBRXA8 |
|---|---|
| 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.03856#WMIR (statement). In HTBRYNPHSJ/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
Expansion in terms of homogeneous solutions C6EN19R6Q0
| URI | m2://inv/C6EN19R6Q0 |
|---|---|
| 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.18270#QVD2, Expansion in terms of homogeneous solutions (statement). In CPDMYJ0NJV/e1, lemma 7.5
History
- 2026-10-28: add by m2/v0.4.2
On Numbers and Games C6ETD4YHBA
| URI | m2://inv/C6ETD4YHBA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3352152, On Numbers and Games (unknown). Also ProofWiki Book:John_H._Conway/On_Numbers_And_Games
- wikipedia: Wikipedia On Numbers and Games, On Numbers and Games (definition). Also Wikidata Q3352152
History
- 2026-10-26: add by m2/dev
Applications C6EVH2W8QP
| URI | m2://inv/C6EVH2W8QP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trefftz method#1SVQ, Applications (example)
History
- 2026-11-02: add by m2/dev
Ganesh Prasad C6F05CKCS8
| URI | m2://inv/C6F05CKCS8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ganesh Prasad, Ganesh Prasad (topic). Also Wikidata Q5520849
History
- 2026-11-02: add by m2/dev
C6F9SVQXAD C6F9SVQXAD
| URI | m2://inv/C6F9SVQXAD |
|---|---|
| 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 2510.23812#3RMO (statement). In D8XZBXJPR5/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
C6FCP0GM4E C6FCP0GM4E
| URI | m2://inv/C6FCP0GM4E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/forms.tex#example-2 (example). In RZP28ERRZV, example, section 43.3
History
- 2026-11-01: add by m2/v0.6.13
C6FFWHDWJG C6FFWHDWJG
| URI | m2://inv/C6FFWHDWJG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38742#U7PH (statement). In TSXBJB0EXK/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
C6FGDP8GG3 C6FGDP8GG3
| URI | m2://inv/C6FGDP8GG3 |
|---|---|
| Kind | statement |
| 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 2610.02061#IP03 (statement). In F5STMSPR6X/e1, proposition A.11
History
- 2026-10-29: add by m2/v0.4.12
C6FQT5X0A4 C6FQT5X0A4
| URI | m2://inv/C6FQT5X0A4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34852#VHO5 (statement). In TZXEMCBK5V/e1, lemma 7.5
History
- 2026-10-30: add by m2/v0.4.12
Ulam matrix C6FSXB320X
| URI | m2://inv/C6FSXB320X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ulam matrix, Ulam matrix (definition). Also Wikidata Q18394939
History
- 2026-11-02: add by m2/dev
Examples C6FXGVTWGS
| URI | m2://inv/C6FXGVTWGS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective object#Z15H, Examples (example)
History
- 2026-11-02: add by m2/dev
C6G5V8WPRX C6G5V8WPRX
| URI | m2://inv/C6G5V8WPRX |
|---|---|
| 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.19459#U9N8 (statement). In SATS9RFBX7/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Improved Scalability for Large Sample Sizes via Dual Program C6G9REQN5B
| URI | m2://inv/C6G9REQN5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12239#1TQM, Improved Scalability for Large Sample Sizes via Dual Program (statement). In CW9MNA6K58/e1, proposition 9.24
History
- 2026-10-28: add by m2/v0.4.2
C6H7Y3AEVZ C6H7Y3AEVZ
| URI | m2://inv/C6H7Y3AEVZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16941#NDPZ (definition). In T96MPYB0KT/e1, definition 1.2
History
- 2026-10-28: add by m2/v0.4.2
Specification (regression) C6HDADQPGB
| URI | m2://inv/C6HDADQPGB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KCNK, Specification (regression) (definition)
History
- 2026-11-02: add by m2/dev
triad C6HNWYA4W2
| URI | m2://inv/C6HNWYA4W2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q29430681, triad (unknown). Also MathWorld Triad
History
- 2026-10-26: add by m2/dev
icosahedral symmetry C6HQPZ8CHX
| URI | m2://inv/C6HQPZ8CHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5986738, icosahedral symmetry (unknown). Also MathWorld IcosahedralGroup
- wikipedia: Wikipedia Icosahedral symmetry, Icosahedral symmetry (definition). Also Wikidata Q5986738
History
- 2026-10-26: add by m2/dev
C6HWA8CR4F C6HWA8CR4F
| URI | m2://inv/C6HWA8CR4F |
|---|---|
| Kind | example |
| 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 1705.04310#POU0 (example). In MG51GG0QZN/e1, example 3.20
History
- 2026-10-27: add by m2/v0.3.5
Gelfand–Mazur theorem C6HXYYTWR5
| URI | m2://inv/C6HXYYTWR5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QPJB, Gelfand–Mazur theorem (statement)
History
- 2026-11-02: add by m2/dev
C6J236YY2G C6J236YY2G
| URI | m2://inv/C6J236YY2G |
|---|---|
| Kind | conjecture |
| 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.36045#EY04 (conjecture). In F0E8YBV0Z0/e1, conjecture 10.3
History
- 2026-10-30: add by m2/v0.4.12
C6J38420MS C6J38420MS
| URI | m2://inv/C6J38420MS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#9X1U (definition). In GYMGDQS25R/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.10
C6J3DXEN58 C6J3DXEN58
| URI | m2://inv/C6J3DXEN58 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/tableaux/soundness.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 34.6
History
- 2026-11-01: add by m2/v0.6.13
Faraday's law C6J91458W3
| URI | m2://inv/C6J91458W3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maxwell's equations#BOLF, Faraday's law (statement)
History
- 2026-11-02: add by m2/dev
C6JCA8WECP C6JCA8WECP
| URI | m2://inv/C6JCA8WECP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17527#Z759 (statement). In GWSBQ7MN49/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Definition C6JD7SQF51
| URI | m2://inv/C6JD7SQF51 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ihara zeta function#0P22, Definition (definition)
History
- 2026-11-02: add by m2/dev
C6JQ6YA6HZ C6JQ6YA6HZ
| URI | m2://inv/C6JQ6YA6HZ |
|---|---|
| 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.16554#2OZ7 (statement). In GWNT8HEZG1/e1, proposition 3.16
History
- 2026-10-27: add by m2/v0.3.6
C6JRQT6W68 C6JRQT6W68
| URI | m2://inv/C6JRQT6W68 |
|---|---|
| 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 2404.06445#98XR (statement). In 12JKZ8EN52/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.5
Statement C6JYQRF0HQ
| URI | m2://inv/C6JYQRF0HQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel identity#TD50, Statement (statement)
History
- 2026-11-02: add by m2/dev
David McReynolds C6K0RNPN83
| URI | m2://inv/C6K0RNPN83 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#QGPQ, David McReynolds (unknown)
History
- 2026-11-02: add by m2/dev
Resolution proof compression by splitting C6K95E76DC
| URI | m2://inv/C6K95E76DC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resolution proof compression by splitting, Resolution proof compression by splitting (definition). Also Wikidata Q7315698
History
- 2026-11-02: add by m2/dev
C6KF5JNWFB C6KF5JNWFB
| URI | m2://inv/C6KF5JNWFB |
|---|---|
| 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 2103.02468#BU8L (statement). In Q7C6G66CWM/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.3.5
Determinable property C6KKAD09PH
| URI | m2://inv/C6KKAD09PH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Property (philosophy)#YFB9, Determinable property (unknown)
History
- 2026-11-02: add by m2/dev
third derivative C6KNFDJ656
| URI | m2://inv/C6KNFDJ656 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#FLF4, third derivative (definition)
History
- 2026-11-02: add by m2/dev
C6KPW2AE9P C6KPW2AE9P
| URI | m2://inv/C6KPW2AE9P |
|---|---|
| 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 2310.14879#49H7 (statement). In 3VZ55B2N0D/e1, lemma 5.29
History
- 2026-10-27: add by m2/v0.4.0
Two-sided difference-law discrepancy, with half-open intervals C6M206BQ20
| URI | m2://inv/C6M206BQ20 |
|---|---|
| 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#4AZF, Two-sided difference-law discrepancy, with half-open intervals (statement). In 1QSV7EQE3T/e1, lemma S46
History
- 2026-10-28: add by m2/v0.4.2
Frege C6M6FJT5XE
| URI | m2://inv/C6M6FJT5XE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#8L92, Frege (topic)
History
- 2026-11-02: add by m2/dev
C6MEQGXDX9 C6MEQGXDX9
| URI | m2://inv/C6MEQGXDX9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/combining-machines.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 85.3
History
- 2026-11-01: add by m2/v0.6.13
Rota–Baxter algebra C6MJPD0HX1
| URI | m2://inv/C6MJPD0HX1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rota–Baxter algebra, Rota–Baxter algebra (definition). Also Wikidata Q7370348
History
- 2026-11-02: add by m2/dev
Perfect-data recovery C6MMNFDFBC
| URI | m2://inv/C6MMNFDFBC |
|---|---|
| Kind | example |
| 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.24314#ZKA5, Perfect-data recovery (example)
History
- 2026-11-01: add by m2/v0.6.15
Zig-zag lemma C6MTBW2Z26
| URI | m2://inv/C6MTBW2Z26 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zig-zag lemma, Zig-zag lemma (statement). Also Wikidata Q8071743
History
- 2026-11-02: add by m2/dev
C6MXG8GJSD C6MXG8GJSD
| URI | m2://inv/C6MXG8GJSD |
|---|---|
| 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 1909.03896#FY9B (statement). In CX9RVPQVBM/e1, corollary 8
History
- 2026-10-27: add by m2/v0.3.5
C6MYXMT4Q4 C6MYXMT4Q4
| URI | m2://inv/C6MYXMT4Q4 |
|---|---|
| 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.20225#U1RB (statement)
History
- 2026-11-02: add by m2/v0.6.18
Émery topology C6N4800ZDA
| URI | m2://inv/C6N4800ZDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#23Y3, Émery topology (definition)
History
- 2026-11-02: add by m2/dev
Learning curve C6N4CS5QNP
| URI | m2://inv/C6N4CS5QNP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#9SIX, Learning curve (unknown)
History
- 2026-11-02: add by m2/dev
Oracle attack C6N9DXFNKX
| URI | m2://inv/C6N9DXFNKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oracle attack, Oracle attack (definition). Also Wikidata Q16966342
History
- 2026-11-02: add by m2/dev
Applications C6NA73VT9S
| URI | m2://inv/C6NA73VT9S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Population genetics#W42E, Applications (example)
History
- 2026-11-02: add by m2/dev
Gregory Chaitin C6NBCTE80P
| URI | m2://inv/C6NBCTE80P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#Z5H2, Gregory Chaitin (topic)
History
- 2026-11-02: add by m2/dev
C6NCK11SMZ C6NCK11SMZ
| URI | m2://inv/C6NCK11SMZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2602.15812#GV8I (statement). In GAAZD3SGPN/e1, lemma
History
- 2026-10-27: add by m2/v0.3.5
C6NKV8H40Y C6NKV8H40Y
| URI | m2://inv/C6NKV8H40Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#RFCF (statement). In GHKR740SG3/e1, theorem 3.17
History
- 2026-10-31: add by m2/v0.5.6
Boolean matrix C6NRFDS6D1
| URI | m2://inv/C6NRFDS6D1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean matrix, Boolean matrix (definition). Also Wikidata Q55605753
History
- 2026-11-02: add by m2/dev
C6NZ7PMQN9 C6NZ7PMQN9
| URI | m2://inv/C6NZ7PMQN9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/computable-models.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 48.2
History
- 2026-11-01: add by m2/v0.6.13
C6NZEQMPRN C6NZEQMPRN
| URI | m2://inv/C6NZEQMPRN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.16669#9M7S (statement). In 1463YCCRP5/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.0
C6P4PDZVFZ C6P4PDZVFZ
| URI | m2://inv/C6P4PDZVFZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/differentiate.tex#proof-9 (proof). In RZP28ERRZV, proof, section 30.4
History
- 2026-11-01: add by m2/v0.6.13
Most hashes are good C6P53HMQ0S
| URI | m2://inv/C6P53HMQ0S |
|---|---|
| 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.15631#GEH1, Most hashes are good (statement). In AF465QFRGQ/e1, lemma IV.3
History
- 2026-10-28: add by m2/v0.4.2
C6P8B7W99W C6P8B7W99W
| URI | m2://inv/C6P8B7W99W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18377#US5I (definition). In KYJJMC50SJ/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
C6PASBFXN7 C6PASBFXN7
| URI | m2://inv/C6PASBFXN7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.14811#ZSLU (statement). In QA5CM6HNM1/e1, lemma 12.3
History
- 2026-10-28: add by m2/v0.4.2
C6PM98MMTN C6PM98MMTN
| URI | m2://inv/C6PM98MMTN |
|---|---|
| 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.15460#VPT0 (statement). In T2Z3D2VQ9B/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
Leavitt path algebra C6PPQQ0CDK
| URI | m2://inv/C6PPQQ0CDK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leavitt path algebra, Leavitt path algebra (definition). Also Wikidata Q104849200
History
- 2026-11-02: add by m2/dev
Conway criterion C6PV6FQ4QX
| URI | m2://inv/C6PV6FQ4QX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after John Horton Conway#G1HS, Conway criterion (statement)
History
- 2026-11-02: add by m2/dev
C6PVFE3B0X C6PVFE3B0X
| URI | m2://inv/C6PVFE3B0X |
|---|---|
| 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 2609.31604#3HW3 (definition). In GSN5YTQS2K/e1, definition 1.10
History
- 2026-10-31: add by m2/v0.5.6
Zarhin trick C6PY7H6XCQ
| URI | m2://inv/C6PY7H6XCQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zarhin trick, Zarhin trick (definition). Also Wikidata Q16923364
History
- 2026-11-02: add by m2/dev
ring of algebraic integers C6Q76DJGJS
| URI | m2://inv/C6Q76DJGJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1358313, ring of algebraic integers (definition). Also MathWorld RingofIntegers, nLab ring of integers, ProofWiki Definition:Ring_of_Integers_of_Number_Field
- wikipedia: Wikipedia Ring of integers, Ring of integers (definition). Also Wikidata Q1358313
History
- 2026-10-26: add by m2/dev
Example C6Q7GHT0BF
| URI | m2://inv/C6Q7GHT0BF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual module#Q7AT, Example (example)
History
- 2026-11-02: add by m2/dev
Evolutionary computation C6QF1XDYST
| URI | m2://inv/C6QF1XDYST |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#IRJ3, Evolutionary computation (unknown)
History
- 2026-11-02: add by m2/dev
Semiparametric model C6QHNHVS3G
| URI | m2://inv/C6QHNHVS3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiparametric model, Semiparametric model (definition). Also Wikidata Q7449607
History
- 2026-11-02: add by m2/dev
honeycomb C6QKJSMEYE
| URI | m2://inv/C6QKJSMEYE |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Honeycomb HTJ03RFKFH |
Mentions
- wikidata: Wikidata Q1189295, honeycomb (unknown). Also MathWorld Honeycomb
- wikipedia: Wikipedia Honeycomb (geometry), Honeycomb (object). Also Wikidata Q1189295
History
- 2026-10-26: add by m2/dev
C6QKWT598A C6QKWT598A
| URI | m2://inv/C6QKWT598A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24878#9H6O (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ascendant subgroup C6QY3MQ1H8
| URI | m2://inv/C6QY3MQ1H8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ascendant subgroup, Ascendant subgroup (definition). Also Wikidata Q4803805
History
- 2026-11-02: add by m2/dev
Endpoint flatness C6QY8NZXHH
| URI | m2://inv/C6QY8NZXHH |
|---|---|
| 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.31557#4XF7, Endpoint flatness (statement). In 72NCNYBW2T/e1, lemma 6
History
- 2026-10-31: add by m2/v0.5.6
C6R0Q8281C C6R0Q8281C
| URI | m2://inv/C6R0Q8281C |
|---|---|
| Kind | problem |
| 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.18600#9AYJ (problem). In 31D6TQVCNZ/e1, problem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Serrin C6R8KT6QRM
| URI | m2://inv/C6R8KT6QRM |
|---|---|
| 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.02751#Y579, Serrin (statement). In MWGXPXF3BW/e1, lemma 12
History
- 2026-10-29: add by m2/v0.4.12
C6RCC321XA C6RCC321XA
| URI | m2://inv/C6RCC321XA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability.tex#proof-8 (proof). In PKGMM3P5QY, proof, section 8.10
History
- 2026-11-01: add by m2/v0.6.13
Monotonicity C6RDNT9540
| URI | m2://inv/C6RDNT9540 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#prop-3, Monotonicity (statement). In E59CDZA4DP, prop, section 8.2.2
History
- 2026-11-01: add by m2/v0.6.13
Wired Equivalent Privacy C6RGBSX06B
| URI | m2://inv/C6RGBSX06B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wired Equivalent Privacy, Wired Equivalent Privacy (definition). Also Wikidata Q273673
History
- 2026-11-02: add by m2/dev
C6RJRHCH68 C6RJRHCH68
| URI | m2://inv/C6RJRHCH68 |
|---|---|
| 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.01267#F4EG (statement). In GWWHP6R0BZ/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Henry W. Gould C6RJXKN9W4
| URI | m2://inv/C6RJXKN9W4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry W. Gould, Henry W. Gould (topic). Also Wikidata Q5729644
History
- 2026-11-02: add by m2/dev
C6RKP8JSTP C6RKP8JSTP
| URI | m2://inv/C6RKP8JSTP |
|---|---|
| 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.37920#UDIF (statement). In GZPF8R6BBF/e1, corollary 3.2
History
- 2026-10-30: add by m2/v0.4.12
Observer bias C6RMYPNTDB
| URI | m2://inv/C6RMYPNTDB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Observer bias, Observer bias (definition). Also Wikidata Q84604882
History
- 2026-11-02: add by m2/dev
Digital art C6RTWZ5D40
| URI | m2://inv/C6RTWZ5D40 |
|---|---|
| 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#XKGL, Digital art (unknown)
History
- 2026-11-02: add by m2/dev
Quantum phase transition C6RVHW8KA0
| URI | m2://inv/C6RVHW8KA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum phase transition, Quantum phase transition (definition). Also Wikidata Q2118253
History
- 2026-11-02: add by m2/dev
Uniqueness of the gain C6RYM55HWH
| URI | m2://inv/C6RYM55HWH |
|---|---|
| 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.14988#X5PO, Uniqueness of the gain (statement). In B29M4E6KGC/e1, proposition G.3
History
- 2026-10-28: add by m2/v0.4.2
Revenue equivalence theorem C6SAY3SY92
| URI | m2://inv/C6SAY3SY92 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mechanism design#XIB1, Revenue equivalence theorem (statement)
History
- 2026-11-02: add by m2/dev
Soundness C6SCT1E7ZB
| URI | m2://inv/C6SCT1E7ZB |
|---|---|
| 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 2207.11097#ZB17, Soundness (statement). In 13H5BTAXHF/e1, theorem 20
History
- 2026-10-27: add by m2/v0.3.5
Properties C6SE9JQMR9
| URI | m2://inv/C6SE9JQMR9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antisymmetric relation#RXYT, Properties (statement)
History
- 2026-11-02: add by m2/dev
Karl Mikhailovich Peterson C6SHJKM46D
| URI | m2://inv/C6SHJKM46D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Mikhailovich Peterson, Karl Mikhailovich Peterson (topic). Also Wikidata Q4360273
History
- 2026-11-02: add by m2/dev
Definitions C6SVM8G2SD
| URI | m2://inv/C6SVM8G2SD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact functor#OCSR, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Construction C6SWB6MZQ0
| URI | m2://inv/C6SWB6MZQ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor product of modules#592Y, Construction (definition)
History
- 2026-11-02: add by m2/dev
Equilibrium and geometric convergence C6T0J71F72
| URI | m2://inv/C6T0J71F72 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31535#DVVD, Equilibrium and geometric convergence (statement). In BAWCMJQGVA/e1, theorem 2.2
History
- 2026-10-31: add by m2/v0.5.6
C6T3BS2SC6 C6T3BS2SC6
| URI | m2://inv/C6T3BS2SC6 |
|---|---|
| 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.02893#2GDP (statement). In DQ9TAGM5XP/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
Convexity H\"{o}lder inequality C6T8715PS3
| URI | m2://inv/C6T8715PS3 |
|---|---|
| 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 2107.00792#IHTB, Convexity H\"{o}lder inequality (statement). In TD16A541ZN/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.3.5
alternant matrix C6TAMD4C0S
| URI | m2://inv/C6TAMD4C0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2620519, alternant matrix (unknown). Also EoM Alternant_matrix
- wikipedia: Wikipedia Alternant matrix, Alternant matrix (definition). Also Wikidata Q2620519
History
- 2026-10-26: add by m2/dev
Examples C6TASJFSMY
| URI | m2://inv/C6TASJFSMY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hidden Markov model#VNY1, Examples (example)
History
- 2026-11-02: add by m2/dev
C6TD2M3EXS C6TD2M3EXS
| URI | m2://inv/C6TD2M3EXS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/incompleteness-provability/rosser-thm.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 28.4
History
- 2026-11-01: add by m2/v0.6.13
Examples C6TEY7J9ZE
| URI | m2://inv/C6TEY7J9ZE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite group#2N2I, Examples (example)
History
- 2026-11-02: add by m2/dev
C6THTMVE70 C6THTMVE70
| URI | m2://inv/C6THTMVE70 |
|---|---|
| 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.24082#Q5PK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Implementation C6TMX3WSM0
| URI | m2://inv/C6TMX3WSM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Treyfer#E0W6, Implementation (definition)
History
- 2026-11-02: add by m2/dev
similarity C6TNAQ6DN9
| URI | m2://inv/C6TNAQ6DN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q254465, similarity (unknown). Also MathWorld Similar, MathWorld Similarity
- wikipedia: Wikipedia Similarity (geometry), Similarity (definition). Also Wikidata Q254465
History
- 2026-10-26: add by m2/dev
C6V11ASNR5 C6V11ASNR5
| URI | m2://inv/C6V11ASNR5 |
|---|---|
| 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.34923#I9BC (statement). In 7WKVFJEZQT/e1, theorem 7
History
- 2026-10-30: add by m2/v0.4.12
Albert Victor Bäcklund C6V18HGTZF
| URI | m2://inv/C6V18HGTZF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#4NE0, Albert Victor Bäcklund (unknown)
History
- 2026-11-02: add by m2/dev
Properties C6V3A6N61V
| URI | m2://inv/C6V3A6N61V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laves graph#Q4XL, Properties (statement)
History
- 2026-11-02: add by m2/dev
C6V4PDGH6F C6V4PDGH6F
| URI | m2://inv/C6V4PDGH6F |
|---|---|
| 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.13852#72TW (statement). In SXTGSAH3WF/e1, theorem 6.3
History
- 2026-10-28: add by m2/v0.4.2
Stability of microlocal distributions C6V69WE50P
| URI | m2://inv/C6V69WE50P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16931#VD0N, Stability of microlocal distributions (statement). In H7DMRWBBJN/e1, corollary 5.8
History
- 2026-10-28: add by m2/v0.4.2
Theorem C6VC67YDRH
| URI | m2://inv/C6VC67YDRH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coleman–Mandula theorem#ZSXH, Theorem (statement)
History
- 2026-11-02: add by m2/dev
C6VDWQSGGA C6VDWQSGGA
| URI | m2://inv/C6VDWQSGGA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31883#U5FJ (statement). In XBHQRTBH62/e1, theorem 5.3
History
- 2026-10-31: add by m2/v0.5.6
Wallis sieve C6VENN03ZV
| URI | m2://inv/C6VENN03ZV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sierpiński carpet#Z0KI, Wallis sieve (unknown)
History
- 2026-11-02: add by m2/dev
C6VG3HATZQ C6VG3HATZQ
| URI | m2://inv/C6VG3HATZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.21444#JRX9 (statement). In CTVPA2FQT1/e1, theorem 9.1
History
- 2026-10-27: add by m2/v0.4.0
Metric geometry C6VVAA3QZP
| URI | m2://inv/C6VVAA3QZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#S1R4, Metric geometry (definition)
History
- 2026-11-02: add by m2/dev
Fundamental lemma, input--output C6VZWAYC1Y
| URI | m2://inv/C6VZWAYC1Y |
|---|---|
| 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.25431#LO1R, Fundamental lemma, input--output (statement)
History
- 2026-11-01: add by m2/v0.6.15
$p$-adic Littlewood C6W13DK94X
| URI | m2://inv/C6W13DK94X |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15809#QZKX, $p$-adic Littlewood (conjecture). In 6GBT11XKAF/e1, conjecture 1.5
History
- 2026-10-28: add by m2/v0.4.2
Decision tree learning C6W3SAWBH2
| URI | m2://inv/C6W3SAWBH2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decision tree learning, Decision tree learning (definition). Also Wikidata Q16766476
History
- 2026-11-02: add by m2/dev
C6W7M9RDBW C6W7M9RDBW
| URI | m2://inv/C6W7M9RDBW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24917#70HC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Comparable and high--high interactions C6WBX9685W
| URI | m2://inv/C6WBX9685W |
|---|---|
| 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.02721#FHVL, Comparable and high--high interactions (statement). In XXFYVDVPPE/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
C6WMYBSWF0 C6WMYBSWF0
| URI | m2://inv/C6WMYBSWF0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23106#XBD8 (example)
History
- 2026-11-02: add by m2/v0.6.17
C6WTKKCWF3 C6WTKKCWF3
| URI | m2://inv/C6WTKKCWF3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2610.18242#EQMG (statement). In VVC2FHQZZR/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
C6WW75V9R9 C6WW75V9R9
| URI | m2://inv/C6WW75V9R9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21037#T7WR (statement). In PYB2RFYVVE/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
Hilbert metric C6WX15A4P0
| URI | m2://inv/C6WX15A4P0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert metric, Hilbert metric (definition). Also Wikidata Q5761213
History
- 2026-11-02: add by m2/dev
Artin's criterion C6X1AN75TN
| URI | m2://inv/C6X1AN75TN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin's criterion, Artin's criterion (statement). Also Wikidata Q30588249
History
- 2026-11-02: add by m2/dev
Connected \(p\)-word C6X37BKQK6
| URI | m2://inv/C6X37BKQK6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27181#OQXS, Connected \(p\)-word (definition)
History
- 2026-11-01: add by m2/v0.6.15
Product-power pair functional C6X43REGYW
| URI | m2://inv/C6X43REGYW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29658#TF5N, Product-power pair functional (statement)
History
- 2026-11-01: add by m2/v0.6.15
hydrostatics C6XA10QVN6
| URI | m2://inv/C6XA10QVN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q177807, hydrostatics (definition). Also ProofWiki Definition:Hydrostatics
History
- 2026-10-26: add by m2/dev
C6XGA864SR C6XGA864SR
| URI | m2://inv/C6XGA864SR |
|---|---|
| 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.03238#17RF (statement). In 5PG581A1GK/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.12
C6XNM45ZRB C6XNM45ZRB
| URI | m2://inv/C6XNM45ZRB |
|---|---|
| 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 2610.08873#SI06 (definition). In 7WMNVJBAVR/e1, definition 4.4
History
- 2026-10-29: add by m2/v0.4.10
NAND C6XR00CPVA
| URI | m2://inv/C6XR00CPVA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of rules of inference#WL9K, NAND (definition)
History
- 2026-11-02: add by m2/dev
Regulatory arbitrage C6XXX5AC6Y
| URI | m2://inv/C6XXX5AC6Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arbitrage#RELN, Regulatory arbitrage (unknown)
History
- 2026-11-02: add by m2/dev
Salva congruitate C6Y5WYW4EG
| URI | m2://inv/C6Y5WYW4EG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Salva congruitate, Salva congruitate (definition). Also Wikidata Q7406353
History
- 2026-11-02: add by m2/dev
Kin selection C6Y6K4XWA9
| URI | m2://inv/C6Y6K4XWA9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#3NUE, Kin selection (definition)
History
- 2026-11-02: add by m2/dev
Remark C6YAWYPQMQ
| URI | m2://inv/C6YAWYPQMQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chern class#2AUU, Remark (unknown)
History
- 2026-11-02: add by m2/dev
class C6YB8TEQPG
| URI | m2://inv/C6YB8TEQPG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Class Y48FA69563 |
Mentions
- wikidata: Wikidata Q217594, class (definition). Also EoM Class, MathWorld SetClass, nLab class, ProofWiki Definition:Class_(Class_Theory)
- wikipedia: Wikipedia Class (set theory), Class (definition). Also Wikidata Q217594
History
- 2026-10-26: add by m2/dev
Dominated strategy C6YGJCXVTS
| URI | m2://inv/C6YGJCXVTS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of game theory#RGKS, Dominated strategy (definition)
History
- 2026-11-02: add by m2/dev
Symbolic Cholesky decomposition C6YS0C1XQJ
| URI | m2://inv/C6YS0C1XQJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symbolic Cholesky decomposition, Symbolic Cholesky decomposition (definition). Also Wikidata Q7661162
History
- 2026-11-02: add by m2/dev
Abstract apeirogon C6YS6959CC
| URI | m2://inv/C6YS6959CC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apeirogon#78LU, Abstract apeirogon (unknown)
History
- 2026-11-02: add by m2/dev
C6Z2WV7C3D C6Z2WV7C3D
| URI | m2://inv/C6Z2WV7C3D |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/minimization-representable.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 29.10
History
- 2026-11-01: add by m2/v0.6.13
Jean-Yves Chemin C6Z82NFZE9
| URI | m2://inv/C6Z82NFZE9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Yves Chemin, Jean-Yves Chemin (topic). Also Wikidata Q15078815
History
- 2026-11-02: add by m2/dev
Federico Amodeo C6ZCYY6N7D
| URI | m2://inv/C6ZCYY6N7D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Federico Amodeo, Federico Amodeo (topic). Also Wikidata Q3741602
History
- 2026-11-02: add by m2/dev
C6ZJZAWCRJ C6ZJZAWCRJ
| URI | m2://inv/C6ZJZAWCRJ |
|---|---|
| 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 2609.20516#UYSZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
George Dassios C6ZMPMDDF9
| URI | m2://inv/C6ZMPMDDF9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Dassios, George Dassios (topic). Also Wikidata Q94534487
History
- 2026-11-02: add by m2/dev
C6ZQRW6DBG C6ZQRW6DBG
| URI | m2://inv/C6ZQRW6DBG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08426#DOL7 (definition). In YG2DPMNZ1N/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Wald's martingale C6ZT0AP3RY
| URI | m2://inv/C6ZT0AP3RY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wald's martingale, Wald's martingale (definition). Also Wikidata Q7961358
History
- 2026-11-02: add by m2/dev
Formal statement C6ZV22GZAE
| URI | m2://inv/C6ZV22GZAE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Church's thesis (constructive mathematics)#FJC5, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
identity C6ZXW8V3VM
| URI | m2://inv/C6ZXW8V3VM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#8H4F, identity (definition)
History
- 2026-11-02: add by m2/dev