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 5401–5500 of 7242.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Convergence acceleration | 3P2HR686Z3 | 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.35894#LZ0Y |
| Convergence after row-stochastic normalization | HW4AVVDNAT | 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.26066#H3B0 |
| convergence analysis | T4FAVGQ0G8 | unknown | open | mathlib_undergrad Numerical Analysis > Iterative methods > convergence analysis |
| Convergence and global stationarity | YS19A2XFMP | 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.05652#AZC0 |
| Convergence and monotonicity for nonnegative coefficients when \texorpdfstring{$|\tau|\rho(\mathscr H)<1$}{|tau| rho(H) < 1 | 9NSBXV9QB6 | 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.26066#6KAA |
| Convergence bound | GGMNT51HBE | 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.13631#1EOD |
| Convergence by positive recursion | F4AH91T9YB | 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.02531#JHBP |
| Convergence estimate | 1084MXC1CK | 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#62AB |
| Convergence for a finite training set | WZZT4Z50HV | 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.12017#TBGT |
| Convergence for a finite Witt truncation | 5GFDTKGP7E | 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.05652#UYDV |
| Convergence in a gap | T3SCP3ANM7 | 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#DT7G |
| Convergence in Backward KL in the convex case | CPS1FT49GM | 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.32446#U76O |
| Convergence in Backward KL in the strongly convex case | H12QZZGQ6Z | 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.32446#PISA |
| convergence in distribution | 4ZDWH5CW23 | unknown | node (a node has the same name as the row) | mathlib_overview Probability Theory > Convergence of a sequence of random variables > convergence in distribution, Mathlib MeasureTheory.ProbabilityMeasure.tendsto_iff_forall_integral_tendsto |
| convergence in mean | C5JF2KBV07 | unknown | node (a node has the same name as the row) | Wikidata Q91264859, MathWorld ConvergenceinMean |
| convergence in probability | 5KPV69KQFA | unknown | node (a node has the same name as the row) | mathlib_overview Probability Theory > Convergence of a sequence of random variables > convergence in probability, Mathlib MeasureTheory.TendstoInMeasure, mathlib_undergrad Probability Theory > Convergence of a sequence of random variables > convergence in probability |
| convergence of $p$-series for $p>1$ | WPNXZH26HC | unknown | open | mathlib_undergrad Single Variable Real Analysis > Numerical series > convergence of $p$-series for $p>1$, Mathlib Real.summable_one_div_nat_rpow |
| convergence of a power series | DKBJK5HF37 | concept | open | lebl_diffyqs index/9.1.1/convergence-of-a-power-series |
| Convergence of ADI-based balanced truncation | 6TSKE85F3H | 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.31044#JGQI |
| Convergence of bandlimited EPDiff equation | FDTAKNQRCV | 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 2410.06788#BA4L |
| Convergence of bisection to the extreme value | QP2GTV9W25 | 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.30821#LGU6 |
| Convergence of decoupled SNOPnP / PnP--Flow | GAG7JK3PZT | 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.32393#ND5N |
| Convergence of geodesic approximation | CJQYEX73NM | 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 2410.06788#CKI6 |
| Convergence of GGDPC under the ARI | QHKK3Y0VAK | 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.01050#V43M |
| Convergence of gradient descent under abstract row regularity | 4DW5JD1Y2Q | 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.04357#BAQ5 |
| Convergence of inverse clocks | J887M8Y5PW | 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.20302#VPF4 |
| Convergence of joint empirical distribution | TZXS42SXQF | 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.38453#NVC3 |
| Convergence of LKHI | RR52V1S7DZ | 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.27741#39QF |
| Convergence of LKHI($\pi$ | 15EGSM99EF | 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.27741#YS3X |
| Convergence of LKHI($\pi$) with aperiodicity | 1KWHCG50GE | 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.27741#VI8T |
| Convergence of LKQL | 7WJDGK28TF | 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.27741#XQ0R |
| Convergence of MBO | YXA7QQH26M | 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.37803#UM19 |
| Convergence of MBO from (equivalent | A6SGQFTSR6 | 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.37803#M7RD |
| convergence of measures | PAKZ6FG9PH | unknown | open | Wikidata Q2105205, EoM Convergence_of_measures |
| Convergence of perturbations | R5GPGA6ABW | 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#O2X0 |
| Convergence of PINNs for $p$-Laplace Problems | A92Y0E82BB | 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.30809#PI40 |
| Convergence of PINNs for infinity Laplace Problems | X1VQFA2TGF | 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.30809#W4TO |
| convergence of power series | YFJT00FSF0 | concept | open | lebl_scv index/1.2/convergence-of-power-series |
| Convergence of PPM under Local Quadratic Growth | 82NSGHN8MW | 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.10927#3ZDR |
| Convergence of Quasi-Gradient Method | XKJPA3Q825 | 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.19181#TC47 |
| Convergence of random terminal pairings | EAHXC344HG | 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.28985#1TXL |
| Convergence of real-valued series | Q2FNEQ2X16 | unknown | open | mathlib_undergrad Single Variable Real Analysis > Numerical series > Convergence of real-valued series |
| convergence of sequences of distributions | YGWBQDZZVY | unknown | open | mathlib_undergrad Distribution calculus > Distributions on $\R^d$ > convergence of sequences of distributions |
| Convergence of SGD with Dynamic Batching | XM2D8DHWH1 | 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.02355#TH5S |
| Convergence of SGDM with Dynamic Batching | 516HZMZV51 | 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.02355#SOO1 |
| Convergence of Sobolev training | QAZMX3XXB8 | 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.05188#L0YZ |
| Convergence of subgradients | 29PAH2HRYZ | 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.17519#K9JN |
| Convergence of the Discretization of the Dirichlet Force | Q2QP764F7H | 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.13355#1O9I |
| Convergence of the energy | VR9AEZD18F | 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.01928#QOOX |
| Convergence of the frozen problem | 42ECH7GKEM | 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#C2LX |
| Convergence of the full phase map | YKR76GD6W3 | 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.19953#VJM6 |
| Convergence of the Fully Discrete Scheme with Boundary Conditions | AG00QEAM1N | 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.13355#QVAL |
| Convergence of the Fully Discrete System | YSGSVGRZXY | 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.13355#D4MT |
| Convergence of the GGDPC graph distance | 6J5JMWD7F2 | 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.01050#HF7W |
| Convergence of the Gibbs measure | GEXEH65H5T | 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.10257#6W4N |
| Convergence of the idealized greedy procedures | XZGZQMGMTS | 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.12017#HQHV |
| Convergence of the Integrity Function | B8TNRSYY0K | 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.13355#HZPY |
| Convergence of the Laplace transform | GQPP5XFDMA | 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.02531#M55E |
| Convergence of the lumped nodal measures | CY4T34TZM1 | 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.05313#6E4Q |
| Convergence of the normalized terminal family | KJXQ9JJ74X | 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.00241#N91K |
| Convergence of the normalizer | JSHZ9AM4YT | 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.40203#KJRJ |
| Convergence of the rearrangement iteration | D0HX2F8VAM | 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.05313#4RTJ |
| Convergence of the regularized gradients | AVA4Q1M8V1 | 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 2202.02831#APYQ |
| Convergence of the RFF hedging problem | 513GEVDV2F | 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.34474#79SF |
| Convergence of the Semi-Discrete Solutions | 3243NEEHQR | 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.13355#L1TC |
| Convergence of the Semi-Discrete Systems with Homogeneous Dirichlet Boundary Conditions | AV0BQRTD5K | 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.13355#7F93 |
| Convergence of the series | NN819Q8WNF | 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.25301#RNI6 |
| Convergence of trajectories | S55GHN1H4V | 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.39409#HJPA |
| convergence of values | JX08ECW449 | 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.00902#JXVE |
| Convergence on $\On$ | 5JJTNZT6GZ | 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.06653#VMIU |
| Convergence on coarse partitions | 4KQNSH2HNX | 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.20087#F16L |
| Convergence on the retained coordinates | 47TT09PCV9 | 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.10640#X94W |
| Convergence rate of HI($\pi$) \& HI | HZVEA04PVG | 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.27741#CN2J |
| Convergence Rates | VMVH5EMCY3 | 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.10927#X6H0 |
| Convergence rates of energy-guided estimator | W811FRBG3T | 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.15111#DGW5 |
| convergence test | TTC6TZFC5B | unknown | open | Wikidata Q3979448, MathWorld ConvergenceTests |
| Convergence to $\gamma_r(\kappa)$ | A59HHE1R1Q | 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.38453#TCVE |
| convergence to a deterministic variable | JR3R4WB5J1 | 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 2610.05423#T3VZ |
| convergence to a deterministic variable on $(0,+\infty)$ | 4BBMSHQZ1F | 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 2610.05423#UJS7 |
| Convergence to a Local Min | N7413P6ZW5 | 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.37489#9RIE |
| Convergence to coarse variational equilibria | RP67VPBGEQ | 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.05428#MC2P |
| Convergence to Critical Point | 3NHKWV5SJK | 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.37489#EZSK |
| Convergence to the optimal value operator | ZX9PB9VAB6 | 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.03242#WWFB |
| Convergence to the rectangular Weyl matrix | E8163TBJBP | 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.26066#HVBY |
| Convergence to Viscosity Solution | EJ14JM3FT9 | 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.08484#MMGH |
| Convergence to zero | HQQZG05ZVQ | 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.00396#CLRA |
| Convergence under a uniform finite-section resolvent bound | EVAECB0ZF7 | 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.26066#P493 |
| Convergence under Witt truncation | 7619BJPXRY | 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.05652#IMQL |
| Convergence when all errors lie in a fixed subspace | KWPS8J1F9J | 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.04357#5UNT |
| Convergence with inexact adversary | YNM759TRD4 | 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#SP8C |
| convergence, general case | 20QN22X1ZQ | 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 2204.07227#8PTO |
| Convergence-group extension | 74GXEAX5NZ | 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.36098#9HXZ |
| Convergent quadratic recursion | TWB7J9032X | 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.11077#ZZN0 |
| Convergent scheme for generic regularity | 5HN77DA65M | 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 2410.06788#HVUF |
| convergent sequence | 98PCNKCB7Y | unknown | node (a node has the same name as the row) | Wikidata Q2996364, MathWorld ConvergentSequence |
| convergent series | ANWN0Z1HYT | unknown | node (a node has the same name as the row) | Wikidata Q1211057, MathWorld ConvergentSeries |
| convergent, improper integral | J12JW574Q5 | concept | open | lebl_ra index/8.5/convergent-improper-integral |
| convergent, power series | 4W0QVRBSEB | concept | open | lebl_ra index/10.6.5/convergent-power-series |
| convergent, sequence | RRQ5YXJ7PG | concept | open | lebl_ra index/10.1/convergent-sequence |
| convergent, sequence in a metric space | CYM50G8PCE | concept | open | lebl_ra index/4.3.1/convergent-sequence-in-a-metric-space |