SitNGo Wizard
SitNGo Wizard (sometimes referred to as SNG Wizard) is a poker tool software program to aid online poker players in determining their optimal betting actions during the late stages of Sit and go poker
Starmad
STARMAD (space tool for advanced and rapid mission analysis and design) deals with the latest trend in the space industry is towards space missions, spacecraft, systems and products, which require qui
Graphmatica
Graphmatica is a graphing program created by Keith Hertzer, a graduate of the University of California, Berkeley. It runs on Microsoft Windows (all versions), Mac OS X 10.5 and higher, and iOS 5.0 and
Polymake
Polymake is software for the algorithmic treatment of convex polyhedra. Albeit primarily a tool to study the combinatorics and the geometry of convex polytopes and polyhedra, it is by now also capable
Graffiti (program)
Graffiti is a computer program which makes conjectures in various subfields of mathematics (particularly graph theory) and chemistry, but can be adapted to other fields. It was written by Siemion Fajt
Microsoft Math Solver
Microsoft Math Solver (formerly Microsoft Mathematics and Microsoft Math) is an entry-level educational app that solves math and science problems. Developed and maintained by Microsoft, it is primaril
Regina (program)
Regina is a suite of mathematical software for 3-manifold topologists. It focuses upon the study of 3-manifold triangulations and includes support for normal surfaces and angle structures.
General Mission Analysis Tool
General Mission Analysis Tool (GMAT) is open-source space mission analysis software developed by NASA and private industry. It has been used for several missions, including LCROSS, the Lunar Reconnais
Calculator (Apple)
Calculator is a basic calculator application made by Apple Inc. and bundled with its macOS, iOS, and watchOS operating systems. It has three modes: basic, scientific, and programmer. The basic mode in
GoldSim
GoldSim is dynamic, probabilistic simulation software developed by GoldSim Technology Group. This general-purpose simulator is a hybrid of several simulation approaches, combining an extension of syst
Prime95
Prime95, also distributed as the command-line utility mprime for FreeBSD and Linux, is a freeware application written by George Woltman. It is the official client of the Great Internet Mersenne Prime
Windows Calculator
Windows Calculator is a software calculator developed by Microsoft and included in Windows. In its Windows 10 incarnation it has four modes: standard, scientific, programmer, and a graphing mode. The
NPSOL
NPSOL is a software package that performs numerical optimization. It solves nonlinear constrained problems using the sequential quadratic programming algorithm. It was written in Fortran by Philip Gil
Mathematical software
Mathematical software is software used to model, analyze or calculate numeric, symbolic or geometric data.
DOT (graph description language)
DOT is a graph description language. DOT graphs are typically files with the filename extension gv or dot. The extension gv is preferred, to avoid confusion with the extension dot used by versions of
GPOPS-II
GPOPS-II (pronounced "GPOPS 2") is a general-purpose MATLAB software for solving continuous optimal control problems using hp-adaptive Gaussian quadrature collocation and sparse nonlinear programming.
Vensim
Vensim is a simulation software developed by Ventana Systems. It primarily supports continuous simulation (system dynamics), with some discrete event and agent-based modelling capabilities. It is avai
WIRIS
WIRIS is a company, legally registered as Maths for More, providing a set of proprietary HTML-based JavaScript tools which can author and edit mathematical formulas, execute mathematical problems and
Mwrank
mwrank is one in a suite of programs for computing elliptic curves over rational numbers. Other programs in the suite compute conductors, torsion subgroups, isogenous and quadratic twists of curves. m
FORM (symbolic manipulation system)
FORM is a symbolic manipulation system. It reads text files containing definitions of mathematical expressions as well as statements that tell it how to manipulate these expressions. Its original auth
WORHP
WORHP (/wɔːrp/ "warp", an acronym for "We Optimize Really Huge Problems"), also referred to as eNLP (European NLP solver) by ESA, is a mathematical software library for numerically solving large scale
DataScene
DataScene is a scientific graphing, animation, data analysis, and real-time data monitoring software package. It was developed with the Common Language Infrastructure technology and the GDI+ graphics
MathMagic
MathMagic is a mathematical WYSIWYG equation editor, available for Windows, macOS, Android and iOS since its debut in 1998. MathMagic is known for its DTP quality equations and is widely used by Adobe
CoCalc
CoCalc (formerly called SageMathCloud) is a web-based cloud computing (SaaS) and course management platform for computational mathematics. Part of the Sage project, it supports editing of Sage workshe
MADNESS
MADNESS (Multiresolution Adaptive Numerical Environment for Scientific Simulation)is a high-level software environment for the solution of integral and differential equations in many dimensions using
Maple (software)
Maple is a symbolic and numeric computing environment as well as a multi-paradigm programming language. It covers several areas of technical computing, such as symbolic mathematics, numerical analysis
Speakeasy (computational environment)
Speakeasy was a numerical computing interactive environment also featuring an interpreted programming language. It was initially developed for internal use at the Physics Division of Argonne National
Sage Manifolds
SageManifolds (following styling of SageMath) is an extension fully integrated into SageMath, to be used as a package for differential geometry and tensor calculus. The official page for the project i
ILNumerics
ILNumerics is a mathematical class library for Common Language Infrastructure (CLI) developers and a domain specific language (DSL) for the implementation of numerical algorithms on the .NET platform.
ASTOS
ASTOS is a tool dedicated to mission analysis, Trajectory optimization, vehicle design and simulation for space scenarios, i.e. launch, re-entry missions, orbit transfers, Earth observation, navigatio
Guide to Available Mathematical Software
The Guide to Available Mathematical Software (GAMS) is a project of the National Institute of Standards and Technology to classify mathematical software by the type of problem that it solves. GAMS bec
Photomath
Photomath is a mobile computer algebra system with an augmented optical character recognition system designed for use with a smartphone's camera to scan and recognize mathematical equations; the app t
Berkeley Madonna
Berkeley Madonna is a mathematical modelling software package, developed at the University of California at Berkeley by and George Oster. It numerically solves ordinary differential equations and diff
Wolfram Mathematica
Wolfram Mathematica is a software system with built-in libraries for several areas of technical computing that allow machine learning, statistics, symbolic computation, data manipulation, network anal
TRACE (computer program)
TRACE is a high-precision orbit determination and orbit propagation program. It was developed by The Aerospace Corporation in El Segundo, California. An early version ran on the IBM 7090 computer in 1
Wolfram Research
Wolfram Research, Inc. (/ˈwʊlfrəm/ WUUL-frəm) is an American multinational company that creates computational technology. Wolfram's flagship product is the technical computing program Wolfram Mathemat
F(g) Scholar
f(g) Scholar also known as fg Scholar was a graphing, spreadsheet, and calculator software package published by Future Graph, Inc. The software received a number of awards as well as extensive press c
NLPQLP
The Fortran subroutine NLPQLP, a newer version of NLPQL, solves smooth nonlinear programming problemsby a sequential quadratic programming (SQP) algorithm. The new version is specificallytuned to run
COGO
COGO is a suite of programs used in civil engineering for solving coordinate geometry problems. COGO was originally a subsystem of MIT's Integrated Civil Engineering System (ICES), developed in the 19
Erable
Erable is a computer algebra system (CAS) for a family of Hewlett-Packard graphing scientific calculators of the HP 40, 48 and HP 49/50 series.
SageMath
SageMath (previously Sage or SAGE, "System for Algebra and Geometry Experimentation") is a computer algebra system (CAS) with features covering many aspects of mathematics, including algebra, combinat
Chebfun
Chebfun is a free/open-source software system written in MATLAB for numerical computation with functions of a real variable. It is based on the idea of overloading MATLAB's commands for vectors and ma
GEUP
GEUP is a commercial interactive geometry software program, similar to Cabri Geometry. Originally using the Spanish language, it was programmed by RamónAlvarez Galván. Recent versions include support
FreeFlyer
FreeFlyer is a commercial off-the-shelf software application for satellite mission analysis, design and operations. FreeFlyer's architecture centers on its native scripting language, known as FreeForm
SequenceL
SequenceL is a general purpose functional programming language and auto-parallelizing (Parallel computing) compiler and tool set, whose primary design objectives are performance on multi-core processo
Surface Evolver
Surface Evolver is an interactive program for the study of surfaces shaped by surface tension and other energies, and subject to various constraints. A surface is implemented as a simplicial complex.
Systems Tool Kit
Systems Tool Kit (formerly Satellite Tool Kit), often referred to by its initials STK, is a multi-physics software application from Analytical Graphics, Inc. (an Ansys company) that enables engineers
METIS
METIS is a software package for graph partitioning that implements various multilevel algorithms. METIS' multilevel approach has three phases and comes with several algorithms for each phase: 1.
* Co