Skip to main content
Springer Nature Link
Log in

Mathematical Software - ICMS 2010

Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Komei Fukuda

    1. Institute for Operations Research and Institute of Theoretical Computer Science, ETH Zurich, Zurich, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Joris van der Hoeven

    1. LIX, CNRS, École polytechnique, Palaiseau cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Michael Joswig

    1. Fachbereich Mathematik, TU Darmstadt, Darmstadt, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Nobuki Takayama

    1. Department of Mathematics, Kobe University, Rokko, Kobe, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast conference proceedings
  • State of the art report
  • Up to date results

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ICMS 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (56 papers)

  1. Front Matter

    Download chapter PDF

  3. Computation of Special Functions (Invited)

    1. Sollya: An Environment for the Development of Numerical Codes

      • Sylvain Chevillard, Mioara Joldeş, Christoph Lauter
      Pages 28-31

    2. Validated Special Functions Software

      • Annie Cuyt, Franky Backeljauw, Stefan Becuwe, Joris Van Deun
      Pages 32-34

    3. The Dynamic Dictionary of Mathematical Functions (DDMF)

      • Alexandre Benoit, Frédéric Chyzak, Alexis Darrasse, Stefan Gerhold, Marc Mezzarobba, Bruno Salvy
      Pages 35-41

    4. Reliable Computing with GNU MPFR

      • Paul Zimmermann
      Pages 42-45

  4. Computational Group Theory (Invited)

    1. Simplicial Cohomology of Smooth Orbifolds in GAP

      • Mohamed Barakat, Simon Görtzen
      Pages 46-49

    2. Computing Polycyclic Quotients of Finitely (L-)Presented Groups via Groebner Bases

      • Bettina Eick, Max Horn
      Pages 50-53

    3. Constructive Membership Testing in Black-Box Classical Groups

      • Sophie Ambrose, Scott H. Murray, Cheryl E. Praeger, Csaba Schneider
      Pages 54-57

  5. Computational Group Theory (Contributed)

    1. Towards High-Performance Computational Algebra with GAP

      • Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöeffer
      Pages 58-61

    2. An Improvement of a Function Computing Normalizers for Permutation Groups

      • Izumi Miyamoto
      Pages 62-68

    3. A GAP Package for Computation with Coherent Configurations

      • Dmitrii V. Pasechnik, Keshav Kini
      Pages 69-72

  6. Computer Algebra (Invited)

    1. CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond

      • John Abbott, Anna M. Bigatti
      Pages 73-76

    2. LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation

      • Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, B. David Saunders
      Pages 77-83

    3. FGb: A Library for Computing Gröbner Bases

      • Jean-Charles Faugère
      Pages 84-87

    4. Fast Library for Number Theory: An Introduction

      • William B. Hart
      Pages 88-91

  7. Exact Numeric Computation for Algebraic and Geometric Computation (Invited)

    1. Controlled Perturbation for Certified Geometric Computing with Fixed-Precision Arithmetic

      • Dan Halperin
      Pages 92-95
Back to top

Other volumes

  1. Mathematical Software – ICMS 2010

Editors and Affiliations

  • Institute for Operations Research and Institute of Theoretical Computer Science, ETH Zurich, Zurich, Switzerland

    Komei Fukuda

  • LIX, CNRS, École polytechnique, Palaiseau cedex, France

    Joris van der Hoeven

  • Fachbereich Mathematik, TU Darmstadt, Darmstadt, Germany

    Michael Joswig

  • Department of Mathematics, Kobe University, Rokko, Kobe, Japan

    Nobuki Takayama

Bibliographic Information

Publish with us

Policies and ethics

Back to top