Mon, 29 Jul 2019 20:20:32 +0100 | Christian Urban | a simple proof of big0 | changeset | files |
Mon, 29 Jul 2019 16:54:56 +0100 | Christian Urban | snapshot | changeset | files |
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 |