Titlebook: Interactive Theorem Proving; 5th International Co Gerwin Klein,Ruben Gamboa Conference proceedings 2014 Springer International Publishing S

外科医生

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