New Springer Series

The new Springer Series "Texts and Monographs in Symbolic Computation"

A Series of the Research Institute for Symbolic Computation Linz, Austria

This series publishes research monographs and textbooks by researchers and visiting researchers of RISC (Research Institute for Symbolic Computation) and institutes that have a close cooperation with RISC. According to the basic philosophy of RISC, the emphasis of the book series is on computer science based on mathematics (logic, formal methods) and on computer-assisted mathematics. An important part of the scope of the series is symbolic computation. Occasionally, also the proceedings of conferences organized by or in cooperation with RISC will be included in the series.

• Algorithms in Invariant Theory
  B. Sturmfels, White Hall, Cornell University, Ithaca, NY, USA

• Mechanical Theorem Proving in Geometries, Basic Principles
  W. Wu, Institute of Systems Science, Academia Sinica, Beijing, China
  translated from the Chinese by Xiaofan Jin and Dongming Wang

• Automated Practical Reasoning Algebraic Approaches
  J. Pfalzgraf, D. Wang (eds.), with a Foreword by Jim Cunningham

• Polynomial Algorithms in Computer Algebra
  F. Winkler

• Quantifier Elimination and Cylindrical Algebraic Decomposition
  J. Johnson, B. Caviness

• Human Interaction in Symbolic Computing
  N. Kajler

• Advances in the Design of Symbolic Computation Systems
  A. Miola, M. Temperini

The following 4 books already appeared:

• B. Sturmfels, Algorithms in Invariant Theory.
  DM 59,-, approx. US $ 39.50

• W. Wu, Mechanical Theorem Proving in Geometries.
  DM 98,-, approx. US $ 69.00

• J. Pfalzgraf, D. Wang, Automated Practical Reasoning.
  oeS 686,-, DM 98,-, US $ 59.00

• F. Winkler, Polynomial Algorithms in Computer Algebra.
  oeS 625,-, DM 89,-, US $ 69.00

The following 3 books will be published within the next months:

• J.R. Johnson, B. Caviness (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition.

• N. Kajler (ed.) Human Interaction in Symbolic Computing.

• A. Miola, M. Temperini (eds.) Advances in the Design of SC Systems.

Each year 2 - 3 more titles will appear.

If you want to be informed regularly about this series also in the future, please, send mail to Bruno.Buchberger@risc.uni-linz.ac.at

Information is also accessible on the Internet at
http://www.springer.co.at/catalogues/ScBooks/RISCMono/index.html

Books can by ordered checking the corresponding boxes in the list above and sending the order by E-mail to Bruno.Buchberger@risc.uni-linz.ac.at or by accessing the above Web page which includes an order form.

News from Springer

SAC Newsletter's Home page