Automated Deduction in Geometry: Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings

دومین کارگاه بین المللی کسر خودکار در هندسه (ADG '98) در پکن، چین، 1 تا 3 اوت 1998 برگزار شد. افزایش علاقه به ADG '98 نسبت به کارگاه قبلی ADG '96 توسط تعداد قابل توجه بیش از 40 شرکت کننده از ده کشور و برنامه فنی قوی 25 ارائه، که دو سخنرانی یک ساعته دعوت شده توسط پروفسورهای Wen-tsun ¨ Wu و Jing-Zhong Zhang ارائه شد. این کارگاه برای شرکت کنندگان یک انجمن کاملاً متمرکز برای تبادل مؤثر ایده های جدید و گزارش به موقع پیشرفت تحقیقات فراهم کرد. بررسی‌های بینش، پیشرفت‌های الگوریتمی و برنامه‌های کاربردی در CAGD/CAD و بینایی کامپیوتری ارائه‌شده توسط جستجوگران فعال، همراه با نسخه‌های نمایشی نرم‌افزار هندسه، ویژگی‌های این کارگاه دوم را روشن می‌کند. ADG '98 توسط مرکز تحقیقات مکانیزاسیون ریاضیات (MMRC) با حمایت مالی آکادمی علوم چین و مرکز ملی تحقیقات علمی فرانسه (CNRS) میزبانی شد و توسط سه نفر از سردبیران این مجموعه سازماندهی شد. جلد. مقالات موجود در این جلد، تحت یک روش داوری دقیق، از بین مقالات ارائه شده در ADG '98 انتخاب و پس از آن ارسال شدند. اکثر 14 مقاله پذیرفته شده با دقت اصلاح شدند و برخی از نسخه های اصلاح شده مجدداً توسط داوران خارجی بررسی شدند. ما امیدواریم که این مقالات برخی از جدیدترین و مهم‌ترین نتایج و پیشرفت‌های تحقیقاتی را پوشش دهند و وضعیت فعلی ADG را بازتاب دهند.

The Second International Workshop on Automated Deduction in Geometry (ADG ’98) was held in Beijing, China, August 1–3, 1998. An increase of interest in ADG ’98 over the previous workshop ADG ’96 is represented by the notable number of more than 40 participants from ten countries and the strong tech- cal program of 25 presentations, of which two one-hour invited talks were given by Professors Wen-tsun ¨ Wu and Jing-Zhong Zhang. The workshop provided the participants with a well-focused forum for e?ective exchange of new ideas and timely report of research progress. Insight surveys, algorithmic developments, and applications in CAGD/CAD and computer vision presented by active - searchers, together with geometry software demos, shed light on the features of this second workshop. ADG ’98 was hosted by the Mathematics Mechanization Research Center (MMRC) with ?nancial support from the Chinese Academy of Sciences and the French National Center for Scienti?c Research (CNRS), and was organized by the three co-editors of this proceedings volume. The papers contained in the volume were selected, under a strict refereeing procedure, from those presented at ADG ’98 and submitted afterwards. Most of the 14 accepted papers were carefully revised and some of the revised versions were checked again by external reviewers. We hope that these papers cover some of the most recent and signi?cant research results and developments and re?ect the current state-of-the-art of ADG.