SAC Software by FTP
search		Epsilon Available for Download NTL 5.3.1 now available Tensorial - A Tensor Calculus Package NTL 5.1a is now available. CoCoA: CoCoA is a special- purpose system for doing Computations in Commutative Algebra. Its principal area of expertise is that of operations over commutative rings of polynomials. GAP:A freely distributed system for computational discrete algebra, especially group theory. GiNaC (which stands for GiNaC is Not a CAS) is a C++ library, designed to allow the creation of integrated systems that embed symbolic manipulations together with more established areas of computer science under one roof. NTL 4.3a. This is backward compatible with previous versions. NTL 3.9b. We fixed a few minor problems and provided some additional functionality... Fermat algebra system MP - the Multi Protocol and MP library in C and in Java JMP - OO implementation of MP in Java Singular 1.2.0 is now available. It is a major upgrade from all previous versions of Singular, and you should definitely consider upgrading your current Singular version. Macaulay 2: A program designed to support mathematics research in commutative algrbra and algebraic geometry. GrafEq 2:04: A program which graphs implicit relations. SPDE (Symmetries of Partial Differential Equations) The CATHODE 2 REDUCE Software Demonstrations Hypermedia Browser From IBM FYI: FREE Formulae 1 Computer Algebra System for Java TeX2HTML Converter (No GIF) NTL2.0 - A Upgraded C++ Library for symbolic compuation NTL1.7 - A C++ Library for symbolic compuation OpenMP (http://www.openmp.org/) application program interface (API) Java Openmath Library NTL 1.7 MATCOM V3: the Matlab 5 to C++ Compiler. NTL V1.5 SIMATH V4.0 Free CORBA ORB for Java, C,Python, C++ and Common Lisp - ILU 2.0alpha1. This is to announce the availability of an alpha release of ILU 2.0, ILU 2.0alpha10. See ftp://ftp.parc.xerox.com/pub/ilu/ilu.html to download the sources for UNIX or Windows or pre-built Windows binaries. Freely Distributable Math Library(fdlibm) The definitions of many of the numeric functions in this package require that they produce the same results as certain published algorithms. These algorithms are available from the well-known network library netlib as the package "Freely Distributable Math Library" (fdlibm). These algorithms, which are written in the C programming language, are then to be understood as executed with all floating-point operations following the rules of Java floating-point arithmetic. The PVM-ET package (ICM/KENT) contains enhancement tools (UNIX commands) for using PVM in general and for managing Common-Lisp and MAXIMA tasks together with C/F77 processes in particular. The CL-PVM package (ICM/Kent) consists of a set of Common Lisp functions that interfaces Common Lisp (KCL, AKCL, or GCL) to the C-based library of PVM. CL-PVM also offers a set of tools to help use it effectively with Lisp and MAXIMA tasks. Documentation, on-line manual pages, and examples are also included. The CL-PVM package is also distributed together with GCL at U. Texas at Austin. MathML for MAXIMA, a Common Lisp package for MAXIMA to receive MathML content encoding input or produce MathML content/presentation output. MAXIMA, a general-purpose symbolic computation system available under the Gnu General Public License. Download from Maxima for Symbolic Computation SUI: System Independent User Interface for an Integrated Scientific Computing Environment, Paper in PDF, download sui.tgz. GCL, Gnu Common Lisp (formerly known as AKCL from University of Texas at Austin, USA), can be donwloaded from GNU. Fermat: is a computer algebra system for Macs written by Robert H. Lewis. It is free to all. It excells at matrix and polynomial computations over the rationals (Q), the integers (Z), and finite fields. It also does really cool graphics, but the main thrust is things like Smith Normal Form and GCD of multivariate polynomials. One can form quotient rings of polynomial rings and do computations there. Versions that run as MPW tools can be downloaded. The Free Software Foundation available software and access via FTP, Cambridge, MA USA GRG 3.2 is the computer algebra system designed for the calculations in differential geometry and field theory. KASH, Algebraic Number Theory Software from the TU Berlin, Germany. MATCOM V2 - Matlab compiler to C++ and MAT&ltLIB> - C++ Matrix Math Library. MATCOM creates MEX files and standalone C++ applications which reduces your simulation time and memory requirements, with royalty free distribution. Mathematics Dept. UC Berkeley MATHOMATIC:a symbolic math program that can automatically solve, simplify, and combine algebraic equations, do calculus operations, perform polynomial and complex arithmetic, etc. MathSource FTP site: Library maintained by Wolfram Research of over 700 individual works contributed by Mathematica developers world wide. MathWorks FTP site. Mixed Subdivisions C implementation by I.Z. Emiris of Sturmfels' Lifting algorithm for computing the entire Mixed Subdivision of the Minkowski Sum of n convex polytopes in n dimensions. Includes option to produce output appropriate for visualization with Geomview. See Emiris for the relevant publication(s). Mixed Volume C implementation by I.Z. Emiris and J. Canny of the Lift-Prune algorithm for computing the Mixed Volume of n point sets (or their convex hulls) in n dimensions. The algorithm is based on Sturmfels' Lifting algorithm, with pruning added to make the search computationally efficient. See Emiris for the relevant publication(s). MockMMA is a Common Lisp package and libraries. To the user, this somewhat resembles Mathematica (tm), but has the advantage of being totally open (full source code). One can manipulate polynomials in several variables over the integers, rational functions, and a variety of other mathematical objects. Manipulations include simplification, differentiation, integration, evaluation, pattern matching, etc. The package is avialable in pub/mma_1.5.tar.Z. NCSU Maple Archive NTL: A Library for doing Number Theory. NTL is a high-performance, portable C++ library providing data structures and algorithms for manipulating signed, arbitrary length integers, and for vectors, matrices, and polynomials over the integers and over finite fields. PADE: Parallel Applications Development Environment (version 1.2). Produced at the National Institute of Standards and Technology (NIST). This is a major new version of PADE. Current information on PADE is maintained on the World Wide Web at: http://physics.nist.gov/ResOpp/hpcc/pade.html. Pari-1.39, PARI/GP is a package for efficient number theory computations. PARI also contains a large number of functions useful for Computer Algebra. Polynomial factoring (ppack), ICM Kent State University, USA Master-slave Tasking Library for PVM, ICM Kent State University, USA f77 Code Generation (gentran for MAXIMA) tgz file, ICM Kent State University, USA Scilab Software Package SIGSAM FTP Archive Singular Package: Singular is a computer algebra system for singularity theory and algebraic geometry developed by G.-M. Greuel, G. Pfister, H.Schoenemann, and others, at the Department of Mathematics of the University of Kaiserslautern. Singular can compute with ideals and modules generated by polynomials or polynomial vectors over polynomial or power series rings or, more generally, over the localization of a polynomial ring with respect to any ordering on the set of monomials which is compatible with the semigroup structure. Singular is avaiblable via anonymous ftp. Precompiled versions of Singular are available for SUN Sparc 2(SUNOS 4.1), SUN Sparc 10 (SUNOS 5.3), HP9000/300, HP9000/700, Linux, Silicon Graphics, IBM RS/6000, Next (m68k based), MSDOS, and Macintosh. Sparse Resultant Maple implementation by J. Canny and P. Pedersen of the greedy subdivision-based algorithm for constructing sparse (or Newton) resultants. See Emiris for the relevant publication(s). SymbMath Symbolic Algebra in Lisp. This is a powerful system, written in less than 50Kb of source code. You can find it in the artificial intelligence repository, at: ftp.cs.cmu.edu/user/ai/alg.zip. It has been tested on XLISP-PLUS 3.0, so there should be no problem running it with other Lisp systems. Please, send any comments, bug reports, etc... to: lsarasua@epo.e-mail.com. Waterloo Maple Software anonymous ftp site