کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
414220 680850 2014 22 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Formal specification and proofs for the topology and classification of combinatorial surfaces
ترجمه فارسی عنوان
مشخصات رسمی و مدارک توپولوژی و طبقه بندی سطوح ترکیبی
کلمات کلیدی
سطوح ترکیبی طبقه بندی، نقشه های جامع، مشخصات رسمی، اثبات کمک
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی

We describe one of the first attempts at using modern specification techniques in the field of geometric modeling and computational geometry. Using the Coq system, we developed a formal multi-level specification of combinatorial maps, used to represent subdivisions of geometric manifolds, and then exploited it to formally prove fundamental theorems. In particular, we outline here an original and constructive proof of a combinatorial part of the famous Surface Classification Theorem, based on a set of so-called “conservative” elementary operations on subdivisions.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Computational Geometry - Volume 47, Issue 9, October 2014, Pages 869–890
نویسندگان
, ,