Mon, 29 Jul 2019 12:32:28 +0100 checkpoint
Christian Urban <urbanc@in.tum.de> [Mon, 29 Jul 2019 12:32:28 +0100] rev 331
checkpoint
Mon, 29 Jul 2019 09:37:20 +0100 updated
Christian Urban <urbanc@in.tum.de> [Mon, 29 Jul 2019 09:37:20 +0100] rev 330
updated
Tue, 23 Jul 2019 21:21:49 +0100 proved cubic size bound for partial derivatives
Christian Urban <urbanc@in.tum.de> [Tue, 23 Jul 2019 21:21:49 +0100] rev 329
proved cubic size bound for partial derivatives
Sat, 29 Jun 2019 20:50:24 +0100 added paper
Christian Urban <urbanc@in.tum.de> [Sat, 29 Jun 2019 20:50:24 +0100] rev 328
added paper
Sat, 29 Jun 2019 11:03:40 +0100 added paper
Christian Urban <urbanc@in.tum.de> [Sat, 29 Jun 2019 11:03:40 +0100] rev 327
added paper
Mon, 24 Jun 2019 12:12:12 +0100 added interesting paper
Christian Urban <urbanc@in.tum.de> [Mon, 24 Jun 2019 12:12:12 +0100] rev 326
added interesting paper
(0) -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 tip