0-List_of_Math_SW Mathematical Softwares on the Web : Complied by AMS

Commercial:

AMISS 없음

Public-Src:

Maple Maple is the essential technical computing software for today’s engineers, mathematicians, and scientists. Whether you need to do quick calculations, develop design sheets, teach fundamental concepts, or produce sophisticated high-fidelity simulation models, Maple’s world-leading computation engine offers the breadth and depth to handle every type of mathematics.

Public-Src:

Mathcad Mathcad is computer software primarily intended for the verification, validation, documentation and re-use of engineering calculations.

Commercial:

Mathematica Mathematica is a computational software program used in scientific, engineering, and mathematical fields and other areas of technical computing. It was originally conceived by Stephen Wolfram and is developed by Wolfram Research of Champaign, Illinois

Public-Src:

Matlab MATlix-LABoratory from MathWorks

Commercial:

O-MATRIX O-Matrix is a high-level language and integrated environment for analyzing data, modeling, creating simulations, visualizing and plotting results, and building turnkey scientific and engineering computing solutions. The O-Matrix matrix language includes a broad range of mathematical, statistical, engineering, plotting, and user-interface building functions for solving a broad range of engineering, scientific, and technical computing problems.

Public-Src:

SAGE software that can be used to explore and experiment with mathematical constructions in algebra, geometry, number theory, calculus, numerical computation, etc. Sage helps make it easier to interactively experiment with mathematical objects.

Public-Src:

Document

Misc

Text Editors for Programmers Programmer를 위한 Free Editor List

Public-Src:

GAMS Class:A - Arithmetic, error analysis

GAMS Class:B - Number theory (Computational Algebra)

ARIBAS ARIBAS is an interactive interpreter for big integer arithmetic and multi-precision floating point arithmetic ( gcd, Jacobi symbol, Rabin probabilistic prime test, factorization algorithms, etc.).

Public-Src:

CBraid A C++ library for computations in braid groups; also used for graid cryptography

Public-Src:

Factorizer Factorizer is a Windows program to find factors of numbers up to 2,147,483,646 and to find primes, pairs of primes and Palmen colors of numbers.

Commercial: A trial version of the Factorizer software can be downloaded from this website.

GAP GAP (Groups, Algorithms, Programming-a System for Computational Discrete Algebra)

Public-Src:

KANT KANT is a software package for mathematicians interested in algebraic number theory. For those KANT is a tool for sophisticated computations in number fields, in global function fields, and in local fields.

Public-Src: KASH is freely available. You can pick up the current release of KASH using ftp. You can download the documentation for KASH separately.

LiDIA LiDIA is a C++ library for computational number theory which provides a collection of highly optimized implementations of various multiprecision data types and time-intensive algorithms. LiDIA is developed by the LiDIA Group at the Darmstadt University of Technology.

Public-Src: LiDIA is free for non-commercial purposes

MAGMA large, well-supported software package designed to solve computationally hard problems in algebra, number theory, geometry and combinatorics.

Public-Src: 관심있는 사람 :para

MIRACL full support for Elliptic Curve Cryptography (ECC) over the prime field GF(p), and the field GF(2m), including four programs for point-counting.

Public-Src: 관심있는 사람: para, sungeun

NTL 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.

Public-Src:

NZMATH NZMATH is a Python based number theory oriented calculation system.

Public-Src:

PARI/GP computer algebra system designed for fast computations in number theory also contains a large number of other useful functions to compute with mathematical entities such as matrices, polynomials, power series, algebraic numbers etc., and a lot of transcendental functions. PARI is also available as a C library to allow for faster computations.

Public-Src:

SINGULAR Computer Algebra System for polynomial computations with special emphasis on the needs of commutative algebra, algebraic geometry, and singularity theory

Public-Src: para

ZEN A toolbox for fast computation in finite extension over finite rings.

Public-Src:

GAMS Class:C - Elementary and special functions

GAMS Class:D - Linear Algebra

ARPACK ARPACK, the ARnoldi PACKage, is a collection of Fortran77 subroutines designed to compute a few eigenvalues and corresponding igenvectors of a general n by n matrix A.

