Mon, 29 Jul 2019 14:27:17 +0100 | Christian Urban | snapshot | changeset | files |
Mon, 29 Jul 2019 12:32:28 +0100 | Christian Urban | checkpoint | changeset | files |
Mon, 29 Jul 2019 09:37:20 +0100 | Christian Urban | updated | changeset | files |
Tue, 23 Jul 2019 21:21:49 +0100 | Christian Urban | proved cubic size bound for partial derivatives | changeset | files |
Sat, 29 Jun 2019 20:50:24 +0100 | Christian Urban | added paper | changeset | files |
Sat, 29 Jun 2019 11:03:40 +0100 | Christian Urban | added paper | changeset | files |