Equations, inequations and inequalities characterizing the configurations of two real projective conics.

Emmanuel Briand.
Applicable Algebra in Engineering, Communication and Computing, vol. 18 (1-2), pp. 21-52 (2007).

Maple programs:

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.