Hullo!

I am ada, I am on my final year of undergraduate in pure mathematics, have interests in algebraic number theory, topology, and computer algebra.

Current things i'm working on/learning:

• term rewriting systems/ proof checking

• algebraic topology

On my short term radar:

• algebraic geometry

• machine learning

People you should check out too!

• sushi

• vereis

• apynu

• sam

• kenneth