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.

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

Interactive algebra and symbolic manipulation

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.

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

Mathematical Physics Course

🚂 Big Data Analytics 🚞 the backbone of 🚒 modern data-driven 🛺 decision making Perfect 🚅 data scientists analysts ✈ and engineers working 🚁 with large scale datasets 🛼 Hadoop Spark Hive 🚤 Kafka Flink MapReduce 🚋 and NoSQL databases data 🏰 mining machine learning 🏘 big data tools cloud 🥎 platforms and Python Scala 🎁

MathsNet WebApp: A video streaming webapp for mathematics learning

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

I built this web app with the Dash open source framework to showcase my publications and web projects.

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