Public-Src: ftp://ftp.caam.rice.edu/pub/people/sorensen/ARPACK/

BLAS Basic Linear Algebra Subproblems (to perform basic linear algebra operations such as vector and matrix multiplication)

Public-Src:

LAPACK (Linear Algebra PACKage) : for solving systems of linear equations and linear least squares, eigenvalue problems, and singular value decomposition.

Public-Src:

Winmat Winmat allows the user to calculate and edit matrices, and solve standard linear algebra problems. The program operates in real, complex, and integer mode.

Public-Src: Windows 95/98/ME/2K/XP/Vista

GAMS Class:E - Interpolation

GAMS Class:F - Solution of nonlinear equations

GAMS Class:G - Optimization

AIMMS software by a number of advanced modeling concepts solvers for all major mathematical programming types (such as linear programming, mixed integer programming, and nonlinear programming)

Commercial: student license is available

AMISS 없음

Public-Src:

cplex optimization package for solution of linear, mixed-integer, quadratic programming problems algorithm types : LP-simplex, dual simplex, Network, MILP-Branch and bound

Commercial: Student version is available

GGPLAB A Simple Matlab Toolbox for Geometric Programming

Public-Src:

lpsolve sources to the Mixed Integer Linear Program solver by using simplex, MILP-branch and bound algorithm

Public-Src: written in strict ANSI C

Maximal software software for developing and formulating models in the field of optimization Maximal Software is the developer of MPL (Mathematical Programming Language), an advanced modeling system that allows the model developer to formulate complicated optimization models in a clear, concise, and efficient way

Commercial: free student versions available

Multisimplex MultiSimplex® is a sophisticated implementation of the simplex optimization method. Through pull-down menus the user has full control over the simplex optimization process. The parameters of the simplex search can be set through menus and the basic simplex or a modified simplex search can be set. Adjustable coefficients for simplex contraction, expansion and reflection and automated checking with a re-evaluation rule make the optimization very flexible and well suited to dealing with real data containing noise.

Public-Src:

QSDP a MATLAB software for convex quadratic semidefinite programming

Public-Src:

SDPA Solves semidefinite programs utilizing a Mehrotra-type predictor-corrector step, uses sparse matrix structure, includes documentation (C++), Matlab and MPI parallel versions

Public-Src:

SDPpack solver for semidefinite-quadratic-linear programming (SQLP) which are generalizations of Liner Programming to the space of block diagonal, symmetric, positive semidefinite matrices.

Public-Src:

SeDuMi Software for solving convex optimization problems

Public-Src:

SFSDP SFSDP is a Matlab package for solving sensor network localization problems.

Public-Src:

SolvOpt The program SolvOpt (Solver for local optimization problems) is concerned with minimization or maximization of nonlinear, possibly non-smooth objective functions and solution of nonlinear minimization problems taking into account constraints by the method of exact penalization

Public-Src: matlab,c,fortran

SparsePOP Sparse SDP Relaxation of Polynomial Optimization Problems (Matlab)

Public-Src:

GAMS Class:H - Differentiation, integration

GAMS Class:I - Differential and integral equations (Multi-Physics Simulation)

ANSYS Multi-physic simulation tools based on FEM, FVM from ANSYS Inc.

Commercial:

Fluent A general-purpose CFD code based on the finite volume method on a collocated grid by ANSYS.

Commercial:

Iode Iode is a tool to help Illustration differential equations

Public-Src:

MapleSim MapleSim is a high-performance multi-domain modeling and simulation tool that will revolutionize how you bring new products to market. In MapleSim, the world's most advanced symbolic computing engine comes together with traditional numeric solvers to supercharge the simulation and modeling process.

Public-Src:

OpenFOAM OpenFOAM (Open Field Operation and Manipulation) is primarily a C++ toolbox for the customisation and extension of numerical solvers for continuum mechanics problems, including computational fluid dynamics (CFD).

Src+Binary: Developed and Complied under Linux

GAMS Class:J - Integral transforms

GAMS Class:K - Approximation

