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.

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

🚂 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 🎁

Interactive algebra and symbolic manipulation

Another attempt for visualizing proofs

Source code and data for the EDM 2022 paper

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

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

Mathematical Physics Course

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

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

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.

This repo is designed for my senior final year project