Search

Domain-Specific Languages of Mathematics

A research project in path semantics, a re-interpretation of functions for expressing mathematics

A curated list of awesome mathematics resources

:books: [.md & .ipynb] Series of Artificial Intelligence & Deep Learning, including Mathematics Fundamentals, Python Practices, NLP Application, etc. 💫 人工智能与深度学习实战，数理统计篇 | 机器学习篇 | 深度学习篇 | 自然语言处理篇 | 工具实践 Scikit & Tensoflow & PyTorch 篇 | 行业应用 & 课程笔记

An efficient, general-purpose mathematics components library in the Java programming language

Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.

Source code accompanying 'Mathematics of Epidemics on Networks' by Kiss, Miller, and Simon http://www.springer.com/us/book/9783319508047 . Documentation for the software package is at https://epidemicsonnetworks.readthedocs.io/en/latest/

Source code for the Mathematics in Lean tutorial.

Quickly see which courses are offered this semester for TUM [MSc. + BSc. Informatics | MSc. DEA | MSc. Information Systems | MSc. Mathematics] and which areas they belong to.

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Litex: The Language Where Mathematics Verifies Itself.

A collection of optimization problems in mathematics

MathClaw is a multimodal learning assistant designed for middle and high school mathematics.

Composable mathematics tools for agents

Lean certificates accompanying proofs in mathematics and theoretical computer science