equal
deleted
inserted
replaced
9 |
9 |
10 * Summer 2014: Mathias Fleury, ENS Rennes, and Albert Steckermeier, TUM |
10 * Summer 2014: Mathias Fleury, ENS Rennes, and Albert Steckermeier, TUM |
11 Work on exotic automatic theorem provers for Sledgehammer (LEO-II, veriT, |
11 Work on exotic automatic theorem provers for Sledgehammer (LEO-II, veriT, |
12 Waldmeister, etc.). |
12 Waldmeister, etc.). |
13 |
13 |
14 * June 2014: Sudeep Kanav, TUM, and Johannes Hölzl, TUM |
14 * June 2014: Sudeep Kanav, TUM, Jeremy Avigad, CMU, and Johannes Hölzl, TUM |
15 Various properties of exponentially, Erlang, and normal distributed random variables. |
15 Various properties of exponentially, Erlang, and normal distributed random variables. |
16 |
16 |
17 * May 2014: Cezary Kaliszyk, University of Innsbruck, and Jasmin Blanchette, TUM |
17 * May 2014: Cezary Kaliszyk, University of Innsbruck, and Jasmin Blanchette, TUM |
18 SML-based engines for MaSh. |
18 SML-based engines for MaSh. |
19 |
19 |