Search Results for "problem a"
Sort By:
Showing 238 open source projects for "problem a"
View related business solutions-
$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.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
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. -
Demo Series - Small Business Backup By VeeamWatch 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.
-
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. -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
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
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. -
16
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. -
17
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... -
18
RSM
Radiation Spectrum Method : a modal BPM (Beam Propagation Method)
RSM (Radiation Spectrum Method) is a 2D rigorous tool to solve the Maxwell equations for the propagation of light in integrated optics or photonics devices. It makes use of an EigenMode Expansion method (EME) to solve the electromagnetic problem. This software running on Windows and MacOS comes with a GUI that permits to define with the aid of files or scripts the arbitrary and complex geometry of the waveguide. Of that way any waveguide geometry can be handled. Several plots are available : refractive index plot, field propagation plot and modes spectrum plot. This permits, with the interpretation of the guided and radiation modes spectrum, a physical understanding of the propagation mechanisms in the integrated optical device under evaluation. ... -
19
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... -
20
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. -
21
FEMM_PMSM_GUI_V2 1.FIX Parallel emf voltage problem and ind Calculation 2.add Arkkio torque Calculation 3.Support for segmentation models (sliding band mode only) 4.Supports iron loss calculation(Supported in full electrical cycle and sliding band modes; not supported in standard mode) #Add new FEMM_DXF_SET_Driver FEMM PMSM Motor GUI — V1 A multi-functional desktop GUI that automates finite-element (FEMM) analysis of permanent-magnet synchronous motors (PMSM/IPM).
-
22
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. ... -
23
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. -
24
rechne.exe
Command-line calculator and libray.
Easy-to-use command-line calculator for basic and scientific calculations. -
25
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...
