| Corollary 3. Compound angle sine (+) | HWV3PP6RTB | statement | open | Wikipedia Ptolemy's theorem#I0VT |
| Corollary 3.1 on page 49 | YSK4QNPQEV | 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.23128#RGMP |
| Corollary 4 | 53NN8EEA2B | statement | open | Wikipedia Simple continued fraction#BQW7 |
| Corollary 4 | FTPXQYWCZD | statement | open | Wikipedia Space hierarchy theorem#EFSG |
| Corollary 4. Compound angle sine (−) | MG84E6ZMZZ | statement | open | Wikipedia Ptolemy's theorem#4IH3 |
| Corollary 5 | 29Y5V9S14N | statement | open | Wikipedia Space hierarchy theorem#56UV |
| Corollary 5 | WBMRPM9YG9 | statement | open | Wikipedia Simple continued fraction#HPKN |
| Corollary 5. Compound angle cosine (+) | 1DB8A72XHM | statement | open | Wikipedia Ptolemy's theorem#N9F4 |
| Corollary 6 | DM6WZW2JV2 | statement | open | Wikipedia Simple continued fraction#Y877 |
| Corollary concerning midpoints and endpoints of chords | YTNNBV4GAC | statement | open | Wikipedia Parabola#L318 |
| Corollary for strict preferences | TWCCSZ7JEX | statement | open | Wikipedia Gibbard–Satterthwaite theorem#R1ZJ |
| Corollary for surjective pair | EJF72BF05P | statement | open | Wikipedia Schröder–Bernstein theorem#NP5D |
| Corollary of Clifford's theorem | BD0NMHJQFM | statement | open | Wikipedia Clifford theory#VV4A |
| Corollary of other theorems | AGC35GSR0W | statement | open | Wikipedia Factor theorem#IJC8 |
| Corollary of Poisson integral formula | FG1S3Q33AX | statement | open | Wikipedia Schwarz integral formula#LD6G |
| Corollary of Schur's Lemma | 7JGJ9NPKXB | statement | open | Wikipedia Schur's lemma#QY0Q |
| Corollary of the Strong Regularity Lemma | 1DMGR1QERR | statement | open | Wikipedia Graph removal lemma#GGQG |
| Corollary of Theorem 2.3 | N3BTG9MW1H | 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.21768#9XUP |
| Corollary of Theorems 2.2 and 2.7 | 3V6BVX2JSB | 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.21768#ZBSD |
| Corollary on odd-degree polynomials | C5E2VSWMFA | statement | open | Wikipedia Complex conjugate root theorem#K5XF |
| Corollary to lemma (X^{\#} is weak-* complete) | J00N2ANY0F | statement | open | Wikipedia Banach–Alaoglu theorem#83KD |
| Corollary: Krein's extension theorem | EH81DDBN0G | statement | open | Wikipedia M. Riesz extension theorem#U4WS |
| Corollary: Restricted STC | 1PQB1T2N6D | statement | open | Wikipedia Poisson-type random measure#4A0L |
| Corollary: the Cramér–Rao bound | CTGBYRH3F9 | statement | open | Wikipedia Kullback's inequality#UM5R |
| Corollary: Tucker's lemma | M86GSGXMX6 | statement | open | Wikipedia Ky Fan lemma#PTVY |
| Corona product | XWSFRZNS75 | definition | open | Wikipedia Corona product, Wikidata Q133825779 |
| Corona theorem | 17VB07618H | statement | open | Wikipedia List of theorems#SQC2 |
| Corona theorem | 1J5G6QWEEC | statement | open | mathlib_1000 Q5172143, Wikidata Q5172143, thousand_plus Q5172143, Wikipedia Corona theorem |
| Corona theorem | MJPQG4GGM2 | statement | open | Wikipedia List of complex analysis topics#P75Y |
| Coronials | P71GFSY9NJ | definition | open | Wikipedia Coronials, Wikidata Q130852772 |
| coroot | YM05XM2CWJ | definition | open | Wikipedia Glossary of Lie groups and Lie algebras#NVKC |
| Corpus Aristotelicum | 6T1A8HPGSX | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1054239, ProofWiki Mathematician:Aristotle/Writings |
| Corpuscularianism | PY8R56523B | unknown | open | Wikipedia List of superseded scientific theories#QZ9K |
| Corrado Böhm | 2XMK7FRM5Q | unknown | open | Wikipedia List of Italian mathematicians#76KK |
| Corrado de Concini | 8X5WH6BFD5 | topic | out_of_scope (a person, not an item of mathematics) | Wikidata Q1135253, nLab Corrado de Concini, Wikipedia Corrado de Concini |
| Corrado De Concini | BD0HJHESSE | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#18WA |
| Corrado De Concini | CB1JFR3AH0 | topic | open | Wikipedia List of Italian mathematicians#9MFU |
| Corrado Gini | 4M7HW066T5 | unknown | open | Wikipedia List of Italian mathematicians#VNHL, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#52SC, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#71FQ |
| Corrado Segre | 8FRBSQ88Y6 | topic | open | Wikipedia List of Jewish mathematicians#PW9F |
| Corrado Segre | V56N0XA3P2 | topic | out_of_scope (a person, not an item of mathematics) | Wikidata Q1135252, nLab Corrado Segre, Wikipedia Corrado Segre |
| Corrado Segre | VMZ04HF55G | topic | open | Wikipedia List of Italian mathematicians#F194, Wikipedia List of Italian mathematicians#KUE2, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2P7I, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#85OQ |
| Correct horse battery staple | SJSA49AEEF | unknown | open | Wikipedia Xkcd#DM9J |
| 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 |
| Correct sampling | TWMJZW29H9 | definition | open | Wikipedia Correct sampling, Wikidata Q5172775 |
| Correct sampling | Y46BVP84BH | definition | open | Wikipedia List of statistics articles#GBNN |
| 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 for attenuation | D3EGVMBC6Y | definition | open | Wikipedia List of statistics articles#XQ9M |
| Correction for multiple testing | 59CDM4V9T6 | unknown | open | Wikipedia Multiple comparisons problem#M2RP |
| 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 |
| Correlated equilibrium | 2V247M40SW | definition | open | Wikipedia Correlated equilibrium, Wikidata Q964667 |
| Correlates of crime | ZRDC9BKK0C | definition | open | Wikipedia Correlates of crime, Wikidata Q4159320 |
| correlation | 34P5CJTK0J | definition | open | Wikidata Q5172842, MathWorld ProjectiveCorrelation, Wikipedia Correlation (projective geometry) |
| correlation | 6FX6XY2MVW | definition | open | Wikipedia Glossary of probability and statistics#7T0I |
| Correlation | KMK4HYW45J | definition | open | Wikipedia List of mathematical abbreviations#VO46 |
| Correlation | KZ0V1SN6FN | definition | open | Wikipedia List of statistics articles#7OT4, Wikipedia List of probability topics#H94C |
| correlation | PJBM7TVWHS | concept | open | Wikidata Q186290, MathWorld StatisticalCorrelation, Wikipedia Correlation |
| correlation | YJJTBXYN53 | definition | open | Wikipedia Glossary of classical algebraic geometry#TLW4 |
| Correlation and dependence | CBNNMASKVD | definition | open | Wikipedia List of statistics articles#6XOU |
| Correlation attack | 48AGPNC8K3 | definition | open | Wikipedia Correlation attack, Wikidata Q5172844 |
| 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 clustering | 5B2FF6PHXV | definition | open | Wikipedia Correlation clustering, Wikidata Q5172845 |
| Correlation clustering | N1JH9PW4XY | definition | open | Wikipedia List of statistics articles#WOTT |
| Correlation coefficient | W2XYP11VHY | definition | open | Wikipedia Correlation coefficient, Wikidata Q3433612 |
| 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 | definition | open | Wikidata Q5172849, MathWorld CorrelationDimension, Wikipedia Correlation dimension |
| Correlation does not imply causation | FT1K5DVZXB | definition | open | Wikipedia List of statistics articles#P4RE |
| Correlation does not imply causation | WXJ246YPPN | definition | open | Wikipedia Correlation does not imply causation, Wikidata Q310486 |
| Correlation function | 8XTKTS9JPC | definition | open | Wikipedia Correlation function, Wikidata Q3276790 |
| Correlation function | H3ABSB9PJG | definition | open | Wikipedia Correlation function (statistical mechanics), Wikidata Q5172856 |
| Correlation function | MF4E4693BS | definition | open | Wikipedia Correlation function (astronomy), Wikidata Q5172850 |
| Correlation function | VR9RWM638V | definition | open | Wikipedia List of statistics articles#AI58 |
| Correlation function (quantum field theory) | 1NKV0C0X2T | unknown | open | Wikipedia List of mathematical topics in quantum theory#U1RB |
| Correlation gain along shared edges | QMNTK915Z2 | 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.22301#BUL7 |
| Correlation immunity | J5BHD1YBN1 | definition | open | Wikipedia Correlation immunity, Wikidata Q1135299 |
| Correlation inequality | PTKZ17QJ17 | statement | open | Wikipedia List of statistics articles#SPWC |
| Correlation inequality | QT0SBPC20R | statement | open | Wikipedia Correlation inequality, Wikidata Q5172854 |
| Correlation inequality | RNH3VRDZQX | 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.21937#CPIH |
| Correlation inequality | SQ6D933SAN | statement | open | Wikipedia List of inequalities#NUXO |
| correlation integral | 2J71TJ8CMF | unknown | open | Wikidata Q5172855, MathWorld CorrelationIntegral |
| Correlation matrices | 1Z4JM543DJ | unknown | open | Wikipedia Correlation#RBM5 |