User loginNavigation |
Proof system for learning basic algebraI've written a system for learning basic algebra which has you solve problems by clicking on the rules of basic algebra (commutativity, associativity, etc.). It is impossible to make mistakes because the machine checks things like correct handling of division by zero. Each step is justified, so each solution serves as a formal proof. Right now it handles algebra up to quadratic equations and simultaneous equations. It is intended to be a computer proof system anyone can learn. The style of mathematics presented mimics equation solving on a blackboard, so it should be familiar to everyone. By Edwin Zacharias at 2018-05-14 12:49 | LtU Forum | previous forum topic | next forum topic | other blogs | 3746 reads
|
Browse archives
Active forum topics
|
Recent comments
16 weeks 4 days ago
20 weeks 6 days ago
22 weeks 3 days ago
22 weeks 3 days ago
25 weeks 1 day ago
29 weeks 5 days ago
29 weeks 5 days ago
30 weeks 1 day ago
30 weeks 1 day ago
33 weeks 8 hours ago