Automated Deduction in Geometry Second International Workshop, A
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 partici
- PDF / 5,694,655 Bytes
- 297 Pages / 431 x 666 pts Page_size
- 28 Downloads / 207 Views
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen
1669
3
Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo
Xiao-Shan Gao Dongming Wang Lu Yang (Eds.)
Automated Deduction in Geometry Second International Workshop, ADG’98 Beijing, China, August 1-3, 1998 Proceedings
13
Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA J¨org Siekmann, University of Saarland, Saarbr¨ucken, Germany Volume Editors Xiao-Shan Gao Institute of Systems Science, Academia Sinica Beijing 100080, China E-mail: [email protected] Dongming Wang Laboratoire LEIBNIZ, Institut IMAG 46, avenue F´elix Viallet, F-38031 Grenoble Cedex, France E-mail: [email protected] Lu Yang Laboratory for Automated Reasoning and Programming Chengdu Institute of Computer Applications, Academia Sinica Chengdu 610041, China E-mail: [email protected]
Cataloging-in-Publication data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Automated deduction in geometry : proceedings / ADG’98, Beijing, China, August 1 - 3, 1998. Xiao-Shan Gao . . . (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer, 1999 (Lecture notes in computer science ; Vol. 1669 : Lecture notes in artificial intelligence) ISBN 3-540-66672-9
CR Subject Classification (1998): I.2.3, F.4.1, I.3.5, I.5, G.2 ISBN 3-540-66672-9 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 1999 Printed in Germany Typesetting: Camera-ready by author SPIN: 10705416 06/3142 – 5 4 3 2 1 0
Printed on acid-free paper
Preface
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 technical program of 25 presentations, of which two one-hour invited talks were given by Professors Wen-ts¨ un Wu and Jing-Zhong Zhang. The workshop provided the participants with a well-focused forum for effective 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 researchers, together with geometry software demos, shed light on the features of this second workshop. ADG ’98 was hosted by t
Data Loading...
