Natural language tactics to teach mathematics using Lean 4
-
Updated
Jul 19, 2024 - Lean
Natural language tactics to teach mathematics using Lean 4
Численные методы оптимизации реализованные для курса ВолгГТУ "Методы оптимизации"
Python-based drawing tool for making sketches of mathematical and scientific problems.
Interactive courseware module that addresses the fundamentals of numerical integration taught in mathematics courses.
Personal webpage
MathsNet WebApp: A video streaming webapp for mathematics learning
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.
Another attempt for visualizing proofs
Source code and data for the EDM 2022 paper
CACNA2023: Fourth Conference on Computational Algebra, Computational Number Theory and Applications (CACNA 2023)
Guidelines for students in mathematics education
A cute little interactive learning aid for Random Walk in 1 dimension, also demonstrates Stochastic Diffusion.
Main QuantU Application
Tools for French-language secondary-school mathematics classes, to practise solving equations
Program that generates math related problems. School project.
Fraction Visualization is a python-based application that teaches students about fraction mathematic operations through visual representations and an interactive experience including cutting, shading, and moving rectangle pieces.
A library of interactive Maclaurin Series Mathematical Models written in Python, including trigonometric and exponential functions.
Textos que escribo acerca de matemáticas o tópicos relacionados a ella.
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."