
MACSYMA
 Referenced in 686 articles
[sw01209]
 general purpose symbolicnumericalgraphical mathematics software product. Computer algebra system...

BLAS
 Referenced in 446 articles
[sw03216]
 level utilities common to many mathematical software packages. Primarily the Fortran BLAS (Basic Linear Algebra...

GeoGebra
 Referenced in 280 articles
[sw04203]
 free and multiplatform dynamic mathematics software for all levels of education that joins geometry...

Magma
 Referenced in 2143 articles
[sw00540]
 Magma is a large, wellsupported software package designed for computations in algebra, number theory ... geometry and algebraic combinatorics. It provides a mathematically rigorous environment for defining and working with...

MATCONT
 Referenced in 225 articles
[sw00551]
 MATCONT: Matlab software for bifurcation study of dynamical systems. The study ... differential equations requires good and powerful mathematical software. Also, flexibility and extendibility of the package...

DLMF
 Referenced in 1194 articles
[sw04968]
 covered include mathematical formulas, graphs, references, methods of computation, and links to software. Special features ... technology of choice for presentation of mathematics in print but it is not well suited...

MATLAB ODE suite
 Referenced in 272 articles
[sw12710]
 MATLAB ODE suite. The paper presents mathematical and software developments that are the basis...

NewtonLib
 Referenced in 230 articles
[sw04796]
 Numerical Mathematics  NewtonLib. Software repository for Peter Deuflhards Book ”Newton Methods for Nonlinear Problems  Affine...

SciPy
 Referenced in 182 articles
[sw06293]
 pronounced ”Sigh Pie”) is opensource software for mathematics, science, and engineering. It is also...

Isabelle/HOL
 Referenced in 722 articles
[sw01569]
 main application is the formalization of mathematical proofs and in particular formal verification, which includes ... proving the correctness of computer hardware or software and proving properties of computer languages...

Geometer's Sketchpad
 Referenced in 214 articles
[sw04858]
 world’s leading software for teaching mathematics. Sketchpad® gives students at all levels—from third...

Isabelle
 Referenced in 467 articles
[sw00454]
 main application is the formalization of mathematical proofs and in particular formal verification, which includes ... proving the correctness of computer hardware or software and proving properties of computer languages...

XPRESS
 Referenced in 188 articles
[sw04834]
 FICO Xpress is the premier mathematical modeling and optimization software suite in the world, with...

OMDoc
 Referenced in 70 articles
[sw07138]
 communication of mathematical services on a mathematical software...

SparseMatrix
 Referenced in 468 articles
[sw04629]
 simulation, mathematics and statistics, power networks, and other networks and graphs). We provide software...

MatrixMarket
 Referenced in 116 articles
[sw04020]
 describing its properties. Generators are either static software which you can download and include ... Tools for Evaluation of Mathematical and Statistical Software which has focus areas in linear algebra...

Macaulay2
 Referenced in 1214 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting research in algebraic geometry and commutative algebra ... supporting the creation of new classes of mathematical objects and the installation of methods...

nag
 Referenced in 281 articles
[sw06239]
 software, the Optimization routines are highly flexible – callable from various mathematical packages, including MATLAB...

Ipopt
 Referenced in 438 articles
[sw04808]
 OPTimizer, pronounced eyepeaOpt) is a software package for largescale nonlinear optimization ... designed to find (local) solutions of mathematical optimization problems of the from...

ITPACK
 Referenced in 34 articles
[sw00459]
 involves the development of researchoriented mathematical software, based on iterative algorithms, for solving large ... that has contributed to the present mathematical software package. The 2C version of ITPACK...