1: Some problems in asymptotic convex geometry and random matrices motivated by numerical algorithms 2: Polynomial time algorithm for 3-SAT. Examples of use