当前位置：首页 > 名称
大约有528,425项符合查询结果项。（搜索耗时：0.8519秒）
为您推荐： 可视化微分几何和形式 曲线曲面与曲率 曲线与曲面的微分几何 曲面几何 微分几何中嘉当的活动标架法和外 微分几何
-
-
-
-
-
-
几何定理机器证明的几何不变量方法
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
-
-
-
-
4周绳操打造完美曲线
苟昊书，双福主编2015 年出版144 页ISBN：9787518014217史上瘦身效果显著、简单易学的瘦身书。只要一个月，轻松塑造完美曲线。 简单易学，适合大众的健美瘦身运动：只需要一根弹力绳，配合音乐节拍，就能让平时锻炼不到的脂肪运动起来，锻炼双臂、背部、腰、腿，轻松瘦身......
学科分类
出版时间