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.