Mathematical Software – ICMS 2010

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

  • Komei Fukuda
  • Joris van der Hoeven
  • Michael Joswig
  • Nobuki Takayama
Conference proceedings ICMS 2010

DOI: 10.1007/978-3-642-15582-6

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

Table of contents (56 papers)

  1. Front Matter
  2. Plenary

  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. 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. A GAP Package for Computation with Coherent Configurations
      Dmitrii V. Pasechnik, Keshav Kini
      Pages 69-72
  6. Computer Algebra (Invited)

    1. LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation
      Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, B. David Saunders
      Pages 77-83
    2. 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)

About these proceedings

Keywords

C++ programming language LA Permutation algorithms calculus computational mathematics computational number theory computer algebra packages design geometric computing geometry mathematical visualization number theory programming symbolic computation

Editors and affiliations

  • Komei Fukuda
    • 1
  • Joris van der Hoeven
    • 2
  • Michael Joswig
    • 3
  • Nobuki Takayama
    • 4
  1. 1.Institute for Operations Research and Institute of Theoretical Computer ScienceETH ZurichZurichSwitzerland
  2. 2.LIX, CNRSÉcole polytechniquePalaiseau cedexFrance
  3. 3.Fachbereich MathematikTU DarmstadtDarmstadtGermany
  4. 4.Department of MathematicsKobe UniversityRokko, KobeJapan

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-15581-9
  • Online ISBN 978-3-642-15582-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349