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 20180514 12:49  LtU Forum  previous forum topic  next forum topic  other blogs  1906 reads

Browse archivesActive forum topics 
Recent comments
8 hours 57 min ago
10 hours 12 min ago
10 hours 21 min ago
11 hours 20 min ago
11 hours 38 min ago
14 hours 5 min ago
15 hours 33 min ago
17 hours 8 min ago
18 hours 48 min ago
1 day 4 hours ago