Open Source Python Mathematics Software for Linux
Sort By:
Python Mathematics Software for Linux
View 11 business solutionsBrowse free open source Python Mathematics Software for Linux and projects below. Use the toggles on the left to filter open source Python Mathematics Software for Linux by OS, license, language, programming language, and project status.
-
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
1
SciDAVis is a user-friendly data analysis and visualization program primarily aimed at high-quality plotting of scientific data. It strives to combine an intuitive, easy-to-use graphical user interface with powerful features such as Python scriptability.
-
2
GMAT
General Mission Analysis Tool
The General Mission Analysis Tool (GMAT) is an open-source tool for space mission design and navigation. GMAT is developed by a team of NASA, private industry, and public and private contributors. The GMAT development team is pleased to announce the release of GMAT version R2026a. For a complete list of new features, compatibility changes, and bug fixes, see the R2026a Release Notes in the Users Guide. -
3
Asymptote
2D & 3D TeX-Aware Vector Graphics Language
Asymptote is a powerful descriptive vector graphics language for technical drawing, inspired by MetaPost but with an improved C++-like syntax. Asymptote provides for figures the same high-quality typesetting that LaTeX does for scientific text. -
4
A free, industrial quality library for simulating articulated rigid body dynamics - for example ground vehicles, legged creatures, and moving objects in VR environments. It's fast, flexible & robust. Built-in collision detection.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
5
DWSIM - Open Source Process Simulator
Simulate chemical processes using advanced thermodynamic models
DWSIM is an open source, CAPE-OPEN compliant chemical process simulator for Windows, Linux and macOS systems. Written in VB.NET and C#, DWSIM features a comprehensive set of unit operations, advanced thermodynamic models, support for reacting systems, petroleum characterization tools and a fully-featured graphical interface. DWSIM Pro is a commercial sibling of DWSIM built on top of open-source software. It offers extended features, comes with private support, and is accessible in the cloud. Visit simulate365.com for details. -
6
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. -
7
NAVAL-SEM
Award-winning open-source offline SEM platform for PLS-SEM & CB-SEM
NAVAL-SEM is an award-winning, free and open-source offline Structural Equation Modeling (SEM) platform supporting PLS-SEM and CB-SEM workflows. Designed for researchers, PhD scholars, professors, and analysts, it provides visual model building, measurement assessment, structural model analysis, and reproducible research workflows without subscriptions or cloud dependency. Features include: • PLS-SEM & CB-SEM • Bootstrapping, mediation, moderation & conditional process analysis • HTMT, AVE, Composite Reliability, Cronbach's Alpha, Fornell-Larcker • VIF, f² effect size, indirect effects, Q² blindfolding, PLSpredict, CVPAT • Multi-Group Analysis (MGA), HOC, MICOM • IPMA, NCA, nonlinear effects, FIMIX-PLS, PLS-POS, endogeneity checks • EFA, CVI, measurement validation, fsQCA • APA report generation and R/Python/Lavaan export Fully offline and available for Windows, macOS, and Linux. Recognized with the SourceForge Rising Star Award. -
8
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. -
9
SciPy
SciPy library main repository
This is the main repository for the SciPy library, one of the core packages that make up the SciPy stack. SciPy is an open source software used in the fields of mathematics, science, and engineering, with modules for statistics, optimization, integration, linear algebra, signal and image processing, and many more. The SciPy library contains many of the user-friendly and efficient numerical routines, including those for numerical integration, interpolation, and optimization. SciPy is built to work with NumPy, a software that provides convenient and fast N-dimensional array manipulation. Both SciPy and NumPy run on all popular operating systems, are fast and easy to install, and are powerful yet easy to use. They’re currently depended upon by numerous leading scientists and engineers all over the world. Try them for yourself! -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
10
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. -
11
MAGeCK
Model-based Analysis of Genome-wide CRISPR-Cas9 Knockout
MAGeCK2 is here: https://github.com/davidliwei/mageck2 Model-based Analysis of Genome-wide CRISPR-Cas9 Knockout (MAGeCK) is a computational tool to identify important genes from the recent genome-scale CRISPR-Cas9 knockout screens technology. For instructions and documentations, please refer to the wiki page. MAGeCK is developed by Wei Li and Han Xu from Dr. Xiaole Shirley Liu's lab at Dana-Farber Cancer Institute/Harvard School of Public Health, and is maintained by Wei Li lab at Children's National Medical Center. We thank the support from Claudia Adams Barr Program in Innovative Basic Cancer Research and NIH/NHGRI to develop MAGeCK. -
12
seaborn
Statistical data visualization in Python
Seaborn is a Python data visualization library based on matplotlib. It provides a high-level interface for drawing attractive and informative statistical graphics. Seaborn helps you explore and understand your data. Its plotting functions operate on dataframes and arrays containing whole datasets and internally perform the necessary semantic mapping and statistical aggregation to produce informative plots. Its dataset-oriented, declarative API lets you focus on what the different elements of your plots mean, rather than on the details of how to draw them. Behind the scenes, seaborn uses matplotlib to draw its plots. For interactive work, it’s recommended to use a Jupyter/IPython interface in matplotlib mode, or else you’ll have to call matplotlib.pyplot.show() when you want to see the plot. -
13
LabPlot
Data Visualization and Analysis
LabPlot is a FREE, open source and cross-platform Data Visualization and Analysis software accessible to everyone. -
14
Madagascar is a software package for geophysical data processing and reproducible numerical experiments. The package mission is to provide a convenient environment for researchers working with digital image and data processing in geophysics and related fields.
-
15
SOFA is a statistics, analysis, and reporting program with an emphasis on ease of use, learn as you go, and beautiful output.
-
16
MathCode
A Frontier Mathematical Coding Agent
MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive mathematical engineer than a one-shot text generator. MathCode also includes visualization-oriented tooling such as theorem graph generation for Obsidian knowledge workflows. Its main value is bridging natural-language mathematics with formal verification systems in a way that is more automated, inspectable, and iterative than traditional theorem-proving pipelines. -
17
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. -
18
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. -
19
ASCEND is a modelling environment and solver for large or small systems of non-linear equations, for use in engineering, thermodynamics, chemistry, physics, mathematics and biology. Solvers for both steady and dynamic (NLA & DAE) problems, are provid
-
20
Handcalcs
Python library for converting Python calculations into rendered latex
Handcalcs is a Python library that auto-renders calculation code in Jupyter notebooks or LaTeX documents with step-by-step symbolic substitution, giving output a “handwritten” feel. It supports cell magics and auto-LaTeX generation via configurable output options. -
21
Manim Python
Animation engine for explanatory math videos
Manim is a Python library and animation engine designed for creating precise, programmatic mathematical visuals—famously used by 3Blue1Brown. It enables developers and educators to script animations using code and produce high-quality explanatory math videos. -
22
MCPower
MCPower — simple Monte Carlo power analysis for complex models
MCPower-GUI is a desktop application that provides a graphical interface for the MCPower Monte Carlo power analysis library. It guides users through the full workflow across three tabs: Model setup (formula input with live parsing, CSV data upload with auto-detected variable types, effect size sliders, and correlation editing), Analysis configuration (find power for a given sample size or find the minimum sample size for a target power, with multiple testing correction and scenario analysis), and Results (interactive charts, exportable tables, and auto-generated Python replication scripts). Supports both standard linear models and mixed-effects models. Additional features include analysis history, configurable scenarios, and built-in documentation. -
23
PyMC
Bayesian Modeling and Probabilistic Programming in Python
PyMC is a Python library for probabilistic programming focused on Bayesian statistical modeling and machine learning. Built on top of computational tools like Aesara and NumPy, PyMC allows users to define models using intuitive syntax and perform inference using MCMC, variational inference, and other advanced algorithms. It’s widely used in scientific research, data science, and decision modeling. -
24
PyTorch Geometric
Geometric deep learning extension library for PyTorch
It consists of various methods for deep learning on graphs and other irregular structures, also known as geometric deep learning, from a variety of published papers. In addition, it consists of an easy-to-use mini-batch loader for many small and single giant graphs, a large number of common benchmark datasets (based on simple interfaces to create your own), and helpful transforms, both for learning on arbitrary graphs as well as on 3D meshes or point clouds. We have outsourced a lot of functionality of PyTorch Geometric to other packages, which needs to be additionally installed. These packages come with their own CPU and GPU kernel implementations based on C++/CUDA extensions. We do not recommend installation as root user on your system python. Please setup an Anaconda/Miniconda environment or create a Docker image. We provide pip wheels for all major OS/PyTorch/CUDA combinations. -
25
Swift Numerics
Advanced mathematical types and functions for Swift
Swift Numerics is a foundational library that extends the Swift standard library with essential numerical protocols, types, and functions needed for scientific and systems programming. It defines generic abstractions over real and complex numbers so algorithms can be written once and work across concrete floating-point types. The package includes RealModule utilities and a full Complex type with the expected arithmetic and transcendental functions, bridging a long-standing gap for numerics in Swift. API design follows Swift’s emphasis on value semantics and protocol-oriented programming, enabling compiler optimizations and predictable performance. The modules are factored to keep dependencies minimal and to allow adopters to pull in only what they need. As a result, Swift Numerics underpins higher-level libraries in simulation, signal processing, and machine learning written in pure Swift.
