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

Maple
 Referenced in 4896 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 2716 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 2019 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...

Coq
 Referenced in 1748 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...

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

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

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

Isabelle/HOL
 Referenced in 921 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 878 articles
[sw04586]
 develop the reader’s intuition and mathematical skills required for a comprehensive understanding of kernel...

Isabelle
 Referenced in 594 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...

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

Gurobi
 Referenced in 448 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...

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

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

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

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

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

Ox
 Referenced in 443 articles
[sw09501]
 oriented matrix programming language with a comprehensive mathematical and statistical function library. Matrices...

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