Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

47 résultats
Image document

Finding a Vector Orthogonal to Roughly Half a Collection of Vectors

Pierre Charbit , Emmanuel Jeandel , Pascal Koiran , Sylvain Perifel , Stéphan Thomassé
Journal of Complexity, 2008, 24, pp.39-53. ⟨10.1016/j.jco.2006.09.005⟩
Article dans une revue lirmm-00292703v1
Image document

Adversary lower bounds for nonadaptive quantum algorithms

Pascal Koiran , Jürgen Landes , Natacha Portier , Penghui Yao
WoLLIC 2008 15th Workshop on Logic, Language, Information and Computation, Jul 2008, Edinburgh, United Kingdom
Communication dans un congrès ensl-00260279v2

The stability of saturated linear dynamical systems is undecidable

Vincent D. Blondel , Olivier Bournez , Pascal Koiran , John N. Tsitsiklis
17th International Symposium on Theoretical Aspects of Computer Science - STACS'2000, LIFL, 2000, Lille, France, pp.479-490
Communication dans un congrès inria-00099336v1
Image document

A tau-conjecture for Newton polygons

Pascal Koiran , Natacha Portier , Sébastien Tavenas , Stéphan Thomassé
2014, pp.14
Rapport ensl-00850791v2
Image document

Valiant's model: from exponential sums to exponential products

Sylvain Perifel , Pascal Koiran
2006
Pré-publication, Document de travail ensl-00078110v1
Image document

Finding a Vector Orthogonal to Roughly Half a Collection of Vectors

Pierre Charbit , Emmanuel Jeandel , Pascal Koiran , Sylvain Perifel , Stéphan Thomassé
2007
Pré-publication, Document de travail ensl-00153736v1
Image document

The Complexity of two Problems on Arithmetic Circuits

Pascal Koiran , Sylvain Perifel
2007
Pré-publication, Document de travail ensl-00167613v1

Log-Concavity and Lower Bounds for Arithmetic Circuits

Ignacio García-Marco , Pascal Koiran , Sébastien Tavenas
Mathematical Foundations of Computer Science (MFCS), 2015, Milan, Italy. pp.361-371
Communication dans un congrès ensl-01991239v1

A tau-Conjecture for Newton Polygons

Pascal Koiran , Natacha Portier , Sébastien Tavenas , Stéphan Thomassé
Foundations of Computational Mathematics, 2015, 15 (1), pp.185-197
Article dans une revue hal-01990308v1
Image document

Reconstruction Algorithms for Sums of Affine Powers

Ignacio Garcia-Marco , Pascal Koiran , Timothée Pecatte
International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2017, Kaiserslautern, Germany
Communication dans un congrès ensl-01345789v3
Image document

Shallow Circuits with High-Powered Inputs

Pascal Koiran
2010
Pré-publication, Document de travail ensl-00477023v4

Factoring bivariate lacunary polynomials without heights

Arkadev Chattopadhyay , Bruno Grenet , Pascal Koiran , Natacha Portier , Yann Strozecki
38th International Symposium on Symbolic and Algebraic Computation, ACM, Boston, United States. p 141-148, ⟨10.1145/2465506.2465932⟩
Communication dans un congrès ensl-00738542v1
Image document

Lower Bounds by Birkhoff Interpolation

Ignacio Garcia-Marco , Pascal Koiran
Journal of Complexity, 2017
Article dans une revue ensl-01172296v1
Image document

Root Separation for Trinomials

Pascal Koiran
Journal of Symbolic Computation, In press
Article dans une revue ensl-01585049v3
Image document

On the intersection of a sparse curve and a low-degree curve: A polynomial version of the lost theorem

Pascal Koiran , Natacha Portier , Sébastien Tavenas
Discrete and Computational Geometry, 2015, pp.16
Article dans une revue ensl-00871315v2
Image document

On the complexity of partial derivatives

Ignacio Garcia-Marco , Pascal Koiran , Timothée Pecatte , Stéphan Thomassé
2016
Pré-publication, Document de travail ensl-01345746v2
Image document

The Multivariate Resultant is NP-hard in any Characteristic

