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)

    1. Ewgenij Gawrilow, Michael Joswig
      Pages 219-221
    2. Anders N. Jensen
      Pages 222-224
    3. Anton Leykin, Jan Verschelde, Yan Zhuang
      Pages 225-234
    4. Manuel Abellanas, Alfredo de las Vegas
      Pages 235-244
    5. Colin N. Jones, Jan M. Maciejowski
      Pages 248-259
    6. Joshua D. Griffin, Tamara G. Kolda
      Pages 260-262
  9. Methods and Software for Computing Mathematical Functions (Amparo Gil, Javier Segura)

  10. Access to Mathematics on the Web (Paul Libbrecht)

  11. General Track

    1. Anton Leykin, Jan Verschelde
      Pages 354-360
    2. Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi, Asem Kasem
      Pages 361-372
    3. H. Martin Bücker, Atya Elsheikh, Andre Vehreschild
      Pages 373-384
    4. Tatsuyoshi Hamada, Kuniyasu Suzaki, Kengo Iijima, Arimitsu Shikoda
      Pages 385-390
    5. Kazuhiro Yokoyama
      Pages 391-402
    6. Manuel Delgado, José Morais
      Pages 403-406
    7. V. Álvarez, J. A. Armario, M. D. Frau, P. Real
      Pages 419-422
  12. Links to Projects ICMS 2006 (Masayuki Noro, Nobuki Takayama)

    1. Andrés Iglesias, Nobuki Takayama
      Pages 438-450
  13. Back Matter

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

Industry Sectors
IT & Software