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 5301–5400 of 7242.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Continuous restriction | 605MGK9AVF | 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.14548#XMMX |
| Continuous threshold convergence on the box | 9PK0MHBNRV | 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.29524#2M5Q |
| continuous uniform distribution | C7763YCGJW | unknown | node (a node has the same name as the row) | Wikidata Q274506, EoM Uniform_distribution, MathWorld UniformDistribution |
| Continuous variational realization | PDTY8DA78B | 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#E6AX |
| Continuous-depth convergence from averaged margins | 1N54PEKGQT | 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.09356#2SGU |
| Continuous-Space Upper Bound | RD2SCXNC89 | 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.36421#S9DW |
| Continuous-time annealing | JYXGX2YMRK | 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.28611#X0HE |
| continuously differentiable | 81ST2N8M3Z | concept | open | lebl_ra index/11.6/continuously-differentiable |
| continuously differentiable function | KQZ8H9DM9F | unknown | node (a node has the same name as the row) | Wikidata Q91933113, MathWorld ContinuouslyDifferentiableFunction |
| Continuously orbit equivalent odometers with non-commensurable normalizer groups | 6RQQAH7F4C | 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 2610.06488#N3MH |
| Continuum difference concentration | KD327HPCFE | 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.16351#BYWD |
| continuum hypothesis | QYDZ5ZT6JH | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q208416, Wikidata Q208416, thousand_plus Q208416, MathWorld ContinuumHypothesis, nLab continuum hypothesis, ProofWiki Continuum_Hypothesis |
| continuum mechanics | YD4WAFRKDH | topic | open | Wikidata Q193463, nLab continuum mechanics, ProofWiki Definition:Continuum_Mechanics |
| Continuum rearrangement functional | XWG0JR80S8 | 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#T622 |
| Continuum upper bound | V0SDH72YX2 | 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.05421#FSZV |
| Continuum variational characterisation | J44PGVK838 | 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#HW73 |
| Continuum weak Poisson problem with a discontinuous coefficient | M92J90N72G | 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#QNXU |
| Continuum well-posedness and dead core | Z7R6A5F0XH | 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#C621 |
| contour | B3SY21H4YD | definition | open | Wikidata Q120726075, MathWorld Contour, ProofWiki Definition:Contour/Complex_Plane |
| contour integral | JFQTEF3FY6 | definition | node (a node has the same name as the row) | Wikidata Q116907694, MathWorld ContourIntegral, ProofWiki Definition:Contour_Integral/Complex |
| contour integrals of continuous functions in $\C$ | AP5DGSJ6B4 | unknown | open | mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > contour integrals of continuous functions in $\C$ |
| contour integration | ASG7PQ721N | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q856103, EoM Complex_integration,_method_of, MathWorld ContourIntegration |
| contour line | 9HDNDMADW6 | unknown | node (a node has the same name as the row) | Wikidata Q14905927, MathWorld ContourLine |
| Contour with respect to a fixed configuration $\omega^0$ | 8C8JDP3EKQ | 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 2310.11101#44PA |
| Contours | T1YNWC267V | 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#AOJB |
| contract bridge | 1APTWKNT0W | definition | open | Wikidata Q188966, MathWorld Bridge, ProofWiki Definition:Bridge_(Game) |
| Contractibility of fixed points of finite-order Hamiltonian diffeomorphisms | 5QP2ZDV17Y | 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 2607.25960#VZTA |
| Contractibility of the fibres of the boundary of a homeomorphism | W2S005M9KM | 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.29450#V7TI |
| Contractible maps | DZ8F1A320M | definition | open | hott_book equivalences.tex#defn:equivalence |
| contractible space | F1KTJ2VXF7 | definition | open | Wikidata Q230689, EoM Contractible_space, MathWorld Contractibility, MathWorld Contractible, nLab contractible space, ProofWiki Definition:Contractible_Space |
| contractible, function | 3BPYDKPJPB | concept | open | hott_book index/3.4/contractible-function |
| contractible, type | RNBZ947VWD | concept | open | hott_book index/9.11/contractible-type |
| Contraction | 1032XEQQSM | 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.15887#AJAH |
| Contraction | BY0G4BYMXX | 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#JJDZ |
| Contraction | FS21S00D7P | 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.33590#1Z5S |
| Contraction | TTJCMNW05Z | 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.21093#KX4P |
| Contraction and queen positions | JE32A52ENF | 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.31336#WQF9 |
| Contraction between auxiliary and reference | DC54H8XTH9 | 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#9GMQ |
| Contraction estimates for the Witten semigroup | VMSSN4H9QZ | 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.06308#D8MK |
| Contraction from a Gaussian convolution | THA430DDHJ | 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#W22D |
| Contraction in $\Omega(h)$ | NT6TH6YNB4 | 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.17276#WFOP |
| Contraction loss and required vertex counts | QSBB9M4GW0 | 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.26058#XH68 |
| contraction mapping principle | N6VQEFWYMP | concept | open | lebl_ra index/4.6.1/contraction-mapping-principle |
| Contraction near the kernel | R0J47RMN2Y | 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#MRPH |
| Contraction of a product of depth kernels | PT55FSE12J | 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.14988#KJKZ |
| Contraction of Fr\'echet means | BDNB0FE2MH | 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#MF1O |
| Contraction of Median Operator | 28722T4VMT | 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#LG34 |
| Contraction of parameters | 5Z3FW3TRC1 | 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.29712#K1VM |
| Contraction of products of at least $m$ regularized greedy kernels | C99SZX9AJQ | 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.14988#M59C |
| Contraction of the canonical conditional maps | D9WJQ1D19N | 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#ZD8B |
| Contraction of the killed-process | V6HPJDF0C2 | 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.30585#9UND |
| Contraction of the virtual flow at radius $R$ | 526150X29E | 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.14988#L8KO |
| Contraction of the virtual flow at radius $R$ | E33G9RK9AX | 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.14988#TQLI |
| Contraction over two generations | PYJFAYT04J | 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.28791#F5R5 |
| Contraction principle | WJE7RVJB6A | 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.40271#9LL1 |
| Contraction property and its inversion | N664KMHEBX | 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#T2PH |
| Contraction rate of a template | 2T58FSZ949 | 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 2403.16840#9JZS |
| Contraction ratios | YYBN366KTT | 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.17677#TFZH |
| Contraction toward the regularized target | WW3W3Y3CKC | 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.13773#1DUM |
| Contraction-optimality of small $c$ | 5K9P21M69N | 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.00295#XAT2 |
| Contractions of $K_{a,b}$ | 2X5HQQ27GJ | 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.04305#NJEF |
| Contractive compressor | CDBB34SVVB | 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.20087#HT44 |
| Contractive variance estimate | 8XAZHNHSVN | 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 2607.28185#T1RL |
| Contractivity of the Heun kernel | KKZRBQQJVA | 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.06308#DSL4 |
| contradiction | MBD6GB0JM5 | concept | open | levin_dmoi index/4.2.3/contradiction |
| contrapositive | 34WR5EVJCC | concept | open | levin_dmoi index/1.2.2/contrapositive |
| contrapositive | XQVNWVJRJC | unknown | open | Wikidata Q7249998, nLab contrapositive |
| contrapositive, proof by | V28FWDHA4D | concept | open | levin_dmoi index/4.2.2/contrapositive-proof-by |
| contravariant functor | RWHHMDGKHJ | concept | open | hott_book index/8.6/contravariant-functor |
| contravariant functor | WDQMVVJKGC | definition | open | Wikidata Q124662529, MathWorld ContravariantFunctor, nLab contravariant functor, ProofWiki Definition:Functor/Contravariant |
| contravariant tensor | AXHYF1D0XT | unknown | open | Wikidata Q77982958, MathWorld ContravariantTensor |
| contravariant vector | MYD6ZHTAK3 | unknown | open | Wikidata Q7253388, MathWorld ContravariantVector |
| Contravariant Yoneda functor | QMV0FBBJJG | example | open | napkin tex/cats/functors.tex#example-4 |
| Contribution from extra automorphisms | PW6CCYFFA8 | 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.40207#BBKY |
| Contribution from vectors of full support | 9XJ9QT2NNP | 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.12619#3ISV |
| Contribution from vectors of proper support | 8FB84ZKGRM | 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.12619#7D8T |
| Contribution of one fresh cut | GV8NE63DYD | 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.28791#LZA5 |
| Control Barrier Function | Z3XD1934AD | 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.28364#PPF0 |
| Control of $J'$ | FFTEKM36XE | 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.30220#P76T |
| Control of high moments | EP3QY4W15C | 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 2512.08487#2X57 |
| Control of terms appearing in Good Event 6 | MB45DSGX9W | 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.04600#NVZ6 |
| Control of the certificate on near and far regions | BZ4X4NAM01 | 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.30220#EPI9 |
| Control of the local $L^{p^*}$ norm | TTWW5SFS10 | 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.00339#QF9E |
| Control of the martingales at exit times | AJPFR1DVDX | 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.12138#4PN2 |
| control theory | 4XW7VGREVY | topic | open | Wikidata Q6501221, MathWorld ControlTheory |
| Controllability | PCFS6VW8MZ | 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.25431#W8BW |
| Controllability of the critical subsystem | 9EM6RVM01T | 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.34938#06MP |
| Controlled additivity | G1MZD24EPQ | 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.37562#6J5F |
| Controlled perturbation of the hard objective | SR1CN9GHJW | 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.01843#JZPA |
| Controlled transfer errors | MF27H5NTP3 | 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.16248#2M7Z |
| Controlling by a field | EBRWT16P0M | 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 math/0003117#753P |
| Controlling the initialization error | ZSEEPHKN20 | 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.15202#3HUD |
| Controls on the kernel | YN8FMHS77D | 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.30220#XXDM |
| convective operator | 57FF3TT4FB | unknown | open | Wikidata Q4230387, MathWorld ConvectiveOperator |
| convenient vector space | BY2958FHNK | unknown | open | Wikidata Q25303670, nLab convenient vector space |
| convergence | 1R89T1PE7E | unknown | open | mathlib_undergrad Numerical Analysis > Ordinary differential equations > convergence |
| Convergence | 54DEQSYPYJ | 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.33590#9ZPC |
| Convergence | AKGP4SEZNV | 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.17677#KEUV |
| Convergence | CXPMQKCF4S | 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.10821#ZUB3 |
| convergence | XRV2AJQJTR | 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#L6HD |