| Wed, 23 Aug 2023 03:02:31 +0100 |
Chengsong |
added technical Overview section, almost done introduction
default tip
|
file |
diff |
annotate
|
| Mon, 10 Jul 2023 14:32:48 +0100 |
Chengsong |
more explanation for the name "closed form" and their intuition
|
file |
diff |
annotate
|
| Mon, 10 Jul 2023 01:53:32 +0100 |
Chengsong |
more
|
file |
diff |
annotate
|
| Mon, 10 Jul 2023 01:51:46 +0100 |
Chengsong |
overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"
|
file |
diff |
annotate
|
| Mon, 10 Jul 2023 01:33:45 +0100 |
Chengsong |
addresses Gerog "N_r meaning and relation with backtracking?" comment
|
file |
diff |
annotate
|
| Mon, 10 Jul 2023 00:44:45 +0100 |
Chengsong |
Addressed Gerog "can't understand 'erase messes with structure'" comment
|
file |
diff |
annotate
|
| Fri, 30 Dec 2022 23:41:44 +0000 |
Chengsong |
more proofreading done, last version before submission
|
file |
diff |
annotate
|
| Fri, 30 Dec 2022 17:37:51 +0000 |
Chengsong |
until chap 7
|
file |
diff |
annotate
|
| Fri, 30 Dec 2022 01:52:32 +0000 |
Chengsong |
comments till chap4
|
file |
diff |
annotate
|
| Thu, 17 Nov 2022 23:13:57 +0000 |
Chengsong |
section reorganising, related work
|
file |
diff |
annotate
|
| Sat, 12 Nov 2022 21:34:40 +0000 |
Chengsong |
all comments incorporated!!+related work
|
file |
diff |
annotate
|
| Mon, 07 Nov 2022 21:31:07 +0000 |
Chengsong |
chap6 almost done
|
file |
diff |
annotate
|