Showing 96 open source projects for "problem a"

View related business solutions
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini 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.
    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
    OR-Tools - Google Optimization Tools

    OR-Tools - Google Optimization Tools

    Google's software suite for combinatorial optimization

    ...This suite contains a number of solvers, namely: a constraint programming solver; a linear programming solver; wrappers for commercial solvers (like Gurobi or CPLEX) and other open source solvers (SCIP, GLPK, etc.); among others. OR-Tools is written in C++, but comes with wrappers for Python, C# and Java. Once you model your problem in your preferred programming language, you can then use any of OR-Tools’ available solvers. OR-Tools is an award-winning project, having won three gold medals in the 2020 MiniZinc Challenge, the international constraint programming competition.
    Downloads: 10 This Week
    Last Update:
    See Project
  • 2
    MCM-ICM

    MCM-ICM

    Mathematical Contest resources

    MCM-ICM is a curated archive of Outstanding Winner (“O-奖/特等奖”) solution papers from the Mathematical Contest in Modeling and the Interdisciplinary Contest in Modeling, spanning the early 2000s through recent years. The repository is organized by year, with per-year folders that collect the top-ranked reports and, in later years, additional materials such as problem statements or problem notes when available. It has evolved from a single-maintainer project into a collaborative effort, with different contributors stewarding successive year ranges so the collection stays current. The contents skew toward MATLAB and LaTeX, reflecting the tools most winning teams use to build models and typeset their reports; you’ll typically see complete write-ups alongside code that implements optimization, simulation, statistical analysis, or other modeling pipelines.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 3
    JuMP

    JuMP

    Modeling language for Mathematical Optimization

    JuMP is a modeling language and collection of supporting packages for mathematical optimization in Julia. JuMP makes it easy to formulate and solve a range of problem classes, including linear programs, integer programs, conic programs, semidefinite programs, and constrained nonlinear programs. JuMP is used to solve large-scale inventory routing problems at Renault, schedule trains at Thales Inc., plan power grid expansion at PSR, and route school buses.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    Mathematics Dataset

    Mathematics Dataset

    This dataset code generates mathematical question and answer pairs

    ...It generates question-and-answer pairs across a wide range of mathematical topics typically found in school-level curricula, testing a model’s ability to reason about algebra, arithmetic, calculus, probability, and more. Each question is programmatically generated with structured templates to ensure clear logic and reproducibility. The dataset enables models to learn mathematical problem-solving through examples that involve both numeric and symbolic reasoning. Version 1.0 includes over 2 million examples per category, with training splits labeled as “easy,” “medium,” and “hard,” supporting curriculum-based learning strategies. The data can be accessed via PyPI or generated locally using provided Python scripts, with outputs formatted for direct use in training or evaluation pipelines.
    Downloads: 4 This Week
    Last Update:
    See Project
  • Demo Series - Small Business Backup By Veeam Icon
    Demo Series - Small Business Backup By Veeam

    Learn how to protect your Microsoft 365 data, with simple, actionable tips today.

    Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
    Watch Demo Series
  • 5
    xLaDe

    xLaDe

    A Lean 4 Ecosystem Framework!

    ...It is an ecosystem-level tool, which records the toolchain and other metadata of projects and allows the reconstruction and rebuilding of that exact environment later. Lean 4 undergoes rapid development, which can introduce backward-compatibility issues. This problem becomes more difficult as the versions accumulate over time. xLaDe is built to mitigate the practical issues of backward-compatibility problems and improve ecosystem-level tooling for the Lean 4 theorem prover. Instead of directly solving backward-compatibility issues by storing every version of Lean 4 and other tools or providing cross-version compatibility, xLaDe tries to store sufficient environment metadata such as toolchains, dependencies, and other context, and then recreates the environment for running Lean 4 projects upon request, also termed as experiments in xLaDe.
    Downloads: 52 This Week
    Last Update:
    See Project
  • 6
    Multifario is a C API for computing manifolds. The manifold is represented as an atlas of charts whose domains are balls. Multifario can compute implicitly defined manifolds and invariant manifolds. See also https://multifario.sourceforge.io/ Keywords: Continuation, Bifurcation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Digraph3

    Digraph3

    A collection of python3 modules for Algorithmic Decision Theory

    ...Technical documentation and tutorials are available under the following link: https://digraph3.readthedocs.io/en/latest/ The tutorials introduce the main objects like digraphs, outranking digraphs and performance tableaux. There is also a tutorial provided on undirected graphs. Some tutorials are problem oriented and show how to compute the winner of an election, how to build a best choice recommendation, or how to linearly rank or rate with multiple incommensurable performance criteria. Other tutorials concern more specifically operational aspects of computing maximal independent sets (MISs) and kernels in graphs and digraphs.
    Downloads: 11 This Week
    Last Update:
    See Project
  • 8

    Continuation Core and Toolboxes (COCO)

    Toolboxes for parameter continuation and bifurcation analysis.

    Development platform and toolboxes for parameter continuation, e.g., bifurcation analysis of dynamical systems and constrained design optimization. This material is based upon work partially supported by the National Science Foundation under Grant No. 1016467 and the Danish research council (FTP) under the project number 0602-00753B. Any opinions, findings, and conclusions or recommendations expressed on this site are those of the authors and do not necessarily reflect the views of the...
    Leader badge
    Downloads: 10 This Week
    Last Update:
    See Project
  • 9
    HungarianAlgorithm

    HungarianAlgorithm

    An Ada implementation of the Hungarian Algorithm to minimize cost

    The Hungarian algorithm can be described as optimally solving a workers versus jobs assignment problem that minimizes total cost. This implementation assumes a square cost matrix, i.e. the number of jobs equals the number of workers to do them.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Save Up to 91% on Cloud Compute With Spot VMs Icon
    Save Up to 91% on Cloud Compute With Spot VMs

    Automatic sustained-use discounts. One free VM per month. No negotiation needed.

    Run batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
    Start Free
  • 10
    ME.com

    ME.com

    Mathematical & engineering components for software development

    The truth can't be complicated. Mathematical & engineering components (abbreviation ME . com) are the comprehensive collection of algorithms for scientific computing. Registered 2003-03-21 with the Federal Service for Intellectual Property. Completely free. No donations required. Comes with absolutely no warranty. Rating: Everyone (All ages). MEDICAL DISCLAIMER: This software is not certified for use in healthcare and should not be used for diagnostic or treatment purposes. NOTICE FOR EU...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 11
    Advanced Trigonometry Calculator

    Advanced Trigonometry Calculator

    Open-source C/C++ math engine for advanced scientific computing

    ...Created in 2011 and maintained by Renato Alexandre dos Santos Freitas, ATC is designed as a practical Windows desktop application for advanced calculations, automation, and technical problem solving. ATC supports equation solving, polynomial tools, complex numbers, matrix calculations, statistics, physics, geometry, unit conversions, DSP/FFT operations, and scripting. It can also process batch TXT files, making it useful for repeatable calculations and automated workflows. The project also includes ATC Online Alpha, a WebAssembly-based version that brings parts of the ATC engine to the web. ...
    Leader badge
    Downloads: 10 This Week
    Last Update:
    See Project
  • 12

    Billiards Everything

    The Great Periodic Path Hunt at gwtokarsky.github.io

    Researchers, Mathematicians and Enthusiasts. Download "Billiards Everything" to discover new periodic billiard paths, an unresolved problem from 1775! Download "Billiards Covers" to see the most current list of periodic paths in triangles. Follow "The Great Periodic Path Hunt" at gwtokarsky.github.io for the latest news. Email tokarsky@ualberta.ca for feedback.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    rechne.exe

    rechne.exe

    Command-line calculator and libray.

    Easy-to-use command-line calculator for basic and scientific calculations.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 14

    Billiards Covers

    This zip jar contains the current coverings of periodic paths.

    ...Download "Billiards Covers" to see the most current list of periodic paths in triangles. Download "Billiards Everything" to discover new periodic billiard paths, an unresolved problem from 1775! Follow "The Great Periodic Path Hunt" at gwtokarsky.github.io for the latest news. Email tokarsky@ualberta.ca for feedback.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15

    Book-Reviews-In-Mathematica

    Partial Differential Equations, Complex Analysis, Mathematica, Farlow

    Cliff* Notes, Mathematica Evaluatable "Partial Differential Equations for Scientists and Engineers", Farlow "Physics for Scientists and Engineers", Serway "A First Course in Complex Analysis", Beck "PDE", Asmar "PDE, An Introduction", Colton "Elementary Differential Equations", 7th, Rainville "Ordinary Differential Equations", Tenenbaum "Linear Algebra And It's Applications", Lay "Swokowski Calculus", 5th, Swokowski "Chemistry Concepts & Problems, A Self-Teaching Guide",...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 16
    Math Model

    Math Model

    Code, resources, and templates for mathematical modeling

    ...It includes LaTeX templates for writing solutions, records of past contest problems and winning solutions, algorithm implementations in MATLAB / M scripts for optimization, intelligent algorithms, numerical methods, and model frameworks. In effect, it is a curated library of modeling code, papers, templates, and algorithm summaries tailored to competition preparation. Historical problem and solution archives from many contests. Summary of contest evaluation criteria and heuristics.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    This software solves the Phylogeny problem using Median Networks. Exact and heuristic methods available. Input: an alignment and a reversible stepmatrix, output: (sub)optimal trees and their combinations. Steiner problem solver included.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 18

    polynomial-roots-calculation

    Application for calculating the real roots of a polynomial

    ...But I have been able to make it work with a 40-degree polynomial, with two very proximal zeroes arround x=1000. It needs a precision of arround 60 digits. The problem comes with very-high degree polynomials. The higher is the degree, the faster the execution time increases. But for common examples, the application does the job well. You will find more about it at this web site: https://www.frojasg1.com:8443/downloads_web/web/html/raicesDePolinomios.html?origin=sourceforge
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    EVAlgebra -  Clifford algebra calculator

    EVAlgebra - Clifford algebra calculator

    A simple Clifford algebra calculator

    ...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: 2 This Week
    Last Update:
    See Project
  • 20
    3d Linear Transformation Visualization

    3d Linear Transformation Visualization

    Visualize 3d linear transformations.

    A linear transformation is a function from one vector space to another that respects the linear structure of each vector space. For visualizing this we can transform a vector, but it has an obvious problem, because the linear transformation transform the whole space, not just the vector, in other words it transforms the basis vectors thus every vector in the space gets transformed too. That's why i created this app so everyone can see how a transformation matrix change the whole space.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Python/FEniCS Examples

    Python/FEniCS Examples

    phase-field simulation and other examples with Python/FEniCS

    The main goal of this project was developing phase-field simulations of lithium dendrite growth with FEniCS programmed in Python. The problem was based in the grand potential-based model of Zijian Hong and Venkatasubramanian Viswanathan (https://doi.org/10.1021/acsenergylett.8b01009) . Some simpler examples were developed before for a first approach with FEniCS: heat equation and combustion model.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 22
    Mathematics

    Mathematics

    Accumulation of mathematical knowledge, matrix numerical optimization

    ...The repository organizes material across pure and applied mathematics, including calculus, linear algebra, probability, statistics, and optimization. It also extends into computational and algorithmic applications of mathematics, making it a useful reference for both academic study and practical problem-solving. The goal is to provide learners, researchers, and developers with a consolidated source of foundational and advanced mathematical concepts. By gathering a diverse set of topics into one repository, it supports continuous learning and interdisciplinary exploration. Its open source nature allows for community contributions and adaptation to different educational or research needs.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 23
    CLP Calculator

    CLP Calculator

    A calculator for solving problems using Constraint Logic Programming.

    It is a simple calculator for solving problems using Constraint Logic Programming. Thanks to it, we can quickly see solution of: - Combinatory problem (Einstein's Riddle) - Scheduling problem (Museum of Art) - Optimization problems (Map Coloring)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    SparesPOP is a MATLAB implementation of a sparse semidefinite programming (SDP) relaxation method proposed for polynomial optimization problems (POPs). Please send a message to kojima-spop@is.titech.ac.jp if you have any question and/or request. We also release SparsePOPC++ and SparsePOPC++-windows. Both implementations are SparsePOP which does not use MATLAB, but only C++. In particular, SparsePOPC++-windows contains a binary file which works on Windows, and does not require to compile.
    Downloads: 9 This Week
    Last Update:
    See Project
  • 25
    Awesome Math

    Awesome Math

    This is the Curriculum for "How to Learn Mathematics Fast"

    This repository is a curated roadmap for learning the core mathematics used in computer science, machine learning, and data science without getting lost in unnecessary detours. It organizes topics like algebra, calculus, linear algebra, probability, and statistics into a pragmatic sequence that favors intuition and problem-solving over purely formal proofs. The materials emphasize short, high-leverage resources—video lectures, concise notes, and hands-on exercises—that help you build momentum quickly. It also suggests checkpoints and practice ideas so you can test comprehension and move forward with confidence. The structure is useful both for newcomers who want a starting plan and for practitioners filling specific gaps before tackling ML or deep learning. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • Next