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 2601–2700 of 7242.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Chernoff tangency | A8033DJJ79 | 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.16094#E43Y |
| Chernoff theorem | HRV1TP91DN | statement | record (an 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.16094#NB82 |
| Chernoff's inequality | JPW1RXH1C1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1011.5443#J4SC |
| Chernoff--Stein lemma, with strong converse | GCKCF45GQN | statement | record (an 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.27765#4G3D |
| Chern–Gauss–Bonnet theorem | 8M8EX9FV01 | statement | open | mathlib_1000 Q11704319, Wikidata Q11704319, thousand_plus Q11704319, Wikipedia Chern–Gauss–Bonnet theorem |
| Chern–Simons form | W0WS4JE3NH | concept | open | Wikidata Q375489, EoM Chern-Simons_functional, nLab Chern-Simons element |
| Chern–Simons theory | 1M0JMWCK5Y | unknown | open | Wikidata Q1528019, nLab Chern-Simons theory |
| Chern–Weil homomorphism | SMEBAYMHRN | concept | open | Wikidata Q3087844, nLab Chern-Weil homomorphism |
| chess | J34HNVPMQ9 | definition | open | Wikidata Q718, MathWorld Chess, ProofWiki Definition:Chess |
| chess move | 4KNXMJ9KX2 | definition | open | Wikidata Q54935824, ProofWiki Definition:Chess/Move |
| chess piece | MP1PM14X7C | definition | open | Wikidata Q208440, ProofWiki Definition:Chess/Piece |
| chess player | 9JWNKJGVPC | definition | open | Wikidata Q10873124, ProofWiki Definition:Chess/Player |
| chess puzzle | JEMK1HYJP2 | definition | open | Wikidata Q2891654, ProofWiki Definition:Chessboard_Puzzle |
| chessboard | YB23Q6YWRJ | definition | open | Wikidata Q110079, MathWorld Chessboard, ProofWiki Definition:Chess/Chessboard |
| Chessboard estimate | ZRZPJ7Y39P | statement | record (an 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.29671#K46P |
| chessboard paradox | C3ZVB53EX1 | unknown | open | Wikidata Q98374129, MathWorld DissectionFallacy |
| Chevalley group | BTQ8F1DZNP | unknown | open | Wikidata Q124457730, EoM Chevalley_group, MathWorld ChevalleyGroups, nLab Chevalley group |
| Chevalley's structure theorem | KW3PKSNJH1 | statement | open | mathlib_1000 Q5094298, Wikidata Q5094298, thousand_plus Q5094298, Wikipedia Chevalley's structure theorem |
| Chevalley--Weil formula | 4F44WVQ3KG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1712.02437#DGFS |
| Chevalley--Weil formula for $\Gamma\triangleleft \mathrm{PSL}_2(\mathbb{Z})$ | RN7BN7MCNF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1712.02437#MDKM |
| Chevalley-Warning theorem | 8R2HEAY1KR | unknown | open | mathlib_overview General algebra > Number theory > Chevalley-Warning theorem, Mathlib char_dvd_card_solutions |
| Chevalley–Eilenberg algebra | E8EAD1EPJ4 | concept | open | Wikidata Q43097389, nLab Chevalley-Eilenberg algebra |
| Chevalley–Shephard–Todd theorem | MKC03S6D5A | statement | open | mathlib_1000 Q5094305, Wikidata Q5094305, thousand_plus Q5094305, Wikipedia Chevalley–Shephard–Todd theorem |
| Chevalley–Warning theorem | GM7D6CHPPJ | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q720469, Mathlib char_dvd_card_solutions_of_sum_lt, Wikidata Q720469, thousand_plus Q720469, Wikipedia Chevalley–Warning theorem, MathWorld ChevalleysTheorem |
| CHF41NQTA1 | CHF41NQTA1 | statement | record (an 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.08074#NKPZ |
| CHF77HVCAW | CHF77HVCAW | 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.35180#0ZJT |
| CHFJS1FQD4 | CHFJS1FQD4 | statement | record (an 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.12330#WGK6 |
| CHFSA4P31P | CHFSA4P31P | statement | record (an 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.00144#ZMTB |
| CHFYHY63QW | CHFYHY63QW | statement | record (an 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.10902#2YY7 |
| CHFYN11DKS | CHFYN11DKS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0904.3493#KAII |
| CHG6HC0VNV | CHG6HC0VNV | exercise | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#prob:find upper bounds |
| CHHJYYV9EB | CHHJYYV9EB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.06637#MI15 |
| CHHYQZYPBZ | CHHYQZYPBZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.09700#Y6D8 |
| chi-square test | 6YEGGPQAZV | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q1071004, EoM Chi-squared_test, MathWorld Chi-SquaredTest |
| chi-squared distribution | 39PP5164WT | unknown | node (a node has the same name as the row) | Wikidata Q243462, EoM Chi-squared_distribution, MathWorld Chi-SquaredDistribution |
| Chiara Nappi | S4Z1ZMNKQ9 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q5095243, nLab Chiara Nappi |
| chicken, imaginary | HYAYD46102 | concept | open | lebl_scv index/1/chicken-imaginary |
| child | XRMC7CTW0D | concept | open | levin_dmoi index/5.2.2/child |
| child regions | 7RD3ND26W2 | 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.01753#UWW9 |
| child vertex | NXHKRRQ3NW | unknown | open | Wikidata Q1373197, MathWorld Child |
| China TST 1998 | 9YGPR9V1Z8 | exercise | open | napkin tex/alg-NT/classgrp.tex#problem-3 |
| Chinese hypothesis | RWBPHS5QEE | unknown | open | Wikidata Q5100807, MathWorld ChineseHypothesis |
| Chinese mathematics | VJ2QP7MSRN | topic | open | Wikidata Q540129 |
| Chinese remainder theorem | VDZBNNXR2V | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q193878, Mathlib Ideal.quotientInfRingEquivPiQuotient, Mathlib ZMod.chineseRemainder, Wikidata Q193878, mathlib_overview General algebra > Ideals and quotients > Chinese remainder theorem, mathlib_undergrad Ring Theory > Ideals and Quotients > Chinese remainder theorem, thousand_plus Q193878, Wikipedia Chinese remainder theorem, Wikipedia Linear congruence theorem, EoM Chinese_remainder_theorem, MathWorld ChineseRemainderTheorem, ProofWiki Chinese_Remainder_Theorem |
| Chinese restaurant process | EF47SCT9M0 | 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.30098#9CZI |
| chiral algebra | YKSDAF8Z2T | concept | open | Wikidata Q5101825, nLab chiral algebra |
| chiral anomaly | 3ZG14DEXCK | unknown | open | Wikidata Q5101826, nLab chiral anomaly |
| chiral knot | HSC82SM22R | unknown | open | Wikidata Q4064646, MathWorld ChiralKnot |
| chiral perturbation theory | VWDWHJ769W | unknown | open | Wikidata Q3984130, nLab chiral perturbation theory |
| Chiral polytope | F05CDW66F6 | unknown | open | Wikidata Q5101834, MathWorld Chiral |
| chirality | 7QXTNT121V | unknown | open | Wikidata Q3734365, MathWorld Handedness |
| Chiu graph | DDC6FFXV2M | unknown | open | Wikidata Q141665444, House of Graphs 51354, MathWorld ChiuGraph |
| CHJER492QC | CHJER492QC | statement | record (an 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.10591#1VS3 |
| Chlamt\'a\v{c | GJMSQ7MEF0 | statement | record (an 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.01071#YYKF |
| CHMCBRFQX4 | CHMCBRFQX4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.14162#ZACM |
| CHMDMJM7A2 | CHMDMJM7A2 | 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.06458#5ZHK |
| CHMW16K0CB | CHMW16K0CB | exercise | open | ernst_ibl MAAPressVersion/IntroFunctions.tex#problem-8 |
| CHMWS0V36S | CHMWS0V36S | statement | record (an 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.32860#J1DG |
| CHNFH04DTG | CHNFH04DTG | proof | open | napkin tex/linalg/fourier.tex#proof-1 |
| CHNKZ8TRKY | CHNKZ8TRKY | statement | open | open_logic content/methods/proofs/proof-by-contradiction.tex#prop-3 |
| Cho et al.\ , Theorem 2.1 | AJAR3MMSM9 | statement | record (an 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.20849#YJE7 |
| Cho et al.\ , Theorem 2.3 | C8AXD50WMB | statement | record (an 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.20849#HZVT |
| Cho et al.\ , Theorem 2.5 | 5SYK4D3EH1 | statement | record (an 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.20849#X9TQ |
| Choi's theorem on completely positive maps | HN6X149S1C | statement | open | mathlib_1000 Q5103861, Wikidata Q5103861, thousand_plus Q5103861, Wikipedia Choi's theorem on completely positive maps |
| Choi--Effros/Kirchberg | BAAHGM9H9H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2510.02019#NTH6 |
| Choi--Frobenius isometry | M37EEBVBP2 | statement | record (an 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.27908#AXVQ |
| Choice | HV5MR269ZX | statement | open | open_logic content/set-theory/choice/wellorderingproblem.tex#axiom-1 |
| choice function | Q27DBT5AVS | definition | node (a node has the same name as the row) | Wikidata Q2513496, nLab choice function, ProofWiki Definition:Choice_Function |
| Choice of $\gamma$ and $\epsilon_k$ | FBGTPQNZ46 | statement | record (an 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.18797#G937 |
| Choice of block length | FCGGWPW9HH | statement | record (an 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.09522#H52A |
| Choice of chordal completion | 2JSGVT0D8S | problem | record (an 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.19669#IJ6R |
| Choice of points | DNJTR6M7VM | statement | record (an 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.21872#870U |
| Choice of polynomial corrections | 3P8SECW973 | statement | record (an 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.15805#97PE |
| Choice of sign | BW7Y4XXWG5 | statement | record (an 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.06521#4IMO |
| Choice of the chain length | 7KSASP5S2J | statement | record (an 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.21461#LE0G |
| Choice of the constants | 7JW37XAQ8Y | statement | record (an 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.24739#98D7 |
| Choice of the parameters | 1THRZ0S491 | statement | record (an 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#E5O6 |
| choice operator | FRG28CQNDD | concept | open | hott_book index/9.2/choice-operator |
| choice sequence | AVQA1S32NA | unknown | open | Wikidata Q5104040, nLab choice sequence |
| Cholesky decomposition | YY5ZS7FKXP | definition | node (a node has the same Wikidata item as the row) | Wikidata Q515375, MathWorld CholeskyDecomposition, ProofWiki Definition:Cholesky_Factorization |
| Chomsky–Schützenberger enumeration theorem | 7198PZ6J45 | statement | open | mathlib_1000 Q19323571, Wikidata Q19323571, thousand_plus Q19323571, Wikipedia Chomsky–Schützenberger enumeration theorem |
| Chomsky–Schützenberger representation theorem | E21WE5A6G8 | statement | open | mathlib_1000 Q3527040, Wikidata Q3527040, thousand_plus Q3527040, Wikipedia Chomsky–Schützenberger representation theorem |
| Choosing the frequency resolution | S8XRTRYER9 | statement | record (an 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#DRU7 |
| Choquet–Bishop–de Leeuw theorem | MW72G5YZ25 | statement | open | mathlib_1000 Q1076274, Wikidata Q1076274, thousand_plus Q1076274, Wikipedia Choquet–Bishop–de Leeuw theorem |
| chord | BE5DNJ2T7W | unknown | open | Wikidata Q135974090, MathWorld CycleChord |
| chord | K46FMZ65Y4 | unknown | open | Wikidata Q188191, MathWorld Chord |
| chord estimate for tubes | TBT9XKG1DR | statement | record (an 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.14050#AY07 |
| Chordal clique-separator formula | QFBMG5A0Y1 | statement | record (an 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.19669#LQQE |
| Chordal graph | 453NQCX02Y | 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.19669#TVXW |
| chordal graph | YZT4A6Q2MQ | statement | open | mathlib_1000 Q1322892, Wikidata Q1322892, thousand_plus Q1322892, Wikipedia Dirac's theorem on chordal graphs, MathWorld ChordalGraph |
| Chordal specialization | Q07VV4G7DB | statement | record (an 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.04325#ICDP |
| Chow ring | 91N3Z4K639 | concept | open | Wikidata Q5105523, EoM Chow_ring, MathWorld ChowRing |
| Chow variety | ES7J2PEHE8 | concept | open | Wikidata Q5105518, EoM Chow variety, MathWorld ChowVariety |
| Chow's theorem | DYJACME9BJ | statement | open | mathlib_1000 Q4724004A, Wikidata Q4724004, mathlib_1000 Q4724004B, thousand_plus Q4724004A, thousand_plus Q4724004B, Wikipedia Riemann's existence theorem |
| Chowla–Mordell theorem | 37FJ0E9H3C | statement | open | mathlib_1000 Q4991415, Wikidata Q4991415, thousand_plus Q4991415, Wikipedia Chowla–Mordell theorem |
| CHPE7D8NB6 | CHPE7D8NB6 | 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.28664#WPKG |
| CHPH6BK1QB | CHPH6BK1QB | statement | record (an 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.39169#PLMB |
| CHPKXN1ZJ1 | CHPKXN1ZJ1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.01000#ZJTX |
| CHPNRJQQK5 | CHPNRJQQK5 | statement | record (an 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.12736#XZCU |
| CHPQAB2K3Q | CHPQAB2K3Q | example | open | napkin tex/topology/cover-project.tex#example-4 |