Search Results for "mathematical modeling"
Sort By:
Showing 46 open source projects for "mathematical modeling"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
Process Street | Compliance Operations PlatformBring compliance and operations under one roof with an AI agent that automates workflows, policies that enforce rules, and a platform that delivers results.
-
1
MathModel
Mathematical Modeling for Graduate Students, Mathematical Modeling
...The repository is structured by topic and resource type so that users can more easily find templates, solved problems, and methodological notes. It also includes auxiliary educational materials like references, recommended textbooks, and guidebooks on mathematical modeling theory. -
2
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. -
3
FEATool Multiphysics
Physics Simulation Made Easy" (Fully Integrated FEA, FEniCS
FEATool Multiphysics (short for Finite Element Analysis Toolbox), is a fully integrated simulation platform for modeling all types of coupled physics phenomena, continuum mechanics, and engineering problems. By providing a truly easy to use and integrated all-in-one simulation platform for multi-physics analysis, makes FEATool an ideal simulation and modeling tool for everyone from students learning mathematical modeling, to researchers and engineers wishing to explore new ideas in a no fuss, simple, and convenient way. -
4
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 Apple Device Management and Security PlatformAchieve harmony across your Apple device fleet with Kandji's unmatched management and security capabilities.
-
5
Surrogates.jl
Surrogate modeling and optimization for scientific machine learning
A surrogate model is an approximation method that mimics the behavior of a computationally expensive simulation. In more mathematical terms: suppose we are attempting to optimize a function f(p), but each calculation of f is very expensive. It may be the case we need to solve a PDE for each point or use advanced numerical linear algebra machinery, which is usually costly. The idea is then to develop a surrogate model g which approximates f by training on previous data collected from... -
6
Yampa
Functional Reactive Programming domain-specific language
...It is grounded in strong mathematical foundations and is well-suited for real-time and interactive systems where temporal behaviors are central. -
7
Math Model
Code, resources, and templates for mathematical modeling
Math_Model is a repository collecting resources, code, and algorithm templates for mathematical modeling and competition (e.g. Chinese modeling contests, US undergraduate modeling competitions). 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. -
8
InfiniteOpt.jl
An intuitive modeling interface for infinite-dimensional optimization
A JuMP extension for expressing and solving infinite-dimensional optimization problems. InfiniteOpt.jl provides a general mathematical abstraction to express and solve infinite-dimensional optimization problems (i.e., problems with decision functions). Such problems stem from areas such as space-time programming and stochastic programming. InfiniteOpt is meant to facilitate intuitive model definition, automatic transcription into solvable models, permit a wide range of user-defined... -
9
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
AlphaGeometry, developed by Google DeepMind, is a theorem-proving system that combines symbolic reasoning with deep learning to solve challenging geometry problems, such as those found in mathematical Olympiads. The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” AlphaGeometry integrates a symbolic... -
Managed Cybersecurity Platform Built for MSPsIn a world that lives and breathes all things digital, every business is at risk. Cybersecurity has become a major problem for small and growing businesses due to limited budgets, resources, time, and training. Hackers are leveraging these vulnerabilities, and most of the existing cybersecurity solutions on the market are too cumbersome, too complicated, and far too costly.
-
10
snorkel
A system for quickly generating training data with weak supervision
...The Snorkel project started at Stanford in 2016 with a simple technical bet: that it would increasingly be the training data, not the models, algorithms, or infrastructure, that decided whether a machine learning project succeeded or failed. Given this premise, we set out to explore the radical idea that you could bring mathematical and systems structure to the messy and often entirely manual process of training data creation and management, starting by empowering users to programmatically label, build, and manage training data. Snorkel Flow, an end-to-end machine learning platform for developing and deploying AI applications. Snorkel Flow incorporates many of the concepts of the Snorkel project with a range of newer techniques around weak supervision modeling, data augmentation, multi-task learning, data slicing and structuring. -
11
Computational Thinking
Introduction to computational thinking with Julia
Computational Thinking is an open source MIT course repository that teaches computational problem-solving through the Julia programming language. The course integrates mathematics, computing, and real-world applications into a unified curriculum, making it suitable for students across science, engineering, and data-driven fields. It emphasizes learning how to translate problems into computational terms and developing algorithms and models to analyze them effectively. Using Julia, the course... -
12
mum
Mathematical Approaches to User Modeling
-
13
Hasktorch
Tensors and neural networks in Haskell
Hasktorch is a powerful Haskell library for tensor computation and neural network modeling, built on top of libtorch (the backend of PyTorch). It brings differentiable programming, automatic differentiation, and efficient tensor operations into Haskell’s strongly typed functional paradigm. This project is in active development, so expect changes to the library API as it evolves. We would like to invite new users to join our Hasktorch discord space for questions and discussions.... -
14
S2 Geometry
Computational geometry and spatial indexing on the sphere
...This makes it particularly suited for applications involving geospatial data, such as mapping, spatial indexing, and geographic information systems (GIS). The library provides a robust mathematical framework for spherical geometry, allowing developers to work with polygons, points, and regions on the Earth’s surface using consistent and precise algorithms. Unlike traditional 2D geometry libraries, S2 ensures accuracy over large scales by modeling the globe directly, avoiding distortions caused by map projections. The project includes core C++ support, optional Python bindings, and integrations with Bazel and CMake for flexible builds. ... -
15
MathMod
MathMod is a mathematical modeling software
MathMod is a portable interactive plotting and graphing program for Windows, Linux, MacOSX and many other platforms. MathMod allows to plot 3D mathematical surfaces, described by implicit or parametric equations, and offers a very large database of model samples that can be generated with it. It's Free and Open Source. Change-log for MathMod-13.0 (15/11/2025) 1) Scripts generator to add thickness to iso/parametric surfaces 2) Undo/Redo commands for navigating through previous...">
-
16
NKTgLaw
Core library & API for the NKTg Law (Nguyen Khanh Tung). Includes core
NKTgLaw on Varying Inertia , modeling object movement based on position (x), velocity (v), and mass (m): NKTg₁ = x×p, NKTg₂ = (dm/dt)×p (p=m×v). The library supports planetary dynamics, orbit navigation, robotics, AI, physics simulations, and any system with variable inertia. Includes C++/Rust/Go core, REST/gRPC API, and 150+ client wrappers across major languages, preserving invariant mathematical structure in all implementations. -
17
Optimizer_sovkov
Constructing and optimizing general mathematical and physical models
We present the package Optimizer, aimed at constructing and optimizing general mathematical models of phenomena of versatile nature. It is written in the Matlab algorithmic language and is executed in the Matlab environment with partial functionality in Octave. The convenient visual interface and the detailed manuals are provided. The main benefit of the package is its capability to construct models of any level of complexity in a block-by-block manner. Elementary model blocks can be... -
18
Temporal Inference Engine
A real time inference engine for temporal logical specifications
...Specifications of signals and dynamic systems are represented as special graphs and executed in real time, with a predictable sampling time of few milliseconds. Real time signal processing, dynamic system control, state machine modeling and logical property verification are some fields of application of this software. The accepted language provides timed logic and mathematical operators, conditional operators, interval operators, bounded quantifiers and parametrization of signals. -
19
PDP-OmniSim
PDP-OmniSim simulating parallel and distributed processing systems
PDP-OmniSim 🧬 Scientific Overview PDP-OmniSim is an advanced computational framework for simulating parallel and distributed processing systems, with cutting-edge applications in computational neuroscience, distributed computing, and complex systems modeling. The framework provides researchers with robust tools for large-scale simulations of networked systems and their emergent behaviors. 🎯 Key Scientific Contributions 🔬 Interdisciplinary Research Domains Computational... -
20
Algorithms Math Models
MATLAB implementations of algorithms
Algorithms_MathModels is a large MATLAB collection of algorithms and solved examples targeted at students and teams preparing for mathematical modeling competitions (national and international contests like MCM/ICM). The repository gathers implementations and case studies across many topics commonly used in contest solutions: optimization (linear, integer, goal and nonlinear programming), heuristic and metaheuristic methods (simulated annealing, genetic algorithms, immune algorithms), neural networks and time-series methods, interpolation and regression, graph theory, cellular automata, grey systems, fuzzy models, partial/ordinary differential equations, and multivariate analysis, among others. ... -
21
CAELinux
Dedicated to computer-aided engineering Linux distribution
...Based on Ubuntu, it features a ready to use workstation environment for open source product development, makers and scientist with many CAD/CAM/CAE applications for mechanical design, stress analysis, heat transfer, flow simulation and CNC manufacturing / 3D printing as well as electronic design tools and a complete development environment for scientific computing & mathematical modeling. A special focus of CAELinux is to provide simplified interfaces to facilitate the use of specialized open source software while providing high performance parallel multiphysics solvers ready to use for more advanced users. Try CAELinux or carry it with you on a USB stick in a live environment or install it to turn your PC into a full fledged Ubuntu based CAE workstation. ...">
-
22
DBSolveOptimum
The software for systems biology/pharmacology modeling
DBSolveOptimum is a stand-alone software tool for the construction and analysis of mathematical models of biological systems. It is a succession and extension of DBSolve 5 and DBSolve 7, which were popular tools for systems biology. In addition to the capabilities of these software packages, DBSolveOptimum is implemented with new tools for extended data analysis and multiple simulations, which are important for simulation of virtual clinical trials and application of modern modeling techniques, like quantitative systems pharmacology, to problems arising in drug research and development. ... -
23
DeepLearning
Deep Learning (Flower Book) mathematical derivation
" Deep Learning " is the only comprehensive book in the field of deep learning. The full name is also called the Deep Learning AI Bible (Deep Learning) . It is edited by three world-renowned experts, Ian Goodfellow, Yoshua Bengio, and Aaron Courville. Includes linear algebra, probability theory, information theory, numerical optimization, and related content in machine learning. At the same time, it also introduces deep learning techniques used by practitioners in the industry, including... -
24
Calcflow
A virtual reality tool for mathematical modeling
The repository contains the open-sourced code to Calcflow, a powerful mathematical visualization tool designed to give students, educators, and engineers a better grasp on some of the most difficult concepts in vector calculus. Utilizing the best UI/UX theory, Calcflow is an intuitive VR interface for vector calculus and is used by scientists and engineers for both educational and commercial applications. Today, the most common tool for complex maths visualization in the classroom is the... -
25
Virtual Laboratory Environment
A multi-modeling and simulation environment to study complex systems
VLE is a multi-modeling and simulation environment to study complex dynamic systems. VLE is based on the discrete event specification DEVS. and it implements the DSDE formalism (A merge of Dynamic Structure DEVS, DSDEVS, with Parallel DEVS, PDEVS). VLE provides a complete set of C++ libraries, called VFL (VLE Foundation Libraries), to develop DEVS models, to gets results of simulations, to launch simulation on cluster.