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 3201–3300 of 7242.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Close-endpoint replacement sequences | GSZZGZ4EHF | statement | record (an 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.37578#ZY6O |
| Closed and bounded but not compact | Y7G5YJKEKB | example | open | napkin tex/topology/compactness.tex#example-3 |
| closed ball | NSPBTFS7SK | unknown | node (a node has the same name as the row) | Wikidata Q2921733, MathWorld ClosedBall |
| closed category | 6GWRMB5Y79 | unknown | open | Wikidata Q5135329, EoM Closed_category, nLab closed category |
| Closed condition | NBM8DX8PKN | statement | record (an 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#R2S7 |
| Closed connected subspaces | CG20YCNWSH | statement | record (an 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.04305#AE0K |
| closed contour | RWR3FX0E94 | definition | open | Wikidata Q120726179, ProofWiki Definition:Contour/Closed/Complex_Plane |
| Closed cotangent block | J0Y9H1AZ9C | statement | record (an 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.02806#1GGJ |
| closed curve | M5TJ2M77SB | unknown | node (a node has the same name as the row) | Wikidata Q3001206, MathWorld ClosedCurve |
| Closed determinant identity | MEKTHKY6K8 | statement | record (an 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.15180#FKAS |
| closed differential form | C120MKPQKW | unknown | open | Wikidata Q38581752, nLab closed differential form |
| Closed evolution of quasiderivations | G1XYN072M1 | statement | record (an 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.36016#4AH9 |
| closed form | TJP3AG51PD | concept | open | lebl_scv index/4.4/closed-form |
| Closed form at $\kappa_c$ | FXN2S0WSKC | statement | record (an 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#ZNS7 |
| Closed form for the intercept | DJ0FE3VMEZ | statement | record (an 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.14695#K855 |
| Closed form of line 6 | XR7H81HG0A | statement | record (an 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.13773#6JVM |
| Closed Form of the Entropy-Only Variational Problem | N4DQZ7XHTS | statement | record (an 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.12239#31ZU |
| Closed form of the phase | JC953H7QC4 | statement | record (an 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.07905#MAAN |
| Closed form; cf.\ , Thms.\ 3.1--3.2 | 44SF31BJWA | statement | record (an 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.08599#9PUP |
| Closed forms at the triple point | MJEJT1KBP2 | statement | record (an 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.37479#2F9L |
| closed formula | 7VG8M6ZX4V | statement | record (an 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.06909#YMOW |
| closed formula | WGVPWVGT8B | concept | open | levin_dmoi index/3.1/closed-formula |
| Closed formula for every nonbottom trapezoidal interval | FRQZ3VQ052 | statement | record (an 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.24541#USKZ |
| Closed formula for every principal trapezoidal interval | 3SY38EPEEC | statement | record (an 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.24541#KBS0 |
| Closed formula for the affine Wang--Sun sum | 956S466B9D | statement | record (an 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.02806#WWD4 |
| closed formula, for a function | MT9E8N8H6B | concept | open | levin_dmoi index/1.4.1/closed-formula-for-a-function |
| Closed graph property of $\pi_S(K)$ | JY93JZPNMS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2505.10801#9O04 |
| closed graph theorem | DJJCEAVM82 | statement | open | mathlib_1000 Q1068085, Mathlib LinearMap.continuous_of_isClosed_graph, Wikidata Q1068085, thousand_plus Q1068085, Wikipedia Closed graph theorem, MathWorld ClosedGraphTheorem, nLab closed graph theorem |
| Closed Hodge heat evolution | 25DY2H1HNC | statement | record (an 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.16563#18BD |
| closed immersion | ZJK2BW566R | unknown | open | Wikidata Q5135342, nLab closed immersion of schemes |
| closed interval | 3P6RZTGANH | unknown | open | mathlib_overview Geometry > Differentiable manifolds > closed interval, Mathlib instIsManifoldIcc |
| closed interval | GCS2AQRS7V | definition | open | Wikidata Q78240777, EoM Interval,_closed, MathWorld ClosedInterval, ProofWiki Definition:Interval/Ordered_Set/Closed |
| Closed loop is locally exponentially stable | WZ91AY5M7Q | statement | record (an 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.08764#GK8X |
| Closed loop is locally exponentially stable under gain error | TYD0YGFX35 | statement | record (an 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.08764#94JW |
| closed manifold | ZNE2VAY0EM | unknown | open | Wikidata Q1517914, EoM Closed_manifold, MathWorld ClosedManifold, nLab closed manifold |
| closed map | KTSBH3Q6J1 | unknown | open | mathlib_overview Topology > General topology > closed map, Mathlib IsClosedMap |
| closed map | ZW35TJTFBS | unknown | open | Wikidata Q3754530, MathWorld ClosedMap, nLab closed map |
| closed monoidal category | 7H68MHX6VV | unknown | open | Wikidata Q5135347, nLab closed monoidal category |
| Closed negatively curved manifolds | 95PBDZ4DWA | 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.18530#G2LL |
| Closed normalizing factors | KW2GKB7NBY | statement | record (an 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#933H |
| closed operator | EYZE22FZ3G | unknown | open | Wikidata Q320370, MathWorld ClosedOperator |
| Closed operator | FBM66J6QXC | 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.16094#OP9Q |
| closed path | 681E3CVVB2 | concept | open | lebl_scv index/B/closed-path |
| Closed positive dynamics | EZ64W22C0A | statement | record (an 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.27153#NPX5 |
| Closed range theorem | GFGBSH605A | statement | open | mathlib_1000 Q631561, Wikidata Q631561, thousand_plus Q631561, Wikipedia Closed range theorem |
| Closed rational forms without saddle-nodes are logarithmic | DM7MB6NHJK | statement | record (an 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.12497#BWTG |
| Closed seam energy | H1XHW4DGXE | statement | record (an 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#70MP |
| Closed self-adjoint realization | 92NN8JZEKP | statement | record (an 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.03745#NO1N |
| closed sentence | SJJRJ1BY3Y | unknown | open | Wikidata Q141498864, MathWorld ClosedSententialFormula |
| closed set | BFAQANBD20 | concept | open | lebl_ra index/4.2.1/closed-set |
| closed set | HGDRSJB7DZ | definition | node (a node has the same name as the row) | Wikidata Q320357, EoM Closed_set, MathWorld ClosedSet, ProofWiki Definition:Closed_Set |
| Closed sets | X7E5GA8ZJY | statement | record (an 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.18154#H0N4 |
| Closed sets are complements of open sets | DW2D215YXH | statement | open | napkin tex/topology/metric-top.tex#theorem-1 |
| Closed source | Z8VWS32RWV | statement | record (an 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#4O20 |
| closed subgroup | BPBCERGJFD | unknown | open | Wikidata Q78497118, MathWorld ClosedSubgroup |
| Closed subgroup theorem | 8QM25W31JW | statement | open | mathlib_1000 Q18206032, Wikidata Q18206032, thousand_plus Q18206032, Wikipedia Closed subgroup theorem |
| closed subscheme | R7XF7F6P2V | definition | open | Wikidata Q123172485, EoM Closed_subscheme, nLab closed subscheme, ProofWiki Definition:Closed_Subscheme_defined_by_Sheaf_of_Ideals |
| Closed subset of graphs | 35CR6TR2YF | 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.25188#SYXA |
| Closed subsets of compacts | MP9TNZPM0A | statement | open | napkin tex/topology/compactness.tex#proposition-1 |
| Closed term, combinator | B8TV5GJ77Y | definition | open | open_logic content/lambda-calculus/syntax/free-variables.tex#defn-3 |
| Closed weak-gradient smoothing | 2H6KBXJG3Y | statement | record (an 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.16248#4K00 |
| closed, term | XC1SQ7ZNER | concept | open | hott_book index/4.4/closed-term |
| closed-cell reduction | 3WT3KC5EX0 | statement | record (an 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#OZN4 |
| Closed-fiber order | XDAY9AJV42 | statement | record (an 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.32078#DEYE |
| Closed-Form Exit Distance for Modular Cut | QBJJ0NN063 | statement | record (an 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#SMTX |
| closed-form expression | SHQFYAVQ17 | unknown | open | Wikidata Q777407, MathWorld Closed-FormSolution |
| Closed-form index of the GADC | F1TZR3R3CD | statement | record (an 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.27908#P37W |
| Closed-form projection on the sphere | QS34HRVPKZ | statement | record (an 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.17946#P4QN |
| Closed-form values | S6P1QJX76A | statement | record (an 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.02392#5OQ2 |
| Closed-loop internal model | A594NC8SDQ | statement | record (an 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.08987#K4SP |
| Closed-orbit exclusion on a distinguished line | DJXPRR044E | statement | record (an 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.05364#IXED |
| Closed-orbit pairing criterion | SKT3GVZYZA | statement | record (an 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.05364#XSI2 |
| Closedness | JKPW4VNS0R | statement | record (an 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#5H6Y |
| Closedness | W83Z28FP5G | statement | record (an 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#BBQY |
| Closedness and Averaging | S4AQHRQDPT | statement | record (an 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.30105#ZW1N |
| Closedness of marginal energy sublevel sets | E65RHQ81XP | statement | record (an 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.01855#QQC9 |
| Closeness of ASL-TAP and PHD | 3C9Z2227DJ | statement | record (an 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#NGSV |
| Closeness to Hyperelliptic Weierstrass Points | 4CB8DKBMB1 | statement | record (an 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.27751#BJLE |
| Closeness to Weierstrass Points | VTXEPXJ2S2 | statement | record (an 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.27751#IWK9 |
| Closeness to zeros | NG5BS3PBTD | statement | record (an 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.26180#U0YN |
| Closest vectors are preserved by Hadamard | VWBDSX9QM8 | statement | record (an 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.14380#WC7B |
| Closing signs of the product circles | PTWQ2Y06NP | statement | record (an 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#SZOT |
| Closing squares | 5D31TTB3MH | statement | record (an 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.12181#UQL1 |
| Closing squares | MMHSPSBKQ9 | statement | record (an 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.12181#WPIA |
| Closing the strip estimate | JR3VX7B7F5 | statement | record (an 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.01391#MP57 |
| closure | 74NVKPN05P | concept | open | Wikidata Q4720939, MathWorld Closure |
| closure | G6Q2M5JD24 | unknown | open | mathlib_overview Topology > General topology > closure, Mathlib closure |
| closure | J496MXW2RD | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q320346, MathWorld TopologicalClosure |
| Closure | PC1A55M43S | statement | record (an 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.18154#K4IN |
| Closure axioms of matroids | VWX4NPX2AW | statement | record (an 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.18154#RW5B |
| Closure by the common contact | FRB0RRND91 | statement | record (an 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.06480#IR2D |
| Closure dichotomy | 10PWTTH2Y4 | statement | record (an 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.13951#EODB |
| Closure for a licensed parameter choice | RQ1RPNWG0K | statement | record (an 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.15291#MKVV |
| Closure of the geometric conditions | NQSDCJWF9T | statement | record (an 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.28791#6M3Z |
| Closure of the left-adjoint criterion | XN4VQWXY25 | statement | record (an 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#HR8W |
| closure operator | D4MK63WNTM | unknown | open | Wikidata Q10564851, nLab closure operator |
| Closure properties | E5NQJX6YDQ | statement | record (an 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#GHPE |
| Closure properties of connected $p$-words | 3DQDRQSP8G | statement | record (an 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#A050 |
| Closure rank | RPJKD9MJMT | 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.13951#5TAT |
| Closure under (H | AJQNS46J1Z | statement | record (an 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.29597#GALJ |