Mathematics Software for Linux

View 10 business solutions
  • 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
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB 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.
    Start Free
  • 1

    TopDeg

    Program for topological degree calculation.

    The program calculates the degree deg(f,B,0) where B is a product of n nontrivial intervals in R^n and f is a continuous function from B to R^n. The algorithm is described in the following paper: http://www.ams.org/journals/mcom/2015-84-293/S0025-5718-2014-02877-9/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    TopDrawer makes it easy to produce beautifully typeset Euclidean geometry diagrams.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Topologia Digital (Digital Topology) is a project for the development of the practical exercises of the Digital Topology course in the Applied Mathematics Department of the Computer Science Faculty (Polytechnic University of Madrid, Spain).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Torch5 provides a matlab-like environment for state-of-the-art machine learning algorithms. It is easy to use and provides a very efficient implementation, thanks to a easy and fast scripting language (Lua) and a underlying C++ implementation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • $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
  • 5
    The place for algorithms, scripts, and open discussion of the issues of traffic behaviour statistical analysis. Aberrant Behavior Detection. Holt-Winters forecasting. RRDtool.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    This application is designed to solve problems of transshipment. This problem of the graph theory consists in finding a negative stream on the arcs which minimizes the total cost of the transport in a network R(V,E,b,c) where : - V = vertex - E
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7

    TransMatrix

    Matrix transformations

    Software modificable para transformar matrices de tres columnas [A (grupo 1), B (grupo 2) y C (conexiones entre nodos de ambos grupos)] a matrices completas y simétricas.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Discrete Mathematics task solutioner. (The Theory For Scheduling / Network Graphs) Contains C++ mathematic algorithms and C# GUI.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Travel Demand Generator
    That project aims at providing a clean API, and the corresponding C++ implementation, able to generate demand for travel solutions (e.g., from JFK to PEK on 25-05-2009) according to characteristics (e.g., Willingness-To-Pay, preferred airline, etc).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • 10
    Travel Market Simulator
    That project aims at studying and comparing typical airline IT methods, for instance RM-related algorithms. It works from a Unix/Linux/Mac command-line, and exposes basic APIs. It is being developed in C++, with Python wrappers for some components.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Travel Market Simulator

    Travel Market Simulator

    Travel Market Simulator

    That project aims at studying the impact of IT systems interactions on traveller demand and airline revenues. Passenger demand is generated (Monte Carlo) and injected into simulated CRS and airline IT systems. Differential analysis is then performed on various changes compared to a bottom line scenario.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Two dimensional (2D) fine mesh finite element (FE) grid editing system. Includes constrained Delaunay triangulation, and automated grid resolution changes based on local attributes. Win32 and Motif GUIs. Mature application, now going open source.
    Leader badge
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    The general triangle solver. It computes all solutions for a triangle specified by combination of sides, angles, altitudes, medians, angle bisectors, area, radius of circumscribed and inscribed circle, sum a+b, perimeter and difference of alpha-beta.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    Truncated power series algebra

    Truncated power series algebra

    This project consists of two object-oriented implementations of truncated power series (TPSA) for arbitrary order and number of variables. Addition, subtraction, multiplcation, division, and exponentiation are all implemented in the algebra as overloaded operators. They can also compute with maps, a map being an array of TPSA objects representing a mapping of a space into itself. They are implemented as arrays of TPSA objects equal in number to the number of variables of the algebra. One implementation is written in Mathematica and is rather slow. The second is written in VB.net and is much faster.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    This intuitive (and fully configurable) tool will help users to generate and check truth tables of many variables. You'll be able to work with Clasic logic and Lukasiewicz, Kleene & Bochvar and Gödel multivalued logics.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Tuatara Turing Machine Simulator is a graphical tool for designing and executing Turing Machines. Designed primarily for teaching purposes, it features a simple point-and-click interface.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Turing and Post Machines: C++ Simulators

    Turing and Post Machines: C++ Simulators

    Turing and Post Machines' C++ Simulators

    The C++-programs simulate : Nondeterministic/Deterministic Multitape Turing & Post Machines, Universal Turing Machine, Turing Machine with faults, failures and recovery.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Tux's Turtle
    Tux's Turtle is a drawing environment for children. It uses geometrically-based "turtle graphics" (well known from Logo) but is completely immediate and programmed using single keypresses (like Delta Drawing). No knowledge of the editor is necessary.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    UDA stands for Universal Descriptive Algebra. It consists of a Java package handling universal algebras and relational structures as description systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    UNLocBoX

    UNLocBoX

    UNLocBox (Matlab convex optimization toolbox)

    The UNLocboX is a matlab convex optimization toolbox part of the UnlocX project. It is composed of the most used algorithms such as forward backward, Douglas-Rachford, admm or ppxa. Moreover a collection of proximal operators is available in order to implement problems very efficiently.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    This project is a GUI or command line interface for converting US measurements to metric. A simple calculator has been added for help with small measurements.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Ub3rMath

    Ub3rMath

    Simple math parsing library for C++

    A math parsing library for C++ with a number of powerful features to allow flexible interpretation of mathematical formula in text form.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    sparse linear algebra library, with emphasis on preconditioned Krylov subspace methods for the solution of linear systems of equations
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Graph polynomials and view prime numbers on a ulam spiral graphing plot. Only integer numbers. Based on an old GPL version of the JEP equation parser. See website for additional examples/live applets Seems to be closely related to Cellular automaton.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Ultimate Calc
    Multitask scientific calculator. Supports plugins and scripts (in C++ and QtScript respectively) to provide different working modes and custom solving functions.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB