Automated Deduction in Geometry 6th International Workshop, ADG
- PDF / 8,693,567 Bytes
- 221 Pages / 430.15 x 660.926 pts Page_size
- 29 Downloads / 222 Views
Subseries of Lecture Notes in Computer Science
4869
Francisco Botana Tomas Recio (Eds.)
Automated Deduction in Geometry 6th International Workshop, ADG 2006 Pontevedra, Spain, August 31-September 2, 2006 Revised Papers
13
Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA Jörg Siekmann, University of Saarland, Saarbrücken, Germany Volume Editors Francisco Botana EUET Forestal Universidad de Vigo Campus A Xunqueira 36005 Pontevedra, Spain E-mail: [email protected] Tomas Recio Universidad de Cantabria Departamento de Matemáticas, Estadística y Computación Avenida de los Castros, s/n, 39071 Santander, Spain E-mail: [email protected]
Library of Congress Control Number: 2007941260
CR Subject Classification (1998): I.2.3, I.3.5, F.4.1, I.5, G.2 LNCS Sublibrary: SL 7 – Artificial Intelligence ISSN ISBN-10 ISBN-13
0302-9743 3-540-77355-X Springer Berlin Heidelberg New York 978-3-540-77355-9 Springer Berlin Heidelberg New York
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com © Springer-Verlag Berlin Heidelberg 2007 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: 12206292 06/3180 543210
Preface
After five successful editions (Toulouse, 1996; Beijing, 1998; Zurich, 2000; Linz, 2002, Gainesville, Fl., 2004), the series of international workshops on Automated Deduction in Geometry (ADG) has consolidated its fundamental role concerning the scientific community working on the interaction between geometry and automated deduction. From August 31 to September 2, 2006, a new ADG meeting took place at the Pontevedra (Galicia, Spain) campus of the University of Vigo, as a satellite event of the International Congress of Mathematicians (Madrid, August 22–30, 2006). We acknowledge the financial support for ADG 2006, provided by the University of Vigo and the Spanish Ministerio de Educaci´ on y Ciencia under grant MTM2005-24580-E. It was a fruitful meeting – made possible by the work of the Organizing Committee (see next page) – for exchanging ideas and for the presentation of original results and software novelties – 21 contributions in total – under the scientific guidance of the Program Committee (listed on the next page). Moreover, it was a privilege to receive the lectures of our distinguished guest speakers, Thomas Hales (U. Pittsburgh) and Martin Peternell (T.U. Wien), dealing with the so-calle
Data Loading...
