Most recent entries
Fun with Sturm chains
I recently did a seminar on decision procedures, and my talk was on Tarski's decision procedure for first-order real arithmetic. Basically, the problem is that you have a formula with real variables ...
More...
More...
Distributed Hash Tables (DHT) in Peer to Peer Networks (German)
Two years ago, I had to write a paper like thing at school on any subject, so we (me and a classmate) chose Distributed Hash tables in Peer to Peer Networks.
Long story short, they are used to accel...
More...
More...
The Untyped Lambda Calculus
I just remembered a talk I did on Alonzo Church's Untyped Lambda Calculus earlier this year. (they call it a "Proseminar") The Lambda Calculus is a very simple but turing-complete functional model ...
More...
More...
Protocols of Physics Lab Course at University of Göttingen (German)
Here's a list of our physics lab course protocols (http://www.praktikum.physik.uni-goettingen.de), which we started at summer semester 2011 in Göttingen.
The list is incomplete, as not all of the p...
More...
More...
3D fieldlines
For a physics project at university, I had to calculate and plot fieldlines in three dimensions. I wrote a little tool to do the math and show them with OpenGL. I will publish it soon, until then, hav...
More...
More...
