Math
22 items across the graph — tagged with Math.
From the graph · 22
🤖📐专为数学建模设计的 Agent & skills ,自动完成数学建模，生成一份完整的可以直接提交的论文。 An Agent Designed for Mathematical Modeling ,Automatically complete mathmodel and generate a complete p…
OplaPlanner has moved to https://github.com/apache/incubator-kie-drools. This repository is archived. OptaPlanner is an AI constraint solver in Java to optimize…
The official repository for ROOT: analyzing, storing and visualizing big data, scientifically
A well tested and comprehensive Golang statistics library package with no dependencies.
Some awesome AI related books and pdfs for learning and downloading, also apply some playground models for learning
A group of notebooks and other files which can help you learn AI from scratch.
LLMs as Copilots for Theorem Proving in Lean
A minimalist SOTA LaTeX OCR model with only 20M parameters, running in browser. Full training pipeline available for self-reproduction. | 超轻量SOTA LaTeX公式识别模型，仅2…
oj! Algorithms - Open Source Java library for mathematics, linear algebra and optimisation. Pure Java, zero dependencies: fast matrices plus LP, QP and MIP solv…
EN: ManimCat: AI-generated math animations from natural language. High-quality Manim rendering with LaTeX support and auto-code fixing. 中: ManimCat：AI 数学动画生成器。支…
🌟本项目自动抓取并索引科学空间的文章元数据，按研究主题进行规则分类，方便在 GitHub 上快速浏览并跳转到原文。
Formulate trained predictors in Gurobi models
C++ Large Scale Genetic Programming
Opensource Python project for cancer radiation treatment planning [AAPM'23]
Конспекты по разным предметам первого потока ИСy27 университета ИТМО
'Brilliantly wrong' blog, Machine Learning visualizations live here
Python-based algebraic modeling interface to GAMS
Codes related to answers on StackExchange Network.
Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Practical guide and toolkit for physicists and mathematicians using Claude Code — built from months on a real research project
The main website source code and deployment pipeline of RHINELAB-RINALAB MTAIL (Mathematical, Theoretical Artificial Intelligence and Learning-theoretic Group).
Dependency/tool package detected from repository manifests (@streamdown/math).