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 4301–4400 of 7242.

NameIdKindOutcomeSources
Completeness of the Gauge-Fixed Error familyJ6MCZS8B0Dstatementrecord (an 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.03677#L55N
Completeness of the history spaceK5K9HJ0C8Kstatementrecord (an 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.37375#1P4F
Completeness property3J2R77RCGSdefinitionrecord (an 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.18992#3Y5P
Completeness Theorem6A5YQQ4WXXstatementopenopen_logic content/first-order-logic/completeness/completeness-thm.tex#thm:completeness
Completeness Theorem, Second VersionA6KWX82PF8statementopenopen_logic content/first-order-logic/completeness/completeness-thm.tex#cor:completeness
Completing a periodic co-tileAZDN8QKMFYstatementrecord (an 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.00099#7OMH
Completing the blocks616ME4Y6VSstatementrecord (an 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.15265#IGRM
completing the square2RX6CJ5RGPunknownopenWikidata Q50704, MathWorld CompletingtheSquare, nLab completing the square
completion2W09R7CY09unknownopenWikidata Q3685258, MathWorld TopologicalCompletion
Completion77H5GWGWDFstatementrecord (an 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.26665#JAHF
CompletionCASQ2KXQPYexamplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2510.02019#5D9T
completionES11AQ9R59unknownopenWikidata Q91198359, MathWorld Completion
completionXA7DY5NST5unknownopenmathlib_overview Topology > Uniform notions > completion, Mathlib UniformSpace.Completion
Completion in the Hessian normT1ZK8QHQT2statementrecord (an 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.39274#OT8U
Completion of a metric spaceBRK3K0A3ZBexerciseopennapkin tex/topology/metric-prop.tex#prob:completion
completion of a topological ringCCN80NZJD9unknownopenmathlib_overview Topology > Topological algebra > completion of a topological ring, Mathlib UniformSpace.Completion.ring
Completion of a weak coloringDHK7TFXRHDstatementrecord (an 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.18907#0GK2
completion of an abelian topological groupB4PWA53M42unknownopenmathlib_overview Topology > Topological algebra > completion of an abelian topological group, Mathlib UniformSpace.Completion.instAddCommGroup
Completion of partial permutations72GJ7YV9FKstatementrecord (an 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.08581#O5EY
Completion of partial permutationsNNWB06A0TDstatementrecord (an 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.29671#77BF
Completion of the sample path in the modal regionFV5970TJTAstatementrecord (an 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.01050#L19F
Completion propertiesR5Z4ZYDGBAdefinitionrecord (an 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.00525#53S2
Completion relative to a source coloringZE3MC131YWstatementrecord (an 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.13580#LD6F
Completion with a deterministic convolution parameterRT1C9WD1C6statementrecord (an 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#PAT3
completion, Cauchy5XYJ3VWH4Qconceptopenhott_book index/B.3/completion-cauchy
completion, DedekindT8702XAWQNconceptopenhott_book index/B.2.3/completion-dedekind
completion, exact2PW32467N4conceptopenhott_book index/C.1.4/completion-exact
completion, of a metric spaceEB2Y6WYCG5conceptopenhott_book index/B.6/completion-of-a-metric-space
completion, Rezk93DJ9KB7RCconceptopenhott_book index/2.9/completion-rezk
completion, RezkNDAPH80P1Vconceptopenhott_book index/C.1.3/completion-rezk
completion, RezkRT1GEH4A6Rconceptopenhott_book index/C.5/completion-rezk
completion, RezkWR2WKJN0RTconceptopenhott_book index/2/completion-rezk
completion, stackXE9VE49G6Wconceptopenhott_book index/2.9/completion-stack
Complex $n$-manifoldPXXXXA5RB1definitionopennapkin tex/riemann-surface/complex-structure.tex#definition-3
complex addition7XECH5S6WKunknownopenWikidata Q141513058, MathWorld ComplexAddition
complex analysis52GCAHHXJXtopicopenWikidata Q193756, MathWorld ComplexAnalysis, nLab complex analysis, ProofWiki Definition:Analysis/Complex
complex analysis in several variables5JF3DVB4GKtopicopenWikidata Q114728138, nLab several complex variables
Complex averages under nearby laws3YPHNERWYVstatementrecord (an 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.12456#EIK3
complex Banach isometric conjectureD1CVVP336Gstatementrecord (an 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.26286#7NS9
Complex chain rule8306WZK115statementopenlebl_scv scv.tex#prop-4
complex chain ruleEF6QYMFC1Nconceptopenlebl_scv index/1.3/complex-chain-rule
complex classificationZ7T0EW82HRunknownopenmathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Orthogonality > complex classification, Mathlib QuadraticForm.equivalent_weightedSumSquares_of_isAlgClosed
Complex cobordismDFK8RWX87AunknownopenWikidata Q5156571, nLab cobordism cohomology theory
complex conjugate288W6XS17Xunknownnode (a node has the same name as the row)Wikidata Q381040, EoM Complex_conjugate, MathWorld ComplexConjugate
complex conjugate matrixHYES5DT5YWdefinitionopenWikidata Q10754052, MathWorld ConjugateMatrix, ProofWiki Definition:Complex_Conjugate_of_Matrix
complex conjugate root theorem6ETKNG5W3QstatementopenWikidata Q5156572, ProofWiki Complex_Roots_of_Polynomial_with_Real_Coefficients_occur_in_Conjugate_Pairs
complex differential form32W9NFR613unknownopenWikidata Q1780913, MathWorld ComplexForm
complex divisionKKX8AHHTF3unknownopenWikidata Q141542471, MathWorld ComplexDivision
complex exponential9YH28XMRA9unknownnode (a node has the same name as the row)mathlib_undergrad Single Variable Complex Analysis > Complex-valued series > complex exponential, Mathlib Complex.exp
complex exponentiationYMZWYDJTFDunknownopenWikidata Q3062200, MathWorld ComplexExponentiation
Complex Gaussian inverse determinantsZ24TDQ04NXstatementrecord (an 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#063Q
complex geometry2T28FJJGGGtopicopenWikidata Q2137810, nLab complex geometry
Complex good-core border probability8T78EYFVBQstatementrecord (an 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#00JL
Complex Hessian estimate in the K\"ahler case4G3TGAJ5FNstatementrecord (an 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.39726#SYKJ
complex hyperplane theoremGMNH6KFFH0statementrecord (an 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.26286#8ODU
complex Lie algebraK49YRCAVYWunknownopenWikidata Q85753695, nLab complex Lie algebra
complex Lie groupA5K8C7CV9MunknownopenWikidata Q5156554, nLab complex Lie group
complex manifoldHZ6KCXS6FKunknownopenWikidata Q578874, EoM Complex_manifold, MathWorld ComplexManifold, nLab complex manifold
Complex master estimate8A5KTCJWTJstatementrecord (an 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.29605#6T2S
complex matrixF1WRPKC0EWunknownopenWikidata Q43144845, MathWorld ComplexMatrix
complex multiplicationC4CB103EEFunknownopenWikidata Q2654923, LMFDB knowl ec.complex_multiplication
complex number385P7A2C34conceptopenlebl_ra index/1.1.1/complex-number
complex number85PC1NKX1Ndefinitionnode (a node has the same Wikidata item as the row)mathlib_overview General algebra > Numbers > complex number, Mathlib Complex, Wikidata Q11567, EoM Complex_number, MathWorld ComplexNumber, ProofWiki Definition:Complex_Number
complex numberHG0KPPXWX5conceptopenlebl_diffyqs index/6.2.2/complex-number
complex number, formal definition of1ECTMQ3RJVconceptopenapplied_combinatorics index/B.18/complex-number-formal-definition-of
Complex observation comparisonD25GDV8NHDstatementrecord (an 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#MLPN
complex plane6B5MYGVWRTunknownnode (a node has the same Wikidata item as the row)Wikidata Q328998, MathWorld ArgandDiagram
complex polynomialB0HJTE0T88unknownopenWikidata Q120493782, MathWorld ComplexPolynomial
Complex projection and geometric estimates57WMDGT1G1statementrecord (an 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#ZIN2
complex projective planeQ1GSZBZRXTunknownopenWikidata Q4426755, MathWorld ComplexProjectivePlane, nLab complex projective plane
complex projective spaceCK6BBCCHXRunknownopenWikidata Q2538404, MathWorld ComplexProjectiveSpace, nLab complex projective space
complex roots of unityRSHMX1QKE5unknownopenmathlib_undergrad Group Theory > Abelian group > complex roots of unity, Mathlib Complex.mem_rootsOfUnity
Complex structure of $\CP^1$Z1MKYFBZAFdefinitionopennapkin tex/riemann-surface/affine-projective.tex#definition-2
complex subtraction7SJ548NV5FunknownopenWikidata Q141513084, MathWorld ComplexSubtraction
complex subvarietyXKAN9R7GTCconceptopenlebl_scv index/6.5/complex-subvariety
complex systemNKDWW7VJVCunknownopenWikidata Q854457, nLab complex system
complex torus6WSSCKW8Y3unknownopenWikidata Q5156610, nLab complex torus
Complex two-row interior boundsA5192V4K02statementrecord (an 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.04398#ROO1
complex unit circleZ01KKN0KD3unknownnode (a node has the same Wikidata item as the row)Wikidata Q105356493, nLab circle group
complex varietyV7XCPMGS3Tconceptopenlebl_scv index/6.5/complex-variety
complex vectorWFA6FM7GATunknownopenWikidata Q116768890, MathWorld ComplexVector
complex vector bundle9X1ZYRQV9ZunknownopenWikidata Q18705746, MathWorld ComplexVectorBundle, nLab complex vector bundle
complex vector spaceSH39RXGDQ2unknownopenWikidata Q5156614, nLab complex vector space
Complex, quaternionic, and Cayley cases91AFQZ74ZBstatementrecord (an 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#PQTM
complex-analytic subvarietyQEB5E4ERP7conceptopenlebl_scv index/6.5/complex-analytic-subvariety
complex-analytic variety9TFNH5ATYEunknownopenWikidata Q3889649, nLab analytic variety, nLab complex analytic space
complex-analytic varietyE64ZZZZW1Wconceptopenlebl_scv index/6.5/complex-analytic-variety
Complex-field equations3YZJ5S31RGstatementrecord (an 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#FV16
complex-valued function849425TE8TtopicopenWikidata Q64952105, MathWorld ComplexFunction
Complex-zero quadratic singular familyNTJJFXK200statementrecord (an 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.25027#DBWA
complexification3VJG1CN1XNconceptopenlebl_scv index/3.1/complexification
complexification of a real hypersurfaceS04EJFT87Rconceptopenlebl_scv index/3.2/complexification-of-a-real-hypersurface
Complexification of an invariant rotation torusS0AA5WQEZDstatementrecord (an 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#JV4L
Complexification part I\index{complexification}DX016DMKZMstatementopenlebl_scv scv.tex#prop-12
Complexification part II\index{complexification}A49NE5PK00statementopenlebl_scv scv.tex#prop:complexificationpt2
Complexified gauge82SQ46EVE3statementrecord (an 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.29605#43GH
Complexified RKHSDM0NCMJCW7definitionrecord (an 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#JBG3
Complexity9Z6GKYRWG0statementrecord (an 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.32446#CDEV
ComplexityDY72E11SKSstatementrecord (an 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.15631#KM47
Complexity (number of maximal spanning trees) in an unoriented simple graph with nodes {1,2,..,n} and edges {i,j} if i+j>n.EAHQRCA3ZDobjectopenWikidata Q100194040, OEIS A107991