Mathematics Software for Linux

View 10 business solutions
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built 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.
    Create free account
  • 1

    Discursive Dilemma

    Optimal Decision Rules for the Discursive Dilemma

    Accompanying software for the paper "Optimal Decision Rules for the Discursive Dilemma", by A. Alabert, M. Farré and R. Montes (https://arxiv.org/abs/2210.13100). Computes a ranking of the best decision rules according to a quantitative criterion based on the minimisation of the combined probabilities of false positives and false negatives
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    Disposition

    Program to generate permutations and combinations

    C Library designed to generate in sequence permutations or combinations (possible orderings or subsets) of objects, with or without repetition. To demonstrate the use of the library, a command-line program (disp) and a GTK graphical version (GDisp) are provided too, useful to teach combinatorics.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    We have moved, the project is now at http://distancesampling.org
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    This library allows developers to quickly add to their code management of probability laws. The Distri library gives close control to random distribution for each possible value. The distribution can also be directly modified by the user of the applica
    Downloads: 0 This Week
    Last Update:
    See Project
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Try Free
  • 5
    Latex editor with document structure tree view and project handling. Latex output allows direct jump to warnings/errors. Projects folders gives support for figures/graphs. Editor component includes usual features like search/replace and syntax highlight.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles. But on a deeper level it is a GUI for natural deduction. Every completed domino is equivalent to a proof of a tautology in classical propositional logic.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    DragonFire is a compilation of various mathamatical formulas and theorms from algebra (and soon, Calculus). It shows users the formula for them to learn/use, or lets them enter data for DragonFire to compute.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Drception

    Drception

    Fractals generator with powerful functionality.

    Fractals generator with powerful functionality. E-mail: programmingspecial@gmail.com
    Downloads: 0 This Week
    Last Update:
    See Project
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build generative AI apps with Vertex AI. Switch between models without switching platforms.
    Start Free
  • 10
    DubCen Calculator

    DubCen Calculator

    DUBCEN IS A FREE & OPEN SOURCE BROWSER BASED CALCULATOR AND CONVERTER

    Over the years, performing even basic calculations has become a tedious task. The old offline calculators have now a really obsolete user User Interface and most of the online resources are full of ads. DubCen is built to plug all these gaps. Our logo represents what we do. 2*C simply means 2*100 (C=100 in roman numerals). Hope you understand it now! Our logo represents the calculators and converters that DubCen has. DubCen name comes from Double+Century. We aim to offer 200 high quality calculators with DubCen. Right now, we are nowhere even close to that. Thus, we need you! We want our users to decide what should the other 150 calculators be. DubCen is built to provide users a memorable calculation experience.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    A Python library bringing together utilities I've written over the years for work in bioinformatics and biostatistics, which should be generally applicable outside these fields as well. Focuses on string processing, DBI, and math.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    DyMMM

    Dynamic Multispecies Metabolic Modeling framework

    The Dynamic Multispecies Metabolic Modeling (DyMMM [dĭm]) framework is a mathematical modeling tool that integrates multiple constraint-based metabolic models into a single dynamic community metabolic model. The DyMMM framework was formerly known as the DMMM framework. Please use the following citation for bibliographical purposes: Zhuang, K., Izallalen, M., Mouser, P., Richter, H., Risso, C., Mahadevan, R., & Lovley, D. R. (2011). Genome-scale dynamic modeling of the competition between Rhodoferax and Geobacter in anoxic subsurface environments. The ISME journal. Zhuang, K., Ma, E., Lovley, D. R., & Mahadevan, R. (2012). The design of long-term effective uranium bioremediation strategy using a community metabolic model. Biotechnology and Bioengineering.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    The library in C++ for numerical modeling any dynamic systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    Dynamis

    Simple ODE solver for dynamical systems

    Dynamis is a simple ODE solver implemented in C for studying dynamical systems (e.g. population biology).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Software that implements the tabular method developed by Steve Keen for developing a set of differential equations to model monetary flows in economic analysis, modeling and simulation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Eclipse-Plugin: A scientific calculator with arbitrary precision and natural arithmetic input.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    EDM Calibration Baseline Fitting

    EDM Calibration Baseline Fitting

    EDMFit is an adjustment tool to estimate EDM calibration parameters.

    An EDM calibration baseline is used to derive specific instrument errors of the electronic distance measurement (EDM) unit of a total station. EDMFit is a simple adjustment tool to estimate the EDM calibration parameters (addition constant and/or scale parameter). The adjustment process is according to ISO 17123-4. The parameters are checked for significance, to avoid an overestimation. Based on two classical hypothesis testing, EDMFit provides a reliable outlier detection. For uncertainties budgeting, EDMFit makes use of Monte-Carlo simulations and supports different distribution function: - Uniform distribution, - Triangular distribution and - Gaussian (normal) distribution. For refractive index determination, the application supports the following models: - Barrel and Sears (1939), - Edlen (1953, 1966), - Owens (1967), - IAG (1999) and - Ciddor (1996, 2002). The results of the adjustment are reported in a template-based and valid HTML5/CSS3 report.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18

    EGNLA

    Heterogeneous cluster for acceleration of linear algebra computations

    This project deals with a new concept of the heterogeneous grid for acceleration of the numerical linear algebra computing. We design this grid with respect to maximal ratio between cost and computational power. It allows a parallelization of scientific codes with minimal programming effort. We also optimize grid concept to be less sensitive to network parameters.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Electrical Impedance Tomography and Diffusion based Optical Tomography Reconstruction Software. Currently we have Matlab tool kit to solve the forward problem for EIT in 2D using FEM and iterative regulaized inverse solvers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20

    ELPA_2022.05.001

    Branch clone of 2022.05.001 version

    The ELPA library provides highly efficient and highly scalable direct eigensolvers for symmetric (hermitian) matrices. Branch clone of the ELPA library, 2022.05.001 version. No changes are introduced, no intention to modify the code. Cloned in case the repository at elpa.mpcdf.mpg.de becomes inaccessible. Developed by Max Planck Computing and Data Facility, LGPL v3 license
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    The Recursive Zonal Equal Area (EQ) Sphere Partitioning Toolbox is a suite of Matlab functions for partitioning and point distribution on multidimensional spheres.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    ESK_Genie_log
    Notre logiciel permet d'effectuer des calculs sur des très grands nombres(de l'ordre de n chiffres) Les calculs gérés sont : -l'addition -la soustraction -la multiplication -la division -le modulo -puissance (ordre 10 max) voir documentation doxygen
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    EToS (Efficient Technology of Spike sorting; Extracellular recording To Spike trains) is an open-source system for spike sorting. EToS contains the programs of spike detection, feature extraction and clustering.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    EVAlgebra -  Clifford algebra calculator

    EVAlgebra - Clifford algebra calculator

    A simple Clifford algebra calculator

    EVAlgebra , symbolic Clifford algebra calculator (geometric algebra) , is an Eigenmath adaptation. EVAlgebra support space dimension from 1 to 4 with arbitrry signature. It is fully documented at evalgebra.org. You may write your own scripts to resolve specific problem.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    A MEX-based Toolbox for MATLAB(R) for fast interpolation of 1D, 2D & 3D points, clouds and grids. It's a port of EZspline, a Fortran 90 module interface to the PSPLINE library from the National Transport Code Collaboration developed at the Princeton Plasma Physics Laboratory.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB