© 2006

Mathematical Software - ICMS 2006

Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings

  • Andrés Iglesias
  • Nobuki Takayama
Conference proceedings ICMS 2006

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4151)

Table of contents

  1. Front Matter
  2. New Developments on Computer Algebra Packages (Andr´es Iglesias, Tetsuo Ida)

  3. Interfacing Computer Algebra and Mathematical Visualization (Konrad Polthier)

    1. Tim Hoffmann, Markus Schmies
      Pages 74-85
    2. Christopher Creutzig
      Pages 86-98
  4. Software for Algebraic Geometry and Related Topics (Nobuki Takayama, Gert-Martin Greuel)

    1. Massimo Caboara, Sara Faridi, Peter Selinger
      Pages 110-121
    2. F. J. Calderón Moreno, L. Narváez Macarro
      Pages 132-143
  5. Number Theoretical Software (Ken Nakamula, Michael Pohst)

    1. Matsui Tetsushi
      Pages 158-169
    2. Sebastian Freundt, Aneesh Karve, Anita Krahmann, Sebastian Pauli
      Pages 170-181
  6. Methods in Computational Number Theory (David Sevilla, Jaime Gutierrez)

    1. Niels Möller
      Pages 194-204
  7. Free Software for Computer Algebra (Joris Van Der Hoeven)

    1. J. Abbott
      Pages 205-215
  8. Software for Optimization and Geometric Computation (Komei Fukuda, Michael Joswig)

About these proceedings


This volume contains the outstanding collection of invited papers and refereed papers selected for the Second International Congress on Mathematical Software, ICMS 2006, held in Castro Urdiales, Spain, September 1-3, 2006. We cordially invite you to visit the ICMS 2006 website where you can find all relevant information about this interesting event. ICMS 2006 was the second edition of this congress, which follows up the successful ICMS 2002 held in Beijing, China. Since its inception, this congress has been a satellite event of the International Congress of Mathematicians - ICM, the world’s largest conference on mathematics, celebrated every four years since the edition of 1900 in Paris, where David Hilbert presented his 23 famous problems. For the first time, this 2006 edition of ICM is held in Spain (see: for details), and so is ICMS 2006. This congress was devoted to all aspects of mathematical software, whose appearance is — in our opinion — one of the most important events in mathematics. Mathematical software systems are used to construct examples, to prove theorems, and to find new mathematical phenomena. Conversely, mathematical research often motivates developments of new algorithms and new systems. Beyond mathematics, mathematical software systems are becoming indispensable tools in many branches of science and technology.


Mathematica computer computer algebra mathematical software number theory optimization visualization

Editors and affiliations

  • Andrés Iglesias
    • 1
  • Nobuki Takayama
    • 2
  1. 1.Department of Applied Mathematics and Computational SciencesUniversity of CantabriaSantanderSpain
  2. 2.Faculty of Science Department of MathematicsKobe UniversityKobeJapan

Bibliographic information