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 5901–6000 of 7242.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Covariant derivative estimates | J52P30VNWH | 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.32829#KZYP |
| covariant derivatives | F65SRBQ66W | unknown | open | mathlib_overview Geometry > Smooth vector and fiber bundles > covariant derivatives, Mathlib CovariantDerivative |
| Covariant derivatives, associated norms | GT7KY8F3GX | 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.30220#0D0I |
| Covariant equations | XHM82QRD50 | 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#6TJ5 |
| covariant functor | AXZYQ6XTG7 | concept | open | hott_book index/8.6/covariant-functor |
| Covariant orbit-growth and range obstruction | JYGQRP3YS7 | 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#CX42 |
| covariant tensor | 2QD2E32N0H | unknown | open | Wikidata Q77982957, MathWorld CovariantTensor |
| covariant vector | 49W7TZ2JKY | unknown | open | Wikidata Q77985916, MathWorld CovariantVector |
| Covariant-amplifier representation | 3BDAYVYAVN | 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#XVBE |
| cover | 6QCS9N11MS | unknown | open | Wikidata Q331481, MathWorld Cover, nLab cover |
| cover | FYQFYN79MM | concept | open | applied_combinatorics index/6.1/cover |
| Cover | QEVV845FDA | 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 math/0003117#764H |
| Cover | R3TQ5J1SQT | 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 2608.24190#GMS1 |
| Cover functor | SCSBS8PH42 | 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.32733#8YXE |
| Cover interface | 6F3BVH5G66 | 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.28220#SYHR |
| Cover S-Free Set | N8D7302YX9 | 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.33946#JTK5 |
| Cover time with resets | VWEE9PPK1S | 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.14988#MMEJ |
| cover, universal | 68NAP754BZ | concept | open | hott_book index/7.1.3/cover-universal |
| cover, universal | FK7ECP6Z8A | concept | open | hott_book index/7.1.2/cover-universal |
| Coverage | CZJ3M91Q0P | 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.33866#WSWO |
| Coverage for independent sampling | A4PFHKNJMG | 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.10080#RS83 |
| Coverage under smoothness conditions | 49HHZT56KB | 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.25388#1FF0 |
| Covered !!{structure} | N03E52XTD6 | definition | open | open_logic content/first-order-logic/syntax-and-semantics/covered-structures.tex#defn-2 |
| covering an edit region | FKB4SMEXR4 | 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.05696#NPTC |
| Covering bound | 6E1E3DQT0T | 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.25120#4N6F |
| Covering by weight | W9W8T07N05 | 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.09810#28YQ |
| Covering equivalence | 398ACWWJFT | 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.22305#072F |
| Covering multiplicity | ACPA1FD7S4 | 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.25120#P8OO |
| Covering Number | XH78G6HZHJ | 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.02663#YC8T |
| Covering number bound for $\cH$ | 9RP4VKQ1YE | 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.14562#YOWA |
| Covering numbers of $\Phi_v(\Theta)$ | E76JGYWW27 | 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.12565#PR33 |
| Covering of $S^1$ by itself | 2A8CT680N0 | example | open | napkin tex/topology/cover-project.tex#example-3 |
| Covering projection of $S^1$ | DKF55GBVQP | example | open | napkin tex/topology/cover-project.tex#example-2 |
| Covering rates; finite state sets | H0GW56PHAY | 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.12713#028W |
| covering relation | 4E99TZ8AZ2 | unknown | open | Wikidata Q5179263, nLab covering relation |
| covering space | HAJ5T1EJCD | concept | open | hott_book index/7.10/covering-space |
| covering space | QEPFYDM96Z | unknown | open | Wikidata Q332648, EoM Covering_(of_a_set), MathWorld CoveringMap, MathWorld CoveringSpace, nLab covering space |
| covering space, universal | RJHXQD5V9A | concept | open | hott_book index/7.1.3/covering-space-universal |
| covering space, universal | T8WNQ420MN | concept | open | hott_book index/7.1.2/covering-space-universal |
| Covering spaces | Z1MT8S0DNW | statement | open | hott_book homotopy.tex#thm:covering-spaces |
| Covering-number bounds for Shtarkov, posterior, and rank regret | GKH69BWQZQ | 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.29688#7341 |
| coversed cosine | Z6TM3ZB2BZ | unknown | open | Wikidata Q41449335, MathWorld Covercosine |
| coversine | 1YQ1WM7AN0 | unknown | open | Wikidata Q1897347, MathWorld Coversine |
| Covolumes | 19B0Z5XSH4 | 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.37368#MJE4 |
| Cox and Parry , McDonald | FEDG9B1XFG | 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.31910#0780 |
| Cox's theorem | YGTZH4Z4ZP | statement | open | mathlib_1000 Q1054106, Wikidata Q1054106, thousand_plus Q1054106, Wikipedia Cox's theorem |
| Coxeter graph | 9BQJTDD1Z6 | unknown | open | Wikidata Q3115477, House of Graphs 981, MathWorld CoxeterGraph |
| Coxeter group | K989SP3DHR | concept | open | Wikidata Q7874246, MathWorld CoxeterGroup, nLab Coxeter group |
| Coxeter matrix | 78FEK00M8K | unknown | open | Wikidata Q25495142, MathWorld CoxeterMatrix |
| Coxeter's loxodromic sequence of tangent circles | C52YQRDDZM | concept | open | Wikidata Q5179938, MathWorld CoxetersLoxodromicSequenceofTangentCircles |
| Coxeter–Dynkin diagram | F5T1VKF4JP | concept | open | Wikidata Q169451, MathWorld Coxeter-DynkinDiagram |
| CP violation | 3GA70M4HCA | unknown | open | Wikidata Q12794416, nLab CP violation |
| CP0K5Q8E00 | CP0K5Q8E00 | 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.06338#C9Q7 |
| CP0PD0JAYP | CP0PD0JAYP | exercise | open | applied_combinatorics source/s_posets_exercises.ptx#exercise-6 |
| CP10D70MFX | CP10D70MFX | 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.05617#XZBT |
| CP12HSN6F3 | CP12HSN6F3 | 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.29641#QB07 |
| CP163AEQPT | CP163AEQPT | 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.09882#4P1P |
| CP1859GEWD | CP1859GEWD | 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.40096#YOL5 |
| CP1J2BSZW4 | CP1J2BSZW4 | 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.18016#35KO |
| CP1MN1E9TP | CP1MN1E9TP | 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 2601.22681#MH1B |
| CP1TVKTZC0 | CP1TVKTZC0 | 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 2210.04075#GNBM |
| CP21TACGEA | CP21TACGEA | 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 math/0301148#0JA0 |
| CP2G3J5GZD | CP2G3J5GZD | 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 1509.00950#PLS9 |
| CP2G874SPS | CP2G874SPS | 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.39890#C913 |
| CP38EX326Q | CP38EX326Q | 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.03062#3XTJ |
| CP3JCW9N6K | CP3JCW9N6K | 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.00048#8RHY |
| CP3KXVA76W | CP3KXVA76W | 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.28993#SFXR |
| CP4203R6ZF | CP4203R6ZF | 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.16181#25SI |
| CP47653Q69 | CP47653Q69 | 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.36509#H3ES |
| CP4958G1QY | CP4958G1QY | 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.14502#YA63 |
| CP4JYSCA9E | CP4JYSCA9E | 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 2011.07352#4JHE |
| CP4MVZA66T | CP4MVZA66T | exercise | open | napkin tex/alg-NT/norm-trace.tex#sproblem-1 |
| CP506TECR9 | CP506TECR9 | 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.17875#GPCK |
| CP52C1BC27 | CP52C1BC27 | 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 0810.0962#5JR0 |
| CP53E8HZZ0 | CP53E8HZZ0 | 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 2211.04407#0QCK |
| CP562EHCVA | CP562EHCVA | 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.31269#A546 |
| CP5H8T0NT3 | CP5H8T0NT3 | 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 2408.03317#956H |
| CP5SGDE8W4 | CP5SGDE8W4 | definition | open | napkin tex/measure/caratheodory.tex#definition-4 |
| CP5WG2FA01 | CP5WG2FA01 | 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.21622#K251 |
| CP5WXKRKC2 | CP5WXKRKC2 | 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 2602.14912#HFC7 |
| CP669G1XAB | CP669G1XAB | exercise | open | austin_ula src/exercises/exercises4-1.xml#exercise-6 |
| CP66M2QW9R | CP66M2QW9R | 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.33250#98Q9 |
| CP69V5GS7S | CP69V5GS7S | 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.19260#MFB9 |
| CP6QMPWC7X | CP6QMPWC7X | 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.24463#N4TG |
| CP6S6SHZ7R | CP6S6SHZ7R | 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.27766#XD99 |
| CP71QKCWGC | CP71QKCWGC | 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.18992#XY51 |
| CP73S5V5GC | CP73S5V5GC | proof | open | lebl_scv scv.tex#proof-1 |
| CP7R4G715V | CP7R4G715V | 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 2610.10558#1QKJ |
| CP7VZ2K91P | CP7VZ2K91P | 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.25291#9W0K |
| CP7WS53PBY | CP7WS53PBY | 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.27114#TJ90 |
| CP807SCMGE | CP807SCMGE | 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 2511.07697#I6XM |
| CP82NDAQRC | CP82NDAQRC | 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.04675#I4WU |
| CP87MMDDPA | CP87MMDDPA | 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.02570#YAYE |
| CP8C6Y107W | CP8C6Y107W | 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 2508.03972#IVSX |
| CP8NSZQ2VK | CP8NSZQ2VK | 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.15111#MYEC |
| CP93QEGGXM | CP93QEGGXM | 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.26723#QXHE |
| CP9NECS3EH | CP9NECS3EH | 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.27957#ANQ6 |
| CPA6ZA33QQ | CPA6ZA33QQ | example | open | austin_ula src/section6-3.xml#example-orthogonal-basis |
| CPAWCD3CJ6 | CPAWCD3CJ6 | 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.14681#6RY2 |
| CPBFSRMT4Q | CPBFSRMT4Q | 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.12576#5ALP |