# Mathematics : Software

From bitrary

## Contents

# 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

- FDR
- Isabelle
- The Maude System
- MetiTarski Theorem Prover
- Mizar
- Coq Proof Assistant
- Egal and Satallax by Chad E. Brown
- LEGO Proof Assistant
- LEO-II higher-order theorem prover
- Proof General is a wrapper to proof assistants.
- TLA
*(Temporal Logic of Actions)* - TPS
*(Theorem Proving System)* - Why3
- SPASS is an Automated Theorem Prover for First-Order Logic with Equality
- Verit solver

### General Math Proof Assistants

- helm, Hypertextual Electronic Library of Mathematics
- IMPS (An Interactive Mathematical Proof System)
- MathScheme
- The QED Project

# 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

- Google TensorFlow
- Weka

# Optimization