20 months ago Chengsong more explanation for the name "closed form" and their intuition
20 months ago Chengsong more
20 months ago Chengsong overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"
20 months ago Chengsong addresses Gerog "N_r meaning and relation with backtracking?" comment
20 months ago Chengsong Addressed Gerog "can't understand 'erase messes with structure'" comment
20 months ago Chengsong finished 4.3.2 section explaining why lemma 11 is too strong
20 months ago Chengsong Fixed some annotated/unannotated a/r notation inconsistencies.
20 months ago Chengsong reordered sections to make chapter 4 more coherent
20 months ago Chengsong updated 4.2 diagram
20 months ago Chengsong more
20 months ago Chengsong more updates in section 4.2 and incorporating Christian comments
20 months ago Chengsong more
21 months ago Chengsong more
21 months ago Chengsong more
21 months ago Chengsong more
22 months ago Chengsong new amend
22 months ago Chengsong changes from Christian
22 months ago Chengsong intro
2023-03-13 Christian Urban added Asperti paper
2023-02-23 Christian Urban updated
2023-02-20 Christian Urban updated
2023-02-16 Christian Urban updated
2023-02-15 Christian Urban updated
2022-12-30 Chengsong more proofreading done, last version before submission
2022-12-30 Chengsong until chap 7
2022-12-30 Chengsong comments till chap4
2022-12-24 Chengsong more
2022-12-23 Chengsong chap 1 all incorporated
2022-12-20 Chengsong more
2022-12-18 Chengsong more
(0) -300 -100 -50 -30 tip