Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2010

Mathematical Software - ICMS 2010

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

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)

Conference series link(s): ICMS: International Congress on Mathematical Software

Conference proceedings info: ICMS 2010.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

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

Table of contents (56 papers)

  1. Front Matter

    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

    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

    3. A GAP Package for Computation with Coherent Configurations

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

  6. Computer Algebra (Invited)

    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

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

Back to top

Other Volumes

  1. Mathematical Software – ICMS 2010

Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation