Commit Graph

173 Commits (d101fc8df61433dea4f1e2d1d1566477a26724ee)

Author SHA1 Message Date
Aaron Huber 0b72469ef7 Small changes to fix dangling refs for arXiv. 2022-03-30 07:53:40 -04:00
Aaron Huber b85044e7b3 Finished layout rework for the main part of the paper in acmart format. 2022-03-16 08:28:18 -04:00
Atri Rudra 6182caf8c2 Update on Overleaf. 2022-03-09 02:57:26 +00:00
Aaron Huber 580e6876fb Fixed lemma 4.8 proof per @atri 030722 comments. 2022-03-08 20:26:18 -05:00
Aaron Huber 78bb297b88 Changes to proof of Lemma 4.8 per @atri 030722 suggestions. 2022-03-08 10:12:36 -05:00
Aaron Huber 7738fd5180 Revamped proof for Lemma 4.8. 2022-03-07 09:20:36 -05:00
Aaron Huber 9ff8aa220c Changes to proof Lem 4.8 2022-03-06 22:08:00 -05:00
Aaron Huber 7199888c25 Fixed typo Lem 4.8 missing the negative sign in the exponent. 2022-03-01 14:42:08 -05:00
Aaron Huber 70df07e4fd Added Proof for Lem 4.8 and Cor 4.11. 2022-03-01 11:34:16 -05:00
Atri Rudra 98571dc16a Update on Overleaf. 2022-02-23 15:00:12 +00:00
Aaron Huber 1e27058b0c Addressed @oliver and @atri comments 021822, readied the paper for Pablo. 2022-02-22 22:16:29 -05:00
Aaron Huber cb73d33ec2 Completed pass on S4. 2022-02-17 10:07:33 -05:00
Aaron Huber d8ac368a1a Rehashing the Intro for arxiv upload. 2022-01-11 11:35:45 -05:00
Su Feng c9e1b68d9c some misspells 2021-09-20 21:16:02 -05:00
Boris Glavic 91dac1d104 approx algo 2021-09-20 20:41:06 -05:00
Atri Rudra 13f711abb3 Done with pass on S4 2021-09-20 18:12:43 -04:00
Atri Rudra ce01a2ca04 Done with pass on rebuttal 2021-09-19 23:41:02 -04:00
Atri Rudra cf6518d41e Added label to Cor 4.9 2021-09-19 22:27:17 -04:00
Atri Rudra 5e41b963b8 Done pass on S4 2021-09-18 16:45:49 -04:00
Atri Rudra d0b2c75d63 Done with my pass 2021-09-18 01:47:02 -04:00
Aaron Huber ea8cb76bcd Moved commented out material into the appendix. 2021-09-17 18:10:41 -04:00
Aaron Huber cc90b8799a Changes to S4; more rebuttals. 2021-09-17 10:06:03 -04:00
Oliver Kennedy c7cae52c11
typos 2021-09-15 23:51:29 -04:00
Aaron Huber 17b1afb954 Finished incorporating @atri write up changes to S2, S4, S5 2021-09-15 12:18:44 -04:00
Aaron Huber d087ce7fbb Finished pass on S4. 2021-09-10 11:49:29 -04:00
Aaron Huber 92c6ed17bb Finished pass on S.4. 2021-09-03 12:34:08 -04:00
Aaron Huber e760af60cd Fixed small bug with compilation. 2021-09-03 10:36:41 -04:00
Aaron Huber c384d5f21b Changes addressing reviewer comments. 2021-08-30 22:50:21 -04:00
Aaron Huber 8eddb23e60 More changes, added Introduction (previous/current) outlines. 2021-06-17 15:21:34 -04:00
Aaron Huber 45488b5396 Changes to app C. 2021-06-15 16:57:32 -04:00
Aaron Huber 95a311565b More changes to notation, etc. 2021-06-11 11:22:58 -04:00
Aaron Huber 4fe79fd1c7 Notation changes started. 2021-06-09 12:42:26 -04:00
Aaron Huber 7594e45ea9 Merge
Merge branch 'master' of https://gitlab.odin.cse.buffalo.edu/ahuber/SketchingWorlds
2021-04-10 14:40:26 -04:00
Aaron Huber 32f3edde3c Small changes to poly, smb, degree, etc. defs 2021-04-10 14:39:54 -04:00
Boris Glavic c9cde8f57a updates 2021-04-10 13:35:38 -05:00
Boris Glavic dd62648583 cref 2021-04-10 08:48:26 -05:00
Oliver Kennedy 6d2a684189
Minor adjustments 2021-04-10 00:19:16 -04:00
Aaron Huber 6c76d17ca5 Restructured SampMonomial proof (num nodes visited) 2021-04-09 16:13:35 -04:00
Aaron Huber 9dade793f7 Small fixes to Appendix C 2021-04-09 11:48:10 -04:00
Atri Rudra 03897a15ac Done with my final pass 2021-04-09 00:14:02 -04:00
Atri Rudra 8d833ac312 Re-org of S4 2021-04-08 22:59:48 -04:00
Boris Glavic 0f704e7377 shorten 2021-04-08 21:30:03 -05:00
Aaron Huber 14eed48e17 Finished 1st pass on trimming Sec 4 (Aaron) 2021-04-08 11:29:37 -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
Oliver Kennedy 345d95b651
Read through: Space, grammar, notation fixes 2021-04-07 01:02:46 -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
Atri Rudra f226af1dc3 Stuck in proof of Lemma 4.15 2021-04-06 16:35:11 -04:00