Math 2.0

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.

Rows 1101–1200 of 7242.

NameIdKindOutcomeSources
Cantor's theoremJTHE1SZSQEconceptopenlebl_ra index/11.9.5/cantor-s-theorem
Cantor–Bernstein–Schroeder theoremTPZZBT23E4statementnode (a node has the same Wikidata item as the row)mathlib_100 25, Mathlib Function.Embedding.schroeder_bernstein, mathlib_1000 Q1033910, Wikidata Q1033910, thousand_plus Q1033910, Wikipedia Cantor–Bernstein–Schroeder theorem, MathWorld Schroeder-BernsteinTheorem, nLab Cantor-Schroeder-Bernstein theorem, ProofWiki Cantor-Bernstein-Schröder_Theorem
Cantor–Dedekind axiomC8J7PWJX25unknownopenWikidata Q1860722, MathWorld Cantor-DedekindAxiom
Cantwell--Conlon2T5MPMP12Hstatementrecord (an 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.10558#HPRG
CANXTABQRSCANXTABQRSstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1709.08958#EWFJ
Cao et al.\2B0NR8D0FBconjecturerecord (an 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.21097#J1XH
Cao--Liu--ZhangDBX9BXXCSAstatementrecord (an 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.16203#T7IJ
Cap and monotonicity; \appproof{pf:capmonoMAG216ZHFMstatementrecord (an 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.39233#XX01
Cap form of the defectC9NZ30F67Xstatementrecord (an 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.25120#Q5MW
Cap formulaYAAGE6N9C7statementrecord (an 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.25120#MBOD
cap product2P4DJV7REFunknownopenWikidata Q5034459, nLab cap product
CAP theorem366T26G3RFstatementopenmathlib_1000 Q856032, Wikidata Q856032, thousand_plus Q856032, Wikipedia CAP theorem
Cap--half-mean inequality970ZVVBG64statementrecord (an 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.24931#OPR6
Cap-mean discrepancyP0CGAVBWNZstatementrecord (an 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.12387#LJBI
CAP4Y0G9AJCAP4Y0G9AJstatementrecord (an 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.33383#5XAD
Capacitary bounds for the degeneracy sets7AW9HWN83Estatementrecord (an 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.25449#NSW1
Capacitated Hall--Ore theorem4DX2SBCZEXstatementrecord (an 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.30315#5LHC
Capacities and water-fillingWYWHH82NEZstatementrecord (an 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.22308#3Z17
CapacityEPKMM22T9Rdefinitionrecord (an 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.39845#1NX8
CapacityM5Y76PNYJYdefinitionrecord (an 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#RUGJ
Capacity characterization under non-negative perturbative kernelsXFKDAFGH7Zstatementrecord (an 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.19715#REPK
Capacity converseR4DJVPYZ78statementrecord (an 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.40054#0UOP
Capacity couplingT6QYY27C2Vstatementrecord (an 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.17479#YVRW
Capacity criterion55AW3C9HTQstatementrecord (an 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.10557#SGPS
Capacity is hereditary8G083HZ1NPstatementrecord (an 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.26619#OVIQ
Capacity of a doubly stochastic mapEADQ8ZTXTKstatementrecord (an 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.15180#NMYX
capacity of a set92AF315W9AconceptopenWikidata Q5034494, EoM Capacity_of_a_set
Capacity of Spherical SetsQYVJWK7CMVstatementrecord (an 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.26619#5O4B
Capacity of the sparse transformer classSA7XGFB4ATstatementrecord (an 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.12544#RGOG
Capacity Relief and the Move-Up Flow4DS0P4SCYBstatementrecord (an 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.12732#3PBC
Capacity transfers through Freiman models8RERYKJP2Nstatementrecord (an 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.26619#4SLZ
capacity, of a cutXY7QWQJ18Wconceptopenapplied_combinatorics index/13.2/capacity-of-a-cut
capacity, of an edge9SBV9CQGPTconceptopenapplied_combinatorics index/13.1/capacity-of-an-edge
Capillary $\a$-entropy functionalSXMTGSTH0Ddefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2506.09840#MXQ3
Capillary entropy functional11J8HQ9W9Pdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2506.09840#OQF5
Capillary polar bodyR3B83GDG62definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2506.09840#UBTG
Capillary radial function31VBZ9WXQAdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2506.09840#IWH9
Capillary Santal\'o pointETNYDV7TCCdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2506.09840#NYOZ
Capillary support functionNTT4VEMPRDdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2506.09840#8B20
Capped AdamProxy trajectories and boundary separationNS989BVMA6statementrecord (an 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.11309#AOJF
Capped coordinate-weight exponential momentXZ0Z4YD6SEstatementrecord (an 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.05498#I7ZH
Capped diagonal4T1FNATSFCstatementrecord (an 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.06490#RE44
Capped geometric prefixM020TKC4TTstatementrecord (an 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.38668#A1BN
Capped reflected finalizerWFYEJY5RECstatementrecord (an 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#UKX4
Capped traceJT7AQ79YTEstatementrecord (an 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.34471#HIY6
Capped work rarely exceeds the marginYMDX37R0B4statementrecord (an 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.17329#L1QK
CAPQWDB1HTCAPQWDB1HTstatementrecord (an 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.22218#7FMY
caps on the sphereT4NNK0P5QZexamplerecord (an 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.27136#TLH1
Capture criterionFKF3TFS566statementrecord (an 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.12014#I0LJ
capture in chessM216KGTQTNdefinitionopenWikidata Q3984344, ProofWiki Definition:Chess/Rules/Capture
Caputo--M\"unch--Salez2WSNQBN562statementrecord (an 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.00137#VCXB
CAPWB07BPSCAPWB07BPSstatementrecord (an 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.29449#MRDA
CAPX2KJZ89CAPX2KJZ89statementopenlebl_scv scv.tex#prop-3
CAPZN7H2S8CAPZN7H2S8exerciseopenernst_ibl MAAPressVersion/Counting.tex#exercise-16
CAQGJZDVH3CAQGJZDVH3statementrecord (an 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.18620#7BG7
CAQK7DXPZHCAQK7DXPZHstatementrecord (an 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.01073#TMU0
CAQRXWHSX9CAQRXWHSX9definitionrecord (an 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.40123#EY30
Carath\'eodoryAJXX37Y9EKstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2503.19729#6MQ8
Carath\'eodoryYZXA5TQH2Qstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2503.19729#NDYW
Carath\'eodoryZB67BN7HR8statementrecord (an 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#Z1N1
Carath{\'e}odoryEGYK7SFZ4Rstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2606.21391#CHDV
Carathéodory's existence theoremP7MBPMYDASstatementopenmathlib_1000 Q5037752, Wikidata Q5037752, thousand_plus Q5037752, Wikipedia Carathéodory's existence theorem
Carathéodory's extension theoremY9BHRVZF4Hstatementopenmathlib_1000 Q2631152, Mathlib MeasureTheory.AddContent.measure, Mathlib MeasureTheory.AddContent.measure_eq, Wikidata Q2631152, thousand_plus Q2631152, Wikipedia Carathéodory's extension theorem, Wikipedia Hahn–Kolmogorov theorem
Carathéodory's theoremE0603CKSDCstatementnode (a node has the same Wikidata item as the row)arXiv 2610.17909#Q53H, mathlib_1000 Q2471737, Mathlib convexHull_eq_union, Wikidata Q2471737, mathlib_overview Analysis > Convexity > Carathéodory's theorem, thousand_plus Q2471737, Wikipedia Carathéodory's theorem (convex hull), ProofWiki Carathéodory's_Theorem_(Convex_Analysis)
Carathéodory's theorem (conformal mapping)AA5BB9KM83statementopenmathlib_1000 Q4378889, Wikidata Q4378889, thousand_plus Q4378889, Wikipedia Carathéodory's theorem (conformal mapping)
Carathéodory's theorem (measure theory)1C0XAW0JQ4statementopenWikidata Q15831518, ProofWiki Carathéodory's_Theorem_(Measure_Theory)
Carathéodory–Jacobi–Lie theoremK09BP7F8AEstatementopenmathlib_1000 Q523832, Wikidata Q523832, thousand_plus Q523832, Wikipedia Carathéodory–Jacobi–Lie theorem
Carbery--Wright, Theorem 23E1S6SHK6Astatementrecord (an 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.28993#GWJZ
carbonDVJ7D3B4SNdefinitionopenWikidata Q623, nLab carbon, ProofWiki Definition:Carbon
carbon-12FMECF6KNCEdefinitionopenWikidata Q1058364, ProofWiki Definition:Carbon/12
carbon-13XWRD9PP185definitionopenWikidata Q1770822, ProofWiki Definition:Carbon/13
carbon-14J2GPNYZNCDdefinitionopenWikidata Q840660, ProofWiki Definition:Carbon/14
Cardano's formula11DTXSBECSunknownopenWikidata Q1095119, EoM Cardano_formula
cardinal arithmeticAHG2KQKHNQunknownopenWikidata Q1729107, nLab cardinal arithmetic
Cardinal arithmeticMNK06SEG34definitionopennapkin tex/set-theory/cardinal.tex#definition-7
cardinal function9BSVRYR32EunknownopenWikidata Q4352241, EoM Cardinal_characteristic
cardinal numberGHER5PHWQCdefinitionnode (a node has the same name as the row)mathlib_overview Logic and computation > Set theory > Cardinals > cardinal, Mathlib Cardinal, Wikidata Q163875, MathWorld CardinalNumber, nLab cardinal number, ProofWiki Definition:Cardinal, ProofWiki Definition:Cardinal_Number
cardinal number, addition ofX81CHKA90Wconceptopenhott_book index/C.2/cardinal-number-addition-of
cardinal number, exponentiation ofZXW23CNGA8conceptopenhott_book index/C.2/cardinal-number-exponentiation-of
cardinal number, inequality of2PJES908K8conceptopenhott_book index/C.2/cardinal-number-inequality-of
cardinal number, multiplication ofVNCMAS9FB4conceptopenhott_book index/C.2/cardinal-number-multiplication-of
cardinality6NQH8W7FWXstatementrecord (an 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.39511#QQ48
cardinalityJMCVWMCEG0unknownnode (a node has the same Wikidata item as the row)Wikidata Q4049983, EoM Cardinality, MathWorld Cardinality
cardinalityPFCYMFCRNVstatementrecord (an 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.39511#DZDH
cardinalityVVMHFR9P6Aconceptopenlevin_dmoi index/1.3.2/cardinality
cardinalityWESWRBRGRWconceptopenapplied_combinatorics index/B.5/cardinality
cardinalityYSBBXWETZXconceptopenlevin_dmoi index/1.3.1/cardinality
cardinality of the continuumNGFJDF5AC0statementnode (a node has the same Wikidata item as the row)mathlib_100 22, Mathlib Cardinal.not_countable_real, mathlib_1000 Q22952648, Wikidata Q22952648, thousand_plus Q22952648, EoM Continuum,_cardinality_of_the, ProofWiki Definition:Cardinality_of_Continuum
cardioidADBFWC13VSdefinitionopenWikidata Q207726, MathWorld Cardioid, ProofWiki Definition:Cardioid
Carew Arthur MeredithMZBPEQC8KJunknownout_of_scope (a person, not an item of mathematics)Wikidata Q5039073, ProofWiki Mathematician:Carew_Arthur_Meredith
Caristi fixed-point theoremJPJAYEM6A8statementopenmathlib_1000 Q2287393, Wikidata Q2287393, thousand_plus Q2287393, Wikipedia Caristi fixed-point theorem
Carl Friedrich GaussG3AGT5TS1Eunknownout_of_scope (a person, not an item of mathematics)Wikidata Q6722, EoM Gauss,_Carl_Friedrich, ProofWiki Mathematician:Carl_Friedrich_Gauss
Carl Friedrich Gauss PrizeMY68T0EAK3unknownopenWikidata Q1036512, MathWorld GaussPrize
Carl Gustav Jacob JacobiD7AK4T1SS8unknownout_of_scope (a person, not an item of mathematics)Wikidata Q76564, nLab Carl Gustav Jacob Jacobi
Carl H. Brans1PHAG5FWS8unknownout_of_scope (a person, not an item of mathematics)Wikidata Q1038538, nLab Carl Brans
Carl Ludwig Siegel4P3001J664unknownout_of_scope (a person, not an item of mathematics)Wikidata Q61721, ProofWiki Mathematician:Carl_Ludwig_Siegel
Carleson–Jacobs theorem9JCATY0V1Astatementopenmathlib_1000 Q5041175, Wikidata Q5041175, thousand_plus Q5041175, Wikipedia Carleson–Jacobs theorem
Carlo BecchiKPM77KRN8Wunknownout_of_scope (a person, not an item of mathematics)Wikidata Q1041872, nLab Carlo Becchi
Carlos R. MafraR0DXZW63DMunknownout_of_scope (a person, not an item of mathematics)Wikidata Q82591611, nLab Carlos Mafra
Carlos SimpsonAAWNJC5WJRunknownout_of_scope (a person, not an item of mathematics)Wikidata Q15433442, nLab Carlos Simpson