Automated Deduction in Geometry Third InternationalWorkshop, ADG
- PDF / 3,406,168 Bytes
- 333 Pages / 430.984 x 667.04 pts Page_size
- 24 Downloads / 232 Views
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
2061
3
Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo
J¨urgen Richter-Gebert Dongming Wang (Eds.)
Automated Deduction in Geometry Third International Workshop, ADG 2000 Zurich, Switzerland, September 25-27, 2000 Revised Papers
13
Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA J¨org Siekmann, University of Saarland, Saarbr¨ucken, Germany Volume Editors J¨urgen Richter-Gebert Technische Universit¨at M¨unchen, Zentrum Mathematik, SB4 80290 M¨unchen, Germany E-mail: [email protected] Dongming Wang Universit´e Pierre et Marie Curie – CNRS Laboratoire d’Informatique de Paris 6 4 place Jussieu, 75252 Paris Cedex 05, France E-mail: [email protected]
Cataloging-in-Publication Data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Automated deduction in geometry : third international workshop ; revised papers / ADG 2000, Zurich, Switzerland, September 25 - 27, 2000. Jürgen Richter-Gebert ; Dongming Wang (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Tokyo : Springer, 2001 (Lecture notes in computer science ; Vol. 2061 : Lecture notes in artificial intelligence) ISBN 3-540-42598-5
CR Subject Classification (1998): I.2.3, I.3.5, F.4.1, I.5, G.2 ISBN 3-540-42598-5 Springer-Verlag 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-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag Berlin Heidelberg New York a member of BertelsmannSpringer Science+Business Media GmbH http://www.springer.de © Springer-Verlag Berlin Heidelberg 2001 Printed in Germany Typesetting: Camera-ready by author, data conversion by Steingr¨aber Satztechnik GmbH, Heidelberg Printed on acid-free paper SPIN: 10781608 06/3142 543210
Preface
With a standard program committee and a pre-review process, the Third International Workshop on Automated Deduction in Geometry (ADG 2000) held in Zurich, Switzerland, September 25–27, 2000 was made more formal than the previous ADG ’96 (Toulouse, September 1996) and ADG ’98 (Beijing, August 1998). The workshop program featured two invited talks given by Christoph M. Hoffmann and J¨ urgen Bokowski, one open session talk by Wen-ts¨ un Wu, 18 regular presentations, and 7 short communications, together with software demonstrations (see http://calfor.lip6.fr/˜wang/ADG2000/). Some of the most recent and significant research developments on geometric deduction were reported and reviewed, and t
Data Loading...
