Files needed for a verification of the proof of Propositions 1 and 2 in the paper "Limits of order-types" by Goaoc, Hubard, Joannis de Verclos, Sereni, Volec

This web-page contains the coefficients, the squared inequalities and the scripts that can be used to verify the correctness of the proofs of Propositions 1 and 2 presented in the paper "Limits of order-types" authored by Xavier Goaoc, Alfredo Hubard, Rémi de Joannis de Verclos, Jean-Sébastien Sereni, and Jan Volec.


Additional related files (not needed for the verification itself):