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 1401–1500 of 7242.

NameIdKindOutcomeSources
Cauchy's integral theoremVA9ANRP752statementnode (a node has the same Wikidata item as the row)mathlib_1000 Q834025, Wikidata Q834025, thousand_plus Q834025, Mathlib Complex.circleIntegral_div_sub_of_differentiable_on_off_countable, Wikipedia Cauchy integral theorem, EoM Cauchy_integral_theorem, MathWorld CauchyIntegralTheorem, nLab Cauchy integral theorem, ProofWiki Cauchy-Goursat_Theorem
Cauchy's mean value theorem8838NY5TZEstatementopenlebl_ra ch-der.tex#thm:cauchymvt
Cauchy's mean value theoremAC9FBAR129conceptopenlebl_ra index/3.2.3/cauchy-s-mean-value-theorem
Cauchy's mean-value theoremPNJ96T5T9MstatementopenWikidata Q3984001, MathWorld ExtendedMean-ValueTheorem
Cauchy's theorem (geometry)WA0HC8ERDYstatementopenmathlib_1000 Q3527034, Wikidata Q3527034, thousand_plus Q3527034, Wikipedia Cauchy's theorem (geometry)
Cauchy's theorem (group theory)41FJPN7JKYstatementnode (a node has the same name as the row)mathlib_1000 Q1139041, Mathlib exists_prime_orderOf_dvd_card, Wikidata Q1139041, thousand_plus Q1139041, Wikipedia Cauchy's theorem (group theory)
Cauchy, approximation2QE7QC959Yconceptopenhott_book index/B.5/cauchy-approximation
Cauchy, approximation, type ofMVPSR6DBT5conceptopenhott_book index/B.3.2/cauchy-approximation-type-of
Cauchy, complex series3GNKVF9266conceptopenlebl_ra index/1.1.2/cauchy-complex-series
Cauchy, sequence2B89YMWM7Cconceptopenhott_book index/B.5/cauchy-sequence
Cauchy, sequenceDFCATFQ56Hconceptopenhott_book index/B.3.1/cauchy-sequence
Cauchy, sequenceE2A96B8Z3Sconceptopenhott_book index/B.3/cauchy-sequence
Cauchy, sequenceNDY8F3DZSPconceptopenhott_book index/B.6/cauchy-sequence
Cauchy, sequenceNEQYB7BZH5conceptopenhott_book index/B.4/cauchy-sequence
Cauchy, sequenceXMPQHGYPF9conceptopenhott_book index/B/cauchy-sequence
Cauchy--Binet formula and Cramer's ruleSMVTRPN6EMstatementrecord (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.06653#C4JX
Cauchy--DavenportJ0QYVR035Jstatementrecord (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.13103#FFFL
Cauchy--Euler equation6G4D909K2Mconceptopenlebl_diffyqs index/6.1.1/cauchy-euler-equation
Cauchy--Euler equationHEW1JK7J5Kconceptopenlebl_diffyqs index/6.2.4/cauchy-euler-equation
Cauchy--Frobenius counting lemmaRBHSN3AYXDstatementrecord (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.03151#IZTB
Cauchy--Pompeiu16FAVMCZQZstatementopenlebl_scv scv.tex#thm:generalizedcauchy
Cauchy--Riemann equations9Y09K6EYGZstatementopenlebl_scv scv.tex#prop-23
Cauchy--SchwarzDZPBCBY4TPstatementopenlebl_scv scv.tex#thm-52
Cauchy-conversion refinementH4N8BDXSSWstatementrecord (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.33573#2QA5
Cauchy-Davenport theoremF29V1SBD85unknownopenmathlib_overview Combinatorics > Additive combinatorics > Cauchy-Davenport theorem, Mathlib ZMod.cauchy_davenport
Cauchy-Riemann conditionsKVBGFDZZFHunknownopenmathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > Cauchy-Riemann conditions
Cauchy-Schwarz InequalityBPX66ZMCJEstatementrecord (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.16886#FASV
Cauchy–Binet formulaDVK3Y6B35Vstatementnode (a node has the same Wikidata item as the row)arXiv 2610.06724#W65W, Wikidata Q45286, EoM Cauchy_Binet_formula, ProofWiki Cauchy-Binet_Formula
Cauchy–Davenport theoremR34RZKFCSXstatementopenWikidata Q53067086, MathWorld Cauchy-DavenportTheorem
Cauchy–Euler equationDMS1GK7ATXunknownnode (a node has the same name as the row)Wikidata Q1196465, EoM Euler_equation, MathWorld EulerDifferentialEquation
Cauchy–Hadamard theoremVPC9EQF9HNstatementnode (a node has the same Wikidata item as the row)mathlib_1000 Q859122, Mathlib FormalMultilinearSeries.radius_inv_eq_limsup, Wikidata Q859122, thousand_plus Q859122, Wikipedia Cauchy–Hadamard theorem, EoM Cauchy-Hadamard_theorem, MathWorld Cauchy-HadamardTheorem
Cauchy–Kowalevski theoremFAE17MFYJRstatementopenmathlib_1000 Q1614464, Wikidata Q1614464, thousand_plus Q1614464, Wikipedia Cauchy–Kowalevski theorem, EoM Cauchy-Kovalevskaya_theorem, MathWorld Cauchy-KovalevskayaTheorem, ProofWiki Cauchy-Kovalevsky_Theorem
Cauchy–Riemann equationsYZXSF9PH43conceptnode (a node has the same Wikidata item as the row)Wikidata Q622741, EoM Cauchy-Riemann_equations, MathWorld Cauchy-RiemannEquations, ProofWiki Cauchy-Riemann_Equations
Cauchy–Schwarz inequalityQEYX7NATWZstatementnode (a node has the same Wikidata item as the row)Wikidata Q190546, EoM Cauchy_Schwarz_inequality, MathWorld SchwarzsInequality, nLab Cauchy–Schwarz inequality, ProofWiki Cauchy-Bunyakovsky-Schwarz_Inequality
Cauchy–Schwarz inequality for integrals5DY07D2CQJstatementopenWikidata Q117355636, ProofWiki Cauchy-Bunyakovsky-Schwarz_Inequality/Definite_Integrals
Cauchy–Schwarz inequality for sums67Y7X6R1A2statementopenWikidata Q97485926, MathWorld CauchysInequality, ProofWiki Cauchy's_Inequality
Causal $\lambda$-convexity and concavityA0ZX9SS8BMdefinitionrecord (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.10051#A8CS
Causal functionsRBZZ2Z045Ndefinitionrecord (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.21775#QZ1L
causal perturbation theory8W2007B3N5unknownopenWikidata Q1389471, nLab causal perturbation theory
Causal speed on $\Prob(\X)$2A153QV764definitionrecord (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.21775#50AS
Causal speed on $\X$3Z7V3F8D8Gdefinitionrecord (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.21775#LSGO
causal structure7KH6RJ1HSDunknownopenWikidata Q2364925, MathWorld CausalNetwork, nLab causal structure
Causal subdifferentialRX9GMYKQVMdefinitionrecord (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.10051#DDI8
Causally convex setsVJ37S522YFdefinitionrecord (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.10051#C7YU
CausticVK4N0SVSRZconceptopenWikidata Q3492725, MathWorld Caustic
Cavalieri's principle3Q89TKSMYYtopicnode (a node has the same Wikidata item as the row)Wikidata Q586686, MathWorld CavalierisPrinciple
Cavalieri's quadrature formulaNBQPSH71R1unknownopenWikidata Q5054786, MathWorld CavalierisQuadratureFormula
CAVAZKKA4JCAVAZKKA4Jstatementrecord (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.27366#Y437
CAVDH4AGYJCAVDH4AGYJstatementrecord (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.12013#2HVI
caves, walls ofZ9GEGZ2CB3conceptopenhott_book index/8.2/caves-walls-of
Cavity interpolation modelYK9TB7X4PVdefinitionrecord (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.09882#TSDL
CAVSNAKRPDCAVSNAKRPDdefinitionrecord (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.30823#RZZT
CAVXMP62X2CAVXMP62X2statementrecord (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.21489#PJV8
CAW7CZV2FGCAW7CZV2FGstatementrecord (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.34876#NDI1
CAWAMQ550CCAWAMQ550Cproofopenopen_logic content/sets-functions-relations/relations/trees.tex#proof-1
CAWH1HZTECCAWH1HZTECstatementrecord (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.25539#V2KQ
CAWQ3PME1SCAWQ3PME1Sstatementrecord (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.25843#NIHH
CAWV013VZ9CAWV013VZ9definitionrecord (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.24845#STB9
CAX1R279FTCAX1R279FTconjecturerecord (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.12576#APJN
CAX2D43Q06CAX2D43Q06statementrecord (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.25468#880P
CAX3895VJXCAX3895VJXunknownopenarXiv 2610.21960#9V8I
CAXDVVWQS1CAXDVVWQS1statementrecord (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 2005.03073#XOJH
CAXN2Z7QH3CAXN2Z7QH3examplerecord (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.32916#TEHY
CAXRJJK9PQCAXRJJK9PQstatementrecord (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 2112.14455#QDV3
CAY1WNBK5ZCAY1WNBK5Zstatementrecord (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.29531#MKDV
CAYB7NSP9RCAYB7NSP9Rstatementrecord (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#HM5X
CAYHXFXRTYCAYHXFXRTYstatementrecord (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.21675#0HMM
Cayley coordinates and auxiliary inputs7QA9XCM1M4statementrecord (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.03242#ASCX
Cayley graphHV8SJM8Z2Dconceptnode (a node has the same name as the row)Wikidata Q859174, MathWorld CayleyGraph, nLab Cayley graph
Cayley line1XA6BCTFE5unknownopenWikidata Q1837368, MathWorld CayleyLines
Cayley planeS9HY5M79ATconceptopenWikidata Q16858508, nLab Cayley plane
Cayley tableS5VMKP5TYZconceptnode (a node has the same name as the row)Wikidata Q1546924, MathWorld CayleyTable
Cayley transform2312R7DJHEstatementrecord (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.06653#2HMD
Cayley transformEAX48X08CEconceptnode (a node has the same name as the row)Wikidata Q2778065, MathWorld CayleyTransform
Cayley transformZS945SCNBCexamplerecord (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#W08C
Cayley's formulaDNQGM3ZR1Dstatementrecord (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.28552#Y0YV
Cayley's formulaFSTPVJX1NEconceptopenapplied_combinatorics index/5.6/cayley-s-formula
Cayley's FormulaJG5YR30CJYstatementopenapplied_combinatorics source/s_graphs_counting-trees.ptx#thm_cayley
Cayley's mousetrapRS61XNQX53unknownopenWikidata Q4726764, MathWorld Mousetrap
Cayley's nodal cubic surfaceSMH8029NJ0conceptopenWikidata Q5055318, MathWorld CayleyCubic
Cayley's ruled cubic surfaceMQ0WR6VWR9conceptopenWikidata Q5055317, MathWorld CayleySurface
Cayley's sexticB230M6R0VBunknownopenWikidata Q10891004, MathWorld CayleysSextic
Cayley's theoremN913VHWH3Fstatementnode (a node has the same Wikidata item as the row)mathlib_1000 Q179208, Mathlib Equiv.Perm.subgroupOfMulAction, Wikidata Q179208, mathlib_overview General algebra > Group theory > Cayley's theorem, thousand_plus Q179208, Wikipedia Cayley's theorem, MathWorld CayleysGroupTheorem
Cayley--Bacharach and the Hilbert tail3VDTFEN175statementrecord (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.31689#VPJU
Cayley--Bacharach property4KT0E3KFC3definitionrecord (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.31689#I66Y
Cayley-Hamilton7TQDVY4AMCstatementopennapkin tex/linalg/dets.tex#theorem-1
Cayley–Bacharach theoremKRMJM2HSTAstatementopenmathlib_1000 Q4455043, Wikidata Q4455043, thousand_plus Q4455043, Wikipedia Cayley–Bacharach theorem, MathWorld Cayley-BacharachTheorem
Cayley–Dickson construction1133Y2TD59definitionopenWikidata Q1756828, ProofWiki Definition:Cayley-Dickson_Construction
Cayley–Hamilton theorem1Y621BVW58statementnode (a node has the same Wikidata item as the row)mathlib_100 49, Mathlib Matrix.aeval_self_charpoly, mathlib_1000 Q656772, Wikidata Q656772, mathlib_overview Linear algebra > Endomorphism polynomials > Cayley-Hamilton theorem, mathlib_undergrad Linear algebra > Endomorphism polynomials > Cayley-Hamilton theorem, thousand_plus Q656772, Wikipedia Cayley–Hamilton theorem, EoM Cayley-Hamilton_theorem, MathWorld Cayley-HamiltonTheorem, ProofWiki Cayley-Hamilton_Theorem
Cayley–Menger determinantSM4H5FZQVTunknownopenWikidata Q60790093, MathWorld Cayley-MengerDeterminant
Cayley–Purser algorithm5AWK2R5RSFunknownopenWikidata Q1051982, MathWorld Cayley-PurserAlgorithm
CAZ2DAD85DCAZ2DAD85DunknownopenarXiv 2609.39615#6KOT
CAZ86VS3C2CAZ86VS3C2statementrecord (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.19866#M568
CB1BKJS0Z5CB1BKJS0Z5statementopenernst_ibl MAAPressVersion/IntroToLogic.tex#thm:logical form for cases
CB210C8K7VCB210C8K7Vstatementrecord (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 2205.13464#7FA0
CB2RMPZRK4CB2RMPZRK4definitionrecord (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.08885#MTGA
CB2XG6Z13FCB2XG6Z13Fstatementrecord (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.04895#BNO4
CB3E51S9JXCB3E51S9JXstatementrecord (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.15403#DJSG
CB3N5TTT39CB3N5TTT39statementrecord (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.29531#LN4O
CB3P6QNW6BCB3P6QNW6Bstatementrecord (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 0809.1307#97RC