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 4401–4500 of 7242.

NameIdKindOutcomeSources
Complexity at fixed parametersJ789SG2VYWstatementrecord (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.31535#B51I
Complexity in coordinatesB74KJ4VZXEstatementrecord (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#BMOX
Complexity of the block encoding of each symmetric-sector term2R9VS6WJR2statementrecord (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.39992#FUOK
Complexity of the block encoding of the Scrooge $k$-th momentQRV55S8Y36statementrecord (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.39992#RQ9Z
Complexity of the block encoding of the Scrooge $k$-th moment; informal6MWEXQ2NEJstatementrecord (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.39992#HNPL
Complexity of the quantum Gibbs samplerDRS9XN036Kstatementrecord (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.27103#Y26M
Complexity of the residual stopping ruleMJWYRGTWT7statementrecord (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.39736#K29K
componentDBF0FDPVFCconceptopenapplied_combinatorics index/5.1/component
component markingYE9DTNXJQGstatementrecord (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.26134#H74N
component, of poset30AY9HM50Qconceptopenapplied_combinatorics index/6.2/component-of-poset
component-resolved shallownessK32VW7MD9Fdefinitionrecord (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.32733#OG1R
Component-swap variance comparison8SF99GTWD3statementrecord (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.10474#ADQ0
Components and cyclic restrictionsXQ0RF1GETKdefinitionrecord (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.30637#XIWU
Components and local admissibilityZ52XHAH6WCstatementrecord (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.30637#RN9G
Componentwise balanced boxesTBYMTKQE9Rdefinitionrecord (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.14160#KH1P
Componentwise cases in singular dimension oneBPF9MTF1AQstatementrecord (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.07528#99DJ
Componentwise collapseZKM6MRPXYQdefinitionrecord (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.32733#X23F
componentwise distance formula and one-sided witness boundB7ETKP09XCstatementrecord (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.39395#NV0G
Componentwise finite-image criterionT9TKHKK7DWstatementrecord (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#1BK3
Componentwise mass boundKXADCZ306Jstatementrecord (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#EC2M
Componentwise Segre monotonicityEXKA35R5GMconjecturerecord (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.07528#E8BE
Composing and multiplying transitionsMB32ENGSNEstatementrecord (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.14160#84S7
Composite certified boundBXR1W7J72Bstatementrecord (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.34918#XHQ9
Composite DNA SymbolGRE5A0DX99definitionrecord (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.09998#Y0L4
composite function6KPP4SVNCSunknownopenWikidata Q78076954, EoM Composite_function
Composite gap7EMPVMGF50definitionrecord (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.12641#AJKH
Composite minimax riskYTTEZNHHGXdefinitionrecord (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.12641#TKT2
composite number309A3B0HJQunknownnode (a node has the same name as the row)Wikidata Q50707, EoM Composite_number, MathWorld CompositeNumber, OEIS A002808
Composite rows over a base family of linear observationsGHH68R9M3Hdefinitionrecord (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.04357#MAEY
Composition3S3KZK8W6Ydefinitionopenopen_logic content/sets-functions-relations/functions/composition.tex#defn-1
Composition7AAAJD1XZTstatementrecord (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#DD7Q
compositionPJXGEHZ0J5conceptopenactive_calculus index/2.5.1/composition
CompositionQWZHH23TPKstatementrecord (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.13892#GA7E
compositionWD5ZZ82006conceptopenlevin_dmoi index/1.4/composition
composition algebraSRY0A5YD93unknownopenWikidata Q2835957, nLab composition algebra
Composition and countable summationM8GZB7VP21statementrecord (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.29147#MR4R
Composition may fail on the maximal partial domainTFTX2G8T8Wexamplerecord (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.25987#8Y00
Composition of codesM9CXW5FJ35definitionrecord (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#X7WN
Composition of continuous functions is continuousDXYAGDBEXNstatementopennapkin tex/topology/metric-top.tex#proposition-1
composition of functionsYVXBKKRSMNconceptopenlebl_ra index/11.9.3/composition-of-functions
Composition of graphs7TJ468BZSKdefinitionrecord (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.25188#U2BJ
Composition of Kripke weakeningsXVT92D56VMstatementrecord (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.21131#R57T
Composition of Semantic WeakeningsRTDFTNEJDTstatementrecord (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.21131#TX4J
Composition of Substitution ApplicationT4BMNRSGYTstatementrecord (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.21131#2EKO
Composition of Substitutions is Well-Typed3N82TSXPZNstatementrecord (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.21131#OJJ2
Composition of twistsSFRZWFJVH3statementrecord (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.13892#XAA9
Composition of Weakening ApplicationZE2RQDSCV5statementrecord (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.21131#252S
Composition on nested domainsKJWR3ES9DCstatementrecord (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.09295#NKUK
Composition Preserves Weakening TypingANFQJ004PCstatementrecord (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.21131#WG1D
Composition productZA945HENT0definitionrecord (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.05005#H7EK
Composition refinement of Theorem 15DRY083K3Kstatementrecord (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.36181#ZPRS
composition seriesFDZAFM4G3Wstatementnode (a node has the same name as the row)mathlib_1000 Q2525646, Mathlib CompositionSeries.jordan_holder, Wikidata Q2525646, thousand_plus Q2525646, Wikipedia Jordan–Hölder theorem, EoM Composition_series, MathWorld CompositionSeries, nLab composition series
Composition with copycat, adapted48MKZ218TMstatementrecord (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.37815#TVOH
CompositionalityM0G1RBFZKNunknownout_of_scope (a book or a journal, not an item of mathematics)Wikidata Q96702378, nLab compositionality
Compositionality implies algorithmic mutual informationH5Y571SPV7statementrecord (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.20922#N6SU
compositum degree4YFCF7D3VQstatementrecord (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.07508#H6ON
compound interestCFYNJE31EHunknownopenWikidata Q959606, MathWorld CompoundInterest
Compound marker endomorphismRJ0RVH5AZAdefinitionrecord (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.24449#APQV
compound of dodecahedron and icosahedronS2ACTCJVAPunknownopenWikidata Q5156847, MathWorld Dodecahedron-IcosahedronCompound
compound of five cubesXGZBXSJSHPunknownopenWikidata Q1105291, MathWorld Cube5-Compound
compound of five octahedraMPN287XY8MunknownopenWikidata Q1106544, MathWorld Octahedron5-Compound
compound of five tetrahedra13NWDT3QE7unknownopenWikidata Q1105465, MathWorld Tetrahedron5-Compound
compound of four octahedra61KDKNY62WunknownopenWikidata Q5156870, MathWorld Octahedron4-Compound
compound of four tetrahedraQRJADVQ3CBunknownopenWikidata Q5156871, MathWorld Tetrahedron4-Compound
compound of great icosahedron and great stellated dodecahedronR7VCH28K5KunknownopenWikidata Q5156874, MathWorld GreatIcosahedron-GreatStellatedDodecahedronCompound
compound of six octahedra64EB3EAAB1unknownopenWikidata Q85753715, MathWorld Octahedron6-Compound
compound of small stellated dodecahedron and great dodecahedronNFE779CNE3unknownopenWikidata Q5156887, MathWorld GreatDodecahedron-SmallStellatedDodecahedronCompound
compound of ten octahedraCCJ874F0GYunknownopenWikidata Q5156890, MathWorld Octahedron10-Compound
compound of ten tetrahedraJBJNZ8S56BunknownopenWikidata Q520271, MathWorld Tetrahedron10-Compound
compound of three cubesM4MZ58TE6AunknownopenWikidata Q1266920, MathWorld Cube3-Compound
compound of three octahedra56PVHGHWS3unknownopenWikidata Q5156894, MathWorld Octahedron3-Compound
compound of three tetrahedraF6S7V61ZAGunknownopenWikidata Q5156895, MathWorld Tetrahedron3-Compound
compound of two tetrahedra2TYZVFQCJ0unknownopenWikidata Q25098604, MathWorld Tetrahedron2-Compound
Compounding of the Frame Instability33DNFZH0WFstatementrecord (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.13222#ZE0H
Compressed correction boundsH55QM3TZ1Nstatementrecord (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.01843#PDF6
Compressed hard-chain properties9EKGTS61BRstatementrecord (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.01843#KR8L
compressible surfaceYMWJGFVJCKunknownopenWikidata Q124644464, MathWorld CompressibleSurface
Compression9J1BX7W3N6statementrecord (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.08152#YOFI
compressionBXRVWVVH7Qstatementrecord (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.18803#K277
compressionQCX6DM2YQ5statementrecord (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.07508#4YK7
compression identity1XTQ3NHJSJstatementrecord (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.20775#P3F6
Compression into the space formS87Q8NFS8Mstatementrecord (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.29839#R9KW
Compression of represented zonotopeDKYG69TYHVstatementrecord (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.24235#XH2J
Compression theorem5XTQSGNMDHstatementopenmathlib_1000 Q5157054, Wikidata Q5157054, thousand_plus Q5157054, Wikipedia Compression theorem
Compression Wins by Saving More Tax Than It Loses8MJM5EX8MZstatementrecord (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.03769#DFWR
Comptes rendus de l'Académie des sciencesPTJVXZ472Cunknownout_of_scope (a book, not an item of mathematics)Wikidata Q2667573, ProofWiki Book:Journal/Comptes_rendus_de_l'Académie_des_Sciences
Compton wavelength9GZT161T9FdefinitionopenWikidata Q1145377, nLab Compton wavelength, ProofWiki Definition:Compton_Wavelength
computabilityZ50MZZ5A94unknownopenWikidata Q818888, MathWorld Computability, nLab computability
computability theory7GWXPK8Q6StopicopenWikidata Q818930, ProofWiki Definition:Computability_Theory
Computable $\eps$-enclosures62NPDCXJB8statementrecord (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.08233#7IDG
computable analysisJWV20AX7C2unknownopenWikidata Q5157264, nLab computable analysis
Computable filter exponentKR0VDDHKRRstatementrecord (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#ZTRT
computable functionHKQCK38283definitionopenarXiv 2506.08233#7VXM, mathlib_overview Logic and computation > Computability > computable function > in terms of general recursive functions, Mathlib Computable, Wikidata Q1148456, MathWorld ComputableFunction, nLab computable function, ProofWiki Definition:Effectively_Computable_Function
computable numberN3MP3W9AYRunknownopenWikidata Q818895, MathWorld ComputableNumber
Computable prediction-error bound under a spectral-norm limitYD9BF0JHG4statementrecord (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.32652#QPGN
Computable space-filling curvesV589B45H5Cstatementrecord (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.08233#N0J0
Computably Presented Compact Metric Spaces23AQS756H1definitionrecord (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.31352#Q7NH
ComputationNPJ9CG4STKdefinitionopenopen_logic content/turing-machines/machines-computations/unary-numbers.tex#defn-1
computationTJBYG17QMNunknownopenWikidata Q12525525, MathWorld Computation
Computation Model for OPIATVG2F6E2Tdefinitionrecord (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.12357#AKEC