搜索结果: 1-3 共查到“射影几何学 VARIETIES”相关记录3条 . 查询时间(0.042 秒)
Unification and projectivity in Fregean varieties
unification projectivity Fregean varieties
2011/1/18
In some varieties of algebras one can reduce the question of finding most general unifiers (mgus) to the problem of the existence of unifiers that fulfill the additional condition called projectivity....
The varieties of tangent lines to hypersurfaces in projective spaces
varieties of tangent lines hypersurfaces projective spaces
2011/1/20
or a hypersurface in a projective space, we consider the set of pairs of a point and a line in the projective space such that the line intersects the hypersurface at the point with a fixed multiplicit...
The first part of this note contains a review of basic properties of the variety of lines contained in an embedded projective variety and passing through a general point. In particular we provide a de...