Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore,
This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007. The 22 revised full papers and 5 revised poster papers presented together with 3 invit
- PDF / 9,516,439 Bytes
- 369 Pages / 430 x 660 pts Page_size
- 86 Downloads / 150 Views
Subseries of Lecture Notes in Computer Science
5081
Deepak Kapur (Ed.)
Computer Mathematics 8th Asian Symposium, ASCM 2007 Singapore, December 15-17, 2007 Revised and Invited Papers
13
Series Editors Randy Goebel, University of Alberta, Edmonton, Canada Jörg Siekmann, University of Saarland, Saarbrücken, Germany Wolfgang Wahlster, DFKI and University of Saarland, Saarbrücken, Germany Volume Editor Deepak Kapur University of New Mexico, Department of Computer Science Albuquerque, NM 87131-0001, USA E-mail: [email protected]
Library of Congress Control Number: 2008935385
CR Subject Classification (1998): I.2.2, I.1-2, F.4.1, G.2, I.6 LNCS Sublibrary: SL 7 – Artificial Intelligence ISSN ISBN-10 ISBN-13
0302-9743 3-540-87826-2 Springer Berlin Heidelberg New York 978-3-540-87826-1 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 2008 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: 12524266 06/3180 543210
Preface
This volume contains the proceedings of the Eighth Asian Symposium on Computer Mathematics (ASCM 2007), which was held at the Grand Plaza Park Hotel City Hall, Singapore, December 15–17, 2007. Previous ASCM meetings were held in Beijing, China (1995), Kobe, Japan (1996), Lanzhou, China (1998), Chiang Mai, Thailand (2000), Matsuyama, Japan (2001), Beijing, China (2003), and Seoul, Korea (2005). Amongst 65 submissions by authors from 20 mostly Asian countries, the Program Committee selected 23 regular papers and 13 posters for presentation at the symposium. The presentations and papers went through another round of reviewing after the symposium, and 22 regular papers and five short papers on posters were selected for the proceedings. The international Program Committee of ASCM 2007 had strong Asian participation, and the reviewing process was aided by numerous reviewers from around the world. I am very grateful to the Program Committee members and the reviewers for their work in evaluating the submissions before and after the conference. In addition to contributed papers, ASCM 2007 had three invited talks— by Rida Farouki on computational geometry, by Xiaoyun Wang on cryptology, and by Georges Gonthier on a computer proof of the celebrated Four Color Theorem. I would like to thank the speakers for their excellent talks. A paper by Prof. F
Data Loading...
