Natural language tactics to teach mathematics using Lean 4

Python-based drawing tool for making sketches of mathematical and scientific problems.

A tool for generating geometric figures based on definitions and rules.

Численные методы оптимизации реализованные для курса ВолгГТУ "Методы оптимизации"

Source code and data for the EDM 2022 paper

Another attempt for visualizing proofs

Why not introducing a little bit of Operations Research in higher secondary schools?

A textbook that uses the Sage computer algebra system to introduce students to the use of computer technology in mathematical problem solving.

a simple proof system I made to learn math without any mistakes

Interactive courseware module that addresses the fundamentals of numerical integration taught in mathematics courses.

Mathematical Physics Course

Its Prime Time! | It is a game based on your knowledge about prime numbers. Let's see how much you know about prime numbers.

Le Flocon de Koch, de la programmation 2D avec Scratch à l'impression 3D avec OpenSCAD

Livro com conteúdos de matemática com foco no ENEM, projeto pessoal para auxiliar na preparação de aulas

MathsNet WebApp: A video streaming webapp for mathematics learning

The Bibliographies Project. Can be found on Reddit, GIthub, and Github Pages.

Main QuantU Application

Lightweight graphing and animations

Interactive algebra and symbolic manipulation