Hello weary traveller! Welcome to my site, I hope you enjoy your stay.
This is a type of an online journal of mine. We have the following goals:
- Internet detox;
- Pass some exams;
- Learn to Python script;
- Take care of a small garden;
- Translate, translate, translate! (Marx and Cummings)
The poetry section is not for the translations above, but my own writings.
I am in graduate school studying mathematics. My intrests are currently algebraic topology (that's not true), geometric group theory. I also experiment with lean, agda -- automatic theorem proving software.
Currently looking at lens spaces. A comprehensive paper on the topic, all hand written, by Watkins. Besides this one, I have to read Whitehead's original paper on CW complexes and results concerning them.
There are several other papers I wish to read, once I get the time.