WAVELAB 850 WaveLab is a collection of Matlab functions that have been used by the authors and collaborators to implement a variety of algorithms related to wavelet analysis

Public-Src:

Wavelet software a series of Mathematica programs designed to display the features and properties of various types of wavelets. There are also PostScript files documenting the programs as well as some additional documents about wavelets.

Public-Src:

GAMS Class:L - Statistics, probability

Analyse-it For researchers in enviromental & life sciences, engineering, manufacturing and education. Statistics add-in software to extend Excel so you can explore your data and uncover hidden trends, changes & differences to make valid, informed business & research decisions.

Public-Src:

DataFit DataFit is a science and engineering tool that simplifies the tasks of data plotting, regression analysis (curve fitting) and statistical analysis.

Public-Src: Download a free fully featured 30 day evaluation ..Seungmin.Oh.

Minitab Minitab is often used in conjunction with the implementation of Six Sigma, CMMI and other statistics-based process improvement methods.

Src+Binary:

PASW (SPSS before 2009) It is used by market researchers, health researchers, survey companies, government, education researchers, marketing organizations and others. Statistical analysis, data management (case selection, file reshaping, creating derived data) and data documentation (a metadata dictionary is stored in the datafile) are features of the base software

Public-Src:

R (GNU S) R is a language and environment for statistical computing and graphics. It is a GNU project which is similar to the S language and environment which was developed at Bell Laboratories (formerly AT&T, now Lucent Technologies) by John Chambers and colleagues. R can be considered as a different implementation of S.

Public-Src: 가능한 O/S: Unix, Windows, MacOS ..Sungmin.Oh, rudal0420

S-PLUS Statistical analysis software for PCs and UNIX workstations

Commercial:

SAS SAS is driven by SAS programs that define a sequence of operations to be performed on data stored as tables. Although non-programmer graphical user interfaces to SAS exist (such as the SAS Enterprise Guide), most of the time these GUIs are just a front-end to automate or facilitate generation of SAS programs. SAS components expose their functionalities via application programming interfaces, in the form of statements and procedures.

Commercial:

SSTAT statistical calculations on signals, including summation, consecutive signals, frequency, bars since last signal, change since last signal, and more

Public-Src:

Winstats Winstats provides access to scatter plots, curve fitting, histograms, statistical data, and standard theoretical probability distributions. It performs many statistical tests and calculates confidence intervals. It simulates dealing cards, rolling dice, sampling candy, taking random walks, and tossing darts, needles and coins. There are two least-squares demos and a confidence-interval demo.

Public-Src: Also there is the Korean version for Windows 95/98/ME/2K/XP/Vista (668K)

GAMS Class:M - Simulation, stochastic modeling

Infinity Infinity is an innovative non-linear math application that allows you use complex mathematical expressions within equations to describe the problem which requires solution. Once the model is described using the common math language you can see the result immediately.

Public-Src:

MLAB MLAB is an ideal tool for mathematical and statistical exploration, and for solving simulation and modeling problems such as chemical kinetics, pharmacological compartmental models, multiple site ligand binding, neurophysiological modeling, and ultracentrifuge models, to name just a few. MLAB is especially designed to handle differential equation models.

Public-Src:

GAMS Class:N - Data handling

GAMS Class:O - Symbolic computation

derive Derive was a computer algebra system, developed as a successor to muMATH by the Soft Warehouse in Honolulu, Hawaii, now owned by Texas Instruments.

Public-Src:

MAXIMA Maxima is a system for the manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential equations, systems of linear equations, polynomials, and sets, lists, vectors, matrices, and tensors. Maxima yields high precision numeric results by using exact fractions, arbitrary precision integers, and variable precision floating point numbers. Maxima can plot functions and data in two and three dimensions.

Public-Src:

MACSYMA Macsyma is a computer algebra system that was originally developed from 1968 to 1982 at MIT as part of Project MAC and later marketed commercially.

Public-Src:

GAMS Class:P - Computational geometry

Fractint a freeware fractal generator created for IBMPC's and compatible computers.

Public-Src:

