数式処理システム
Mathematical Software[編集]
No  Name  http  License  

1  ActiveMath  http://www.activemath.org  Free and opensource for public educational institution 
ActiveMath is a learning environment for mathematics. It is a webserver based on java servlets which presents semantic OMDoc content to contemporary webbrowsers with good quality. ActiveMath supports the learning experience by modelling the learners’ competencies in a learnermodel that is fed by tracking the reading and the interactive exercises. The interactive exercises can be rich and multiplesteps exercises and use computeralgebrasystems to evaluate a learner’s input. The content items of ActiveMath are annotated with pedagogical and mathematical knowledge which allows the learner to obtain courses prepared on demand on given learning goals. Finally, the semantic OMDoc representation allows copyandpaste of formulae and search for content items by text, annotations, or formulae. 
2  Aldor  http://www.aldor.org  Other (BSD like) 
Aldor is a computer programming language, like Scheme, Java or C. 
3  Algorithms in real algebraic geometry (interactive book)  http://perso.univrennes1.fr/mariefrancoise.roy/bprposted1.html  GPL, others 
Algorithms in real algebraic geometry, by S. Basu, R. Pollack and M.F. Roy, is a preliminary test version of an extension of the first edition published by Springer in 2003. This interactive book is based on texmacs, and live examples can be computed within the book through the SARAG maxima library by F. Caruso. The final version is due to be published by Springer. 
4  Arageli  http://www.unn.ru/cs/arageli  Free for academic and noncommercial use 
Arageli is a C++ library for doing symbolic computations. It contains arbitrary precision integer and rational numbers, vectors, matrices, polynomials, modular arithmetic, algorithms for number factorization, linear and integer programming etc. Creating new mathematical structures from existing ones (also in other libraries) is easy. Arageli is used in Skeleton, Integizer, Prelinea projects. 
5  The Atlas of Lie Groups and Representations  http://atlas.math.umd.edu/ 
This is a project to make available information about representations of semisimple Lie groups over real and padic fields. The software is in an early stage of development. Given a general connected complex group G, the software will compute among other things: parameters for the irreducible representations of G with regular integral infinitesimal character, Kazhdan Lusztig polynomials for representations with regular integral infinitesimal character, .... etc. ( Alfred G. Noel, University of Massachusetts Boston) 

6  BESSELINT  http://www.cs.kuleuven.be/~nines/software/BESSELINT/ 
BESSELINT is a Matlab program to compute integrals of the form with the Bessel function of the first kind and (real) order . The parameter m is a real number such that and the coefficients are strictly positive real numbers. In the near future this will be extended to compute the Laplace transform of a product of Bessel functions with possibly an additional factor of in the denominator (where d is a real number). (Joris Van Deun and Ronald Cools, K.U.Leuven) 

