paper – Konrad Voelkel's Blog – Mathemagically

2nd Workshop on Personal Knowledge Management (PKM2010, in Duisburg, Germany). Extended version of my position paper on "Dependency Formalisation for Improved Learning Processes".

I wrote a JabRef export filter that takes a BibTex file with file links and writes a linux shell script to rename the files systematically according to the scheme [bibtexkey] - [authors] - [title].[extension].

It's accessible with a minimum amount of knowledge in computer science and/or mathematics. If you ever wondered how PGP works, this is a good place to learn it! (link to arXiv inside)

Here is the second part of my walk-through to Morel-Voevodskys A¹-homotopy theory. I give a proof of Lemma 1.1 on page 48.