13 * Summer 2014: Florian Haftmann, TUM |
13 * Summer 2014: Florian Haftmann, TUM |
14 Consolidation and generalization of facts concerning (abelian) |
14 Consolidation and generalization of facts concerning (abelian) |
15 semigroups and monoids, particularly products (resp. sums) on |
15 semigroups and monoids, particularly products (resp. sums) on |
16 finite sets. |
16 finite sets. |
17 |
17 |
18 * June 2014: Florian Haftmann, TUM |
|
19 Internal reorganisation of the local theory / named target stack. |
|
20 |
|
21 * Summer 2014: Mathias Fleury, ENS Rennes, and Albert Steckermeier, TUM |
18 * Summer 2014: Mathias Fleury, ENS Rennes, and Albert Steckermeier, TUM |
22 Work on exotic automatic theorem provers for Sledgehammer (LEO-II, |
19 Work on exotic automatic theorem provers for Sledgehammer (LEO-II, |
23 veriT, Waldmeister, etc.). |
20 veriT, Waldmeister, etc.). |
|
21 |
|
22 * June 2014: Florian Haftmann, TUM |
|
23 Internal reorganisation of the local theory / named target stack. |
24 |
24 |
25 * June 2014: Sudeep Kanav, TUM, Jeremy Avigad, CMU, and Johannes Hölzl, TUM |
25 * June 2014: Sudeep Kanav, TUM, Jeremy Avigad, CMU, and Johannes Hölzl, TUM |
26 Various properties of exponentially, Erlang, and normal distributed |
26 Various properties of exponentially, Erlang, and normal distributed |
27 random variables. |
27 random variables. |
28 |
28 |