7  CoCoA4  http://cocoa.dima.unige.it/  The executables are free 
The interactive system CoCoA4.6 offers facilities for COmputations in COmmutative Algebra: Gr¨obner bases and related operations on ideals and modules, Hilbert functions, factorization of polynomials, and some exact linear algebra. CoCoA4.6 is wellsuited to teaching with its simple and mathematically natural command language, and an extensive online help facility. It is free and runs on most common platforms. 
8  CoCoALib  http://cocoa.dima.unige.it/  GPL, others 
The C++ library CoCoALib offers data structures and operations for COmputations in COmmuative Algebra, most particularly Gr¨obner bases. Ease of use through a clean design is paramount (with some concessions to guarantee good performance). The library comes with full documentation and numerous example programs. A “beta” release is anticipated in late 2006. A server and interactive system are planned. 
9  Computer Algebra Animation  http://www.math.kobeu.ac.jp/caa  GPL 
An experimental project for algorithm animations and graphical or interactive user interface in computer algebra with Java and OpenXM. 
10  Coq  http://coq.inria.fr  LGPL 
Coq is a proof assistant. 
11  DEpthLAUNAY  http://www.dma.fi.upm.es/mabellanas/delonedepth/  QPL 
DEpthLAUNAY is a C++ software developed with CGAL (http://www.CGAL.org) that computes the following geometric structures given a finite set of points in the plane: convex hull, convex layers, convex levels, Delaunay triangulation, Delaunay layers, Delaunay levels, and Voronoi diagram. Input points can be randomly generated, introduced interactively or simply aquired from image files. ( Manuel Abellanas, Universidad Politecnica de Madrid) 
12  Epsilon  http://wwwcalfor.lip6.fr/~wang/epsilon  Free for academic and noncommercial use 
Epsilon is a library of functions implemented in Maple and Java for polynomial elimination and triangular decomposition with (geometric) applications. It has 8 modules and contains more than 70 functions, with documentation, examples, and Maple worksheets. (Dongming Wang, Beihang University, China and UPMCCNRS, France) 
13  GAP  http://www.gapsystem.org  GPL 
GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing algebraic algorithms written in the GAP language as well as large data libraries of algebraic objects. 
14  GAP package Alnuth  http://www.gapsystem.org/Packages/alnuth.html  GPL 
The Alnuth package provides various methods to compute with number fields which are given by a defining polynomial or by generators. Some of the methods provided in this package are written in GAP code. The other part of the methods is imported from the Computer Algebra System KANT. 
15  GCLC/WinGCLC  http://www.matf.bg.ac.yu/~janicic/gclc/  Free for academic and noncommercial use 
GCLC/WinGCLC is a tool for visualizing and teaching geometry (and not only geometry), and for producing mathematical illustrations. It has support for a range of geometrical constructions and transformations, for symbolic expressions, parametric curves, program loops, for automated proving of geometrical conjectures, for exporting figures into LaTeX and bitmap format etc. 
16  GEX  http://www.mmrc.iss.ac.cn/gex/ 
Geometry Expert (GEX) is a software for dynamic geometric diagram drawing and automated geometry theorem proving and discovering. As a dynamic geometry software, GEX can be used to build dynamic visual models to assist manipulating and teaching various mathematical concepts. As an automated reasoning software, GEX can be used to prove and discover hundreds of nontrivial geometry theorems automatically Geometry Expert (GEX) is a software for dynamic geometric diagram drawing and automated geometry theorem proving and discovering. As a dynamic geometry software, GEX can be used to build dynamic visual models to assist manipulating and teaching various mathematical concepts. As an automated reasoning software, GEX can be used to prove and discover hundreds of nontrivial geometry theorems automatically 

17  Gfan  http://home.imf.au.dk/ajensen/software/gfan/gfan.html 
Gfan is a command line tool for enumerating the reduced Gr¨obner bases of a polynomial ideal in n variables. Hereby the Gr¨obner fan, an ndimensional polyhedral complex, is computed. The tropical variety is a certain subcomplex which can also be computed by the software. Gfan uses Gmp and Cddlib for exact arithmetic and polyhedral computations, respectively. 

18  GiNaC  http://www.ginac.de/  GPL 
GiNaC looks like a computer algebra system and a library, but the name GiNac is an iterated and recurseive abbreviation for GiNaC is Not a Computer Algebra System. 
19  GloptiPoly  http://www.laas.fr/~henrion/software/gloptipoly  GPL, requires Matlab 
Matlab/SeDuMi addon to build and solve convex LMI relaxations of the (generally nonconvex) global optimization problem of minimizing a multivariable polynomial function subject to polynomial inequality, equality or integer constraints. (Didier Henrion and JeanBernard Lasserre, LAASCNRS, Toulouse, France) 
20  GiANT: Graphical Algebraic Number Theory  http://giantsystem.sourceforge.net  GPL 
GiANT is a graphical interface for working with number fields. GiANT offers interactive diagrams, draganddrop functionality, and typeset formulas. GiANT is written in Java, but uses KASH to perform its computations. 
21  GMP: GNU Multiple Precision Arithmetic Library  http://www.swox.com/gmp  LGPL 
GMP is a free library for arbitrary precision arithmetic, operating on signed integers, rational numbers, and floating point numbers. There is no practical limit to the precision except the ones implied by the available memory in the machine GMP runs on. GMP has a rich set of functions, and the functions have a regular interface. 
22  HOL Light  http://www.cl.cam.ac.uk/users/jrh13/hollight/index.html  Custom BSDlike 
HOL Light is a theorem prover for classical higherorder logic. It is a rationalized reimplementation in Objective CAML (OCaml) of Mike Gordon’s original HOL system. HOL Light generates proofs using very lowlevel primitive inference steps, but has numerous higherlevel automated rules and a good library of preproved mathematics. ( John Harrison.) 
23  jReality  http://www.jreality.de 
jReality is a library that allows for interactive manipulation of scientific data on a wide variety of platforms. It is written in Java. The output media include software only Java rendering, hardware accelerated OpenGL rendering stereo viewing, immersive virtual reality applications like in the PORTAL as well as file formats like PIXAR’s renderman and SVG. 

24  jtem  Java Tools for Experimental Mathematics  http://www.jtem.de  GPL 
jtem is a collection of mostly mathematical tools and algorithms implemented in Java. The libraries include a wide range from complex numbers to thetafunctions, basic linear algebra and adaptive ODE solvers. 
25  Kan/sm1  http://www.openxm.org  GPL, LGPL 
Kan/sm1 is originally developed for a computer algebra system for the ring of differential operators D. It is designed to be a backend system with a postscriptlike small language. It is now used for a controller of OpenXM communications behind as well as a system for the D. 
26  KASH/KANT  http://www.math.tuberlin.de/~kant/kash.html  Other 
KASH/KANT is a computer algebra system specialized for algebraic number theory and its applications. It offers powerful functions for working with number fields, function fields, and local fields, as well as functions for solving Diophantine equations. The KANT shell KASH provides a programming language and an interactive help system. 
27  KENZO  http://wwwfourier.ujfgrenoble.fr/~sergerar/Kenzo 
KENZO program is a Common Lisp Object System (CLOS) whose purpose is to compute various invariants in Algebraic Topology Framework (mainly homology groups). It implements and uses numerous algebraic structures as dgalgebras, simplicial groups, morphisms, reductions, chain complexes, etc. It allows to compute homology groups of sophisticated spaces. 

28  KENZO package for Ainfinity structures: ARAIA and CRAIC  http://www.ehu.es/aba/investigation.htm 
The package component we add to KENZO allows us to compute Ainfinity (co)algebra structures induced on the small module of a reduction if the big dgmodule is a (co)algebra. (Ainhoa Berciano Alcaraz) 

29  KETpic  http://www.kisarazu.ac.jp/~masa/math/E.html  Free for academic and noncomercial use 
KETpic is a macro package for Maple, which generates TEXsource codes for clear drawings. This supports users to draw every kind of complicated figure easily with the highest accuracy. The current version as well as the latest Maple runs on major OS: Windows, Mac and Linux. One can download the package, various samples, the command reference and a template of TEXsource from the indicated web site. (Masayoshi SEKIGUCHI) 
30  KNOPPIX/math  http://www.knoppixmath.org 
KNOPPIX/Math is a project to archive free mathematical software and free mathematical documents and provide them on KNOPPIX. 

31  libMpIeee  http://www.mpieee.ua.ac.be 
libMpIeee is a C++ software library for radix 2n or 10m mixed precision floatingpoint arithmetic, that is fully compliant with the IEEE 754/854 standards for floatingpoint arithmetic. This implies, among others, that the basic operations as well as the remainder and square root operations are exactly rounded, involving a relative error of at most 0.5 units in the last place (ULP) for round to nearest and 1 ULP for directed roundings. As required by the IEEE 754/854 standards, libMpIeee also provides denormal numbers, signed zeroes, signed infinities and NaN (NotaNumber). Moreover, the conversions between decimal and binary are implemented to satisfy the same error bound as the basic operations. The elementary functions are computed with a relative error of at most 1 ULP for round to nearest and 2 ULP for directed roundings. More information on the implementation of these elementary functions can be found in the contribution ”Towards reliable software for the evaluation of a class of special functions” by Annie Cuyt and Stefan Becuwe. 

32  Linbox  http://www.linalg.org  LGPL 
LinBox is a C++ template library for exact, highperformance linear algebra computation. 
33  LiveTeXmacs  ftp://math.cgu.edu.tw/pub/KNOPPIX  GPL 
LiveTeXmacs is a knoppixbased live distribution for mathematical education. Many mathematical software systems (Axiom, Gnuplot, Maxima, Octave, R etc) are integrated in this distribution. In addition to this, it also includes free documentations for calculus, mathematical (2D/3D) visualization and stochastic processes etc, which are made by TeXmacs. Web applications, such as PHP, Python, Apache, SQL and Zope etc, are also supported. Especially, the Web Mathematics Interactive is preinstalled as the web application for Maxima, Gnuplot and more. Preinstalled development environment gives a scalability of the distribution even with very few knowledge about linux. 
34  Logiweb  http://logiweb.eu/  GPL 
Logiweb is an infrastructure for publication and archival of machine verified mathematics. It allows users to publish definitions, theories, lemmas, proofs, and computer programs. The system allows proofs to reference previously published material across the Internet so that users in different sites may build on top of the work of each other. (Klaus Grue, University of Copenhagen) 
35  Macaulay2  http://www.math.uiuc.edu/Macaulay2  GPL 
Macaulay2 is a software system to support researches in algebraic geometry and commutative algebra. 
36  Magma  http://magma.maths.usyd.edu.au  Commercial 
Magma is a large, wellsupported software package designed to solve computationally hard problems in algebra, number theory, geometry and combinatorics. It provides a mathematically rigorous environment for computing with algebraic, numbertheoretic, combinatoric and geometric objects. 
37  Maple  http://www.maplesoft.com  Commercial 
Maple is a tool for solving mathematical problems and creating interactive technical applications. 
38  Mathematica  http://www.wolfram.com  Commercial 
Mathematica is a system for doing mathematics. The cite also provides http://functions.wolfram.com (a data base for special functions) and http://library.wolfram.com (a collection of notebooks). 
39  mathpolyglot  http://www.math.kobeu.ac.jp/mathpolyglot  GFL, BSD 
This project is started for editing icms2006 ― developer’s meeting DVD’s. It provides sample codes for mathematical software systems in our DVD’s. Samples are grouped with mathematical problems. This project also provides inputs for testing and checking if the installation is properly done to the knoppixmath. The project will be moved to a MediaWiki of knoppixmath after the icms2006. (Nobuki Takayama, Kobe University) 
40  MATLAB  http://www.mathworks.com  Commercial 
Matlab is a language for technical computing and an interactive environment. 
41  Mizar  http://www.mizar.org 
Mizar project provides a database for mathematics (7000 definitions, 40000 theorems) as well as the mizar system. 

42  MPFR library for multiple precision floating point computation  http://www.mpfr.org  LGPL 
The MPFR library is a C library for multipleprecision floatingpoint computations with exact rounding (also called correct rounding). It is based on the GMP multipleprecision library. The main goal of MPFR is to provide a library for multipleprecision floatingpoint computation which is both efficient and has a welldefined semantics. 
43  Multi Parametric Toolbox  http://control.ee.ethz.ch/~mpt/  GPL 
The MultiParametric Toolbox (MPT) is a free Matlab toolbox for design, analysis and deployment of optimal controllers for constrained linear, nonlinear and hybrid systems. Efficiency of the code is guaranteed by the extensive library of algorithms from the field of computational geometry and multiparametric optimization. The toolbox offers a broad spectrum of algorithms compiled in a user friendly and accessible format: starting from different performance objectives (linear, quadratic, minimum time) to the handling of systems with persistent additive and polytopic uncertainties. Users can add custom constraints, such as polytopic, contraction, or collision avoidance constraints, or create custom objective functions. Resulting optimal control laws can either be embedded into your applications in a form of a C code, or deployed to target platforms using Real Time Workshop. 
44  MuPad  http://www.mupad.de  Commercial 
MuPad is a mathematical expert system mainly symbolic/algebraic computation and numerical calculations with arbitrary accuracy. 
45  MuPADCombinat  http://mupadcombinat.sourceforge.net 
MuPADCombinat is an opensource algebraic combinatorics package for the computer algebra system MuPAD http://www.mupad.de. Its main purpose is to provide an extensible toolbox for computer exploration, and foster code sharing between researchers in this area. The core of the package is integrated in the official library of MuPAD since version 2.5.0. 

46  NZMATH  http://tnt.math.metrou.ac.jp/nzmath/  BSD 
NZMATH is a number theory oriented calculation system based on the scripting language Python. It is currently providing the Python library package named nzmath, which contains modules for primality testings, factorization, polynomial, matrix, elliptic curves, etc. ( MATSUI Tetsushi, Tokyo Metropolitan University) 
47  Octave  http://www.octave.org  GPL 
GNU Octave is a highlevel language, primarily intended for numerical computations. 
48  Oorange  http://www.oorange.de  GPL 
Oorange is a development environment that was initially designed for experimental mathematics but has become a general Java programming tool. It’s main feature is its interactive programming, also known as rapid prototyping. It also fits into component oriented development. 
49  OpenMath  http://www.openmath.org 
OpenMath is an emerging standard for representing mathematical objects with their semantics, allowing them to be exchanged between computer programs, stored in databases, or published on the worldwide web. 

50  OpenXM  http://www.openxm.org  BSD, GPL, FFL 
OpenXM is an infrastructure for communications among mathematical software systems. The project has proposed protocols OpenXM RFC 100, 101, 102, 103, 104. The OpenXM package is a collection of software systems supporting OpenXM protocols. The current distribution contains asir, sm1, Macaulay 2, PHCpack, gnuplot, polymake, cdd, ntl, pari, supports for Maple, Mathematica, OpenMath, and some small sized systems. 
51  webOrigami  http://weborigami.score.cs.tsukuba.ac.jp/webOrigami/jsp/ 
Origami assistant on a web. 

52  ORMS  http://orms.mfo.de 
The Oberwolfach References on Mathematical Software (ORMS) project is a webinterfaced collection of information and links on mathematical software, see http://orms.mfo.de. It presents carefully selected software, including general purpose software systems, teaching software, and more specialized packages up to specific implementations on particular mathematical research problems. Each software package is presented by a short description of its mathematical features, information on basic properties like license type and distribution media are provided, and links to syntax examples, possible demo versions and manuals are given. The ORMS offers a choice of retrieval functions, for example, searching via browsing through a mathematical classification scheme, a structured key word search, and a full text search in the description of the software systems. The success of this project will rely on the cooperation of experienced users from different areas of mathematical software. We therefore encourage discussion (at orms@mfo.de) and we will be grateful to contributions (at contriborms@mfo.de). 

53  PariGP  http://pari.math.ubordeaux.fr  GPL 
The PARI system is a package which is capable of doing formal computations on recursive types at high speed. It is primarily aimed at number theorists, but is useful to anyone whose primary need is speed. The functionality of PARI is available through a sophisticated programmable calculator, named GP, which also implements many features of high level languages. 
54  PHCpack  http://www.math.uic.edu/~jan/download.html  GPL, free software 
PHCpack is a package for Polynomial Homotopy Continuation. Version 1 was archived by ACM TOMS as Algorithm 795. Currently it is a platform for “numerical algebraic geometry” providing algorithms developed jointly with Andrew Sommese and Charles Wampler. Contributions made by Anton Leykin, YusongWang, Ailing Zhao, and Yan Zhuang. ( Jan Verschelde, UIC.) 
55  PHCmaple  http://www.math.uic.edu/~leykin/PHCmaple  GPL 
This Maple package provides a convenient interface to the functions of PHCpack, a collection of numerical algorithms for solving polynomial systems using polynomial homotopy continuation. 
56  polymake  http://www.math.tuberlin.de/polymake/  GPL 
polymake is a modular, objectoriented tool for experimental discrete geometry. The main applications are dealing with polytopes and polyhedra, polyhedral surfaces, and finite simplicial complexes. It offers an unified interface to a wide variety of free software packages from the field, especially for visualisation. It can be used interactively as well as driven by perl scripts or C++ programs. (Ewgenij Gawrilow, Technische Universit¨at Berlin, and Michael Joswig, Technische Universit¨at Darmstadt) 
57  ProofPower  http://www.lemmaone.com/ProofPower/index/index.html  GPL 
ProofPower is a tool for specification and proof in HigherOrder Logic (HOL) and in the Z Notation, based on a reengineering of Mike Gordon’s original HOL system. Like other systems in the LCF tradition, it uses a powerful stronglytyped functional programming language (Standard ML) to ensure logical correctness by reducing all proof steps to primitive inferences rules and to provide a rich and extensible repertoire of automated derived inference rules and decision procedures. Its is used commercially for the verification of safetycritical avionics control systems. Libraries of discrete and continuous mathematics have been and continue to be developed to support these applications and for their intrinsic interest. 
58  QaoS  Querying Algebraic Objects System  http://www.math.tuberlin.de/~kant/database.html  BSD like 
QaoS (Querying Algebraic Objects System) is a standalone solution for access to the KANT databases of algebraic and transcendental field extensions. QaoS transfers information via the hypertext transport protocol (HTTP). It can be accessed through a web interface and various computer algebra systems (GAP 4, KASH 2.56, KASH 3, Maple, and SAGE). 
59  R  http://www.rproject.org  GPL 
R is a system for statistical computing and graphics. 
60  Risa/Asir  http://www.math.kobeu.ac.jp/Asir  Other(FFL, BSD) 
Risa/Asir is a computer algebra system. Here is a list of some commands: fctr (factorization), gr, nd gr trace (Groebner basis), primadec (primary ideal decomposition), af (factorization over algebraic numbers), ifplot (plot of implicit functions), ox * (OpenXM communication functions), generic bfct (bfunction). 
61  SAGE: Software for Algebra and Geometry Experimentation  http://sage.scipy.org/sage  GPL 
The Pythonbased computer algebra system SAGE comes with the systems GAP, PARI, Singular. and provides interfaces KASH/KANT, Gnuplot, Octave, Magma, Mathematica, and Maple. It includes functions for basic algebraic geometry, elliptic curves over the rational numbers, modular forms, linear algebra and Zmodules, and noncommutative algebra. 
62  SARAG  http://perso.univrennes1.fr/mariefrancoise.roy/bprposted1.html  GPL 
SARAG(Some Algorithms in Real Algebraic Geometry) is a software library that implements some algorithms in real algebraic geometry written in the free computer algebra system Maxima. SARAG has two main applications: extending the capabilities of Maxima and being part of the interactive version of the book “Algorithms in Real Algebraic Geometry” by S. Basu, R. Pollack, M.F. Roy, which can be now freely downloaded. 
63  sgpviz  http://www.gapsystem.org/Packages/sgpviz.html 
The GAP package sgpviz is a package designed to visualize finite semigroups through their Dclasses or Cayley graphs, as well as to make friendlier the usage of GAP when dealing with finite semigroups. 

64  Singular  http://www.singular.unikl.de  GPL, others 
Singular is a Computer Algebra System for polynomial computations with emphasis on the special needs of commutative algebra, algebraic geometry, and singularity theory. Singular’s main computational objects are ideals and modules over a large variety of rings, including local rings and noncommutative Galgebras (in the subsystem Plural). Large variety of algorithms, including those based on Gr¨obner and standard bases, have powerful implementations in Singular. 
65  Strong Noether Position  http://wwwcalfor.lip6.fr/~hashemi/Noether 
We introduce the notion of a homogeneous ideal in Strong Noether Position (SNP); a new definition for the notion of generic coordinates for some problems. This definition is simple to check, because one can test it for the initial ideal of the ideal with respect to the degree reverse lexicographic ordering. It is explicit, because we can provide an algorithm to decide whether a monomial ideal is in SNP or not. We propose some methods to compute the CastelnuovoMumford regularity of an ideal which one of them is more efficient than that of [BermejoGimenez, 2005]. ( Amir Hashemi) 

66  Surface Evolver  http://www.susqu.edu/facstaff/b/brakke/evolver/ 
The Surface Evolver is an interactive program for the study of surfaces shaped by surface tension and other energies, and subject to various constraints. A surface is implemented as a simplicial complex (a union of triangles) and is evolved toward minimal energy by a gradient descent method. The Evolver can handle arbitrary topology. Graphical output is available in several file formats. 

67  surfex  http://www.surfex.algebraicsurface.net  Freeware 
surfex is a tool for interactive high quality real algebraic surface visualization. It is mainly an intuitive interface which combines the strenghts of several visualization tools; at the moment, these include surf, javaview, and convert. One of the main features of surfex is the interactive visualization of families of algebraic varieties: The user can introduce parameters into some implicit equations and then play with these parameters via sliders. E.g., this allows one to visualize deformations of surface singularities. All the pictures can easily be exported, either as an animation which shows the whole deformation process, or as a snapshot of a single variety. The user can specify the quality of the output which can range from very high quality for printed publications to lower quality for websites. We also implemented a library for the computer algebra system Singular, called surfex.lib, which enhances the quality of the visualization of surfex using precomputation of the singular locus etc. 
68  SYNAPS  http://wwwsop.inria.fr/galaad/logiciels/synaps  GPL 
SYNAPS (SYmbolic Numeric APplications) is a C++ library devoted to symbolic and numeric computations. It provides datastructures for the manipulation of basic algebraic objects, such as vectors, matrices (dense, sparse, structured), univariate and multivariate polynomials. It contains solvers for univariate and multivariate polynomials, including generalized normal form or subdivision solvers, tools for the manipulatiion of algebraic numbers, for the construction of resultants, ... 
69  TC  ftp://tnt.math.metrou.ac.jp/pub/mathpacks/tc/  GPL 
TC (Tiny C) is an interpreter of multiprecision C language suitable for floatingpoint calculations of several thousands digits which often appear in computational algebraic number theory. Furthermore TC ver.4, which is equipped with PARI library and turned TCP ver.1, provides frequently used PARI library functions by Clike functions which are easy to call from TC. (Takashi Fukuda) 
70  TeXmacs  http://www.texmacs.org  GPL 
GNU TeXmacs is a free wysiwyw editing platform for scientists. 
71  Virtual Math Laboratories  http://www.jreality.de  GPL 
Virtual Math Labs is a collection of educational and scientific java web start applications. The library of mathematical experiments shows topics from varies areas, e.g. dynamical systems, polyhedral surfaces, calculus, and curves and surfaces. 