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 4001–4100 of 7242.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| compactness, Bolzano--Weierstra\ss | 2C8QFAHB0K | concept | open | hott_book index/B.5/compactness-bolzano-weierstra-ss |
| compactness, Heine--Borel | JSGZW0MKDK | concept | open | hott_book index/B.5/compactness-heine-borel |
| compactness, Heine-Borel | MMDKE7DZEY | concept | open | hott_book index/B.5/compactness-heine-borel-2 |
| compactness, metric | M0GN77TJRM | concept | open | hott_book index/B.5/compactness-metric |
| Companion convolution | 67H9K6FPY3 | 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.29147#Y03I |
| Companion map and local staircase | 5HQ7QCGEWC | 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.16351#OPGL |
| companion matrix | EGQ8TF53DJ | topic | node (a node has the same name as the row) | Wikidata Q814361, MathWorld CompanionMatrix |
| comparability graph | 3JBBS29SRP | unknown | open | Wikidata Q5155607, MathWorld ComparabilityGraph |
| comparable | 75NB6C3KNV | concept | open | applied_combinatorics index/6.1/comparable |
| Comparable and high--high interactions | C6WBX9685W | 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.02721#FHVL |
| comparable maps are homotopic | KE7029Q5D2 | 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 2610.15099#D6JO |
| Comparable mixture signals | R4FQRY5QPS | 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#GGPD |
| Comparable-weight window | BDVAV6KPMS | 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.06557#ARFZ |
| Comparator paths | 25APW9XYFM | 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.20416#OFR2 |
| Comparator-KL monotonicity of the feasibility correction | WS3BV9H04J | 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.20187#U3ZV |
| Comparison | 4ARJKWGRTT | 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.00337#H9TH |
| Comparison | G8HWD17NMH | 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.06944#0NT0 |
| Comparison | VW8C8FX71E | 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.38118#VJ2W |
| Comparison across memory scales | 9FJGW2AAFK | 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.15543#2N38 |
| Comparison across the first transition | Y76D7DA39Z | 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.12203#IEOD |
| Comparison after a higher-conductor twist | VB59J8P7PX | 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.30301#XK59 |
| Comparison and uniform relaxation of IPMs | MAGZA0P7F7 | 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.13916#EE5U |
| Comparison at extreme scales | 3R3CVS7PD2 | 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.37615#C1B2 |
| Comparison at minimal conductors | GC3Q7W524R | 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.30301#2MPX |
| Comparison at stationary pairs | 945FVASY7H | 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.37615#M64H |
| Comparison away from $\Sigma$ | GKG8N33RT2 | 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.05064#DMUS |
| Comparison by stable twisting | DGJB9NHDWP | 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.30301#9P6B |
| Comparison density | DR3K0W82XC | 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.05164#FLP1 |
| Comparison estimate | V80G5DDFEN | 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#NO71 |
| Comparison function via the quotient transformation | 7GJ7QJQ82T | 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.28024#XWDZ |
| Comparison in a moving strip | KH9CFHBCS6 | 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.33805#WFKU |
| Comparison in a triangular neighborhood | XVC3YDWJGS | 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.12203#PUET |
| Comparison in codimension two | FGSR3EGZ59 | 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.00490#1GSO |
| Comparison in the stable range | B6V0FNWAJJ | 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.30301#7JO2 |
| Comparison lemma | HX740N19BR | 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.18544#K2GA |
| Comparison near $A_4$ | HZ46GD2A68 | 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.37615#J3T9 |
| Comparison of $r$ and $\bar r$ | PQM304NR8S | 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.01324#R6GM |
| comparison of a series and an integral | JKGC09137Z | unknown | node (a node has the same name as the row) | mathlib_undergrad Single Variable Real Analysis > Numerical series > comparison of a series and an integral, Mathlib AntitoneOn.tsum_le_integral |
| Comparison of Bellman and pure-gap inequalities | 6SRBVGFCGD | 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#LQ3W |
| Comparison of configurations that agree locally | TM6G8SW3B0 | 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.06372#11FB |
| Comparison of covariances | 6VHAF9J53N | 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.06490#O2ZH |
| Comparison of densities with the same punctures | RM39WQP9QQ | 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.30103#NMVF |
| Comparison of diagonal regular parts | H4AZDZGZK6 | 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.08011#VEAY |
| Comparison of endpoint functionals | Y8GTS2GHDZ | 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.26066#ACUP |
| Comparison of GOE block resolvents with GUE free limit | 2FRXDDPE3Q | 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.30590#QCH3 |
| Comparison of joint moments of bulk/boundary quotient for general covariance kernels | 2CWA3RQQ09 | 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 2502.09121#SSOG |
| Comparison of pseudo-Lindbladians | K34SZXYKK2 | 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.05953#7XUD |
| Comparison of split additive and symmetric hybrid corrections | 2TMSBSA62K | 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.38871#OO82 |
| Comparison of the $s$-variances | B58FAK5B9R | 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.00501#83IZ |
| Comparison of the feasible and oracle windows | 4NZCV9BWAJ | 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.08766#MGA0 |
| Comparison of the glued and Green heights | 26DPECVV1A | 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.12238#5WST |
| Comparison of the induced and auxiliary metrics | 1DSB7ECY8H | 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.12238#XDB4 |
| Comparison of the surfaces and their function spaces | BRJPJAYNZQ | 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.12238#9JR1 |
| Comparison of the transferred differentials by diagonal automorphisms | 55HQNV46QM | 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.21093#RQL4 |
| Comparison on a moving half-line | YCVNT2M77P | 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.33805#XC3Y |
| Comparison on the spin stack | M0YZXTQ6JC | 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.00490#NXFJ |
| Comparison principle | 7Q0HEHQDQJ | 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.12165#426W |
| Comparison principle | PYT3RVQYE8 | 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.18350#LQY1 |
| Comparison principle | VDCBMS6A1Z | 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.17519#NZI3 |
| Comparison principle for viscosity solutions | G76HFVG65H | 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.18744#46FW |
| Comparison profiles | WSDYTF3HS8 | 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.05164#2OVQ |
| comparison test | C8TSS0JDAS | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q1050206, MathWorld ComparisonTest |
| Comparison test | PC7KX9779V | statement | open | lebl_ra ch-seq-ser.tex#prop-14 |
| Comparison test for improper integrals | 4X1B635HE8 | statement | open | lebl_ra ch-riemann.tex#prop-8 |
| comparison test for improper integrals | FXGEDS3869 | concept | open | lebl_ra index/8.5/comparison-test-for-improper-integrals |
| comparison test for improper integrals | QFC1M6PNZS | unknown | node (a node has the same name as the row) | mathlib_undergrad Single Variable Real Analysis > Integration > comparison test for improper integrals |
| comparison test for series | QA39ZSHX5P | concept | open | lebl_ra index/10.5.5/comparison-test-for-series |
| comparison theorem | RFFD0WND4S | statement | open | Wikidata Q5156040, nLab comparison theorem |
| Comparison through an admitted common refinement | QJ8YZN2XA8 | 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.27799#3X20 |
| Comparison with a comparison profile | N4WFCME7V3 | 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.05164#K0UP |
| Comparison with a two-component Gaussian mixture in dimension \(d=2\ | 3WK3HVG99T | 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.07404#2FEL |
| Comparison with an arbitrary compact orbit | NPHR8M5GRN | 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#4BCN |
| Comparison with equilibrium growth | P37F9TZM84 | 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.03912#OA83 |
| Comparison with error terms | QC1E6EW85G | 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.18350#66CO |
| Comparison with even conductors | 7QG7EJ6QAE | 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.30301#1QKY |
| Comparison with free transport | R0D2JMCCCY | 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.28251#NMRF |
| Comparison with purify--clone--trace | W96A25HH6Z | 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.35986#HNE1 |
| Comparison with the best fixed oracle | 33YR7YFQF3 | 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.21139#OKB4 |
| Comparison with the free problem | Q8XF8CHYPN | 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.08074#KXBL |
| Comparison with the negative K\"ahler--Einstein metric | K5RKYN8X2D | 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.25762#17W7 |
| Comparison with the nonlinear upper bound | NNATT5VJZG | 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.12641#RQVP |
| Comparison with the variance refinement | 1JHE15QDDY | 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.14069#QUDU |
| Comparison with the zero predictor | QK7T4YNH4C | 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.38453#RRZW |
| Comparison within cells | VAC65Y5X74 | 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.11330#QR6H |
| Comparison-point owner | XM89F565CC | 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#Z298 |
| Comparison-sum remainder | MD7FQQ73DW | 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.03811#KGHR |
| Compartmented Secret Sharing Scheme | C2J0HZTC7G | 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.06312#C2PW |
| compass | PWPC93SD33 | unknown | open | Wikidata Q103896, MathWorld Compass |
| Compatibility | 464FY1W6NK | 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.26201#UF19 |
| Compatibility Condition for Compression Dominance | B5WPCHX3XM | 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.03769#MDJK |
| Compatibility notions | 7P2CEP99MP | 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.01937#H5Y8 |
| Compatibility of affine conditions | HDXS3Z0YYW | 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.22205#KHO9 |
| Compatibility of geometric realizations | ET1XWN2PNR | problem | 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.28220#NBY1 |
| Compatibility of maximal relaxed subslopes | ZJJE34V7YQ | 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.21775#NJ1V |
| Compatibility of maximal weak subslopes | WTS5SX9MRE | 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.21775#SZZ5 |
| Compatibility of quantifier-free conditions | Q2CCSYM57Y | 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.22205#1KMN |
| Compatibility of relation | XAKB3GFQZZ | definition | open | open_logic content/lambda-calculus/syntax/alpha.tex#defn-2 |
| Compatibility of the auxiliary ghost system | MKN8RASGP6 | 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.19192#7C3W |
| Compatibility of the Euler correction | WRM774N8FW | 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.04189#VV5M |
| Compatibility of the finite Metelmann factorizations | 1WJ3722BX0 | 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.08568#LGUQ |