Search Results for "problem a"
Sort By:
Showing 188 open source projects for "problem a"
View related business solutions-
Build Data Resilience - Take the Assessment TodayIs your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
1
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. -
2
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. -
3
FastQC
A quality control analysis tool for high throughput sequencing data
FastQC is a quality control analysis tool designed to spot potential problems in high throughput sequencing datasets. Its goal is to provide a simple way by which to check the quality of raw sequence data coming from high throughput sequencing pipelines. It does this by running a modular set of analyses on one or more raw sequence files in fastq or bam format. It then produces a report summarizing the results, and highlighting any areas where the library may appear unusual. This should then... -
4
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. -
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
5
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. -
6
Fosite - advection problem solver
numerical simulation code for solving transport equations in 1D/2D/3D
Fosite is a generic framework for the numerical solution of hyperbolic conservation laws in generalized orthogonal coordinates. Its main purpose is the simulation of compressible flows in accretion disks. The underlying numerical solution method belongs to the family of unsplit conservative finite volume TVD schemes. The method is 2nd order accurate in space and uses high order Runge-Kutta and multistep schemes for time evolution. In addition to the pure advection code several source terms... -
7
Open Source Routing Machine
Open Source Routing Machine - C++ backend
...Table computes the duration or distances of the fastest route between all pairs of supplied coordinates. Match snaps noisy GPS traces to the road network in the most plausible way. Trip solves the Traveling Salesman Problem using a greedy heuristic. Tile generates Mapbox Vector Tiles with internal routing metadata. To quickly try OSRM use our demo server which comes with both the backend and a frontend on top. The easiest and quickest way to setup your own routing engine is to use Docker images we provide. We base our Docker images (backend, frontend) on Debian and make sure they are as lightweight as possible. -
8
A Matlab toolkit for all aspects of EEG/ERP analysis, especially PCA. If you run into a problem, please send me a note and I'll fix it. The tutorial pdf is in the documentation folder and the tutorial data can be downloaded from a link provided by the pdf. The tutorial file has full install instructions. For all platforms supported by Matlab.
-
9
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. -
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
10
AntTSP
Traveling Salesman Problem (TSP) Solver
Fast Ant Colony Optimization TSP Solver -
11
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.
-
12
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. -
13
GRAMPC
A gradient-based augmented Lagrangian framework for embedded NMPC
GRAMPC is a nonlinear MPC framework that is suitable for dynamical systems with sampling times in the (sub)millisecond range and that allows for an efficient implementation on embedded hardware. The algorithm is based on an augmented Lagrangian formulation with a tailored gradient method for the inner minimization problem. GRAMPC is implemented in plain C with an additional interface to C++ and MATLAB/Simulink. The basic structure and usage of GRAMPC are described in the documentation that comes along with the source files. More details about the algorithm and its performance can be found in the corresponding article published in Optimization and Engeneering. ... -
14
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... -
15
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. -
16
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. -
17
Hex
Hydrogen-Electron Collisions
A computer code for simulation of electron-hydrogen scattering. Contains three (more or less) finished sub-programs: (a) “hex-ecs” which solves the Schrödinger equation in the B-spline basis, (b) “hex-dwba” which computes scattering variables for high energies using the distorted wave Born approximation of the first order and finally (c) “hex-db” which is a user interface to a plain SQLite database, where the intermediate results are being stored, and which is used to extract... -
18
ecang
Ethercat analyzer. Pcapng (by wireshark) to cvs files converter.
To diagnose a problem or simply to study the internal flow of information in an ethercat fieldbus, one of the common practices is to capture the flow of ethercat datagrams with an ethernet sniffer such as Wireshark (www.wireshark.org). Wireshark provides some filters to facilitate data analysis but the high amount of recorded information still makes an analysis complicated for many people who do not have a very deep knowledge of the ethercat protocol and Wireshark tools. -
19
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. ... -
20
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. -
21
rechne.exe
Command-line calculator and libray.
Easy-to-use command-line calculator for basic and scientific calculations. -
22
JQM Java Quine McCluskey
JQM - Java Quine McCluskey for minimization of Boolean functions.
Java Quine McCluskey (JQM) implements the Quine-McCluskey algorithm with Petrick’s Method for minimizing Boolean functions. Designed for both education and industrial application, it handles up to 16 variables and functions. Uniquely, JQM bridges the gap between theory and practice: it visualizes the solution process with generated Karnaugh Maps for students, while supporting PLC engineers by exporting results to Structured Text (ST) and Ladder Diagram (LD). The software includes a GUI for... -
23
Frevo
Frevo is probably the simplest tool for evolutionary design
FREVO is an open-source framework developed in Java to help engineers and scientists in evolutionary design or optimization tasks. The major feature of FREVO is the componentwise decomposition and separation of the key building blocks for each optimization tasks. We identify these as the problem definition, solution representation and the optimization method. This structure enables the components to be designed separately allowing the user to easily swap and evaluate different configurations and methods or to connect an external simulation tool. The latest version in development is hosted at https://github.com/smartgrids-aau/Frevo -
24
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. -
25
ImplicitCAD
A math-inspired CAD program in haskell. CSG, bevels, and shells
...Concepts like variables, control structures and abstraction are used, just as in programming. With the explosion of 3D printing, designing 3D objects has become an even more important problem. And it's a complicated one. We need to design complicated objects that precisely interface with each other. And often we don't want to just design a single object, but classes of objects, parameterized by variables. And we need to do this in collaboration. Generally, objects in programmatic CAD are built with Constructive Solid Geometry or CSG. ...
