Like, it teaches you all of maths from stuff as simple as small addition all the way up to complicated things like calculus and integration. It would have problem generators that keep feeding you practice questions until you can do it all from heart.
I’d call the app “Euler”, after the prolific mathematician.
This would be fantastic, although as a maths student myself I would want a mix of human-written and automatically-generated problems (since automatic ones are severely limited in scope and routine problems are rarely done in any quantity at high level).
If it also integrated with (an) Interactive Theorem Prover(s) to allow leaners to write proofs which are computer-checked that would be incredible.
I’ve actually been meaning to start this project myself for around 2 years but the barrier for me is web development, I’m a competent Python programmer so I reckon I have a chance with the backend but I have literally 0 ability in UI/frontend design and frontend development.
If anyone considers themselves mildy competent (post-beginner) level at frontend web development and wants to chat about this on matrix I’m all ears.
Duolingo but it’s maths.
Like, it teaches you all of maths from stuff as simple as small addition all the way up to complicated things like calculus and integration. It would have problem generators that keep feeding you practice questions until you can do it all from heart.
I’d call the app “Euler”, after the prolific mathematician.
This would be fantastic, although as a maths student myself I would want a mix of human-written and automatically-generated problems (since automatic ones are severely limited in scope and routine problems are rarely done in any quantity at high level).
If it also integrated with (an) Interactive Theorem Prover(s) to allow leaners to write proofs which are computer-checked that would be incredible.
I’ve actually been meaning to start this project myself for around 2 years but the barrier for me is web development, I’m a competent Python programmer so I reckon I have a chance with the backend but I have literally 0 ability in UI/frontend design and frontend development.
If anyone considers themselves mildy competent (post-beginner) level at frontend web development and wants to chat about this on matrix I’m all ears.