Bruno Grenet , Pascal Koiran , Natacha Portier
Mathematical Foundations of Computer Science 2010, Aug 2010, Brno, Czech Republic. pp.477-488, ⟨10.1007/978-3-642-15155-2_42⟩
Communication dans un congrès ensl-00440842v3
Image document

Symmetric Determinantal Representation of Formulas and Weakly Skew Circuits

Bruno Grenet , Erich Kaltofen , Pascal Koiran , Natacha Portier
Leonid Gurvits, Philippe Pebay, J. Maurice Rojas, David Thompson. Randomization, Relaxation, and Complexity in Polynomial Equation Solving, Amer. Math. Soc., pp.61-96, 2011, Contemporary Mathematics, 978-0-8218-5228-6. ⟨10.1090/conm/556⟩
Chapitre d'ouvrage ensl-00504925v4

The stability of saturated linear dynamical systems is undecidable

Vincent D. Blondel , Olivier Bournez , Pascal Koiran , John N. Tsitsiklis
Journal of Computer and System Sciences, 2001, 62 (3), pp.442-462
Article dans une revue inria-00100924v1
Image document

A Dichotomy Theorem for Polynomial Evaluation

Irénée Briquel , Pascal Koiran
Mathematical Foundations of Computer Science 2009, Aug 2009, Novy Smokovec, Slovakia. pp.187-198, ⟨10.1007/978-3-642-03816-7⟩
Communication dans un congrès ensl-00360974v2
Image document

Intersection multiplicity of a sparse curve and a low-degree curve

Pascal Koiran , Mateusz Skomra
Journal of Pure and Applied Algebra, 2020, 224 (7), pp.106279. ⟨10.1016/j.jpaa.2019.106279⟩
Article dans une revue hal-02502580v1
Image document

Hidden cliques and the certification of the restricted isometry property

Pascal Koiran , Anastasios Zouzias
IEEE Transactions on Information Theory, 2014, 60 (8), pp.4999-5007
Article dans une revue ensl-00747908v1
Image document

VPSPACE and a transfer theorem over the complex field

Pascal Koiran , Sylvain Perifel
2007
Pré-publication, Document de travail ensl-00153701v1
Image document

Symmetric Determinantal Representation of Weakly-Skew Circuits

Bruno Grenet , Erich Kaltofen , Pascal Koiran , Natacha Portier
Symposium on Theoretical Aspects of Computer Science (STACS2011), Mar 2011, Dortmund, Germany. pp.543-554, ⟨10.4230/LIPIcs.STACS.2011.543⟩
Communication dans un congrès hal-00573631v1
Image document

The topological entropy of iterated piecewise affine maps is uncomputable

Pascal Koiran
Discrete Mathematics and Theoretical Computer Science, 2001, Vol. 4 no. 2 (2), pp.351-356. ⟨10.46298/dmtcs.292⟩
Article dans une revue hal-00958966v1
Image document

Derandomization and absolute reconstruction for sums of powers of linear forms

Pascal Koiran , Mateusz Skomra
Theoretical Computer Science, 2021, 887, pp.63-84. ⟨10.1016/j.tcs.2021.07.005⟩
Article dans une revue hal-03457373v1
Image document

On the Probabilistic Query Complexity of Transitively Symmetric Problems

Pascal Koiran , Vincent Nesme , Natacha Portier
2006
Pré-publication, Document de travail hal-00120934v2
Image document

On the linear independence of shifted powers

Pascal Koiran , Timothée Pecatte , Ignacio García-Marco
Journal of Complexity, 2018, 45, pp.67-82
Article dans une revue hal-01520724v2

Deciding stability and mortality of piecewise affine dynamical systems

Vincent D. Blondel , Olivier Bournez , Pascal Koiran , Christos Papadimitriou , John N. Tsitsiklis
Theoretical Computer Science, 2001, 255 (1-2), pp.687-696. ⟨10.1016/S0304-3975(00)00399-6⟩
Article dans une revue inria-00100820v1
Image document

Interpolation in Valiant's theory

Pascal Koiran , Sylvain Perifel
2007
Pré-publication, Document de travail ensl-00175862v1