CONTRIBUTORS
changeset 30886 dda08b76fa99
parent 30383 ee2c7592e59f
child 30978 b2da12097761
equal deleted inserted replaced
30885:a3cfe0e27deb 30886:dda08b76fa99
     8 --------------------------------------
     8 --------------------------------------
     9 
     9 
    10 * March 2009: Robert Himmelmann, TUM and Amine Chaieb, University of
    10 * March 2009: Robert Himmelmann, TUM and Amine Chaieb, University of
    11   Cambridge
    11   Cambridge
    12   Elementary topology in Euclidean space.
    12   Elementary topology in Euclidean space.
       
    13 
       
    14 * March 2009: Johannes Hoelzl, TUM
       
    15   Method "approximation", which proves real valued inequalities by
       
    16   computation.
    13 
    17 
    14 * February 2009: Filip Maric, Univ. of Belgrade
    18 * February 2009: Filip Maric, Univ. of Belgrade
    15   A Serbian theory.
    19   A Serbian theory.
    16 
    20 
    17 * February 2009: Jasmin Christian Blanchette, TUM
    21 * February 2009: Jasmin Christian Blanchette, TUM