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 4901–5000 of 7242.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| connected component | TJ8VFMWKAW | unknown | node (a node has the same name as the row) | Wikidata Q91050456, MathWorld ConnectedComponent |
| connected components | Z9J7J46P4S | unknown | open | mathlib_undergrad Topology > Topology and Metric Spaces > connected components, Mathlib connectedComponent |
| connected domination number | SZC5710JSX | unknown | open | Wikidata Q130524948, MathWorld ConnectedDominationNumber |
| Connected edge-set moment | D8HHDCECB6 | 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.18884#DYFQ |
| Connected families | 4QZF6JFMCB | 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.27204#U0K5 |
| Connected fibers | HJ2AEY2CN8 | 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.11793#VAJX |
| Connected geometric monodromy | ZTFBBMGQ3P | 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.04099#BQMJ |
| connected graph | 63CTSFSE7E | unknown | node (a node has the same name as the row) | Wikidata Q230655, nLab connected graph |
| Connected MCMI from relative approximation | QFZBWJEXBY | 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.03683#N89F |
| connected reduction | 8VN2BQJGDC | 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#TWR9 |
| connected space | 9W1V1EPD0B | unknown | node (a node has the same name as the row) | mathlib_overview Topology > General topology > connectedness, Mathlib ConnectedSpace, mathlib_undergrad Topology > Topology and Metric Spaces > connectedness, Wikidata Q1491995, MathWorld ConnectedSet |
| connected subsets of $\R$ | YM2DHNK5NF | unknown | open | mathlib_undergrad Single Variable Real Analysis > Topology of R > connected subsets of $\R$, Mathlib setOfPred_isPreconnected_eq_of_ordered |
| connected sum | 1EV1N0NGEP | unknown | open | Wikidata Q1890389, nLab connected sum |
| Connected tilings of intervals | QYAX94DM1W | 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 2203.01511#UNQG |
| connected, poset | CNMW0Z1PHM | concept | open | applied_combinatorics index/6.2/connected-poset |
| Connected-component formulation | PSH93B2W7F | conjecture | record (an 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.10147#2Z0F |
| Connected-cut expansion of the multipartite defect | 8M307GYADQ | 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.03683#DIMO |
| Connected-square reduction | ZN8ZMFJJ2A | 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.38993#H108 |
| Connected-word expansion | AKRQ36E1DE | 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.27181#HS2Q |
| Connectedness and distinguished points of the core | PVWDQB9N9Z | 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.09602#ERAN |
| Connectedness test | Z6WZZM9WE6 | 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#CGBY |
| Connecting lemma | HMBMRVQHP6 | 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.35766#OJ58 |
| Connecting map | JP68PYVC11 | 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.03865#Q9AQ |
| Connecting planted animal | Z3A9MEVMHW | 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 1905.02785#S0JT |
| Connection algebra | ZKBH6BP58E | 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#5C2I |
| Connection between stability assumptions | PW011XXVNP | 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.26951#CKCE |
| Connection constant | H4YNZ5DXQX | 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.00396#GO1X |
| connection form | 861G1MMF34 | unknown | open | Wikidata Q5161687, EoM Connection_form |
| connection game | X5254CR3DN | unknown | open | Wikidata Q5161688, MathWorld ConnectionGame |
| connective constant | REYGWEJ5D9 | concept | open | Wikidata Q5161701, MathWorld Self-AvoidingWalkConnectiveConstant |
| Connective spectra | TDXBC6EEP3 | 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#5D3Q |
| connective spectrum | E203T30EEX | unknown | open | Wikidata Q16886123, nLab connective spectrum |
| connectives | VA6R7GPJSB | concept | open | levin_dmoi index/1.2.1/connectives |
| connectives, and | HXXY813Z57 | concept | open | levin_dmoi index/1.2.1/connectives-and |
| connectives, if and only if | 8H0KH4S5CN | concept | open | levin_dmoi index/1.2.1/connectives-if-and-only-if |
| connectives, implies | KEEQ9MHZGF | concept | open | levin_dmoi index/1.2.1/connectives-implies |
| connectives, not | K5V59D390A | concept | open | levin_dmoi index/1.2.1/connectives-not |
| connectives, or | 2PJ9TJ7MAV | concept | open | levin_dmoi index/1.2.1/connectives-or |
| Connectivity | AJZC5JSQM0 | definition | open | open_logic content/sets-functions-relations/relations/special-properties.tex#defn-5 |
| Connectivity is inherited | K71Q0SKV6J | 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#J1L5 |
| Connectivity obstruction | CZKX8VFQG4 | 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.34260#KJIS |
| Connectivity of the splitting | QX1CYFG72E | 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.03865#YD77 |
| Connelly | 1QJ2VH3FBD | 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 0909.2893#4HJJ |
| Connelly | MH2QFHE2Y1 | 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 0909.2893#CEFF |
| Connelly , Gortler-Healy-Thurston | 5VNJ3VE4C5 | 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 0909.2893#FPQ1 |
| Connelly and Whiteley | B7GZZYAF3X | 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 0909.2893#H2DG |
| Conon of Samos | 8XJHHD0615 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q354377, ProofWiki Mathematician:Conon_of_Samos |
| Conor McBride | 415JM57MJ6 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q5162250, nLab Conor McBride |
| Conormals to torus orbits | SCMCMANKX0 | 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.12330#TSJ3 |
| Consecutive framings | ZNZ6WN5GW6 | 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.29839#WTSW |
| Consecutive quartic sensitivity | XYM8RGFJZ6 | 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#6X1I |
| Consecutiveness of Boundary Extrema | 2YC8ME6CSW | 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.02495#YKIU |
| Consensus Error | RA9SPBG9FT | 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.32832#LZ0Q |
| Consequence | 6C28BV8X3R | 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.34213#M7VB |
| Consequence | NDAKQAF5WC | 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.08198#IOYA |
| Consequence of a negative spectral bound | NHGTSN57RZ | 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.03242#YNFU |
| Consequence of Allard regularity - Density gap | 5MS9N1XQWF | 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.04833#KVOJ |
| Consequence of amplitude estimation | CFXFDQHC55 | 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.27103#FSSQ |
| Consequence of Sutherland's algorithms | 5C7EHTTZX2 | 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.08280#ZI5M |
| Consequence of the Euler formula | YVSGKV30X2 | 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.06300#MC4O |
| Consequences of $\Riem_g=0$ | 4272ACAG4T | 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 2406.06762#F9TM |
| Consequences of (S1)--(S4 | 8QNEPHEW0A | 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.32585#82DS |
| Consequences of \HR | 3N96AV8CHZ | 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.20106#FKB5 |
| Consequences of earlier results | XJE6HVT6YV | 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.19243#I7AZ |
| Consequences of Grönwall's inequality | JHKG863PQJ | 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#FGK3 |
| Consequences of integrality | T7PNJHTN7M | 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.02585#M5AP |
| Consequences of max--sum domination | EV0J8BPKA8 | 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.11309#TNVV |
| Consequences of strong log-concavity | 824RW4WB0D | 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.33008#9POV |
| Consequences of the cross-boundary polynomial spectrum | QS2EEG7XSW | 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.05388#PP6D |
| Consequences of the Gaussian estimates | A7PWKSVJN8 | 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.07790#TUHW |
| Consequences of the order of $\nu$ | YR56NMKQ5M | 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.09044#99NT |
| Consequences of the tuning regime | Z8YWQBWNV1 | 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.05388#LYIT |
| Consequences under normalization | N03H77K3JT | 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.27851#AXPN |
| consequent | 54DKWVFNW5 | concept | open | levin_dmoi index/1.2.2/consequent |
| consequent | 5T5F8NA7WA | unknown | open | Wikidata Q261155, nLab consequent |
| conservation law | GHENATAW7H | concept | open | applied_combinatorics index/13.1/conservation-law |
| Conservation law | RR27JR9XNN | 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#EAU1 |
| conservation law | ZDX3WVB432 | definition | open | Wikidata Q205805, ProofWiki Definition:Laws_of_Conservation |
| Conservation law for the mean curvature equation | ZB7WPRSJPN | 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.14652#GCE1 |
| conservation of angular momentum | JSR1XVX4QC | statement | open | Wikidata Q985318, ProofWiki Principle_of_Conservation_of_Angular_Momentum |
| Conservation of the total energy | AFQ7859PPX | 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.31072#ETMM |
| Conservation-law floor for Haar-local ensembles | RRE3802W8R | 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#FDH2 |
| Conservative bounds | YX8NYN0ZK9 | 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.32282#4FRR |
| Conservative character of the ideal test | 6MSJ1YEPYC | 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.27966#RP7I |
| conservative functor | JW0X5F1X9R | unknown | open | Wikidata Q23808682, nLab conservative functor |
| Conservative sheet operator | 22ENW2NEGM | 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#MYHV |
| conservative vector field | KN6RAA5MSH | unknown | node (a node has the same name as the row) | Wikidata Q1588205, MathWorld ConservativeField |
| Conservativity forced by (N2 | PYVDBRCVHD | 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.33469#MVNS |
| Conservativity of an absorbing constant | VGZDQRRR9B | 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.12014#0BCY |
| Conservativity of the generic model | 2NKT2MNQ36 | 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 2104.00162#X3OJ |
| Conservativity theorem | RD0BD6EDHB | statement | open | mathlib_1000 Q5163116, Wikidata Q5163116, thousand_plus Q5163116, Wikipedia Conservativity theorem |
| conserved current | RKJSDKX846 | unknown | open | Wikidata Q5163158, nLab conserved current |
| Conserved energy lower-bounds the zero-frequency trace weight | F7EJXQAAHT | 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#WDI2 |
| Conserved quantities | GAW70X12BY | 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.01883#9I4U |
| Consistency | 11R0VEYC2T | definition | open | open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#defn-3 |
| Consistency | 535113HYQK | 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.01504#J2XW |
| Consistency | 5GQ0A4XY06 | definition | open | open_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#defn-3 |
| consistency | 7VKX6QH0XJ | unknown | open | mathlib_undergrad Numerical Analysis > Ordinary differential equations > consistency |
| consistency | 7YE0828CBM | 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#JR1C |
| Consistency | 95GNKWRA4D | 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.34066#AF8R |