pspace.org

  • Increase font size
  • Default font size
  • Decrease font size
Articles
Title Filter     Display # 
# Article Title Author Hits
1 Fun with Sturm chains 3_of_8 93
2 Distributed Hash Tables (DHT) in Peer to Peer Networks (German) inherited 103
3 The Untyped Lambda Calculus 3_of_8 474
4 Protocols of Physics Lab Course at University of Göttingen (German) inherited 334
5 Do teeth dissolve in coke? 3_of_8 4732
6 Extended Project: Nonlinear Optimisation 3_of_8 1108
7 Comparing Fibonacci algorithms inherited 781
8 How to plot colour-coded functions in Java 3_of_8 525
9 Uni Göttingen lab protocols (German) 3_of_8 521
 

Most recent entries

Fun with Sturm chains

22/01/2012 | 3_of_8 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...

Distributed Hash Tables (DHT) in Peer to Peer Networks (German)

17/12/2011 | inherited 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...

The Untyped Lambda Calculus

19/08/2011 | 3_of_8 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...

Protocols of Physics Lab Course at University of Göttingen (German)

01/08/2011 | inherited 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...

3D fieldlines

12/05/2011 | inherited 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...