Geomview Geomview is an interactive 3D viewing program for Unix. Geomview lets you view and manipulate three-dimensional objects: you use the mouse to rotate, translate, zoom in and out, and so on. Geomview can be used as a standalone viewer for static objects or as a display engine for other programs which produce dynamically changing geometry. Geomview can display objects described in a variety of file formats. Geomview comes with a wide selection of example objects, and you can create your own objects too.

Public-Src:

Kaleido Uniform Polyhedra - Computation and 3D Display. Runs on Unix and various other platforms and the algorithms have been ported to Mathematica.

Public-Src:

GAMS Class:Q - Graphics

3D GRAPHER 3D Grapher is a feature-rich yet easy-to-use data visualization and graph plotting software suitable for students, engineers and everybody who needs to work with 2D and 3D graphs. 3D Grapher is small, fast, flexible, and reliable. The program is very easy to learn - you don't need to read long manuals to figure out how it works, but can just play with 3D Grapher for several minutes and start working. With 3D Grapher you can easily plot high-quality equation and table-based graphs, zoom them, rotate, view at any angle and even animate.

Public-Src:

Advanced Grapher Advanced Grapher is an award-winning graphing software. You can use it to plot graphs of equations, inequalities, and tables. The program also allows you to perform regression analysis (curve fitting) and such calculations as obtaining zeroes and extrema of functions, intersections, numerical integration, and more.

Public-Src:

Geomview Geomview is an interactive 3D viewing program for Unix. Geomview lets you view and manipulate three-dimensional objects: you use the mouse to rotate, translate, zoom in and out, and so on.

Public-Src: Geomview runs on most Unix platforms, including GNU/Linux. Geomview can run under Microsoft Windows using Cygwin. Geomview is free software available under the terms of the GNU Lesser General Public License (GPL).

Grapher An efficient and powerful graphing program for all of your most complex graphing needs. Ideal for scientists, engineers, and business professionals.

Public-Src:

Gnuplot Gnuplot is a portable command-line driven graphing utility for linux, OS/2, MS Windows, OSX, VMS, and many other platforms. The source code is copyrighted but freely distributed.

Public-Src: Gnuplot supports many types of plots in either 2D and 3D. It can draw using lines, points, boxes, contours, vector fields, surfaces, and various associated text. It also supports various specialized plot types.

MathGrapher Draw and analyse Functions and Data in 2D and 3D. Draw surface graphs, contour plots and cross-sections through contour plots. Includes linear and nonlinear curve fitting, integration and analysis of coupled ordinary differential equations, iteration and analysis of multi-dimensional maps, matrix operations, Lindenmayer systems and soms cellalar automata.

Public-Src:

Surf surf is a tool to visualize some real algebraic geometry: plane algebraic curves, algebraic surfaces and hyperplane sections of surfaces. surf is script driven and has (optionally) a nifty GUI using the Gtk widget set. The algorithms should be stable enough not to be confused by curve/surface singularities in codimension greater than one and the degree of the surface or curve. This has been achieved quite a bit. We have drawn curves of degree up to 30 and surfaces of degree up to 20 successfully. However, there are examples of curves/surfaces of lower degree where surf fails to produce perfect images. This happens especially if the equation of the curve/surface is not reduced. Best results are achieved using reduced equations. On the other hand, surf displays the Fermat-curves accurately for degree up to 98. surf is free software distributed under the GNU General Public License (GPL).

Public-Src:

TecPlot Tecplot 360 is a Computational Fluid Dynamics (CFD) and numerical simulation software package used in post-processing simulation results.

Commercial:

The Flat Graph Generator

Public-Src:

GAMS Class:R - Service routines

GAMS Class:S - Software development tools

MATCOM Matlab to C++ compiler

Public-Src:

OPT OPT is a solution for application developers who want to achieve higher performance for their parallel and scalar codes - for C, C++ and Fortran applications.

Public-Src:

GAMS Class:Z - Other

DISCRETA a program to construct t-designs with prescribed automorphism group

Public-Src:

DISCRETAQ A program to construct q-analogs of designs

Public-Src: