## User login## Navigation |
## archives## 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. |
## Browse archives## Active forum topics |

## Recent comments

1 day 18 min ago

3 days 8 hours ago

3 days 11 hours ago

4 days 6 hours ago

4 days 13 hours ago

4 days 16 hours ago

4 days 17 hours ago

4 days 19 hours ago

5 days 10 hours ago

5 days 15 hours ago