Open Source Mathematics Software - Page 2
Sort By:
Mathematics Software
View 201 business solutions-
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
1
GLPK for Windows
Windows binaries for the GNU Linear Programming Kit (GLPK)
GLPK 4.65 (GNU Linear Programming Kit, http://www.gnu.org/software/glpk/) is a solver for large-scale linear programming (LP), and mixed integer programming (MIP). This project supplies the most recent Windows executables - 2018-03-17. Linux and OSX users should download the source distribution from http://ftp.gnu.org/gnu/glpk -
2
R portable configures R to work with the PortableApps framework, so that R can be ran from a thumb drive or portable hard drive without leaving artifacts on the computer.
-
3
SymPy
A computer algebra system written in pure Python
SymPy is an open source Python library for symbolic mathematics. Its goal is to become a full-featured computer algebra system (CAS) while maintaining the simplicity of its code. Written entirely in Python, SymPy is easy to use, comprehensible and easily extensible. It’s also very lightweight as it solely depends on mpmath, a pure Python library for arbitrary floating point arithmetic. SymPy has participated in every Google Summer of Code since 2007 and because of this has continuously improved. A lot more people have also contributed to it, and used it in their projects. Beyond being an interactive tool, it can be embedded in other apps and extended with custom functions. -
4
CRC RevEng
Arbitrary-precision CRC calculator and algorithm finder
CRC RevEng is a portable, arbitrary-precision CRC calculator and algorithm finder. It calculates CRCs using any of the 113 preset algorithms, or a user-specified algorithm to any width. It calculates reversed CRCs to give the bit pattern that produces a desired forward CRC. CRC RevEng also reverse-engineers any CRC algorithm from sufficient correctly formatted message-CRC pairs and optional known parameters. It comprises powerful input interpretation options. Compliant with Ross Williams' Rocksoft(tm) model of parametrised CRC algorithms. -
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
5
Minsky
System dynamics program with additional features for economics
Minsky brings system dynamics and monetary modelling to economics. Models are defined using flowcharts on a drawing canvas (as are Matlab's Simulink, Vensim, Stella, etc). Minsky's unique feature is the "Godley Table", which uses double entry bookkeeping to generate stock-flow consistent models of financial flows. Minsky is good for demonstrating mathematics too, with the most "math-like" interface in system dynamics. Sign up to Minsky's Patreon page (for as little as $1 a month) at https://www.patreon.com/Ravelation/. This creates a user community, which SourceForge doesn't facilitate. -
6
JMulTi is an interactive software designed for univariate and multivariate time series analysis. It has a Java graphical user interface that uses an external engine for statistical computations. It uses the framework JStatCom.
-
7
SOFA is a statistics, analysis, and reporting program with an emphasis on ease of use, learn as you go, and beautiful output.
-
8
A Mathematics Equation Editor. Lets you type in equations, which can be added to documents, emails, and webpages or simply exported to picture files. It features a simple graphical interface, equation list management, MathML support, and the unique feature "Mathcasting" for adding math to XHTML.
-
9
Agena
Agena is an interpreted procedural programming language.
Agena is an easy-to-learn procedural programming language designed for science, scripting, and many other applications. Binaries are available for Windows, Linux, Solaris, OS/2, Mac OS X, Raspberry Pi and DOS. -
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
10
JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.
-
11
Arabeyes
A project to increase free Arabic fonts on Unix/Linux
Arabeyes is a Meta project that is aimed at fully supporting the Arabic language in the Unix/Linux environment. It is designed to be a central location to standardize the Arabization process. Arabeyes relies on voluntary contributions. -
12
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
AlphaGeometry, developed by Google DeepMind, is a theorem-proving system that combines symbolic reasoning with deep learning to solve challenging geometry problems, such as those found in mathematical Olympiads. The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” AlphaGeometry integrates a symbolic deduction engine with a transformer-based language model to propose and validate geometric constructions in a stepwise proof process. The DDAR solver focuses purely on rule-based reasoning, while AlphaGeometry enhances this by using a learned model to suggest auxiliary constructions when logical reasoning alone is insufficient. The repository includes pre-trained weights, vocabulary files, and detailed configuration options for reproducing experiments. -
13
IT++ is a C++ library of mathematical, signal processing and communication classes and functions. Its main use is in simulation of communication systems and for performing research in the area of communications.
-
14
MathJax
Beautiful and accessible math in all browsers
A JavaScript display engine for mathematics that works in all browsers. No more setup for readers. It just works. MathJax provides tools to transform your content from traditional print sources into modern, accessible web content and ePubs. The MathJax team is available to train your staff in using our resources for preparing online teaching material and creating accessible STEM content. MathJax is highly flexible and can be tailored to the needs of your institution by creating customized configurations and specialized software workflows. MathJax uses CSS with web fonts or SVG, instead of bitmap images or Flash, so equations scale with surrounding text at all zoom levels. MathJax is highly modular on input and output. Use MathML, TeX, and ASCIImath as input and produce HTML+CSS, SVG, or MathML as output. MathJax works with screenreaders & provides expression zoom and interactive exploration. You also can copy equations into Office, LaTeX, wikis, and other software. -
15
Practically Random
statistical tests & psuedo- random number generators (RNGs, PRNGs)
Randon number generation & testing. The best suite of statistical tests for fast PRNGs anywhere. Multithreaded for speed, command line tools for automation, no upper limit on data size. Also, a variety of C++ pseudo-random number generators with well designed interfaces aimed at practical uses, not just research. -
16
Precise Calculator has arbitrary precision and can calculate with complex numbers, fractions, vectors and matrices. Has more than 150 mathematical functions and statistical functions and is programmable (if, goto, print, return, for).
-
17
Msieve is a C library implementing a suite of algorithms to factor large integers. It contains an implementation of the SIQS and GNFS algorithms; the latter has helped complete some of the largest public factorizations known
-
18
Lenia
Lenia - Mathematical Life Forms
Lenia is a 2D cellular automaton with continuous space, time, and states. It produces a huge variety of interesting life forms. There are various versions available. Python, Matlab, and web (JavaScript) versions are real-time, interactive, and equipped with statistics tools. Jupyter and R versions are non-interactive and just for demonstration purposes. -
19
S-GeMS is a software for 3D geostatistical modeling. It implements many of the classical geostatistics algorithms, as well as new developments made at Stanford University. See http://sgems.sourceforge.net
-
20
ATLAS (Automatically Tuned Linear Algebra Software) provides highly optimized Linear Algebra kernels for arbitrary cache-based architectures. ATLAS provides ANSI C and Fortran77 interfaces for the entire BLAS API, and a small portion of the LAPACK AP
-
21
NumeRe
Framework for numerical computations, data analysis and visualisation
Curve fitting | Data analysis | Plotting | Matrix operations | FFT | Extensible framework | Multiple file formats | Programmable | Open source | Free for everyone NumeRe: Framework for Numerical Computation is a numerical framework written for Microsoft Windows(R) and released under the GNU GPL v3 for solving and visualizing mathematical and physical problems numerically. Keep simple things simple: You want to plot a sine function? Just enter 'plot sin(x)'. You want to load some data? Enter 'load "path/to/your/file"' or drag the file into the terminal. You need to fit a function to the data? Enter 'fit data() -with=YOURFUNCTION(x)' Need assistance? Enter 'help topic' into the terminal or simply press [F1]. Find us on Discord: https://discord.gg/s5tSjwU Follow us on Mastodon: https://fosstodon.org/@numeredevs Visit our page: https://www.numere.org Buy us a coffee: https://ko-fi.com/numere We've moved to GitHub: https://github.com/numere-org -
22
System Stability Tester is a multi platform open source clone of SuperPI and comes with a GUI and a CLI. It can be used for CPU and RAM burning, stressing and benchmarking.
-
23
This emulator is capable of providing a faithful replication of the HP48. It also has a debugger for the saturn processor.
-
24
Linear Program Solver
Solve linear programming problems
Linear Program Solver (LiPS) is an optimization package oriented on solving linear, integer and goal programming problems. The main features of LiPS are: ● LiPS is based on the efficient implementation of the modified simplex method that solves large scale problems. ● LiPS provides not just an answer, but a detailed solution process as a sequence of simplex tables, so you can use it for studying/teaching linear programming. ● LiPS gives sensitivity analysis procedures, which allow us to study the behaviour of the model when you change its parameters, including: analysis of changes in the right sides of constraints, analysis of changes in the coefficients of the objective function, analysis of changes in the column/row of the technology matrix. Such information may be extremely useful for the practical application of LP Models. ● LiPS provides methods of goal programming, including lexicographic and weighted GP methods, which are oriented on multi-objective optimisation. -
25
Java Universal Network/Graph Framework
Java graph/network library
JUNG provides a common and extendible language for the modeling, analysis, and visualization of data that can be represented as a graph or network. New version now available on GitHub: https://github.com/jrtom/jung/releases/tag/jung-2.1
