Mathematics Software for Linux

View 10 business solutions
  • 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
  • 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
  • 1
    R packages supporting parallel computing.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Pari-Distributed is a mostly Erlang framework that lets you split up trivially parallelizable loops in GP across multiple nodes. Its goal is to dynamically manage a list of active nodes and split up work units fairly across remote nodes.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Parser - синтаксический анализатор. Plotter - графопостроитель.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Peklo is a graph editor and an environment for visualizing and comparing different algorithms for some graph-theoretic problems, e.g. flows, shortest path, minimum spanning tree.
    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
  • 5
    Pena is an acronym for "Pena Encryption for Automata". This framework will help you to run encrypted representations of programs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    The Penn Lambda Calculator is an interactive, graphics-based pedagogical software that helps students of linguistics and computer science practice the typed lambda calculus.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    PerMuVAR was a library for the Computer Algebra System MuPAD (http://www.mupad.de) for computations in invariant rings of permutation groups. It's now part of the algebraic combinatorics package MuPAD-Combinat (http://mupad-combinat.sf.net/)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    The Periodic Tables Package is an advanced suite of applications for both Windows and Linux that allow chemists and students alike to use the Periodic Table on their computers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    this will calculate the permutations you need numnbers letters or both
    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
  • 10
    Peru provides functionality for calibrating a camera or a stereo camera using only images of a checkerboard pattern as input. Peru also provides functionality for calculating disparity maps (depth maps) from a stereo image pair.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Small GAP package for converting Petri nets to finite state automata and transformation semigroups.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    PetriKit is a modular toolkit for Petri Net analysis. It allows the extraction of basic properties, extraction of invariants, and generation of reachability graph. Results can be formatted in plain text, HTML or XML files.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Pfem is a python-based finite element program aimed at solving solid mechanics and heat transfer problems with flexibility, efficiency and sound object-oriented design.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    PhaseSpace

    Analyse dynamical systems, plot its phase space and critical points.

    Phase Space is born out of the need of a simple yet powerful open source tool to study dynamical systems. PhaseSpace allows you to plot the phase space of the dynamical system you are studying, its critical points and the curves of slope zero and infinite.It can also plot the solutions of the system and it's vector field. To use PhaseSpace you'll need to have Python installed along with Matplotlib and Numpy.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Phevolo is a fast fractal generator and explorer; it is capable of rendering the Mandelbrot set, Julia and Fatou sets, Newton's method, and others
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    PhpMathParser
    IT: Questo progetto è composto da una classe php che traduce, in modo naive, espressioni matematiche in istruzioni php. EN: This project is composed by a php class able to quickly translate mathematical expressions in php instructions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    The Physicist is a high end physics simulation engine that can provide answers with reasonable accuracies(now w/ rk4 and euler options). It can currently predict the motion of many particles.It Employs OpenGL to provide cutting edge graphics support.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18

    Pi-Trav

    An interactive pi walk.

    A simulation and visualization of random walks based on the digits pi. This program also has a settings menu.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    PiSvM is a parallel Support Vector Machine (SVM) implementation. It supports C-SVC, nu-SVC, epsilon-SVR and nu-SVR and has a command-line interface similar to the popular LibSVM package.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Pigale
    Pigale is a graph editor and a C++ algorithm library essentially concerned with planar graphs. This software, particularly intended for graph theoretical research, includes new algorithms based on our recent theoretical researches.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    PlanetPack

    PlanetPack

    Radial-velocity & transits analysis tool for exoplanets

    PlanetPack is a software tool developed to facilitate the radial-velocity time-series analysis for the goal of exoplanets detection, characterization, and basic dynamical simulations. The description of the main theoretic concepts, statistical methods and algorithms that PlanetPack implements, is given in the following refereed papers: R.V. Baluev 2013, Astronomy & Computing, V. 2, P. 18 (initial release); R.V. Baluev 2018, Astronomy & Computing, V. 25, P. 221 (update 3.0). The technical manual explaining the details of the practical use is available in the download archive here (see the /doc/ subfolder).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    An omnifont OCR engine. The long-term goal is recognition of formulas.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    PlexBench is a cross-platform, web-enabled, analysis tool that is driven by a scalable backpropagation feed-forward neural network. It uses embedded Perl for scripting and is written in the style of an in-process Component Object Model (COM) C++ program.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Plexus is a Java library with specifications and implementations for generic graph data structures. Like the Java Collections Framework, vertices and edges are containers for arbitrary user-defined objects.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB