.:. Browse > Domain list > Symbolic Computation .:.

405 documents ordered by : Date Title first author name document type Submit date

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

Computational linear algebra over finite fields Dumas J.-G., Pernet C. Dans Handbook of Finite Fields, Chapman & Hall / CRC (Ed.) (2013) 514-528 [hal-00688254 - version 1]

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. Dans ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation (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]

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

Sparse FGLM algorithms Faugere J.-C., Mou C. [hal-00807540 - version 1]

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

On the Complexity of the Multivariate Resultant Grenet B., Koiran P., Portier N. Journal of Complexity 29, 2 (2013) p. 142-157 [ensl-00744385 - version 1]

On the Complexity of the Generalized MinRank Problem Faugère J.-C., Safey El Din M., Spaenlehauer P.-J. Journal of Symbolic Computation 55 (2013) 30-58 [hal-00654094 - version 1]

Abstract Acceleration in Linear relation analysis (extended version) Gonnord L., Schrammel P. [hal-00787212 - version 1]