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