外科医生 发表于 2025-4-1 03:51:19

Nao Hirokawa,Aart Middeldorp,Christian Sternageld curves 120 A data structure for closed curves 123 The merging of closed curves 125 Chapter 5: Representation of surfaces 133 Introduction 133 Ruled surfaces 134 Coons‘ patches 136 Surfaces through given points 141 Bezier surface patches 143 B-spline surfaces 148 The DUCT system 149 Problems involv
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Interactive Theorem Proving; 5th International Co Gerwin Klein,Ruben Gamboa Conference proceedings 2014 Springer International Publishing S