Mathematics : Software

From bitrary
Jump to: navigation, search

Mathematics


General Applications

  • AXIOM
  • GAP
  • OpenModelica
  • Scilab requires the precise and knowledgeable use of its not-so-obvious stdlib or the speed of execution will seriously suffer. One of the Scilab forks is called ScicosLab.
  • GNU Octave is a reliable option for projects that can tolerate the rounding errors that are inherent to the CPU supported floating numbers.
  • GNU R (Statistician love it, but its programming language implementation is crappy, so it is not recommended for anything extensive.)
  • SAGE is a unifying wrapper to a myriad of specialized projects.
  • REDUCE offers excellent symbolic calculations, has its mathematics implemented in its own dialect of Lisp and comes with its own Lisp interpreter. Supposedly it includes Redlog, which is part of the VeriDis research project.
  • FreeMat
  • YACAS offers symbolic calculations.


Algebra Focused Software


Logic and Alike


General Math Proof Assistants

Libraries

Unclassified

  • CVXR is a Matlab-based convex modeling framework.


Software Lists

Algebra

C++ Libraries


Generic



Differential Equations

  • overtureframework.org
  • freefem.org FreeFem++ is a partial differential equation solver based on a flexible language that allows a large number of problems to be expressed (elasticity, fluids, etc) with different finite element approximations on different meshes.

Image Processing

Classification


Optimization


Statistics

Other Package Lists