Other stuff
- ISSAC 2012 Tutorial
- The summer project of Vincent Clapiès: construction of a structure which contains (N,+,-,*,=) and nonetheless eliminates quantifiers.
- M2 internship report by William Aufort (spring 2017), on the fg+1 problem for Newton polygons and related problems.