Commit graph

723 commits

Author SHA1 Message Date
Atri Rudra 2577788aac Done with pass on S3 2021-04-09 00:02:33 -04:00
Atri Rudra bfe8baf674 minor 2021-04-08 23:02:32 -04:00
Atri Rudra 8d833ac312 Re-org of S4 2021-04-08 22:59:48 -04:00
Boris Glavic a089fe3a23 poly 2021-04-08 21:51:36 -05:00
Boris Glavic 0f704e7377 shorten 2021-04-08 21:30:03 -05:00
Boris Glavic ab6c53c52e related + conclusions 2021-04-08 21:17:57 -05:00
Aaron Huber 262debf68c Small changes to S6 and S7 (Aaron) 2021-04-08 15:42:29 -04:00
Aaron Huber c57cf0e973 Trimmed Section 5 (Aaron) 1st pass. 2021-04-08 15:02:40 -04:00
Aaron Huber c9eeae3fe8 Small changes to Section 5 (Aaron) 2021-04-08 12:45:35 -04:00
Oliver Kennedy 5574256373
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds 2021-04-08 11:51:56 -04:00
Oliver Kennedy acf3ad29d9
Minor adjustments 2021-04-08 11:51:26 -04:00
Aaron Huber 14eed48e17 Finished 1st pass on trimming Sec 4 (Aaron) 2021-04-08 11:29:37 -04:00
Atri Rudra 0708beac57 Done with pass on S2 2021-04-07 23:27:51 -04:00
Atri Rudra fcfb335581 Done with pass till Section 2.3 2021-04-07 23:11:02 -04:00
Atri Rudra 892bcd69e2 Done with pass on S1 2021-04-07 22:49:21 -04:00
Atri Rudra dc83ecfffe updated abstract 2021-04-07 21:42:23 -04:00
Aaron Huber 9d499fa301 Some changes to App C. 2021-04-07 17:27:11 -04:00
Aaron Huber 7b2cb38ae4 Small fix on Section 4 pass (Aaron) 2021-04-07 12:26:07 -04:00
Aaron Huber 447377d3f7 Finished pass on Section 4 (Aaron) 2021-04-07 12:21:41 -04:00
Aaron Huber c56eba496c Finished with my Section 2 pass (Aaron) 2021-04-07 10:53:38 -04:00
Oliver Kennedy 345d95b651
Read through: Space, grammar, notation fixes 2021-04-07 01:02:46 -04:00
Atri Rudra 01581a4e4c Done with pass on S4 appendix 2021-04-07 00:25:50 -04:00
Atri Rudra 2e25fcc551 Done with pass on OnePass appendix 2021-04-07 00:02:08 -04:00
Atri Rudra edde2da120 Done with first part of S4 appendix 2021-04-06 23:43:47 -04:00
Atri Rudra cc109567cc Still working on S4 appendix 2021-04-06 23:17:19 -04:00
Atri Rudra baa5ace07d Updated definiton of deg(C) 2021-04-06 21:14:29 -04:00
Oliver Kennedy f70d1df382
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds 2021-04-06 18:46:18 -04:00
Oliver Kennedy a14f138633
clarifications, flow, grammar 2021-04-06 18:46:06 -04:00
Aaron Huber 69051b4949 Started pass on Sec 2 (Aaron) 2021-04-06 17:44:14 -04:00
Atri Rudra f226af1dc3 Stuck in proof of Lemma 4.15 2021-04-06 16:35:11 -04:00
Aaron Huber acdc8396d8 Finished pass on Intro (Aaron) 2021-04-06 16:11:19 -04:00
Atri Rudra 4835ff234a Done till proof of Thm 4.18 2021-04-06 14:29:47 -04:00
Aaron Huber 5641c60344 Removed unnecessary file. 2021-04-06 13:06:32 -04: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 45463cec52 blah
blahMerge branch 'master' of https://gitlab.odin.cse.buffalo.edu/ahuber/SketchingWorlds
2021-04-06 11:46:54 -04:00
Aaron Huber 75b9e6a020 Restructured file system for appendix. 2021-04-06 11:43:34 -04:00
Atri Rudra 9c2485aeea Done with pass on Sec 4 2021-04-06 11:21:52 -04:00
Atri Rudra 6b918517ef Added notation for int mult complexity 2021-04-06 10:40:05 -04:00
Boris Glavic 1481e3b1f9 up 2021-04-06 09:16:09 -05:00
Boris Glavic 7d60ec8a4d Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds 2021-04-06 08:51:14 -05:00
Boris Glavic 487b22f6b2 intro 2021-04-06 08:50:42 -05:00
Aaron Huber cbed137606 Generalized lemmas/proofs for OnePass and SampMonomial 2021-04-05 16:01:17 -04:00
Aaron Huber 2a12a719af Fixed typo. 2021-04-03 12:21:44 -04:00
Aaron Huber 13f9162e6f Rewrote |C|(1,...,1) proof with sufficient condition. 2021-04-03 12:17:55 -04:00
Boris Glavic 37196c454b boris bad intro 2021-04-02 12:00:56 -05:00
Aaron Huber 9fc77e005b typo fixes 2021-04-01 15:28:02 -04:00
Aaron Huber 3459de90d1 Finished 1st version of bounding |C|(1,...,1) 2021-04-01 15:06:16 -04:00
Aaron Huber 9c410fa3b8 Started proof for |C|(1,...,1) 2021-03-31 23:02:13 -04:00
Aaron Huber 9f53fe0aca Implemented @atri's 032721 suggestions. 2021-03-29 18:37:20 -04:00