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 5701–5800 of 7242.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Corpus Aristotelicum | 6T1A8HPGSX | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1054239, ProofWiki Mathematician:Aristotle/Writings |
| Corrado de Concini | 8X5WH6BFD5 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1135253, nLab Corrado de Concini |
| Corrado Segre | V56N0XA3P2 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1135252, nLab Corrado Segre |
| Correct local threshold sign | CKFGQJ508C | 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#ABWS |
| Corrected diagonal interaction | 6S7NYYEFP5 | 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.32829#SJXU |
| Corrected discrete critical threshold | BYXFQ0FV1R | 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.15466#4S7C |
| Corrected form | HFX6C9GCB9 | 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.07214#JJ3D |
| Corrected Gram's law equivalent to RH | QTY209P3NM | 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 2406.06548#QMJG |
| Corrected Lemma 7 | 9FW2RC1B3M | 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 1007.0842#IDX4 |
| Corrected local-window approximation for the target CEV process | 6GF5T5TTB2 | 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.05864#M1TN |
| Corrected Theorem 10 | TMT9310MW5 | 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 1007.0842#FU7Q |
| Corrected trichotomy at halting | 1W32Z1D9ZR | 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.27966#W1WY |
| Correction blocks | 3YWSBQ54N4 | 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#YKQC |
| Correction in the direction $n$ | F598ANVDP9 | 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.12238#2E8L |
| Correction to the Gaussian reference score | N5TNJTPXKP | 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#IMZK |
| Correction-depth character linearization | J7KFE358K6 | 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.10583#8FZI |
| Correctness of decoding | X1TYM92XC6 | 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.15631#GJAO |
| Correctness of one iteration | AHB3HVQ81B | 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.10596#85KU |
| Correctness of the finite query | CFC8040HTF | 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.20414#G13I |
| Correctness of the Spectral Form | 8W69C41XY7 | 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.25091#FZJ7 |
| Correctness on manifolds | 5CEV23CGWB | 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.26270#JADP |
| Correctness via Psatz | 9517T406JW | 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.09634#AN90 |
| Corrector derivative | VX9FAABC0B | 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#RT7C |
| correlation | 34P5CJTK0J | unknown | open | Wikidata Q5172842, MathWorld ProjectiveCorrelation |
| correlation | PJBM7TVWHS | concept | open | Wikidata Q186290, MathWorld StatisticalCorrelation |
| Correlation bound | S7YNR05EYE | 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.02407#U565 |
| Correlation breaker with advice | 1KFRB1R84X | 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.02407#P2W1 |
| Correlation breaking with intermediate variables | ZRRJC49SJT | 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.02407#TPG6 |
| Correlation consequence | R782B183H9 | 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.04027#96YI |
| Correlation destroys identifiability | RJR1FFGP8Q | 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.04671#Y2ZL |
| correlation dimension | C2BZ6B71RT | unknown | open | Wikidata Q5172849, MathWorld CorrelationDimension |
| correlation integral | 2J71TJ8CMF | unknown | open | Wikidata Q5172855, MathWorld CorrelationIntegral |
| Correlation of the Sign-Rounded Average Discrete Gradient | 7HWZ2YR6K9 | 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.16705#XSSZ |
| Correlation of the Warm Start | NSWF5MYJZ8 | 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.16705#0CFY |
| correlation ratio | QD6AW64DV3 | concept | open | Wikidata Q5172857, MathWorld CorrelationRatio |
| Correlation Transfer | N8DGXA80GD | 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.02407#P14G |
| Correlation with bounded-degree polynomial phases | W0TRJVRATA | 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.02407#P23N |
| Correlation with quadratic polynomials | C1YHE84J99 | 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.02407#SZ2Y |
| Correspondence of local extrema | GEEJFCX2JQ | 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.15369#62F8 |
| Correspondence of periodic solutions | SN1BEW4TN6 | 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.05354#QJO8 |
| Correspondence principle | 5EPV86M1X5 | 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.30410#XVE9 |
| correspondence theory of truth | D0TZ0ZPVBN | unknown | open | Wikidata Q379168, nLab correspondence theory of truth |
| Correspondences pass to pointed ultralimits | A9BMWSV7AN | 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.17400#19UN |
| corresponding angles | TA9GYGP6PJ | definition | open | Wikidata Q841990, ProofWiki Definition:Transversal_(Geometry)/Corresponding_Angles |
| corresponding eigenfunction | JD7MC1QJM9 | concept | open | lebl_diffyqs index/5.1.2/corresponding-eigenfunction |
| Corresponding to Lemma 4.4 | HP41FYX14Y | 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.08682#O56N |
| corridor; traversal | 44SRENYY8D | 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.14051#8X19 |
| Corrupted smooth oracle | HTNBWVB2W8 | 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.18555#Z0LB |
| Corruption-protected adaptive smoothing | CM0HM6RHVV | 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#8KN5 |
| cos | FQ1J1N2WY3 | unknown | open | mathlib_undergrad Single Variable Complex Analysis > Complex-valued series > extension of trigonometric functions to the complex plane > cos, Mathlib Complex.cos |
| cos | VBRNBWQHF8 | unknown | open | mathlib_undergrad Single Variable Complex Analysis > Complex-valued series > power series expansion of elementary functions > cos, Mathlib Complex.hasSum_cos |
| cosecant | DJDWMWK2N5 | definition | open | Wikidata Q2631442, EoM Cosecant, MathWorld Cosecant, ProofWiki Definition:Cosecant |
| cosecant | QEJAZPD302 | concept | open | active_calculus index/2.4.2/cosecant |
| coset | S8KHNG9EDR | unknown | open | Wikidata Q751969, EoM Coset_in_a_group, MathWorld Coset |
| cosheaf | NW2ZBZA615 | unknown | open | Wikidata Q16951980, nLab cosheaf |
| cosine | SHY62HGJWR | definition | open | Wikidata Q1256164, EoM Cosine, MathWorld Cosine, nLab cosine, ProofWiki Definition:Cosine |
| Cosine comparison in a $\kappa$-domain | XPN6BMPW35 | 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#9WXD |
| Cosine inequality along geodesics | WGTGVRXVBQ | 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#6WL2 |
| cosine integral | D69EN1DG8T | unknown | open | Wikidata Q4201938, MathWorld CosineIntegral |
| cosine of integer multiple of pi | 4J5J8DM3SE | statement | open | Wikidata Q141458519, ProofWiki Cosine_of_Integer_Multiple_of_Pi |
| Cosine-grid difference count | BBAY36WRSX | 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#QIQO |
| Cosine-power estimate | WQEF83N312 | 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.37375#QI56 |
| cosmic censorship hypothesis | WNSQXV657K | unknown | open | Wikidata Q1191211, nLab cosmic censorship hypothesis |
| cosmic inflation | 6VMVC797HT | unknown | open | Wikidata Q273508, nLab cosmic inflation |
| cosmology | CVG5DVZ2SY | topic | open | Wikidata Q338 |
| Cossey | RVQA6N1SB9 | conjecture | record (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 2502.05771#QMTU |
| Cossey-Lewis | F7QQ7NTF46 | conjecture | record (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 2502.05771#R1C1 |
| Cossey-Lewis | WWCWKZXKRJ | 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 2502.05771#AYG4 |
| Cossey-Lewis-Navarro | 97MY25F2CZ | 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 2502.05771#38A9 |
| Cost approximation under the supermartingale constraint | B4H42G7JM2 | 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#5NIH |
| Cost of $\Omega$-regularization | FYK6CJ8A59 | 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#TIYG |
| Cost of backward evaluation | 5R3FETV71K | 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#VEAJ |
| Cost of budgeted sparse certification | R1WXACS7ZZ | 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.21139#6FI6 |
| Cost of finitely many punctures | R5AWEN4QCJ | 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.30103#OELB |
| Cost of optimization | W92860H41X | 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#VN4G |
| Cost of publishing hop curves | WVGGY16XZN | 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.26258#3Q59 |
| Cost of soft-information compression | Z5SKXZW7YZ | 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.29688#5IA6 |
| Cost of spectral truncation | M0B2XN874G | 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#O8CO |
| Cost of terminal rejection | JMVR8416W3 | 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.11330#HHQ0 |
| Cost with a source at the center | WCWX0JY3GJ | 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.31535#T62U |
| Cost-Free Direct Product of Impulsive CTMDPs | 5P0X772EE0 | 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.20126#SC67 |
| Cost-weighted entropy | 5N5HWN5K3N | 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.37368#6CA9 |
| Cost-weighted hierarchy oracle | QMXNBHXJJM | 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.35418#ZO2B |
| Cost-weighted mutual information | C1E8WKFXS9 | 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.37368#PAC8 |
| Costrength and strength | 6T2KR1MJ4E | 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.26270#EY1Q |
| cotangent | A17WJ0F8WX | definition | open | Wikidata Q1264373, EoM Cotangent, MathWorld Cotangent, ProofWiki Definition:Cotangent |
| cotangent | TZ3WJQQEYM | concept | open | active_calculus index/2.4.2/cotangent |
| cotangent bundle | HBY02F0NRW | unknown | open | Wikidata Q1142143, MathWorld CotangentBundle, nLab cotangent bundle |
| cotangent complex | ZHR82FBCTD | unknown | open | Wikidata Q5175289, nLab cotangent complex |
| Cotangent operator space | KVHXTWJZXE | 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.37698#NAV6 |
| Cotangent space and the pairing | PJGKJSEGMT | 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.26270#9D7T |
| Cotes's spiral | PQXR81F2KH | concept | open | Wikidata Q5175339, MathWorld CotesSpiral |
| Cotor of an exterior coalgebra | A2VZ8BYDN4 | 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.04164#0TL1 |
| cotransitivity of apartness | 3317C4NREK | concept | open | hott_book index/B.2.1/cotransitivity-of-apartness |
| coulomb | DDX1SH6YK8 | definition | open | Wikidata Q25406, ProofWiki Definition:Coulomb_(Unit) |
| Coulomb gauge | 9T23XXKP4G | unknown | open | Wikidata Q56296592, nLab Coulomb gauge |
| Coulomb sampler with a finite-rank interaction | R2VHBG7E4V | 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.06764#606Q |
| Coulomb wave function | AJ5XSGV7R1 | unknown | open | Wikidata Q17007968, MathWorld CoulombWaveFunction |
| Coulomb's law | 9M5YX8V79Z | statement | open | Wikidata Q83152, ProofWiki Coulomb's_Law_of_Electrostatics |
| Count-conditional statistical alignment discrepancy | 33SD56J90S | 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.31607#JQ9Y |