CONTRIBUTORS
changeset 30886 dda08b76fa99
parent 30383 ee2c7592e59f
child 30978 b2da12097761
     1.1 --- a/CONTRIBUTORS	Tue Apr 07 23:25:50 2009 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Apr 08 16:35:03 2009 +0200
     1.3 @@ -11,6 +11,10 @@
     1.4    Cambridge
     1.5    Elementary topology in Euclidean space.
     1.6  
     1.7 +* March 2009: Johannes Hoelzl, TUM
     1.8 +  Method "approximation", which proves real valued inequalities by
     1.9 +  computation.
    1.10 +
    1.11  * February 2009: Filip Maric, Univ. of Belgrade
    1.12    A Serbian theory.
    1.13