Software Title Tags

Gurobi Optimizer is a optimization solver for linear programming, quadratic programming, quadratically constrained programming, mixed integer linear programming, mixed-integer quadratic programming, and mixed-integer quadratically constrained programming.      

Thermo-Calc is a software package for thermodynamic calculations such as enthalpies, heat capacity, transformation temperatures and more.

Analyzing data, developing algorithms, or creating models - Altair Compose is designed to bring your ideas forward.

Altair Compose is an environment for doing math calculations, manipulating, and visualizing data, programming, and debugging scripts useful for repeated computations and process automation. Altair Compose allows users to perform a wide variety of math operations including linear algebra and matrix manipulations, statistics, differential equations, signal processing, control systems, polynomial fitting, and optimization.

PTC Mathcad Prime allows you to solve, analyze, document, and share your engineering calculations. You need a comprehensive yet intuitive application that performs accurate calculations, enables traceability, protects intellectual property, and allows you to show your work.

The Open Source linear, integer, and non-linear optimizer for Microsoft Excel.

Produce precise and logical decisions for planning and resource allocation problems using the powerful algorithms of IBM ILOG CPLEX Optimizer. Take advantage of a distributed parallel algorithm for mixed integer programming and flexible, high-performance mathematical programming solvers for linear programming, mixed integer programming and more.

AMPL is a high level algebraic modeling language to work with large optimization models. It is a complete system that supports formulation, testing, deployment and maintenance.

Engineers and scientists use the COMSOL Multiphysics® software to simulate designs, devices, and processes in all fields of engineering, manufacturing, and scientific research. COMSOL Multiphysics® is a simulation platform that provides fully coupled multiphysics and single-physics modeling capabilities.

Artelys Knitro is an optimization software library for finding solutions of both continuous (smooth) optimization models (with or without constraints), as well as discrete optimization models with integer or binary variables (i.e. mixed integer programs). Knitro is primarily designed for finding local optimal solutions of large-scale, continuous nonlinear problems.

Overleaf is an online LaTeX and Rich Text collaborative writing and publishing tool that makes the process of writing, editing and publishing scientific documents quick and easy.

MathType is a powerful interactive equation editor for Windows and Mac that lets you create mathematical notation for word processing, web pages, desktop publishing, presentations, elearning, and for TeX, LaTeX, and MathML documents.

Wolfram Mathematica is a software system with built-in functions for several areas of technical computing that allow machine learning, statistics, symbolic computation, manipulating matrices, plotting functions and various types of data, implementation of algorithms, creation of user interfaces, and interfacing with programs written in other programming languages.

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, data processing, visualization, and others.

Magma is a large, well-supported software package designed for computations in algebra, number theory, algebraic geometry and algebraic combinatorics. It provides a mathematically rigorous environment for defining and working ith structures such as groups, rings, fields, modules, algebras, schemes, curves, graphs, designs, codes and many others. Magma also supports a number of databases designed to aid computational research in those areas of mathematics which are algebraic in nature.

LyX is an open source, graphical user interface document processor based on the LaTeX typesetting system. Unlike most word processors, which follow the WYSIWYG ("what you see is what you get") paradigm, LyX has a WYSIWYM ("what you see is what you mean") approach, where what shows up on the screen roughly depicts the semantic structure of the page and is only an approximation of the document produced by TeX.

Gnuplot is a portable command-line driven graphing utility for Linux, OS/2, MS Windows, OSX, VMS, and many other platforms. The source code is copyrighted but freely distributed (i.e., you don't have to pay for it). It was originally created to allow scientists and students to visualize mathematical functions and data interactively, but has grown to support many non-interactive uses such as web scripting. It is also used as a plotting engine by third-party applications like Octave. Gnuplot has been supported and under active development since 1986. (Despite its name, this software is not part of the GNU Project.)

Amos provides you with powerful and easy-to-use structural equation modeling (SEM) software. Create more realistic models than if you used standard multivariate statistics or multiple regression models alone.