Book Volume 4151 2006

Mathematical Software - ICMS 2006

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

Editors:

ISBN: 978-3-540-38084-9 (Print) 978-3-540-38086-3 (Online)

Table of contents (45 chapters)

previous Page of 3
  1. Front Matter

    Pages -

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

    1. No Access

      Chapter

      Pages 1-11

      A General Computational Scheme for Testing Admissibility of Nilpotent Orbits of Real Lie Groups of Inner Type

    2. No Access

      Chapter

      Pages 12-23

      Efficient Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment

    3. No Access

      Chapter

      Pages 24-34

      Development of a Maple Macro Package Suitable for Drawing Fine \({\rm\kern-.15em T\kern-.1667em\lower.7ex\hbox{E}\kern-.125emX}\) -Pictures

    4. No Access

      Chapter

      Pages 35-46

      Matlab-Based Problem-Solving Environment for Geometric Processing of Surfaces

    5. No Access

      Chapter

      Pages 47-57

      A Mathematica Notebook for Computing the Homology of Iterated Products of Groups

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

    1. No Access

      Chapter

      Pages 58-73

      GCLC — A Tool for Constructive Euclidean Geometry and More Than That

    2. No Access

      Chapter

      Pages 74-85

      jReality, jtem, and Oorange — A Way to Do Math with Computers

    3. No Access

      Chapter

      Pages 86-98

      MuPAD’s Graphics System

  4. Software for Algebraic Geometry and Related Topics (Nobuki Takayama, Gert-Martin Greuel)

    1. No Access

      Chapter

      Pages 99-109

      An Efficient Implementation for Computing Gröbner Bases over Algebraic Number Fields

    2. No Access

      Chapter

      Pages 110-121

      Tree Checking for Sparse Complexes

    3. No Access

      Chapter

      Pages 122-131

      The SARAG Library: Some Algorithms in Real Algebraic Geometry

    4. No Access

      Chapter

      Pages 132-143

      Algebraic Computation of Some Intersection D-Modules

    5. No Access

      Chapter

      Pages 144-157

      Plural, a Non–commutative Extension of Singular: Past, Present and Future

  5. Number Theoretical Software (Ken Nakamula, Michael Pohst)

    1. No Access

      Chapter

      Pages 158-169

      Development of NZMATH

    2. No Access

      Chapter

      Pages 170-181

      KASH: Recent Developments

  6. Methods in Computational Number Theory (David Sevilla, Jaime Gutierrez)

    1. No Access

      Chapter

      Pages 182-193

      Making Change and Finding Repfigits: Balancing a Knapsack

    2. No Access

      Chapter

      Pages 194-204

      Robust HGCD with No Backup Steps

  7. Free Software for Computer Algebra (Joris Van Der Hoeven)

    1. No Access

      Chapter

      Pages 205-215

      The Design of CoCoALib

  8. Software for Optimization and Geometric Computation (Komei Fukuda, Michael Joswig)

    1. No Access

      Chapter

      Pages 216-218

      Generation of Oriented Matroids Using Satisfiability Solvers

    2. No Access

      Chapter

      Pages 219-221

      Flexible Object Hierarchies in Polymake

previous Page of 3