Mathematics
8 items across the graph — tagged with Mathematics.
From the graph · 8
The official repository for ROOT: analyzing, storing and visualizing big data, scientifically
Some awesome AI related books and pdfs for learning and downloading, also apply some playground models for learning
LLMs as Copilots for Theorem Proving in Lean
EN: ManimCat: AI-generated math animations from natural language. High-quality Manim rendering with LaTeX support and auto-code fixing. 中: ManimCat：AI 数学动画生成器。支…
Конспекты по разным предметам первого потока ИСy27 университета ИТМО
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