Inventory: C
The rows of the inventory whose names start with C. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 5501–5600 of 7242.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| convergent, series | DM474P13Y3 | concept | open | lebl_ra index/10.5.1/convergent-series |
| converges absolutely, complex series | N3MH43GWHD | concept | open | lebl_ra index/1.1.2/converges-absolutely-complex-series |
| converges in uniform norm | MBPC93ES6X | concept | open | lebl_ra index/9.1.3/converges-in-uniform-norm |
| converges pointwise, complex series | 89BYJGHQSH | concept | open | lebl_ra index/1.2.1/converges-pointwise-complex-series |
| converges, complex series | P50ARQYJ7Z | concept | open | lebl_ra index/1.1.2/converges-complex-series |
| converges, function | 12MVP06D66 | concept | open | lebl_ra index/2.5.1/converges-function |
| converges, function | FMPTPYHDCM | concept | open | lebl_ra index/2.1.2/converges-function |
| converges, function in a metric space | S0ABD7CMBB | concept | open | lebl_ra index/4.5.5/converges-function-in-a-metric-space |
| converges, power series | 9MPCX21A96 | concept | open | lebl_ra index/1.3.1/converges-power-series |
| converse | 4WFT3NWY82 | statement | node (a node has the same Wikidata item as the row) | Wikidata Q1375963, MathWorld Converse |
| converse | 8E0PSFTG5V | concept | open | levin_dmoi index/1.2.2/converse |
| Converse | PFYFXX41Q8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.11960#AYWX |
| Converse | RXJCJ4JWWY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06742#1PKB |
| Converse invariant factorization theorem | K94RD3TZ9D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.29348#ZFFM |
| Converse mapping theorem | YWJNXSYV01 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24408#UOCE |
| Converse under uniform per-key TV constraint | TK9MS7MPEX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05712#RY3I |
| Converse-H\"older refinement | 6VPVEJDXGB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.33573#A20T |
| Conversion | MP3Z4J2SPR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.35418#DLJL |
| Conversion from cosine comparison | Q2RN6VAXVT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.00501#3VMS |
| Conversion of the loss | HK2BC2NM9G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.00501#B9G1 |
| convertibility of terms | PP3ETZ0K7M | concept | open | hott_book index/4.1/convertibility-of-terms |
| Converting expected decay to almost sure decay | FY9EB3534P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.33557#MZ9W |
| Convex | 3C15RN5SF0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.35418#II3D |
| convex | 9YGR7N2BF7 | concept | open | levin_dmoi index/5.3.2/convex |
| Convex | DWCYZKGVDC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.08858#7UPW |
| convex | KQ6VEKKANG | concept | open | lebl_scv index/E.2/convex |
| convex | TNZ0QCR98J | concept | open | lebl_scv index/2.1/convex |
| convex analysis | EGQEFE2QJB | topic | open | Wikidata Q2234833, nLab convex analysis |
| convex combination | QD2J18MPKY | unknown | open | Wikidata Q2627315, MathWorld ConvexCombination |
| Convex combinations on a continuous curve | 8CHPMXQS7F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10017#PIT1 |
| Convex concentration for independent blocks | SSQM6RNF67 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05498#702E |
| convex cone | CBX3Q362C7 | unknown | open | mathlib_overview Geometry > Convex geometry > convex cone, Mathlib ConvexCone, Wikidata Q2256541, MathWorld ConvexCone, nLab convex cone |
| Convex dual potentials | VMX4ZQ5YJK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24716#6KJG |
| Convex envelope | N3AS4ZRGZY | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.21391#PW12 |
| convex function | 8D6V5RJ01K | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q319913, MathWorld ConvexFunction, nLab convex function |
| convex function | JJP69AK3YK | concept | open | lebl_scv index/2.4/convex-function |
| convex function | T2618VSSZ6 | concept | open | lebl_scv index/E.2/convex-function |
| convex function | TEPWX22A8S | unknown | open | mathlib_overview Analysis > Convexity > convex function, Mathlib ConvexOn, mathlib_undergrad Multivariable calculus > Differential calculus > convexity of functions on an open convex subset of $\R^n$, mathlib_undergrad Single Variable Real Analysis > Convexity > convex functions of a real variable |
| convex hull | 585FFDA33D | unknown | node (a node has the same name as the row) | Wikidata Q1138624, EoM Convex_hull, MathWorld ConvexHull |
| convex hull of a subset of an affine real space | XGH6BZRKJE | unknown | open | mathlib_undergrad Affine and Euclidean Geometry > Convexity > convex hull of a subset of an affine real space, Mathlib convexHull |
| Convex hull representation | HXK5XQD5E7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.17909#DVAS |
| convex nearest-neighbour interactions | GRKEK0455M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.06147#7NC4 |
| Convex one-step bound under dual norm distortion | H0QA2BBP8S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38741#VQJM |
| convex optimization | YPZVR5TBA9 | unknown | open | Wikidata Q463359, EoM Convex_programming |
| Convex order for real-valued random variables with symmetric distributions | T09GGABAGX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.07404#EFTN |
| Convex ordering dominance for exchangeable data stream | VDACXAR5SE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26951#P8D5 |
| convex piecewise linear function | JTATCZ6AH3 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.03461#SHLZ |
| convex polygon | M4VW2JR1S5 | definition | open | Wikidata Q3259505, MathWorld ConvexPolygon, ProofWiki Definition:Convex_Polygon |
| convex polyhedron | RVT2DC3RQA | unknown | open | Wikidata Q3753221, EoM Convex_polyhedron, MathWorld ConvexPolyhedron |
| convex polytope | CX95SH64NN | unknown | open | Wikidata Q4129097, MathWorld ConvexPolytope |
| convex regular polychoron | 6CGAY2X24S | unknown | open | Wikidata Q2392282, MathWorld RegularPolychoron, Wikidata Q7309614 |
| Convex relaxation over the hypersimplex yields a trivial bound | TVGJSX6V4Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.01199#DKFB |
| convex set | 55SKC5CWJN | topic | node (a node has the same name as the row) | Wikidata Q193657, EoM Convex_set, MathWorld ConvexSet, nLab convex set |
| Convex specialization | 86S3VGJ7SE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38741#A6QA |
| convex subdifferential | 97YJ8RQWTG | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26645#L5KH |
| convex subsets | D04KQF5102 | unknown | open | mathlib_undergrad Affine and Euclidean Geometry > Convexity > convex subsets, Mathlib Convex |
| Convex support retained for the whole path | 4880WJ2DJZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38228#VD6P |
| Convex uniform honeycomb | FN2YDR86KW | concept | open | Wikidata Q5166522, MathWorld AndreiniTessellation |
| Convex weighted risk coefficient | F3T98F24B4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.33360#XSM3 |
| convex, geometrically | 2HCTZBM7HW | concept | open | lebl_scv index/2.2/convex-geometrically |
| convex, geometrically | HAG02JWZG3 | concept | open | lebl_scv index/E.2/convex-geometrically |
| convex, geometrically | YF5P8QMCQ9 | concept | open | lebl_scv index/2.1/convex-geometrically |
| convex, with respect to $\sF$ | GYR1Q1NVR8 | concept | open | lebl_scv index/2.5/convex-with-respect-to-sf |
| convex-affine potentials | 86H6Z553CR | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.06147#87N1 |
| convex-affine potentials as perturbations of truncated potentials | 350EW1QBJE | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.06147#RZSC |
| Convex-Laplacian locality with generalized boundary | C538YQXWCJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24716#P1W8 |
| Convex-linear payoff function | 4HKXRDRE6T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1803.10042#TSA3 |
| Convex-potential representation | W2B9YMNSHE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.31363#0A25 |
| Convexity | 147E52RCWW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.09912#FAEF |
| Convexity | 4Z69N3ZDXF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.00039#ULYX |
| convexity | 9CBV5VD7CK | unknown | open | Wikidata Q52927961, MathWorld Convex |
| Convexity and a fixed-field comparison | KV4RY147N6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.37479#TGC9 |
| Convexity and arc moments | 6WNXGX9H71 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.28503#O08K |
| Convexity and bounds for the log normalization | B4Q5W85YFB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06810#XN5V |
| Convexity and concavity on a tree | SGJYSH9ZDB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10828#RLUD |
| Convexity and continuity properties of reciprocal $p$-subslopes | 99KR0ZSNSC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21775#UT8I |
| Convexity and order monotonicity of the PCRB distortion | SSC9WQTG2T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.36143#FXUW |
| Convexity and properness of the constrained additive functional | GN2XYRBMDG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.01855#Y1SC |
| Convexity at fixed magnetization | 9Z2YEPDHGF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18350#JKVB |
| Convexity from concave section supports | ZXK67432W4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26129#29AX |
| Convexity H\"{o}lder inequality | C6T8715PS3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2107.00792#IHTB |
| Convexity in logarithmic coordinates | VRZXKYYWS4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.35325#G34C |
| Convexity in the Gaussian data | SBG4X0RC4X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18350#AVD4 |
| convexity inequalities | 9NHCF3621S | unknown | open | mathlib_undergrad Single Variable Real Analysis > Convexity > convexity inequalities |
| convexity inequalities | K2C36JZY4S | unknown | open | mathlib_overview Analysis > Convexity > convexity inequalities |
| convexity of $\widehat Q_{\bf m}f$ | 68VATJSE5S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.06147#K1GP |
| convexity of $\widehat Q_{\bf m}f$ | VX0ZD9TZT1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.06147#BRTT |
| Convexity of $G_\lambda$ | 1R3T3CR34R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.17579#S2AW |
| convexity of $g_N$ | 4JP0TVEQET | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.06147#AQL6 |
| Convexity of balls | EXG0DJ2YB2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24610#ZYW7 |
| Convexity of the initial condition | CHAMXRYB76 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.32710#UFIR |
| Convexity on the gap | RSY78G2DE5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.37479#1Z24 |
| convexity properties with respect to $N$ with given parity | GVAQPMVV30 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.06147#AEOF |
| convexity properties with respect to arbitrary $N$ | HVA2E2AJ9P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.06147#1JSR |
| Convexity/linearity of posterior vulnerability w.r.t. choices | VZSAXWC3C3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1803.10042#7Y8J |
| convolution | SA0FMVA9EQ | unknown | open | mathlib_overview Analysis > Measures and integral calculus > convolution, Mathlib MeasureTheory.convolution, mathlib_undergrad Measures and integral calculus > Integration > convolution |
| convolution | SC530H9PJP | unknown | open | mathlib_undergrad Group Theory > Representation theory of finite groups > convolution |
| convolution | TZ7FJC639X | unknown | open | Wikidata Q210857, MathWorld Convolution, nLab convolution product |
| convolution algebra | QNKRW82XHR | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.14678#1Q9A |
| convolution of two functions of $\mathcal{S}(\R^d)$ | DNTZ5B4Q8S | unknown | open | mathlib_undergrad Distribution calculus > Spaces $\mathcal{S}(\R^d)$ > convolution of two functions of $\mathcal{S}(\R^d)$, Mathlib SchwartzMap.convolution |