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 8101–8200 of 15607.

NameIdKindOutcomeSources
CompactificationQTDHFY1X49unknownopenWikipedia List of string theory topics#VRKF
CompactificationZRG2JS11KYdefinitionopenWikipedia List of examples in general topology#PAEN
Compactification and class comparisonR8D3C7P9ZPstatementrecord (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.10828#N7ZQ
Compactification geometry1P0W1EF8VZstatementrecord (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.10821#23W6
Compactified feature set508DT4QJPJdefinitionrecord (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.26262#641Z
Compactified observable distance8Z83QVB2MKdefinitionrecord (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.26262#WCJT
Compactly generated group8SCTV8FS71definitionopenWikipedia List of group theory topics#S37L
Compactly generated groupPDANKZW6YVdefinitionopenWikipedia Compactly generated group, Wikidata Q5155339
Compactly generated space3TYQ156FWHdefinitionopenWikipedia List of general topology topics#FZYC
compactly generated spaceDRDZ96KCVKdefinitionopenWikidata Q1738274, nLab compactly generated topological space, Wikipedia Compactly generated space
Compactly Supported ApproximationVKFJVD71MAstatementrecord (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.30105#JH32
Compactly supported Euclidean marginalsRNNW30EV2Jstatementrecord (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.10257#HBZX
Compactly supported function9HNN82MAEWdefinitionopenWikipedia List of types of functions#YGJP
Compactly supported homologyVE9WSZ027BdefinitionopenWikipedia Compactly supported homology, Wikidata Q5155335
Compactness1M6Y1RSAWGstatementrecord (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.33590#M32A
Compactness63XN01C53Xstatementopenopen_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#prop:proves-compact
Compactness7JAR88GQZ5statementopenopen_logic content/first-order-logic/axiomatic-deduction/proof-theoretic-notions.tex#prop:proves-compact
CompactnessCKNQ2BEAW5statementrecord (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.26509#L3WF
compactnessEWCRGFE2BMstatementrecord (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.26645#HZWG
CompactnessGYRQAWS9FFstatementopenopen_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#prop:proves-compact
CompactnessHJCKNVBN39statementopenopen_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#prop:proves-compact
CompactnessJG08HHM59Fstatementrecord (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.16563#6LUN
CompactnessJXD9N7YGMKstatementrecord (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.11968#5ZIM
CompactnessM5KE6MVBEZstatementrecord (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.25015#UGRR
CompactnessMPXHDQ5PJZstatementopenopen_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#prop:proves-compact
CompactnessMQVRDNEA9Astatementrecord (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.21508#5L28
compactnessQSR0XJ015Fstatementrecord (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.26645#866Z
CompactnessSGZE00697Dstatementopenopen_logic content/first-order-logic/completeness/compactness-direct.tex#thm:compactness-direct
CompactnessY8QA7EWF1Wstatementrecord (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.18270#TTDI
CompactnessYCQ4PZ28WKstatementrecord (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.09912#5YJ0
Compactness and countability axioms7GF3SWJRMCstatementopenWikipedia Topological manifold#HOW2
Compactness and Moment ContinuityN8PVPK6D9Tstatementrecord (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.07728#JC5E
Compactness and positive curvature4RNCEJ401Hstatementrecord (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#WWT2
Compactness and possible infinitude of the common zero setR02WD94103statementrecord (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.26576#R5NT
Compactness and the Löwenheim–Skolem theorem17C7TFSBFRstatementopenWikipedia Model theory#YB90
Compactness at fixed cutoffM4QKT0PND0statementrecord (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.05204#CN0Y
Compactness for a uniformly spanning \(C^{1,1}\) flow family7JNA977Q37statementrecord (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.20215#6A30
Compactness for approximate differential inclusions5J29MERGC7statementrecord (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.17127#ANUG
Compactness for geodesicsANEVZRPE46statementrecord (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.11911#T25O
Compactness for the localised $K_\mu$V40WM40M08statementrecord (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 2608.19483#V9N0
Compactness from compact truncationsQ42TQHH8SHstatementrecord (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.20735#DAJC
compactness in terms of filters90YPGRGS24unknownopenmathlib_overview Topology > General topology > compactness in terms of filters, Mathlib IsCompact
compactness in terms of open covers (Borel-Lebesgue)72FQCK2WTVunknownopenmathlib_overview Topology > General topology > compactness in terms of open covers (Borel-Lebesgue), Mathlib isCompact_iff_finite_subcover, mathlib_undergrad Topology > Topology and Metric Spaces > compactness in terms of open covers (Borel-Lebesgue)
Compactness measureGF05J9H6P7definitionopenWikipedia Compactness measure, Wikidata Q5155340
Compactness of bounded monotone frontsEPNPYB63KFstatementrecord (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.28024#O8M1
Compactness of constrained energy sublevelsPMB039QB1Ystatementrecord (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.01855#GS7E
Compactness of coveringXGAVDQ99KKstatementrecord (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 2608.24190#591K
Compactness of divisor components9XSQRF3PGAstatementrecord (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#OX6C
Compactness of finite prefixesVK010Z1Z69statementrecord (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.28791#YROS
Compactness of logarithmic potentialsH3M39SGC4Estatementrecord (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.09602#KAZP
Compactness of reduced formsFPYB6X8SYNstatementrecord (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.37615#0LB3
Compactness of subgradientsAWMNFNB4WCstatementrecord (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.17519#I135
Compactness of the admissible laws239MJYRXNQstatementrecord (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#W0QJ
Compactness of the barycentrically normalized classX7G9AJZK8Cstatementrecord (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.28014#46B8
Compactness of the minimization problemAPTB46ZA8Fstatementrecord (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.12203#7E5T
Compactness results5638QKPCDDstatementrecord (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.27414#VY3O
Compactness theorem1C2CRVJ0BVstatementopenWikipedia List of mathematical proofs#A1J3
Compactness Theorem35XKSF1C95statementopenopen_logic content/propositional-logic/syntax-and-semantics/completeness.tex#prop:compactness
Compactness theorem86WMC8DNFGstatementopenWikipedia First-order logic#X0RG
Compactness theorem8YM37RM2WWstatementopenWikipedia Compactness theorem#9YWD
Compactness theoremCS3FDP4VMYstatementopenWikipedia Flat convergence#KMEU
Compactness theoremDQE9GX05F9statementopenWikipedia List of theorems#AGSZ
compactness theoremE0SP64C2KAdefinitionopenWikipedia Glossary of logic#MC4H
Compactness theoremGZ8K4T3EXCstatementopenWikipedia List of mathematical logic topics#C3FD, Wikipedia List of Boolean algebra topics#YKQ9
Compactness TheoremNF2W7JCBRJstatementopenopen_logic content/first-order-logic/completeness/compactness.tex#thm:compactness
compactness theoremNS8TN6KRKVstatementopenmathlib_1000 Q1149458, Mathlib FirstOrder.Language.Theory.isSatisfiable_iff_isFinitelySatisfiable, Wikidata Q1149458, mathlib_overview Logic and computation > Model theory > Compactness theorem, thousand_plus Q1149458, Wikipedia Compactness theorem, nLab compactness theorem
Compactness theory2HC5DJGG57statementrecord (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.09596#1QTF
Compactness under additional marginal energy constraints2DP7RA4880statementrecord (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.01855#PX44
compactness, Bolzano--Weierstra\ss2C8QFAHB0Kconceptopenhott_book index/B.5/compactness-bolzano-weierstra-ss
compactness, Heine--BorelJSGZW0MKDKconceptopenhott_book index/B.5/compactness-heine-borel
compactness, Heine-BorelMMDKE7DZEYconceptopenhott_book index/B.5/compactness-heine-borel-2
compactness, metricM0GN77TJRMconceptopenhott_book index/B.5/compactness-metric
Compactness--lattice dichotomy8SSD7HVRPWstatementrecord (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.20514#TMCY
CompactonBQRG5K3K2RdefinitionopenWikipedia Compacton, Wikidata Q5155341
Companion convolution67H9K6FPY3statementrecord (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#Y03I
Companion map and local staircase5HQ7QCGEWCstatementrecord (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.16351#OPGL
companion matrixEGQ8TF53DJdefinitionnode (a node has the same name as the row)Wikidata Q814361, MathWorld CompanionMatrix, Wikipedia Companion matrix
Companion Pell numberR7ZS313BEWunknownopenWikipedia Pell number#QGXO
ComparabilityN2TNKT0GV1definitionopenWikipedia Comparability, Wikidata Q5155608
comparabilityR85EXJRVXVdefinitionopenWikipedia Glossary of graph theory#KTQ1
comparability graph3JBBS29SRPdefinitionopenWikidata Q5155607, MathWorld ComparabilityGraph, Wikipedia Comparability graph
Comparability graphMJKY7JY28Hdefinitionrecord (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.20881#05X7
comparable75NB6C3KNVconceptopenapplied_combinatorics index/6.1/comparable
Comparable and high--high interactionsC6WBX9685Wstatementrecord (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.02721#FHVL
comparable maps are homotopicKE7029Q5D2examplerecord (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#D6JO
Comparable mixture signalsR4FQRY5QPSstatementrecord (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.39408#GGPD
Comparable-weight windowBDVAV6KPMSstatementrecord (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.06557#ARFZ
Comparametric equationEDZCCQS2ECdefinitionopenWikipedia Comparametric equation, Wikidata Q5155612
Comparative Fit IndexC7KDT7KMDWunknownopenWikipedia Confirmatory factor analysis#TJZ7
Comparator paths25APW9XYFMdefinitionrecord (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.20416#OFR2
Comparator-KL monotonicity of the feasibility correctionWS3BV9H04Jstatementrecord (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.20187#U3ZV
Comparing meansMSR4BTHP00definitionopenWikipedia List of statistics articles#DJQ6
Comparison4ARJKWGRTTstatementrecord (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.00337#H9TH
ComparisonG8HWD17NMHstatementrecord (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.06944#0NT0
ComparisonVW8C8FX71Edefinitionrecord (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.38118#VJ2W
Comparison across memory scales9FJGW2AAFKstatementrecord (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.15543#2N38
Comparison across the first transitionY76D7DA39Zstatementrecord (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.12203#IEOD
Comparison after a higher-conductor twistVB59J8P7PXstatementrecord (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#XK59
Comparison and uniform relaxation of IPMsMAGZA0P7F7statementrecord (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.13916#EE5U
Comparison at extreme scales3R3CVS7PD2statementrecord (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.37615#C1B2