Formalization and Implementation of Algebraic Methods in Geometry
نویسندگان
چکیده
منابع مشابه
Formalization and Implementation of Algebraic Methods in Geometry
We describe our ongoing project of formalization of algebraic methods for geometry theorem proving (Wu’s method and the Gröbner bases method), their implementation and integration in educational tools. The project includes formal verification of the algebraic methods within Isabelle/HOL proof assistant and development of a new, open-source Java implementation of the algebraic methods. The proje...
متن کاملCohomological Methods in Algebraic Geometry
We begin this paper with a discussion of n-dimensional algebraic Vector bundles. Vector bundles of rank n may be identified with locally free Ox-modules of rank n. Several sections are dedicated to reviewing the basic notions of scheme-theory. We show how to construct the projectization of arbitrary rings. This construction corresponds to the construction of the tautological line bundle over an...
متن کاملTopological Methods in Algebraic Geometry
Preface These are live-texed lecture notes for a course taught in Cambridge during Michaelmas 2013 by Burt Totaro, on a hodgepodge of topics at the intersection of algebraic topology and algebraic geometry. An unfortunate side effect of live-texing is that it tends to introduce a lot of errors, which are solely the fault of the scribe. If you find any, please let me know at
متن کاملPolyhedral and Algebraic Methods in Computational Geometry
Imagine that you get such certain awesome experience and knowledge by only reading a book. How can? It seems to be greater when a book can be the best thing to discover. Books now will appear in printed and soft file collection. One of them is this book polyhedral and algebraic methods in computational geometry. It is so usual with the printed books. However, many people sometimes have no space...
متن کاملinvestigation of single-user and multi-user detection methods in mc-cdma systems and comparison of their performances
در این پایان نامه به بررسی روش های آشکارسازی در سیستم های mc-cdma می پردازیم. با توجه به ماهیت آشکارسازی در این سیستم ها، تکنیک های آشکارسازی را می توان به دو دسته ی اصلی تقسیم نمود: آشکارسازی سیگنال ارسالی یک کاربر مطلوب بدون در نظر گرفتن اطلاعاتی در مورد سایر کاربران تداخل کننده که از آن ها به عنوان آشکارساز های تک کاربره یاد می شود و همچنین آشکارسازی سیگنال ارسالی همه ی کاربران فعال موجود در...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2012
ISSN: 2075-2180
DOI: 10.4204/eptcs.79.4