
R
 Referenced in 8601 articles
[sw00771]
 publicationquality plots can be produced, including mathematical symbols and formulae where needed. Great care...

Maple
 Referenced in 5124 articles
[sw00545]
 helps you analyze, explore, visualize, and solve mathematical problems. With over 5000 functions, Maple offers ... performance to handle every type of mathematics. Maple’s intuitive interface supports multiple styles...

Magma
 Referenced in 2917 articles
[sw00540]
 geometry and algebraic combinatorics. It provides a mathematically rigorous environment for defining and working with ... computational research in those areas of mathematics which are algebraic in nature. The overview provides ... contributions made by many members of the mathematical community. We encourage all users to report...

DLMF
 Referenced in 2331 articles
[sw04968]
 NIST digital library of mathematical functions. The National Institute of Standards and Technology is preparing ... Digital Library of Mathematical Functions (DLMF) to provide useful data about special functions ... work. The data to be covered include mathematical formulas, graphs, references, methods of computation ... technology of choice for presentation of mathematics in print but it is not well suited...

GAP
 Referenced in 2876 articles
[sw00320]
 overview and the description of the mathematical capabilities. GAP is used in research and teaching...

Coq
 Referenced in 1807 articles
[sw00161]
 provides a formal language to write mathematical definitions, executable algorithms and theorems together with ... certification in industrial context), the formalization of mathematics (e.g. the full formalization ... color theorem or constructive mathematics at Nijmegen) and teaching...

Macaulay2
 Referenced in 1692 articles
[sw00537]
 supporting the creation of new classes of mathematical objects and the installation of methods...

mctoolbox
 Referenced in 1423 articles
[sw04827]
 toolbox: it describes much of the underlying mathematics and many of the algorithms and matrices...

Isabelle/HOL
 Referenced in 964 articles
[sw01569]
 generic proof assistant. It allows mathematical formulas to be expressed in a formal language ... main application is the formalization of mathematical proofs and in particular formal verification, which includes...

KernSmooth
 Referenced in 921 articles
[sw04586]
 develop the reader’s intuition and mathematical skills required for a comprehensive understanding of kernel...

Isabelle
 Referenced in 611 articles
[sw00454]
 generic proof assistant. It allows mathematical formulas to be expressed in a formal language ... main application is the formalization of mathematical proofs and in particular formal verification, which includes...

Gurobi
 Referenced in 530 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming Solver. The Gurobi Optimizer is a state ... solver for mathematical programming. It includes the following solvers: linear programming solver (LP), quadratic programming...

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

Ipopt
 Referenced in 647 articles
[sw04808]
 designed to find (local) solutions of mathematical optimization problems of the from...

SparseMatrix
 Referenced in 638 articles
[sw04629]
 theoretical and quantum chemistry, chemical process simulation, mathematics and statistics, power networks, and other networks...

PARI/GP
 Referenced in 595 articles
[sw00680]
 other useful functions to compute with mathematical entities such as matrices, power series, algebraic...

IMSL Numerical Libraries
 Referenced in 581 articles
[sw04964]
 IMSL Libraries are a comprehensive set of mathematical and statistical functions that programmers can embed...

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

MPI
 Referenced in 500 articles
[sw06496]
 derived based on the inherent mathematical properties of generalized complex numbers that enable firstderivative...

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