mathematics-education topic
List
mathematics-education repositories
pysketcher
28
Stars
6
Forks
Watchers
Python-based drawing tool for making sketches of mathematical and scientific problems.
optimization_methods
16
Stars
6
Forks
Watchers
Численные методы оптимизации реализованные для курса ВолгГТУ "Методы оптимизации"
verbose-lean4
40
Stars
5
Forks
Watchers
Natural language tactics to teach mathematics using Lean 4