• MACSYMA

  • Referenced in 681 articles [sw01209]
  • general purpose symbolic-numerical-graphical mathematics software product. Computer algebra system...
  • BLAS

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

  • Referenced in 276 articles [sw04203]
  • free and multi-platform dynamic mathematics software for all levels of education that joins geometry...
  • Magma

  • Referenced in 1972 articles [sw00540]
  • Magma is a large, well-supported 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 205 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 965 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 249 articles [sw12710]
  • MATLAB ODE suite. The paper presents mathematical and software developments that are the basis...
  • NewtonLib

  • Referenced in 221 articles [sw04796]
  • Numerical Mathematics - NewtonLib. Software repository for Peter Deuflhards Book ”Newton Methods for Nonlinear Problems -- Affine...
  • Isabelle/HOL

  • Referenced in 646 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 212 articles [sw04858]
  • world’s leading software for teaching mathematics. Sketchpad® gives students at all levels—from third...
  • SciPy

  • Referenced in 137 articles [sw06293]
  • pronounced ”Sigh Pie”) is open-source software for mathematics, science, and engineering. It is also...
  • Isabelle

  • Referenced in 438 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 167 articles [sw04834]
  • FICO Xpress is the premier mathematical modeling and optimization software suite in the world, with...
  • SparseMatrix

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

  • Referenced in 105 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 1107 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 271 articles [sw06239]
  • software, the Optimization routines are highly flexible – callable from various mathematical packages, including MATLAB...
  • ITPACK

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

  • Referenced in 385 articles [sw04808]
  • OPTimizer, pronounced eye-pea-Opt) is a software package for large-scale ​nonlinear optimization ... designed to find (local) solutions of mathematical optimization problems of the from...
  • FEATFLOW

  • Referenced in 132 articles [sw04254]
  • that aims to develop software which realizes our new mathematical and algorithmical ideas in combination...