PowerBiMIP is an open-source, efficient bilevel mixed-integer programming (BiMIP) solver, with a special focus on applications in power and energy systems.

Small-signal modeling of Grid-Forming Inverters

武汉理工大学2020数学建模校内集训/MCM Finallist Award/华中赛省二等资料

VRP-Models-and-Algorithms Models and algorithms for solving Vehicle Routing Problems using optimization and heuristics.

Toolkit for discovering and aggregating data for whole-cell modeling

Ontology of algorithms for analyzing biological models, their parameters, and their outputs

The Systems Biology Ontology (SBO) is a set of controlled, relational vocabularies of terms commonly used in Systems Biology, and in particular in computational modeling.

数学建模相关资料

🔮 美赛 (MCM/ICM) 论文获奖概率预测器。基于 NLP 语义分析与 XGBoost，将“玄学”与科学完美融合。内置 8-bit 复古像素风 GUI，支持多模态特征评估。

2023年美国大学生数学建模竞赛 Meritorious Winner 参赛作品

A comprehensive research platform for Physics-Informed Neural Networks (PINNs) featuring 10+ applications including forward/inverse problems, data assimilation, and scientific discovery with interactive web interface.

🏆 MCM/ICM 美国大学生数学建模竞赛工具箱 | 顶刊级可视化 | AI Prompt 模板 | 机器学习算法

An AlphaEvolve-inspired project using evolutionary symbolic regression to automatically discover mathematical laws governing global carbon intensity from real-world energy data.

2026 MCM Problem C: Data With The Stars

GENG 8010: Engineering Mathematics [EM] | Semester I | MEng Computer Engineering

Software and Data associated with "Reducing Bias and Quantifying Uncertainty in Fluorescence Produced by PCR''

The Creative Determinant: autopoietic closure as a nonlinear elliptic BVP on a compact Riemannian manifold, with Lean 4-verified existence conditions (15 theorems, zero sorry)

Utilities for building standardized command-line interfaces for biosimulation software packages

Build GAMS and GAMSPy solver link for NVIDIA cuOpt PDLP solver

A GUI-tool for computing Nash flows over time with or without spillback as well as (spillback) thin flows.