Arithmetic Circuits: A Chasm at Depth Four, 2008 49th Annual IEEE Symposium on Foundations of Computer Science, pp.67-75, 2008. ,
DOI : 10.1109/FOCS.2008.32
A tight lower bound for convexly independent subsets of the Minkowski sums of planar point sets, Electr. J. Comb, vol.17, issue.1, 2010. ,
Algebraic settings for the problem " P =NP?, The Mathematics of Numerical Analysis, pp.125-144 ,
On a theory of computation and complexity over the real numbers: $NP$- completeness, recursive functions and universal machines, Bulletin of the American Mathematical Society, vol.21, issue.1, pp.1-46, 1989. ,
DOI : 10.1090/S0273-0979-1989-15750-9
On the Number of Additions to Compute Specific Polynomials, SIAM Journal on Computing, vol.5, issue.1, pp.146-157, 1976. ,
DOI : 10.1137/0205013
Completeness and Reduction in Algebraic Complexity Theory. Number 7 in Algorithms and Computation in Mathematics, 2000. ,
On Defining Integers And Proving Arithmetic Circuit Lower Bounds, computational complexity, vol.18, issue.1, pp.81-103, 2007. ,
DOI : 10.1007/s00037-009-0260-x
Partial Derivatives in Arithmetic Complexity and Beyond, Foundations and Trends?? in Theoretical Computer Science, vol.6, issue.1-2, pp.1-138, 2011. ,
DOI : 10.1561/0400000043
Convexly independent subsets of the Minkowski sum of planar point sets, Electr. J. Comb, vol.15, issue.1, 2008. ,
Sums of Like Powers of Multivariate Linear Forms, Mathematics Magazine, vol.67, issue.1, pp.59-61, 1994. ,
DOI : 10.2307/2690560
Absolute Irreducibility of Polynomials via Newton Polytopes, Journal of Algebra, vol.237, issue.2, pp.501-520, 2001. ,
DOI : 10.1006/jabr.2000.8586
Arithmetic Circuits: A Chasm at Depth Three, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, 2013. ,
DOI : 10.1109/FOCS.2013.68
The convex dimension of a graph, Discrete Applied Mathematics, vol.155, issue.11, pp.1373-1383, 2007. ,
DOI : 10.1016/j.dam.2007.02.005
On the Real ? -Conjecture and the Distribution of Complex Roots, Theory of Computing, vol.9, issue.10, pp.403-411, 2013. ,
Hilbert's Nullstellensatz Is in the Polynomial Hierarchy, Journal of Complexity, vol.12, issue.4, pp.273-286, 1996. ,
DOI : 10.1006/jcom.1996.0019
Shallow circuits with high-powered inputs, Proc. Second Symposium on Innovations in Computer Science, 2011. ,
URL : https://hal.archives-ouvertes.fr/ensl-00477023
Arithmetic circuits: The chasm at depth four gets wider, Theoretical Computer Science, vol.448, issue.448, pp.56-65, 2012. ,
DOI : 10.1016/j.tcs.2012.03.041
URL : https://hal.archives-ouvertes.fr/ensl-00494642
ber die Bedeutung der Theorie der konvexen Polyeder fr die formale Algebra, Jahresberichte Deutsche Math. Verein, vol.20, pp.98-99, 1921. ,
Arithmetic Circuits: A survey of recent results and open questions, Foundations and Trends?? in Theoretical Computer Science, vol.5, issue.3-4, 2010. ,
DOI : 10.1561/0400000039
ON THE INTRACTABILITY OF HILBERT'S NULLSTELLENSATZ AND AN ALGEBRAIC VERSION OF ???NP ??? P????, Duke Mathematical Journal, vol.81, issue.1, pp.47-54, 1995. ,
DOI : 10.1142/9789812792839_0023
Mathematical problems for the next century, The Mathematical Intelligencer, vol.50, issue.2, pp.7-15, 1998. ,
DOI : 10.1007/BF03025291
Polynomial Equations and Convex Polytopes, The American Mathematical Monthly, vol.105, issue.10, pp.907-922, 1998. ,
DOI : 10.2307/2589283
Large convexly independent subsets of Minkowski sums, Electr. J. Comb, vol.17, issue.1, 2010. ,
Improved bounds for reduction to depth 4 and depth 3, Proc. 38th International Symposium on Mathematical Foundations of Computer Science (MFCS), 2013. ,
Bornes inférieures et supérieures pour les circuits arithmétiques, 2014. ,
Completeness classes in algebra, Proceedings of the eleventh annual ACM symposium on Theory of computing , STOC '79, pp.249-261, 1979. ,
DOI : 10.1145/800135.804419
Reducibility by algebraic projections, Logic and Algorithmic (an International Symposium held in honour of Ernst Specker), pp.365-380 ,
are 3 distinct nonzero points in the plane then the 6 points p, q, r, 2p, 2q, 2r are not convexly independent. This is clear from a picture and can be proved for instance by considering the 4 points 0, p, q, r. There are two cases. 1. If these 4 points are convexly independent, assume for instance that pq is a diagonal of the quadrangle 0prq, p.2 ,