搜索结果: 1-2 共查到“几何学 Both Solid”相关记录2条 . 查询时间(0.171 秒)
On affine maps on non-compact convex sets and some characterizations of finite-dimensional solid ellipsoids
affine maps non-compact convex sets characterizations of finite-dimensional solid ellipsoids
2011/2/25
In recent studies, properties of the set of affine maps between two convex sets have been
investigated with intensive motivation from quantum physics, but in those preceding works
the underlying con...
Automated Production of Traditional Proofs in Solid Geometry
Automated theorem proving Euclidean traditional proofs volume method constructive geometry statements
2013/9/9
This paper presents a method of producing readable proofs for theorems in solid geometry.The method is for a class of constructive geometry statements about straight lines, planes,circles, and spheres...
