| completion | 2W09R7CY09 | definition | open | Wikidata Q3685258, MathWorld TopologicalCompletion, Wikipedia Completion of a ring |
| completion | 5YRCV0ZZSK | definition | open | Wikipedia Glossary of module theory#T8AA |
| Completion | 77H5GWGWDF | statement | record (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 |
| Completion | CASQ2KXQPY | example | record (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 |
| completion | ES11AQ9R59 | unknown | open | Wikidata Q91198359, MathWorld Completion |
| completion | VRWFBRABZX | definition | open | Wikipedia Glossary of algebraic topology#GDLY |
| completion | WYVBWSXJYB | definition | open | Wikipedia Glossary of commutative algebra#N184 |
| completion | XA7DY5NST5 | unknown | open | mathlib_overview Topology > Uniform notions > completion, Mathlib UniformSpace.Completion |
| Completion (ring theory) | Z6NZ6BNPC1 | definition | open | Wikipedia List of abstract algebra topics#DI21, Wikipedia List of abstract algebra topics#SFD2, Wikipedia List of commutative algebra topics#19QJ |
| Completion in the Hessian norm | T1ZK8QHQT2 | statement | record (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 space | BRK3K0A3ZB | exercise | open | napkin tex/topology/metric-prop.tex#prob:completion |
| completion of a topological ring | CCN80NZJD9 | unknown | open | mathlib_overview Topology > Topological algebra > completion of a topological ring, Mathlib UniformSpace.Completion.ring |
| Completion of a weak coloring | DHK7TFXRHD | statement | record (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 group | B4PWA53M42 | unknown | open | mathlib_overview Topology > Topological algebra > completion of an abelian topological group, Mathlib UniformSpace.Completion.instAddCommGroup |
| Completion of Part IV | 7Q56JSWYZQ | statement | record (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.22465#1M00 |
| Completion of partial permutations | 72GJ7YV9FK | statement | record (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 permutations | NNWB06A0TD | statement | record (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 remaining exterior cases | H9R01G6CYW | statement | record (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.22465#ZVIX |
| Completion of the sample path in the modal region | FV5970TJTA | statement | record (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 properties | R5Z4ZYDGBA | definition | record (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 coloring | ZE3MC131YW | statement | record (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 parameter | RT1C9WD1C6 | statement | record (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, Cauchy | 5XYJ3VWH4Q | concept | open | hott_book index/B.3/completion-cauchy |
| completion, Dedekind | T8702XAWQN | concept | open | hott_book index/B.2.3/completion-dedekind |
| completion, exact | 2PW32467N4 | concept | open | hott_book index/C.1.4/completion-exact |
| completion, of a metric space | EB2Y6WYCG5 | concept | open | hott_book index/B.6/completion-of-a-metric-space |
| completion, Rezk | 93DJ9KB7RC | concept | open | hott_book index/2.9/completion-rezk |
| completion, Rezk | NDAPH80P1V | concept | open | hott_book index/C.1.3/completion-rezk |
| completion, Rezk | RT1GEH4A6R | concept | open | hott_book index/C.5/completion-rezk |
| completion, Rezk | WR2WKJN0RT | concept | open | hott_book index/2/completion-rezk |
| completion, stack | XE9VE49G6W | concept | open | hott_book index/2.9/completion-stack |
| Completions in category theory | VNMTTKJKEN | definition | open | Wikipedia Completions in category theory, Wikidata Q128199302 |
| complex | S8ZE7HRX19 | definition | open | Wikipedia Glossary of representation theory#YWBM |
| complex | TNQ34BN19K | definition | open | Wikipedia List of Laplace transforms#D38O |
| complex | WZ0TXZBH53 | definition | open | Wikipedia Glossary of classical algebraic geometry#UXUJ |
| complex | ZZDJH2H3GA | definition | open | Wikipedia Glossary of real and complex analysis#JACG |
| Complex $n$-manifold | PXXXXA5RB1 | definition | open | napkin tex/riemann-surface/complex-structure.tex#definition-3 |
| Complex 1-polytope | GH0TCXB9RF | unknown | open | Wikipedia Complex polytope#D8XP |
| Complex adaptive system | 7CC3EECPWT | unknown | open | Wikipedia List of types of systems theory#APY2 |
| complex addition | 7XECH5S6WK | unknown | open | Wikidata Q141513058, MathWorld ComplexAddition |
| Complex affine space | 86M6QRH4P0 | definition | open | Wikipedia Complex affine space, Wikidata Q5156605 |
| Complex AKM theorem | 1R7W165MNB | statement | open | Wikipedia Arnold–Kuiper–Massey theorem#0U2V |
| Complex algebra (set theory) | VT4Y4RRQD7 | unknown | open | Wikipedia Field of sets#1VFG |
| Complex algebraic geometry | CFN5FKCNSR | definition | open | Wikipedia Glossary of areas of mathematics#DX9M |
| Complex algebraic variety | CEEVD42JXM | definition | open | Wikipedia Complex algebraic variety, Wikidata Q16910911 |
| complex analysis | 52GCAHHXJX | topic | open | Wikidata Q193756, MathWorld ComplexAnalysis, nLab complex analysis, ProofWiki Definition:Analysis/Complex, Wikipedia Complex analysis |
| Complex analysis | MP99YKMV2E | definition | open | Wikipedia Glossary of areas of mathematics#ZHP0 |
| Complex analysis | VMQSZ9SG9G | topic | open | Wikipedia List of real analysis topics#7DCF |
| complex analysis in several variables | 5JF3DVB4GK | topic | open | Wikidata Q114728138, nLab several complex variables |
| Complex analytic dynamics | BJCAMXH7Y9 | definition | open | Wikipedia Glossary of areas of mathematics#IACK |
| Complex analytic geometry | ST5YQTRBH3 | definition | open | Wikipedia Glossary of areas of mathematics#5WBE |
| Complex averages under nearby laws | 3YPHNERWYV | statement | record (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 conjecture | D1CVVP336G | statement | record (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 bordism | T7221YV23Z | definition | open | Wikipedia Glossary of algebraic topology#KS02 |
| Complex cepstrum | S8FEC7T0AH | unknown | open | Wikipedia Cepstrum#IWCC |
| Complex chain rule | 8306WZK115 | statement | open | lebl_scv scv.tex#prop-4 |
| complex chain rule | EF6QYMFC1N | concept | open | lebl_scv index/1.3/complex-chain-rule |
| complex classification | Z7T0EW82HR | unknown | open | mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Orthogonality > complex classification, Mathlib QuadraticForm.equivalent_weightedSumSquares_of_isAlgClosed |
| Complex cobordism | DFK8RWX87A | definition | open | Wikidata Q5156571, nLab cobordism cohomology theory, Wikipedia Complex cobordism |
| complex conjugate | 288W6XS17X | definition | node (a node has the same name as the row) | Wikidata Q381040, EoM Complex_conjugate, MathWorld ComplexConjugate, Wikipedia Complex conjugate |
| Complex conjugate | MBGSERHYRC | definition | open | Wikipedia List of mathematical abbreviations#WJ3F |
| Complex conjugate line | QY3XY0P2Z5 | definition | open | Wikipedia Complex conjugate line, Wikidata Q5161161 |
| complex conjugate matrix | HYES5DT5YW | definition | open | Wikidata Q10754052, MathWorld ConjugateMatrix, ProofWiki Definition:Complex_Conjugate_of_Matrix |
| Complex conjugate of a vector space | HA2CNE438F | definition | open | Wikipedia Complex conjugate of a vector space, Wikidata Q3058340 |
| Complex conjugate representation | N5FXATVSV0 | definition | open | Wikipedia Complex conjugate representation, Wikidata Q3427364 |
| complex conjugate root theorem | 6ETKNG5W3Q | statement | open | Wikidata Q5156572, ProofWiki Complex_Roots_of_Polynomial_with_Real_Coefficients_occur_in_Conjugate_Pairs, Wikipedia Complex conjugate root theorem |
| Complex convexity | MNRZ0X3NKK | definition | open | Wikipedia List of convexity topics#IGHJ |
| Complex convexity | WS2Q20EQX1 | definition | open | Wikipedia Complex convexity, Wikidata Q5156575 |
| Complex coordinate space | ESD8EZM71W | definition | open | Wikipedia Complex coordinate space, Wikidata Q21167419 |
| Complex covariance matrix | XTCETENDNZ | unknown | open | Wikipedia Covariance matrix#Z4YC |
| complex differential form | 32W9NFR613 | definition | open | Wikidata Q1780913, MathWorld ComplexForm, Wikipedia Complex differential form |
| Complex differential geometry | V4QKBABS76 | definition | open | Wikipedia Glossary of areas of mathematics#T2Z2 |
| Complex dimension | C16AAK03NW | definition | open | Wikipedia Complex dimension, Wikidata Q5156577 |
| complex division | KKX8AHHTF3 | unknown | open | Wikidata Q141542471, MathWorld ComplexDivision |
| Complex dot product | 2T10AVMVRW | unknown | open | Wikipedia Dot product#RQ11 |
| Complex dynamics | 6VBW2HE3Q4 | topic | open | Wikipedia Complex dynamics, Wikidata Q264224 |
| Complex dynamics | T0KVKCJFG1 | definition | open | Wikipedia Glossary of areas of mathematics#4OUX |
| complex exponential | 9YH28XMRA9 | unknown | node (a node has the same name as the row) | mathlib_undergrad Single Variable Complex Analysis > Complex-valued series > complex exponential, Mathlib Complex.exp |
| Complex exponential | D9M3YP6355 | unknown | open | Wikipedia Exponential function#5JDL |
| complex exponentiation | YMZWYDJTFD | unknown | open | Wikidata Q3062200, MathWorld ComplexExponentiation |
| Complex formulas and sentences | Q6TYGRE16P | statement | open | Wikipedia Dependence logic#N9SE |
| Complex fraction | NMR2BP2TKX | unknown | open | Wikipedia Fraction#3MD4 |
| Complex fractions | 76WQ2YA3MT | unknown | open | Wikipedia Fraction#AFY9 |
| Complex function | 62ZGG84FD9 | unknown | open | Wikipedia Complex analysis#BN0A |
| Complex function | AVC66VD2TV | topic | open | Wikipedia List of types of functions#ZRYN |
| Complex functions | CG9KGEP4R2 | topic | open | Wikipedia List of complex analysis topics#E4LI |
| Complex Gaussian inverse determinants | Z24TDQ04NX | statement | record (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 general linear group | Y7MQK99VAB | unknown | open | Wikipedia General linear group#HJ7A |
| Complex geodesic | 5KN51FB3BK | definition | open | Wikipedia Complex geodesic, Wikidata Q5156578 |
| complex geometry | 2T28FJJGGG | topic | open | Wikidata Q2137810, nLab complex geometry, Wikipedia Complex geometry |
| Complex geometry | H1RRKN9JQ4 | definition | open | Wikipedia Glossary of areas of mathematics#NBVW |
| Complex good-core border probability | 8T78EYFVBQ | statement | record (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 Hadamard matrix | W522Y38SYP | definition | open | Wikipedia Complex Hadamard matrix, Wikidata Q5156556 |
| Complex Hermitian observables | 55M1VF1JQY | statement | record (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.23098#D64H |
| Complex Hessian estimate in the K\"ahler case | 4G3TGAJ5FN | statement | record (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 hyperbolic space | 8ER8SF8N7M | definition | open | Wikipedia Complex hyperbolic space, Wikidata Q110264245 |
| Complex hyperplane arrangement | N35TKRYA6W | unknown | open | Wikipedia Arrangement of hyperplanes#YLYH |
| complex hyperplane theorem | GMNH6KFFH0 | statement | record (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 index of refraction | D88ANVW2MT | unknown | open | Wikipedia Refractive index#KW5K |
| Complex infinity | JK1P0C1AZS | unknown | open | Wikipedia Infinity#Z6RT |