• R

  • Referenced in 7603 articles [sw00771]
  • publication-quality 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 symbolic-numerical-graphical 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 first-derivative...
  • 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...