Take me to your leader, mathling!

introduction

(Fruitfulapproach) #1

Hi, I live in San Diego.

Here's what I'm working on:


It's called "ZoomSpace" and is a futuristic mathematicians' tool. It will be community driven with the help of neo4j, and will be capable of suggesting next steps in a diagram chase.

This should be popular among advanced math students in college or self studiers. It will actually aid in the teaching of diagram-chasing proofs.