equal
deleted
inserted
replaced
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 |