.:. Consultation > Par domaine > Calcul formel .:.

66 documents classés par :  date de publication, écriture ou dépôt titre du document 1er auteur Type de documents Date de dépôt

1 - 2 - 3 - 4 - 5 - 6 - 7

Using Symmetries in the Index Calculus for Elliptic Curves Discrete Logarithm Faugère J.-C., Gaudry P., Huot L., Renault G. Journal of Cryptology (2013) 1-40 [hal-00700555 - version 2]

On the Boolean complexity of real root refinement Pan V. Y., Tsigaridas E. ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation, États-Unis (2013) [hal-00816214 - version 3]

Intrinsic complexity estimates in polynomial optimization Bank B., Giusti M., Heintz J., Safey El Din M. [hal-00815123 - version 1] (18/04/2013)

A probabilistic algorithm to compute the real dimension of a semi-algebraic set Safey El Din M., Tsigaridas E. [hal-00808708 - version 1] (06/04/2013)

Sparse FGLM algorithms Faugere J.-C., Mou C. [hal-00807540 - version 1] (03/04/2013)

Polynomial Systems Solving by Fast Linear Algebra Faugère J.-C., Gaudry P., Huot L., Renault G. [hal-00816724 - version 1] (22/04/2013)

Decomposition of multihomogeneous polynomials: minimal number of variables Berthomieu J. [hal-00778659 - version 1] (21/01/2013)

On the Complexity of Computing Gröbner Bases for Quasi-homogeneous Systems Faugère J.-C., Safey El Din M., Verron T. ISSAC'13 - Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation (2013), États-Unis (2013) [hal-00780388 - version 2]

Computing rational solutions of linear matrix inequalities Guo Q., Safey El Din M., Zhi L. ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation, États-Unis (2013) [hal-00815174 - version 1]

Local rigidity for SL (3,C) representations of 3-manifolds groups Bergeron N., Guilloux A., Falbel E., Koseleff P.-V., Rouillier F. [hal-00803837 - version 1] (23/03/2013)