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 3001–3100 of 7242.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Clark–Ocone theorem | JTKC36DGDY | statement | open | mathlib_1000 Q5127710, Wikidata Q5127710, thousand_plus Q5127710, Wikipedia Clark–Ocone theorem |
| class | C6YB8TEQPG | definition | open | Wikidata Q217594, EoM Class, MathWorld SetClass, nLab class, ProofWiki Definition:Class_(Class_Theory) |
| Class 1-alt$^c$ | B7VZ1HK7XH | 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 2304.03611#UI99 |
| Class 2-alt | R93YZHV2GR | 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 2304.03611#7YOJ |
| Class condition for equal slopes | NF57183YXC | 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.21461#M2HZ |
| Class consistency and convergence to a class set | WWMC2PR2H6 | 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.25545#YRJ2 |
| class field theory | JC87Q8GDMA | topic | open | Wikidata Q1744580, nLab class field theory |
| class formula | QJTWA6MQKD | unknown | open | mathlib_overview General algebra > Group theory > class formula, Mathlib MulAction.selfEquivSigmaOrbitsQuotientStabilizer, mathlib_undergrad Group Theory > Basic definitions > class formula |
| class function | E08F8BNH54 | unknown | open | Wikidata Q130303652, nLab class function (set theory) |
| class function | XRTWMFBGJS | unknown | open | Wikidata Q986909, nLab class function |
| class function over a group | 5GJPD5TSC6 | unknown | open | mathlib_undergrad Group Theory > Representation theory of finite groups > class function over a group |
| Class group of $\QQ(\sqrt{-17})$ | XWXPFKME2C | statement | open | napkin tex/alg-NT/classgrp.tex#proposition-3 |
| class limit | 56QPYP3MMN | concept | open | Wikidata Q112913401, MathWorld ClassLimits |
| class number | YXMH7VSWP7 | unknown | open | Wikidata Q91783763, MathWorld ClassNumber, nLab class number |
| Class number and valencies | E7BKBEPTTM | 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.15340#M7BZ |
| class number formula | Q970MW7N74 | statement | open | Wikidata Q3291120, nLab class number formula |
| class number problem | MHR6F4T52F | problem | open | Wikidata Q2403973, MathWorld GausssClassNumberProblem |
| Class occupancy and downward bias of within-class sample variances | 6V9CTC5ZDQ | 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.32652#8240 |
| class of all ordinals | N6QZK7PSM4 | definition | open | Wikidata Q122446519, ProofWiki Definition:Class_of_All_Ordinals |
| Class preservation and regularity | GRV328MVW4 | 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#VZ93 |
| Class relations | A33BW5ZKH5 | 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.04027#5E74 |
| Class sizes | QXAEBXTCGX | 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.20087#YA3K |
| Class sizes | SJ270XZBCH | 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.20087#PXF0 |
| Class-centered population prediction-risk bound | PB0D7K8TWQ | 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.32652#4G0Y |
| Class-conditional coverage of the true label | EK4G52XDVE | 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#Q7G0 |
| classes created by a flag collapse | 9132KQPZZW | 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.32733#GOCM |
| Classes of directedness | CTTBCR44SZ | 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#SR2L |
| Classes of Ordered Set Partitions | D3327VQNDM | 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 1711.00219#D98A |
| Classes of Set Partitions | E9ACW05MMV | 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 1711.00219#E9V5 |
| classical | G9HDC9YQ2D | 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.01731#Y1LO |
| classical $H(\divvr)$ splitting | 1YG59AWW33 | 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.08016#Z0EB |
| Classical additive and multiplicative convolutions | R0S1NR7Y7Y | 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.18436#K6FF |
| Classical and reduced coefficient estimates | N4JDTT7MRX | 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.05652#D059 |
| Classical boundary tangent cones | WY5V9PX6FX | 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.04833#0KJ3 |
| Classical bounded-kernel approximation, Weis | M2X8VM86FK | 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.26984#F6EX |
| Classical bounds | C1XWXWAA5H | 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.21730#K9MM |
| Classical Cauchy data | DME57R2P2D | 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.17519#MAPK |
| Classical characteristic Newton polygon | KRHFV3KEPK | 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.05652#N5YG |
| Classical continuum--cellular comparison for abelian BF | YGZPXC37FC | 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#US9S |
| Classical Dold--Kan correspondence | JPMMK1KHNX | 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.03865#YX5Q |
| classical elements | 7BY6RTPY2A | definition | open | Wikidata Q188520, ProofWiki Definition:Philosophical_Element |
| classical field theory | KMVDE7RHYZ | unknown | open | Wikidata Q2603912, nLab classical field theory |
| Classical finite-monodromy criterion | M2C15W56Y9 | 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.25805#5Y4S |
| classical Gaudin model | V4AE08AS0E | unknown | open | Wikidata Q116881111, nLab Gaudin integrable model |
| classical group | TG7Y66H9Q2 | definition | open | Wikidata Q2285809, EoM Classical_group, MathWorld ClassicalGroups, nLab classical Lie group, ProofWiki Definition:Classical_Group |
| Classical LE $n$-section algorithm | XHDFWD9F4W | 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.29153#L2KD |
| classical limit | NA23KRYQN6 | unknown | open | Wikidata Q3090317, nLab classical limit |
| Classical linear code on $\mathbb{Z}_q$ | A8GPCD283P | 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.04834#FRDB |
| Classical List Decoding | P5MKHA6DSS | 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.40252#7W48 |
| Classical List recovery | JQ4BFVDDXP | 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.40252#HG0I |
| Classical Locally Testable Code (LTC | T51VDDGQ50 | 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#B93U |
| classical logic | AK1V8RYGWE | unknown | open | Wikidata Q236975, nLab classical logic |
| Classical lower-bound example | C57QQSHV1P | 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.00115#ZS59 |
| classical mathematics | Z9AWXRK3DH | unknown | open | Wikidata Q5128339, nLab classical mathematics |
| classical mechanics | VFFJNYW5SG | definition | open | Wikidata Q11397, nLab classical mechanics, ProofWiki Definition:Classical_Mechanics |
| Classical Newton--Schulz polynomials | S6X8485GKK | 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.03306#EFGP |
| Classical orthogonal polynomials | MZAMKB9B4S | unknown | open | Wikidata Q17006917, EoM Classical_orthogonal_polynomials |
| Classical oscillation and spectrum | M6YEHJHGAA | 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#NETB |
| Classical parameter error | C73C2ZZ95T | 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.05652#179I |
| Classical phase space anomaly | 4ZJ6G6661K | 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.36548#GRL0 |
| classical physics | 1YK0V7FS8M | unknown | open | Wikidata Q81745, nLab classical physics |
| Classical Sampling Theorem (CST | K9NM0GR40C | 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.25472#DUO7 |
| Classical Sampling Theorem in $GPW_{\omega}(\bZ)$ | CDJ2FDZA7J | 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.25472#52Q0 |
| Classical shadow map | JEPWERSTAF | 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.36548#YTUT |
| Classical shadow theorem | N5P3PD9V7B | 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.36548#BNFH |
| Classical solution | BPKTZBRCRV | 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.39409#JJ8X |
| Classical solution, case $V \in \mathbb{R}$ | 7T8H22RPG9 | 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 2110.12380#0IE4 |
| Classical solution, case I: $V\geq 0$ | 1GE09JD2ZK | 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 2110.12380#RVOI |
| Classical solution, case II: $V \geq 0$ | WFBKG4Y3ZB | 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 2110.12380#JM8R |
| Classical solutions are minimizers | 7X6X9P1EJF | 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.25449#C9F7 |
| Classical solvability in the interior, [\S 6.3.1, Theorem 3]{evans-2010-par-dif-equ | 4ZXG3DXHK8 | 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#JGHQ |
| Classical solvability, \texorpdfstring | C5ZDPV3ZM1 | 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.18252#5LT4 |
| Classical sufficiency | EJJ3XYBGVM | 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.29348#YAQF |
| Classical test | JM63H1DP7P | 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.16931#KCF6 |
| Classical verification at $m=1$ | M2G8D2ZAVG | 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.10821#JU4T |
| Classical well-posedness and $C_0$-semigroup generation | 7A4SXX7QQV | 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#40U2 |
| classical, analysis | 4Z2RK93KZN | concept | open | hott_book index/B.5/classical-analysis |
| classical, analysis | FXN67SQHFF | concept | open | hott_book index/B/classical-analysis |
| classical, category theory | FT3HD7V6JE | concept | open | hott_book index/2.7/classical-category-theory |
| classical, category theory | J8T8TY3DTV | concept | open | hott_book index/2.9/classical-category-theory |
| classical, category theory | RM3D5AT0W6 | concept | open | hott_book index/2/classical-category-theory |
| classical, category theory | VN84R1M2JY | concept | open | hott_book index/2.2/classical-category-theory |
| classical, homotopy theory | 5E220R3RJ7 | concept | open | hott_book index/7/classical-homotopy-theory |
| classical, homotopy theory | BFGDE14TAT | concept | open | hott_book index/1/classical-homotopy-theory |
| classical, homotopy theory | QQK0CAPNK8 | concept | open | hott_book index/7.1.2/classical-homotopy-theory |
| Classical-strip transfer | 10ZKS81922 | 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#780U |
| Classical/generalized trajectories | JH1NXHFG89 | 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 2508.18436#VY4A |
| Classification | AMTB4WJEX6 | 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.26114#LY2Y |
| Classification | EFCVP71WAW | 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.04164#CVZA |
| Classification | F187A93502 | 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.28501#U7QF |
| Classification | KBQ1VWSMTF | 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.13892#KI2K |
| Classification | T886AG026V | 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.15887#5TW5 |
| Classification at the ground-state mass | 1QXJZV7EE8 | 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.15460#M4B2 |
| Classification invariants | FJ5SDMW6AC | 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#N3LQ |
| Classification of \(n\)-valued formal groups over an integral domain \(\mathbb Q\)-algebra | HFV0Y4HBNX | 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.14044#XHY7 |
| classification of abelian simple groups | 862A0R3RSK | unknown | open | mathlib_overview General algebra > Group theory > classification of abelian simple groups, Mathlib CommGroup.is_simple_iff_prime_card |
| classification of elements of $\mathrm{O}(2, \R)$ | FC638ZFZHR | unknown | open | mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Low dimensions > classification of elements of $\mathrm{O}(2, \R)$ |
| classification of elements of $\mathrm{O}(3, \R)$ | 44VPWCN0V0 | unknown | open | mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Low dimensions > classification of elements of $\mathrm{O}(3, \R)$ |
| Classification of finite $2$-transitive groups | X3SGHQNMJ1 | 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.15340#53DZ |
| classification of finite simple groups | YXFV02XE2Y | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q1340623, Wikidata Q1340623, thousand_plus Q1340623, Wikipedia Classification of finite simple groups, MathWorld ClassificationTheoremofFiniteGroups, nLab classification of finite simple groups |