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 1001–1100 of 7242.

NameIdKindOutcomeSources
Cancellation Law of AdditionKNZWGA3JWDstatementopenapplied_combinatorics source/s_background_formal-num-sys.ptx#theorem-3
Cancellation Law of MultiplicationEC77ECK6J9statementopenapplied_combinatorics source/s_background_total-order-N.ptx#corollary-1
Cancellation lemmaA95TCG5C7Kstatementrecord (an 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.02392#PCEV
Cancellation of additive factors8FXAWZZ38Jstatementrecord (an 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.30301#ZWVR
Cancellation of nonsingular quadratic suspensionsZ6AK0FXE2Rstatementrecord (an 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.07092#VRU7
Cancellation of older levels and detection of level $i$BZNE5FJK01statementrecord (an 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.05652#8YWF
Cancellation of one Hessian9E0HRWBW3Astatementrecord (an 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.18350#DTKH
Cancellation on $\mathfrak{M}(\Theta)$AZ3V3A6YAYstatementrecord (an 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.15010#QC07
Cancellation on regular faces5VSMBDC5BYstatementrecord (an 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.32107#N6A7
cancellation propertyDRE0JHTV8WunknownopenWikidata Q2298524, EoM Cancellation_law
Cancelling a subspace301AE6WQYZstatementrecord (an 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.27044#0QPR
candela4RV6JK75YVdefinitionopenWikidata Q83216, ProofWiki Definition:Candela
CANDF4K687CANDF4K687examplerecord (an 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.05259#2QWW
Candidate columns set4S90TC5RK3definitionrecord (an 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.30203#K2B9
Candidate graphSP5XCQ16T4statementrecord (an 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.39269#XRW4
Candidate repetitions precede resource repetitions437DA4S0ZGstatementrecord (an 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#O0BA
Candidates and a symmetric partner3YBYRWMK8Fstatementrecord (an 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.18884#86CU
Canfell4EX2H7YWK3statementrecord (an 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.20760#ZNAT
Cannon--ThurstonT6NVCME1XVstatementrecord (an 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.35858#ZV8W
cannonball problem2HSMA1GXYMunknownopenWikidata Q32178732, MathWorld CannonballProblem
Canonical (Longo--Rehren) Q-systemE4WDB0QMF3statementrecord (an 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.08787#0MST
Canonical additive character and the quadratic characterBX0FXTB9CJdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2208.07784#D41Z
Canonical ampleness from constant negative HSCDAQ06BHE8Nstatementrecord (an 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.25762#907Z
Canonical antichain3615XH19R5statementrecord (an 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.10950#MOF4
Canonical asymptotic metric98EEVXM5XZdefinitionrecord (an 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.00560#PTHQ
canonical bundleH2T5C94BASunknownopenWikidata Q844128, MathWorld CanonicalBundle, nLab canonical bundle
Canonical characterization of an Arthur distributionFK86QD19VVstatementrecord (an 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.16931#0DQ9
canonical commutation relationMGX4KGTS8KunknownopenWikidata Q473322, nLab canonical commutation relation
Canonical cost4KTHDM507Sstatementrecord (an 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.40290#88MX
Canonical coverSS00E2GE9Nstatementrecord (an 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.26196#JYB4
Canonical cubic differential6E7E9GBAFAstatementrecord (an 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.26196#NJTU
Canonical decompositionGT9ND05AEMstatementrecord (an 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.31187#7YGW
Canonical divisor under a base blow-upS3GN92AE2Tstatementrecord (an 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.16962#ZAT6
Canonical dyadic decomposition of a prefix76ZQ3MFYY3statementrecord (an 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.21033#8OU6
Canonical enhancement labels8PSG1393B7definitionrecord (an 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.16931#ZZVT
Canonical enhancementsN1EWTVV3FMstatementrecord (an 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.16931#7JXK
Canonical equivalence for a general stellar subdivisionH0CFXZ9H3Kstatementrecord (an 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.27799#713O
Canonical extensionW5C9X1TFZ2statementrecord (an 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#IBJ5
Canonical factorizations1BXZ0DW8N0statementrecord (an 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.36423#1MWL
Canonical familyQ8CFVA5YGRstatementrecord (an 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.26745#FIB1
canonical formG2XNNM3B9BunknownopenWikidata Q1152398, MathWorld CanonicalForm, MathWorld NormalForm
Canonical FormTG8VC7KGNFdefinitionrecord (an 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#QAS4
Canonical form of the conditioning approximationKGXZ1H95QPstatementrecord (an 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.02166#PS77
Canonical free-group form and functorial decompositions2VM5RYHH80statementrecord (an 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.25805#UKO9
Canonical Frobenius lifting, Proposition 3.6.11Y5THSK3GJQstatementrecord (an 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.33808#OU6R
Canonical Gibbs propertyMQC4XYGV39statementrecord (an 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.28503#CMK1
Canonical Hamming Partition1SED453V54statementrecord (an 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.37578#KTQQ
Canonical Hopf projection8C0WXP4CAFstatementrecord (an 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.19837#FVZZ
Canonical intermediate Hermitian form and radical72NHS89Z40definitionrecord (an 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.25805#UFNT
Canonical interval blockX23HX8SY5Estatementrecord (an 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.27799#AXS9
Canonical interval countKKHE1BJ40Zstatementrecord (an 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.22305#A22G
Canonical involution of a double coverBS59SSQFXSstatementrecord (an 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.38013#4BDE
Canonical irredundancyA6NVA4833Fstatementrecord (an 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.10950#4WO2
Canonical Lift of fBmVDJGFA48JAstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2312.06473#J15Z
Canonical local coefficient bound21XGZ4NVSMstatementrecord (an 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.00448#JU5W
Canonical local pullback comparison94EKPZF1GFstatementrecord (an 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.28220#EGRC
Canonical ModelGHTKM3M6QWdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1209.3562#BSE7
Canonical predictive state7RPXJZ2B5Kstatementrecord (an 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.13951#6YCR
Canonical presentationGMH6YWM6HQdefinitionrecord (an 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.09086#RLTI
Canonical projection boundEQ6PJ5TVHEstatementrecord (an 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#A5KV
Canonical pseudo-Frobenius lift on the $\mu$-ordinary locus, Lemma 7.4.107P9AYVM15Mstatementrecord (an 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.33808#FSMB
canonical quantizationM13JMYF766topicopenWikidata Q5961083
Canonical quotientSKHWM5QYTBdefinitionrecord (an 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.16931#AKKN
Canonical quotient form7MSSAXW69Gdefinitionrecord (an 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.25805#HAJ5
Canonical realisation20NCJYY65Ndefinitionrecord (an 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.40290#830V
Canonical reduction and decentralized realizationTJEJZRQP39statementrecord (an 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.33021#GQV8
Canonical solutionTEQM55NVTGstatementrecord (an 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.12434#EALA
Canonical source testsBJC69RAZ9Bstatementrecord (an 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#L082
Canonical threshold ERM9780MS3J4Nstatementrecord (an 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.10519#K0A1
Canonical thresholdsM302XD5FBVexamplerecord (an 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.10519#XYOH
Canonical tied-level sourceGFEWT61KVHstatementrecord (an 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#UDSB
canonical transformationPMM3EMW0DGunknownopenWikidata Q1366892, MathWorld CanonicalTransformation, nLab canonical transformation
Canonical-specialization representation criterion (CSRCTN8D5MFP07statementrecord (an 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.21092#TWI8
Canonical-to-local decentralized bridgeYYY4JWRC8Pstatementrecord (an 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.33021#WIDV
CanonicalizationE6X5RVVQRKstatementrecord (an 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.38375#KQT1
canonicityCMX6HNWYZ5conceptopenhott_book index/u1.u8/canonicity
canonicityEHNZJV6A4Bconceptopenhott_book index/A.1/canonicity
canonicityMXFKKR9H15unknownopenWikidata Q124416742, MathWorld Canonical
cantellationYAN3B7GWXPunknownopenWikidata Q3895039, MathWorld Cantellation
Cantor9QDBVSDW9Tstatementopenhott_book setmath.tex#thm-4
CantorD3CJQY0VP4statementopenlebl_ra ch-real-nums.tex#thm-2
CantorD71NZ98C3Ystatementopenopen_logic content/sets-functions-relations/size-of-sets/comparing-size.tex#thm:cantor
CantorY2QXPYNXSFstatementopenlebl_ra ch-real-nums.tex#thm-3
Cantor \footnote{Named after the German mathematician \href{https://en.wikipedia.org/wiki/Georg_Cantor}{Georg Ferdinand Ludwig Philipp Cantor} (1845--1918).}TT5J8B4NA9statementopenlebl_ra ch-vol1-intro.tex#cantorspowersetthm
Cantor functionEFHR13WW6MunknownopenWikidata Q938883, MathWorld CantorFunction
Cantor normal form7PKVXPXE5Punknownopenmathlib_overview Logic and computation > Set theory > Ordinals > Cantor normal form, Mathlib Ordinal.CNF
Cantor number527J9K5YH4unknownopenWikidata Q12786684, MathWorld Catalan-MersenneNumber, OEIS A007013
Cantor setWN0DFESZPTunknownnode (a node has the same Wikidata item as the row)Wikidata Q273188, MathWorld CantorSet
Cantor spaceMM22S5T2CPunknownopenWikidata Q616653, nLab Cantor space
Cantor subsetsCKBVY2SB15statementrecord (an 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#71I9
Cantor's diagonal argumentNJC29KAT4Estatementopennapkin tex/set-theory/zfc.tex#lem:cantor_diag
Cantor's diagonal argumentXEX0S8JHCKstatementnode (a node has the same Wikidata item as the row)Wikidata Q729471, MathWorld CantorDiagonalMethod
Cantor's intersection theorem755QFRJ4VPstatementnode (a node has the same Wikidata item as the row)Wikidata Q858052, MathWorld CantorsIntersectionTheorem
Cantor's intersection theoremKHS5VGJDGPstatementopenmathlib_1000 Q1050203, Mathlib IsCompact.nonempty_sInter_of_directed_nonempty_isCompact_isClosed, Wikidata Q1050203, thousand_plus Q1050203, Wikipedia Cantor's intersection theorem
Cantor's isomorphism theoremB1AEQKKCEPstatementopenmathlib_1000 Q107710112, Mathlib Order.iso_of_countable_dense, Wikidata Q107710112, thousand_plus Q107710112, Wikipedia Cantor's isomorphism theorem
Cantor's paradoxND5M2JGRFXunknownopenWikidata Q379078, MathWorld CantorsParadox, nLab Cantor's paradox
Cantor's theorem49ZE4S9J2Sstatementnode (a node has the same Wikidata item as the row)mathlib_100 63, Mathlib Function.cantor_surjective, mathlib_1000 Q474881, Wikidata Q474881, thousand_plus Q474881, Wikipedia Cantor's theorem, MathWorld CantorsTheorem, nLab Cantor's theorem, ProofWiki Cantor's_Theorem
Cantor's Theorem4QY0TNYN5Ystatementopenernst_ibl MAAPressVersion/UncountableSets.tex#thm:Cantors Theorem
Cantor's theorem6N8GCMTVVCconceptopenhott_book index/C.2/cantor-s-theorem
Cantor's theoremAWT3AZKW10conceptopenlebl_ra index/7.4/cantor-s-theorem