P. Koiran

Publications132
h-index29
Citations2,600
Highly Influential Citations160
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • N. Kayal
  • 69 Publications • 2,488 Citations
  • Peter Bürgisser
  • 140 Publications • 2,865 Citations
  • N. Portier
  • 31 Publications • 457 Citations
  • E. Kaltofen
  • 218 Publications • 6,715 Citations
  • Publications
  • Influence
Hilbert's Nullstellensatz Is in the Polynomial Hierarchy
TLDR
A new lower bound for unsatisfiable systems is included, and remarks on the Arthur-Merlin class are included, on the problem of deciding whether a system of polynomial equations in several complex variables has a solution.
View via Publisher
A weak version of the Blum, Shub and Smale model
  • P. Koiran
  • Computer Science, Mathematics
    Proceedings of IEEE 34th Annual Foundations of…
  • 3 November 1993
TLDR
A weak version of the Blum-Shub-Smale model of computation over the real numbers is proposed, where only a "moderate" usage of multiplications and divisions is allowed, and the class of languages recognizable in polynomial time is shown to be the complexity class P/poly.
View on IEEE
Arithmetic circuits: The chasm at depth four gets wider
  • P. Koiran
  • Mathematics, Computer Science
    Theor. Comput. Sci.
  • 24 June 2010
View PDF on arXiv
Shallow circuits with high-powered inputs
  • P. Koiran
  • Computer Science, Mathematics
    ICS
  • 27 April 2010
TLDR
It is shown that a deterministic black-box identity testing algorithm for (high-degree) univariate polynomials would imply a lower bound on the arithmetic complexity of the permanent, and the intriguing possibility that tools from real analysis might be brought to bear on a longstanding open problem.
View PDF on arXiv
Approximating the volume of definable sets
  • P. Koiran
  • Computer Science, Mathematics
    Proceedings of IEEE 36th Annual Foundations of…
  • 23 October 1995
TLDR
An upper bound on the precision that should be used in a Monte-Carlo integration method is given and an application to a problem of structural complexity in the Blum-Shub-Smale model of computation over the reals is described.
View on IEEE
Computability with Low-Dimensional Dynamical Systems
View via Publisher
Neural Networks with Quadratic VC Dimension
TLDR
It is shown that neural networks which use continuous activation functions have VC dimension at least as large as the square of the number of weightsw, which settles a long-standing open question.
View via Publisher
On the complexity of partial derivatives
TLDR
The "trace method", recently used in combinatorics and in algebraic complexity to lower bound the rank of certain matrices, is analyzed and it is shown that this method provides a polynomial-time computable lower bound on the dimension of the span of partial derivatives, and from this method the authors derive closed-form lower bounds.
View PDF on arXiv
Closed-for Analytic Maps in One and Two Dimensions can Simulate Universal Turing Machines
View via Publisher
Valiant’s model and the cost of computing integers
  • P. Koiran
  • Mathematics, Computer Science
    computational complexity
  • 1 February 2005
TLDR
It is shown that a proof of this conjecture for the first sequence would imply a superpolynomial lower bound for the arithmetic circuit size of the permanent polynomial or P ≠ PSPACE.
View on Springer
...
...