Search Results for "mathematical"
Refine Search
Quick Links
Search Results
Found 10 results for "mathematical"
Mathematical LaTeX Helper
Mathematical LaTeX Helper is a software tool that assists users with writing mathematical formulas and …
Isabelle
Isabelle is an interactive theorem prover and proof assistant tool used for formalizing mathematical proofs …
Octiive
Octave is an open-source mathematical programming language and interpreter similar to MATLAB. It is useful …
SymbolicC++
SymbolicC++ is an open-source software that allows users to write programs using mathematical notation similar …
LINDO
LINDO is optimization software used for linear, nonlinear, and integer programming. It allows users to …
GAMS
GAMS (General Algebraic Modeling System) is an advanced programming language designed for mathematical programming and …
Wolfram SystemModeler
Wolfram SystemModeler is a modeling and simulation software that allows users to create mathematical models …
Stylus CSS
Stylus CSS is an open-source CSS preprocessor that adds features like variables, mixins, nesting, inheritance, …
Hadur
Hadur is an open-source alternative to Matlab and R. It is designed for data visualization, …
Xaos
Xaos is a free, open-source fractal zooming application for Windows, Linux and macOS. It allows …