Commit Graph

20 Commits (master)

Author SHA1 Message Date
Aaron Huber d101fc8df6 Finished cleaning Appendix B. 2022-04-21 11:46:21 -04:00
Aaron Huber 580e6876fb Fixed lemma 4.8 proof per @atri 030722 comments. 2022-03-08 20:26:18 -05:00
Aaron Huber 519278f2d0 More touch ups to S1, changing example for naive approximation range with c = 2 for X. 2022-03-07 12:49:38 -05:00
Aaron Huber 344cb72646 Some notation changes and clarifications; changes to prose of S3 2022-02-10 13:03:25 -05:00
Atri Rudra 64ee16c4ff Updated proof of Lem 3.5 2021-09-20 20:55:00 -04:00
Aaron Huber 862a8a1d63 Finished pass on Appendix B. 2021-09-18 16:11:51 -04:00
Aaron Huber ea8cb76bcd Moved commented out material into the appendix. 2021-09-17 18:10:41 -04:00
Aaron Huber 26faebbdf5 Started rebuttal doc. Started adjusting S3 in appendix. 2021-09-16 11:47:02 -04:00
Atri Rudra 885ce8736f Done with my pass 2021-09-15 22:41:47 -04:00
Aaron Huber d3081e80d1 Finished rearranging S3. 2021-09-15 11:15:36 -04:00
Aaron Huber 6edbd88852 More work on adjusting S.3 2021-09-14 14:41:14 -04:00
Aaron Huber aebe234c9b Finished pass on S3 2021-09-09 11:42:30 -04:00
Aaron Huber 6f593b3627 Small changes and notes. 2021-09-01 11:27:11 -04:00
Aaron Huber c384d5f21b Changes addressing reviewer comments. 2021-08-30 22:50:21 -04:00
Aaron Huber 45488b5396 Changes to app C. 2021-06-15 16:57:32 -04:00
Aaron Huber 200da71a90 More tweaks on Appendix B. 2021-06-14 12:00:12 -04:00
Boris Glavic dd62648583 cref 2021-04-10 08:48:26 -05:00
Aaron Huber 2678d1210e Removed more from S3 to appendix. 2021-04-06 13:03:08 -04:00
Aaron Huber 2b94d8246e Removed proofs from S3 2021-04-06 12:17:17 -04:00
Aaron Huber 75b9e6a020 Restructured file system for appendix. 2021-04-06 11:43:34 -04:00