Computer Mathematics.pdf

(9337 KB) Pobierz
Ruyong Feng · Wen-shin Lee
Yosuke Sato
Editors
Computer
Mathematics
9th Asian Symposium (ASCM2009),
Fukuoka, December 2009, 10th Asian
Symposium (ASCM2012), Beijing,
October 2012, Contributed Papers and
Invited Talks
Computer Mathematics
Ruyong Feng Wen-shin Lee
Yosuke Sato
•
Editors
Computer Mathematics
9th Asian Symposium (ASCM2009),
Fukuoka, December 2009, 10th Asian
Symposium (ASCM2012), Beijing,
October 2012, Contributed
Papers and Invited Talks
123
Editors
Ruyong Feng
Academy of Mathematics
and Systems Science
Beijing
China
Wen-shin Lee
Department of Mathematics
and Computer Science
University of Antwerp
Antwerp
Belgium
Yosuke Sato
Department of Mathematical
Information Science
Tokyo University of Science
Tokyo
Japan
ISBN 978-3-662-43798-8
DOI 10.1007/978-3-662-43799-5
ISBN 978-3-662-43799-5
(eBook)
Library of Congress Control Number: 2014949487
Mathematics Subject Classification: 68W30, 65Y20, 68U05, 68P05
Springer Heidelberg New York Dordrecht London
©
Springer-Verlag Berlin Heidelberg 2014
This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of
the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations,
recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or
information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar
methodology now known or hereafter developed. Exempted from this legal reservation are brief
excerpts in connection with reviews or scholarly analysis or material supplied specifically for the
purpose of being entered and executed on a computer system, for exclusive use by the purchaser of
the work. Duplication of this publication or parts thereof is permitted only under the provisions of the
Copyright Law of the Publisher’s location, in its current version, and permission for use must always be
obtained from Springer. Permissions for use may be obtained through RightsLink at the Copyright
Clearance Center. Violations are liable to prosecution under the respective Copyright Law.
The use of general descriptive names, registered names, trademarks, service marks, etc. in this
publication does not imply, even in the absence of a specific statement, that such names are exempt
from the relevant protective laws and regulations and therefore free for general use.
While the advice and information in this book are believed to be true and accurate at the date of
publication, neither the authors nor the editors nor the publisher can accept any legal responsibility for
any errors or omissions that may be made. The publisher makes no warranty, express or implied, with
respect to the material contained herein.
Printed on acid-free paper
Springer is part of Springer Science+Business Media (www.springer.com)
Preface
This volume contains the proceedings of the Ninth Asian Symposium on Computer
Mathematics (ASCM 2009), held at the JAL Resort Sea Hawk Hotel, Fukuoka,
Japan, December 14–17, 2009, and the proceedings of the Tenth Asian Symposium
on Computer Mathematics (ASCM 2012), held at the Chinese Academy of
Sciences, Beijing, China, October 26–28, 2012. In both conferences, the contrib-
uted papers were selected by the Program Committee for presentation at the
symposium and went through a standard refereeing process after the symposium.
Both Program Committees had strong Asian participation, and the reviewing pro-
cess was aided by reviewers from around the world.
The ASCM 2009 was jointly held with the Third International Conference on
Mathematical Aspects of Computer and Information Sciences (MACIS 2009). The
invited speakers at the joint conference were Markus Rosenkranz, Toshinori Oaku,
Kokichi Sugihara, and Lihong Zhi. The ASCM 2012 had three excellent plenary
talks delivered by Erich Kaltofen, Markus Püschel, and Josef Schicho. This volume
also contains the extended abstracts provided by Erich Kaltofen and Josef Schicho
after the symposium.
In addition to the regular sessions, both ASCM 2009 and ASCM 2012 had
organized sessions presenting research of selected topics. The three organized
sessions of ASCM 2009 were
“Digitizing
Mathematics: From Pen and Paper to
Digital Content” organized by Volker Sorge and Alan P. Sexton,
“Validated
Numerical Computation” by Mitsuhiro Nakao, and
“Computational
Algebraic
Number Theory” by Guenael Renault. The four organized sessions of ASCM 2012
were
“On
the Latest Progress in Verified Computation” organized by Lihong Zhi,
“Computational
Geometry” by Jin-San Cheng,
“Parametric
Polynomial Computa-
tions” by Yosuke Sato, and
“Differential
and Difference Algebra” by Chun-Ming
Yuan.
We would like to express our gratitude to all those who have contributed to the
present volume and the organization of ASCM 2009 and ASCM 2012. We thank
the authors of the papers for contributing their work and the conference participants
for their presence. We also thank the organizers of the organized sessions for
presenting selected research topics and the invited speakers for accepting our
v

Plik z chomika:

Inne pliki z tego folderu:

Inne foldery tego chomika:

Zgłoś jeśli naruszono regulamin