搜索结果: 1-2 共查到“公理集合论 formulas”相关记录2条 . 查询时间(0.062 秒)
Data compression and definability of types in stable and dependent formulas
Data compression formulas
2015/9/28
Data compression and definability of types in stable and dependent formulas.
On the volume formulas for a spherical tetrahedron
the volume formulas spherical tetrahedron
2010/11/18
The present paper gives two concrete formulas for the volume of an arbitrary spherical tetrahedron, which is in a 3-dimensional spherical space of constant curvature $+1$. One formula is given in term...