Natural language tactics to teach mathematics using Lean 4
-
Updated
May 10, 2024 - Lean
Natural language tactics to teach mathematics using Lean 4
Python-based drawing tool for making sketches of mathematical and scientific problems.
Численные методы оптимизации реализованные для курса ВолгГТУ "Методы оптимизации"
Another attempt for visualizing proofs
Source code and data for the EDM 2022 paper
A textbook that uses the Sage computer algebra system to introduce students to the use of computer technology in mathematical problem solving.
Code for "Step-by-Step Remediation of Students' Mathematical Mistakes"
a simple proof system I made to learn math without any mistakes
Why not introducing a little bit of Operations Research in higher secondary schools?
Lightweight graphing and animations
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
Interactive courseware module that addresses the fundamentals of numerical integration taught in mathematics courses.
The Bibliographies Project. Can be found on Reddit, GIthub, and Github Pages.
Livro com conteúdos de matemática com foco no ENEM, projeto pessoal para auxiliar na preparação de aulas
CACNA2023: Fourth Conference on Computational Algebra, Computational Number Theory and Applications (CACNA 2023)
MathsNet WebApp: A video streaming webapp for mathematics learning
Main QuantU Application
Add a description, image, and links to the mathematics-education topic page so that developers can more easily learn about it.
To associate your repository with the mathematics-education topic, visit your repo's landing page and select "manage topics."