検索結果- 英語 - 多言語
検索内容:
embedders
embedder
One who, or that which, embeds. / A tool for embedding wire into a surface.
embeddable
deep embedding
(logic, uncountable) The act of representing one language, typically a logic or programming language, with another by modeling expressions in the former as data in the latter.
shallow embedding
(logic, uncountable) The act of representing one logic or language with another by providing a syntactic translation. / (logic, countable) A specific mechanism for such a syntactic translation.
Plücker embedding
(mathematics) A method of realizing the Grassmannian Gr_k(V) of all k-dimensional subspaces of an n-dimensional vector space V as a subvariety of a projective space.
Plücker embeddings
self-embedding
embedding
embedding
The act or process by which one thing is embedded in another. / (mathematics) A map which maps a subspace (smaller structure) to the whole space (larger structure).