| Closed graph theorem | CWEF0KC5TW | statement | open | Wikipedia Hemicontinuity#0JG0 |
| 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 Graph Theorem | H6SW2ZF53W | statement | open | Wikipedia Closed graph theorem (functional analysis)#NJG8 |
| Closed graph theorem | N88F7CSPJ6 | statement | open | Wikipedia Closed graph theorem#BVDB |
| Closed Graph Theorem | NC42MRPVKF | statement | open | Wikipedia Closed graph theorem (functional analysis)#SPTV |
| Closed Graph Theorem | Q089K20823 | statement | open | Wikipedia Closed graph theorem (functional analysis)#7GWG |
| Closed Graph Theorem | Q99H8P9ACB | statement | open | Wikipedia Densely defined operator#IB5P |
| Closed graph theorem | Q9E6NMFE7D | statement | open | Wikipedia Functional analysis#ZUFO |
| Closed Graph Theorem | RHGK6RWN4G | statement | open | Wikipedia Webbed space#E2BA |
| Closed Graph Theorem | TTQZCFKRD3 | statement | open | Wikipedia Webbed space#MAV6 |
| Closed graph theorem for set-valued functions | 4XYW19M640 | statement | open | Wikipedia Closed graph theorem#DOKP |
| Closed graph theorem in point-set topology | SB95JFR4BC | statement | open | Wikipedia Closed graph theorem#UPHJ |
| Closed graph theorems | NP2GGZ17D8 | statement | open | Wikipedia Closed graph property#NJEC |
| 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 | definition | open | Wikidata Q5135342, nLab closed immersion of schemes, Wikipedia Closed immersion |
| 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 interval (order theory) | D555HY10TT | unknown | open | Wikipedia Partially ordered set#0D1X |
| Closed lexical-state recursion | A5HMEG0XQR | statement | record (an 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.20207#8D4S |
| Closed loop control | ZGKR8R08MS | unknown | open | Wikipedia Control theory#O97J |
| 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 loop is similar to the target | ECT8QYC2Q5 | statement | record (an 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.22384#QB3E |
| closed manifold | ZNE2VAY0EM | definition | open | Wikidata Q1517914, EoM Closed_manifold, MathWorld ClosedManifold, nLab closed manifold, Wikipedia 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 map lemma | QSC0ZR1CHR | statement | open | Wikipedia Open and closed maps#9A5B |
| closed monoidal category | 7H68MHX6VV | definition | open | Wikidata Q5135347, nLab closed monoidal category, Wikipedia 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 Newton–Cotes formulas | B0WRSMTJ27 | statement | open | Wikipedia Newton–Cotes formulas#KK7Q |
| 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 observable quotient representation | 9216931B3W | 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.20207#XHHJ |
| closed operator | EYZE22FZ3G | definition | open | Wikidata Q320370, MathWorld ClosedOperator, Wikipedia Closed linear operator |
| 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 point | 93R0FYCV27 | definition | open | Wikipedia List of mathematical properties of points#39PV |
| Closed point | WMPH6YQGXH | definition | open | Wikipedia Closed point, Wikidata Q138775471 |
| Closed polygonal chain | ZV0TAHMS21 | unknown | open | Wikipedia Polygonal chain#56UY |
| 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 preordered set | VC8TCCNX23 | definition | open | Wikipedia Closed preordered set, Wikidata Q137784115 |
| Closed range theorem | 2ATC0VP207 | statement | open | Wikipedia List of theorems#CCUA |
| 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 semiring | 6GFHA3X79A | unknown | open | Wikipedia Quasiregular element#M94I |
| closed sentence | SJJRJ1BY3Y | unknown | open | Wikidata Q141498864, MathWorld ClosedSententialFormula |
| Closed set | 7XS89N2P1Q | definition | open | Wikipedia Glossary of general topology#TB54 |
| 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, Wikipedia Closed set |
| Closed set | N1E0G3HP3N | definition | open | Wikipedia List of types of sets#3CSV |
| 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 submodule | BTQ90WJ6VT | definition | open | Wikipedia Glossary of module theory#K20N |
| 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 testing procedure | 4ZWEF2XWKM | definition | open | Wikipedia List of statistics articles#79BO |
| Closed testing procedure | 5J5RHHNYG4 | definition | open | Wikipedia Closed testing procedure, Wikidata Q5135359 |
| Closed timelike curve | 7JSQG3CNNT | definition | open | Wikipedia Closed timelike curve, Wikidata Q1876815 |
| Closed timelike curve | XSPQCY21N2 | definition | open | Wikipedia List of curves topics#M11E, Wikipedia List of mathematical topics in relativity#E9JH |
| Closed unbounded set | V022CXMD0R | definition | open | Wikipedia List of exceptional set concepts#BNS5 |
| 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-core criterion | WJSCYVTQVV | statement | record (an 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.23281#UAE1 |
| Closed-discrete strictness criterion | VB6WT56CX9 | statement | record (an 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.20514#CK7N |
| 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 explicit formula | XTQVPHMZV4 | statement | open | Wikipedia Frobenius covariant#KH91 |
| closed-form expression | SHQFYAVQ17 | definition | open | Wikidata Q777407, MathWorld Closed-FormSolution, Wikipedia Closed-form expression |
| Closed-form formulas | 3VC94KTBY6 | statement | open | Wikipedia Polynomial root-finding#YQPJ |
| Closed-form formulas | X2X8K83MXW | statement | open | Wikipedia Polynomial root-finding#RWJK |
| 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 number | QE9FM8CAJA | unknown | open | Wikipedia Closed-form expression#GH5D |
| 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 smoothed CDF and density | GH3GV19B11 | statement | record (an 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.23350#IYMU |
| 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 controller | B5FS8RBR4G | definition | open | Wikipedia Closed-loop controller, Wikidata Q98534667 |
| Closed-loop gain | 8RFB9KRZ8A | unknown | open | Wikipedia Feedback#J8HS |
| 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-loop transfer function | YA57QHMW7N | definition | open | Wikipedia Closed-loop transfer function, Wikidata Q1477205 |
| 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 |
| Closed-subgroup theorem | 8QM25W31JW | statement | open | mathlib_1000 Q18206032, Wikidata Q18206032, thousand_plus Q18206032, Wikipedia Closed subgroup theorem, Wikipedia Closed-subgroup theorem |
| Closed-world assumption | 6WPNHQ271F | definition | open | Wikipedia Closed-world assumption, Wikidata Q1102454 |
| 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 |
| Closedness of touching points | GEZ2Y0YJVD | statement | record (an 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.21508#VQSP |
| Closeness | S7CJDKT2S5 | definition | open | Wikipedia Closeness (mathematics), Wikidata Q5135364 |
| Closeness | T1ECG8199W | unknown | open | Wikipedia List of network theory topics#TLDW |
| 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 |