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.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 4201–4300 of 7242.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| complete graph K7 | 5T3ZJB87YK | unknown | open | Wikidata Q131173546, House of Graphs 58 |
| complete graph K8 | HZTKERZMAV | unknown | open | Wikidata Q131179458, House of Graphs 180 |
| complete graph K9 | RQSC1RCWK4 | unknown | open | Wikidata Q131179460, House of Graphs 398 |
| Complete graphs | NC3ABJRG64 | 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.31535#C9JS |
| Complete graphs, {*{Theorem 8.1 | 85313S5PDB | 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.09650#VAGQ |
| Complete group | D23MZWWZ95 | unknown | open | Wikidata Q968707, LMFDB knowl group.complete |
| complete Heyting algebra | 454J22JH2S | concept | open | Wikidata Q5156470, nLab complete Heyting algebra |
| Complete hyperplane-graph formula | 2DMPN869PV | 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.20649#RRJX |
| Complete identity test | 3NMXHX2KYB | 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.39700#RJ22 |
| complete lattice | 8DKNMVNBXJ | definition | open | Wikidata Q2362924, MathWorld CompleteLattice, nLab complete lattice, ProofWiki Definition:Complete_Lattice |
| Complete learned-predictor bound | SNDK5JXK6N | 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.13789#MQYD |
| Complete log-concavity of matroid polynomials | PCFVH66YD1 | 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.22180#0NQP |
| Complete log-linear coordinates of the dependence nucleus | JVRBKZQG7H | 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.12805#UUL9 |
| Complete mean-only corner | QA0MXSRFD5 | 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.24931#8SF7 |
| complete measure | Q0GWD03B9Q | concept | open | lebl_scv index/E.1/complete-measure |
| complete metric space | E0F8Q0THPW | definition | node (a node has the same name as the row) | mathlib_overview Topology > Uniform notions > completeness, Mathlib CompleteSpace, Wikidata Q848569, EoM complete_space, MathWorld CompleteMetricSpace, ProofWiki Definition:Complete_Metric_Space |
| complete metric spaces | FFKSCMGY08 | unknown | open | mathlib_undergrad Topology > Topology and Metric Spaces > complete metric spaces, Mathlib Metric.complete_of_cauchySeq_tendsto |
| Complete mixed Pi\ neiro bidiagonal factorization | NMPSATMENB | 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.26110#T2BF |
| Complete moment criterion for the strict cross-half endpoint representation | NPPQYM0XN2 | 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.24931#1W47 |
| Complete monomial descent | T0ZPN4ETAX | 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.20593#2AX6 |
| complete multipartite graph | TXB6C2DKSR | unknown | open | Wikidata Q127508598, MathWorld CompleteMultipartiteGraph |
| Complete natural phase diagram | ZWW9YWKT25 | 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.27752#0DX2 |
| Complete next-to-top strand | 23R3D3X0K6 | 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.20649#FYBC |
| Complete odd-prime sensitivity formula | M8W4BXTNFQ | 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.17006#CZJM |
| Complete one-sided inverse criteria | X4TRHTHNZ0 | 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.12483#0N6Y |
| Complete order-$2$ classification | 1YPAKBQQ9Z | 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.10557#1WPD |
| Complete output and running time for $\mathsf V$ | P3YR55YVJF | 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.07293#ILR1 |
| Complete parameter determination for a rank-three non-rigid input | NVR0611G26 | 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 2609.25805#W3C8 |
| complete quadrangle | Z0PH9BQR3S | unknown | open | Wikidata Q3412598, MathWorld CompleteQuadrangle |
| complete quadrilateral | P7ZD58NEWW | unknown | open | Wikidata Q28092803, MathWorld CompleteQuadrilateral |
| Complete rank-one-link strand | ZT5QY1D335 | 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.20649#37F3 |
| Complete rank-three degree-zero formula | 5PEEG5BK31 | 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.20649#5H8O |
| Complete recovery from one fixed cycle | Q64TBSVWEB | 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#BV8V |
| Complete refined providers | WGY4YA3413 | 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.18214#9XGV |
| Complete reflection curvature; computer-assisted | W8XFE4QCMH | 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.24931#35JR |
| Complete risk scaling of the offset family | FG47EKW2KJ | 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.03633#5V2Y |
| complete sequence | NRDM3ERDNJ | unknown | open | Wikidata Q5156512, MathWorld CompleteSequence |
| Complete set | K5CC8BCCGG | definition | open | open_logic content/first-order-logic/completeness/complete-consistent-sets.tex#def:complete-set |
| Complete sharp-layer classification | WC2HZ5AQ79 | 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.39262#CN43 |
| Complete six-column values | Y0NQ8DFCQB | 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.05442#0TNT |
| Complete solutions | Q005V0B0B9 | 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.12434#HATB |
| Complete source to contraction rate | P26KNMAKBP | 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.18214#3PCN |
| Complete spectral classification | R9RCGW59B3 | 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.09912#DIB5 |
| Complete spectral reduction | TBQY4Y6MFF | 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.14081#YMOC |
| Complete spherical automorphic decomposition | RBJ80K316H | 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.25925#O1HM |
| Complete stable characterization | GD6AZHT6BV | 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.10950#866W |
| Complete Step (S5) discrepancy | NFPKP8EZKF | 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.14965#JVNH |
| Complete stratified linear layer | DJ4D5Q17BZ | 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 2609.25987#39AJ |
| complete theory | BF2AFMVEFR | unknown | open | Wikidata Q3508260, nLab complete theory |
| Complete Transfer System, $T_c$ | 45Q7Z2JZV1 | 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 2401.13523#ENSN |
| Complete transposition graph | G06ZKZRQPS | 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.14373#RE7M |
| complete tree | V30QWDSR9C | unknown | open | Wikidata Q29791660, MathWorld CompleteTree |
| complete variety | AQ9AB3JB48 | unknown | open | Wikidata Q5156516, EoM Complete_algebraic_variety, nLab complete algebraic variety |
| complete zero list | VAGZ1PGN49 | 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.02289#48IP |
| complete, category | 323QB16J8P | concept | open | hott_book index/C.1.1/complete-category |
| complete, Segal space | AGY00ATJ62 | concept | open | hott_book index/2.9/complete-segal-space |
| Complete-fiber mean compatibility | QVK782DKNY | 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.09472#T361 |
| Complete-prefix entry to same-step release | ZHADXAYPNC | 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.39408#177G |
| Complete-shell count bounds | Y1B1VA681M | 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.37482#5TQ1 |
| Complete-square heredity | E31MWKAYWM | 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.05442#U576 |
| Complete-transposition smoothing of indicators | PXRC6DC412 | 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.00137#UKNW |
| Complete-word estimate on a Sobolev group scale | VYSER6G9RR | 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.16094#SBPP |
| Completed central small-ratio extension | YHSGYE9CKZ | 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.24931#M2T5 |
| Completed finite certificate | RKN99GKXZ3 | 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.24931#QQLL |
| Completed larger same-side region | 8ZRN9BMZNV | 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.24931#WS6O |
| Completed smaller-separation cover | RVEX9GH9J8 | 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.24931#CPL2 |
| Completed supported ambient-product orbifold Riemann--Roch | B2WZ94VM2B | 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.03520#5RZB |
| Completed twisted equivariant Chern character | YYCCBHTVQV | 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.03520#9EOT |
| Completed zeta from the invariant seam | MJ0MDZTDDW | 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 2501.09848#F86U |
| Completely degenerate basins | JW16RGNWXM | 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.19953#QV9V |
| completely distributive lattice | NSHWDS087M | unknown | open | Wikidata Q5156529, nLab completely distributive lattice |
| completely Hausdorff space | S2MC118N38 | definition | open | Wikidata Q1135782, ProofWiki Definition:Urysohn_Space |
| completely metrizable space | 7J4YNBCKXY | definition | open | Wikidata Q5156532, ProofWiki Definition:Completely_Metrizable_Topology |
| completely multiplicative function | RM3HD6740J | unknown | node (a node has the same name as the row) | Wikidata Q5156533, MathWorld CompletelyMultiplicativeFunction |
| Completely normal basis theorem | 79844638KJ | 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.22247#PPFZ |
| completely positive matrix | NW48NCMRXP | unknown | open | Wikidata Q16663759, MathWorld CompletelyPositiveMatrix |
| completely regular space | TRPA24PES6 | concept | open | Wikidata Q1191433, MathWorld CompletelyRegularSpace, MathWorld TychonoffSpace |
| completely-continuous operator | AFT2Z2KY1Y | concept | open | Wikidata Q21272761, EoM Completely-continuous_operator |
| Completeness | 29TF0Z9QVG | 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 2207.11097#BLJI |
| Completeness | 61KPWTMFVM | statement | open | napkin tex/set-theory/forcing.tex#corollary-1 |
| Completeness | 7KGH4V3PZF | 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 2207.11097#LU2I |
| Completeness | 7XGHB9WH7C | 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 2207.11097#O4XS |
| Completeness | 8SXBRQZY9T | 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.38975#HTPU |
| Completeness | B42KY4K8Z0 | 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 2207.11097#R26Z |
| Completeness | DBJA3P8YCA | statement | open | open_logic content/propositional-logic/syntax-and-semantics/completeness.tex#thm:completeness |
| Completeness | DWEM469YNH | 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 2207.11097#C89P |
| Completeness | E9GZVK7SNZ | statement | open | open_logic content/normal-modal-logic/tableaux/completeness.tex#thm:tableau-completeness |
| Completeness | GXN41AR9FF | 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 2303.14022#XW3R |
| Completeness | WQJHXZZTF9 | 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 2207.11097#SED2 |
| Completeness and hereditary small generation | 8YYXHK15NG | 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.39700#TLZD |
| Completeness Axiom | 62ZBEEG0GW | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#axiom:completeness |
| Completeness for windowed records | 6MHB9M1SDQ | 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.37375#PRJW |
| Completeness for words with no singleton run | EJ7GVBHT4D | 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.18512#TBU0 |
| Completeness of $\mathrm{L}^p$ spaces | HAK767CK6V | unknown | open | mathlib_undergrad Measures and integral calculus > Integration > Completeness of $\mathrm{L}^p$ spaces, Mathlib MeasureTheory.Lp.instCompleteSpace, mathlib_undergrad Topology > Hilbert spaces > completeness of $L^2$ |
| completeness of $l^2$ | JNXJZ73K0T | unknown | open | mathlib_undergrad Topology > Hilbert spaces > completeness of $l^2$, Mathlib lp.completeSpace |
| Completeness of NbE | VGDG915YHH | 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.21131#H697 |
| completeness of R | TCG5DBBS9K | unknown | open | mathlib_undergrad Single Variable Real Analysis > Topology of R > completeness of R, Mathlib Real.instCompleteSpace |
| completeness of spaces of bounded continuous functions | FBV6CR9JH3 | unknown | open | mathlib_overview Analysis > Normed vector spaces/Banach spaces > completeness of spaces of bounded continuous functions, Mathlib BoundedContinuousFunction.instCompleteSpace, mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > completeness of the space of bounded continuous functions |
| Completeness of the band calculus | WW8MS715VF | 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.27641#G3QM |
| Completeness of the eigenspaces | KE6SXN7W1A | 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.32561#HS6B |