Aaron Huber
|
17b1afb954
|
Finished incorporating @atri write up changes to S2, S4, S5
|
2021-09-15 12:18:44 -04:00 |
|
Oliver Kennedy
|
441eb67719
|
Trims and flow tweaks
|
2021-09-12 23:44:44 -04:00 |
|
Aaron Huber
|
c724d60157
|
More changes S 2
|
2021-09-07 11:32:06 -04:00 |
|
Aaron Huber
|
5bf969881f
|
Changes to S 2
|
2021-09-07 10:33:13 -04:00 |
|
Aaron Huber
|
c28cc55127
|
Changes to S.2 and fig. 1
|
2021-09-07 08:02:00 -04:00 |
|
Aaron Huber
|
49efdb6668
|
Restructuring S.2.
|
2021-09-02 12:06:47 -04:00 |
|
Aaron Huber
|
c384d5f21b
|
Changes addressing reviewer comments.
|
2021-08-30 22:50:21 -04:00 |
|
Aaron Huber
|
e48bbb27c6
|
Changes to S.2.
|
2021-08-24 12:48:25 -04:00 |
|
Aaron Huber
|
f7cc75ef6c
|
Changes I apparently hadn't commited.
|
2021-08-23 09:01:25 -04:00 |
|
Aaron Huber
|
a077d52e3e
|
Rewrote 1st paragraph of Intro to be consistent with traditional nomenclature and notation used S.2.
|
2021-08-20 10:31:24 -04:00 |
|
Aaron Huber
|
6ebf335e90
|
More changes on Intro @atri comments 072021.
|
2021-07-26 12:14:13 -04:00 |
|
Aaron Huber
|
4fe79fd1c7
|
Notation changes started.
|
2021-06-09 12:42:26 -04:00 |
|
Boris Glavic
|
c9cde8f57a
|
updates
|
2021-04-10 13:35:38 -05:00 |
|
Boris Glavic
|
40cac20325
|
multi
|
2021-04-10 13:11:35 -05:00 |
|
Oliver Kennedy
|
c2c5f3d936
|
Minor typo/flow tweaks
|
2021-04-10 13:33:44 -04:00 |
|
Aaron Huber
|
fb5fad7200
|
Minor changes.
|
2021-04-10 13:20:30 -04: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 |
|
Oliver Kennedy
|
58b70f0fcf
|
Cleaning up appendix
|
2021-04-09 22:00:34 -04:00 |
|
Aaron Huber
|
d4e2c887e9
|
:i
:q
!
:w
w
q
Merge branch 'master' of https://gitlab.odin.cse.buffalo.edu/ahuber/SketchingWorlds
|
2021-04-09 16:13:54 -04:00 |
|
Aaron Huber
|
6c76d17ca5
|
Restructured SampMonomial proof (num nodes visited)
|
2021-04-09 16:13:35 -04:00 |
|
Boris Glavic
|
3a68fe6822
|
updates
|
2021-04-09 15:12:46 -05:00 |
|
Oliver Kennedy
|
b1792a70ba
|
Simplifying discussion of N[X]-DBs
|
2021-04-09 00:07:33 -04:00 |
|
Boris Glavic
|
a089fe3a23
|
poly
|
2021-04-08 21:51:36 -05: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 |
|
Oliver Kennedy
|
345d95b651
|
Read through: Space, grammar, notation fixes
|
2021-04-07 01:02:46 -04:00 |
|
Aaron Huber
|
69051b4949
|
Started pass on Sec 2 (Aaron)
|
2021-04-06 17:44:14 -04:00 |
|
Aaron Huber
|
8a37d83737
|
Small changes Sec 1, Sec 2 and Appendix A
|
2021-03-26 13:01:41 -04:00 |
|
Aaron Huber
|
dcb42fe340
|
Incorporated Virginia's 3-path observation into Lem 3.15.
|
2021-03-25 11:52:59 -04:00 |
|
Aaron Huber
|
04108670e0
|
Restructuring the Introduction Version 2 Completed.
|
2021-03-23 16:37:58 -04:00 |
|
Aaron Huber
|
e6b22c3ad7
|
More changes to the Intro
|
2021-03-18 10:38:16 -04:00 |
|
Aaron Huber
|
a608652e1f
|
Restructuring the Intro
|
2021-03-18 08:32:15 -04:00 |
|
Aaron Huber
|
7f77653e1b
|
Finished my first past implementing Reviewer Suggestions.
|
2021-03-10 13:28:04 -05:00 |
|
Aaron Huber
|
39b176f045
|
More adjustments to save space; currently ~8.5 pages over.
|
2021-03-09 11:43:38 -05:00 |
|
Aaron Huber
|
22ab0d9607
|
Changes: OnePass Alg now upholds reduced circuit invariant, argument updated for SampleMonomial Runtime Analysis, text explaining reduced cirucit.
|
2021-03-02 12:27:26 -05:00 |
|
Aaron Huber
|
36538a6b2d
|
Changes to OnePass correctness and SampleMonomial Runtime analysis per @atri 022521 suggestions.
|
2021-02-26 11:55:33 -05:00 |
|
Aaron Huber
|
2a3e7cc8a5
|
Fixed all of @atri's suggestions up to but NOT including sample monomial proof.
|
2021-02-19 11:15:52 -05:00 |
|
Aaron Huber
|
cca1cb5dc8
|
Implemented @oliver's 021221 suggestions.
|
2021-02-15 13:24:19 -05:00 |
|
Aaron Huber
|
9aa7773219
|
Changes from 021221 meeting implemented.
|
2021-02-12 14:20:50 -05:00 |
|
Aaron Huber
|
d4717bc249
|
Finished @atri 021821 suggestions modulo element Qs.
|
2021-02-11 12:33:57 -05:00 |
|
Aaron Huber
|
d2f628fbc9
|
Finished incorporating @atri changes 020421
|
2021-02-09 09:12:22 -05:00 |
|
Aaron Huber
|
ba6010daa8
|
Finished rewrite of SampMon; started Iterative solution of OnePass
|
2021-02-08 13:44:50 -05:00 |
|
Aaron Huber
|
3b6dbf35d9
|
More revision of OnePass per @atri 020421 comments/feedback
|
2021-02-05 11:43:01 -05:00 |
|
Aaron Huber
|
dce25a1c36
|
OnePass Algo proof revised.
|
2021-01-28 10:32:16 -05:00 |
|
Aaron Huber
|
814a0278fd
|
Changes to S 2.4 (from etrees to circuits)
|
2021-01-27 17:28:53 -05:00 |
|
Aaron Huber
|
ca1d777ee5
|
Fixing merge conflict
|
2020-12-20 18:29:52 -05:00 |
|
Aaron Huber
|
61919ccfd5
|
Read through fixes.
|
2020-12-20 18:28:30 -05:00 |
|
Oliver Kennedy
|
02b7c4fa2c
|
Misc clarifications
|
2020-12-20 17:13:52 -05:00 |
|
Atri Rudra
|
2b253e3c5c
|
Done with pass on S2
|
2020-12-20 00:13:58 -05:00 |
|