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 1201–1300 of 7242.

NameIdKindOutcomeSources
Carlson's theoremPNZF1HY0V9statementopenmathlib_1000 Q5042898, Wikidata Q5042898, thousand_plus Q5042898, Wikipedia Carlson's theorem
Carlyle circleJEJR8REMA4unknownopenWikidata Q17004522, MathWorld CarlyleCircle
Carmichael functionR6NC474N22unknownopenWikidata Q1043778, MathWorld CarmichaelFunction
Carmichael number2E902XW5E1unknownnode (a node has the same name as the row)Wikidata Q849530, MathWorld CarmichaelNumber, OEIS A002997
Carmichael's theoremEW04F0WHT7statementopenmathlib_1000 Q3889376, Wikidata Q3889376, thousand_plus Q3889376, Wikipedia Carmichael's theorem
Carmichael's totient function conjectureSD8CWJVD69conjectureopenWikidata Q5043655, MathWorld CarmichaelsTotientFunctionConjecture
Carnot's theorem1HAGMAFMVDstatementopenmathlib_1000 Q1141747, Wikidata Q1141747, thousand_plus Q1141747, Wikipedia Carnot's theorem (inradius, circumradius), MathWorld CarnotsTheorem
Carnot's theorem (thermodynamics)6PHAW88FGGstatementopenmathlib_1000 Q2347139, Wikidata Q2347139, thousand_plus Q2347139, Wikipedia Carnot's theorem (thermodynamics)
Caro and MifsudYJAE9ZTRVTproblemrecord (an 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.27788#WC2N
Carol numberF8DRRPDJ3FunknownopenWikidata Q819137, MathWorld Near-SquarePrime
Carotid-Kundalini functionGFYGF872STconceptopenWikidata Q19562854, MathWorld Carotid-KundaliniFunction
carrier7Z3VM0CZHFconceptopenhott_book index/1.14/carrier
carrier8S7ARZQ3T8conceptopenhott_book index/A.6/carrier
Carrier criterionPH5FT9NVBFstatementrecord (an 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.14446#FJ71
Carrier LemmaHTH7Y6NFX1statementrecord (an 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.15099#6UM2
Carriers in type $A_2$DBT825W3JMexamplerecord (an 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.27253#69R9
carry95K7DZA509conceptopenWikidata Q1333956, MathWorld Carry
Carry formulation4EG0XMD7XYstatementrecord (an 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.26055#EZ5Y
Carry-safe decision coverage2H9SBKFGDFstatementrecord (an 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.37380#XG6P
carrying capacityS98EE5DXP1conceptopenactive_calculus index/7.6.3/carrying-capacity
Carrying the payloadMNTNYR9FTDdefinitionrecord (an 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#4ATU
Carsten ThomassenRZ6ZP6TXPKunknownout_of_scope (a person, not an item of mathematics)Wikidata Q1045720, ProofWiki Mathematician:Carsten_Thomassen
CartanJ0VVPNM4A6statementopenlebl_scv scv.tex#thm-9
Cartan connectionZE9R9BZ4QTunknownopenWikidata Q1068049, nLab Cartan connection
Cartan decompositionST5T562S10unknownopenWikidata Q3042798, MathWorld CartanDecomposition
Cartan intertwiner formulaF73QYC9WWEstatementrecord (an 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.06742#BXH6
Cartan matrixRPZHNQA7M3unknownopenWikidata Q2004951, MathWorld CartanMatrix
Cartan relationsTCRJG19Y6Ystatementrecord (an 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.04189#FUIC
Cartan subalgebraF9V1Z36MY2conceptopenWikidata Q2912114, MathWorld CartanSubalgebra, nLab Cartan subalgebra
Cartan subgroupAE75AXA014conceptopenWikidata Q5047045, MathWorld CartanSubgroup, nLab Cartan subgroup
Cartan's theorem BTFHNPA2PCVstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2407.02022#ORMP
Cartan's theorems A and BESHVVQ19P7statementopenmathlib_1000 Q5047043, Wikidata Q5047043, thousand_plus Q5047043, Wikipedia Cartan's theorems A and B
Cartan--Thullen theorem158SB8K605conceptopenlebl_scv index/2.6/cartan-thullen-theorem
Cartan--Thullen\index{Cartan--Thullen theorem}N2A62A0WBSstatementopenlebl_scv scv.tex#thm:cartthul
Cartan–Dieudonné theoremJ2J2K35KSRstatementnode (a node has the same name as the row)mathlib_1000 Q2540738, Wikidata Q2540738, thousand_plus Q2540738, Wikipedia Cartan–Dieudonné theorem
Cartan–Hadamard theoremQCS915QE21statementopenmathlib_1000 Q5047048, Wikidata Q5047048, thousand_plus Q5047048, Wikipedia Cartan–Hadamard theorem
Cartan–Kuranishi prolongation theoremTA3PJB0Z3Gstatementopenmathlib_1000 Q5047051, Wikidata Q5047051, thousand_plus Q5047051, Wikipedia Cartan–Kuranishi prolongation theorem
Cartan–Kähler theoremZE1X3XYX3Hstatementopenmathlib_1000 Q5047052, Wikidata Q5047052, thousand_plus Q5047052, Wikipedia Cartan–Kähler theorem
Cartesian closedTQ5ANXJ5FGunknownopenmathlib_overview General algebra > Category theory > Cartesian closed, Mathlib CategoryTheory.MonoidalClosed
cartesian closed category99692TAN41definitionopenWikidata Q1725874, EoM Cartesian-closed_category, nLab cartesian closed category, ProofWiki Definition:Cartesian_Closed_Category
Cartesian closednessHGMA0BHTYNstatementrecord (an 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#IQ00
Cartesian coordinate system2KDHW450GPunknownnode (a node has the same Wikidata item as the row)Wikidata Q62912, EoM Cartesian_orthogonal_coordinate_system, MathWorld CartesianCoordinates, Wikidata Q73454785
cartesian monoidal categoryD5EMEZBVRMunknownopenWikidata Q18205845, nLab cartesian monoidal category
cartesian oval2E5A313F5MunknownopenWikidata Q2983648, MathWorld CartesianOvals
Cartesian powerFHGM0BVE9TunknownopenWikidata Q77610627, nLab cartesian power
Cartesian product1Q8ZQ0ZC9Cdefinitionopenopen_logic content/sets-functions-relations/sets/pairs-and-products.tex#defn-1
Cartesian product25A9DRSQ0Yconceptopenlevin_dmoi index/1.3.3/cartesian-product
Cartesian productATQ3YAQC1Wunknownnode (a node has the same name as the row)Wikidata Q173740, EoM Cartesian_product, MathWorld CartesianProduct, nLab cartesian product
cartesian productGYMPMNTR95conceptopenapplied_combinatorics index/B.3/cartesian-product
Cartesian productWXHV9XZF1Dconceptopenlevin_dmoi index/2.1.1/cartesian-product
Cartesian product of currentsCSK6EMMVN3definitionrecord (an 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.24451#NPX0
Cartesian product of graphs7P26RT2YMWunknownopenWikidata Q3406706, MathWorld GraphCartesianProduct
Cartesian product structureNDBT1FSY3Gstatementrecord (an 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.13429#L86Q
Cartesian spaces, and the pointC5YQ63A127examplerecord (an 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#7XRM
Cartesian spaces; the Jacobian7CCA0FX1NEstatementrecord (an 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#Y2LT
Cartesian tensorYWEW2HFERXunknownopenWikidata Q17004583, MathWorld CartesianTensor
Cartier divisorEBVYC0Q5YVconceptopenWikidata Q44950770, nLab Cartier divisor
Cartier duality8143FCZZX1conceptopenWikidata Q28455141, nLab Cartier duality
Cartier expansionSRG5BN9HZ2statementrecord (an 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.17476#J9OG
cartography42518XC42YunknownopenWikidata Q42515, EoM Cartography,_mathematical_problems_in, MathWorld Cartography
Carvajal and PantheeRNCDWY1Z7Fproblemrecord (an 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.03288#V4UM
Cascade dominationBSS0D492K5statementrecord (an 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#RS8P
Case $h=2$GT8G6HSVR9statementrecord (an 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.02495#1R4T
Case $k>1$MX6RBT9KADexamplerecord (an 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.24451#C38R
Case (B) is closed for \emph{every} $n$ in the unitary familyNVDAX3HX0Rstatementrecord (an 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.04099#KK19
Case (C) forces a congruence on $p$TT9BZ73P82statementrecord (an 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.04099#2963
Case (C): the exact exceptional set1R47YGC7CKstatementrecord (an 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.04099#071W
Case (D) at $n=5$XJJF01312Kstatementrecord (an 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.04099#R7B5
Case (D) is closed for \emph{every} $n$GJGW1N6T1Hstatementrecord (an 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.04099#G5SS
Case AKHGNPT3XSNstatementrecord (an 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#S4KX
case analysisZM7GF22QGKconceptopenhott_book index/8.1/case-analysis
Case BK0EF9ZK1FQstatementrecord (an 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#0DQ6
Case CB9CDHJT8RSstatementrecord (an 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#PYV2
Case D3T473ZD70Bstatementrecord (an 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#UG6Z
Case E9C9V5M4ZYKstatementrecord (an 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#1H5T
case of a f\/inite group8S5DY1ZD6Astatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1408.1555#93ZP
Casel, Fernau, Ghadikolaei, Monnot, SikoraJPRNFFDSKRstatementrecord (an 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.19093#W2C0
casesZ0SY4GAQASconceptopenlevin_dmoi index/4.2.5/cases
Casey’s theorem62VSSWJRDWstatementopenmathlib_1000 Q1370316, Wikidata Q1370316, thousand_plus Q1370316, Wikipedia Casey's theorem, MathWorld CaseysTheorem
Casimir effectFKXQBH3K1VtopicopenWikidata Q275393, nLab Casimir effect
Casimir invariant72WVBVT383conceptopenWikidata Q1047475, MathWorld CasimirOperator
Casselman-WallachXFQAZPEQYRstatementrecord (an 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/0301148#0IL8
Cassini ovalB6X3CD58XMconceptopenWikidata Q728699, MathWorld CassiniOvals
Cassini projectionJVA92JGBSEunknownopenWikidata Q5049440, MathWorld CassiniProjection
Cassini's identity718ASJGP7Dconceptnode (a node has the same name as the row)Wikidata Q123169377, MathWorld CassinisIdentity
Cassius Ionescu-TulceaX9T9KYBX14unknownout_of_scope (a person, not an item of mathematics)Wikidata Q15222811, ProofWiki Mathematician:Cassius_Tocqueville_Ionescu_Tulcea
Casson invariantWQZW8X237KunknownopenWikidata Q5049507, nLab Casson invariant
Castelnuovo–de Franchis theoremE10ZC9JX8Hstatementopenmathlib_1000 Q5049717, Wikidata Q5049717, thousand_plus Q5049717, Wikipedia Castelnuovo–de Franchis theorem
Castelnuovo–Mumford regularityJY211JP8BSunknownopenWikidata Q5049716, nLab wall crossing
Castigliano's first and second theoremsVCJP3641STstatementopenmathlib_1000 Q858978, Wikidata Q858978, thousand_plus Q858978, Wikipedia Castigliano's method
Casting out ninesH9YXA5ZSXEunknownnode (a node has the same Wikidata item as the row)Wikidata Q1757155, MathWorld CastingOutNines
castlingQ6Y8428TM9definitionopenWikidata Q102877, ProofWiki Definition:Chess/Rules/Castling
Castro--LazerPCXN6SYGAHstatementrecord (an 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.21533#7ZLX
casus irreducibilis1TRVSHZVFWunknownopenWikidata Q5050952, MathWorld CasusIrreducibilis
CAT0TGM61KCAT0TGM61Kstatementrecord (an 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.18929#R0JD
Catalan numberGWBS24PWD9definitionnode (a node has the same Wikidata item as the row)Wikidata Q270513, MathWorld CatalanNumber, nLab Catalan number, OEIS A000108, ProofWiki Definition:Catalan_Number
Catalan numberVJKHVGX95Aconceptopenapplied_combinatorics index/2.5/catalan-number
Catalan numbersBYEJDYYJYTunknownnode (a node has the same name as the row)mathlib_overview Combinatorics > Enumerative combinatorics > Catalan numbers, Mathlib catalan
Catalan pseudoprimeWCP4FB2VW9objectopenWikidata Q5051230, OEIS A163209
Catalan solid1E5M62E230unknownopenWikidata Q258921, MathWorld CatalanSolid