Emmanuel Briand.
Applicable Algebra in Engineering, Communication and Computing, vol. 18 (1-2), pp. 21-52 (2007).
In the directory PROGRAMMES are Maple programs and procedures to compute the quantities appearing in the paper. For more details have a look at the text file README.
The development of the examples made use of SLFQ, Christopher Brown's program of simplification of large quantifier-free formulas.
Slides: Sophia-Antipolis, april 2005
Some slides, in pdf, for the quadric days at Sophia-Antipolis, April 1, 2005.